Skip to content

Commit e0ee9f2

Browse files
douglasmonskydouglasmonsky
authored
docs: freeze lifecycle source digest authority
Authority-only CK-07R1A0 source-digest freeze. Exact-main predecessor and retained candidate digests are frozen; witness remains read-only; maximum_new_end_to_end_runs=1 remains unspent and unavailable. Hosted Focused Evidence Console, Python 3.10, and Python 3.14 required jobs passed.
1 parent d911b1f commit e0ee9f2

11 files changed

Lines changed: 579 additions & 45 deletions

‎AGENTS.md‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -33,8 +33,10 @@ corrective proof. CK-08R0 froze `corrective-gates-v1`; CK-08R2 is complete and
3333
CK-09 remains blocked. CK-08R1A freezes corrected answer meaning before
3434
disjoint R1B/R1C implementation and final R1 requalification. CK-QG1A must
3535
remove two R2 page-executor complexity findings without changing behavior or
36-
the frozen baseline before existing QG1 PR #392 resumes. CK-07R1A must correct
37-
the exact hosted Python 3.14 lifecycle-tail blocker before PR #394 resumes.
36+
the frozen baseline before existing QG1 PR #392 resumes. CK-07R1A corrected
37+
the exact hosted Python 3.14 lifecycle-tail blocker; the linked CK-07R1A0
38+
source-digest authority must be merged and exact-main verified before the
39+
existing CK-07R1 worker may resume. PR #394 remains stale failed read-only.
3840
Retained R3 evidence proved the EvidenceService outer query
3941
physically unbounded; CK-08R3A owns that isolated fix and R3 awaits its
4042
accepted, merged, exact-main-verified result.

‎docs/INDEX.md‎

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -28,9 +28,13 @@ CK-07R1A0 is accepted at exact main `519b503aa3b23019033b6481687c08b23fc6c31e`.
2828
Its transition authority makes the planner-valid receipt a CK-07R1 successor
2929
acceptance output rather than a pre-dispatch dependency. PR #394 remains a
3030
stale failed read-only witness; it is not updated, rerun, or merged. CK-07R1
31-
is Conditional Ready only after this authority merges and exact-main verifies;
32-
no other successor is advanced. Reclassification and maintainability remain
33-
open. The central authority is
31+
is held behind the linked [source-digest authority](decisions/evidence/ck07r1a0/lifecycle-source-digest-authority.json),
32+
which freezes predecessor `408d18e4…` to the permitted successor
33+
`d192c858…` and requires exact-main worker revalidation before any one-run
34+
gate can be considered. CK-07R1 is Conditional Ready only after that
35+
source-digest authority merges and exact-main verifies; no other successor is
36+
advanced and the one-run gate remains unspent. Reclassification and
37+
maintainability remain open. The central authority is
3438
[REMAINING_EXECUTION_PLAN.md](roadmap/REMAINING_EXECUTION_PLAN.md).
3539

3640
## Authority set

‎docs/decisions/evidence/ck07r1a0/lifecycle-source-digest-authority.json‎

Lines changed: 158 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,158 @@
1+
{
2+
"schema": "codex-usage-tracker.lifecycle-source-digest-authority.v1",
3+
"authority_version": 1,
4+
"owner": "CK-07R1A0",
5+
"authority_base_sha": "d911b1f0d17596890a6a0a608be904330c96e9a6",
6+
"source_path": "src/codex_usage_tracker/agent_kernel/publication/preparation.py",
7+
"predecessor": {
8+
"sha256": "408d18e44c87da234d220c29298ebac1780e9426e2dce767b0bfc3ae65e8a872",
9+
"accepted_merge_sha": "d911b1f0d17596890a6a0a608be904330c96e9a6",
10+
"authority": {
11+
"path": "docs/decisions/evidence/ck08r0/corrective-gates-v1.json",
12+
"sha256": "8f2bc6762b3b12f3c42ad72fb23ccaa49bfde3124280082fa65766bb9ceb9936"
13+
}
14+
},
15+
"selected_successor": {
16+
"sha256": "d192c858b48e44b5aa7a7e39ef524e5ec2f08085655fe485639f5e875a727aa1",
17+
"status": "permitted_not_accepted",
18+
"blocked_task": "019fbfe2-8fe4-7de2-9264-d58572366727",
19+
"retained_branch": "feature/ck-07r1-lifecycle-path-requalification",
20+
"retained_worktree": "2026-08-01/codex-usage-tracker-ck07r1-lifecycle-path-requalification",
21+
"base_sha": "d911b1f0d17596890a6a0a608be904330c96e9a6",
22+
"witness_status": "retained_uncommitted_read_only",
23+
"diff_identity": {
24+
"modified": [
25+
{
26+
"path": "src/codex_usage_tracker/agent_kernel/publication/preparation.py",
27+
"from_sha256": "408d18e44c87da234d220c29298ebac1780e9426e2dce767b0bfc3ae65e8a872",
28+
"to_sha256": "d192c858b48e44b5aa7a7e39ef524e5ec2f08085655fe485639f5e875a727aa1",
29+
"patch_sha256": "7961e6922f7088a5ca1970ef9fa2a1762364dc257b0f751e87546feaa44e9a01"
30+
}
31+
],
32+
"untracked": [
33+
{
34+
"path": "scripts/benchmark_ck07r1_lifecycle_scale.py",
35+
"sha256": "c0cd2d64109b4b39340699b153d6645dc11aaa6185151cd4b38c9320244eaea5"
36+
},
37+
{
38+
"path": "tests/agent_kernel/publication/test_lifecycle_scale.py",
39+
"sha256": "66d464a4348ef83ced7c2bff20c218393e7e2485ca11d40ef84630e06efce608"
40+
}
41+
]
42+
}
43+
},
44+
"allowed_scope": {
45+
"files": [
46+
"src/codex_usage_tracker/agent_kernel/publication/preparation.py",
47+
"scripts/benchmark_ck07r1_lifecycle_scale.py",
48+
"tests/agent_kernel/publication/test_lifecycle_scale.py"
49+
],
50+
"lifecycle_symbols": [
51+
"codex_usage_tracker.agent_kernel.publication.preparation._WriteSetPreparer._build_lifecycle"
52+
],
53+
"forbidden_files": [
54+
"src/codex_usage_tracker/agent_kernel/publication/planner.py",
55+
"src/codex_usage_tracker/agent_kernel/publication/writer.py",
56+
"src/codex_usage_tracker/agent_kernel/publication/recovery.py",
57+
"src/codex_usage_tracker/agent_kernel/storage/",
58+
"src/codex_usage_tracker/agent_kernel/query/",
59+
"src/codex_usage_tracker/agent_kernel/evidence/"
60+
]
61+
},
62+
"reachable_consumer_path": {
63+
"producer_to_preparation": [
64+
"codex_usage_tracker.agent_kernel.publication.writer.prepare_write_set_from_changes",
65+
"codex_usage_tracker.agent_kernel.publication.preparation.prepare_write_set",
66+
"codex_usage_tracker.agent_kernel.publication.preparation._WriteSetPreparer.prepare",
67+
"codex_usage_tracker.agent_kernel.publication.preparation._WriteSetPreparer._build_lifecycle"
68+
],
69+
"preparation_to_consumer": [
70+
"PublicationWriteSet.lifecycle",
71+
"codex_usage_tracker.agent_kernel.publication.recovery.publish_small_with_pointer",
72+
"codex_usage_tracker.agent_kernel.publication.writer.PublicationWriter.publish_with_pointer",
73+
"codex_usage_tracker.agent_kernel.publication.writer.PublicationWriter.publish"
74+
],
75+
"required_ordering": "recovery_read_first; planner_before_writer_lock; selected_plan_unchanged_through_writer",
76+
"mismatch_result": "fail_closed_before_acceptance_no_stitched_artifacts_or_cross_run_identity_binding"
77+
},
78+
"independent_truth": {
79+
"reference_path": "tests/agent_kernel/contracts/reference/lifecycle.py",
80+
"reference_symbol": "fold_lifecycle",
81+
"vector_tests": "tests/agent_kernel/contracts/test_lifecycle_vectors.py",
82+
"consumer_tests": [
83+
"tests/agent_kernel/publication/test_preparation.py",
84+
"tests/agent_kernel/publication/test_lifecycle_scale.py"
85+
],
86+
"required_comparisons": [
87+
"lifecycle transition identity and version",
88+
"independent fold state and transition count",
89+
"publication lifecycle counts and postconditions"
90+
],
91+
"forbidden_sources": [
92+
"codex_usage_tracker.agent_kernel.publication.preparation",
93+
"codex_usage_tracker.agent_kernel.publication.planner",
94+
"codex_usage_tracker.agent_kernel.publication.writer",
95+
"codex_usage_tracker.agent_kernel.publication.recovery",
96+
"SQLite rows as expected answers"
97+
]
98+
},
99+
"worker_revalidation": {
100+
"required": true,
101+
"worker_task": "019fbfe2-8fe4-7de2-9264-d58572366727",
102+
"start": "fresh worktree from the exact merged main SHA of this authority",
103+
"reapply": "deliberately reapply the retained candidate diff; never rebase, stash, reset, clean, delete, overwrite, or mutate the witness",
104+
"checks_before_end_to_end_run": [
105+
"verify the exact-main predecessor digest",
106+
"verify the selected successor digest after reapplying the retained candidate",
107+
"verify the exact candidate base, changed paths, and lifecycle symbol",
108+
"run all focused authority, digest, schema, DAG, and scope gates",
109+
"run the worker pre-run gates before considering the one-run gate"
110+
],
111+
"different_digest": "fail_closed",
112+
"one_run_gate": "unspent_unavailable_until_authority_merge_exact_main_and_all_worker_pre_run_gates_pass"
113+
},
114+
"preserved_authority": {
115+
"path": "docs/decisions/evidence/ck07r1a0/lifecycle-path-authority.json",
116+
"sha256": "315f143661efa89f572484a7fc1e17754be5537c143fa2be1d97a041ad7b44b1",
117+
"schema_path": "docs/decisions/evidence/ck07r1a0/lifecycle-path-authority.schema.json",
118+
"schema_sha256": "181fa2290457e1149764b5f5952559838e70d4f81a512bc920aeb52592fc7856",
119+
"writer_only_receipt_digest": "935e4427b93e67c5ca649b773b0b3895dafac87f49bc76d7ed8917dff2f0250d",
120+
"prior_attempt_ids": [
121+
"all-profile-initial-serializer",
122+
"all-profile-corrected-serializer-tail-oracle",
123+
"all-profile-pid-60367-recovery",
124+
"production-only-valid-profile"
125+
],
126+
"preservation": "all prior attempt identities, timestamps, failures, receipts, and statuses remain retained read-only and are never reused or upgraded"
127+
},
128+
"pr_394_policy": {
129+
"number": 394,
130+
"head_sha": "98a9b5b82951d136644a5fe5f8a70d320131ba08",
131+
"workflow_run_id": "30685780055",
132+
"failed_job_id": "91331138768",
133+
"failure": "ordinary.2000_call_tail",
134+
"status": "stale_failed_superseded_read_only",
135+
"policy": "do_not_update_rerun_merge_or_reinterpret"
136+
},
137+
"runtime_budgets_ms": {
138+
"first_publication_30_day": 5000,
139+
"production_all_time": 120000,
140+
"no_change": 100,
141+
"one_call_tail": 500,
142+
"one_tool_tail": 500
143+
},
144+
"package_ceilings_bytes": {
145+
"sdist": 2000000,
146+
"wheel": 1000000
147+
},
148+
"maximum_new_end_to_end_runs": 1,
149+
"run_status": "unspent_unavailable",
150+
"constraints": [
151+
"generic_digest_drift_forbidden",
152+
"any_different_preparation_digest_fails_closed",
153+
"selected_successor_is_permitted_not_accepted",
154+
"candidate_witness_is_retained_uncommitted_read_only",
155+
"worker_must_revalidate_on_exact_merged_main_before_any_end_to_end_run",
156+
"no_new_worker_or_downstream_ready_task_from_this_authority"
157+
]
158+
}

0 commit comments

Comments
 (0)