I3423 — 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

✕BLOKOVÁNO vlna 3 · 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

Document the pack's four routing levels (deterministic, cheap local, reasoning peer, multi-peer critique) in docs/REASONING.md as a mapping onto the existing PlanOutcome values and modes, and name the level that has no producer today. Add a unit test in policy.rs that fails when a PlanOutcome variant is absent from the mapping table. Add no field, no setting and no noun.

Proč

The owner's 2026-10-19 Cognitive Fabric pack declares routing tiers and asks for existing modes to be enriched, not replaced (campaigns/prismatic-way-cognitive-fabric-prompt-pack/contracts/ECONOMICS.md). Rule project.no-new-nouns forbids a new tier vocabulary, so the mapping is documentation of the existing outcomes, enforced by a test.

Aktuální stav

PlanOutcome (apps/majordomus-cli/src/reasoning/policy.rs:182-205) distinguishes deciding locally, reusing and consulting. models.route picks the first declared model (apps/majordomus-cli/src/models/mod.rs:241-244), and local vendors declare no model (share/models.yaml:15). .ai/repo/rules/project/no-new-nouns.v1.md forbids new tiers.

Cílový stav

A reader of docs/REASONING.md finds where each pack level lands. A new PlanOutcome variant without a row fails the test.

Rozsah

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

Mimo rozsah

• A tier field on the plan
• Running any local model
• A new mode or settings tree

Závislosti

• I3419✕BLOCKED A conclusion's independent review count counts distinct sources, defined as adapter plus recorded model, so two answers from one source are one review

Co na tom čeká

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

Kritéria přijetí

• The mapping names every PlanOutcome variant and the mode in which each occurs
• The unit test fails when a variant is added without a row (shown once by a local mutation, then reverted)
• The mapping states that the cheap local level has no producer until the local-inference work lands

Validace

• cargo test --manifest-path apps/majordomus-cli/Cargo.toml --lib reasoning::policy
• bash test/run.sh 730_reasoning_works_with_no_advisor
• majordomus reasoning check

Požadované důkazy

• every_plan_outcome_is_mapped

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