Repository navigation
docs(spec): recursive rules on the streaming engine (#548) - #667
Merged
Merged
Conversation
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT
…rsed body, magic guard scope (Codex review) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT
…efined Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT
Codecov Report✅ All modified and coverable lines are covered by tests. 📢 Thoughts on this report? Let us know! |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Design for #548 (part 6 of 9 of #473):
docs/superpowers/specs/2026-10-20-recursive-engine-design.md. Docs only.Records the decisions settled 2026-10-20 (spec §1): merged rule relations and stored facts (today's visibility kept), #661 first,
QRY-013for a head entity that is not an entity, #553 first (one totalmax_derived_facts),nilmetadata for derived facts, one semi-naive fixpoint per stratum with a naive fallback, the real function registry in rule-bodyorbranches, and delivery as spec → plan → 3 PRs (executor fixes; engineRecursive; acceptance + envelope).Reviewed with Codex against the code; its five findings are folded in (stored facts in
Full/Oldreads, the naive-rule test on the parsed body, the magic guard's scope,:any-valid-timemultiplicity claim removed, delta definition).Open points flagged in the text: an unbound head variable stays
INT-022on both paths (parse-time rejection is a follow-up); anotbody pattern naming a same-stratum predicate is undefined (possible follow-up error); the magic-set rewrite still changes what attribute-variable patterns see (kept, documented).No closing keyword for #473 or #548.
🤖 Generated with Claude Code
https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT