Admissibility frontier · Edition 3

Expanded claim page · assertion 2 of 2

A compact vocabulary

Ledger / governanceTranslator

Preserves provenance, status, stopping rules and navigation. moves a structure between mathematical, physical or ordinary languages.

Exact assertion

These words name different jobs. A carrier does not select itself; a positive spectrum does not define a boundary domain; an index does not cancel an anomaly; and an experimental sensitivity does not predict a residue.

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 “Concept atlas”, section “A compact vocabulary”. 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

moves a structure between mathematical, physical or ordinary languages.

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