marcopanandClaude Opus 4.8
c4d130828f
Implementazione del piano di remediation progressiva sui difetti emersi dall'analisi dell'harness. Tutto verificato: 214 test Python (incl. L0 su Postgres reale), 14 test JS del gate, ruff pulito. Blocco 1 (CRITICA, integrazione gate↔CLI): - phase advance: gate usa --auto + exit 6; reviewer_confirm kind:phase fa advance esplicito che applica i prerequisiti (prima non avanzava per le fasi a conferma umana). - cte plan riceve i --name dal gate (param names); set-question con id posizionale; skill `tht search find`; nuovo comando `tht memory save-one` con dedup hash client-side in save_one_memory. Blocco 2 (D15, stato post-rollback): - campo `phase` su DecisionRecord + effective_decisions phase-aware per i subject "a nome" (cte_approved ecc.); _compute_promotions e finalize sulla vista effective; finalize confronta col piano CTE effettivo, non glob; `decision add --retracts` + comando `decision retract`. Blocco 3 (D7 read-only + D6 manifest): - assert_read_only su tutti e quattro i codepath (direct + REST); - manifest author/summary/updated_at/updated_by/schema_version popolati + helper touch_manifest sulle mutazioni. Blocco 4-5 (D14a/D14b): - decision_min_phase data-driven via `emits:` in workflow.yaml; - formula evidence: status auto, search_formulas, gruppo CLI `tht formula`, `search find --kind formula`, load_evidence_dir salta i .sql.md. Blocco 6 (robustezza): - taskdoc slice promoted_tables + bound enforced; report escaping/bound + rsplit note; filtro kind reader REST/direct; conteggio upserted robusto; guard REST run_query non-list; LSH disallineato -> LshIndexError. Blocco 7 (pulizia): - dead code gate e KIND_TO_TABLE morto rimossi; doc Postgres-only (README + connection.py). Blocco 0 (parziale): test di compatibilità firma gate↔CLI (tests/integration). Rinviati: fake-Pi runtime completo, artifact-gate da disco (#23), parità eligibility REST/direct (#28), unificazione reserved-labels (#30), memory_rejected da deselezione (#33). Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
75 lines
2.4 KiB
YAML
75 lines
2.4 KiB
YAML
# harness/workflow.yaml — single source of workflow truth (spec F2, §5.3)
|
|
# phase.py, il gate e la skill leggono tutti da qui. Nessuna costante duplicata.
|
|
# Editare questo file per cambiare il workflow (aggiungere/riordinare/fondere/skip fasi).
|
|
|
|
schema_version: 1
|
|
|
|
# `emits` elenca i decision type sostanziali prodotti da ciascuna fase: e' la fonte
|
|
# data-driven di decision_min_phase (la fase minima in cui un tipo e' ammesso),
|
|
# usata da require_phase_or_exit per rifiutare decisioni fuori fase. I tipi meta
|
|
# cross-fase (phase_approved/auto_approved/reopened/skipped, decision_retracted)
|
|
# non vanno elencati: restano ammessi da qualunque fase.
|
|
phases:
|
|
- id: F1
|
|
name: chiarimento
|
|
advance: kind:phase
|
|
prerequisites: []
|
|
artifacts_out: []
|
|
emits: [concept_clarified, ambiguity_open]
|
|
- id: F2
|
|
name: memoria
|
|
advance: auto_if_empty
|
|
prerequisites: []
|
|
artifacts_out: []
|
|
emits: [memory_rejected]
|
|
- id: F3
|
|
name: riscrittura
|
|
advance: kind:phase
|
|
prerequisites:
|
|
- decision_exists: question_rewritten
|
|
artifacts_out: [question.md]
|
|
emits: [question_rewritten]
|
|
- id: F4
|
|
name: schema_linking
|
|
advance: reviewer_decide
|
|
prerequisites: []
|
|
artifacts_out: [schema_linking.json]
|
|
emits: [table_promoted, table_excluded, column_corrected, join_modified,
|
|
evidence_accepted, evidence_rejected, value_grounded,
|
|
concept_formula_approved, concept_formula_rejected]
|
|
- id: F5
|
|
name: sintesi
|
|
advance: kind:phase
|
|
prerequisites:
|
|
- file_validates: [schema_linking.json, SchemaLinking]
|
|
artifacts_out: []
|
|
emits: []
|
|
- id: F6
|
|
name: cte
|
|
advance: auto_if_empty_or_skipped
|
|
prerequisites:
|
|
- any:
|
|
- decision_subject_exists: [phase_skipped, "phase:6"]
|
|
- all_ctes_approved: true
|
|
artifacts_out: [cte_plan.json, ctes/, cte_tests.json]
|
|
emits: [cte_approved, cte_corrected, cte_rejected]
|
|
- id: F7
|
|
name: sql_finale
|
|
advance: kind:phase
|
|
prerequisites:
|
|
- decision_exists: sql_approved
|
|
artifacts_out: [sql_final.sql]
|
|
emits: [sql_revised, sql_approved, sql_rejected]
|
|
- id: F8
|
|
name: datamart
|
|
advance: reviewer_decide
|
|
prerequisites:
|
|
- any:
|
|
- decision_exists: datamart_requested
|
|
- decision_exists: datamart_declined
|
|
artifacts_out: []
|
|
emits: [datamart_requested, datamart_declined]
|
|
|
|
decision_min_phase: auto
|
|
max_phase: auto
|