I2477 — A claim opens its proof: what settles it, its last run, what changed since, how to see it again

✓DONE wave 2 · p1 · implementation profile · runs alone

Part of development-runtime — The runtime has a development surface.

Objective

Let a reader of majordomus ui open any claim of the product (/ui/evidence?claim=<id>) into an inspector from evidence.claim: what it says and where, its state and what that means, the run behind it, what changed since it was proven, the command that reproduces it, the runs the ledger holds, and the claims its test also proves, each a link.

Why

The owner asked on 2026-10-11 to implement every view of the UI screenshots, maximally interactive (reference 09-evidence; pack v3 M10 evidence trail). The Evidence screen lists claims and findings as rows that open nothing, while evidence.claim already joins one claim to its execution, its changed files, its reproduce command and its sibling claims.

Current state

A claim is a row of the Evidence screen; nothing opens it.

Desired state

?claim=<id> asks evidence.claim for that claim and opens its inspector above the Evidence screen: its id, text, state and status, the meaning of its state, where it is said, what implements it and what settles it, its last run (outcome, seconds, commit, tree) or that it was never run, the files changed since it was proven, the reproduce command, the newest ten runs of its test, and the claims the same test proves, each a link to its own inspector. The Evidence screen's claim and finding rows lead here. A claim the matrix does not declare is shown as the capability's refusal; a value that is no claim id is never asked.

Scope

• apps/majordomus-cli/src/ui/claim.rs
• apps/majordomus-cli/src/ui/evidence.rs
• apps/majordomus-cli/src/ui/mod.rs
• .ai/repo/project/issues/I2477.yaml
• docs/MAJORDOMUS_UI.md
• test/cases/1082_a_claim_opens_its_proof.sh

Dependencies

• I2462✓DONE The UI has every screen, and its mesh is a graph whose nodes open an inspector

Acceptance criteria

• ?claim=<id> opens the inspector with what settles it, its last run, its reproduce command and the claims its test also proves as links
• the Evidence screen's claim and finding rows lead to it
• an undeclared claim is said as the capability's refusal, and a value that is no id is never asked

Validation

• cargo test --lib ui::claim
• test/run.sh 1082_a_claim_opens_its_proof

Evidence required

• ui_claim_unit_tests
• ui_claim_case_1082

Evidence

Timeline

started

2026-10-12T11:01:09Z

verified

2026-10-12T11:01:13Z

completed

2026-10-12T11:01:25Z

Those three fields, the evidence above and the state of the dependencies are all the status is made of. There is no status field to disagree with them.

Canonical record: .ai/repo/project/issues/I2477.yaml. Read it back with majordomus plan show I2477.