Skip to content

A decision and its provenance survive the session: the next session finds them in its context and handover, reuses a standing conclusion instead of consulting again, and reopens it only on new evidence

Consultation reduces repeated reasoning instead of multiplying it. A later session reads

declared statusdeclared status: guaranteed Declared deterministic and blocking, implemented, and naming the behavioural test that is to prove it. Whether a recorded run supports it is the evidence verdict, shown beside it.

recorded evidencerecorded evidence: not run Declared guaranteed, and not supported by a recorded run: the test is named, and no passing run of the current inputs is recorded. how evidence is recorded

the scripted advisor of session B would hang if it were asked, so reuse is proven by the absence of a consultation.

What it means

Consultation reduces repeated reasoning instead of multiplying it. A later session reads what was decided, on what evidence and who reviewed it, and does not ask the same question again unless something it did not know before has turned up.

How it works

Records live in the checkout's reasoning store. reasoning.status (apps/majordomus-cli/src/reasoning/state.rs) derives the report that majordomus context prints under REASONING and majordomus handover --derive writes under Reasoning. A plan for an assessment whose subject matches one with a standing conclusion returns reuse_prior and selects nobody, unless the assessment declares new_evidence; the new conclusion then names the old one in supersedes.

How to see it

majordomus context            # ## REASONING — Decision …, reviewed by …
majordomus handover --resolve # # Reasoning

test/cases/734_reasoning_survives_the_session.sh hands over from session A to session B, proves B consults nobody, continues and validates, and reopens on new evidence.

What it does not cover

Subjects are matched by their normalised text, not by meaning; two phrasings of one question are two subjects. Records are checkout state: another machine sees them through a handover published over the mesh, not by reading the store.

Why it exists

A decision whose reasons live only in a finished conversation is rediscovered by every session that meets it, at the cost of another round of consultations (ADR 0098).

Detail rendered from docs/claims/reasoning-survives-the-session.md.

From the statement to the proof

  1. 1 · the public statement

    A decision and its provenance survive the session: the next session finds them in its context and handover, reuses a standing conclusion instead of consulting again, and reopens it only on new evidence

    Made on Reasoning.

  2. 2 · the canonical claim

    reasoning-survives-the-sessiondeclared status: guaranteed in docs/CLAIMS.yaml

    Defined in read it on this site · docs/REASONING.md

  3. 3 · the implementation

    apps/majordomus-cli/src/reasoning/state.rs

  4. 4 · the test and the scenarios

    Test: test/cases/734_reasoning_survives_the_session.sh

  5. 5 · the recorded runs

    recorded evidence: not run how evidence is recorded

Verify it yourself

The test runs in a disposable temporary repository and asserts the behaviour, not a string in the source.

from a clone of the repository
bash test/run.sh 734_reasoning_survives_the_session

Searches the titles and descriptions of every page this site publishes.