From 709411d8d510efc5d74bfe91adce86932f682436 Mon Sep 17 00:00:00 2001 From: Monsky Date: Mon, 10 Aug 2026 14:37:14 -0400 Subject: [PATCH] docs: record CK-08R1 acceptance --- AGENTS.md | 7 +++++-- docs/INDEX.md | 6 +++--- .../QUERY_EVIDENCE_PROJECTION_CONTRACTS.md | 6 ++++-- docs/quality/QUALIFICATION_PLAN.md | 6 +++--- docs/roadmap/REMAINING_EXECUTION_PLAN.md | 15 +++++++-------- docs/roadmap/TASK_PACKETS.md | 4 ++-- .../ck-08r1-build-independent-answer-truth.md | 4 ++-- tests/kernel/test_documentation_authority.py | 10 +++++++++- 8 files changed, 35 insertions(+), 23 deletions(-) diff --git a/AGENTS.md b/AGENTS.md index 16318052..aa2686db 100644 --- a/AGENTS.md +++ b/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 diff --git a/docs/INDEX.md b/docs/INDEX.md index 9cdf9949..715b0db1 100644 --- a/docs/INDEX.md +++ b/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 diff --git a/docs/architecture/QUERY_EVIDENCE_PROJECTION_CONTRACTS.md b/docs/architecture/QUERY_EVIDENCE_PROJECTION_CONTRACTS.md index a131c13a..ad881e13 100644 --- a/docs/architecture/QUERY_EVIDENCE_PROJECTION_CONTRACTS.md +++ b/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. diff --git a/docs/quality/QUALIFICATION_PLAN.md b/docs/quality/QUALIFICATION_PLAN.md index 55c254fe..954f5182 100644 --- a/docs/quality/QUALIFICATION_PLAN.md +++ b/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 diff --git a/docs/roadmap/REMAINING_EXECUTION_PLAN.md b/docs/roadmap/REMAINING_EXECUTION_PLAN.md index c30ee3dc..014548d9 100644 --- a/docs/roadmap/REMAINING_EXECUTION_PLAN.md +++ b/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 diff --git a/docs/roadmap/TASK_PACKETS.md b/docs/roadmap/TASK_PACKETS.md index a4fd472b..23cb8847 100644 --- a/docs/roadmap/TASK_PACKETS.md +++ b/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) diff --git a/docs/roadmap/tasks/ck-08r1-build-independent-answer-truth.md b/docs/roadmap/tasks/ck-08r1-build-independent-answer-truth.md index 6612e366..7202ef70 100644 --- a/docs/roadmap/tasks/ck-08r1-build-independent-answer-truth.md +++ b/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 diff --git a/tests/kernel/test_documentation_authority.py b/tests/kernel/test_documentation_authority.py index 7b27d733..f6b525b2 100644 --- a/tests/kernel/test_documentation_authority.py +++ b/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