OIC/ZTL maturation rebase — reflect current semantic boundary - #42
OIC/ZTL maturation rebase — reflect current semantic boundary #42inventor1975 wants to merge 2 commits into
Conversation
DOCUMENTATION + CONTRACT UPDATED RUNTIME ADAPTER STILL BLOCKED Front door (dated supersession, historical text retained unchanged): - README.md, STATUS.md: PR #40 merged 2026-09-06; bounded candidate admission and provisional interpretation are present on main; semantic implementation has not started; ZTL runtime attachment remains BLOCKED. New architecture documents: - docs/architecture/OIC-ZTL-MATURATION-DELTA-001.md - docs/architecture/OIC-ZTL-LAYER-OWNERSHIP-001.md - adapters/ztl/CURRENT-STATE-001.md - docs/darpa/OIC-ZTL-DARPA-CROSSWALK-001.md Currentness ownership stated as an ownership rule, not a logic claim: ZTL may reason over supplied epoch, expiry, revocation and currentness facts; ZTL does not create institutional currentness, validity, expiry authority or revocation authority. No ADR text was rewritten to accommodate it. Not done, deliberately: - No semantic runtime implementation is introduced. No adapter, no envelope constructor, no receipt producer, no canonical-formula path: the lawful input does not exist, and its absence is a result to preserve. - No schema promotion. src/oic/** and schemas/draft/** are untouched. - docs/contracts/kernel-profiles/ztl-v0.1.json is untouched; its historical tag names remain historical evidence. - docs/capabilities/CAPABILITY_MATRIX.json is untouched. It cannot represent the ZTL boundary without breaking its own gate: adding a single restrictive ceiling key makes scripts/verify_code_start_gate.py fail with "evidence ceiling expanded". Returned as a frozen-evidence limitation, not forced. - KILL-Z8 and KILL-Z9 remain OPEN / UNGUARDED. No test is fabricated against a component that does not exist. No Tier-1 reproduction claim is made; tier_1_reproduction remains NOT ESTABLISHED. No independent review is claimed. No DARPA hypothesis is moved from UNTESTED. Claim wording remains subject to curator review before merge. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
BASE ADVANCED AFTER FREEZE — SUCCESSOR RECONCILIATION. Not a defect in 8f32e53: that commit remains valid as the historical APPLY-001A state and is preserved as this merge's first parent. No rebase, no amend, no force-push. Parents: - 8f32e53 frozen APPLY-001A state (OIC/ZTL maturation rebase) - 8ebac66 main after PR #41, "Acknowledge validated post-merge OIC state" Conflict: README.md and STATUS.md, on the same lines both changes touch. Resolution. PR #41 did not merely replace the pre-merge wording; it added a fail-closed guard (STALE_PRE_MERGE_PHRASES in tests/contract/test_claims_discipline.py) against reintroducing it, and requires the front door to carry exact Gate G anchors read from the live capability matrix. The earlier instruction to keep the stale sentence alive under a dated supersession is therefore withdrawn as incompatible with the new main, and the historical state is preserved by git history and PR #41 rather than by a false line in the current front door. Kept from #41: Gate G PASS, the PR #40 merge fact, exact candidate/tree/merge anchors, ceilings and exclusions, absence of stale pre-merge phrases, and the new anti-staleness controls. Kept from #42: the two matured sides and the missing semantic middle; bounded candidate admission; provisional interpretation; current ZTL maturity; ZTL RUNTIME ATTACHMENT = BLOCKED; the three absent transitions; links to the maturation, layer-ownership, current-state and DARPA documents; the claim ceiling; tier_1_reproduction = NOT ESTABLISHED. Two statements of ours became objectively false through #41 and were corrected, nothing else was touched: - "The section below says a merge remains pending" — it no longer does. - the heading "Current status (historical — superseded)" was labelling #41's current Gate G text as historical. Restored to "Current status". Unchanged, deliberately: docs/contracts/kernel-profiles/ztl-v0.1.json, every ADR, src/oic/**, schemas/**. No ZTL representation added to CAPABILITY_MATRIX; the representation gap stands as a result, and #41's Gate G promotion evidence is accepted as the new base state. KILL-Z8 and KILL-Z9 remain OPEN / UNGUARDED. Validation after merge: repository gate PASS; 1731 passed, 1 declared skip, 1 workstation lock-drift failure that is not an OIC failure. No repository failures. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
veraxis-protocol
left a comment
There was a problem hiding this comment.
Request changes before merge.
Canonical GitHub CI is green: all 9 jobs passed, with 1,732 tests passed and 1 declared skip. The remaining blockers are documentation identity and claims consistency:
-
Replace references describing
c4a325c5/ treeb8e31ec4as currentmain. PR #42 is based onmain@8ebac66965997748061d8cc0f1bfde73cb7b216a, tree6e450750d7b6b1d1f0b493b050ed7d866d42b264. If the older pair is intentionally retained, label it explicitly as the Gate-G-validated PR #40 merge state, not current main. -
docs/architecture/OIC-ZTL-MATURATION-DELTA-001.mdsaysdocs/capabilities/CAPABILITY_MATRIX.jsonwas “corrected minimally in this change,” but the matrix is not changed and the PR description correctly says it remains untouched. Correct the document. -
Replace unqualified “semantic implementation has not started” wording with “production semantic implementation has not started.” The same new block states that bounded candidate admission and provisional interpretation are materially implemented, so the present wording is internally contradictory.
-
Update the PR validation section: the workstation dependency-lock failure is environmental evidence, but canonical GitHub CI passed all jobs and reported 1,732 passed / 1 declared skip.
Do not merge this PR yet. Keep it open while the separate OIC bounded-results/README evidence update is completed. Then rebase PR #42 onto the resulting main and rerun the full review and CI sequence. No runtime, capability-matrix, benchmark-status, or claim-ceiling expansion is authorized.
DOCUMENTATION + CONTRACT UPDATED
RUNTIME ADAPTER STILL BLOCKED
No semantic runtime implementation is introduced.
No Tier-1 reproduction claim is made.
No historical kernel profile is rewritten.
What this changes
The repository described a merge as pending that had already happened, and described ZTL
through a July dossier. It also did not say, at the front door, where the OIC↔ZTL boundary
actually is. This change makes the repository truthful about the architecture that already
exists. It adds no runtime code and promotes no schema.
Front door — dated supersession, historical text retained.
README.mdandSTATUS.mdgain dated current-state blocks above the historical wording, which is kept. They establish
only: PR #40 merged 2026-09-06; bounded candidate admission and provisional interpretation are
present on
main; semantic implementation has not started; ZTL runtime attachment remainsblocked.
Four architecture documents.
docs/architecture/OIC-ZTL-MATURATION-DELTA-001.mddocs/architecture/OIC-ZTL-LAYER-OWNERSHIP-001.mdadapters/ztl/CURRENT-STATE-001.mddocs/darpa/OIC-ZTL-DARPA-CROSSWALK-001.mdThe state they describe
Two matured sides and one missing centre, all three true at once:
terminal states, recomputable receipts, provisional interpretation;
dossier;
admission → stable admitted proposition → evidence-bearing formalization.
The repository therefore becomes both more mature and more explicitly incomplete, in the right
place. That is not a contradiction; it is the architecture's actual state.
ZTL RUNTIME ATTACHMENT = BLOCKEDfollows from the missing centre, and from nothing else. Itis corroborated by three artifacts already in the repository:
scripts/verify_code_start_gate.py("broader production semantic gate BLOCKED"),
CAPABILITY_MATRIX.json(
production_semantic_gate: "BLOCKED"), anddocs/gates/OIC-SEMANTIC-CODE-START-GATE-CLOSURE-v0.1.md("SEMANTIC IMPLEMENTATION HAS NOTSTARTED").
Currentness ownership
Stated as an ownership rule, not a logic claim, and not by rewriting any ADR:
Deliberately not done
src/oic/**andschemas/draft/**untouched. No adapter, no envelopeconstructor, no receipt producer, no canonical-formula path — the lawful input does not
exist, and its absence is a result to preserve rather than conceal.
docs/contracts/kernel-profiles/ztl-v0.1.jsonuntouched. Its historical tag names remainhistorical evidence; a tag recovered in September does not retroactively replace them.
docs/capabilities/CAPABILITY_MATRIX.jsonuntouched. It cannot carry the ZTL boundarywithout breaking its own gate: adding a single restrictive ceiling key makes
scripts/verify_code_start_gate.pyfail withevidence ceiling expanded. Returned as arepresentation gap rather than forced into one field.
components that do not yet exist. They are not a defect count and are not grounds to say the
current code is unsafe.
Validation
scripts/verify_code_start_gate.py→ PASS, exit 0.gitignored local receiptscase. The failure istest_installed_versions_match_the_dev_lock, which compares installed distributions againstrequirements/dev.txt; the drift is the executing workstation's, not this repository's. Norepository failures. The same three figures hold at the unmodified base.
Claim wording remains subject to curator review before merge. Do not merge.