ETHICS — X-ALIGNMENT ENGINE

X-Ethics Framework

An ethics layer grounded in formal axioms — not policy documents. Ethics you can verify, not just trust.

Axioms derived from Patrick Müller’s Traktat X, used under license. The full mathematics remains private — by design. millerlab.io

01 — AXIOMS, NOT GUIDELINES

A different approach

X-Ethics is built on a simple observation: logic itself requires a foundation. You cannot use rationality to deny the preconditions of rationality. This is not a philosophical opinion — it is a structural necessity.

The framework rests on a chain of 10 formal axioms. Each axiom builds on the previous ones, creating a logically grounded system. Here is what they establish — without revealing the formal notation:

INFORMATION THEORY — AXIOMS 1–4

  • Complex systems require structured information — they cannot arise from randomness alone.
  • Information requires an intelligent source — noise does not become signal by accident.
  • Tracing the source of information leads to a necessary, foundational origin.

LOGIC & RATIONALITY — AXIOMS 5–6

  • Objective logical laws are not conventions — they require a necessary ground.
  • Rational thought presupposes logic. Without logic, no reasoning is possible.

EXISTENCE & NECESSITY — AXIOMS 7–9

  • Everything that exists is either necessary or contingent — there is no third option.
  • A purely contingent universe cannot ground objective truths. Necessity must exist.
  • Logic itself implies the existence of something necessary — in all possible worlds.

VERIFICATION — AXIOM 10 (OPERATIONAL EXTENSION, AXIOMSEAL 2026)

  • Nothing is complete without verification. Every claim, every output, every decision must be verified against the framework before it is accepted.
  • Note: Axioms 1–9 are derived from Patrick Müller’s Traktat X (2025). Axiom 10 is an operational extension added by AxiomSeal in 2026 to enforce verification at runtime.

02 — DERIVED THEOREMS

4 derived theorems

From the 10 axioms, four theorems are formally derived using standard logical inference:

T1

Existence implies Necessity

The fact that anything exists at all proves that something necessary must exist. Pure contingency is self-defeating.

T2

Rationality implies the necessary foundation

Anyone who reasons already presupposes the framework. You cannot be rational without it.

T3

Logic implies the necessary foundation

Logic does not float free — it is grounded in necessity. Using logic is implicit acceptance of the framework.

T4

The necessary foundation exists in all possible worlds

In modal logic: there is no possible world without it. The necessity is structural, not stipulated — the same way arithmetic holds in every conceivable universe.

03 — FROM LOGIC TO ETHICS

The bridge

The jump from logic to ethics is not a leap of faith — it is a chain of presuppositions. If rationality presupposes logic (Axiom 6), and logic requires a necessary ground (Axioms 5 and 9), then any system that uses rationality is already committed to four things, otherwise it contradicts itself in use:

  • Truthbecause lying about the world is rationality used against itself.
  • Freedombecause coercion replaces reasons with force, undermining rational discourse.
  • Justicebecause arbitrary treatment of equivalent cases contradicts the universality of logic.
  • Servicebecause logic exists to serve understanding; a system serving only itself is structurally incomplete.

These are not values we picked. They are what rationality has already committed to before the first sentence is spoken. Deny any of them and you are using rationality to attack rationality — the same self-refuting move as denying X.

04 — FOUR PILLARS

The four ethical pillars

From the axioms and theorems, four ethical pillars are derived. These are not chosen by committee — they are structural consequences of the framework. The system uses a proprietary formula in which the four pillars are structurally connected so that violating any single pillar collapses the ethical score — no pillar can be traded against another:

W

Truth

Wahrheit — Every output is oriented toward truth. Deception is structurally penalized. Contradictions are flagged before storage.

F

Freedom

Freiheit — Respects autonomous choice. No coercion, no manipulation. Controlling language collapses the score.

G

Justice

Gerechtigkeit — Fair and dignified treatment of all subjects. No discrimination, no cruelty, no dehumanization.

D

Service

Dienst — AI exists to serve, not to dominate. Every interaction must create genuine value. Exploitation collapses the score.

A note on letters: the pillars are labeled with their original German letters (W · F · G · D) as introduced in Patrick Müller’s Traktat X. The English names are given alongside. We keep the German letters intentionally — the formulation is German in origin, and the math does not change in translation.

The exact mathematical formulas connecting these pillars are proprietary. Enterprise customers can request a technical briefing under NDA. Contact: info@ai-developer.ch

05 — VALIDATION

18 validation tests per memory

Every piece of knowledge stored in AxiomSeal passes 18 automated validation tests. These tests are grouped into three categories and run in sequence. A critical failure (e.g. harmful content) overrides all other scores and blocks the write entirely:

Structure — 6

Coherence · Completeness · Clarity · Relevance · Length · Duplication

Truth — 5

Contradiction against your existing memories · Evidence basis · Hallucination markers · Epistemic honesty · Truthfulness

Semantic depth (LLM judge, 2-of-3 vote) — 4

Logical consistency · Technical depth · Actionability · Completeness depth — an unsure verdict casts no vote

Safety — 3 (critical)

Secret / credential scan (redacted before storage) · Prompt-injection scan · Malice veto — a failure here blocks the write

The verdict is one of four stages: ACCEPT, REQUIRE_CONFIRM, QUARANTINE or REJECT. Quarantined writes wait for a human in the dashboard; every decision is stored with its reasons and appears in the audit trail.

06 — SELF-CONSISTENCY

Why the framework is self-consistent

Traditional AI safety relies on content filters that adversaries can bypass. X-Ethics is different: the logical foundation is self-consistent, and the system actively applies it by flagging violations at write time.

  • No meta-level escape: The higher-order axiom system ensures that even reasoning about reasoning about reasoning presupposes the framework. There is no level of abstraction that escapes the logic.
  • Denial is self-refuting: To argue against the framework, you must use rationality. Rationality requires logic. Logic requires the framework. You assumed what you denied.
  • Active enforcement: Content that violates the four ethical pillars is flagged and surfaced before storage. The system does not just score — it contradicts what contradicts its foundation.

07 — BUILT IN

Built into every AxiomSeal memory

X-Ethics is not an add-on. It runs on every memory write. Each memory receives a quality_score (0.0–1.0) and a quality_tier (Gold / Silver / Bronze / Review), plus the seal that chains it to the memory before it.

Memories that violate X-Ethics are actively rejected — the system refuses to store them and explains why. Memories that contradict existing validated knowledge are detected and flagged. The validator you read about on this page is the one that runs on your writes — there is no separate demo engine.

08 — BI-TEMPORAL MEMORY

Memory that knows when facts changed

Most memory systems store knowledge as flat: a fact is true or absent. AxiomSeal stores three timestamps for every memory, so the system can answer not just “what is true now” but also “what was true on date X” — without pretending stale facts are current.

observed_at

When we first learned the fact.

valid_from

When the fact became true in the world.

valid_to

When the fact stopped being true. NULL = still current.

Production status

  • · Live since 2026-04-21 in the AxiomSeal production schema
  • · 8/8 integration tests pass (as-of, invalidate, supersede flows)
  • · Default queries enforce validity automatically — stale facts are filtered before responses

Read the full bi-temporal docs →

09 — COMPLIANCE

For compliance

X-Ethics is built for the traceability the EU AI Act expects — the Art. 12 logging duties for high-risk systems apply from 2 December 2027, while the Art. 50 transparency duties already apply — and is designed to support requirements under the Swiss nDSG and the EU GDPR. The crosswalk below maps specific obligations to concrete X-Ethics mechanisms:

RegulationRequirementX-Ethics Mechanism
EU AI Act · Art. 9Risk management system18 pre-storage validation tests, run on every memory write
EU AI Act · Art. 13Transparency to deployersPer-memory quality_score + quality_tier, exposed via API and MCP
EU AI Act · Art. 14Human oversightQuarantine + require_confirm tiers route to human review
EU AI Act · Art. 15Accuracy & robustnessCritical tests (secret scan, prompt injection, malice veto) block the write instead of storing it
Swiss nDSG · Art. 21Automated individual decisionsQuarantine stage: a human releases or rejects, the decision is logged
EU GDPR · Art. 22Right to explanationAudit trail: every verdict with the reasons that produced it, exportable

This crosswalk is informational and not a substitute for a legal review of your specific deployment.

10 — HONEST LIMITATIONS

Where the edges are

Glossy marketing pages tend to claim perfect coverage. We don’t. X-Ethics is a tool, not a magic shield, and we want operators to deploy it with their eyes open:

  • Satire, fiction, and academic discussion of harmful topics may be quarantined. The system is conservative on harm-keywords and routes ambiguous cases to human review rather than guessing intent.
  • Highly contextual ethical dilemmas (trolley problems, triage, adversarial hypotheticals) typically score in the require_confirm range. They are not auto-rejected, but they are not auto-accepted either.
  • Multi-step reasoning across separate writes is currently scored per write, not per chain. A planner that decomposes a harmful goal into innocuous-looking sub-steps is harder to catch than a single explicit harmful prompt.
  • Domain-specific factuality (medical, legal, financial) is checked for evidence basis and epistemic honesty, but X-Ethics is not a substitute for domain experts. Authoritative claims still need authoritative sources.
  • Adversaries are creative. Self-consistent logic does not mean self-consistent implementation. We patch flag heuristics on a continuous basis and publish the validation tests so customers can review what is actually checked.

We would rather be transparent about these edges than oversell. The framework is strong; an honest map of where it is strong is stronger than a perfect-score brochure.

11 — FOUNDATIONS

Mathematical Foundations

The axiom system, theorems and the underlying mathematical formulation of X-Ethics are based on “Traktat X — Die Notwendigkeit einer absoluten Norm” by Patrick Müller (2025). The formal mathematics are his original work and are used here with his explicit consent. The runtime implementation, validation pipeline, and operational extensions (incl. Axiom 10) are AxiomSeal’s contribution.

Start building with X-Ethics today

Every AxiomSeal plan includes the full X-Ethics validation pipeline.

Implementation: AxiomSeal v5 · Last revised: September 2026