Repository navigation
test(self-host): Wave 1 gate 1 general body producer verification witnesses - #6526
Merged
Merged
Conversation
…nesses Prove by execution that real ingested fn bodies (add Transform, classical_not Match) lower to substrate behaviors via normalize—not the fixture-bound MVP producer bridge. Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot
Bot
changed the title
Per-PR discovery enforces a 5s eval budget; full ingest→normalize witnesses exceeded it. Keep the fast compile-gate in self_host/; execution proofs move to long/ (excluded from discovery at dir grain, same pattern as gate 2). Co-authored-by: Cursor <cursoragent@cursor.com>
This was referenced Jul 13, 2026
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
1 participant
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.
Summary
Behaviornodes viatokenize → parse_module → normalize, not the fixture-bound MVP producer bridge (produce_add_arrow_with_body_from_resolved/dag_grammar_production_fn_add).fn add): normalize yields well-formedArrow+Transformbody; resolve accepts; resolved tree retainsTransformbody.classical_not): reuses existing ingested match witnesses (Wave 1 exit 1.6: ingested classical_not emit→compile→run equals_eval (PATH 1 int-bool octet bridge) #6512) forMatchbody through the same pipeline.03_body_producerand03_normalize(same pattern as gate 2).Assessment receipt (STEP 1): body lowering from #6520 is live on the census
fn_declgrammar path. Remaining gate-1 debt explicitly not claimed here: Stage D MVP producer subsumption, FLAG D binding-key re-grounding, FLAG E row-fold dissolution ofbody_lowering_fold.dag.Test plan
cargo run -p v1-compiler --bin claim_batch -- --source-root src/v2 --source-root dag --entry src/v2/test/claim/self_host/wave1_gate1_general_body_producer_witness_test.dag --function wave1_gate1_ingested_add_normalize_yields_arrow_transform_holds --function wave1_gate1_ingested_add_normalize_resolves_holds --function wave1_gate1_ingested_add_resolved_arrow_transform_holds --function wave1_gate1_ingested_match_normalize_yields_match_holds --function wave1_gate1_ingested_match_resolves_holds --function wave1_gate1_body_producer_modules_import_resolve_holds— 6/6 PASSadd_arrow_eval_by_execution_keystone_holds— PASS (no regression on existing eval bridge)