Admissibility frontier · Edition 3

Expanded claim page · assertion 1 of 2

Faces and the off-diagonal channel

EstablishedCartographer

Follows from declared assumptions and has an inspectable certificate. maps territory, distinctions, dependencies and interfaces.

Exact assertion

A two-by-two response has two diagonal entries—its faces—and one off-diagonal channel connecting them. Positivity constrains the channel by the two faces, just as the diagonal length of a rectangle is constrained by its sides. Peirce decomposition is the algebraic name for separating those diagonal and connecting pieces.

What this commits us to

The stated conclusion follows inside the declared model. Reusing it elsewhere requires carrying the same object definitions, assumptions and typing.

Logical anatomy

Scope

Chapter “One carrier, two faces, three relations”, section “Faces and the off-diagonal channel”. This is assertion 1 of 2 in that section.

Evidence posture

Audit the declared carrier, assumptions and certificate. The result is exact only within that written scope.

Research move

maps territory, distinctions, dependencies and interfaces.

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

Locate a mismatched definition, an omitted assumption, a failed certificate step or a counterexample on the declared carrier.

Source map

Controlling documents