EVIDENCE · THE LEDGER
Written once, in order, never edited.
Every judgement Korrex makes, in the order it made them. Every other screen in the product is a view onto this one sequence.
THE LEDGER IS THE PRODUCT · EVERYTHING ELSE IS A PROJECTION
I · THE ENTRYSIX FIELDS · ALWAYS IN THIS ORDER
One entry per event.
Six fields, always present. A field that cannot be filled is stated as unresolved — never omitted, and the entry is never written without it.
NO OPINION · NO COMMENTARY · NO AUTHOR BUT THE MACHINE
FIELDSHAPEWHY IT IS THERE
ACTOR
⟨class⟩ : ⟨identity⟩ · standing ⟨held | without⟩
Class is human, agent, or voice. Standing is the prior question — an actor without it is held before its act is judged at all.
EVENT
⟨class⟩ at ⟨boundary⟩ · ⟨commitment⟩
What was attempted, where it crossed, and what it would bind the enterprise to. Named by what it is, never by who raised it.
AUTHORITY
⟨counterparty⟩ / ⟨agreement:type⟩ / ⟨clause⟩ → ⟨rule@version⟩
The full lineage the judgement rests on. Never a bare clause — see II.
VERDICT
⟨allow | escalate | deny | held⟩
Closed set of four. Three are judgements. HELD is the absence of one — standing failed, or the event was never evaluable. An entry that is not a judgement — a decision, an amendment, a correction — carries no verdict; every entry is recorded all the same.
EVIDENCE
⟨reference⟩* · ⟨unresolved⟩*
What the verdict was computed from, and what was missing. An absent input is recorded as absent, never inferred.
DISPOSITION
⟨executed | held | decided by ⟨actor⟩⟩
What followed. A human decision names the human; that name is the delegation being exercised, and it is permanent.
II · THE ADDRESSFOUR LINKS · ALL REQUIRED
Korrex never cites a clause. It cites a lineage.
A clause named on its own has no force without the instrument it sits in, and no scope without the party that agreed to it.
A CITATION MISSING ANY LINK IS NOT ADMISSIBLE EVIDENCE
COUNTERPARTY
→
⟨legal entity⟩
The party that agreed. Trading names resolve to it; it does not resolve to them.
AGREEMENT
→
⟨instrument⟩ : ⟨type⟩
The signed instrument, and the class of work it governs. Two agreements with one party differ by type.
CLAUSE
→
⟨provision⟩ @ ⟨effective⟩
A provision inside that instrument, live for a stated period. An amended cap is two clauses, not one.
RULE
⟨compiled⟩ @ ⟨version⟩
The executable form of that clause. Versioned, so any past judgement can be replayed exactly.
A CITATION IS THE WHOLE CHAIN
⟨counterparty⟩ / ⟨agreement:type⟩ / ⟨clause⟩ → ⟨rule@version⟩
Read left to right: who agreed, in what instrument of what type, at which provision, compiled to which version of which rule. Drop the type and two agreements with the same party become indistinguishable. Drop the version and the judgement cannot be replayed.
III · THE RUNNING LEDGERTHE SCHEMA ABOVE, RUNNING
Identical shape, whoever the actor was.
Sequence never breaks and entries never change, whether the actor was a person, an agent, or a voice on a live call.
IDENTITIES SHOWN AS THEIR CLASS · WHAT THEY ARE, NOT WHO
SEQACTORAUTHORITY CITEDVERDICT
⟨n⟩
AGENT
⟨counterparty⟩ / ⟨supply:parts⟩ / ⟨spend cap⟩ → ⟨rule@v⟩
Within cap, contracted supplier, evidence attached. Executes; nobody is asked.
ALLOW
⟨n+1⟩
VOICE
⟨counterparty⟩ / ⟨service:roadside⟩ / ⟨exclusion⟩ → ⟨rule@v⟩
Committed aloud on a live call to work the agreement excludes. Judged before it binds.
DENY
⟨n+2⟩
AGENT
⟨standing: without⟩ — no mandate resolves to this actor
Not judged on merit. The prior question failed, so the act is held on entitlement.
HELD
⟨n+3⟩
HUMAN
⟨counterparty⟩ / ⟨service:workshop⟩ / ⟨after hours⟩ → ⟨rule@v⟩
The clause names an hour the document never states. The machine declines and names who must decide.
ESCALATE
⟨n+4⟩
HUMAN
decision on ⟨n+3⟩ — bounded, by ⟨delegation⟩
Assurance. The delegation exercised is part of the record, permanently.
—
⟨n+5⟩
SYSTEM
amendment to ⟨service:workshop⟩ / ⟨after hours⟩ → ⟨rule@v+1⟩
Prospective only. ⟨n+3⟩ still stands under v. This class of anomaly does not return.
—
⟨n+6⟩
SYSTEM
correction citing ⟨n+1⟩ — evidence arrived late
A new entry, not an edit. ⟨n+1⟩ remains legible exactly as written.
—
The sequence continues. It has no end state and no archive — a converged account writes the same entries, only fewer of them reach a human.
IV · WHAT WRITES TO ITTHREE CHAINS · NOTHING ELSE
Three chains terminate here.
Nothing else may write to the ledger, and none of the three may write on another’s behalf.
AUTHORITY
How a rule comes to exist.
01
AGREEMENT
signed by the parties
02
CLAUSE
a provision within it
03
RULE
compiled, versioned, confirmed by a human
04
ENTRY
the rule’s existence is itself recorded
EVENT
How work is judged.
01
ACTOR
reaches the boundary
02
STANDING
identity · mandate · currency
03
JUDGEMENT
verdict, and the rule cited where one fired
04
ENTRY
written before the commitment binds
CHANGE
How the constitution moves.
01
ANOMALY
the rules could not resolve it
02
DECISION
a named human, at Assurance only
03
AMENDMENT
prospective — never retroactive
04
ENTRY
the change and its author, recorded
V · WHAT CANNOT HAPPENFOUR REFUSALS · ABSOLUTE
The ledger is worth what it refuses to allow.
NO ENTRY IS EDITED
A correction is a new entry that cites the one it corrects. The original stays legible forever, because a record that can be tidied is not a record.
NO ENTRY IS DELETED
Sequence is unbroken end to end. A gap is itself a finding, and the ledger reports it rather than closing it.
NO AMENDMENT IS RETROACTIVE
Changing a rule changes the future. Past judgements stand under the rules that were live when they were made.
NO ACTOR WRITES ITS OWN VERDICT
The machine judges, the human decides, and neither authors the other’s entry. An enforcer that can write its own record is not evidence of anything.
A converged account cannot see the system working. The ledger is the only thing that proves it did.