PMFA
← Return to Index
038

Contracts Are Executable

Contracts are not documents. They are executable rules enforced by the system at runtime.
Version 1.0.0 — Ratified

A contract is not documentation. A contract is executable law.

If a contract cannot be enforced by the system, it is a story—not a rule.

I. The Fiction of “Human-Enforced Contracts”

Many systems assume:

contracts live in PDFs

humans enforce violations

systems merely “support” agreements

This is outdated.

At scale, law must execute automatically.

II. Contracts Define Authority

A contract answers:

who may do what

under which conditions

for how long

with what remedies

These are execution rules.

Rules that are not enforced do not exist.

III. Non-Executable Clauses Are Lies

If a clause cannot be:

detected

evaluated

enforced

audited

It is performative text.

Performative text creates false security.

IV. Contracts Must Bind the System First

A lawful system:

enforces contracts internally

before exposing APIs

before accepting intent

before producing outcomes

External enforcement is last resort.

Internal enforcement is governance.

V. Contracts Must Be Versioned

Contracts change.

A lawful system records:

which contract version applied

when it changed

which actions were governed by which version

Retroactive enforcement is illegal unless declared.

VI. Contracts Must Be Observable

Execution of contracts must be:

visible

explainable

attributable

auditable

A contract that cannot explain its enforcement cannot be trusted.

VII. Contracts Must Be Replayable

Replay must show:

the same contract terms

the same evaluations

the same violations

the same remedies

If replay depends on interpretation, audit fails.

VIII. Smart Contracts Are Not Enough

Code is not law unless it expresses policy.

“Smart” without governance is automation of mistakes.

Contracts belong in:

kernel policy

registry rules

executable constraints

Not only on blockchains.

IX. Final Conclusion

Contracts are executable.

A lawful system:

treats contracts as enforceable rules

rejects non-executable clauses

versions contract logic

enforces contracts before action

records and replays contract evaluation deterministically

Anything else relies on trust where enforcement is required.

Canonical text. Interpretations are invalid.
SHA-256: d488d77cefbc6fffb7fc8b058efebb820c55342cb4a3ffa75ab1805900a6e45d