-
Categorical consistency (terms used consistently).
-
Logical consistency (no contradictions among claims).
-
Empirical correspondence (matches observable facts or warranted models).
-
Operational repeatability (a sequence of actions could reproduce the claim).
-
Scope disclosure (domain, limits, and uncertainty are stated).
-
Normalize terms, check internal consistency, surface contradictions.
-
Map claims to procedural checklists (operationalization).
-
Enumerate missing warrants and unknowns (scope gaps).
-
Failure: Vague categories (“justice,” “harm”) remain undeflated.
-
Mitigation: Force operational definitions and demonstrated-interest referents (“harm = imposed cost to body/time/property/opportunity without reciprocal compensation”).
-
Are you imposing costs on others’ demonstrated interests?
-
Is there consent or compensation?
-
Do you expose others to risks you don’t bear (moral hazard, adverse selection)?
-
Is informational asymmetry used to extract rents?
-
Are externalities insured (warrantied) or dumped onto commons?
-
Represent parties, interests, transfers, and exposures as graphs.
-
Run symmetry checks (who pays? who gains? who risks?).
-
Propose compensating terms (insurance, bonding, escrow, restitution).
-
Failure: Hidden externalities or future risks not modeled.
-
Mitigation: Force prospective disclosure (“list foreseeable externalities”), then bind with warranty/insurance clauses.
-
If claims pass Truth and Reciprocity checks, the feasible set is non-empty.
-
If multiple feasible options remain, apply lexicographic tie-breaks aligned with Natural Law (see below).
-
If Truth or Reciprocity fails, return undecidable (insufficient warrant) or irreciprocal (inadmissible).
-
Convert residual options into a partial order using tie-break criteria: harm minimization → reversibility → liability coverage → productivity (positive-sum) → aesthetics/culture.
-
Select the lexicographically minimal violation candidate.
-
Sovereignty in demonstrated interests (no uncompensated invasions).
-
Reciprocity (symmetry of cost/benefit/risk).
-
Restitution/Insurance (liability coverage for errors/externalities).
-
Productivity (choose options increasing total cooperative surplus).
-
Excellence/Beauty (if ties remain, prefer options that raise standards/culture).
-
Score candidates against the fixed order, eliminate violators, select first admissible.
-
Output warranty and remedy terms with the choice.
-
Failure: Disguised preference smuggled into criteria.
-
Mitigation: Require auditable justification at each step, with explicit rejections of discarded options.
-
Emit a minimal certificate: inputs, applied tests, pass/fail, selected option, warranties, residual risks.
-
Translate certificate into domain-appropriate narrative (legal brief, policy memo, ethical ruling, literature critique).
-
We replace numbers with symmetry tests.
Cardinals are sufficient but unnecessary. Pairwise symmetry and warranty decisions produce cooperative equilibria without numeric utility.
-
We enforce closure and commensurability.
Truth + Reciprocity creates a closed, common measurement grammar for testimony and exchange. This prevents topic drift and “narrative inflation.”
-
We separate feasibility from preference.
Decidability prunes to feasible actions; Judgment orders those actions by a public rule rather than private taste.
-
We emit a reproducible proof object.
Explanation provides the audit trail so results can be checked, taught, and revised—core to science as a moral discipline.
-
terms_normalized: […]
-
claims: [{text, category, warrant, operational_procedure}]
-
consistency_checks: {categorical: pass/fail, logical: pass/fail}
-
correspondence: {observations/models cited}
-
scope: {domain, uncertainty, limits}
-
parties: [A, B, …]
-
demonstrated_interests: {A:[…], B:[…]}
-
transfers: [{from, to, good, cost, risk}]
-
symmetry_audit: {externalities, asymmetries, info_gaps}
-
compensation_plan: [{term, who_bears, bond/insurance}]
-
status: pass/fail
-
feasible_set: [option_1, option_2, …]
-
lexi_order: [sovereignty, reciprocity, liability, productivity, excellence]
-
selected: option_k
-
attached_warranties: […]
-
certificate: {inputs, tests_applied, outcomes, selection_rationale, remedies, residual_risks, reversal_conditions}
-
Truth: Define “misinformation” operationally (false, unfalsifiable, or un-warranted claims with public risk). Verify instances; list warrants and counters.
-
Reciprocity: Map parties (platform, account, audience). Externalities = public harm; asymmetry = platform’s power vs user’s speech. Compensation? Provide appeal, correction window, and liability channel for demonstrable harms.
-
Decidability: Options: (O1) No action; (O2) Label; (O3) De-rank; (O4) Suspend.
-
Judgment: Sovereignty (avoid overreach) → Reciprocity (mitigate harm symmetrically) → Liability (appeal/bond) → Productivity (preserve discourse) → Excellence (truth norms). Select O2 Label + O3 De-rank with appeal & correction (compensation).
-
Explanation: Emit certificate: evidence list, tests passed/failed, chosen remedy and reversal condition (if corrected, ranking restored).
-
Boycott / Cooperate / Predate are the exhaustive strategies.
-
Truth prevents informational predation.
-
Reciprocity prevents material predation.
-
Decidability yields a cooperative feasible set.
-
Judgment selects cooperative maxima within constraints.
-
Explanation distributes the proof so others can replicate the cooperative rule.
-
Lock the operational definition template (Truth).
-
Lock the symmetry/warranty checklist (Reciprocity).
-
Lock the lexicographic priority (Judgment).
-
Lock the certificate format (Explanation).
-
“This is just deontology in disguise.”
No; it is operational constraint satisfaction under reciprocity with liability and warrants—closer to law + markets than to maxims.
-
“Without numbers, it’s still subjective.”
We replace cardinality with public symmetry tests and warranty terms. That is objective enough for cooperation and court.
-
“LLMs hallucinate.”
Hallucination is loss of closure. The fixed schemas force closure by structure: missing warrants → undecidable, not invented.