Repository navigation
Discharge namespace occurrence identity receipts (adopt #7559) - #7732
Closed
gunbai-bot[bot] wants to merge 25 commits into
Closed
gunbai-bot[bot] wants to merge 25 commits into
gunbai-bot[bot] wants to merge 25 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>
gunbai-bot
Bot
changed the title
Contributor
Author
6 tasks
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.
Adopts the substance of #7559 after #7515 merged the occurrence-binding stage0 projections that previously blocked CI.
Summary
std.occurrence_identity; transient debt/enrollment/closing fold moves togunbc.occurrence_identity_acceptance_closure.one-occurrence-collector-dedupenaming a missing production seam).origin/main(not rebase) and resolved stage0 enrollment conflicts: main’sstage0_emit_plan_generatedroster import replaces the inline list that Discharge namespace occurrence identity receipts #7559 carried instage0_emit_model.dag; debt-receipt projection enrollment moved accordingly (+2 roster lines).Three-dot oracle (
git diff --name-only origin/main...HEAD)13 files, all adds/modifies, zero deletions — no silent carry-back of main’s recent file removals.
The original #7559 diff was 12 files; the extra file is
dag/gunbc/stage0_emit_plan_generated.dagbecause main relocated the generated roster out ofstage0_emit_model.dagsince that PR was authored.Test plan
ctrl-build -- cargo build -p v1-compiler— green locallygunb-ai/gunbcactions run on this branch) — pendingSupersedes adoption work for draft #7559 (
session/zesty-crab-882). Stays draft until CI confirms the import blocker is gone.