I3425 — A standing conclusion is reused only while the files it cites are unchanged since it was recorded

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

Part of an-inference-names-its-source-and-budget — Every inference a decision rests on names its model and source, stays inside a declared budget, counts independent sources rather than answers, and is never reached from a hook path.

Cíl

Before reusing a prior conclusion on the same subject, compare each file evidence reference it cites, at the conclusion's recorded head, with the current tree, and check an optional declared age window. When a cited file has changed or the window has passed, plan review again and name the evidence that moved.

Proč

The owner's 2026-10-19 Cognitive Fabric pack allows identical reasoning to be cached only within safe scopes and explicit validity windows (campaigns/prismatic-way-cognitive-fabric-prompt-pack/prompts/04_REASONING_MESH.md).

Aktuální stav

prior_on_subject (apps/majordomus-cli/src/reasoning/store.rs:446-497) matches subjects after folding whitespace and case. The policy reuses the conclusion unless the caller declares new_evidence (policy.rs:408-419). The envelope keeps head (record.rs:925) and evidence references (record.rs:123-130), and neither is used for validity.

Cílový stav

The reuse outcome carries the head it validated against. A changed cited file yields a consult or local-review plan with reason evidence_changed, naming the file. An unchanged tree behaves as today.

Rozsah

• apps/majordomus-cli/src/reasoning/policy.rs
• apps/majordomus-cli/src/reasoning/store.rs
• apps/majordomus-cli/src/capability/builtin/reasoning.rs
• docs/REASONING.md

Mimo rozsah

• Hashing non-file evidence
• Expiring records from the store

Závislosti

• I3423✕BLOCKED docs/REASONING.md maps the pack's routing levels onto the existing plan outcomes and modes, and a test fails when an outcome is missing from that mapping

Co na tom čeká

• I3421✕BLOCKED A reasoning plan over the task's declared token or time budget consults nobody and says that the budget decided

Kritéria přijetí

• With the cited files unchanged, the plan reuses as today
• With a cited file changed since the conclusion's head, the plan does not reuse and names the file
• A conclusion older than a declared window is not reused, and the plan says so

Validace

• cargo test --manifest-path apps/majordomus-cli/Cargo.toml --lib reasoning
• bash test/run.sh 734_reasoning_survives_the_session

Požadované důkazy

• a_conclusion_whose_evidence_moved_is_not_reused

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