-
Enforceable (must be possible to act upon)
-
Decidable (must be possible to determine application)
-
Computable (must be possible to decide without discretion)
-
Turing computability: machine-executability of algorithms
-
Economic computability: optimization across preferences
-
Mathematical computability: symbolic logic under axioms
-
All terms are operational (reducible to observable human actions)
-
All claims are testifiable (falsifiable, warrantable)
-
All judgments are non-discretionary (repeatable across agents)
-
All costs are reciprocally insurable (no unaccounted imposition)
-
All agents are symmetrically liable under the same rules
-
Truth: via correspondence, operationalization, and testimony
-
Morality: via reciprocity in display, word, and deed
-
Law: via transformation of claims into operational sequences
-
Institutions: via algorithmic enforcement of constraint
-
Speech: via testimonial standards and liability
-
Input: Demonstrated interest, claim, or act
-
Process: Operational reduction + adversarial testing
-
Output: Reciprocal judgment
-
Trust decays with population size
-
Law fragments with institutional capture
-
Morality dilutes with inclusion
-
Fraud grows with complexity
-
Constraint scales with information
-
Trust persists despite anonymity
-
Morality becomes decidable
-
Law resists interpretation
-
Bureaucracy self-perpetuates
-
Judiciary inflates discretion
-
Legislatures create unfalsifiable law
-
Media obscures cost
-
Legislation must be operational
-
Judgment must be reproducible
-
Testimony must be warrantable
-
Constraint scales with information
-
Truth is enforced without hierarchy
-
Institutions resist narrative capture
-
Cooperation becomes testable and universal