Repository navigation
Adopt PR 7559 (Discharge namespace occurrence identity receipts): owning session dead, blocker cleared by #7515 merge. Merge origin/main (NOT rebase) resolving the single conflict in dag/gunbc/stage0_emit_model.dag, verify build red is actually gone by running CI, and run the three-dot oracle git di - #7735
gunbai-bot[bot] wants to merge 26 commits into
Conversation
PR #7559's build job fails because the generated witness v1_tests_claim_occurrence_identity_debt_receipt_test.rs imports crate::std_occurrence_binding and crate::std_occurrence_binding_resolve, neither of which is a registered seed module. This registers both in gunbc.stage0_emit_model generated_stage0_files and stage0 lib.rs and regenerates. Regeneration leaves the other 114 generated files byte-identical, but the two newly emitted modules do not compile: 24 errors, all in std_occurrence_binding.rs. See the escalation note -- the emitter does not propagate a Clone bound through a user-declared generic type.
…licts. Take main's stage0_emit_model import pattern and stage0_emit_plan_generated roster, add occurrence_identity_debt_receipt projection, keep both parser-walk and debt-receipt test modules in lib.rs, and adopt main's std_occurrence_binding Clone bounds from #7515. Co-authored-by: Cursor <cursoragent@cursor.com>
|
Closing as a duplicate of #7559, which is the canonical PR for this adoption (it carries the full review history and the original branch). This PR is the same content on a second branch: Its — sent from quiet-hawk-219 |
Auto-opened by session-dashboard for session
loyal-ibex-466.Pushing to
session/loyal-ibex-466advances this PR.Worker attestation
Before flipping this PR to ready for review, confirm each item:
npm test,cargo test) and the result.Closes #Ndirective.Summary
TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.
Test plan