diff --git a/TODO.md b/TODO.md index d07851f..d811838 100644 --- a/TODO.md +++ b/TODO.md @@ -2,13 +2,6 @@ ## Active tickets -- [ ] [`ticket-076`](project/ticket-076/README.md) — add independently callable - `code2dsl`, `docs2dsl` and `config2dsl` facades that emit strictly validated, - source-limited `t2c.intent/v1` records without running the full pipeline; - preserve extractor SSOT/parity, acyclic module boundaries and descriptive, - no-authority effects under the reviewed Wellmanifest standards. Current - state: `IN_PROGRESS / PUBLICATION`; host, governance and Docker checks pass, - pending protected exact-head delivery. - [ ] [`ticket-054`](project/ticket-054/README.md) — restore skills-agent discovery, prove a todo2code → Repair PR → independent Validator hand-off, then add three bounded todo2code-grounded skills. Current state: @@ -28,6 +21,12 @@ Current state: `PLAN / WAIT_FOR_APPROVAL`. ## Completed tickets +- [x] [`ticket-076`](project/ticket-076/README.md) — publishes independently + callable `code2dsl`, `docs2dsl` and `config2dsl` facades that emit strictly + validated, source-limited `t2c.intent/v1` records. Full host/Docker checks, + Koru, Validator App and protected plan-first governance passed on exact head + `944288f`; PR #92 merged as `main@24ca3a1` and its branch was deleted. Current + state: `DONE / DONE`. - [x] [`ticket-074`](project/ticket-074/README.md) — routes Subactor-owned semantic calls through central SubLLM with direct Z.AI GLM 5.2, OpenRouter fallback ordering and provider-visible identity. Koru, independent GLM-5.2 diff --git a/project/ticket-076/README.md b/project/ticket-076/README.md index 3546e08..a4e011a 100644 --- a/project/ticket-076/README.md +++ b/project/ticket-076/README.md @@ -2,8 +2,8 @@ - **ID**: ticket-076 - **Owner**: unresolved:human -- **Status**: IN_PROGRESS -- **Workflow state**: PUBLICATION +- **Status**: DONE +- **Workflow state**: DONE - **Created**: 2026-08-14 ## Goal and scope @@ -92,8 +92,19 @@ approval is an audit note, not trusted merge authorization. Java test remained skipped because the JDK is not installed. - `./project/governance-check.sh`, `make docker-smoke` and `git diff --check` passed on 2026-08-14. -- The implementation is ready for protected exact-head review and remains - `IN_PROGRESS / PUBLICATION` until that external delivery boundary completes. +- Hosted `verify`, the required JDK fixture and Koru passed on exact final head + `944288f8c6a458ccc26d1d7c13217b84414edbb7`. +- Validator App approved that exact head for PR #92, ticket-076 and correlation + `todo2code-pr-92-ticket-076-history-repair-2`. Its advisory GLM 5.2 opinion + was unavailable, so approval authority rests explicitly on deterministic + evidence. +- The protected `governance / governance / enforce` resolver accepted the + plan-first history and exact-head App review. +- PR #92 merged through the active ruleset as + `main@24ca3a13f0529da99f56ff06b6e992bb34c1dff3`; GitHub automatically deleted + `ticket-076-standalone-source-dsl-apis`. +- This governance-only follow-up closes the integrated ticket without changing + implementation artifacts. ## Non-goals diff --git a/project/ticket-076/ai-codex-logs.txt b/project/ticket-076/ai-codex-logs.txt index e69de29..cf1a9b7 100644 --- a/project/ticket-076/ai-codex-logs.txt +++ b/project/ticket-076/ai-codex-logs.txt @@ -0,0 +1,9 @@ +2026-08-14T16:07Z PR #92 opened at initial head 5cb223823ccd49696614c2bd5750cbe243b81b2f. +2026-08-14T16:11Z Validator failed closed on a credential-shaped inert test fixture. +2026-08-14T16:18Z Validator approved remediated head 3a2aabcf22ee68fc487c51ed8ab8bcba6a14a943; protected governance rejected combined plan and implementation history. +2026-08-14T16:23Z Branch history reconstructed into plan-only b6dcf32, implementation eed8bc1 and remediation 944288f commits with unchanged product bytes. +2026-08-14T16:25Z Hosted verify, required Java and Koru checks passed on exact head 944288f8c6a458ccc26d1d7c13217b84414edbb7. +2026-08-14T16:27Z Validator App approved exact head 944288f8c6a458ccc26d1d7c13217b84414edbb7 for ticket-076; advisory GLM 5.2 was unavailable and deterministic authority remained explicit. +2026-08-14T16:27Z Protected governance resolver passed the exact-head review and plan-first history. +2026-08-14T16:29Z PR #92 merged as 24ca3a13f0529da99f56ff06b6e992bb34c1dff3. +2026-08-14T16:30Z Fetch/prune verified deletion of origin/ticket-076-standalone-source-dsl-apis. diff --git a/project/ticket-076/ai-codex.md b/project/ticket-076/ai-codex.md index 0fa35a0..bf80cd0 100644 --- a/project/ticket-076/ai-codex.md +++ b/project/ticket-076/ai-codex.md @@ -77,6 +77,17 @@ limits are in [STANDARDS.md](STANDARDS.md). branch from `origin/main` so the approved plan and `intent.json` are committed first, implementation follows in a separate commit, and this remediation is last; no product bytes changed during the history repair. +- Re-ran all 433 tests, Docker smoke, module/no-LLM checks and local governance + on reconstructed exact head `944288f8c6a458ccc26d1d7c13217b84414edbb7`. +- Obtained successful Koru, Validator App approval and protected governance + resolution bound to that exact head. The GLM 5.2 advisory opinion was + unavailable because of provider budget; deterministic authority remained + explicit. +- Merged PR #92 under the active ruleset as + `main@24ca3a13f0529da99f56ff06b6e992bb34c1dff3` and verified automatic remote + implementation-branch deletion. +- Closed `DONE / DONE` only in this governance-only follow-up from integrated + `main`. ## Risks diff --git a/project/ticket-076/changelog.md b/project/ticket-076/changelog.md index a155a2f..ac1dcbf 100644 --- a/project/ticket-076/changelog.md +++ b/project/ticket-076/changelog.md @@ -29,3 +29,10 @@ - Reconstructed the published branch into plan-only, implementation and remediation commits after the protected resolver enforced plan-first history; retained the same final product tree. +- Published reconstructed head `944288f8c6a458ccc26d1d7c13217b84414edbb7`, + passed hosted verify, required Java, Koru and protected governance, and + received exact-head Validator App approval. +- Merged PR #92 as `main@24ca3a13f0529da99f56ff06b6e992bb34c1dff3` + and verified automatic deletion of the implementation branch. +- This separate governance-only follow-up closes ticket-076 from integrated + `main`.