Skip to content

CK-QG1: bind reviewed R1B writer transition authority #437

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
douglasmonsky merged 1 commit into from
Aug 9, 2026
Merged

CK-QG1: bind reviewed R1B writer transition authority #437

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 6 additions & 1 deletion docs/INDEX.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -91,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
Expand Down
115 changes: 104 additions & 11 deletions docs/decisions/evidence/ckqg1/maintainability-baseline-transition-authority.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
{
"schema": "codex-usage-tracker.ckqg1-maintainability-baseline-transition-authority.v1",
"authority_version": 1,
"schema": "codex-usage-tracker.ckqg1-maintainability-baseline-transition-authority.v2",
"authority_version": 2,
"owner": "CK-QG1",
"authority_base_sha": "479cc58a887ab49e1bf6fae90ed87cd1cf389fd5",
"authority_base_sha": "dd771073c9b3126599d2a0a8282edba04a48a09d",
"status": "permitted_not_accepted",
"decision": "authorize_exact_successor_baseline_only",
"decision": "authorize_exact_writer_transition_only",
"decision_basis": {
"accepted_main_change": {
"path": "src/codex_usage_tracker/agent_kernel/publication/writer.py",
Expand All @@ -21,7 +21,96 @@
}
},
"not_generic_baseline_growth": true,
"rationale": "The normalized finding is the deterministic accepted-main consequence of the already-authorized CK-08R3A writer provenance implementation. It is not permission to grow the frozen baseline for arbitrary accepted-main changes, source drift, or future debt."
"rationale": "The original baseline successor remains frozen and unchanged. This v2 authority additionally binds only the reviewed CK-08R1B writer successor, whose normalized findings are byte-identical to the active successor baseline. It is not permission for generic writer drift, baseline growth, exemptions, or implementation acceptance."
},
"cross_packet_writer_transition": {
"packet": "CK-08R1B",
"state": "exact_writer_successor_without_baseline_change",
"r1b_authority": {
"path": "docs/decisions/evidence/ck08r1b/answer-semantics-join-authority.json",
"sha256": "d35bca7600e2e372d6c7b71420cc95996ee1222343982ffd323fee9ba5cbf8b5",
"schema_path": "docs/decisions/evidence/ck08r1b/answer-semantics-join-authority.schema.json",
"schema_sha256": "4921d75b71138d4a2ced9345cc4cb40ea0873305e3245b22f16059e3d41ebd3b",
"authority_base_sha": "f31efbdcb81ae3c3cb77d71eb740af4f4ffdfca4",
"status": "permitted_not_accepted",
"decision": "authorize_exact_query_evidence_grading_join_for_existing_worker",
"selected_successor_paths": 23,
"selected_patch_sha256": "d64e930928f6fc913b25c2b889ecd5588289edb8410e19188ddf7172c8126bba"
},
"source_pr": {
"number": 430,
"base_sha": "97ea3aed8f67c7840a34b610e7e0588b7eaf3c4d",
"head_sha": "925270e6ad13074ddec756e0cd89165c29d9b144",
"head_tree_sha": "aba15a107365a5cfccea80d5bbf57c7fb5f92e82",
"head_changed_paths": 31,
"url": "https://github.com/douglasmonsky/codex-usage-tracker/pull/430"
},
"writer_transition": {
"path": "src/codex_usage_tracker/agent_kernel/publication/writer.py",
"predecessor_sha256": "13da341fc2a3c50d8d7de7fd6a6fc2b0aca0dbc832a9b56597cd96ab67d17488",
"successor_sha256": "d163e6c566665a65062952be1618b9f2c4032eabd841408e2f274bcd29748a73",
"r1b_selected_cohort_predecessor_sha256": "13da341fc2a3c50d8d7de7fd6a6fc2b0aca0dbc832a9b56597cd96ab67d17488",
"r1b_selected_cohort_successor_sha256": "d163e6c566665a65062952be1618b9f2c4032eabd841408e2f274bcd29748a73"
},
"baseline_binding": {
"path": "config/agent-kernel/maintainability-baseline-v1.json",
"sha256": "fda777e28db7a0696f29b55c9d694f99d987413b206d8e323f217b4fa6a73ad5",
"finding_count": 20,
"normalized_findings_sha256": "17bf73aa73ce9f70bb9837379acf976662418e6288913c77fa70efd4b5b443cc",
"normalization_version": "xenon-threshold-findings-v1",
"tool_identity": "xenon==0.9.3;radon==6.0.1",
"new_findings": [],
"worsened_findings": [],
"improved_findings": []
},
"checker_binding": {
"path": "scripts/check_kernel_maintainability.py",
"sha256": "2cc29d749432ee8e922f4403616164784cf956c30969ecb22e309cadd9cf315a",
"entry_point": "scripts/check_kernel_maintainability.py::maintainability_failures",
"active_thresholds": {"block": "C", "module": "B", "average": "B"},
"failure_semantics": {
"baseline_mismatch": "fail_closed",
"new_unlisted_finding": "fail_closed",
"worsened_finding": "fail_closed",
"improvement": "must_shrink_the_successor_baseline",
"text_exemption": "forbidden_and_ignored_by_normalization"
}
},
"authorized_states": [
{
"id": "current_main",
"commit_sha": "dd771073c9b3126599d2a0a8282edba04a48a09d",
"writer_sha256": "13da341fc2a3c50d8d7de7fd6a6fc2b0aca0dbc832a9b56597cd96ab67d17488",
"baseline_sha256": "fda777e28db7a0696f29b55c9d694f99d987413b206d8e323f217b4fa6a73ad5",
"checker_failures": [],
"result": "pass"
},
{
"id": "pr430_reviewed_successor",
"commit_sha": "925270e6ad13074ddec756e0cd89165c29d9b144",
"writer_sha256": "d163e6c566665a65062952be1618b9f2c4032eabd841408e2f274bcd29748a73",
"baseline_sha256": "fda777e28db7a0696f29b55c9d694f99d987413b206d8e323f217b4fa6a73ad5",
"r1b_authority_sha256": "d35bca7600e2e372d6c7b71420cc95996ee1222343982ffd323fee9ba5cbf8b5",
"checker_failures": [],
"result": "pass"
}
],
"combined_preflight": {
"status": "passed",
"authority_bytes_byte_identical": true,
"finding_count": 20,
"normalized_findings_sha256": "17bf73aa73ce9f70bb9837379acf976662418e6288913c77fa70efd4b5b443cc",
"cases": [
{"id": "current_main_bound_state", "expected": "pass", "observed": "pass"},
{"id": "pr430_reviewed_successor_same_baseline", "expected": "pass", "observed": "pass"},
{"id": "pr430_successor_with_predecessor_baseline", "expected": "fail_closed:mismatch", "observed": "fail_closed:mismatch"},
{"id": "writer_digest_mutation", "expected": "reject_fail_closed:identity", "observed": "reject_fail_closed:identity"},
{"id": "r1b_authority_digest_mutation", "expected": "reject_fail_closed:identity", "observed": "reject_fail_closed:identity"},
{"id": "pr430_head_mutation", "expected": "reject_fail_closed:identity", "observed": "reject_fail_closed:identity"},
{"id": "new_unlisted_finding", "expected": "fail_closed:baseline", "observed": "fail_closed:baseline"},
{"id": "worsened_finding", "expected": "fail_closed:baseline", "observed": "fail_closed:baseline"}
]
}
},
"linked_authorities": [
{
Expand Down Expand Up @@ -171,7 +260,7 @@
"non_generalizable": {
"exact_transition_only": true,
"required_matches": [
"authority_base_sha=479cc58a887ab49e1bf6fae90ed87cd1cf389fd5",
"authority_base_sha=dd771073c9b3126599d2a0a8282edba04a48a09d",
"predecessor baseline sha256=c490d954a5e9d09c61f884d51e3b9d3196af5615887f409c36f8469d1b2b6cf9",
"accepted writer source sha256=13da341fc2a3c50d8d7de7fd6a6fc2b0aca0dbc832a9b56597cd96ab67d17488",
"transition finding id, score, and count are exactly publication/writer.py:PublicationWriter._validate_turn_provenance, 35, 1",
Expand All @@ -183,7 +272,7 @@
"any exemption, threshold weakening, normalization change, release-budget waiver, or privacy relaxation",
"any future new or worsened finding after the successor is installed"
],
"successor_chain": "A later improvement or source transition requires a new independently reviewed authority decision; this artifact does not authorize a second baseline growth step."
"successor_chain": "The fda777e2 baseline successor is unchanged. This exact CK-08R1B writer transition is the only additional source state authorized here; a later improvement, source transition, or R1B implementation acceptance requires a new independently reviewed authority decision."
},
"negative_mutations": [
{"id": "predecessor_digest_changed", "result": "reject_fail_closed"},
Expand All @@ -194,7 +283,11 @@
{"id": "new_unlisted_finding", "result": "reject_fail_closed"},
{"id": "worsened_finding", "result": "reject_fail_closed"},
{"id": "text_exemption_added", "result": "reject_fail_closed"},
{"id": "production_path_added_to_authority_scope", "result": "reject_fail_closed"}
{"id": "production_path_added_to_authority_scope", "result": "reject_fail_closed"},
{"id": "writer_successor_digest_changed", "result": "reject_fail_closed"},
{"id": "r1b_authority_digest_changed", "result": "reject_fail_closed"},
{"id": "pr430_head_changed", "result": "reject_fail_closed"},
{"id": "writer_successor_with_predecessor_baseline", "result": "reject_fail_closed"}
],
"preflight": {
"status": "passed",
Expand Down Expand Up @@ -249,13 +342,13 @@
"the retained PR #392 witness at 29f18ae178a4d048e9d4bd1ae49a4307dd8472dd",
"baseline/checker implementation edits in this authority PR",
"threshold weakening, text exemptions, normalization changes, release-budget waivers, or privacy relaxation",
"CK-QG1 implementation acceptance, CK-08RG, CK-09, downstream dispatch, or live operation"
"CK-QG1 or CK-08R1B implementation acceptance, PR #430 edits, CK-08RG, CK-09, downstream dispatch, or live operation"
]
},
"worker_handoff": {
"held_worker_thread": "019fbb41-79b6-7760-8e7f-e68fc381422a",
"held_worker_thread": "019fc419-0dab-73e3-a6cc-ce574f18c89f",
"resume_after": "this authority is squash-merged and fresh exact-main identities are verified",
"next_authorized_action": "reuse PR #392 in a new latest-exact-main worktree, reapply the held candidate, install the exact successor baseline document, and rerun the existing implementation validation",
"next_authorized_action": "resume only existing PR #430 in a new latest-exact-main worktree, reapply the reviewed 23-path CK-08R1B successor, and rerun the existing implementation validation",
"implementation_acceptance": "not_granted_by_this_authority",
"new_authority_task": "forbidden",
"downstream_dispatch": "forbidden"
Expand Down
Loading