Mgr-C SUCCESSOR (re-establish the auto-archived witty-pike-248 cluster — operator wants it running again ASAP). PRIORITY 1 = glob-discovery / roster-dissolution (consolidation #4553 Phases 2-5, now ownerless): the MODEL landed (#4576: UnifiedTestClaim = NodeCorpus | BoolWitnessClaim in std/verificat

src/v4/test/claim/extdeps/coordination_claims.dag

@@ -41,6 +41,12 @@ import v4.extdeps.coordination {
 }
 
 
+
+import v4.std.verification {
+  BoolWitness,
+  BoolWitnessClaim,
+  UnifiedTestClaim
+}
 fn coord_not(b: Bool) -> Bool {
   b == false
 }
@@ -115,3 +121,21 @@ fn coordination_obligation_settlement_arm_sharp_holds() -> Bool {
     && coord_not(b: settlement_is_within(s: coordination_effect_obligation(effect: Http).required_settlement))
     && coord_not(b: settlement_is_immediate(s: coordination_effect_obligation(effect: Queue).required_settlement))
 }
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `coordination_obligation_exchange_arm_sharp_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_coordination_obligation_exchange: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/extdeps/coordination_claims.dag",
+    function: coordination_obligation_exchange_arm_sharp_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `coordination_obligation_settlement_arm_sharp_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_coordination_obligation_settlement: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/extdeps/coordination_claims.dag",
+    function: coordination_obligation_settlement_arm_sharp_holds
+  }
+}

src/v4/test/claim/extdeps_react/structural_receipts.dag

@@ -57,6 +57,12 @@ import v4.std.algebra { Cons, Empty, length }
 import v4.std.logic { Bool }
 
 
+
+import v4.std.verification {
+  BoolWitness,
+  BoolWitnessClaim,
+  UnifiedTestClaim
+}
 data react_probe_cross_decl_ref: ReactCrossDeclRef = react_probe_cross_decl_ref
 
 fn react_probe_props_site() -> ReactPropsSite {
@@ -346,3 +352,66 @@ fn extdeps_react_create_element_child_element_arm_wraps_react_element_holds() ->
     Text { text_value_ref: _ } => false
   }
 }
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `extdeps_react_use_memo_use_callback_dependencies_are_required_lists_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_extdeps_react_use_memo_callback_deps: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/extdeps_react/structural_receipts.dag",
+    function: extdeps_react_use_memo_use_callback_dependencies_are_required_lists_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `extdeps_react_effect_hooks_require_setup_ref_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_extdeps_react_effect_setup_ref: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/extdeps_react/structural_receipts.dag",
+    function: extdeps_react_effect_hooks_require_setup_ref_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `extdeps_react_host_element_declares_key_and_ref_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_extdeps_react_host_key_ref: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/extdeps_react/structural_receipts.dag",
+    function: extdeps_react_host_element_declares_key_and_ref_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `extdeps_react_composite_element_declares_key_and_ref_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_extdeps_react_composite_key_ref: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/extdeps_react/structural_receipts.dag",
+    function: extdeps_react_composite_element_declares_key_and_ref_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `extdeps_react_fragment_arm_declares_key_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_extdeps_react_fragment_key: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/extdeps_react/structural_receipts.dag",
+    function: extdeps_react_fragment_arm_declares_key_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `extdeps_react_element_children_are_list_create_element_child_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_extdeps_react_element_children: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/extdeps_react/structural_receipts.dag",
+    function: extdeps_react_element_children_are_list_create_element_child_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `extdeps_react_create_element_child_element_arm_wraps_react_element_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_extdeps_react_child_element_wraps: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/extdeps_react/structural_receipts.dag",
+    function: extdeps_react_create_element_child_element_arm_wraps_react_element_holds
+  }
+}

src/v4/test/claim/grounding_typescript/sg_claims.dag

@@ -49,7 +49,10 @@ import v4.std.verification {
   TestClaim,
   TestClassification,
   Tier1,
-  manual_claim_anchor
+  manual_claim_anchor,
+  BoolWitness,
+  BoolWitnessClaim,
+  UnifiedTestClaim
 }
 import v4.test.claim.manual.eval_runtime_mvp {
   eval_mvp2_add_subgraph,
@@ -318,3 +321,21 @@ fn ts_g2_sg1_symbol_carrier_holds() -> Bool {
 fn ts_g2_sg5_absence_fail_closed_holds() -> Bool {
   ts_g2_sg5_collection_realization_absence_holds()
 }
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `ts_g2_sg1_symbol_carrier_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_grounding_ts_symbol_carrier: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/grounding_typescript/sg_claims.dag",
+    function: ts_g2_sg1_symbol_carrier_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `ts_g2_sg5_absence_fail_closed_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_grounding_ts_absence_fail_closed: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/grounding_typescript/sg_claims.dag",
+    function: ts_g2_sg5_absence_fail_closed_holds
+  }
+}

src/v4/test/claim/lens_affected_set/edit_locus_resolver.dag

@@ -37,6 +37,12 @@ import v4.test.claim.lens_common.infer_fixture {
   claim_inferred_tree
 }
 
+
+import v4.std.verification {
+  BoolWitness,
+  BoolWitnessClaim,
+  UnifiedTestClaim
+}
 data edit_locus_path_src_v4_affected_set: RepoPath = "src/v4/lens/affected_set.dag"
 data edit_locus_path_source_producer_fixture: RepoPath = "src/v4/test/claim/lens_affected_set/source_producer_fixture.dag"
 data edit_locus_path_unknown: RepoPath = "src/v4/lens/unknown_path.dag"
@@ -199,3 +205,48 @@ data edit_locus_affected_set_wire_fail_closed_claim_passes: Bool = edit_locus_af
 data edit_locus_source_provenance_producer_claim_passes: Bool = edit_locus_source_provenance_producer_holds()
 data edit_locus_source_provenance_affected_set_wire_claim_passes: Bool = edit_locus_source_provenance_affected_set_wire_holds()
 data edit_locus_source_provenance_producer_rejects_malformed_source_claim_passes: Bool = edit_locus_source_provenance_producer_rejects_malformed_source_holds()
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `edit_locus_narrow_resolution_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_edit_locus_narrow: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_affected_set/edit_locus_resolver.dag",
+    function: edit_locus_narrow_resolution_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `edit_locus_fail_closed_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_edit_locus_fail_closed: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_affected_set/edit_locus_resolver.dag",
+    function: edit_locus_fail_closed_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `edit_locus_source_provenance_producer_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_edit_locus_source_provenance_producer: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_affected_set/edit_locus_resolver.dag",
+    function: edit_locus_source_provenance_producer_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `edit_locus_source_provenance_affected_set_wire_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_edit_locus_source_provenance_affected_set_wire: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_affected_set/edit_locus_resolver.dag",
+    function: edit_locus_source_provenance_affected_set_wire_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `edit_locus_source_provenance_producer_rejects_malformed_source_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_edit_locus_source_provenance_producer_rejects_malformed_source: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_affected_set/edit_locus_resolver.dag",
+    function: edit_locus_source_provenance_producer_rejects_malformed_source_holds
+  }
+}

src/v4/test/claim/lens_affected_set/sg_claims.dag

@@ -20,6 +20,12 @@ import v4.test.claim.lens_affected_set.irt1_fail_closed_absorption_receipt {
 }
 
 
+
+import v4.std.verification {
+  BoolWitness,
+  BoolWitnessClaim,
+  UnifiedTestClaim
+}
 fn lens_affected_set_irt1_boundary_prune_holds() -> Bool {
   irt1_boundary_prune_receipt_claim_holds()
 }
@@ -38,3 +44,39 @@ fn lens_affected_set_irt1_fail_closed_absorption_holds() -> Bool {
 fn lens_affected_set_irt1_empty_diff_frontier_holds() -> Bool {
   irt1_empty_diff_frontier_receipt_claim_holds()
 }
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `lens_affected_set_irt1_boundary_prune_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_lens_affected_set_irt1_boundary_prune: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_affected_set/sg_claims.dag",
+    function: lens_affected_set_irt1_boundary_prune_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `lens_affected_set_irt1_fail_closed_pending_escalation_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_lens_affected_set_irt1_fail_closed_pending: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_affected_set/sg_claims.dag",
+    function: lens_affected_set_irt1_fail_closed_pending_escalation_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `lens_affected_set_irt1_fail_closed_absorption_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_lens_affected_set_irt1_fail_closed_absorption: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_affected_set/sg_claims.dag",
+    function: lens_affected_set_irt1_fail_closed_absorption_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `lens_affected_set_irt1_empty_diff_frontier_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_lens_affected_set_irt1_empty_diff: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_affected_set/sg_claims.dag",
+    function: lens_affected_set_irt1_empty_diff_frontier_holds
+  }
+}

src/v4/test/claim/lens_application/sg_claims.dag

@@ -27,6 +27,12 @@ import v4.test.claim.lens_synthesis.synthesis_gap_polynomial {
 }
 
 
+
+import v4.std.verification {
+  BoolWitness,
+  BoolWitnessClaim,
+  UnifiedTestClaim
+}
 data lens_application_synthesis_root_path: Path = Path { steps: [] }
 
 data lens_application_synthesis_root_declaration: DeclarationId = DeclarationId {
@@ -67,3 +73,30 @@ fn lens_application_synthesis_gap_polynomial_holds() -> Bool {
 fn lens_application_synthesis_gap_enforce_rejection_holds() -> Bool {
   lens_application_synthesis_gap_enforce_rejects()
 }
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `lens_application_introspect_advisory_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_lens_application_introspect_advisory: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_application/sg_claims.dag",
+    function: lens_application_introspect_advisory_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `lens_application_synthesis_gap_polynomial_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_lens_application_synthesis_gap: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_application/sg_claims.dag",
+    function: lens_application_synthesis_gap_polynomial_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `lens_application_synthesis_gap_enforce_rejection_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_lens_application_synthesis_gap_enforce: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_application/sg_claims.dag",
+    function: lens_application_synthesis_gap_enforce_rejection_holds
+  }
+}

src/v4/test/claim/lens_idempotency/sg_claims.dag

@@ -12,6 +12,21 @@ import v4.test.claim.lens_idempotency.write_effect {
 }
 
 
+
+import v4.std.verification {
+  BoolWitness,
+  BoolWitnessClaim,
+  UnifiedTestClaim
+}
 fn lens_idempotency_write_effect_holds() -> Bool {
   idempotency_write_effect_claim_holds()
 }
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `lens_idempotency_write_effect_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_lens_idempotency_write_effect: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_idempotency/sg_claims.dag",
+    function: lens_idempotency_write_effect_holds
+  }
+}

src/v4/test/claim/lens_identical_variant_payload/sg_claims.dag

@@ -15,6 +15,12 @@ import v4.lens.identical_variant_payload {
 import v4.std.logic { Bool }
 import v4.std.node { Node, Symbol }
 import v4.test.claim.lens_common.infer_fixture { claim_atom_node }
+
+import v4.std.verification {
+  BoolWitness,
+  BoolWitnessClaim,
+  UnifiedTestClaim
+}
 data ivp_witness_type_node: Node = claim_atom_node(s: ^ivp_witness_type_symbol)
 
 
@@ -31,3 +37,12 @@ fn lens_identical_variant_payload_unrealized_scaffold_holds() -> Bool {
     verdict: identical_variant_payload_fact_for_type(type_node: ivp_witness_type_node).verdict
   )
 }
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `lens_identical_variant_payload_unrealized_scaffold_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_lens_identical_variant_unrealized: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_identical_variant_payload/sg_claims.dag",
+    function: lens_identical_variant_payload_unrealized_scaffold_holds
+  }
+}

src/v4/test/claim/lens_registry/sg_claims.dag

@@ -26,6 +26,12 @@ import v4.std.collection { List }
 import v4.std.logic { Bool }
 
 
+
+import v4.std.verification {
+  BoolWitness,
+  BoolWitnessClaim,
+  UnifiedTestClaim
+}
 data lens_registry_v0_required_ids: List<LensIdV0> = [
   Complexity,
   Cost,
@@ -50,3 +56,21 @@ fn lens_registry_singleton_row_counts_holds() -> Bool {
     && lens_registry_id_resolves(lens_id: StructuralResolution)
     && lens_registry_id_resolves(lens_id: TableDecisionTree)
 }
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `lens_registry_required_ids_resolve_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_lens_registry_required_ids_resolve: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_registry/sg_claims.dag",
+    function: lens_registry_required_ids_resolve_holds
+  }
+}
+
+// Consolidation #4553 Phase 2 distributed BoolWitnessClaim marker.
+// Co-located with `lens_registry_singleton_row_counts_holds` so glob discovery finds the witness without the central roster.
+data unified_claim_lens_registry_singleton_row_counts: UnifiedTestClaim = BoolWitnessClaim {
+  witness: BoolWitness {
+    entry: "src/v4/test/claim/lens_registry/sg_claims.dag",
+    function: lens_registry_singleton_row_counts_holds
+  }
+}