diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e75942a9f07..b38c4032ddf 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -587,6 +587,11 @@ jobs:
 
   # DB-8 — fixed-point ratchet infrastructure (Lane 3 Stage 3c prep). Staged until
   # Lane 1 Stage 1e closes: do not block merges on this job yet.
+  #
+  # R3 T-FixedPoint / `docs/r3-program-plan.md` §1.8 gate #16: `self_host_fixed_point`
+  # is the DB-8 mechanical verifier on the path to the strong fixed-point horizon;
+  # R1 `pb_self_compile_fixed_point` pass/fail still comes from `verification.dag` +
+  # `test_runner` — this job's continue-on-error posture does not redefine that gate.
   self_host_ratchet:
     # Always schedule this job name on PRs so branch-protection "required checks" get a
     # definitive **success** after `v3` (skipped jobs / workflow-wide cancels were surfacing
diff --git a/docs/db-history/db-8.md b/docs/db-history/db-8.md
index 576d58fbccc..81b6748455b 100644
--- a/docs/db-history/db-8.md
+++ b/docs/db-history/db-8.md
@@ -8,3 +8,7 @@ Collected receipts and reconciliation notes moved out of [ROADMAP.md](../../ROAD
 - **CI binary:** `cargo run -p v3-compiler --bin self_host_fixed_point` — proves pipeline snapshot fixed-point on `default_fixed_point_source`, probes `dsl/gunbc/compiler.dag`, writes `target/self_host/receipt.json`. Full emit→rustc→run→diff cycle stays **staged** until `compiler.dag` parses under v3 and emitted output is a CLI that can re-emit (see phase-plan §6 answers).
 - **Invariant:** `INVARIANTS.md` §Deterministic emission (D-1); `emit.rs` module docs cite D-1 (`feedback_substrate_principle_audit` Q5 — single authority for determinism invariants).
 - **Substrate-readiness (phase-plan §6 checklist):** tracked in [`docs/phase-plan-2026-04-18.md`](docs/phase-plan-2026-04-18.md) §6 — rows still 🟡/❌ remain upstream deferrals (1e, 1c Python tail, 2b workflow consumer, 2c runner, 2d, 3b) with dissolution triggers in ROADMAP; no new orphan debt from this audit.
+
+### R3 T-FixedPoint — §1.8 gate #16 (`pb_self_compile_fixed_point` R3 horizon)
+
+The R1 lane gate and R3 thesis facet 2 share the **predicate name** but not the acceptance bar — see [`docs/r3-structure.md`](../r3-structure.md) §"T-FixedPoint" and [`docs/r2-structure.md`](../r2-structure.md) (R1 closure criteria). This DB-8 stack (`self_host_fixed_point`, `determinism_test`, receipt contract) is the **mechanical ratchet** aligned with [`docs/design-fixed-point-ratchet.md`](../design-fixed-point-ratchet.md); the future strong `.dag` suite (`pb_self_compile_fixed_point_strong`, Row A/B/C per [`docs/briefs/r3-pb-t-fixedpoint-worker.md`](../briefs/r3-pb-t-fixedpoint-worker.md)) is **dispatch-gated** and must not be authored in `verification.dag` until joint preconditions in that brief read green. Wave-1 P0 worker brief: [`docs/briefs/r3-wave1-pb2-fixedpoint-gate16-r3-horizon-worker.md`](../briefs/r3-wave1-pb2-fixedpoint-gate16-r3-horizon-worker.md).
diff --git a/src/v3/compiler/src/bin/self_host_fixed_point.rs b/src/v3/compiler/src/bin/self_host_fixed_point.rs
index 66587ecae52..71bf2720495 100644
--- a/src/v3/compiler/src/bin/self_host_fixed_point.rs
+++ b/src/v3/compiler/src/bin/self_host_fixed_point.rs
@@ -1,5 +1,13 @@
 //! DB-8 — fixed-point ratchet driver (`docs/design-fixed-point-ratchet.md`).
 //!
+//! **R3 cross-read (P0 pin, no new pass/fail):** R3 program-plan §1.8 gate **#16**
+//! (`pb_self_compile_fixed_point`, T-FixedPoint) has a **strong** thesis horizon
+//! distinct from the R1 `verification.dag` claim of the same name — see
+//! `docs/r3-structure.md` §"T-FixedPoint" (two-horizon framing),
+//! `docs/briefs/r3-pb-t-fixedpoint-worker.md` (dispatch preconditions; future
+//! `pb_self_compile_fixed_point_strong`), and `docs/briefs/r3-wave1-pb2-fixedpoint-gate16-r3-horizon-worker.md`.
+//! History and CI posture for this binary: `docs/db-history/db-8.md`.
+//!
 //! Full cycle (emit → `rustc` → run → byte-diff) requires a v3-parseable
 //! `dsl/gunbc/compiler.dag` **and** an emitted CLI that can re-run emission on
 //! that file. Until Lane 3 Stage 3c, `compiler.dag` is a cycle meta-model that
diff --git a/src/v3/compiler/src/bootstrap_generated.rs b/src/v3/compiler/src/bootstrap_generated.rs
index 9688331d5ff..5c2debf5786 100644
--- a/src/v3/compiler/src/bootstrap_generated.rs
+++ b/src/v3/compiler/src/bootstrap_generated.rs
@@ -9168,14 +9168,14 @@ fn bootstrapped_fixture_dag_nodes() -> Vec<Behavior> {
             target: TransformTarget::Callable(DeclarationId(1300)),
             inputs: vec![PortId(968)],
             output: PortId(969),
-            span: SourceSpan::new("src/v3/std/verification.dag", 27853, 27876),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28334, 28357),
         }));
         nodes.push(Behavior::Transform(TransformNode {
             id: NodeId(809),
             target: TransformTarget::Callable(DeclarationId(1301)),
             inputs: vec![PortId(970)],
             output: PortId(971),
-            span: SourceSpan::new("src/v3/std/verification.dag", 27898, 27932),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28379, 28413),
         }));
         nodes.push(Behavior::Branch(BranchNode {
             id: NodeId(810),
@@ -9186,7 +9186,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec<Behavior> {
                     output: PortId(969),
                     pattern: BranchPattern::UnresolvedVariant {
                         name: "Enumerated".to_string(),
-                        span: SourceSpan::new("src/v3/std/verification.dag", 27836, 27849),
+                        span: SourceSpan::new("src/v3/std/verification.dag", 28317, 28330),
                     },
                     binding: Some(PayloadBinding {
                         binding_name: "c".to_string(),
@@ -9198,7 +9198,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec<Behavior> {
                     output: PortId(971),
                     pattern: BranchPattern::UnresolvedVariant {
                         name: "Quantified".to_string(),
-                        span: SourceSpan::new("src/v3/std/verification.dag", 27881, 27894),
+                        span: SourceSpan::new("src/v3/std/verification.dag", 28362, 28375),
                     },
                     binding: Some(PayloadBinding {
                         binding_name: "q".to_string(),
@@ -9207,7 +9207,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec<Behavior> {
                 },
             ],
             output: PortId(972),
-            span: SourceSpan::new("src/v3/std/verification.dag", 27818, 27936),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28299, 28417),
             emit_participation: Some(BranchEmitParticipation::UserMatch),
         }));
         nodes.push(Behavior::Bind(BindNode {
@@ -9215,7 +9215,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec<Behavior> {
             name: "obligation_for_suite_claim".to_string(),
             value: PortId(972),
             params: vec![PortId(967)],
-            span: SourceSpan::new("src/v3/std/verification.dag", 27818, 27936),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28299, 28417),
             lane2_workflow: None,
             emit_participation: Some(BindEmitParticipation::UserCallable),
         }));
@@ -42542,7 +42542,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 9556, 21968),
+            span: SourceSpan::new("src/v3/std/verification.dag", 9556, 22449),
         });
         declarations.push(Declaration {
             id: DeclarationId(1289),
@@ -42556,7 +42556,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 22076, 22096),
+            span: SourceSpan::new("src/v3/std/verification.dag", 22557, 22577),
         });
         declarations.push(Declaration {
             id: DeclarationId(1290),
@@ -42575,7 +42575,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 22239, 22294),
+            span: SourceSpan::new("src/v3/std/verification.dag", 22720, 22775),
         });
         declarations.push(Declaration {
             id: DeclarationId(1291),
@@ -42612,7 +42612,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 22904, 23037),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23385, 23518),
         });
         declarations.push(Declaration {
             id: DeclarationId(1292),
@@ -42637,7 +42637,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 23218, 23255),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23699, 23736),
         });
         declarations.push(Declaration {
             id: DeclarationId(1293),
@@ -42674,7 +42674,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 23257, 23418),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23738, 23899),
         });
         declarations.push(Declaration {
             id: DeclarationId(1294),
@@ -42699,7 +42699,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 25118, 25212),
+            span: SourceSpan::new("src/v3/std/verification.dag", 25599, 25693),
         });
         declarations.push(Declaration {
             id: DeclarationId(1295),
@@ -42728,7 +42728,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 25214, 25317),
+            span: SourceSpan::new("src/v3/std/verification.dag", 25695, 25798),
         });
         declarations.push(Declaration {
             id: DeclarationId(1296),
@@ -42753,7 +42753,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26050, 26127),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26531, 26608),
         });
         declarations.push(Declaration {
             id: DeclarationId(1297),
@@ -42778,7 +42778,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26129, 26189),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26610, 26670),
         });
         declarations.push(Declaration {
             id: DeclarationId(1298),
@@ -42803,7 +42803,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26387, 26468),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26868, 26949),
         });
         declarations.push(Declaration {
             id: DeclarationId(1299),
@@ -42813,8 +42813,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
                 output: DeclarationId(2685),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    26910,
-                    26926,
+                    27391,
+                    27407,
                 )),
             },
             type_params: vec![],
@@ -42825,7 +42825,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26839, 26926),
+            span: SourceSpan::new("src/v3/std/verification.dag", 27320, 27407),
         });
         declarations.push(Declaration {
             id: DeclarationId(1300),
@@ -42835,8 +42835,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
                 output: DeclarationId(1298),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    26984,
-                    27069,
+                    27465,
+                    27550,
                 )),
             },
             type_params: vec![],
@@ -42847,7 +42847,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26928, 27069),
+            span: SourceSpan::new("src/v3/std/verification.dag", 27409, 27550),
         });
         declarations.push(Declaration {
             id: DeclarationId(1301),
@@ -42857,8 +42857,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
                 output: DeclarationId(1298),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    27376,
-                    27442,
+                    27857,
+                    27923,
                 )),
             },
             type_params: vec![],
@@ -42869,7 +42869,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 27299, 27442),
+            span: SourceSpan::new("src/v3/std/verification.dag", 27780, 27923),
         });
         declarations.push(Declaration {
             id: DeclarationId(1302),
@@ -42887,7 +42887,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 27747, 27936),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28228, 28417),
         });
         declarations.push(Declaration {
             id: DeclarationId(1303),
@@ -42897,8 +42897,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
                 output: DeclarationId(2687),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    28020,
-                    28065,
+                    28501,
+                    28546,
                 )),
             },
             type_params: vec![],
@@ -42909,7 +42909,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 27938, 28065),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28419, 28546),
         });
         declarations.push(Declaration {
             id: DeclarationId(1304),
@@ -83070,7 +83070,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26886, 26909),
+            span: SourceSpan::new("src/v3/std/verification.dag", 27367, 27390),
         });
         declarations.push(Declaration {
             id: DeclarationId(2686),
@@ -83090,7 +83090,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 27978, 27994),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28459, 28475),
         });
         declarations.push(Declaration {
             id: DeclarationId(2687),
@@ -83110,7 +83110,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 27999, 28019),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28480, 28500),
         });
         declarations.push(Declaration {
             id: DeclarationId(2688),
@@ -84096,7 +84096,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17603, 17685),
+            span: SourceSpan::new("src/v3/std/verification.dag", 18084, 18166),
         });
         declarations.push(Declaration {
             id: DeclarationId(2740),
@@ -84121,7 +84121,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17690, 17776),
+            span: SourceSpan::new("src/v3/std/verification.dag", 18171, 18257),
         });
         declarations.push(Declaration {
             id: DeclarationId(2741),
@@ -84141,7 +84141,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17855, 17865),
+            span: SourceSpan::new("src/v3/std/verification.dag", 18336, 18346),
         });
         declarations.push(Declaration {
             id: DeclarationId(2742),
@@ -84166,7 +84166,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17781, 17871),
+            span: SourceSpan::new("src/v3/std/verification.dag", 18262, 18352),
         });
         declarations.push(Declaration {
             id: DeclarationId(2743),
@@ -84191,7 +84191,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 19085, 19210),
+            span: SourceSpan::new("src/v3/std/verification.dag", 19566, 19691),
         });
         declarations.push(Declaration {
             id: DeclarationId(2744),
@@ -84220,7 +84220,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 20152, 20286),
+            span: SourceSpan::new("src/v3/std/verification.dag", 20633, 20767),
         });
         declarations.push(Declaration {
             id: DeclarationId(2745),
@@ -84249,7 +84249,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 20925, 21069),
+            span: SourceSpan::new("src/v3/std/verification.dag", 21406, 21550),
         });
         declarations.push(Declaration {
             id: DeclarationId(2746),
@@ -84268,7 +84268,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 21914, 21968),
+            span: SourceSpan::new("src/v3/std/verification.dag", 22395, 22449),
         });
         declarations.push(Declaration {
             id: DeclarationId(2747),
@@ -84288,7 +84288,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 23012, 23035),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23493, 23516),
         });
         declarations.push(Declaration {
             id: DeclarationId(2748),
@@ -84302,7 +84302,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 23238, 23244),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23719, 23725),
         });
         declarations.push(Declaration {
             id: DeclarationId(2749),
@@ -84316,7 +84316,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 23249, 23255),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23730, 23736),
         });
         declarations.push(Declaration {
             id: DeclarationId(2750),
@@ -84336,7 +84336,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 23393, 23416),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23874, 23897),
         });
         declarations.push(Declaration {
             id: DeclarationId(2751),
@@ -84355,7 +84355,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 25139, 25168),
+            span: SourceSpan::new("src/v3/std/verification.dag", 25620, 25649),
         });
         declarations.push(Declaration {
             id: DeclarationId(2752),
@@ -84374,7 +84374,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 25173, 25212),
+            span: SourceSpan::new("src/v3/std/verification.dag", 25654, 25693),
         });
         declarations.push(Declaration {
             id: DeclarationId(2753),
@@ -84393,7 +84393,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26070, 26091),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26551, 26572),
         });
         declarations.push(Declaration {
             id: DeclarationId(2754),
@@ -84412,7 +84412,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26096, 26127),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26577, 26608),
         });
         declarations.push(Declaration {
             id: DeclarationId(2755),
@@ -84432,7 +84432,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26171, 26187),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26652, 26668),
         });
         declarations.push(Declaration {
             id: DeclarationId(2756),
@@ -84452,7 +84452,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26443, 26466),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26924, 26947),
         });
         declarations.push(Declaration {
             id: DeclarationId(2757),
diff --git a/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs b/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs
index 5f32a0c2b6d..727b21eef58 100644
--- a/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs
+++ b/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs
@@ -9168,14 +9168,14 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec<Behavior> {
             target: TransformTarget::Callable(DeclarationId(1285)),
             inputs: vec![PortId(968)],
             output: PortId(969),
-            span: SourceSpan::new("src/v3/std/verification.dag", 27853, 27876),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28334, 28357),
         }));
         nodes.push(Behavior::Transform(TransformNode {
             id: NodeId(809),
             target: TransformTarget::Callable(DeclarationId(1286)),
             inputs: vec![PortId(970)],
             output: PortId(971),
-            span: SourceSpan::new("src/v3/std/verification.dag", 27898, 27932),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28379, 28413),
         }));
         nodes.push(Behavior::Branch(BranchNode {
             id: NodeId(810),
@@ -9186,7 +9186,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec<Behavior> {
                     output: PortId(969),
                     pattern: BranchPattern::UnresolvedVariant {
                         name: "Enumerated".to_string(),
-                        span: SourceSpan::new("src/v3/std/verification.dag", 27836, 27849),
+                        span: SourceSpan::new("src/v3/std/verification.dag", 28317, 28330),
                     },
                     binding: Some(PayloadBinding {
                         binding_name: "c".to_string(),
@@ -9198,7 +9198,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec<Behavior> {
                     output: PortId(971),
                     pattern: BranchPattern::UnresolvedVariant {
                         name: "Quantified".to_string(),
-                        span: SourceSpan::new("src/v3/std/verification.dag", 27881, 27894),
+                        span: SourceSpan::new("src/v3/std/verification.dag", 28362, 28375),
                     },
                     binding: Some(PayloadBinding {
                         binding_name: "q".to_string(),
@@ -9207,7 +9207,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec<Behavior> {
                 },
             ],
             output: PortId(972),
-            span: SourceSpan::new("src/v3/std/verification.dag", 27818, 27936),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28299, 28417),
             emit_participation: Some(BranchEmitParticipation::UserMatch),
         }));
         nodes.push(Behavior::Bind(BindNode {
@@ -9215,7 +9215,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec<Behavior> {
             name: "obligation_for_suite_claim".to_string(),
             value: PortId(972),
             params: vec![PortId(967)],
-            span: SourceSpan::new("src/v3/std/verification.dag", 27818, 27936),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28299, 28417),
             lane2_workflow: None,
             emit_participation: Some(BindEmitParticipation::UserCallable),
         }));
@@ -42059,7 +42059,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 9556, 21968),
+            span: SourceSpan::new("src/v3/std/verification.dag", 9556, 22449),
         });
         declarations.push(Declaration {
             id: DeclarationId(1274),
@@ -42073,7 +42073,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 22076, 22096),
+            span: SourceSpan::new("src/v3/std/verification.dag", 22557, 22577),
         });
         declarations.push(Declaration {
             id: DeclarationId(1275),
@@ -42092,7 +42092,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 22239, 22294),
+            span: SourceSpan::new("src/v3/std/verification.dag", 22720, 22775),
         });
         declarations.push(Declaration {
             id: DeclarationId(1276),
@@ -42129,7 +42129,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 22904, 23037),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23385, 23518),
         });
         declarations.push(Declaration {
             id: DeclarationId(1277),
@@ -42154,7 +42154,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 23218, 23255),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23699, 23736),
         });
         declarations.push(Declaration {
             id: DeclarationId(1278),
@@ -42191,7 +42191,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 23257, 23418),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23738, 23899),
         });
         declarations.push(Declaration {
             id: DeclarationId(1279),
@@ -42216,7 +42216,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 25118, 25212),
+            span: SourceSpan::new("src/v3/std/verification.dag", 25599, 25693),
         });
         declarations.push(Declaration {
             id: DeclarationId(1280),
@@ -42245,7 +42245,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 25214, 25317),
+            span: SourceSpan::new("src/v3/std/verification.dag", 25695, 25798),
         });
         declarations.push(Declaration {
             id: DeclarationId(1281),
@@ -42270,7 +42270,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26050, 26127),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26531, 26608),
         });
         declarations.push(Declaration {
             id: DeclarationId(1282),
@@ -42295,7 +42295,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26129, 26189),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26610, 26670),
         });
         declarations.push(Declaration {
             id: DeclarationId(1283),
@@ -42320,7 +42320,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26387, 26468),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26868, 26949),
         });
         declarations.push(Declaration {
             id: DeclarationId(1284),
@@ -42330,8 +42330,8 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
                 output: DeclarationId(2229),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    26910,
-                    26926,
+                    27391,
+                    27407,
                 )),
             },
             type_params: vec![],
@@ -42342,7 +42342,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26839, 26926),
+            span: SourceSpan::new("src/v3/std/verification.dag", 27320, 27407),
         });
         declarations.push(Declaration {
             id: DeclarationId(1285),
@@ -42352,8 +42352,8 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
                 output: DeclarationId(1283),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    26984,
-                    27069,
+                    27465,
+                    27550,
                 )),
             },
             type_params: vec![],
@@ -42364,7 +42364,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26928, 27069),
+            span: SourceSpan::new("src/v3/std/verification.dag", 27409, 27550),
         });
         declarations.push(Declaration {
             id: DeclarationId(1286),
@@ -42374,8 +42374,8 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
                 output: DeclarationId(1283),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    27376,
-                    27442,
+                    27857,
+                    27923,
                 )),
             },
             type_params: vec![],
@@ -42386,7 +42386,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 27299, 27442),
+            span: SourceSpan::new("src/v3/std/verification.dag", 27780, 27923),
         });
         declarations.push(Declaration {
             id: DeclarationId(1287),
@@ -42404,7 +42404,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 27747, 27936),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28228, 28417),
         });
         declarations.push(Declaration {
             id: DeclarationId(1288),
@@ -42414,8 +42414,8 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
                 output: DeclarationId(2231),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    28020,
-                    28065,
+                    28501,
+                    28546,
                 )),
             },
             type_params: vec![],
@@ -42426,7 +42426,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 27938, 28065),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28419, 28546),
         });
         declarations.push(Declaration {
             id: DeclarationId(1289),
@@ -60761,7 +60761,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26886, 26909),
+            span: SourceSpan::new("src/v3/std/verification.dag", 27367, 27390),
         });
         declarations.push(Declaration {
             id: DeclarationId(2230),
@@ -60781,7 +60781,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 27978, 27994),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28459, 28475),
         });
         declarations.push(Declaration {
             id: DeclarationId(2231),
@@ -60801,7 +60801,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 27999, 28019),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28480, 28500),
         });
         declarations.push(Declaration {
             id: DeclarationId(2232),
@@ -61787,7 +61787,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17603, 17685),
+            span: SourceSpan::new("src/v3/std/verification.dag", 18084, 18166),
         });
         declarations.push(Declaration {
             id: DeclarationId(2284),
@@ -61812,7 +61812,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17690, 17776),
+            span: SourceSpan::new("src/v3/std/verification.dag", 18171, 18257),
         });
         declarations.push(Declaration {
             id: DeclarationId(2285),
@@ -61832,7 +61832,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17855, 17865),
+            span: SourceSpan::new("src/v3/std/verification.dag", 18336, 18346),
         });
         declarations.push(Declaration {
             id: DeclarationId(2286),
@@ -61857,7 +61857,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 17781, 17871),
+            span: SourceSpan::new("src/v3/std/verification.dag", 18262, 18352),
         });
         declarations.push(Declaration {
             id: DeclarationId(2287),
@@ -61882,7 +61882,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 19085, 19210),
+            span: SourceSpan::new("src/v3/std/verification.dag", 19566, 19691),
         });
         declarations.push(Declaration {
             id: DeclarationId(2288),
@@ -61911,7 +61911,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 20152, 20286),
+            span: SourceSpan::new("src/v3/std/verification.dag", 20633, 20767),
         });
         declarations.push(Declaration {
             id: DeclarationId(2289),
@@ -61940,7 +61940,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 20925, 21069),
+            span: SourceSpan::new("src/v3/std/verification.dag", 21406, 21550),
         });
         declarations.push(Declaration {
             id: DeclarationId(2290),
@@ -61959,7 +61959,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 21914, 21968),
+            span: SourceSpan::new("src/v3/std/verification.dag", 22395, 22449),
         });
         declarations.push(Declaration {
             id: DeclarationId(2291),
@@ -61979,7 +61979,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 23012, 23035),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23493, 23516),
         });
         declarations.push(Declaration {
             id: DeclarationId(2292),
@@ -61993,7 +61993,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 23238, 23244),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23719, 23725),
         });
         declarations.push(Declaration {
             id: DeclarationId(2293),
@@ -62007,7 +62007,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 23249, 23255),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23730, 23736),
         });
         declarations.push(Declaration {
             id: DeclarationId(2294),
@@ -62027,7 +62027,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 23393, 23416),
+            span: SourceSpan::new("src/v3/std/verification.dag", 23874, 23897),
         });
         declarations.push(Declaration {
             id: DeclarationId(2295),
@@ -62046,7 +62046,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 25139, 25168),
+            span: SourceSpan::new("src/v3/std/verification.dag", 25620, 25649),
         });
         declarations.push(Declaration {
             id: DeclarationId(2296),
@@ -62065,7 +62065,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 25173, 25212),
+            span: SourceSpan::new("src/v3/std/verification.dag", 25654, 25693),
         });
         declarations.push(Declaration {
             id: DeclarationId(2297),
@@ -62084,7 +62084,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26070, 26091),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26551, 26572),
         });
         declarations.push(Declaration {
             id: DeclarationId(2298),
@@ -62103,7 +62103,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26096, 26127),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26577, 26608),
         });
         declarations.push(Declaration {
             id: DeclarationId(2299),
@@ -62123,7 +62123,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26171, 26187),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26652, 26668),
         });
         declarations.push(Declaration {
             id: DeclarationId(2300),
@@ -62143,7 +62143,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec<Declarat
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 26443, 26466),
+            span: SourceSpan::new("src/v3/std/verification.dag", 26924, 26947),
         });
         declarations.push(Declaration {
             id: DeclarationId(2301),
diff --git a/src/v3/std/verification.dag b/src/v3/std/verification.dag
index 1688d708cea..8fd3a74f1d6 100644
--- a/src/v3/std/verification.dag
+++ b/src/v3/std/verification.dag
@@ -414,6 +414,12 @@ type TestPredicate
       list_constant: CensusListConstant
       subset_predicate: DeclarationRef
     }
+  // R3 §1.8 gate #16 / T-FixedPoint — **not dispatch-eligible for strong suite here.**
+  // R1 `pb_self_compile_fixed_point` composes this variant today; the R3 thesis
+  // horizon adds distinct `pb_self_compile_fixed_point_strong` claims only after
+  // joint preconditions in `docs/briefs/r3-pb-t-fixedpoint-worker.md` §"Dispatch
+  // preconditions". Do not rename or shadow the R1 claim; do not extend this
+  // enum from PB without Substrate ack (see `INVARIANTS.md` P1).
   | FixedPointConverges {
       compile_target: Path
       expected: SnapshotRef