From 8965abf47599e59c67564875db9b70decdbfb69e Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Thu, 14 May 2026 16:50:43 +0000 Subject: [PATCH 1/2] =?UTF-8?q?R3=20gate=20#16=20(T-FixedPoint)=20?= =?UTF-8?q?=E2=80=94=20P0=20readiness=20pin:=20cross-link=202026-05-13=20G?= =?UTF-8?q?ap-3=20joint-precondition=20coordination=20audit?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Wave-1 PB2 default-path P0 work per docs/briefs/r3-wave1-pb2-fixedpoint-gate16-r3-horizon-worker.md. No R1 Pass/Fail change to pb_self_compile_fixed_point; gate stays sequencing-held for the R3 strong horizon. - docs/r3-program-plan.md §1.8 row #16 + T-FixedPoint tracking row: link docs/audit/r3-gap3-fixed-point-precondition-coordination-2026-05-13.md - src/v3/compiler/src/bin/self_host_fixed_point.rs header: add pointer to the audit reaffirming pb_self_compile_fixed_point_strong stays unauthored - src/v3/std/verification.dag FixedPointConverges adjacent comment: same pointer Co-Authored-By: Claude Opus 4.7 (1M context) --- docs/r3-program-plan.md | 4 ++-- src/v3/compiler/src/bin/self_host_fixed_point.rs | 5 +++++ src/v3/std/verification.dag | 3 +++ 3 files changed, 10 insertions(+), 2 deletions(-) diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md index 1bbfa2ce4a8..8bfe04d4964 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 | DECLARED | Int8/.../Int128 as refinements | @@ -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/std/verification.dag b/src/v3/std/verification.dag index 68c7cb424c0..5c835471b20 100644 --- a/src/v3/std/verification.dag +++ b/src/v3/std/verification.dag @@ -450,6 +450,9 @@ type TestPredicate // joint preconditions in `docs/briefs/r3-pb-t-fixedpoint-worker.md` §"Dispatch // preconditions". Do not rename or shadow the R1 claim; do not extend this // enum from PB without Substrate ack (see `INVARIANTS.md` P1). + // 2026-05-13 joint-precondition coordination audit: + // `docs/audit/r3-gap3-fixed-point-precondition-coordination-2026-05-13.md` — + // all four joint preconditions non-green at HEAD; strong suite stays unauthored. | FixedPointConverges { compile_target: Path expected: SnapshotRef From 361573cbdc5c36b5d5b6431923c357f0e6509899 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Thu, 14 May 2026 16:58:31 +0000 Subject: [PATCH 2/2] regen bootstrap snapshot after verification.dag comment-only edit The 3-line comment added to FixedPointConverges adjacent block shifted byte spans in committed bootstrap_generated.rs (and siblings). No authority change; refresh snapshot to satisfy --verify gate. Co-Authored-By: Claude Opus 4.7 (1M context) --- src/v3/compiler/src/bootstrap_generated.rs | 102 +++++++++--------- ...otstrap_generated_without_parse_surface.rs | 102 +++++++++--------- 2 files changed, 102 insertions(+), 102 deletions(-) diff --git a/src/v3/compiler/src/bootstrap_generated.rs b/src/v3/compiler/src/bootstrap_generated.rs index 9ebdb126ae2..f049db8a0fa 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(1325)), 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(1326)), 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), })); @@ -44173,7 +44173,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(1314), @@ -44187,7 +44187,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(1315), @@ -44206,7 +44206,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(1316), @@ -44243,7 +44243,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(1317), @@ -44268,7 +44268,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(1318), @@ -44305,7 +44305,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(1319), @@ -44330,7 +44330,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(1320), @@ -44359,7 +44359,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(1321), @@ -44384,7 +44384,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(1322), @@ -44409,7 +44409,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(1323), @@ -44434,7 +44434,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(1324), @@ -44444,8 +44444,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { output: DeclarationId(2723), body: ArrowBody::Unparsed(SourceSpan::new( "src/v3/std/verification.dag", - 29753, - 29769, + 29974, + 29990, )), }, type_params: vec![], @@ -44456,7 +44456,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(1325), @@ -44466,8 +44466,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { output: DeclarationId(1323), body: ArrowBody::Unparsed(SourceSpan::new( "src/v3/std/verification.dag", - 29827, - 29912, + 30048, + 30133, )), }, type_params: vec![], @@ -44478,7 +44478,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(1326), @@ -44488,8 +44488,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { output: DeclarationId(1323), body: ArrowBody::Unparsed(SourceSpan::new( "src/v3/std/verification.dag", - 30219, - 30285, + 30440, + 30506, )), }, type_params: vec![], @@ -44500,7 +44500,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(1327), @@ -44518,7 +44518,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(1328), @@ -44528,8 +44528,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { output: DeclarationId(2725), body: ArrowBody::Unparsed(SourceSpan::new( "src/v3/std/verification.dag", - 30863, - 30908, + 31084, + 31129, )), }, type_params: vec![], @@ -44540,7 +44540,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(1329), @@ -85180,7 +85180,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(2724), @@ -85200,7 +85200,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(2725), @@ -85220,7 +85220,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(2726), @@ -86254,7 +86254,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(2780), @@ -86279,7 +86279,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(2781), @@ -86299,7 +86299,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(2782), @@ -86324,7 +86324,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(2783), @@ -86349,7 +86349,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(2784), @@ -86378,7 +86378,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(2785), @@ -86407,7 +86407,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(2786), @@ -86426,7 +86426,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(2787), @@ -86446,7 +86446,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(2788), @@ -86460,7 +86460,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(2789), @@ -86474,7 +86474,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(2790), @@ -86494,7 +86494,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(2791), @@ -86513,7 +86513,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(2792), @@ -86532,7 +86532,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(2793), @@ -86551,7 +86551,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(2794), @@ -86570,7 +86570,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(2795), @@ -86590,7 +86590,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(2796), @@ -86610,7 +86610,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(2797), 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 51f1d5dc56e..8a31e67cffc 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(1309)), 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(1310)), 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), })); @@ -43665,7 +43665,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