Bind production answer semantics to the joined R1A/R1C contract

config/agent-kernel/formula-contract-v1.json

@@ -2211,9 +2211,7 @@
         },
         {
           "field": "delegation_metrics",
-          "classification": "formula_output",
-          "formula_id": "exclusive_inclusive_scope_v1",
-          "output_key": "$"
+          "classification": "direct_fact"
         },
         {
           "field": "resource_metrics",
@@ -2225,9 +2223,7 @@
         },
         {
           "field": "token_deltas",
-          "classification": "formula_output",
-          "formula_id": "side_by_side_delta_v1",
-          "output_key": "$"
+          "classification": "direct_fact"
         },
         {
           "field": "tool_metrics",
@@ -2239,6 +2235,8 @@
         }
       ],
       "internal_formula_ids": [
+        "exclusive_inclusive_scope_v1",
+        "side_by_side_delta_v1",
         "total_tokens_v1"
       ]
     }
@@ -3376,10 +3374,8 @@
         "limit",
         "window"
       ],
-      "output_fields": [
-        "delegation_metrics"
-      ],
-      "internal_use": false,
+      "output_fields": [],
+      "internal_use": true,
       "operand_rule": "Build exclusive_inclusive_scope_v1 operands only from the listed canonical relations after compare_sessions applies its typed request, capability, publication, selector, and half-open window gates; emitted answer, oracle, and grading fields are forbidden inputs."
     },
     {
@@ -3404,10 +3400,8 @@
         "limit",
         "window"
       ],
-      "output_fields": [
-        "token_deltas"
-      ],
-      "internal_use": false,
+      "output_fields": [],
+      "internal_use": true,
       "operand_rule": "Build side_by_side_delta_v1 operands only from the listed canonical relations after compare_sessions applies its typed request, capability, publication, selector, and half-open window gates; emitted answer, oracle, and grading fields are forbidden inputs."
     },
     {

config/agent-kernel/logical-contract-v1.json

@@ -7,7 +7,7 @@
     "docs/architecture/ADAPTER_CONTRACT.md",
     "config/agent-kernel/question-catalog-v1.json"
   ],
-  "vector_bundle_sha256": "87b9d08a8d1186ab1e3eb794f58d17fd28b991e210fc0144713f1299ab224b2c",
+  "vector_bundle_sha256": "406d87d988ed55066152513c26f8d7fbd991233b1e3f58c37d6f8c956f61fe4c",
   "identity": {
     "version": "v1",
     "tuple_encoding": "canonical_cbor",

config/agent-kernel/plan-operand-contract-v1.json

@@ -3892,6 +3892,7 @@
             "cached_input_tokens",
             "reasoning_tokens",
             "output_tokens",
+            "measurement_mask",
             "lifecycle"
           ]
         },
@@ -3919,6 +3920,16 @@
             "resource_kind",
             "write_intent",
             "lifecycle",
+            "start_at_us",
+            "start_source_rank",
+            "start_source_order",
+            "start_event_kind_order",
+            "start_transition_rank",
+            "terminal_at_us",
+            "terminal_source_rank",
+            "terminal_source_order",
+            "terminal_event_kind_order",
+            "terminal_transition_rank",
             "output_bytes",
             "duration_us",
             "error_category"
@@ -8607,6 +8618,7 @@
             "cached_input_tokens",
             "reasoning_tokens",
             "output_tokens",
+            "measurement_mask",
             "lifecycle"
           ]
         },
@@ -8660,6 +8672,13 @@
             "error_category"
           ]
         },
+        {
+          "relation": "publication",
+          "fields": [
+            "publication_id",
+            "capabilities"
+          ]
+        },
         {
           "relation": "turn",
           "fields": [
@@ -8729,11 +8748,9 @@
             "inclusive": "exclusive_inclusive_scope_inclusive",
             "descendant": "exclusive_inclusive_scope_descendant"
           },
-          "output_bindings": {
-            "delegation_metrics": "$"
-          },
-          "internal_only": false,
-          "consume_as": null,
+          "output_bindings": {},
+          "internal_only": true,
+          "consume_as": "left_exclusive_inclusive_scope",
           "derivation_rule": {
             "symbol": "derive_compare_sessions_v1",
             "stage": 1,
@@ -8755,11 +8772,9 @@
             "current": "side_by_side_delta_current",
             "previous": "side_by_side_delta_previous"
           },
-          "output_bindings": {
-            "token_deltas": "$"
-          },
-          "internal_only": false,
-          "consume_as": null,
+          "output_bindings": {},
+          "internal_only": true,
+          "consume_as": "total_token_delta",
           "derivation_rule": {
             "symbol": "derive_compare_sessions_v1",
             "stage": 1,
@@ -8831,12 +8846,22 @@
         },
         {
           "field": "delegation_metrics",
-          "classification": "formula_output",
+          "classification": "direct_fact",
           "slot": "delegation_metrics",
-          "formula_id": "exclusive_inclusive_scope_v1",
-          "output_key": "$",
+          "formula_id": null,
+          "output_key": null,
           "derivation_rule": "derive_compare_sessions_v1",
-          "source_rule": null
+          "source_rule": {
+            "manifest": "permitted_sources",
+            "relations": [
+              "canonical_call",
+              "resource",
+              "session",
+              "state_change",
+              "tool_invocation",
+              "turn"
+            ]
+          }
         },
         {
           "field": "resource_metrics",
@@ -8878,12 +8903,22 @@
         },
         {
           "field": "token_deltas",
-          "classification": "formula_output",
+          "classification": "direct_fact",
           "slot": "token_deltas",
-          "formula_id": "side_by_side_delta_v1",
-          "output_key": "$",
+          "formula_id": null,
+          "output_key": null,
           "derivation_rule": "derive_compare_sessions_v1",
-          "source_rule": null
+          "source_rule": {
+            "manifest": "permitted_sources",
+            "relations": [
+              "canonical_call",
+              "resource",
+              "session",
+              "state_change",
+              "tool_invocation",
+              "turn"
+            ]
+          }
         },
         {
           "field": "tool_metrics",

docs/INDEX.md

@@ -58,12 +58,29 @@ product assertion failed.
 R1C is accepted at exact main `fb0c57886097a6b985d2f321b2de858cbdfc0a97`.
 The [CK-08R1B answer-semantics join authority](decisions/evidence/ck08r1b/answer-semantics-join-authority.json)
 binds the exact R1A producer artifacts, preserves R1C closure independence,
-and permits only the proved query admission, synthetic hierarchy/coordinate
-materialization, Q-WF-02 evaluator requalification, and deterministic 80-case
-fixture transition. R1B is Ready only for its existing held worker after that
-authority is merged and exact-main verified; the authority does not accept the
-implementation. CK-08R1, CK-08R4, CK-08RG, CK-09, and CK-07 remain blocked or
-held by their existing gates.
+and permits only the proved query admission, production-owned synthetic
+ hierarchy materialization after every authoritative relationship is applied,
+ explicit non-null required tool coordinates and straddling lifecycle,
+duplicate-ID rejection, Q-REV-03 direct-fact/internal-formula binding, and
+deterministic 80-case production-compiler fixture transition. Its narrow
+selected-cohort acceptance correction binds late-cycle/reverse-chain/ambiguous
+parent rejection and production-independent null-coordinate parity. Its final
+writer-closure correction adds the publication writer and its focused tests to
+the atomic cohort: the writer supplies the complete connected existing session
+component, preparation recomputes every changed descendant after reparenting,
+and unaffected rows remain exact. The final multi-publication correction keeps
+the same 23 paths and binds native-parent snapshot seeding plus authoritative
+late-parent ordering: newer event/source coordinates win, exact replay is
+idempotent, and conflicting equal-order parent or basis declarations fail
+closed. The final selected-cohort correction additionally requires direct
+`SessionObserved` reparenting to load and emit the complete persisted
+descendant subtree, treats equal six-part coordinates as idempotent only when
+parent, basis, and occurrence provenance are exact, and selects one
+current-batch winner by that six-part order before logical identity. R1B is
+Ready only for its existing held
+worker and PR #430 after that correction is merged and exact-main verified; the
+authority does not accept the implementation. CK-08R1, CK-08R4, CK-08RG,
+CK-09, and CK-07 remain blocked or held by their existing gates.
 CK-QG1A0 gated the selected R2 PageExecutor successor; QG1A removed its two
 C/B/B findings and is accepted at exact main `30983d4b5005e7e2a507757c76a3c05ab56281e6`;
 the linked
@@ -74,7 +91,12 @@ PR #392 then enforced that exact normalized baseline without weakening
 thresholds, exemptions, release budgets, privacy, or spike semantics. Hosted
 Console and Python 3.10/3.14 passed before squash merge and fresh exact-main
 verification at `68050b9313ccc5be8e1fcd0ccd5b95cb4173f3ff`. CK-QG1 is
-complete; CK-08RG remains blocked on CK-08R4. CK-07R1A separately corrected
+complete; CK-08RG remains blocked on CK-08R4. The v2 [CK-QG1/R1B writer
+transition authority](decisions/evidence/ckqg1/maintainability-baseline-transition-authority.json)
+binds current main `dd771073` writer `13da341f…` to reviewed PR #430 head
+writer `d163e6c5…` without changing the active baseline
+`fda777e2…`; both states produce the same 20 normalized findings and the
+authority remains permitted-not-accepted. CK-07R1A separately corrected
 PR #394's exact
 hosted lifecycle-tail failure without a budget waiver.
 CK-07R1A0 path authority remains accepted at exact main