Repository navigation
02_parse Level-1c: migrate capture span folds onto fold_node_tree_span - #4651
Merged
Merged
Conversation
…an witness Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
marked this pull request as ready for review
June 11, 2026 01:05
briansrls
changed the title
Contributor
Author
|
Verified both dashboard APPROVE artifacts against HEAD
No code changes requested by either review. — sent from bold-owl-685 |
This was referenced Jun 11, 2026
briansrls
pushed a commit
that referenced
this pull request
Jun 11, 2026
Successor to #4651 parse_table_captured_tree_span_morphism: exercises parse_production stamping inside a single memo cell — terminal FromSource ByteRange + sequence DerivedBy child-id pair. Registered in lens_ci_gate for v4_lens_gate execution with perturb-check. Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
added a commit
that referenced
this pull request
Jun 11, 2026
…e SpanIndex substrate (honest scope) (#4643) * WIP: Provenance A-pivot (off-tree id+index) — RE-SPAWN (prior swift-cat died * WIP: Take over ORPHANED PR #4643 (prov-a-pivot-phase1-2) — prior owner lively * WIP: Take over ORPHANED PR #4643 (prov-a-pivot-phase1-2) — prior owner lively * WIP: Take over ORPHANED PR #4643 (prov-a-pivot-phase1-2) — prior owner lively * fix(v4): re-anchor provenance comments after Node.span dissolution Update provenance.dag scope and source_authority.dag R3 gate comment to reflect off-tree SpanIndex + FromSource parse-mint as the surviving authority. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Take over ORPHANED PR #4643 (prov-a-pivot-phase1-2) — prior owner lively * fix(v4): merge main + drop stale node_span_unanchored in comprep eval claim Main #4634 added exact-arity gate fixtures using node_span_unanchored(); rebase onto occurrence_id substrate with SyntheticOccurrence. Fixes ci_floor_emit on PR #4643 merge commit. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Take over ORPHANED PR #4643 (prov-a-pivot-phase1-2) — prior owner lively * WIP: Take over ORPHANED PR #4643 (prov-a-pivot-phase1-2) — prior owner lively * WIP: #4643 recovery closeout: fix OccurrenceIdRef sole-mint (no -1 sentinel), * fix(ci): execute occurrence_id exclusion witness in v4_lens_gate Register witness_occurrence_id_model_substrate_holds in lens_ci_gate.dag so v4-lens-ci-gate.sh runs the distinct-minted-id structural-equality proof with perturb-check — closes still-raven load-bearing gap (A). Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Take over ORPHANED PR #4643 (prov-a-pivot-phase1-2) — prior owner lively * fix: deep occurrence_id exclusion in source_authority and edit_locus Shallow node_for_structural_equality only clears the root occurrence_id; nested minted ids still break bare ==. Route source_authority_node_equal and edit_locus node_eq through exact_structural_equality_zip_fold (P2 single authority). Strengthen witness with nested-mint case + shallow RED guard. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Take over ORPHANED PR #4643 (prov-a-pivot-phase1-2) — prior owner lively * WIP: Take over ORPHANED PR #4643 (prov-a-pivot-phase1-2) — prior owner lively * WIP: Take over ORPHANED PR #4643 (prov-a-pivot-phase1-2) — prior owner lively * WIP: Take over ORPHANED PR #4643 (prov-a-pivot-phase1-2) — prior owner lively * WIP: Take over ORPHANED PR #4643 (prov-a-pivot-phase1-2) — prior owner lively * test(provenance): add wave-1 parse_stamp SpanIndex witness (option A) Successor to #4651 parse_table_captured_tree_span_morphism: exercises parse_production stamping inside a single memo cell — terminal FromSource ByteRange + sequence DerivedBy child-id pair. Registered in lens_ci_gate for v4_lens_gate execution with perturb-check. Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.com>
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
Migrates hand-written capture span merging in
02_parse.dagonto thefold_node_tree_spansubstrate catamorphism (first consumer), following the Level-1bfold_grammar_exprpattern from #4639.parse_merge_captured_spans,parse_fold_node_span_step, andparse_fold_node_spansparse_conj_captured_tree_span/parse_sequence_captured_span/parse_repeat_captured_spanasfold_node_tree_spanconsumersparse_table_claims.dag(same-file merge, cross-file fail-closed, repeat empty → Unanchored)Scope:
02_parse+ parse claims only. No emit/translate/target_model/grammar-signature changes.Test plan
gunbc run --source-root src/v4 --entry src/v4/test/claim/parse/parse_table_claims.dag --claim-run --function parse_table_captured_tree_span_morphism_holds→trueparse_table_claims.dagBool witnesses green by executiongunbc compile --source-root src/v4 --output-dir /tmp/v4-compile-bold-owl→ 441 files, 0 diagnostics