SITE 68 - CONSTITUTIONAL CONSEQUENCE KERNEL

Machines may reason freely. Power over reality must have legitimate objects, compatible rights, conserved authority and obligations, bounded irreversibility, and provable endings.

Site 68 is the disclosed semantic freeze candidate before proof-assistant mechanization. It closes object identity, rights geometry, obligation continuity, irreversibility, truth-class and revocation-exposure gaps without claiming legal judgment or external validation.

Inspect Site 68 manifest Reference admission

Reference admission

ALLOW_EFFECT

A synthetic robot movement is admitted only because object identity, MOVE + OPERATE rights, obligation lineage, proof-gated irreversibility and an empirical predicate all pass simultaneously.

IDENTITY: ESTABLISHED_SAME
RIGHTS: ALLOW
OBLIGATION: DELEGATED
IRREVERSIBILITY: ALLOW
PREDICATE: FINAL
TCB LINES: 777

Fifteen constitutional laws

FREEZE CANDIDATE

The intended next step is formal proof of this small semantic core, not another expansion cycle.

PROOF_OBLIGATION

Consequential execution does not prove its required ending.

AUTHORITY_GENESIS

Every consequence right traces to an accepted governing authority.

REALITY_IDENTITY

Identifiers do not silently collapse into the same real object.

NON_AMPLIFICATION

Delegation cannot broaden authority.

AUTHORITY_CONSERVATION

Delegation cannot multiply aggregate consequence authority.

OBLIGATION_CONSERVATION

Delegation cannot silently erase unresolved obligations.

RIGHTS_COMPATIBILITY

Effects requiring multiple rights need their compatible intersection; prohibition dominates.

IRREVERSIBILITY_BOUND

Irreversible consequence cannot exceed the currently justified budget.

PROOF_BEFORE_POWER

Higher consequence tranches may depend on prior proof checkpoints.

PREDICATE_SEPARATION

Empirical, normative and adjudicative truth are not interchangeable.

REALITY_COMMIT

FINAL requires authoritative support for governing predicates.

UNCERTAINTY_DOMINANCE

Material unresolved uncertainty cannot be converted into success.

CONTRADICTION_DOMINANCE

A governing contradiction prevents FINAL.

REOPEN

Later governing contradiction invalidates downstream reliance.

HISTORICAL_INTEGRITY

Compensation and supersession append history and never rewrite it.