background gif

Reference · Model scope

Claims

ENI6MA’s strongest Technology statements are model-scoped: they hold under named axioms and the reference architecture (including burn-before-validate). This page lists the affirmative claim classes those pages point to.

~4 min overview · ~2 min formalContinue: Axioms

Strong words · named assumptions

Read the affirmative claims column first: empty-channel mutual information under named axioms, replay dying at burn, and capture ≠ knowledge. Assumptions and reference architecture sit beside the claims so absolute words stay scoped. Takeaway: Claims list what we affirm under the model.

How to read absolute language

When we say “impossible” or “zero,” we mean under a named model and deployment pattern. Absolute mechanism claims point at axioms P1–P4 and the reference architecture. Formal symbols such as I and O live in the notation table.

Affirmative claim classes

Summary classes, not a substitute for Math or Axioms pages.

Affirmative Technology claim classes with examples and scope
Claim classExampleScope
Empty channel MII of X semicolon O given C equals 0Axioms + construction assumptions
Replay denialProbability of accepting a replay equals 0Burn-before-validate architecture
Capture ≠ compromiseI effective equals 0Observer model
One-shot authorityStolen transcript ≠ capabilityFreshness + burn

Where to deepen