I3130 — The ledger answers how many false dones finish caught, by doctrine, with the tasks it counted

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

Part of the-product-shows-what-it-caught — What finish caught is counted from the ledger and compared on the benchmark, never asserted.

Cíl

Declare one read capability in the gates family that aggregates task.refused and task.finished from this checkout's ledger: tasks accepted, tasks refused at least once before acceptance (false dones caught), refusals per doctrine, tasks refused and never accepted, and the time from first refusal to acceptance, each with the task ids behind it; project it to CLI, HTTP and MCP by majordomus generate.

Proč

share/events.yaml says task.refused exists because 'a refusal that was later satisfied is a false done that was caught'; the 2026-10-13 assessment named exactly that the primary product metric. The producer exists; there is still no reader. On 2026-10-18 the primary checkout's ledger held 2 task.refused lines and the linked worktrees' ledgers held 127 (recount: `git worktree list --porcelain | awk '/^worktree /{print $2}' | while read w; do cat \"$w/.ai/local/state/ledger.jsonl\" 2>/dev/null; done | grep -c '\"event\":\"task.refused\"'`), so one checkout's ledger is not a meaningful denominator. The term 'accepted' already belongs to I0401, and the Rust side already has a ledger reader to build on. Proposed in ADR 0208 (The product's value is stated as the false dones its finish caught, beside the friction it cost) (proposed; it carries no authority until the owner accepts it). Sources: chatgpt-majordomus:c256#2, chatgpt-majordomus:c119#7.

Aktuální stav

lib/finish.sh:108 appends task.refused to $MJ_STATE_DIR/ledger.jsonl; lib/history.sh:158 prints it line by line; gates.completion judges a single task; apps/majordomus-cli/src/ledger.rs reads the ledger; no aggregate exists.

Cílový stav

A gates.caught (name per the registry's conventions) capability with a typed answer, absence of a ledger reported as not observed, and a unit test over a fixture ledger.

Rozsah

• apps/majordomus-cli/src/capability/builtin/gates.rs
• docs/EVIDENCE.md
• apps/majordomus-cli/src/ledger.rs
• docs/claims/finish-refusal-is-recorded.md
• docs/CLAIMS.yaml
• .ai/repo/project/intents

Mimo rozsah

• Publishing the figure on the public site
• Any tracked copy of the ledger
• Preserving the ledger of a worktree removed after landing; the answer covers ledgers that exist when it runs
• Recording a finish --check forecast event (I2949's to decide)

Závislosti

• I0401✕BLOKOVÁNO Definovat přijatý výsledek a spojit ho s jeho měřeními, aniž by se spojení ukládalo

Co na tom čeká

• I3131✕BLOCKED A refusal answered by no change to the tree is not counted as a caught false done
• I3132✕BLOCKED /ui shows what finish caught beside what being caught cost, and says not observed where there is no ledger

Kritéria přijetí

• Over a fixture ledger the capability returns the expected counts and task ids for accepted, caught, by-doctrine and never-accepted
• A checkout with no ledger answers not observed, never zero
• The capability is declared once and appears on every transport from majordomus generate alone
• The aggregate reads every checkout `git worktree list` reports, the primary included, and the answer names each ledger read with its task.* line count
• Not observed means no task.* event in any ledger read; a missing ledger, or one holding only other events, never reads zero
• The aggregate is built on ledger::read and Entry; no new JSONL parser is added, and corrupt lines are reported as ledger::read counts them
• Accepted uses I0401's written definition of an accepted outcome; I3130 defines none of its own
• The answer types a class for each refusal (caught, unanswered, downgraded, digest unknown) and assumes no tree-only rule; a refusal that predates the answer digest reads digest unknown
• The answer states it counts finish refusals only, and that finish --check forecasts are not counted
• docs/claims/finish-refusal-is-recorded.md and docs/CLAIMS.yaml no longer say the refusal counts nothing on its own, and a claim for the aggregate is added
• Criterion false-dones-are-counted of the intent carries evidence: test with ref apps/majordomus-cli/tests/gates_caught.rs

Validace

• bash test/run.sh 32_refusal_lifecycle
• majordomus generate --check

Požadované důkazy

• test_gates_caught

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/I3130.yaml. Read it back with majordomus plan show I3130.