Skip to content

Every repository-relative reference in the always-loaded file is proven to resolve

The always-loaded instruction file may point workers at other files (docs/DESIGN.md, .ai/repo/rules/README.md). doctor extracts every repository-relative Markdown link from it and checks the target exists. A worker following a broken pointer wastes a session on a file that is not there.

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

What it means

The always-loaded instruction file may point workers at other files (docs/DESIGN.md, .ai/repo/rules/README.md). doctor extracts every repository-relative Markdown link from it and checks the target exists. A worker following a broken pointer wastes a session on a file that is not there.

How it works

lib/doctor.sh scans the always-loaded projection for ](path) links that are not absolute URLs and tests each against the filesystem relative to the file's directory. Each unresolved reference is a failing finding naming the path.

How to see it

printf '\nSee [design](docs/MISSING.md).\n' >> AGENTS.md
majordomus doctor
# FAIL projection  AGENTS.md — content differs from its own stamp (hand-edited?)
# FAIL links       AGENTS.md — reference docs/MISSING.md does not resolve  [reproduce: ls docs/MISSING.md]

What it does not cover

Only the always-loaded file is checked, and only file paths; anchors within files and external URLs are not verified.

Why it exists

The source environment's instruction hubs accumulated over a hundred dangling references and headlined five onboarding scripts that did not exist as the recommended workflow. The linter that finally caught them had a single sharp line: an unresolvable reference is an error.

Detail rendered from docs/claims/pointer-integrity.md.

From the statement to the proof

  1. 1 · the public statement

    Every repository-relative reference in the always-loaded file is proven to resolve

    Made on Doctor.

  2. 2 · the canonical claim

    pointer-integritydeclared status: guaranteed in docs/CLAIMS.yaml

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

  3. 3 · the implementation

    lib/doctor.sh · majordomus doctor

  4. 4 · the test and the scenarios

    Test: test/cases/03_update.sh

    Executed in Keep every provider bootstrap thin, generated and within budget.

  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 03_update

Where this claim is used

responsibilities it covers

Related claims same implementation

The moments this answers

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