Admissibility frontier · Edition 3

Expanded claim page · assertion 2 of 2

How to challenge a claim

Ledger / governanceAuditor

Preserves provenance, status, stopping rules and navigation. checks assumptions, certificates, counterexamples and stopping rules.

Exact assertion

For a physical claim, also ask what prepared the state, what the measuring port couples to, which limits are taken and whether the quoted response belongs to the stated dynamics. The QWZ audit is the model example: the numerical quadrature was correct, but the stationary state of the written bath made the claimed response vanish.

What this commits us to

The claim organizes provenance, scope or stopping rules. It governs how evidence is read rather than adding independent physical evidence.

Logical anatomy

Scope

Chapter “Provenance and reading map”, section “How to challenge a claim”. This is assertion 2 of 2 in that section.

Evidence posture

Use this passage to inspect provenance, scope and stopping rules rather than as independent physical evidence.

Research move

checks assumptions, certificates, counterexamples and stopping rules.

Verification route

  1. Recover the declared objects and assumptions from the controlling documents.
  2. Check the calculation, construction, obstruction or stopping rule on those same objects.
  3. Compare the source conclusion with the exact assertion above; do not strengthen its verbs or enlarge its domain.
  4. Apply the status rule and retain every named external dependency.

What would move or defeat this claim

Find a provenance mismatch, stale status, broken link or stronger source that changes the ledger entry.

Source map

Controlling documents