diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md index 8fc5cb8ddb7..af08fc0538e 100644 --- a/docs/r3-program-plan.md +++ b/docs/r3-program-plan.md @@ -240,7 +240,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap | 13 | `tc3_pattern_a_second_mover_executable` | DimensionReport-typed | T-V-L4-L7-Direct | **CONSUMER_LANDED + PASSING** — bounded-runner second-mover proxy evaluates the embedded `succ(succ(0))` claim program under genuinely distinct applicative orders (`LeftFirst` baseline vs `RightFirst` compare projection) and Pass-asserts identical top-level `Value` via `tc3_pattern_a_second_mover_dimension_reports_equivalent_under_binary_equals` (`src/v3/compiler/src/test_runner.rs`; integration `tc3_strong_normalization_strict_fire_test.rs`). Single forward dissolution trigger: D4 eval-step / bounded-step producer + G1.a static-lens-fold producer-surface-wiring per `docs/briefs/r3-evaluator-tc3-d4-eval-step-producer-worker.md` — when those land, the runner arm migrates to live producer-emitted reports without changing fixture or claim name. | runtime prereq (substrate-side): Descent execution proof (E5; landed) + eval-step producer (forward-only dissolution trigger; not blocking gate close) | | 14 | `rust_dag_isomorphism_executable` | Dag-iso | T-V-L4-L7-Direct | **PASSING** (PR #2571 — fail-closed Rust DAG isomorphism gate landed 2026-05-10) | runtime prereq met via PR #2571 | | 15 | `l5_cross_target_consistency` | structural-fold | T-V-L5-Corpus | **CONSUMER_LANDED** (PR #3060 — L5 `ForAllTargets` runner path consumes `ProgramOutputBind` + `TestClaim.requires` toolchain edges; `src/v3/compiler/tests/fixtures/r3_verification_l5_corpus.dag` enumerates four Int stdout scaffold rows; `src/v3/compiler/tests/boundary/l5_cross_target_consistency.rs` runs emitted Rust/Python/Go and asserts identical observed `Int` stdout for every row when the host has `rustc`/`python3`/`go`) | **PASSING blocked:** `docs/design-cross-target-equivalence.md` Corpus Policy still requires each valid L5 row to carry expected semantic observation/oracle authority, effect class, numeric policy, and coverage reason. Current #3060 rows do not model those facts, so they are runner evidence / scaffold only, not full gate #15 closure. | -| 16 | `pb_self_compile_fixed_point` | fixed-point | T-FixedPoint | CONSUMER_LANDED (R1 horizon; R3 stronger interpretation pending) — **Wave-1 P0 readiness pins landed via PR #2783 squash 2026-05-12 23:22Z** (`src/v3/compiler/src/bin/self_host_fixed_point.rs` + `docs/db-history/db-8.md` cross-links + CI comments + `src/v3/std/verification.dag` not-yet-dispatch-eligible banners; no R1 Pass/Fail change); P3 strong fixed-point claim deferred per parent brief joint-precondition rule (R2-Evaluator + R2-Grounding-Rust+Python + T-LP/SG-0 + Row-B materialization). **R2-Evaluator joint precondition predicate authority** (per `feedback_parallel_representation_debt` + Phase 2.4 single-reference discipline 2026-05-14): all 5 sub-lanes status=green per cell-level check of `docs/r2-closure-ledger.md` §"Evaluator Manager — T-Evaluator" (`runtime_value_model_structural` / `body_evaluator_structural` / `lens_application_complete_reflection` / `witness_construction_structural` / `cross_target_equivalence_harness_structural`); NOT introduced as parallel §1.8 rows. 3-of-5 GREEN at HEAD post-PR-#3053 ledger refresh 2026-05-14; 2-of-5 IN-FLIGHT under warm-wolf-698 expanded scope per operator §4 Item 5 α-ratification 2026-05-14. | bit-identical stage0 + emitted artifact | +| 16 | `pb_self_compile_fixed_point` | fixed-point | T-FixedPoint | CONSUMER_LANDED (R1 horizon; R3 stronger interpretation pending) — **Wave-1 P0 readiness pins landed via PR #2783 squash 2026-05-12 23:22Z** (`src/v3/compiler/src/bin/self_host_fixed_point.rs` + `docs/db-history/db-8.md` cross-links + CI comments + `src/v3/std/verification.dag` not-yet-dispatch-eligible banners; no R1 Pass/Fail change); P3 strong fixed-point claim deferred per parent brief joint-precondition rule (R2-Evaluator + R2-Grounding-Rust+Python + T-LP/SG-0 + Row-B materialization). **R2-Evaluator joint precondition predicate authority** (per `feedback_parallel_representation_debt` + Phase 2.4 single-reference discipline 2026-05-14): all 5 sub-lanes status=green per cell-level check of `docs/r2-closure-ledger.md` §"Evaluator Manager — T-Evaluator" (`runtime_value_model_structural` / `body_evaluator_structural` / `lens_application_complete_reflection` / `witness_construction_structural` / `cross_target_equivalence_harness_structural`); NOT introduced as parallel §1.8 rows. 3-of-5 GREEN at HEAD post-PR-#3053 ledger refresh 2026-05-14; 2-of-5 IN-FLIGHT under warm-wolf-698 expanded scope per operator §4 Item 5 α-ratification 2026-05-14. **2026-05-13 joint-precondition coordination audit**: [`docs/audit/r3-gap3-fixed-point-precondition-coordination-2026-05-13.md`](audit/r3-gap3-fixed-point-precondition-coordination-2026-05-13.md) — all four joint preconditions (R2-Evaluator / R2-Grounding-Rust+Python / T-LP-SG-0 / Row-B materialization) read non-green at HEAD; gate #16 remains not dispatch-eligible for the R3 strong suite; `pb_self_compile_fixed_point_strong` must not be authored in `src/v3/std/verification.dag` until the single dispatch ledger read turns green. | bit-identical stage0 + emitted artifact | | 17 | `numeric_abstract_carriers_landed` | substrate-shape | T-Numeric-Construction | DECLARED | Magnitude (`dsl/std/magnitude.dag`) → Nat (`dsl/std/nat.dag`) → Int (`dsl/std/integer.dag`) → **`Rational = Field>`** (`dsl/std/rational.dag`) → **`Real = ApproximateField>`** (`dsl/std/float.dag`; STOP Option A — **not** `ApproximateField`). Authority: [`docs/design-numeric-construction.md`](design-numeric-construction.md) + [`docs/r3-structure.md`](r3-structure.md) §T-Numeric-Construction. Hand-written integration ratchet: `real_default_alias_resolves_to_approximate_field_over_field_of_fractions_of_int`. **CONSUMER_LANDED** not claimed: INVARIANTS §P2 requires a **generated** consumer of the declared surface (see §1.7). | | 18 | `numeric_width_refinements_landed` | substrate-shape | T-Numeric-Construction | **CONSUMER_LANDED + PASSING for Grounding G2 primitive rows** (2026-05-10, PR #2570 squash `b96a51a2`; gate #18 receipt tightened by follow-up). Producer-side substrate: Int arm via `IntW32/64/128 = Compose>` at `dsl/std/integer.dag:93-95` (PR #2161); Nat arm via `UIntW32/64/128` at `dsl/std/integer.dag:96-98` + `UInt = Nat` axiom at `dsl/std/integer.dag:148`; Float/Real arm via `Real32/Real64 = Compose>`, `Float32/Float64 = Real32/Real64`, and `Real = ApproximateField>` in `dsl/std/float.dag`. Consumer evidence: Rust `f32`/`f64` rows in `dsl/extdeps/languages/rust/primitives.dag`, `grounding_pilot` mirror routing, `m1_substrate_test` compile-time receipts for `Real32/Real64` plus `Float32/Float64`, and `grounding_engine` full-list validation over loaded `rust_pilot_primitives`. | `Int` / `Nat` / `Real` width-refinement surface has Grounding G2 primitive-row consumer evidence; broader Real emission demonstrations remain under S9/Shape-A follow-ons. | | 19 | `numeric_aliases_align_to_refinements` | substrate-shape | T-Numeric-Construction | **CONSUMER_LANDED + PASSING for bootstrap substrate receipt** (2026-05-14) | Fixed public numeric aliases align to width-refinement substrate, not parallel primitive authority. Producer-side substrate: `Int8/16/32/64/128 = Compose>` and `UInt8/16/32/64/128 = Compose>` in `dsl/std/integer.dag`; `Float32/Float64` alias `Real32/Real64`, whose canonical entries are `Compose>` in `dsl/std/float.dag`. Consumer evidence: `bootstrap_numeric_aliases_align_to_refinements_per_gate_19` loads the bootstrap DAG and asserts every Int/UInt alias has `Compose>`; the same receipt asserts Float aliases resolve to the canonical Real width-refinement entries. | @@ -430,7 +430,7 @@ Each retires per its natural-owner program prerequisites. Verification Mgr's `br | T-V-L4 (emit/eval match) | YELLOW | `r3-v-l4-l7-direct-*` briefs | Pattern A first slice (Q-PAFS) + corpus build-out | (TBD) | | T-V-L7 (algebraic-law witness coverage) | YELLOW | `r3-v-l7-algebra-coverage-matrix` briefs; **gate #10 `bounded L7 AlgebraicLaw witnesses (assoc / comm / identity)` MERGED in PR #2394 (2026-05-10)** | per-(algebra, inhabitant, law) exhaustive coverage gap remaining | (TBD; assoc/comm/identity bounded slice landed) | | T-V-L5-Corpus | RED | (waits on L4 corpus + Shape A grounding) | T-V-L4 corpus existing first | post-L4 | -| T-FixedPoint | YELLOW | **PR #2783 Wave-1 PB2 P0 pins MERGED 2026-05-12 23:22Z** (gate #16 R3 horizon: `src/v3/compiler/src/bin/self_host_fixed_point.rs` + `docs/db-history/db-8.md` cross-links + CI-job comments + `src/v3/std/verification.dag` adjacent docs banners — readiness alignment per `docs/briefs/r3-wave1-pb2-fixedpoint-gate16-r3-horizon-worker.md` §"Wave-1 allowed work, default path"; no Pass/Fail change to R1 horizon `r1_release_acceptance_test`); P3 strong-fixed-point sequencing-held per parent brief joint-precondition rule | SG-0 zero from T-LensProducer (gates #5/#7 unmet at HEAD) + R2-Grounding (Rust+Python joint rule) + Row-B materialization | (TBD; P0 pins landed; P3 dispatch-eligible only on joint preconditions) | +| T-FixedPoint | YELLOW | **PR #2783 Wave-1 PB2 P0 pins MERGED 2026-05-12 23:22Z** (gate #16 R3 horizon: `src/v3/compiler/src/bin/self_host_fixed_point.rs` + `docs/db-history/db-8.md` cross-links + CI-job comments + `src/v3/std/verification.dag` adjacent docs banners — readiness alignment per `docs/briefs/r3-wave1-pb2-fixedpoint-gate16-r3-horizon-worker.md` §"Wave-1 allowed work, default path"; no Pass/Fail change to R1 horizon `r1_release_acceptance_test`); P3 strong-fixed-point sequencing-held per parent brief joint-precondition rule; **2026-05-13 coordination audit** at [`docs/audit/r3-gap3-fixed-point-precondition-coordination-2026-05-13.md`](audit/r3-gap3-fixed-point-precondition-coordination-2026-05-13.md) confirms all four joint preconditions non-green at HEAD | SG-0 zero from T-LensProducer (gates #5/#7 unmet at HEAD) + R2-Grounding (Rust+Python joint rule) + Row-B materialization | (TBD; P0 pins landed; P3 dispatch-eligible only on joint preconditions) | | T-Numeric-Construction | YELLOW | **PR #2526 u128 grounding-pilot Rust mirror sync MERGED 2026-05-10**; **PR #2570 Grounding G2 Phase 2 float primitive rows MERGED 2026-05-10** (closes proud-raven-495 G2 Phase 2 prior HELD; squash `b96a51a2`); **gate #17 `numeric_abstract_carriers_landed` substrate receipt MERGED** (PR #2397 + PR #2409 — `Real = ApproximateField>` in `dsl/std/float.dag` + integration ratchet `real_default_alias_resolves_to_approximate_field_over_field_of_fractions_of_int`; §1.8 row #17 remains **DECLARED** until §P2 generated consumer); **wise-pike-29 active on gate #20 numeric inherited bake-ins dissolved** (PR #2426 4 passing); T-NumericConstruction-ApproximateField #1523 prior-cycle | broader Real emission demonstrations under S9 / Shape-A follow-ons (per §1.8 #18 close-criterion); **#20** substrate-shape gate **DECLARED** (per §1.8) | (TBD; #18 + #24 CONSUMER_LANDED + PASSING for Grounding G2 primitive rows; **#20** in flight; **#67** demonstration outstanding) | | T-Omni-Shape-B | YELLOW | **gate #25 salvage path active** at warm-dove-618 PB Mgr lane via assignment #2550 (after sleek-eagle-557 archival left PR #2410 orphan + DIRTY); **gate #26** (omni doc drift lock — snappy-heron-259) + **gate #27** (omni sql ddl alt — gentle-hawk-401) workers idle, mis-parented under sunny-koi-893 Grounding subtree pending re-parent coordination per gunbc#828 c#4414249641 | dependencies (R2-Evaluator **closed-with-residuals 2026-04-29 16:34Z per ROADMAP.md:512 — sub-lane completion partial via R3-tier slices, see Gap 3 in `docs/r3-actual-close-plan.md`**; Shape A targets in flight) | post-gate-#25 salvage PR + #26/#27 closure | | T-Anthropic-Wire | YELLOW | 3 coproduct worker briefs dispatched on PR #1782 wait-window + 2 OPEN closure tags at HEAD (`dsl/extdeps/llm/anthropic.dag` `:189` + `:68`); **PR #2506 [codex] add anthropic wire demo MERGED 2026-05-10** (1 test entry: `anthropic_messages_wire_demo_test.rs`) | three coproduct slices land + variant-aware projection carrier authored | post-#1782 merge + 3 follow-up paydown PRs | diff --git a/src/v3/compiler/src/bin/self_host_fixed_point.rs b/src/v3/compiler/src/bin/self_host_fixed_point.rs index 71bf2720495..43411710b8e 100644 --- a/src/v3/compiler/src/bin/self_host_fixed_point.rs +++ b/src/v3/compiler/src/bin/self_host_fixed_point.rs @@ -6,6 +6,11 @@ //! `docs/r3-structure.md` §"T-FixedPoint" (two-horizon framing), //! `docs/briefs/r3-pb-t-fixedpoint-worker.md` (dispatch preconditions; future //! `pb_self_compile_fixed_point_strong`), and `docs/briefs/r3-wave1-pb2-fixedpoint-gate16-r3-horizon-worker.md`. +//! 2026-05-13 joint-precondition coordination audit: +//! `docs/audit/r3-gap3-fixed-point-precondition-coordination-2026-05-13.md` — all four +//! joint preconditions read non-green at HEAD; `pb_self_compile_fixed_point_strong` +//! must not be authored in `src/v3/std/verification.dag` until the single dispatch +//! ledger read turns green (per that audit's sequencing rule). //! History and CI posture for this binary: `docs/db-history/db-8.md`. //! //! Full cycle (emit → `rustc` → run → byte-diff) requires a v3-parseable diff --git a/src/v3/compiler/src/bootstrap_generated.rs b/src/v3/compiler/src/bootstrap_generated.rs index 06d89d403d7..685c1be0111 100644 --- a/src/v3/compiler/src/bootstrap_generated.rs +++ b/src/v3/compiler/src/bootstrap_generated.rs @@ -10183,14 +10183,14 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { target: TransformTarget::Callable(DeclarationId(1331)), inputs: vec![PortId(1058)], output: PortId(1059), - span: SourceSpan::new("src/v3/std/verification.dag", 30696, 30719), + span: SourceSpan::new("src/v3/std/verification.dag", 30917, 30940), })); nodes.push(Behavior::Transform(TransformNode { id: NodeId(894), target: TransformTarget::Callable(DeclarationId(1332)), inputs: vec![PortId(1060)], output: PortId(1061), - span: SourceSpan::new("src/v3/std/verification.dag", 30741, 30775), + span: SourceSpan::new("src/v3/std/verification.dag", 30962, 30996), })); nodes.push(Behavior::Branch(BranchNode { id: NodeId(895), @@ -10201,7 +10201,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { output: PortId(1059), pattern: BranchPattern::UnresolvedVariant { name: "Enumerated".to_string(), - span: SourceSpan::new("src/v3/std/verification.dag", 30679, 30692), + span: SourceSpan::new("src/v3/std/verification.dag", 30900, 30913), }, binding: Some(PayloadBinding { binding_name: "c".to_string(), @@ -10213,7 +10213,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { output: PortId(1061), pattern: BranchPattern::UnresolvedVariant { name: "Quantified".to_string(), - span: SourceSpan::new("src/v3/std/verification.dag", 30724, 30737), + span: SourceSpan::new("src/v3/std/verification.dag", 30945, 30958), }, binding: Some(PayloadBinding { binding_name: "q".to_string(), @@ -10222,7 +10222,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { }, ], output: PortId(1062), - span: SourceSpan::new("src/v3/std/verification.dag", 30661, 30779), + span: SourceSpan::new("src/v3/std/verification.dag", 30882, 31000), emit_participation: Some(BranchEmitParticipation::UserMatch), })); nodes.push(Behavior::Bind(BindNode { @@ -10230,7 +10230,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { name: "obligation_for_suite_claim".to_string(), value: PortId(1062), params: vec![PortId(1057)], - span: SourceSpan::new("src/v3/std/verification.dag", 30661, 30779), + span: SourceSpan::new("src/v3/std/verification.dag", 30882, 31000), lane2_workflow: None, emit_participation: Some(BindEmitParticipation::UserCallable), })); @@ -44263,7 +44263,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 11083, 24816), + span: SourceSpan::new("src/v3/std/verification.dag", 11083, 25037), }); declarations.push(Declaration { id: DeclarationId(1320), @@ -44277,7 +44277,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 24924, 24944), + span: SourceSpan::new("src/v3/std/verification.dag", 25145, 25165), }); declarations.push(Declaration { id: DeclarationId(1321), @@ -44296,7 +44296,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 25087, 25142), + span: SourceSpan::new("src/v3/std/verification.dag", 25308, 25363), }); declarations.push(Declaration { id: DeclarationId(1322), @@ -44333,7 +44333,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 25752, 25885), + span: SourceSpan::new("src/v3/std/verification.dag", 25973, 26106), }); declarations.push(Declaration { id: DeclarationId(1323), @@ -44358,7 +44358,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 26066, 26103), + span: SourceSpan::new("src/v3/std/verification.dag", 26287, 26324), }); declarations.push(Declaration { id: DeclarationId(1324), @@ -44395,7 +44395,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 26105, 26266), + span: SourceSpan::new("src/v3/std/verification.dag", 26326, 26487), }); declarations.push(Declaration { id: DeclarationId(1325), @@ -44420,7 +44420,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 27961, 28055), + span: SourceSpan::new("src/v3/std/verification.dag", 28182, 28276), }); declarations.push(Declaration { id: DeclarationId(1326), @@ -44449,7 +44449,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 28057, 28160), + span: SourceSpan::new("src/v3/std/verification.dag", 28278, 28381), }); declarations.push(Declaration { id: DeclarationId(1327), @@ -44474,7 +44474,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 28893, 28970), + span: SourceSpan::new("src/v3/std/verification.dag", 29114, 29191), }); declarations.push(Declaration { id: DeclarationId(1328), @@ -44499,7 +44499,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 28972, 29032), + span: SourceSpan::new("src/v3/std/verification.dag", 29193, 29253), }); declarations.push(Declaration { id: DeclarationId(1329), @@ -44524,7 +44524,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 29230, 29311), + span: SourceSpan::new("src/v3/std/verification.dag", 29451, 29532), }); declarations.push(Declaration { id: DeclarationId(1330), @@ -44534,8 +44534,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { output: DeclarationId(2729), body: ArrowBody::Unparsed(SourceSpan::new( "src/v3/std/verification.dag", - 29753, - 29769, + 29974, + 29990, )), }, type_params: vec![], @@ -44546,7 +44546,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 29682, 29769), + span: SourceSpan::new("src/v3/std/verification.dag", 29903, 29990), }); declarations.push(Declaration { id: DeclarationId(1331), @@ -44556,8 +44556,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { output: DeclarationId(1329), body: ArrowBody::Unparsed(SourceSpan::new( "src/v3/std/verification.dag", - 29827, - 29912, + 30048, + 30133, )), }, type_params: vec![], @@ -44568,7 +44568,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 29771, 29912), + span: SourceSpan::new("src/v3/std/verification.dag", 29992, 30133), }); declarations.push(Declaration { id: DeclarationId(1332), @@ -44578,8 +44578,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { output: DeclarationId(1329), body: ArrowBody::Unparsed(SourceSpan::new( "src/v3/std/verification.dag", - 30219, - 30285, + 30440, + 30506, )), }, type_params: vec![], @@ -44590,7 +44590,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 30142, 30285), + span: SourceSpan::new("src/v3/std/verification.dag", 30363, 30506), }); declarations.push(Declaration { id: DeclarationId(1333), @@ -44608,7 +44608,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 30590, 30779), + span: SourceSpan::new("src/v3/std/verification.dag", 30811, 31000), }); declarations.push(Declaration { id: DeclarationId(1334), @@ -44618,8 +44618,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { output: DeclarationId(2731), body: ArrowBody::Unparsed(SourceSpan::new( "src/v3/std/verification.dag", - 30863, - 30908, + 31084, + 31129, )), }, type_params: vec![], @@ -44630,7 +44630,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 30781, 30908), + span: SourceSpan::new("src/v3/std/verification.dag", 31002, 31129), }); declarations.push(Declaration { id: DeclarationId(1335), @@ -85270,7 +85270,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 29729, 29752), + span: SourceSpan::new("src/v3/std/verification.dag", 29950, 29973), }); declarations.push(Declaration { id: DeclarationId(2730), @@ -85290,7 +85290,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 30821, 30837), + span: SourceSpan::new("src/v3/std/verification.dag", 31042, 31058), }); declarations.push(Declaration { id: DeclarationId(2731), @@ -85310,7 +85310,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 30842, 30862), + span: SourceSpan::new("src/v3/std/verification.dag", 31063, 31083), }); declarations.push(Declaration { id: DeclarationId(2732), @@ -86344,7 +86344,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 19611, 19693), + span: SourceSpan::new("src/v3/std/verification.dag", 19832, 19914), }); declarations.push(Declaration { id: DeclarationId(2786), @@ -86369,7 +86369,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 19698, 19784), + span: SourceSpan::new("src/v3/std/verification.dag", 19919, 20005), }); declarations.push(Declaration { id: DeclarationId(2787), @@ -86389,7 +86389,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 20684, 20712), + span: SourceSpan::new("src/v3/std/verification.dag", 20905, 20933), }); declarations.push(Declaration { id: DeclarationId(2788), @@ -86414,7 +86414,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 20609, 20718), + span: SourceSpan::new("src/v3/std/verification.dag", 20830, 20939), }); declarations.push(Declaration { id: DeclarationId(2789), @@ -86439,7 +86439,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 21933, 22058), + span: SourceSpan::new("src/v3/std/verification.dag", 22154, 22279), }); declarations.push(Declaration { id: DeclarationId(2790), @@ -86468,7 +86468,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 23000, 23134), + span: SourceSpan::new("src/v3/std/verification.dag", 23221, 23355), }); declarations.push(Declaration { id: DeclarationId(2791), @@ -86497,7 +86497,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 23773, 23917), + span: SourceSpan::new("src/v3/std/verification.dag", 23994, 24138), }); declarations.push(Declaration { id: DeclarationId(2792), @@ -86516,7 +86516,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 24762, 24816), + span: SourceSpan::new("src/v3/std/verification.dag", 24983, 25037), }); declarations.push(Declaration { id: DeclarationId(2793), @@ -86536,7 +86536,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 25860, 25883), + span: SourceSpan::new("src/v3/std/verification.dag", 26081, 26104), }); declarations.push(Declaration { id: DeclarationId(2794), @@ -86550,7 +86550,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 26086, 26092), + span: SourceSpan::new("src/v3/std/verification.dag", 26307, 26313), }); declarations.push(Declaration { id: DeclarationId(2795), @@ -86564,7 +86564,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 26097, 26103), + span: SourceSpan::new("src/v3/std/verification.dag", 26318, 26324), }); declarations.push(Declaration { id: DeclarationId(2796), @@ -86584,7 +86584,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 26241, 26264), + span: SourceSpan::new("src/v3/std/verification.dag", 26462, 26485), }); declarations.push(Declaration { id: DeclarationId(2797), @@ -86603,7 +86603,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 27982, 28011), + span: SourceSpan::new("src/v3/std/verification.dag", 28203, 28232), }); declarations.push(Declaration { id: DeclarationId(2798), @@ -86622,7 +86622,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 28016, 28055), + span: SourceSpan::new("src/v3/std/verification.dag", 28237, 28276), }); declarations.push(Declaration { id: DeclarationId(2799), @@ -86641,7 +86641,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 28913, 28934), + span: SourceSpan::new("src/v3/std/verification.dag", 29134, 29155), }); declarations.push(Declaration { id: DeclarationId(2800), @@ -86660,7 +86660,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 28939, 28970), + span: SourceSpan::new("src/v3/std/verification.dag", 29160, 29191), }); declarations.push(Declaration { id: DeclarationId(2801), @@ -86680,7 +86680,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 29014, 29030), + span: SourceSpan::new("src/v3/std/verification.dag", 29235, 29251), }); declarations.push(Declaration { id: DeclarationId(2802), @@ -86700,7 +86700,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("src/v3/std/verification.dag", 29286, 29309), + span: SourceSpan::new("src/v3/std/verification.dag", 29507, 29530), }); declarations.push(Declaration { id: DeclarationId(2803), diff --git a/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs b/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs index c7aca15e2b2..f9f7546219a 100644 --- a/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs +++ b/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs @@ -10183,14 +10183,14 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { target: TransformTarget::Callable(DeclarationId(1315)), inputs: vec![PortId(1058)], output: PortId(1059), - span: SourceSpan::new("src/v3/std/verification.dag", 30696, 30719), + span: SourceSpan::new("src/v3/std/verification.dag", 30917, 30940), })); nodes.push(Behavior::Transform(TransformNode { id: NodeId(894), target: TransformTarget::Callable(DeclarationId(1316)), inputs: vec![PortId(1060)], output: PortId(1061), - span: SourceSpan::new("src/v3/std/verification.dag", 30741, 30775), + span: SourceSpan::new("src/v3/std/verification.dag", 30962, 30996), })); nodes.push(Behavior::Branch(BranchNode { id: NodeId(895), @@ -10201,7 +10201,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { output: PortId(1059), pattern: BranchPattern::UnresolvedVariant { name: "Enumerated".to_string(), - span: SourceSpan::new("src/v3/std/verification.dag", 30679, 30692), + span: SourceSpan::new("src/v3/std/verification.dag", 30900, 30913), }, binding: Some(PayloadBinding { binding_name: "c".to_string(), @@ -10213,7 +10213,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { output: PortId(1061), pattern: BranchPattern::UnresolvedVariant { name: "Quantified".to_string(), - span: SourceSpan::new("src/v3/std/verification.dag", 30724, 30737), + span: SourceSpan::new("src/v3/std/verification.dag", 30945, 30958), }, binding: Some(PayloadBinding { binding_name: "q".to_string(), @@ -10222,7 +10222,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { }, ], output: PortId(1062), - span: SourceSpan::new("src/v3/std/verification.dag", 30661, 30779), + span: SourceSpan::new("src/v3/std/verification.dag", 30882, 31000), emit_participation: Some(BranchEmitParticipation::UserMatch), })); nodes.push(Behavior::Bind(BindNode { @@ -10230,7 +10230,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { name: "obligation_for_suite_claim".to_string(), value: PortId(1062), params: vec![PortId(1057)], - span: SourceSpan::new("src/v3/std/verification.dag", 30661, 30779), + span: SourceSpan::new("src/v3/std/verification.dag", 30882, 31000), lane2_workflow: None, emit_participation: Some(BindEmitParticipation::UserCallable), })); @@ -43755,7 +43755,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec