From b8c7f54329d1b229d8c7fdb66d0407bb25d9e0e4 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Fri, 12 Jun 2026 17:52:03 +0000 Subject: [PATCH 1/3] F1a: repoint deleted-TASKS.md cites in test/claim + v3 test comments to live concept issues MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Repoints 🟑 marks in src/v4/test/claim to concept issues #4757-#4765 and rewrites dead-ledger prose/anchor cites in v3 test comments. Includes the coupled assert literal for the testgen_category_wishlist mark (v4_test_bootstrap_infra_closeout_test.rs:184) in the same PR. Co-Authored-By: Claude Fable 5 --- src/v3/compiler/src/v4_hollow_alias_gate.rs | 2 +- src/v3/compiler/tests/integration/sg0_census_test.rs | 4 ++-- .../tests/integration/v4_emit_host_harness_test.rs | 4 ++-- .../v4_t15_self_host_fixed_point_harness_test.rs | 4 ++-- .../v4_test_bootstrap_infra_closeout_test.rs | 2 +- .../test/claim/boundary/english_ingest_fail_closed.dag | 2 +- src/v4/test/claim/claim_pipeline/infer.dag | 2 +- src/v4/test/claim/claim_pipeline/normalize.dag | 2 +- src/v4/test/claim/claim_pipeline/resolve.dag | 2 +- src/v4/test/claim/claim_pipeline/translate.dag | 2 +- .../test/claim/generated/algebra_law_conformance.dag | 2 +- .../test/claim/generated/coproduct_exhaustiveness.dag | 8 ++++---- .../test/claim/generated/testgen_category_wishlist.dag | 2 +- src/v4/test/claim/grounding_typescript/sg_claims.dag | 2 +- src/v4/test/claim/manual/fact_density_anchor.dag | 1 - src/v4/test/claim/manual/go_mvp1_grammar_claim.dag | 4 ++-- .../manual/infer_algebra_ref_grounding_anchor.dag | 2 +- src/v4/test/claim/manual/kotlin_mvp1_grammar_claim.dag | 4 ++-- src/v4/test/claim/manual/manual_corpus_roster.dag | 2 +- src/v4/test/claim/manual/mvp1_cpp_add_translate.dag | 10 +++++----- src/v4/test/claim/manual/mvp1_go_add_translate.dag | 10 +++++----- src/v4/test/claim/manual/mvp1_python_add_translate.dag | 10 +++++----- src/v4/test/claim/manual/mvp1_rust_add_translate.dag | 10 +++++----- .../claim/manual/mvp1_typescript_add_translate.dag | 10 +++++----- src/v4/test/claim/manual/python_mvp1_grammar_claim.dag | 4 ++-- src/v4/test/claim/parse/go_wave2a.dag | 2 +- src/v4/test/claim/parse/lean_wave2a.dag | 2 +- src/v4/test/claim/parse/python_wave2a.dag | 2 +- src/v4/test/claim/round_trip/dag_ingest_round_trip.dag | 2 +- src/v4/test/claim/workflow/manual_corpus_eval.dag | 2 +- src/v4/test/claim/workflow/testclaim_corpus_runner.dag | 2 +- 31 files changed, 59 insertions(+), 60 deletions(-) diff --git a/src/v3/compiler/src/v4_hollow_alias_gate.rs b/src/v3/compiler/src/v4_hollow_alias_gate.rs index 6f6b291856e..2e64730c131 100644 --- a/src/v3/compiler/src/v4_hollow_alias_gate.rs +++ b/src/v3/compiler/src/v4_hollow_alias_gate.rs @@ -13,7 +13,7 @@ //! this file is **staging** until a **generated** `.dag` consumer reads it β€” it is **not** //! a landed substrate primitive; this Rust module is the **interim authority** for the //! Practice-8 hollow predicate. **Dissolution / richer `Node` payload:** same **T-30** bundle as -//! `INVARIANTS.md` Β§P5(b) on this path β€” **`src/v4/TASKS.md`** (T-30 interim mirror paragraph) + +//! `INVARIANTS.md` Β§P5(b) on this path β€” former `src/v4/TASKS.md` T-30 interim mirror paragraph (ledger deleted) + //! **`src/v4/DECISIONS.md`** T-30 `fact_density.dag` encoding note (generated `.dag` gate / bootstrap //! bridge), not a separate prose-only trigger. //! M1(2.8) rejects block-bodied `.dag` functions that walk `Node` with `match` in the diff --git a/src/v3/compiler/tests/integration/sg0_census_test.rs b/src/v3/compiler/tests/integration/sg0_census_test.rs index ae7321d0f04..3319b6f860f 100644 --- a/src/v3/compiler/tests/integration/sg0_census_test.rs +++ b/src/v3/compiler/tests/integration/sg0_census_test.rs @@ -498,7 +498,7 @@ const EXPECTED_HAND_AUTHORED_TEST: &[&str] = &[ // // **P5 receipt (INVARIANTS.md Β§P5 β€” SG-0 `EXPECTED_HAND_AUTHORED_TEST`):** explicit // deferral to **ROADMAP.md** `### Nine lanes` row **T-PB-B** / - // `pb_rust_tests_outside_residual_zero` + **TASKS.md** T-22/T-38 (Runtime/TestClaim + // `pb_rust_tests_outside_residual_zero` + gunbc#4757/gunbc#4765 (re-anchor of deleted TASKS.md T-22/T-38; Runtime/TestClaim // verdict surface; interim host runner `scripts/v4-leaf-model-rust-r1-verify.sh`). // Dissolution: delete when modeled runner exercises // `src/v4/test/claim/language_model/rust_r1.dag` without this hand-Rust bridge. @@ -512,7 +512,7 @@ const EXPECTED_HAND_AUTHORED_TEST: &[&str] = &[ // // **P5 receipt (INVARIANTS.md Β§P5 β€” SG-0 `EXPECTED_HAND_AUTHORED_TEST`):** explicit // deferral to **ROADMAP.md** `### Nine lanes` row **T-PB-B** / - // `pb_rust_tests_outside_residual_zero` + **TASKS.md** T-22/T-38 (Runtime/TestClaim + // `pb_rust_tests_outside_residual_zero` + gunbc#4757/gunbc#4765 (re-anchor of deleted TASKS.md T-22/T-38; Runtime/TestClaim // verdict surface; interim host runner `scripts/v4-leaf-model-rust-r3-internal-verify.sh`). // Dissolution: delete when modeled runner exercises // `RustEmitProjectionEqualityExpectation` without this hand-Rust bridge. diff --git a/src/v3/compiler/tests/integration/v4_emit_host_harness_test.rs b/src/v3/compiler/tests/integration/v4_emit_host_harness_test.rs index 268aa5d3a90..854b5fa52fa 100644 --- a/src/v3/compiler/tests/integration/v4_emit_host_harness_test.rs +++ b/src/v3/compiler/tests/integration/v4_emit_host_harness_test.rs @@ -5,7 +5,7 @@ //! `nat_semiring_rung34_eval.dag`) + executable boundary `tools/emit_host_runner`. //! //! **ROADMAP:** `ROADMAP.md` Β§ **Nine lanes** row **T-PB-B** / `pb_rust_tests_outside_residual_zero`; -//! **TASKS.md** T-38 / rung-4 host receipt path. +//! gunbc#4765 (re-anchor of deleted TASKS.md T-38) / rung-4 host receipt path. //! //! **PR receipt (P5 Mechanism (b)):** this harness + matching `EXPECTED_HAND_AUTHORED_TEST` //! line in `sg0_census_test.rs` land in the same PR. **This PR (+1 census path):** @@ -40,7 +40,7 @@ //! deferral remains T-PB-B / T-22: retire this host parse-surface probe when `.dag` TestClaim //! execution or a generated harness owns the L1 Python runtime fixture coverage roster. //! Substrate rows stay `Deferred` until T-22 dispatch. Dissolution: **ROADMAP.md** T-PB-B / -//! **TASKS.md** T-22 T-38; delete these hand-authored per-target snippets when generated +//! gunbc#4757/gunbc#4765 (re-anchor of deleted TASKS.md T-22/T-38); delete these hand-authored per-target snippets when generated //! `TestClaimRun` host transport materializes the six rung-5 law subjects for Rust/Python/Go. //! //! **TESTING.md:** substrate `.dag` models receipt assembly; behavior tests exercise diff --git a/src/v3/compiler/tests/integration/v4_t15_self_host_fixed_point_harness_test.rs b/src/v3/compiler/tests/integration/v4_t15_self_host_fixed_point_harness_test.rs index e52b42a7b59..9a082a41644 100644 --- a/src/v3/compiler/tests/integration/v4_t15_self_host_fixed_point_harness_test.rs +++ b/src/v3/compiler/tests/integration/v4_t15_self_host_fixed_point_harness_test.rs @@ -1,5 +1,5 @@ //! **T-15** bin/main.dag execution + self-host fixed-point validation harness -//! (`src/v4/TASKS.md` Β§T-15; Lane C / operator-directive 2026-05-29). +//! (former TASKS.md Β§T-15 β€” ledger deleted; operator-directive 2026-05-29). //! //! Fixed-point bar: **stage1 emitted == stage2 emitted** (`FixptStage1Stage2` in //! `workflow/bootstrap.dag`), **not** stage0==stage1 (stage0 is v2-emission-style). @@ -187,7 +187,7 @@ fn copy_dir_all(src: &Path, dst: &Path) -> std::io::Result<()> { Ok(()) } -/// TASKS.md Β§T-15 CI gate name: `cargo test t_15_self_host_fixed_point`. +/// CI gate name: `cargo test t_15_self_host_fixed_point`. #[test] fn t_15_self_host_fixed_point() { assert_parseable(MAIN_DAG, MAIN_DAG_PATH); diff --git a/src/v3/compiler/tests/integration/v4_test_bootstrap_infra_closeout_test.rs b/src/v3/compiler/tests/integration/v4_test_bootstrap_infra_closeout_test.rs index 6b40de3c5dc..887f39e5703 100644 --- a/src/v3/compiler/tests/integration/v4_test_bootstrap_infra_closeout_test.rs +++ b/src/v3/compiler/tests/integration/v4_test_bootstrap_infra_closeout_test.rs @@ -181,7 +181,7 @@ fn t19_non_tautological_generator_wishlist_parse_and_pins_dispatch_rows() { && TESTGEN_WISHLIST_DAG .contains("feature:t19-generator-oracle-basis-carrier") && TESTGEN_WISHLIST_DAG.contains( - "bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate", + "bound task: gunbc#4762 (re-anchor of deleted TASKS.md T-19)", ) && TESTGEN_WISHLIST_DAG.contains("dissolve-on-arrival: delete TestgenOracleBasis") && TESTGEN_WISHLIST_DAG.contains("StructuralConstructionWitness") diff --git a/src/v4/test/claim/boundary/english_ingest_fail_closed.dag b/src/v4/test/claim/boundary/english_ingest_fail_closed.dag index 1dc86595d81..41491f0f59c 100644 --- a/src/v4/test/claim/boundary/english_ingest_fail_closed.dag +++ b/src/v4/test/claim/boundary/english_ingest_fail_closed.dag @@ -16,7 +16,7 @@ // Prerequisites (sequencing β€” NOT parallel to an unfilled verification // scaffold): concrete TestClaim payloads in this file bind // to the closed schema in std/verification.dag. That file is T-3 -// Wave-A2 work (needs algebra + diagnostic per TASKS.md T-3 ordering). +// follow-on work (needs algebra + diagnostic first; former TASKS.md T-3 ordering β€” ledger deleted). // English (T-4.11) is intentionally sequenced *behind* verification.dag // fill β€” cite verification.dag as schema authority only after T-3 lands // it; do not list it as peer "Consumes" substrate while the scaffold is diff --git a/src/v4/test/claim/claim_pipeline/infer.dag b/src/v4/test/claim/claim_pipeline/infer.dag index 4cf362eb339..ce48bef2957 100644 --- a/src/v4/test/claim/claim_pipeline/infer.dag +++ b/src/v4/test/claim/claim_pipeline/infer.dag @@ -27,7 +27,7 @@ data spine_infer_module_subject: Node = Node { children: [], occurrence_id: SyntheticOccurrence } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 / G.3.5 spine harness β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) / G.3.5 spine harness β€” // dissolve-on: T-22 claim runner evaluates infer Outcome directly without Bool projection. fn spine_infer_accepts_mvp_resolved_tree() -> Bool { match infer(tree: fixture_add_resolved_tree()) { diff --git a/src/v4/test/claim/claim_pipeline/normalize.dag b/src/v4/test/claim/claim_pipeline/normalize.dag index 8d4c6cc70fb..6b245c5d645 100644 --- a/src/v4/test/claim/claim_pipeline/normalize.dag +++ b/src/v4/test/claim/claim_pipeline/normalize.dag @@ -52,7 +52,7 @@ fn spine_normalize_service_parse_tree() -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 / G.3.5 spine harness β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) / G.3.5 spine harness β€” // dissolve-on: T-22 claim runner evaluates normalize Outcome directly without Bool projection. fn spine_normalize_accepts_well_formed_sugar() -> Bool { match normalize(parse_tree: spine_normalize_service_parse_tree()) { diff --git a/src/v4/test/claim/claim_pipeline/resolve.dag b/src/v4/test/claim/claim_pipeline/resolve.dag index d62183aaa6a..e1fc2a37cc4 100644 --- a/src/v4/test/claim/claim_pipeline/resolve.dag +++ b/src/v4/test/claim/claim_pipeline/resolve.dag @@ -46,7 +46,7 @@ fn spine_resolve_service_parse_tree() -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 / G.3.5 spine harness β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) / G.3.5 spine harness β€” // dissolve-on: T-22 claim runner evaluates normalizeβ†’resolve Outcome chain directly without Bool projection. fn spine_resolve_accepts_normalized_tree() -> Bool { match normalize(parse_tree: spine_resolve_service_parse_tree()) { diff --git a/src/v4/test/claim/claim_pipeline/translate.dag b/src/v4/test/claim/claim_pipeline/translate.dag index 7d46c08d237..58e84da2ebe 100644 --- a/src/v4/test/claim/claim_pipeline/translate.dag +++ b/src/v4/test/claim/claim_pipeline/translate.dag @@ -28,7 +28,7 @@ data spine_translate_module_subject: Node = Node { children: [], occurrence_id: SyntheticOccurrence } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 / G.3.5 spine harness β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) / G.3.5 spine harness β€” // dissolve-on: T-22 claim runner evaluates translate Outcome directly without Bool projection. fn spine_translate_accepts_mvp1_inferred_tree() -> Bool { match translate(tree: mvp1_rust_inferred_tree, target: rust_mvp1_target_model()) { diff --git a/src/v4/test/claim/generated/algebra_law_conformance.dag b/src/v4/test/claim/generated/algebra_law_conformance.dag index 8a6f04c8984..080d218fce6 100644 --- a/src/v4/test/claim/generated/algebra_law_conformance.dag +++ b/src/v4/test/claim/generated/algebra_law_conformance.dag @@ -29,7 +29,7 @@ import v4.std.verification { Unit } import v4.std.diagnostic { Outcome } -// 🟑 gated β€” feature:t19-nat-expression-node-encoding β€” bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate β€” dissolve-on-arrival: replace these local expression-shape tags with a canonical Nat-expression Node encoder that reflects function application identity directly; forbidden: exporting per-operation/per-value mirror symbols from v4.std.nat. +// 🟑 gated β€” feature:t19-nat-expression-node-encoding β€” bound task: gunbc#4759 (re-anchor of deleted TASKS.md T-19) β€” dissolve-on-arrival: replace these local expression-shape tags with a canonical Nat-expression Node encoder that reflects function application identity directly; forbidden: exporting per-operation/per-value mirror symbols from v4.std.nat. fn algebra_law_generated_atom(s: Symbol) -> Node { Node { kind: TypeNode { connective: Atom { identity: s } }, children: [], occurrence_id: SyntheticOccurrence diff --git a/src/v4/test/claim/generated/coproduct_exhaustiveness.dag b/src/v4/test/claim/generated/coproduct_exhaustiveness.dag index d4f7611e59d..c3426029b22 100644 --- a/src/v4/test/claim/generated/coproduct_exhaustiveness.dag +++ b/src/v4/test/claim/generated/coproduct_exhaustiveness.dag @@ -50,7 +50,7 @@ fn generated_coproduct_exhaustiveness_input() -> Outcome { } -// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate β€” dissolve-on-arrival: generated corpus replaces this hand-rolled DiagnosticClaim arm check with canonical TestClaim variant reflection; forbidden: permanent hand-enumerated TestClaim arm discriminant in generated corpus. +// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: gunbc#4759 (re-anchor of deleted TASKS.md T-19) β€” dissolve-on-arrival: generated corpus replaces this hand-rolled DiagnosticClaim arm check with canonical TestClaim variant reflection; forbidden: permanent hand-enumerated TestClaim arm discriminant in generated corpus. fn witness_coproduct_exhaustiveness_claim_is_diagnostic() -> Bool { match generated_coproduct_exhaustiveness_claim() { Accepted { value: DiagnosticClaim { label: _, anchor: GeneratedClaimAnchor { generated_anchor: GeneratedCoproductExhaustiveness { omitted_variant: _ } }, input: _, expected_rejection: _, classification: _ }, diagnostics: _ } => true @@ -60,7 +60,7 @@ fn witness_coproduct_exhaustiveness_claim_is_diagnostic() -> Bool { } -// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate β€” dissolve-on-arrival: generated corpus replaces this hand-matched GeneratedClaimAnchor arm check with canonical anchor-type projection; forbidden: permanent hand-rolled anchor-variant discriminant in generated corpus. +// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: gunbc#4759 (re-anchor of deleted TASKS.md T-19) β€” dissolve-on-arrival: generated corpus replaces this hand-matched GeneratedClaimAnchor arm check with canonical anchor-type projection; forbidden: permanent hand-rolled anchor-variant discriminant in generated corpus. fn witness_coproduct_exhaustiveness_generated_anchor() -> Bool { match generated_coproduct_exhaustiveness_claim() { Accepted { value: claim, diagnostics: _ } => @@ -89,7 +89,7 @@ fn witness_coproduct_exhaustiveness_all_testclaim_variants_emit() -> Bool { } -// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate β€” dissolve-on-arrival: generated corpus replaces this four-arm hand-enumerated TestClaimCoproductVariant equality check with canonical variant-key reflection; forbidden: permanent hand-rolled arm-identity match over TestClaimCoproductVariant in generated corpus. +// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: gunbc#4759 (re-anchor of deleted TASKS.md T-19) β€” dissolve-on-arrival: generated corpus replaces this four-arm hand-enumerated TestClaimCoproductVariant equality check with canonical variant-key reflection; forbidden: permanent hand-rolled arm-identity match over TestClaimCoproductVariant in generated corpus. fn witness_coproduct_exhaustiveness_variant_emits(anchor: GeneratedAnchorKey) -> Bool { match testgen_emit_coproduct_exhaustiveness_claim(anchor: anchor) { Accepted { value: DiagnosticClaim { label: _, anchor: GeneratedClaimAnchor { generated_anchor: GeneratedCoproductExhaustiveness { omitted_variant } }, input: _, expected_rejection: _, classification: _ }, diagnostics: _ } => @@ -129,7 +129,7 @@ fn witness_coproduct_exhaustiveness_variant_emits(anchor: GeneratedAnchorKey) -> } -// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate β€” dissolve-on-arrival: replace count+emit conjunction with structural variant-set membership check over scheduled generators once M2 fold reflection is available; forbidden: permanent count-only scheduling proof in generated corpus. +// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: gunbc#4762 (re-anchor of deleted TASKS.md T-19) β€” dissolve-on-arrival: replace count+emit conjunction with structural variant-set membership check over scheduled generators once M2 fold reflection is available; forbidden: permanent count-only scheduling proof in generated corpus. fn witness_testgen_schedules_all_coproduct_exhaustiveness_generators() -> Bool { length(xs: testgen_scheduled_coproduct_exhaustiveness_generators()) == 4 && witness_coproduct_exhaustiveness_all_testclaim_variants_emit() diff --git a/src/v4/test/claim/generated/testgen_category_wishlist.dag b/src/v4/test/claim/generated/testgen_category_wishlist.dag index 4d4642bfd28..69c345818b2 100644 --- a/src/v4/test/claim/generated/testgen_category_wishlist.dag +++ b/src/v4/test/claim/generated/testgen_category_wishlist.dag @@ -104,7 +104,7 @@ fn refinement_preservation_stub_generator_refined() -> Refined> { } } -// 🟑 gated β€” coproduct dissolution (docs/modeling-discipline.md Practice 4) β€” feature:t19-generator-oracle-basis-carrier β€” bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate β€” owner:T-19 testgen follow-up β€” dissolve-on-arrival: delete TestgenOracleBasis when each wishlist arm is replaced by its category-specific generated corpus and that corpus carries oracle basis through the concrete generator helper or emitted TestClaim shape; forbidden: permanent parallel oracle-category authority in the wishlist ledger. +// 🟑 gated β€” coproduct dissolution (docs/modeling-discipline.md Practice 4) β€” feature:t19-generator-oracle-basis-carrier β€” bound task: gunbc#4762 (re-anchor of deleted TASKS.md T-19) β€” owner:T-19 testgen follow-up β€” dissolve-on-arrival: delete TestgenOracleBasis when each wishlist arm is replaced by its category-specific generated corpus and that corpus carries oracle basis through the concrete generator helper or emitted TestClaim shape; forbidden: permanent parallel oracle-category authority in the wishlist ledger. type TestgenOracleBasis = StructuralConstructionWitness | AlgebraLawWitness diff --git a/src/v4/test/claim/grounding_typescript/sg_claims.dag b/src/v4/test/claim/grounding_typescript/sg_claims.dag index 9695875962c..494447b00fd 100644 --- a/src/v4/test/claim/grounding_typescript/sg_claims.dag +++ b/src/v4/test/claim/grounding_typescript/sg_claims.dag @@ -164,7 +164,7 @@ fn ts_g2_sg5_free_monoid_absence_evidence_targets_canonical_carrier() -> Bool { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 / +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) / // G.2 grounding_typescript run_test_claim roster β€” dissolve-on: T-22 claim runner evaluates // Outcome and lookup results directly without Accepted=>true / Rejected=>false Bool projection. fn ts_g2_sg1_atom_lookup_accepts(source_carrier: Node) -> Bool { diff --git a/src/v4/test/claim/manual/fact_density_anchor.dag b/src/v4/test/claim/manual/fact_density_anchor.dag index c5dfa5c7da1..3f533c831bc 100644 --- a/src/v4/test/claim/manual/fact_density_anchor.dag +++ b/src/v4/test/claim/manual/fact_density_anchor.dag @@ -1,7 +1,6 @@ // src/v4/test/claim/manual/fact_density_anchor.dag // Scope: T-30 v2-bootstrap compile anchor β€” exercises the fact-density lens read on a hollow alias, a fact-bundle carrier, and a kernel-ambient atom. // Status: scaffold β€” compile-only until T-22; lens read pinned in lens/fact_density.dag. -// Anchor: https://github.com/gunb-ai/gunbc/blob/main/src/v4/TASKS.md module v4.test.claim.manual.fact_density_anchor diff --git a/src/v4/test/claim/manual/go_mvp1_grammar_claim.dag b/src/v4/test/claim/manual/go_mvp1_grammar_claim.dag index 03f2938a4f3..2dec13cadba 100644 --- a/src/v4/test/claim/manual/go_mvp1_grammar_claim.dag +++ b/src/v4/test/claim/manual/go_mvp1_grammar_claim.dag @@ -41,7 +41,7 @@ fn go_claim_bool_atom(b: Bool) -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” // dissolve-on: T-22 claim runner evaluates Outcome fixtures directly without Bool projection. fn go_mvp1_grammar_validates_fixture() -> Bool { let at = port_locus(port: parse_stage_locus_port) @@ -51,7 +51,7 @@ fn go_mvp1_grammar_validates_fixture() -> Bool { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” // dissolve-on: T-22 claim runner evaluates Outcome directly without Bool projection. fn go_mvp1_grammar_parse_accepted() -> Bool { match go_mvp1_grammar_parse_fixture() { diff --git a/src/v4/test/claim/manual/infer_algebra_ref_grounding_anchor.dag b/src/v4/test/claim/manual/infer_algebra_ref_grounding_anchor.dag index d1d89cf4c43..0e044a514fe 100644 --- a/src/v4/test/claim/manual/infer_algebra_ref_grounding_anchor.dag +++ b/src/v4/test/claim/manual/infer_algebra_ref_grounding_anchor.dag @@ -1,7 +1,7 @@ // src/v4/test/claim/manual/infer_algebra_ref_grounding_anchor.dag // Scope: Option B behavior receipts β€” algebra_ref_is_grounded guard in canonical_grounding_from_inferred_facts. // Status: compile-only anchor; execution deferred to T-22 runner bridge. -// Anchor: TASKS.md T-4 Wave 2b β€” dissolves when constraint solver reads ModelCore.inhabitance. +// Anchor: gunbc#4760 (re-anchor of deleted TASKS.md T-4 Wave 2b) β€” dissolves when constraint solver reads ModelCore.inhabitance. module v4.test.claim.manual.infer_algebra_ref_grounding_anchor diff --git a/src/v4/test/claim/manual/kotlin_mvp1_grammar_claim.dag b/src/v4/test/claim/manual/kotlin_mvp1_grammar_claim.dag index 1e511f9f059..39960cc1ee5 100644 --- a/src/v4/test/claim/manual/kotlin_mvp1_grammar_claim.dag +++ b/src/v4/test/claim/manual/kotlin_mvp1_grammar_claim.dag @@ -40,7 +40,7 @@ fn kotlin_claim_bool_atom(b: Bool) -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” // dissolve-on: T-22 claim runner evaluates Outcome fixtures directly without Bool projection. fn kotlin_mvp1_grammar_validates_fixture() -> Bool { let at = port_locus(port: parse_stage_locus_port) @@ -50,7 +50,7 @@ fn kotlin_mvp1_grammar_validates_fixture() -> Bool { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” // dissolve-on: T-22 claim runner evaluates Outcome directly without Bool projection. fn kotlin_mvp1_grammar_parse_accepted() -> Bool { match kotlin_mvp1_grammar_parse_fixture() { diff --git a/src/v4/test/claim/manual/manual_corpus_roster.dag b/src/v4/test/claim/manual/manual_corpus_roster.dag index 66dc9c46fbd..04892d4f2dc 100644 --- a/src/v4/test/claim/manual/manual_corpus_roster.dag +++ b/src/v4/test/claim/manual/manual_corpus_roster.dag @@ -1,7 +1,7 @@ // src/v4/test/claim/manual/manual_corpus_roster.dag // Scope: T-38 manual TestClaim subject roster (RuntimeValue wedge). // Status: wedge β€” six rows; expand per-A. -// 🟑 gated β€” feature:t38-testclaim-corpus-eval β€” bind src/v4/TASKS.md T-38 β€” dissolve-on-arrival: item-registry reflection replaces explicit import roster when T-19 testclaim-coproduct-reflection lands. +// 🟑 gated β€” feature:t38-testclaim-corpus-eval β€” bind gunbc#4759 (re-anchor of deleted TASKS.md T-38) β€” dissolve-on-arrival: item-registry reflection replaces explicit import roster when T-19 testclaim-coproduct-reflection lands. module v4.test.claim.manual.manual_corpus_roster diff --git a/src/v4/test/claim/manual/mvp1_cpp_add_translate.dag b/src/v4/test/claim/manual/mvp1_cpp_add_translate.dag index f45b09f25e2..e530973117a 100644 --- a/src/v4/test/claim/manual/mvp1_cpp_add_translate.dag +++ b/src/v4/test/claim/manual/mvp1_cpp_add_translate.dag @@ -180,7 +180,7 @@ fn mvp1_cpp_canonical_grounding( } } -// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind TASKS.md T-10 β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. +// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 (re-anchor of deleted TASKS.md T-10) β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. fn mvp1_cpp_canonical_grounding_for(node: Node) -> Witness { if node == mvp1_cpp_emitted_root { Holds { @@ -327,7 +327,7 @@ data mvp1_cpp_emit_receipt: Outcome = anchor_mvp1_cpp_emit_accepts data mvp1_cpp_compile_inferred_receipt: Outcome = anchor_mvp1_cpp_compile_inferred_accepts() -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project emit Outcome to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_cpp_emit_claim_outcome() -> Outcome { match mvp1_cpp_emit_receipt { @@ -349,7 +349,7 @@ fn mvp1_cpp_emit_claim_outcome() -> Outcome { } } -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project compile Output to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_cpp_compile_inferred_claim_outcome() -> Outcome { match mvp1_cpp_compile_inferred_receipt { @@ -401,7 +401,7 @@ data claim_mvp1_cpp_compile_inferred_add_fn_accepts: TestClaim = CompilesClaim { } // T-22 TestClaimRun receipt β€” structural assert over projected emit Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_cpp_emit_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_cpp_emit_add_fn_accepts, context: infer_receipt_context(), @@ -422,7 +422,7 @@ data run_mvp1_cpp_emit_add_fn_accepts: TestClaimRun = TestClaimRun { } // T-22 TestClaimRun receipt β€” structural assert over projected compile Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_cpp_compile_inferred_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_cpp_compile_inferred_add_fn_accepts, context: infer_receipt_context(), diff --git a/src/v4/test/claim/manual/mvp1_go_add_translate.dag b/src/v4/test/claim/manual/mvp1_go_add_translate.dag index ed611ea667d..eeebd378316 100644 --- a/src/v4/test/claim/manual/mvp1_go_add_translate.dag +++ b/src/v4/test/claim/manual/mvp1_go_add_translate.dag @@ -171,7 +171,7 @@ fn mvp1_go_canonical_grounding( } } -// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind TASKS.md T-10 β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. +// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 (re-anchor of deleted TASKS.md T-10) β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. fn mvp1_go_canonical_grounding_for(node: Node) -> Witness { if node == mvp1_go_emitted_root { Holds { @@ -327,7 +327,7 @@ fn mvp1_go_emit_add_fn_accepts_holds() -> Bool { data mvp1_go_compile_inferred_receipt: Outcome = anchor_mvp1_go_compile_inferred_accepts() -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project emit Outcome to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_go_emit_claim_outcome() -> Outcome { match mvp1_go_emit_receipt { @@ -349,7 +349,7 @@ fn mvp1_go_emit_claim_outcome() -> Outcome { } } -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project compile Output to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_go_compile_inferred_claim_outcome() -> Outcome { match mvp1_go_compile_inferred_receipt { @@ -401,7 +401,7 @@ data claim_mvp1_go_compile_inferred_add_fn_accepts: TestClaim = CompilesClaim { } // T-22 TestClaimRun receipt β€” structural assert over projected emit Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_go_emit_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_go_emit_add_fn_accepts, context: infer_receipt_context(), @@ -422,7 +422,7 @@ data run_mvp1_go_emit_add_fn_accepts: TestClaimRun = TestClaimRun { } // T-22 TestClaimRun receipt β€” structural assert over projected compile Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_go_compile_inferred_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_go_compile_inferred_add_fn_accepts, context: infer_receipt_context(), diff --git a/src/v4/test/claim/manual/mvp1_python_add_translate.dag b/src/v4/test/claim/manual/mvp1_python_add_translate.dag index daff403173e..496f7795e29 100644 --- a/src/v4/test/claim/manual/mvp1_python_add_translate.dag +++ b/src/v4/test/claim/manual/mvp1_python_add_translate.dag @@ -164,7 +164,7 @@ fn mvp1_python_canonical_grounding( } } -// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind TASKS.md T-10 β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. +// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 (re-anchor of deleted TASKS.md T-10) β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. fn mvp1_python_canonical_grounding_for(node: Node) -> Witness { if node == mvp1_python_emitted_root { Holds { @@ -278,7 +278,7 @@ fn mvp1_python_emit_add_fn_accepts_holds() -> Bool { data mvp1_python_compile_inferred_receipt: Outcome = anchor_mvp1_python_compile_inferred_accepts() -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project emit Outcome to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_python_emit_claim_outcome() -> Outcome { match mvp1_python_emit_receipt { @@ -300,7 +300,7 @@ fn mvp1_python_emit_claim_outcome() -> Outcome { } } -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project compile Output to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_python_compile_inferred_claim_outcome() -> Outcome { match mvp1_python_compile_inferred_receipt { @@ -352,7 +352,7 @@ data claim_mvp1_python_compile_inferred_add_fn_accepts: TestClaim = CompilesClai } // T-22 TestClaimRun receipt β€” structural assert over projected emit Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_python_emit_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_python_emit_add_fn_accepts, context: infer_receipt_context(), @@ -373,7 +373,7 @@ data run_mvp1_python_emit_add_fn_accepts: TestClaimRun = TestClaimRu } // T-22 TestClaimRun receipt β€” structural assert over projected compile Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_python_compile_inferred_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_python_compile_inferred_add_fn_accepts, context: infer_receipt_context(), diff --git a/src/v4/test/claim/manual/mvp1_rust_add_translate.dag b/src/v4/test/claim/manual/mvp1_rust_add_translate.dag index 3504e64964f..3416e399be3 100644 --- a/src/v4/test/claim/manual/mvp1_rust_add_translate.dag +++ b/src/v4/test/claim/manual/mvp1_rust_add_translate.dag @@ -195,7 +195,7 @@ fn mvp1_rust_canonical_grounding( } // Per-node canonical grounding derived from rust_facts_i32 / inhabitant constructors (no Atomβ†’i32 fabrication). -// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind TASKS.md T-10 (Tracked scaffolds) β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding; forbidden: generic algebra-evidence assignment across unrelated Atoms. +// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 (re-anchor of deleted TASKS.md T-10) (Tracked scaffolds) β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding; forbidden: generic algebra-evidence assignment across unrelated Atoms. fn mvp1_rust_canonical_grounding_for(node: Node) -> Witness { if node == rust_mvp1_fixture_emitted_add_fn { Holds { @@ -387,7 +387,7 @@ fn mvp1_rust_emit_add_fn_accepts_holds() -> Bool { // The target model intentionally poisons authority_source_text so a fallback read cannot pass. data mvp1_compile_inferred_receipt: Outcome = anchor_mvp1_compile_inferred_accepts() -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project emit Outcome to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_emit_claim_outcome() -> Outcome { match mvp1_emit_receipt { @@ -409,7 +409,7 @@ fn mvp1_emit_claim_outcome() -> Outcome { } } -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project compile Output to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_compile_inferred_claim_outcome() -> Outcome { match mvp1_compile_inferred_receipt { @@ -502,7 +502,7 @@ data claim_mvp1_coerce_grounded_node_exact_structural_accepts: TestClaim = Compi } // T-22 TestClaimRun receipt β€” structural assert over projected emit Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_emit_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_emit_add_fn_accepts, context: infer_receipt_context(), @@ -542,7 +542,7 @@ data run_mvp1_coerce_grounded_node_exact_structural_accepts: TestClaimRun via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_compile_inferred_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_compile_inferred_add_fn_accepts, context: infer_receipt_context(), diff --git a/src/v4/test/claim/manual/mvp1_typescript_add_translate.dag b/src/v4/test/claim/manual/mvp1_typescript_add_translate.dag index b3c2b0eb5a7..0e8a6b3a169 100644 --- a/src/v4/test/claim/manual/mvp1_typescript_add_translate.dag +++ b/src/v4/test/claim/manual/mvp1_typescript_add_translate.dag @@ -169,7 +169,7 @@ fn mvp1_ts_canonical_grounding( } } -// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind TASKS.md T-10 β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. +// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 (re-anchor of deleted TASKS.md T-10) β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. fn mvp1_ts_canonical_grounding_for(node: Node) -> Witness { if node == mvp1_ts_emitted_root { Holds { @@ -318,7 +318,7 @@ fn mvp1_ts_emit_add_fn_accepts_holds() -> Bool { data mvp1_ts_compile_inferred_receipt: Outcome = anchor_mvp1_ts_compile_inferred_accepts() -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project emit Outcome to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_ts_emit_claim_outcome() -> Outcome { match mvp1_ts_emit_receipt { @@ -340,7 +340,7 @@ fn mvp1_ts_emit_claim_outcome() -> Outcome { } } -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project compile Output to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_ts_compile_inferred_claim_outcome() -> Outcome { match mvp1_ts_compile_inferred_receipt { @@ -392,7 +392,7 @@ data claim_mvp1_ts_compile_inferred_add_fn_accepts: TestClaim = CompilesClaim { } // T-22 TestClaimRun receipt β€” structural assert over projected emit Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_ts_emit_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_ts_emit_add_fn_accepts, context: infer_receipt_context(), @@ -413,7 +413,7 @@ data run_mvp1_ts_emit_add_fn_accepts: TestClaimRun = TestClaimRun { } // T-22 TestClaimRun receipt β€” structural assert over projected compile Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind TASKS.md T-22 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_ts_compile_inferred_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_ts_compile_inferred_add_fn_accepts, context: infer_receipt_context(), diff --git a/src/v4/test/claim/manual/python_mvp1_grammar_claim.dag b/src/v4/test/claim/manual/python_mvp1_grammar_claim.dag index 9a202928c55..2d331e29358 100644 --- a/src/v4/test/claim/manual/python_mvp1_grammar_claim.dag +++ b/src/v4/test/claim/manual/python_mvp1_grammar_claim.dag @@ -39,7 +39,7 @@ fn python_claim_bool_atom(b: Bool) -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” // dissolve-on: T-22 claim runner evaluates Outcome fixtures directly without Bool projection. fn python_mvp1_grammar_validates_fixture() -> Bool { let at = port_locus(port: parse_stage_locus_port) @@ -49,7 +49,7 @@ fn python_mvp1_grammar_validates_fixture() -> Bool { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” // dissolve-on: T-22 claim runner evaluates Outcome directly without Bool projection. fn python_mvp1_grammar_parse_accepted() -> Bool { match python_mvp1_grammar_parse_fixture() { diff --git a/src/v4/test/claim/parse/go_wave2a.dag b/src/v4/test/claim/parse/go_wave2a.dag index 822af36ec4f..ef147a4b6a1 100644 --- a/src/v4/test/claim/parse/go_wave2a.dag +++ b/src/v4/test/claim/parse/go_wave2a.dag @@ -31,7 +31,7 @@ fn go_wave2a_bool_atom(b: Bool) -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” // dissolve-on: T-22 claim runner evaluates Outcome directly without Bool projection. fn go_wave2a_parse_accepted(out: Outcome) -> Bool { match out { diff --git a/src/v4/test/claim/parse/lean_wave2a.dag b/src/v4/test/claim/parse/lean_wave2a.dag index 8bd30e38cf2..24a076cf704 100644 --- a/src/v4/test/claim/parse/lean_wave2a.dag +++ b/src/v4/test/claim/parse/lean_wave2a.dag @@ -35,7 +35,7 @@ fn lean_wave2a_bool_atom(b: Bool) -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” // dissolve-on: T-22 claim runner evaluates Outcome directly without Bool projection. fn lean_wave2a_parse_accepted(out: Outcome) -> Bool { match out { diff --git a/src/v4/test/claim/parse/python_wave2a.dag b/src/v4/test/claim/parse/python_wave2a.dag index a2d002c879c..b99e55464ca 100644 --- a/src/v4/test/claim/parse/python_wave2a.dag +++ b/src/v4/test/claim/parse/python_wave2a.dag @@ -34,7 +34,7 @@ fn python_wave2a_bool_atom(b: Bool) -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind TASKS.md T-22 β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” // dissolve-on: T-22 claim runner evaluates Outcome directly without Bool projection. fn python_wave2a_parse_accepted(out: Outcome) -> Bool { match out { diff --git a/src/v4/test/claim/round_trip/dag_ingest_round_trip.dag b/src/v4/test/claim/round_trip/dag_ingest_round_trip.dag index 133f6ddfe31..390d05c55a5 100644 --- a/src/v4/test/claim/round_trip/dag_ingest_round_trip.dag +++ b/src/v4/test/claim/round_trip/dag_ingest_round_trip.dag @@ -5,7 +5,7 @@ // Fixture: src/v4/test/fixture/dag_round_trip_mvp1.dag (committed wave-1 surface program). // Normalization budget: C5 trivia normalization from dag.dag only β€” whitespace and comments are // DeclaredNormalized (TriviaRule-stripped); all other surface features are Modeled (lossless). -// Anchor: src/v4/TASKS.md Β§T-36; THESIS Β§B2-OMNI ingest=emit⁻¹ (C5). +// Anchor: THESIS Β§B2-OMNI ingest=emit⁻¹ (C5); readiness tracking: gunbc#4763 (former TASKS.md Β§T-36). module v4.test.claim.round_trip.dag_ingest_round_trip diff --git a/src/v4/test/claim/workflow/manual_corpus_eval.dag b/src/v4/test/claim/workflow/manual_corpus_eval.dag index 57993e30865..6358cd9b21b 100644 --- a/src/v4/test/claim/workflow/manual_corpus_eval.dag +++ b/src/v4/test/claim/workflow/manual_corpus_eval.dag @@ -4,7 +4,7 @@ // (branch_dispatch_rung8_eval.dag) so the CI host transport surfaces a modeled per-row verdict // tally instead of an opaque blocked_m1_subset string. // Status: T-22 eval β†’ TestClaimRun β†’ CorpusEvalReport β†’ VerdictTally (authoring-time witness). -// 🟑 gated β€” feature:t38-testclaim-corpus-eval β€” bind src/v4/TASKS.md T-38 + +// 🟑 gated β€” feature:t38-testclaim-corpus-eval β€” bind gunbc#4765 (re-anchor of deleted TASKS.md T-38) + // docs/planning/v4-p5-structural-bridge-replacement-worksheet-2026-05-30.md Β§1.4. The runner now // evaluates each manual subject row through `run_test_claim`; this file gates the resulting // CorpusEvalReport with zero Fail and zero Deferred. diff --git a/src/v4/test/claim/workflow/testclaim_corpus_runner.dag b/src/v4/test/claim/workflow/testclaim_corpus_runner.dag index a1c70427ad9..b04001be440 100644 --- a/src/v4/test/claim/workflow/testclaim_corpus_runner.dag +++ b/src/v4/test/claim/workflow/testclaim_corpus_runner.dag @@ -1,7 +1,7 @@ // src/v4/test/claim/workflow/testclaim_corpus_runner.dag // Scope: T-38 modeled corpus-level TestClaim runner over manual roster. // Status: wedge β€” evaluate manual_corpus_node_subject_rows into CorpusEvalReport. -// 🟑 gated β€” feature:t38-testclaim-corpus-eval β€” bind src/v4/TASKS.md T-38 + docs/planning/v4-p5-structural-bridge-replacement-worksheet-2026-05-30.md Β§1.4 β€” CI host transport is scripts/v4-testclaim-corpus-eval.sh under positive-Y `ci_upsert_testclaim_corpus_eval_*`. T-38-PR2: the runner maps each manual subject row through `run_test_claim`; manual_corpus_eval_expected.dag pins per-row verdict+reason for the drift gate. +// 🟑 gated β€” feature:t38-testclaim-corpus-eval β€” bind gunbc#4765 (re-anchor of deleted TASKS.md T-38) + docs/planning/v4-p5-structural-bridge-replacement-worksheet-2026-05-30.md Β§1.4 β€” CI host transport is scripts/v4-testclaim-corpus-eval.sh under positive-Y `ci_upsert_testclaim_corpus_eval_*`. T-38-PR2: the runner maps each manual subject row through `run_test_claim`; manual_corpus_eval_expected.dag pins per-row verdict+reason for the drift gate. module v4.test.claim.workflow.testclaim_corpus_runner From ff830222c74df2620e84449f56a4c4d48ae748bd Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Fri, 12 Jun 2026 17:59:43 +0000 Subject: [PATCH 2/3] chore: apply cargo fmt to closeout test assert Co-Authored-By: Claude Fable 5 --- .../integration/v4_test_bootstrap_infra_closeout_test.rs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/v3/compiler/tests/integration/v4_test_bootstrap_infra_closeout_test.rs b/src/v3/compiler/tests/integration/v4_test_bootstrap_infra_closeout_test.rs index 887f39e5703..1613f0d87bf 100644 --- a/src/v3/compiler/tests/integration/v4_test_bootstrap_infra_closeout_test.rs +++ b/src/v3/compiler/tests/integration/v4_test_bootstrap_infra_closeout_test.rs @@ -178,11 +178,9 @@ fn t19_non_tautological_generator_wishlist_parse_and_pins_dispatch_rows() { assert!( TESTGEN_WISHLIST_DAG.contains("type TestgenOracleBasis") + && TESTGEN_WISHLIST_DAG.contains("feature:t19-generator-oracle-basis-carrier") && TESTGEN_WISHLIST_DAG - .contains("feature:t19-generator-oracle-basis-carrier") - && TESTGEN_WISHLIST_DAG.contains( - "bound task: gunbc#4762 (re-anchor of deleted TASKS.md T-19)", - ) + .contains("bound task: gunbc#4762 (re-anchor of deleted TASKS.md T-19)",) && TESTGEN_WISHLIST_DAG.contains("dissolve-on-arrival: delete TestgenOracleBasis") && TESTGEN_WISHLIST_DAG.contains("StructuralConstructionWitness") && TESTGEN_WISHLIST_DAG.contains("AlgebraLawWitness") From e791e43034525c82ed211fd58c5ba272dd13034f Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Fri, 12 Jun 2026 18:11:46 +0000 Subject: [PATCH 3/3] =?UTF-8?q?F1a:=20drop=20historical=20'(re-anchor=20of?= =?UTF-8?q?=20deleted=20TASKS.md=20=E2=80=A6)'=20parentheticals=20per=20op?= =?UTF-8?q?erator;=20coupled=20wishlist=20literal=20(line=20184)=20updated?= =?UTF-8?q?=20in=20step?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Fable 5 --- src/v3/compiler/src/v4_hollow_alias_gate.rs | 2 +- src/v3/compiler/tests/integration/sg0_census_test.rs | 4 ++-- .../tests/integration/v4_emit_host_harness_test.rs | 4 ++-- .../v4_t15_self_host_fixed_point_harness_test.rs | 2 +- .../v4_test_bootstrap_infra_closeout_test.rs | 3 +-- .../test/claim/boundary/english_ingest_fail_closed.dag | 2 +- src/v4/test/claim/claim_pipeline/infer.dag | 2 +- src/v4/test/claim/claim_pipeline/normalize.dag | 2 +- src/v4/test/claim/claim_pipeline/resolve.dag | 2 +- src/v4/test/claim/claim_pipeline/translate.dag | 2 +- .../test/claim/generated/algebra_law_conformance.dag | 2 +- .../test/claim/generated/coproduct_exhaustiveness.dag | 8 ++++---- .../test/claim/generated/testgen_category_wishlist.dag | 2 +- src/v4/test/claim/grounding_typescript/sg_claims.dag | 2 +- src/v4/test/claim/manual/go_mvp1_grammar_claim.dag | 4 ++-- .../manual/infer_algebra_ref_grounding_anchor.dag | 2 +- src/v4/test/claim/manual/kotlin_mvp1_grammar_claim.dag | 4 ++-- src/v4/test/claim/manual/manual_corpus_roster.dag | 2 +- src/v4/test/claim/manual/mvp1_cpp_add_translate.dag | 10 +++++----- src/v4/test/claim/manual/mvp1_go_add_translate.dag | 10 +++++----- src/v4/test/claim/manual/mvp1_python_add_translate.dag | 10 +++++----- src/v4/test/claim/manual/mvp1_rust_add_translate.dag | 10 +++++----- .../claim/manual/mvp1_typescript_add_translate.dag | 10 +++++----- src/v4/test/claim/manual/python_mvp1_grammar_claim.dag | 4 ++-- src/v4/test/claim/parse/go_wave2a.dag | 2 +- src/v4/test/claim/parse/lean_wave2a.dag | 2 +- src/v4/test/claim/parse/python_wave2a.dag | 2 +- src/v4/test/claim/round_trip/dag_ingest_round_trip.dag | 2 +- src/v4/test/claim/workflow/manual_corpus_eval.dag | 2 +- src/v4/test/claim/workflow/testclaim_corpus_runner.dag | 2 +- 30 files changed, 58 insertions(+), 59 deletions(-) diff --git a/src/v3/compiler/src/v4_hollow_alias_gate.rs b/src/v3/compiler/src/v4_hollow_alias_gate.rs index 2e64730c131..8e474e82c4c 100644 --- a/src/v3/compiler/src/v4_hollow_alias_gate.rs +++ b/src/v3/compiler/src/v4_hollow_alias_gate.rs @@ -13,7 +13,7 @@ //! this file is **staging** until a **generated** `.dag` consumer reads it β€” it is **not** //! a landed substrate primitive; this Rust module is the **interim authority** for the //! Practice-8 hollow predicate. **Dissolution / richer `Node` payload:** same **T-30** bundle as -//! `INVARIANTS.md` Β§P5(b) on this path β€” former `src/v4/TASKS.md` T-30 interim mirror paragraph (ledger deleted) + +//! `INVARIANTS.md` Β§P5(b) on this path + //! **`src/v4/DECISIONS.md`** T-30 `fact_density.dag` encoding note (generated `.dag` gate / bootstrap //! bridge), not a separate prose-only trigger. //! M1(2.8) rejects block-bodied `.dag` functions that walk `Node` with `match` in the diff --git a/src/v3/compiler/tests/integration/sg0_census_test.rs b/src/v3/compiler/tests/integration/sg0_census_test.rs index 3319b6f860f..c988fc62a2c 100644 --- a/src/v3/compiler/tests/integration/sg0_census_test.rs +++ b/src/v3/compiler/tests/integration/sg0_census_test.rs @@ -498,7 +498,7 @@ const EXPECTED_HAND_AUTHORED_TEST: &[&str] = &[ // // **P5 receipt (INVARIANTS.md Β§P5 β€” SG-0 `EXPECTED_HAND_AUTHORED_TEST`):** explicit // deferral to **ROADMAP.md** `### Nine lanes` row **T-PB-B** / - // `pb_rust_tests_outside_residual_zero` + gunbc#4757/gunbc#4765 (re-anchor of deleted TASKS.md T-22/T-38; Runtime/TestClaim + // `pb_rust_tests_outside_residual_zero` + gunbc#4757/gunbc#4765 (Runtime/TestClaim // verdict surface; interim host runner `scripts/v4-leaf-model-rust-r1-verify.sh`). // Dissolution: delete when modeled runner exercises // `src/v4/test/claim/language_model/rust_r1.dag` without this hand-Rust bridge. @@ -512,7 +512,7 @@ const EXPECTED_HAND_AUTHORED_TEST: &[&str] = &[ // // **P5 receipt (INVARIANTS.md Β§P5 β€” SG-0 `EXPECTED_HAND_AUTHORED_TEST`):** explicit // deferral to **ROADMAP.md** `### Nine lanes` row **T-PB-B** / - // `pb_rust_tests_outside_residual_zero` + gunbc#4757/gunbc#4765 (re-anchor of deleted TASKS.md T-22/T-38; Runtime/TestClaim + // `pb_rust_tests_outside_residual_zero` + gunbc#4757/gunbc#4765 (Runtime/TestClaim // verdict surface; interim host runner `scripts/v4-leaf-model-rust-r3-internal-verify.sh`). // Dissolution: delete when modeled runner exercises // `RustEmitProjectionEqualityExpectation` without this hand-Rust bridge. diff --git a/src/v3/compiler/tests/integration/v4_emit_host_harness_test.rs b/src/v3/compiler/tests/integration/v4_emit_host_harness_test.rs index 854b5fa52fa..b3bdfe4c323 100644 --- a/src/v3/compiler/tests/integration/v4_emit_host_harness_test.rs +++ b/src/v3/compiler/tests/integration/v4_emit_host_harness_test.rs @@ -5,7 +5,7 @@ //! `nat_semiring_rung34_eval.dag`) + executable boundary `tools/emit_host_runner`. //! //! **ROADMAP:** `ROADMAP.md` Β§ **Nine lanes** row **T-PB-B** / `pb_rust_tests_outside_residual_zero`; -//! gunbc#4765 (re-anchor of deleted TASKS.md T-38) / rung-4 host receipt path. +//! gunbc#4765 / rung-4 host receipt path. //! //! **PR receipt (P5 Mechanism (b)):** this harness + matching `EXPECTED_HAND_AUTHORED_TEST` //! line in `sg0_census_test.rs` land in the same PR. **This PR (+1 census path):** @@ -40,7 +40,7 @@ //! deferral remains T-PB-B / T-22: retire this host parse-surface probe when `.dag` TestClaim //! execution or a generated harness owns the L1 Python runtime fixture coverage roster. //! Substrate rows stay `Deferred` until T-22 dispatch. Dissolution: **ROADMAP.md** T-PB-B / -//! gunbc#4757/gunbc#4765 (re-anchor of deleted TASKS.md T-22/T-38); delete these hand-authored per-target snippets when generated +//! gunbc#4757/gunbc#4765; delete these hand-authored per-target snippets when generated //! `TestClaimRun` host transport materializes the six rung-5 law subjects for Rust/Python/Go. //! //! **TESTING.md:** substrate `.dag` models receipt assembly; behavior tests exercise diff --git a/src/v3/compiler/tests/integration/v4_t15_self_host_fixed_point_harness_test.rs b/src/v3/compiler/tests/integration/v4_t15_self_host_fixed_point_harness_test.rs index 9a082a41644..a71811c715c 100644 --- a/src/v3/compiler/tests/integration/v4_t15_self_host_fixed_point_harness_test.rs +++ b/src/v3/compiler/tests/integration/v4_t15_self_host_fixed_point_harness_test.rs @@ -1,5 +1,5 @@ //! **T-15** bin/main.dag execution + self-host fixed-point validation harness -//! (former TASKS.md Β§T-15 β€” ledger deleted; operator-directive 2026-05-29). +//! (operator-directive 2026-05-29). //! //! Fixed-point bar: **stage1 emitted == stage2 emitted** (`FixptStage1Stage2` in //! `workflow/bootstrap.dag`), **not** stage0==stage1 (stage0 is v2-emission-style). diff --git a/src/v3/compiler/tests/integration/v4_test_bootstrap_infra_closeout_test.rs b/src/v3/compiler/tests/integration/v4_test_bootstrap_infra_closeout_test.rs index 1613f0d87bf..e0f5bc8ea18 100644 --- a/src/v3/compiler/tests/integration/v4_test_bootstrap_infra_closeout_test.rs +++ b/src/v3/compiler/tests/integration/v4_test_bootstrap_infra_closeout_test.rs @@ -179,8 +179,7 @@ fn t19_non_tautological_generator_wishlist_parse_and_pins_dispatch_rows() { assert!( TESTGEN_WISHLIST_DAG.contains("type TestgenOracleBasis") && TESTGEN_WISHLIST_DAG.contains("feature:t19-generator-oracle-basis-carrier") - && TESTGEN_WISHLIST_DAG - .contains("bound task: gunbc#4762 (re-anchor of deleted TASKS.md T-19)",) + && TESTGEN_WISHLIST_DAG.contains("bound task: gunbc#4762",) && TESTGEN_WISHLIST_DAG.contains("dissolve-on-arrival: delete TestgenOracleBasis") && TESTGEN_WISHLIST_DAG.contains("StructuralConstructionWitness") && TESTGEN_WISHLIST_DAG.contains("AlgebraLawWitness") diff --git a/src/v4/test/claim/boundary/english_ingest_fail_closed.dag b/src/v4/test/claim/boundary/english_ingest_fail_closed.dag index 41491f0f59c..d0d6eb88ed4 100644 --- a/src/v4/test/claim/boundary/english_ingest_fail_closed.dag +++ b/src/v4/test/claim/boundary/english_ingest_fail_closed.dag @@ -16,7 +16,7 @@ // Prerequisites (sequencing β€” NOT parallel to an unfilled verification // scaffold): concrete TestClaim payloads in this file bind // to the closed schema in std/verification.dag. That file is T-3 -// follow-on work (needs algebra + diagnostic first; former TASKS.md T-3 ordering β€” ledger deleted). +// follow-on work (needs algebra + diagnostic first). // English (T-4.11) is intentionally sequenced *behind* verification.dag // fill β€” cite verification.dag as schema authority only after T-3 lands // it; do not list it as peer "Consumes" substrate while the scaffold is diff --git a/src/v4/test/claim/claim_pipeline/infer.dag b/src/v4/test/claim/claim_pipeline/infer.dag index ce48bef2957..830e6c75899 100644 --- a/src/v4/test/claim/claim_pipeline/infer.dag +++ b/src/v4/test/claim/claim_pipeline/infer.dag @@ -27,7 +27,7 @@ data spine_infer_module_subject: Node = Node { children: [], occurrence_id: SyntheticOccurrence } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) / G.3.5 spine harness β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 / G.3.5 spine harness β€” // dissolve-on: T-22 claim runner evaluates infer Outcome directly without Bool projection. fn spine_infer_accepts_mvp_resolved_tree() -> Bool { match infer(tree: fixture_add_resolved_tree()) { diff --git a/src/v4/test/claim/claim_pipeline/normalize.dag b/src/v4/test/claim/claim_pipeline/normalize.dag index 6b245c5d645..e74f7706f4f 100644 --- a/src/v4/test/claim/claim_pipeline/normalize.dag +++ b/src/v4/test/claim/claim_pipeline/normalize.dag @@ -52,7 +52,7 @@ fn spine_normalize_service_parse_tree() -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) / G.3.5 spine harness β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 / G.3.5 spine harness β€” // dissolve-on: T-22 claim runner evaluates normalize Outcome directly without Bool projection. fn spine_normalize_accepts_well_formed_sugar() -> Bool { match normalize(parse_tree: spine_normalize_service_parse_tree()) { diff --git a/src/v4/test/claim/claim_pipeline/resolve.dag b/src/v4/test/claim/claim_pipeline/resolve.dag index e1fc2a37cc4..e97234d02c3 100644 --- a/src/v4/test/claim/claim_pipeline/resolve.dag +++ b/src/v4/test/claim/claim_pipeline/resolve.dag @@ -46,7 +46,7 @@ fn spine_resolve_service_parse_tree() -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) / G.3.5 spine harness β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 / G.3.5 spine harness β€” // dissolve-on: T-22 claim runner evaluates normalizeβ†’resolve Outcome chain directly without Bool projection. fn spine_resolve_accepts_normalized_tree() -> Bool { match normalize(parse_tree: spine_resolve_service_parse_tree()) { diff --git a/src/v4/test/claim/claim_pipeline/translate.dag b/src/v4/test/claim/claim_pipeline/translate.dag index 58e84da2ebe..1260310f737 100644 --- a/src/v4/test/claim/claim_pipeline/translate.dag +++ b/src/v4/test/claim/claim_pipeline/translate.dag @@ -28,7 +28,7 @@ data spine_translate_module_subject: Node = Node { children: [], occurrence_id: SyntheticOccurrence } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) / G.3.5 spine harness β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 / G.3.5 spine harness β€” // dissolve-on: T-22 claim runner evaluates translate Outcome directly without Bool projection. fn spine_translate_accepts_mvp1_inferred_tree() -> Bool { match translate(tree: mvp1_rust_inferred_tree, target: rust_mvp1_target_model()) { diff --git a/src/v4/test/claim/generated/algebra_law_conformance.dag b/src/v4/test/claim/generated/algebra_law_conformance.dag index 080d218fce6..7169f96bbc4 100644 --- a/src/v4/test/claim/generated/algebra_law_conformance.dag +++ b/src/v4/test/claim/generated/algebra_law_conformance.dag @@ -29,7 +29,7 @@ import v4.std.verification { Unit } import v4.std.diagnostic { Outcome } -// 🟑 gated β€” feature:t19-nat-expression-node-encoding β€” bound task: gunbc#4759 (re-anchor of deleted TASKS.md T-19) β€” dissolve-on-arrival: replace these local expression-shape tags with a canonical Nat-expression Node encoder that reflects function application identity directly; forbidden: exporting per-operation/per-value mirror symbols from v4.std.nat. +// 🟑 gated β€” feature:t19-nat-expression-node-encoding β€” bound task: gunbc#4759 β€” dissolve-on-arrival: replace these local expression-shape tags with a canonical Nat-expression Node encoder that reflects function application identity directly; forbidden: exporting per-operation/per-value mirror symbols from v4.std.nat. fn algebra_law_generated_atom(s: Symbol) -> Node { Node { kind: TypeNode { connective: Atom { identity: s } }, children: [], occurrence_id: SyntheticOccurrence diff --git a/src/v4/test/claim/generated/coproduct_exhaustiveness.dag b/src/v4/test/claim/generated/coproduct_exhaustiveness.dag index c3426029b22..ca6a9527218 100644 --- a/src/v4/test/claim/generated/coproduct_exhaustiveness.dag +++ b/src/v4/test/claim/generated/coproduct_exhaustiveness.dag @@ -50,7 +50,7 @@ fn generated_coproduct_exhaustiveness_input() -> Outcome { } -// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: gunbc#4759 (re-anchor of deleted TASKS.md T-19) β€” dissolve-on-arrival: generated corpus replaces this hand-rolled DiagnosticClaim arm check with canonical TestClaim variant reflection; forbidden: permanent hand-enumerated TestClaim arm discriminant in generated corpus. +// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: gunbc#4759 β€” dissolve-on-arrival: generated corpus replaces this hand-rolled DiagnosticClaim arm check with canonical TestClaim variant reflection; forbidden: permanent hand-enumerated TestClaim arm discriminant in generated corpus. fn witness_coproduct_exhaustiveness_claim_is_diagnostic() -> Bool { match generated_coproduct_exhaustiveness_claim() { Accepted { value: DiagnosticClaim { label: _, anchor: GeneratedClaimAnchor { generated_anchor: GeneratedCoproductExhaustiveness { omitted_variant: _ } }, input: _, expected_rejection: _, classification: _ }, diagnostics: _ } => true @@ -60,7 +60,7 @@ fn witness_coproduct_exhaustiveness_claim_is_diagnostic() -> Bool { } -// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: gunbc#4759 (re-anchor of deleted TASKS.md T-19) β€” dissolve-on-arrival: generated corpus replaces this hand-matched GeneratedClaimAnchor arm check with canonical anchor-type projection; forbidden: permanent hand-rolled anchor-variant discriminant in generated corpus. +// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: gunbc#4759 β€” dissolve-on-arrival: generated corpus replaces this hand-matched GeneratedClaimAnchor arm check with canonical anchor-type projection; forbidden: permanent hand-rolled anchor-variant discriminant in generated corpus. fn witness_coproduct_exhaustiveness_generated_anchor() -> Bool { match generated_coproduct_exhaustiveness_claim() { Accepted { value: claim, diagnostics: _ } => @@ -89,7 +89,7 @@ fn witness_coproduct_exhaustiveness_all_testclaim_variants_emit() -> Bool { } -// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: gunbc#4759 (re-anchor of deleted TASKS.md T-19) β€” dissolve-on-arrival: generated corpus replaces this four-arm hand-enumerated TestClaimCoproductVariant equality check with canonical variant-key reflection; forbidden: permanent hand-rolled arm-identity match over TestClaimCoproductVariant in generated corpus. +// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: gunbc#4759 β€” dissolve-on-arrival: generated corpus replaces this four-arm hand-enumerated TestClaimCoproductVariant equality check with canonical variant-key reflection; forbidden: permanent hand-rolled arm-identity match over TestClaimCoproductVariant in generated corpus. fn witness_coproduct_exhaustiveness_variant_emits(anchor: GeneratedAnchorKey) -> Bool { match testgen_emit_coproduct_exhaustiveness_claim(anchor: anchor) { Accepted { value: DiagnosticClaim { label: _, anchor: GeneratedClaimAnchor { generated_anchor: GeneratedCoproductExhaustiveness { omitted_variant } }, input: _, expected_rejection: _, classification: _ }, diagnostics: _ } => @@ -129,7 +129,7 @@ fn witness_coproduct_exhaustiveness_variant_emits(anchor: GeneratedAnchorKey) -> } -// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: gunbc#4762 (re-anchor of deleted TASKS.md T-19) β€” dissolve-on-arrival: replace count+emit conjunction with structural variant-set membership check over scheduled generators once M2 fold reflection is available; forbidden: permanent count-only scheduling proof in generated corpus. +// 🟑 gated β€” predicate-dissolution interim (docs/modeling-discipline.md Practice 10) β€” feature: t19-coproduct-exhaustiveness-codegen β€” bound task: gunbc#4762 β€” dissolve-on-arrival: replace count+emit conjunction with structural variant-set membership check over scheduled generators once M2 fold reflection is available; forbidden: permanent count-only scheduling proof in generated corpus. fn witness_testgen_schedules_all_coproduct_exhaustiveness_generators() -> Bool { length(xs: testgen_scheduled_coproduct_exhaustiveness_generators()) == 4 && witness_coproduct_exhaustiveness_all_testclaim_variants_emit() diff --git a/src/v4/test/claim/generated/testgen_category_wishlist.dag b/src/v4/test/claim/generated/testgen_category_wishlist.dag index 69c345818b2..eff43133e43 100644 --- a/src/v4/test/claim/generated/testgen_category_wishlist.dag +++ b/src/v4/test/claim/generated/testgen_category_wishlist.dag @@ -104,7 +104,7 @@ fn refinement_preservation_stub_generator_refined() -> Refined> { } } -// 🟑 gated β€” coproduct dissolution (docs/modeling-discipline.md Practice 4) β€” feature:t19-generator-oracle-basis-carrier β€” bound task: gunbc#4762 (re-anchor of deleted TASKS.md T-19) β€” owner:T-19 testgen follow-up β€” dissolve-on-arrival: delete TestgenOracleBasis when each wishlist arm is replaced by its category-specific generated corpus and that corpus carries oracle basis through the concrete generator helper or emitted TestClaim shape; forbidden: permanent parallel oracle-category authority in the wishlist ledger. +// 🟑 gated β€” coproduct dissolution (docs/modeling-discipline.md Practice 4) β€” feature:t19-generator-oracle-basis-carrier β€” bound task: gunbc#4762 β€” owner:T-19 testgen follow-up β€” dissolve-on-arrival: delete TestgenOracleBasis when each wishlist arm is replaced by its category-specific generated corpus and that corpus carries oracle basis through the concrete generator helper or emitted TestClaim shape; forbidden: permanent parallel oracle-category authority in the wishlist ledger. type TestgenOracleBasis = StructuralConstructionWitness | AlgebraLawWitness diff --git a/src/v4/test/claim/grounding_typescript/sg_claims.dag b/src/v4/test/claim/grounding_typescript/sg_claims.dag index 494447b00fd..82f5d42ff00 100644 --- a/src/v4/test/claim/grounding_typescript/sg_claims.dag +++ b/src/v4/test/claim/grounding_typescript/sg_claims.dag @@ -164,7 +164,7 @@ fn ts_g2_sg5_free_monoid_absence_evidence_targets_canonical_carrier() -> Bool { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) / +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 / // G.2 grounding_typescript run_test_claim roster β€” dissolve-on: T-22 claim runner evaluates // Outcome and lookup results directly without Accepted=>true / Rejected=>false Bool projection. fn ts_g2_sg1_atom_lookup_accepts(source_carrier: Node) -> Bool { diff --git a/src/v4/test/claim/manual/go_mvp1_grammar_claim.dag b/src/v4/test/claim/manual/go_mvp1_grammar_claim.dag index 2dec13cadba..61aca966729 100644 --- a/src/v4/test/claim/manual/go_mvp1_grammar_claim.dag +++ b/src/v4/test/claim/manual/go_mvp1_grammar_claim.dag @@ -41,7 +41,7 @@ fn go_claim_bool_atom(b: Bool) -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 β€” // dissolve-on: T-22 claim runner evaluates Outcome fixtures directly without Bool projection. fn go_mvp1_grammar_validates_fixture() -> Bool { let at = port_locus(port: parse_stage_locus_port) @@ -51,7 +51,7 @@ fn go_mvp1_grammar_validates_fixture() -> Bool { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 β€” // dissolve-on: T-22 claim runner evaluates Outcome directly without Bool projection. fn go_mvp1_grammar_parse_accepted() -> Bool { match go_mvp1_grammar_parse_fixture() { diff --git a/src/v4/test/claim/manual/infer_algebra_ref_grounding_anchor.dag b/src/v4/test/claim/manual/infer_algebra_ref_grounding_anchor.dag index 0e044a514fe..8ac0f8f669e 100644 --- a/src/v4/test/claim/manual/infer_algebra_ref_grounding_anchor.dag +++ b/src/v4/test/claim/manual/infer_algebra_ref_grounding_anchor.dag @@ -1,7 +1,7 @@ // src/v4/test/claim/manual/infer_algebra_ref_grounding_anchor.dag // Scope: Option B behavior receipts β€” algebra_ref_is_grounded guard in canonical_grounding_from_inferred_facts. // Status: compile-only anchor; execution deferred to T-22 runner bridge. -// Anchor: gunbc#4760 (re-anchor of deleted TASKS.md T-4 Wave 2b) β€” dissolves when constraint solver reads ModelCore.inhabitance. +// Anchor: gunbc#4760 β€” dissolves when constraint solver reads ModelCore.inhabitance. module v4.test.claim.manual.infer_algebra_ref_grounding_anchor diff --git a/src/v4/test/claim/manual/kotlin_mvp1_grammar_claim.dag b/src/v4/test/claim/manual/kotlin_mvp1_grammar_claim.dag index 39960cc1ee5..76dc63db118 100644 --- a/src/v4/test/claim/manual/kotlin_mvp1_grammar_claim.dag +++ b/src/v4/test/claim/manual/kotlin_mvp1_grammar_claim.dag @@ -40,7 +40,7 @@ fn kotlin_claim_bool_atom(b: Bool) -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 β€” // dissolve-on: T-22 claim runner evaluates Outcome fixtures directly without Bool projection. fn kotlin_mvp1_grammar_validates_fixture() -> Bool { let at = port_locus(port: parse_stage_locus_port) @@ -50,7 +50,7 @@ fn kotlin_mvp1_grammar_validates_fixture() -> Bool { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 β€” // dissolve-on: T-22 claim runner evaluates Outcome directly without Bool projection. fn kotlin_mvp1_grammar_parse_accepted() -> Bool { match kotlin_mvp1_grammar_parse_fixture() { diff --git a/src/v4/test/claim/manual/manual_corpus_roster.dag b/src/v4/test/claim/manual/manual_corpus_roster.dag index 04892d4f2dc..f1c55994909 100644 --- a/src/v4/test/claim/manual/manual_corpus_roster.dag +++ b/src/v4/test/claim/manual/manual_corpus_roster.dag @@ -1,7 +1,7 @@ // src/v4/test/claim/manual/manual_corpus_roster.dag // Scope: T-38 manual TestClaim subject roster (RuntimeValue wedge). // Status: wedge β€” six rows; expand per-A. -// 🟑 gated β€” feature:t38-testclaim-corpus-eval β€” bind gunbc#4759 (re-anchor of deleted TASKS.md T-38) β€” dissolve-on-arrival: item-registry reflection replaces explicit import roster when T-19 testclaim-coproduct-reflection lands. +// 🟑 gated β€” feature:t38-testclaim-corpus-eval β€” bind gunbc#4759 β€” dissolve-on-arrival: item-registry reflection replaces explicit import roster when T-19 testclaim-coproduct-reflection lands. module v4.test.claim.manual.manual_corpus_roster diff --git a/src/v4/test/claim/manual/mvp1_cpp_add_translate.dag b/src/v4/test/claim/manual/mvp1_cpp_add_translate.dag index e530973117a..06f26d07d84 100644 --- a/src/v4/test/claim/manual/mvp1_cpp_add_translate.dag +++ b/src/v4/test/claim/manual/mvp1_cpp_add_translate.dag @@ -180,7 +180,7 @@ fn mvp1_cpp_canonical_grounding( } } -// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 (re-anchor of deleted TASKS.md T-10) β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. +// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. fn mvp1_cpp_canonical_grounding_for(node: Node) -> Witness { if node == mvp1_cpp_emitted_root { Holds { @@ -327,7 +327,7 @@ data mvp1_cpp_emit_receipt: Outcome = anchor_mvp1_cpp_emit_accepts data mvp1_cpp_compile_inferred_receipt: Outcome = anchor_mvp1_cpp_compile_inferred_accepts() -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project emit Outcome to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_cpp_emit_claim_outcome() -> Outcome { match mvp1_cpp_emit_receipt { @@ -349,7 +349,7 @@ fn mvp1_cpp_emit_claim_outcome() -> Outcome { } } -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project compile Output to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_cpp_compile_inferred_claim_outcome() -> Outcome { match mvp1_cpp_compile_inferred_receipt { @@ -401,7 +401,7 @@ data claim_mvp1_cpp_compile_inferred_add_fn_accepts: TestClaim = CompilesClaim { } // T-22 TestClaimRun receipt β€” structural assert over projected emit Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_cpp_emit_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_cpp_emit_add_fn_accepts, context: infer_receipt_context(), @@ -422,7 +422,7 @@ data run_mvp1_cpp_emit_add_fn_accepts: TestClaimRun = TestClaimRun { } // T-22 TestClaimRun receipt β€” structural assert over projected compile Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_cpp_compile_inferred_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_cpp_compile_inferred_add_fn_accepts, context: infer_receipt_context(), diff --git a/src/v4/test/claim/manual/mvp1_go_add_translate.dag b/src/v4/test/claim/manual/mvp1_go_add_translate.dag index eeebd378316..2beb9eeb090 100644 --- a/src/v4/test/claim/manual/mvp1_go_add_translate.dag +++ b/src/v4/test/claim/manual/mvp1_go_add_translate.dag @@ -171,7 +171,7 @@ fn mvp1_go_canonical_grounding( } } -// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 (re-anchor of deleted TASKS.md T-10) β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. +// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. fn mvp1_go_canonical_grounding_for(node: Node) -> Witness { if node == mvp1_go_emitted_root { Holds { @@ -327,7 +327,7 @@ fn mvp1_go_emit_add_fn_accepts_holds() -> Bool { data mvp1_go_compile_inferred_receipt: Outcome = anchor_mvp1_go_compile_inferred_accepts() -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project emit Outcome to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_go_emit_claim_outcome() -> Outcome { match mvp1_go_emit_receipt { @@ -349,7 +349,7 @@ fn mvp1_go_emit_claim_outcome() -> Outcome { } } -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project compile Output to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_go_compile_inferred_claim_outcome() -> Outcome { match mvp1_go_compile_inferred_receipt { @@ -401,7 +401,7 @@ data claim_mvp1_go_compile_inferred_add_fn_accepts: TestClaim = CompilesClaim { } // T-22 TestClaimRun receipt β€” structural assert over projected emit Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_go_emit_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_go_emit_add_fn_accepts, context: infer_receipt_context(), @@ -422,7 +422,7 @@ data run_mvp1_go_emit_add_fn_accepts: TestClaimRun = TestClaimRun { } // T-22 TestClaimRun receipt β€” structural assert over projected compile Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_go_compile_inferred_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_go_compile_inferred_add_fn_accepts, context: infer_receipt_context(), diff --git a/src/v4/test/claim/manual/mvp1_python_add_translate.dag b/src/v4/test/claim/manual/mvp1_python_add_translate.dag index 496f7795e29..148d043a356 100644 --- a/src/v4/test/claim/manual/mvp1_python_add_translate.dag +++ b/src/v4/test/claim/manual/mvp1_python_add_translate.dag @@ -164,7 +164,7 @@ fn mvp1_python_canonical_grounding( } } -// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 (re-anchor of deleted TASKS.md T-10) β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. +// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. fn mvp1_python_canonical_grounding_for(node: Node) -> Witness { if node == mvp1_python_emitted_root { Holds { @@ -278,7 +278,7 @@ fn mvp1_python_emit_add_fn_accepts_holds() -> Bool { data mvp1_python_compile_inferred_receipt: Outcome = anchor_mvp1_python_compile_inferred_accepts() -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project emit Outcome to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_python_emit_claim_outcome() -> Outcome { match mvp1_python_emit_receipt { @@ -300,7 +300,7 @@ fn mvp1_python_emit_claim_outcome() -> Outcome { } } -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project compile Output to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_python_compile_inferred_claim_outcome() -> Outcome { match mvp1_python_compile_inferred_receipt { @@ -352,7 +352,7 @@ data claim_mvp1_python_compile_inferred_add_fn_accepts: TestClaim = CompilesClai } // T-22 TestClaimRun receipt β€” structural assert over projected emit Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_python_emit_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_python_emit_add_fn_accepts, context: infer_receipt_context(), @@ -373,7 +373,7 @@ data run_mvp1_python_emit_add_fn_accepts: TestClaimRun = TestClaimRu } // T-22 TestClaimRun receipt β€” structural assert over projected compile Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_python_compile_inferred_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_python_compile_inferred_add_fn_accepts, context: infer_receipt_context(), diff --git a/src/v4/test/claim/manual/mvp1_rust_add_translate.dag b/src/v4/test/claim/manual/mvp1_rust_add_translate.dag index 3416e399be3..158eb5ada0b 100644 --- a/src/v4/test/claim/manual/mvp1_rust_add_translate.dag +++ b/src/v4/test/claim/manual/mvp1_rust_add_translate.dag @@ -195,7 +195,7 @@ fn mvp1_rust_canonical_grounding( } // Per-node canonical grounding derived from rust_facts_i32 / inhabitant constructors (no Atomβ†’i32 fabrication). -// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 (re-anchor of deleted TASKS.md T-10) (Tracked scaffolds) β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding; forbidden: generic algebra-evidence assignment across unrelated Atoms. +// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 (Tracked scaffolds) β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding; forbidden: generic algebra-evidence assignment across unrelated Atoms. fn mvp1_rust_canonical_grounding_for(node: Node) -> Witness { if node == rust_mvp1_fixture_emitted_add_fn { Holds { @@ -387,7 +387,7 @@ fn mvp1_rust_emit_add_fn_accepts_holds() -> Bool { // The target model intentionally poisons authority_source_text so a fallback read cannot pass. data mvp1_compile_inferred_receipt: Outcome = anchor_mvp1_compile_inferred_accepts() -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project emit Outcome to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_emit_claim_outcome() -> Outcome { match mvp1_emit_receipt { @@ -409,7 +409,7 @@ fn mvp1_emit_claim_outcome() -> Outcome { } } -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project compile Output to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_compile_inferred_claim_outcome() -> Outcome { match mvp1_compile_inferred_receipt { @@ -502,7 +502,7 @@ data claim_mvp1_coerce_grounded_node_exact_structural_accepts: TestClaim = Compi } // T-22 TestClaimRun receipt β€” structural assert over projected emit Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_emit_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_emit_add_fn_accepts, context: infer_receipt_context(), @@ -542,7 +542,7 @@ data run_mvp1_coerce_grounded_node_exact_structural_accepts: TestClaimRun via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_compile_inferred_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_compile_inferred_add_fn_accepts, context: infer_receipt_context(), diff --git a/src/v4/test/claim/manual/mvp1_typescript_add_translate.dag b/src/v4/test/claim/manual/mvp1_typescript_add_translate.dag index 0e8a6b3a169..772d19fd9a3 100644 --- a/src/v4/test/claim/manual/mvp1_typescript_add_translate.dag +++ b/src/v4/test/claim/manual/mvp1_typescript_add_translate.dag @@ -169,7 +169,7 @@ fn mvp1_ts_canonical_grounding( } } -// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 (re-anchor of deleted TASKS.md T-10) β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. +// 🟑 gated β€” feature:W-T-10-mvp1-inferred-tree-grounding β€” bind gunbc#4760 β€” dissolve-on: infer-authored facts replace hand-enumerated MVP fixture grounding. fn mvp1_ts_canonical_grounding_for(node: Node) -> Witness { if node == mvp1_ts_emitted_root { Holds { @@ -318,7 +318,7 @@ fn mvp1_ts_emit_add_fn_accepts_holds() -> Bool { data mvp1_ts_compile_inferred_receipt: Outcome = anchor_mvp1_ts_compile_inferred_accepts() -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project emit Outcome to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_ts_emit_claim_outcome() -> Outcome { match mvp1_ts_emit_receipt { @@ -340,7 +340,7 @@ fn mvp1_ts_emit_claim_outcome() -> Outcome { } } -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. // Project compile Output to Outcome for TestClaim assert; Rejected diagnostics preserved. fn mvp1_ts_compile_inferred_claim_outcome() -> Outcome { match mvp1_ts_compile_inferred_receipt { @@ -392,7 +392,7 @@ data claim_mvp1_ts_compile_inferred_add_fn_accepts: TestClaim = CompilesClaim { } // T-22 TestClaimRun receipt β€” structural assert over projected emit Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-10-mvp1-emit-outcome-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_ts_emit_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_ts_emit_add_fn_accepts, context: infer_receipt_context(), @@ -413,7 +413,7 @@ data run_mvp1_ts_emit_add_fn_accepts: TestClaimRun = TestClaimRun { } // T-22 TestClaimRun receipt β€” structural assert over projected compile Outcome via run_test_claim_assert (Verdict). -// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. +// 🟑 gated β€” feature:W-T-11-mvp1-compile-output-testclaim β€” bind gunbc#4757 β€” dissolve-on: Outcome eval runner replaces structural projection; forbidden: CompilesClaim sentinel-node bridge that drops Rejected diagnostics. data subject_mvp1_ts_compile_inferred_add_fn_accepts: TestClaimEvalSubject = TestClaimEvalSubject { claim: claim_mvp1_ts_compile_inferred_add_fn_accepts, context: infer_receipt_context(), diff --git a/src/v4/test/claim/manual/python_mvp1_grammar_claim.dag b/src/v4/test/claim/manual/python_mvp1_grammar_claim.dag index 2d331e29358..b7d246eb112 100644 --- a/src/v4/test/claim/manual/python_mvp1_grammar_claim.dag +++ b/src/v4/test/claim/manual/python_mvp1_grammar_claim.dag @@ -39,7 +39,7 @@ fn python_claim_bool_atom(b: Bool) -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 β€” // dissolve-on: T-22 claim runner evaluates Outcome fixtures directly without Bool projection. fn python_mvp1_grammar_validates_fixture() -> Bool { let at = port_locus(port: parse_stage_locus_port) @@ -49,7 +49,7 @@ fn python_mvp1_grammar_validates_fixture() -> Bool { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 β€” // dissolve-on: T-22 claim runner evaluates Outcome directly without Bool projection. fn python_mvp1_grammar_parse_accepted() -> Bool { match python_mvp1_grammar_parse_fixture() { diff --git a/src/v4/test/claim/parse/go_wave2a.dag b/src/v4/test/claim/parse/go_wave2a.dag index ef147a4b6a1..8ed0c86b05d 100644 --- a/src/v4/test/claim/parse/go_wave2a.dag +++ b/src/v4/test/claim/parse/go_wave2a.dag @@ -31,7 +31,7 @@ fn go_wave2a_bool_atom(b: Bool) -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 β€” // dissolve-on: T-22 claim runner evaluates Outcome directly without Bool projection. fn go_wave2a_parse_accepted(out: Outcome) -> Bool { match out { diff --git a/src/v4/test/claim/parse/lean_wave2a.dag b/src/v4/test/claim/parse/lean_wave2a.dag index 24a076cf704..7251d97364b 100644 --- a/src/v4/test/claim/parse/lean_wave2a.dag +++ b/src/v4/test/claim/parse/lean_wave2a.dag @@ -35,7 +35,7 @@ fn lean_wave2a_bool_atom(b: Bool) -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 β€” // dissolve-on: T-22 claim runner evaluates Outcome directly without Bool projection. fn lean_wave2a_parse_accepted(out: Outcome) -> Bool { match out { diff --git a/src/v4/test/claim/parse/python_wave2a.dag b/src/v4/test/claim/parse/python_wave2a.dag index b99e55464ca..4dffb4e3722 100644 --- a/src/v4/test/claim/parse/python_wave2a.dag +++ b/src/v4/test/claim/parse/python_wave2a.dag @@ -34,7 +34,7 @@ fn python_wave2a_bool_atom(b: Bool) -> Node { } } -// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 (re-anchor of deleted TASKS.md T-22) β€” +// 🟑 predicate dissolution β€” feature:T-22-outcome-to-bool-claim-bridge β€” bind gunbc#4757 β€” // dissolve-on: T-22 claim runner evaluates Outcome directly without Bool projection. fn python_wave2a_parse_accepted(out: Outcome) -> Bool { match out { diff --git a/src/v4/test/claim/round_trip/dag_ingest_round_trip.dag b/src/v4/test/claim/round_trip/dag_ingest_round_trip.dag index 390d05c55a5..ee7f8edf670 100644 --- a/src/v4/test/claim/round_trip/dag_ingest_round_trip.dag +++ b/src/v4/test/claim/round_trip/dag_ingest_round_trip.dag @@ -5,7 +5,7 @@ // Fixture: src/v4/test/fixture/dag_round_trip_mvp1.dag (committed wave-1 surface program). // Normalization budget: C5 trivia normalization from dag.dag only β€” whitespace and comments are // DeclaredNormalized (TriviaRule-stripped); all other surface features are Modeled (lossless). -// Anchor: THESIS Β§B2-OMNI ingest=emit⁻¹ (C5); readiness tracking: gunbc#4763 (former TASKS.md Β§T-36). +// Anchor: THESIS Β§B2-OMNI ingest=emit⁻¹ (C5); readiness tracking: gunbc#4763. module v4.test.claim.round_trip.dag_ingest_round_trip diff --git a/src/v4/test/claim/workflow/manual_corpus_eval.dag b/src/v4/test/claim/workflow/manual_corpus_eval.dag index 6358cd9b21b..16feff9c1c5 100644 --- a/src/v4/test/claim/workflow/manual_corpus_eval.dag +++ b/src/v4/test/claim/workflow/manual_corpus_eval.dag @@ -4,7 +4,7 @@ // (branch_dispatch_rung8_eval.dag) so the CI host transport surfaces a modeled per-row verdict // tally instead of an opaque blocked_m1_subset string. // Status: T-22 eval β†’ TestClaimRun β†’ CorpusEvalReport β†’ VerdictTally (authoring-time witness). -// 🟑 gated β€” feature:t38-testclaim-corpus-eval β€” bind gunbc#4765 (re-anchor of deleted TASKS.md T-38) + +// 🟑 gated β€” feature:t38-testclaim-corpus-eval β€” bind gunbc#4765 + // docs/planning/v4-p5-structural-bridge-replacement-worksheet-2026-05-30.md Β§1.4. The runner now // evaluates each manual subject row through `run_test_claim`; this file gates the resulting // CorpusEvalReport with zero Fail and zero Deferred. diff --git a/src/v4/test/claim/workflow/testclaim_corpus_runner.dag b/src/v4/test/claim/workflow/testclaim_corpus_runner.dag index b04001be440..a3af7d72247 100644 --- a/src/v4/test/claim/workflow/testclaim_corpus_runner.dag +++ b/src/v4/test/claim/workflow/testclaim_corpus_runner.dag @@ -1,7 +1,7 @@ // src/v4/test/claim/workflow/testclaim_corpus_runner.dag // Scope: T-38 modeled corpus-level TestClaim runner over manual roster. // Status: wedge β€” evaluate manual_corpus_node_subject_rows into CorpusEvalReport. -// 🟑 gated β€” feature:t38-testclaim-corpus-eval β€” bind gunbc#4765 (re-anchor of deleted TASKS.md T-38) + docs/planning/v4-p5-structural-bridge-replacement-worksheet-2026-05-30.md Β§1.4 β€” CI host transport is scripts/v4-testclaim-corpus-eval.sh under positive-Y `ci_upsert_testclaim_corpus_eval_*`. T-38-PR2: the runner maps each manual subject row through `run_test_claim`; manual_corpus_eval_expected.dag pins per-row verdict+reason for the drift gate. +// 🟑 gated β€” feature:t38-testclaim-corpus-eval β€” bind gunbc#4765 + docs/planning/v4-p5-structural-bridge-replacement-worksheet-2026-05-30.md Β§1.4 β€” CI host transport is scripts/v4-testclaim-corpus-eval.sh under positive-Y `ci_upsert_testclaim_corpus_eval_*`. T-38-PR2: the runner maps each manual subject row through `run_test_claim`; manual_corpus_eval_expected.dag pins per-row verdict+reason for the drift gate. module v4.test.claim.workflow.testclaim_corpus_runner