I3250 — Before drafting work the planner says whether a criterion is met, met but unproven, or unmet, and drafts proof-only work where only proof is missing

✕BLOKOVÁNO vlna 1 · p3 · profil implementation · bezpečné paralelně

Part of an-unmet-criterion-is-drafted-into-work — An unmet criterion is drafted into work from the evidence, and the draft is the same on every run.

Cíl

Classify each criterion before drafting: met (current evidence), unproven (implementation reachable from its ref, evidence not_run or stale), unmet; an unproven criterion drafts one issue whose only scope is the evidence it lacks.

Proč

2026-10-08 critique: without this, intent-driven becomes issue-driven with a costlier ritual. Proposed in ADR 0192 (Replanning is bounded, idempotent and never weakens its intent) (proposed; it carries no authority until the owner accepts it). Sources: chatgpt-majordomus:c198#11.

Aktuální stav

IntentEvidenceState distinguishes current, stale, failing, not_run, not_derivable, unresolved; drafting does not exist.

Cílový stav

The draft says per criterion which class it is in and why.

Rozsah

• apps/majordomus-cli/src/intent_plan.rs
• apps/majordomus-cli/src/intent.rs
• apps/majordomus-cli/src/evidence/freshness.rs
• apps/majordomus-cli/src/intent_realization.rs
• apps/majordomus-cli/src/capability/builtin/intents.rs
• apps/majordomus-cli/tests/intent_plan.rs

Závislosti

• I3246○READY The evidence half of a gap is drafted from the ledger, and a second draft at one commit is the same

Kritéria přijetí

• A criterion with a stale passing test drafts a proof-only issue whose scope is that test
• A met criterion drafts nothing

Validace

• majordomus plan validate
• majordomus intent validate

Požadované důkazy

• test_proof_only_work_is_drafted

Důkazy

Nic nezaznamenáno. Za každým tokenem výše musí stát příkaz nebo artefakt, než lze tento úkol dokončit; vyprávění se odmítá.

Časová osa

zahájeno

—

ověřeno

—

dokončeno

—

Tato tři pole, důkazy výše a stav závislostí jsou vše, z čeho se stav skládá. Neexistuje žádné pole stavu, které by s nimi mohlo být v rozporu.

Canonical record: .ai/repo/project/issues/I3250.yaml. Read it back with majordomus plan show I3250.