docs: record CK-08R1 acceptance (#440)

Author: douglasmonsky

AGENTS.md

@@ -32,10 +32,13 @@ and publication/evidence scale plus replacement maintainability need
 corrective proof. CK-08R0 froze `corrective-gates-v1`; CK-08R2 is complete and
 CK-09 remains blocked. CK-08R1A froze corrected answer meaning and recursive
 closure; R1C is accepted at exact main `fb0c578`, and R1B is accepted at exact
-main `9e9332b3`; final R1 requalification is the sole Ready packet.
+main `9e9332b3`. Final R1 requalification passed hosted CI in PR #439,
+squash-merged, and was exact-main verified at `0832b854`; no packet is Ready
+while CK-07R1 remains conditional.
 CK-QG1A removed the two R2 page-executor complexity findings without changing
 behavior or the frozen baseline and is accepted at exact main `30983d4`;
-existing QG1 PR #392 is Ready to resume from corrected main. CK-07R1A corrected
+QG1 PR #392 passed hosted CI, squash-merged, and was exact-main verified at
+`68050b93`. CK-07R1A corrected
 the exact hosted Python 3.14 lifecycle-tail blocker; the linked CK-07R1A0
 authorities, including argv correction, are merged through `479cbdb`. The
 existing CK-07R1 worker remains stopped pending coordinator disposition of the

docs/INDEX.md

@@ -28,9 +28,9 @@ verified at `0fad272b3205614fb254398c9c9dc0a56d5ba7cd`. CK-08R3 is complete.
 CK-08R1's schema-valid
 [`answer-truth-requalification.v2`](decisions/evidence/ck08r1/answer-truth-requalification-v2.json)
 records 80/80 rows, grades, order, evidence, provenance, null semantics,
-closure, grading isolation, and mutation proof; completion remains subject to
-hosted CI, squash merge, and exact-main verification. CK-08R4 remains blocked
-on CK-07R1. Independent
+closure, grading isolation, and mutation proof. PR #439 passed hosted CI,
+squash-merged, and was exact-main verified at `0832b854`; CK-08R1 is complete.
+CK-08R4 remains blocked on CK-07R1. Independent
 truth now consumes [`answer-semantics.v1`](../config/agent-kernel/answer-semantics-v1.json);
 The linked [CK-08R3A schema/publication requalification authority](decisions/evidence/ck08r3a/schema-publication-requalification-authority.json)
 binds the resulting 57-index schema digest, synthetic publication fixture

docs/architecture/QUERY_EVIDENCE_PROJECTION_CONTRACTS.md

@@ -114,8 +114,10 @@ consumer is accepted at exact main
 `fb0c57886097a6b985d2f321b2de858cbdfc0a97`; the exact
 [R1B join authority](../decisions/evidence/ck08r1b/answer-semantics-join-authority.json)
 bound the shared query/evidence/grading seams accepted through PR #430 and
-exact-main `9e9332b3`; final R1 is now the sole Ready replay of both accepted
-consumers. Cursor serialization still binds its version, request digest,
+exact-main `9e9332b3`. Final R1 replayed both accepted consumers, passed hosted
+CI in PR #439, squash-merged, and was exact-main verified at `0832b854`; no
+packet is Ready while CK-07R1 remains conditional. Cursor serialization still
+binds its version, request digest,
 plan, publication, and order; malformed, tampered, stale, replacement, and
 mismatched bindings fail closed.
 

docs/quality/QUALIFICATION_PLAN.md

@@ -50,9 +50,9 @@ R1C is accepted at exact main `fb0c57886097a6b985d2f321b2de858cbdfc0a97`;
 R1B is accepted through PR #430 and exact-main `9e9332b3`. R1 now records the
 schema-valid 80/80 two-lane replay with exact closure membership/digests,
 grading isolation, and sentinel mutations in
-`docs/decisions/evidence/ck08r1/answer-truth-requalification-v2.json`; it is
-complete on merge, with hosted CI, squash merge, and exact-main verification
-required in the handoff.
+`docs/decisions/evidence/ck08r1/answer-truth-requalification-v2.json`; PR #439
+passed hosted CI, squash-merged, and was exact-main verified at `0832b854`.
+R1 is complete and no packet is Ready while CK-07R1 remains conditional.
 R3 scale awaits merged/exact-main R3A.
 CK-QG1A removed only R2's two rank-D findings against its unchanged baseline and is accepted at exact main `30983d4b5005e7e2a507757c76a3c05ab56281e6`; CK-QG1 PR #392 then passed the exact authorized normalized baseline ratchet, hosted CI, squash merge, and fresh exact-main verification at `68050b93`. CK-07R1A preserves the first hosted Python
 3.14 `ordinary.2000_call_tail` failure and

docs/roadmap/REMAINING_EXECUTION_PLAN.md

@@ -28,7 +28,7 @@ all 196 selector/view/direction outcomes per profile, typed seven-part truth,
 late-event, truncation, cursor, and query-only contracts. PR #425 passed hosted
 Python 3.10/3.14 and Console, squash-merged at
 `0fad272b3205614fb254398c9c9dc0a56d5ba7cd`, and was exact-main verified.
-CK-08R3 is complete; CK-08R4 remains blocked on CK-08R1 and CK-07R1.
+CK-08R3 and CK-08R1 are complete; CK-08R4 remains blocked on CK-07R1.
 Retained CK-08R1 work reached
 80/80 parity by copying unsupported Q-REV-03/Q-WF-02 semantics; R1A now freezes
 their meaning and closure. R1C is accepted at exact main
@@ -44,8 +44,8 @@ synthetic variants through separate production and independent closures with
 exact rows, grades, order, evidence, provenance, null semantics, grading
 isolation, and sentinel mutations. Its schema-valid
 [`answer-truth-requalification.v2`](../decisions/evidence/ck08r1/answer-truth-requalification-v2.json)
-is complete on merge; hosted CI, squash merge, and exact-main verification
-remain acceptance handoff requirements. The R1B exact reviewer correction
+passed hosted CI in PR #439, squash-merged, and was exact-main verified at
+`0832b85411e68feb9cf1a7300ab14e4cc97d391a`. The R1B exact reviewer correction
 binds production
 publication hierarchy ownership, independent start/terminal window membership,
 duplicate stable-ID rejection, production-compiler replay, and the Q-REV-03
@@ -67,8 +67,7 @@ provenance equality for equal-coordinate idempotency, and resolves
 current-batch relations by the six-part authority order before logical
 identity with one emitted winner. PR #430 passed hosted CI, squash-merged, and
 was exact-main verified at `9e9332b3ae2be78cedb581ff8f76149ad76f4440`.
-R1B is complete. R1 is complete on merge with its independent two-lane
-requalification artifact; no successor becomes Ready while CK-07R1 remains
+R1B and R1 are complete. No successor becomes Ready while CK-07R1 remains
 conditional.
 CK-QG1A removed R2's two page-executor C/B/B violations
 without changing behavior or the frozen maintainability baseline and is
@@ -82,9 +81,9 @@ CK-QG1 is complete; its v2 [writer transition authority](../decisions/evidence/c
 binds current main `dd771073` writer `13da341f…` to reviewed PR #430 writer
 `d163e6c5…` with the unchanged `fda777e2…` baseline and identical normalized
 findings. CK-08R1B is accepted at `9e9332b3`; CK-08R1's serialized
-production-versus-independent answer-truth requalification is complete on
-merge. CK-08R4 remains blocked on CK-07R1, and CK-08RG remains blocked on
-CK-08R4.
+production-versus-independent answer-truth requalification is accepted through
+PR #439 and exact-main `0832b854`. CK-08R4 remains blocked on CK-07R1, and
+CK-08RG remains blocked on CK-08R4.
 CK-07R1A is accepted, merged, and exact-main verified at
 `4d8074952f679877f2b4fbb3e89c51015e96a197`; CK-07R1A0 was accepted at
 `519b503aa3b23019033b6481687c08b23fc6c31e`; its linked

docs/roadmap/TASK_PACKETS.md

@@ -13,7 +13,7 @@ parents are accounting umbrellas.
 - Critical-path completion: **14 / 21**
 - Optional packets: **CK-15**
 - Completed corrective child tasks: **13 — CK-08R0, CK-08R1A, CK-08R1B, CK-08R1C, CK-08R1, CK-08R2, CK-08R3A, CK-08R3, CK-QG1A0, CK-QG1A, CK-QG1, CK-07R1A, CK-07R1A0**
-- Remaining delegable child tasks: **38**
+- Remaining delegable child tasks: **37**
 - Ready child tasks: **0**
 - Conditional-ready child tasks: **1 — CK-07R1 after coordinator disposition of the preserved prelaunch incident and a clean exact-main reapplication path**
 - Blocked child tasks: **36**
@@ -62,7 +62,7 @@ locks are unchanged.
 - [x] **CK-08R1A — Freeze answer semantics and evidence closure** · Completed on merge; exact-main verification required in handoff · [packet](tasks/ck-08r1a-freeze-answer-semantics.md)
 - [x] **CK-08R1B — Implement production answer semantics** · PR #430 hosted-green, squash-merged, and exact-main verified at `9e9332b3`; exact 23-path cohort and 80/80 production-versus-independent replay accepted · [packet](tasks/ck-08r1b-implement-production-answer-semantics.md)
 - [x] **CK-08R1C — Build independent semantic evaluator** · PR #411 merged/exact-main `fb0c578`; independent closure and all 80 variants accepted · [packet](tasks/ck-08r1c-build-independent-semantic-evaluator.md)
-- [x] **CK-08R1 — Requalify independent answer truth** · Completed on merge; schema-valid 80/80 production-independent rows, grades, order, evidence, provenance, null, closure, grading-isolation, and mutation proof; hosted CI, squash merge, and exact-main verification required in handoff · [artifact](../decisions/evidence/ck08r1/answer-truth-requalification-v2.json) · [packet](tasks/ck-08r1-build-independent-answer-truth.md)
+- [x] **CK-08R1 — Requalify independent answer truth** · PR #439 hosted-green, squash-merged, and exact-main verified at `0832b854`; schema-valid 80/80 production-independent rows, grades, order, evidence, provenance, null, closure, grading-isolation, and mutation proof accepted · [artifact](../decisions/evidence/ck08r1/answer-truth-requalification-v2.json) · [packet](tasks/ck-08r1-build-independent-answer-truth.md)
 - [x] **CK-08R2 — Implement bounded physical keyset execution** · Completed on merge; exact-main verification recorded in handoff · [packet](tasks/ck-08r2-implement-physical-keyset-execution.md)
 - [x] **CK-QG1A0 — Authorize PageExecutor source supersession** · Completed on merge; exact-main required before CK-QG1A · [packet](tasks/ck-qg1a0-authorize-page-executor-source-supersession.md)
 - [x] **CK-08R3A — Implement bounded EvidenceService physical queries** · PR #417 hosted-green and squash-merged at `38537f6c`; exact-main identities verified · [packet](tasks/ck-08r3a-implement-evidence-physical-query.md)

docs/roadmap/tasks/ck-08r1-build-independent-answer-truth.md

@@ -1,7 +1,7 @@
 # CK-08R1 — Requalify independent answer truth
 
-**Status:** Completed on merge — hosted CI, squash merge, and exact-main
-verification required in handoff
+**Status:** Completed on merge — PR #439 hosted-green, squash-merged, and
+exact-main verified at `0832b854`
 
 **Parent:** Corrective prerequisite for CK-09
 

tests/kernel/test_documentation_authority.py

@@ -262,7 +262,9 @@ def test_remaining_execution_plan_is_complete_acyclic_and_fail_closed() -> None:
     assert f"Not started: **{len(parent_rows) - parent_completed}**" in ledger
     assert f"Critical-path completion: **{parent_completed} / 21**" in ledger
     assert "Completed corrective child tasks: **13" in ledger
-    assert "Remaining delegable child tasks: **38**" in ledger
+    remaining_delegable = len(manifest["tasks"]) - len(manifest["completed"])
+    assert remaining_delegable == 37
+    assert f"Remaining delegable child tasks: **{remaining_delegable}**" in ledger
     assert "Blocked child tasks: **36" in ledger
     assert f"Ready child tasks: **{len(manifest['ready'])}" in ledger
     assert (
@@ -285,8 +287,14 @@ def test_remaining_execution_plan_is_complete_acyclic_and_fail_closed() -> None:
         "R1B is Ready only",
         "R1B worker Ready",
         "R1 remains their blocked",
+        "final R1 requalification is the sole Ready packet",
+        "final R1 is now the sole Ready replay",
+        "remain acceptance handoff requirements",
+        "existing QG1 PR #392 is Ready to resume",
     ):
         assert stale_claim not in active_status_docs
+    assert "PR #439" in central
+    assert "0832b85411e68feb9cf1a7300ab14e4cc97d391a" in central
 
     tasks = manifest["tasks"]
     assert len(tasks) == 50