Skip to content

Read at

A snapshot: read at commit 707a04c7ce8 on 2026-10-18T00:01:48Z by majordomus 0.29.0. Nothing on this page is read again. See it live

Evidence

Truth over assumptions: each claim with the test that settles it.

Every claim the product makes, judged against the revision presented, with the findings that keep a claim from holding.

  • Claims247evidence.report /claims
  • Findings0evidence.report /findings
  • Revisionworking_treeevidence.report /presented/revision
  • Ledger runs634evidence.report /ledger/executions

Claim

One claim of the product, with what proves it and how to see it again.

advisor-failure-is-recorded-and-recovers

An advisor that times out, is rate limited, refuses its credential or answers malformed is recorded as exactly that, never blocks the work, opens a circuit that closes again after its cooldown, and never fails the session

provenguaranteedClose

A passing run, and nothing in the repository has changed since it — the tree in front of you is the tree the run measured.

Said in
docs/REASONING.md
Implemented by
apps/majordomus-cli/src/reasoning/availability.rs
Settled by
test/cases/733_advisor_failure_and_recovery.sh
Last run
pass 142 s · 707a04c7ce · clean
Reproduce
bash test/run.sh 733_advisor_failure_and_recovery

Changed since it was proven

Nothing it names has changed since its proof.

Also proved by the same test

The test proves this claim alone.

Runs the ledger holds

OutcomeSecondsCommitTreeAt
pass142707a04c7ceclean2026-10-17 21:37:21Z

evidence.claim481 msAPI/api/v1/evidence/claimCLImajordomus evidence claimMCPmajordomus_evidence_claimtechnical view

Claims without a verdict

The claims the report could not settle, by why.

247claims
  • no test12
  • proven235

evidence.report300 msAPI/api/v1/evidenceCLImajordomus evidence showMCPmajordomus_evidencetechnical view

Findings

What keeps a claim from holding, as the report found it.

Every claim holds.

evidence.report300 msAPI/api/v1/evidenceCLImajordomus evidence showMCPmajordomus_evidencetechnical view

Claims

The product's claims with the test that settles each.

ClaimStateSettled by
a-candidate-is-routed-by-what-it-is-aboutEvery candidate derived from an observation carries a route — platform, enforcement, generator, documentation or project — derived from its subject's structure and never from its wording, and in a repository that adopted the tool its own share/ routes projectproventest/cases/982_a_candidate_is_routed_by_what_it_is_about.sh
a-diagram-is-named-linked-and-addressableEvery Mermaid diagram of the built site gets an id (diagram-<name>), the list of its nodes, the viewer's controls and a link for each node that is the identity of an object the site has a page for, all derived at build; a link toproventest/cases/3006_diagrams_are_interactive_and_linkable.sh
a-finding-names-how-to-see-it-againEvery finding a command reports names the command that reproduces itproventest/cases/138_governance_gates.sh
a-session-records-what-it-observedknowledge observe records one observation.recorded ledger line with its kind, subject, statement and typed evidence references, inside an open episode, inside a task or outside one, and refuses any other shape, or the absence of an episode, without writingproventest/cases/980_a_session_records_what_it_observed.sh
a-skipped-case-is-not-a-proofA test case that declines to run is reported as a skip and recorded as one, so the evidence ledger can never read a case that asserted nothing as the proof of the claim it namesproventest/cases/413_a_skipped_case_is_not_a_proof.sh
adr-catalogueAn architecture decision is one file under the layer's adrs section, validated against the decision contract, with an identity nothing else claims, reciprocal supersession, and every reference it makes resolvingproventest/cases/99_adr.sh
adr-proposemajordomus adr propose writes a decision with status proposed and refuses to write any other status, allocates its identity under a lock so concurrent workers never collide, and records what the decision was derived fromproventest/cases/99_adr.sh
adr-traceabilityA decision states what it put in force as typed references, each one validated, and the reverse direction — what a rule, a document, an implementation or a case was decided by — is read from the knowledge graph rather than written down a second timeproventest/cases/99_adr.sh
advertised-install-command-worksThe install command this project advertises is fetched and run from the published site every night and on request, and the run that asked for it is red while it does not install a working toolproventest/cases/97_install_gate.sh
advice-is-weighed-not-countedAdvisors that disagree never decide by count: a conclusion is refused while a disagreement on its assessment is unsettled, a resolution needs evidence, and every answer received must be weighedproventest/cases/732_disagreement_is_settled_by_evidence.sh
advisor-failure-is-recorded-and-recoversAn advisor that times out, is rate limited, refuses its credential or answers malformed is recorded as exactly that, never blocks the work, opens a circuit that closes again after its cooldown, and never fails the sessionproventest/cases/733_advisor_failure_and_recovery.sh
advisor-transports-share-one-contractEvery advisor transport is held to one contract — typed failures, deadlines, cancellation, normalised answers, reported usage, redacted secrets — proven against fakes with no network, model or credentialproventest/cases/731_advisor_transport_contract.sh
advisors-are-declared-onceAdvisors are declared once, in share/advisors.yaml, by reference to the provider table and the model catalogue; a new advisor reaches the command line, the policy, HTTP, OpenAPI, MCP and the Cockpit with no consumer editedproventest/cases/735_a_new_advisor_needs_no_consumer_edit.sh
ai-layer-manifestThe repository's AI layer is one directory whose manifest names every section, readable without the toolproventest/cases/01_init.sh
an-observation-becomes-a-grouped-candidateEach observation an episode recorded becomes, at that episode's end and with no model, a candidate of its own that says what it is about, and knowledge candidates groups the records about one subject with the episodes behind them; an episode that observed nothing records that it found nothingproventest/cases/981_an_observation_becomes_a_grouped_candidate.sh
archive-fidelityAn archive that lost the file modes fails rather than travellingproventest/cases/130_archive.sh

evidence.report300 msAPI/api/v1/evidenceCLImajordomus evidence showMCPmajordomus_evidencetechnical view