docs: record P3+P4 manual acceptance and rebind P4 automated run to e056c19

This commit is contained in:
2026-08-13 04:44:50 +02:00
parent e056c19e62
commit 3397911670
2 changed files with 17 additions and 14 deletions
+12 -9
View File
@@ -7,10 +7,10 @@
> ThothII per il repository (app + CLI `thothctl`), (3) come usare l'applicazione ThothII di base > ThothII per il repository (app + CLI `thothctl`), (3) come usare l'applicazione ThothII di base
> (sessioni, domande, gate). Il documento userà parole semplici ed esempi; i dettagli tecnici > (sessioni, domande, gate). Il documento userà parole semplici ed esempi; i dettagli tecnici
> resteranno nei contratti esistenti. Esempio pratico completo: Policlinico San Donato. > resteranno nei contratti esistenti. Esempio pratico completo: Policlinico San Donato.
Last updated: 2026-08-10 (final verification). Last updated: 2026-08-13 (P3+P4 manual acceptance).
> Point a fresh session here ("read PROJECT_STATE.md") before substantial work. > Point a fresh session here ("read PROJECT_STATE.md") before substantial work.
### P3 effective configuration and `.tht-dwh` — implementation complete, automated PASS, manual PENDING (2026-08-11) ### P3 effective configuration and `.tht-dwh` — implementation complete, automated PASS, manual PASS (2026-08-13)
- **Scope:** P3 (PRD D3): a versioned shared canonicalizer produces the non-secret effective - **Scope:** P3 (PRD D3): a versioned shared canonicalizer produces the non-secret effective
DWH/preprocessing configuration and a stable logical identity DWH/preprocessing configuration and a stable logical identity
@@ -30,8 +30,8 @@
(15/15 checks PASS), bound to clean source commit (15/15 checks PASS), bound to clean source commit
`3b0726472e15c157…`. `3b0726472e15c157…`.
- **Manual gate:** P3 walkthrough in `docs/testing/p2-p6-manual-verification.md`; decision - **Manual gate:** P3 walkthrough in `docs/testing/p2-p6-manual-verification.md`; decision
**PENDING**. P4 starts only after an explicit new authorization. **PASS** (owner approval 2026-08-13).
### P4 Qdrant collection lifecycle — implementation complete, automated PASS, manual PENDING (2026-08-12) ### P4 Qdrant collection lifecycle — implementation complete, automated PASS, manual PASS (2026-08-13)
- **Scope:** P4 (PRD D4): one shared TypeScript collection manager owns the Qdrant collection - **Scope:** P4 (PRD D4): one shared TypeScript collection manager owns the Qdrant collection
and payload-index contract; session admission self-heals a missing collection (1024/cosine + and payload-index contract; session admission self-heals a missing collection (1024/cosine +
@@ -48,13 +48,16 @@
`backend/src/workspaces/runtime-config-lease.ts` (lease exposes `semanticQdrantUrl`), `backend/src/workspaces/runtime-config-lease.ts` (lease exposes `semanticQdrantUrl`),
`backend/src/workspace-maintenance.ts` + `preprocessing-service.ts` (`vector-inspect`/`vector-rebuild` `backend/src/workspace-maintenance.ts` + `preprocessing-service.ts` (`vector-inspect`/`vector-rebuild`
operator commands), `tools/thothctl/internal/workspaceops/operations.go` (+tests). operator commands), `tools/thothctl/internal/workspaceops/operations.go` (+tests).
- **Automated acceptance:** PASS 11/11 (run `p4-3a001f83fae22fe72056dc52e5ff63b5`, - **Automated acceptance:** PASS 11/11 (run `p4-466bbfdea9ef3111f36baa99fc2d64aa`,
report `.artifacts/p4-integration/...` retained via `--keep`): preflight, clean_state, ownership, report `.artifacts/p4-integration/p4-466bbfdea9ef3111f36baa99fc2d64aa/` retained via `--keep`,
qdrant_up, self_heal_create_missing, self_heal_repairs_missing_index, incompatible_refused, bound to clean source commit `e056c19e6214254a9e3b2390e24c389920b84e95`): preflight, clean_state,
require_existing_refused, rebuild_recreates_contract, secret_scan, cleanup_confinement. ownership, qdrant_up, self_heal_create_missing, self_heal_repairs_missing_index,
incompatible_refused, require_existing_refused, rebuild_recreates_contract, secret_scan,
cleanup_confinement.
- **Gates:** backend 666/666 + tsc clean; Go build+test 9/9; p4 runner unit tests 3/3; harness - **Gates:** backend 666/666 + tsc clean; Go build+test 9/9; p4 runner unit tests 3/3; harness
841 passed (only the two pre-existing debt failures unchanged). 841 passed (only the two pre-existing debt failures unchanged).
- **Manual acceptance:** PENDING — walkthrough section P4 in `docs/testing/p2-p6-manual-verification.md`. - **Manual acceptance:** PASS (owner approval 2026-08-13) — walkthrough section P4 in
`docs/testing/p2-p6-manual-verification.md`.
### P2 host preprocessing CLI — implementation complete, automated PASS, manual PENDING (2026-08-11) ### P2 host preprocessing CLI — implementation complete, automated PASS, manual PENDING (2026-08-11)
+5 -5
View File
@@ -58,7 +58,7 @@ Decision: **PENDING** (independent manual gate; automation never records PASS).
## P3 — Effective configuration and `.tht-dwh` ## P3 — Effective configuration and `.tht-dwh`
**Status:** P3 implementation complete; automated integration PASS; manual acceptance PENDING. **Status:** P3 implementation complete; automated integration PASS; manual acceptance PASS (owner approval 2026-08-13).
Manual goal: prove that the operator CLI and application sessions derive the same effective Manual goal: prove that the operator CLI and application sessions derive the same effective
configuration, that a content-only revision reuses the prepared DWH generation (fast, `unchanged`), configuration, that a content-only revision reuses the prepared DWH generation (fast, `unchanged`),
@@ -81,10 +81,10 @@ Checks:
records remain workspace-wide; records remain workspace-wide;
6. documentation: `docs/contracts/tht-dwh.md` matches the observed behavior. 6. documentation: `docs/contracts/tht-dwh.md` matches the observed behavior.
Decision: **PENDING**. Decision: **PASS** (owner approval 2026-08-13).
## P4 — Qdrant bootstrap and guarded rebuild ## P4 — Qdrant bootstrap and guarded rebuild
**Status:** instructions to be finalized by P4 implementation; not yet runnable. **Status:** superseded by the "P4 Qdrant collection lifecycle" section below (implemented; manual acceptance PASS).
Manual goal: prove admission creates a missing compatible collection and indexes, refuses an Manual goal: prove admission creates a missing compatible collection and indexes, refuses an
incompatible collection, and permits destructive rebuild only under durable maintenance with no incompatible collection, and permits destructive rebuild only under durable maintenance with no
@@ -100,14 +100,14 @@ Checks to fill during P4:
6. successful drained rebuild; 6. successful drained rebuild;
7. interrupted rebuild recovery with maintenance retained. 7. interrupted rebuild recovery with maintenance retained.
Decision: **PENDING**. Decision: **PASS** (owner approval 2026-08-13; see the section below).
## P4 Qdrant collection lifecycle ## P4 Qdrant collection lifecycle
Manual goal: verify admission self-heal and the guarded rebuild through the real product surface. Manual goal: verify admission self-heal and the guarded rebuild through the real product surface.
Checks to complete during P4 manual acceptance (decision: **PENDING**): Checks to complete during P4 manual acceptance (decision: **PASS** (owner approval 2026-08-13)):
1. On a fresh installation with no Qdrant collection, a session admission creates the 1. On a fresh installation with no Qdrant collection, a session admission creates the
descriptor collection with exactly 1024 dimensions, cosine distance, and the 8 required descriptor collection with exactly 1024 dimensions, cosine distance, and the 8 required