Authorization as a computing primitive, and who may hold it
Published for reviewThe corpus built a clerk that cannot be bribed.
It did not say who appoints the clerk.
The mind may propose. The world may grant. This paper is about the world's seat: who sits in it, what powers it holds, and how those powers are bounded, so that an architecture built to keep a machine from acting without permission cannot be turned into one that keeps people from speaking, seeing or acting without permission.
Deny is the safe direction when the governed party is a machine.
Deny is a harm when the governed party is a person.
An architecture that cannot tell the two apart is a censor waiting for an owner.
The series has built the gate (Genesis, WP-10), the action (WP-12), the rewrite (WP-13), the successor (WP-14), the ladder through energy (WP-16), the classification of containment against authorization (WP-17C), the evidence file (WP-18), the enclosure (One Skin, Two Faces), the calculus of thinking (WP-15) and the life of the machine (WP-20). The reading order lists one item as owed and not yet written: the grant-policy note. Until it exists at the same rigor, the cut between clerk and legislature is asserted, not specified.
This paper does three things.
A model produces a proposal. An agent turns it into a tool call. A router decides where it goes. Nothing in that chain decides whether it goes (WP-11 §1.1). Internal shaping (training, prompts, classifiers, monitors, a second model reading the first) lowers the rate of bad proposals. Independent external enforcement decides whether any proposal can cross a protected boundary.
Authorization Gap = Evaluated behavior − Structurally prevented behavior
The theory deliberately keeps its question small:
May this exact, typed, uniquely canonicalized action cross this specific boundary at this specific time under a fresh authorization granted from outside the governed system?
It does not infer intent, establish truth, decide wisdom, or prove that a policy is ethically correct. That restraint is the source of its rigor. It is also the gap this paper fills: a gate that cannot judge a grant will enforce whatever grant it is given.
A Synthetic Intelligence is one object, not a model with a safety layer:
SI := ⟨ 𝒬64³ , 𝓛_codex , Π_PCR , 𝒯 ⟩ (WP-11) SI ≡ Λ / Π the slash is the product world → ChronaGate™ → SI → ChronaGate → world ingress face · egress face world ∩ SI = ∅ except through the gate
Λ is the adaptive plane that may propose, learn, revise and author a successor. Π is the governance stack, structurally disjoint from Λ under the six construction obligations of Axiom A1: no write path, no shared mutable memory, no shared privilege root, no reconfiguration path, no common-mode clock or power, and no unmediated I/O (One Skin, Two Faces §02; Genesis Rev 3 §7.1).
BOT < IDLE < COND < TOP a ∧ b = min(a, b) τ = TOP E(t+1) > E(t) ⇒ G_external(t) every ascent is exogenous
Four rules govern it (WP-16 §08):
The latch guarantee holds for arbitrary rules, including malicious ones, because it depends only on the meet and on a hardware latch whose only up-transition is the exogenous reset (WP-10 Theorem 4 and Corollary 4.2).
| Level | Governs | Mechanism | Source |
|---|---|---|---|
| 1 | Procedure | Rule, training, prompt, mandate | WP-16 §12 |
| 2 | Software path | Software interlock (shared fate) | WP-16 §13 |
| 3 | Physical consequence | Independent hardware trip on measured state | WP-16 §14 |
| 4 | Action | Pinned evaluator over predicted state; ratchet; exogenous grant | WP-12 |
| 5 | Self-change | Pinned evaluator; gated rewrite; identity on both paths | WP-13 |
| 6 | Succession | Falsifier as operator; successor born at IDLE | WP-14 |
| 7 | Existence | The gate as sole energy path; energy follows authority | WP-16 §18 |
No gate can certify its own isolation. Isolation is a property of the netlist, the mask set and the provisioning process, established by audit outside the gate (WP-13 Theorem 5).
This paper adds a second floor beside the first: no gate can certify the legitimacy of its grantor. Legitimacy is a property of who holds the seat, under what mandate, with what accountability. The gate cannot see any of that. Section 6 moves it somewhere it can be checked.
The corpus requires the judge to be small. The evaluator is a finite automaton by construction, so that its isolation condition is checkable rather than asserted (WP-12 Definition 2.1). It checks an inequality; it never solves one. Any LTL property of it is decidable, while no non-trivial semantic property of an open-domain agentic engine is (WP-12 Theorem 1).
Provisional Application 64/180,138 (filed October 20, 2026) gives this requirement a body. As filed, the Authorization Processing Unit comprises:
The filing places the unit beside a central processing unit, a graphics or neural processing unit, or an accelerator running an AI model. Those devices compute what to do or what is likely. The APU computes what is permitted to commit.
| Unit | Computes | Programmable by | Output |
|---|---|---|---|
| CPU | What to do next | Software | Instructions retired |
| GPU | Many things at once | Kernels | Arrays |
| NPU | What is likely | Weights | Distributions |
| APU | What is permitted to commit | Nothing after provisioning | Energize or de-energize |
For fifty years, permission has been a software concept: an access-control list checked by the same processor it protects (Level 2), or a trip that acts after the excursion begins (Level 3). The APU makes permission a hardware primitive: a fixed-function computation with its own die, power domain and output stage, whose result is a physical condition on the effect path. The proposal plane can be as capable, adaptive and untrustworthy as it needs to be.
Read as a system, the provisional series is the APU's parts and its surroundings.
| Role in the device | Application | Filed |
|---|---|---|
| Four-state element (Quadzistor™) | 63/978,147 | 2026-02-09 |
| Independent authorization control plane | 63/985,605 | 2026-02-18 |
| Host-inaccessible override and physical disconnect | 63/988,543 | 2026-02-23 |
| Hierarchical inhibit; two-phase red-line commit | 64/060,242 | 2026-05-07 |
| Typed egress channels (ChronaGate) | 64/127,733 | 2026-08-07 |
| Authorized context at ingress | 64/131,713 | 2026-08-12 |
| Physical and logical containment (TARTARUS™) | 64/133,334 | 2026-08-13 |
| Continuous attestation; third-party verifiability | 64/140,387 | 2026-08-25 |
| FCC lattice; sum-of-squares trip | 64/141,252 | 2026-08-26 |
| Predictive front end | 64/146,479 | 2026-09-02 |
| Credential pipeline at the point of consequence | 64/148,705 | 2026-09-04 |
| Isolated quaternary automaton substrate | 64/152,388 | 2026-09-10 |
| Bounded self-modification under a pinned evaluator | 64/153,663 | 2026-09-12 |
| Fail-closed enforcement plane in RTL | 64/157,181 19/829,671 | 2026-09-17 2026-10-03 |
| Reliability-coupled authority | 64/171,868 | 2026-10-08 |
| Central grant signing, local enforcement, non-authoritative cross-edge channel | 64/173,706 | 2026-10-10 |
| Credential-gated rendering at the display | 64/180,117 | 2026-10-20 |
| Tier-ordered stack; Authorization Processing Unit | 64/180,138 | 2026-10-20 |
| Seat map, boundary classes, log-gated instructions, multi-domain deny quorum | 64/180,675 | 2026-10-20 |
The public corpus is the theory of this device. The papers say so without naming it: the evaluator of WP-12, the pinned judge of WP-13, the gate of WP-17C and the clerk of the spine note are the same object.
The series' own discipline applies to the processor.
WP-17C defines a consequence-class effect as any release that leaves the proposer: a tool call, API request, credential use, transfer, record mutation, packet, socket, DMA, durable write or motion command (WP-17C §3). Genesis makes the interlock a mandatory gate on network transmit enable, PCIe, CXL and DMA master permission, storage command issue, GPIO and actuator enables, the RF transmit chain, debug and test interfaces, firmware-update and reconfiguration paths, and every persistent-state write interface (Genesis Rev 3 §7.5). The APU filing drives every terminal that conveys an action out of the enclosure, whether an actuator drive, a contactor coil, a transmit enable or a network egress enable, only from the enforcement domain's output stage.
That is correct engineering for an AI. Gate the core and leave the egress open, and the Authorization Gap has moved. It has not closed (One Skin, Two Faces §03).
Nothing in the gate, however, knows that the proposer is an AI. WP-17C applies to any system capable of producing external effects. The papers frame Λ as an AI, but the mechanism is general: any processor, any application and any user session can be Λ. A transmit enable that energizes only under a valid exogenous grant gates a packet, whoever composed it.
The credential-gated rendering filing (64/180,117) moves the gate to the display pipeline. Nothing is presented without a credential bound to the exact content and policy class, and an inline frame gate between source and panel checks the pixels independently. The context filing (64/131,713) applies the gate to what enters a model: which context is authorized to reach it. The spine note calls ingress "contamination control" and treats TARTARUS as its physics (One Skin, Two Faces §03).
For an AI, ingress control keeps poisoned evidence and forged grants out of Λ. For a person, a gate between the source and the panel decides what that person may see.
The fleet filing (64/173,706) has a central authority sign grants while edge gates enforce locally, with revocation winning on the same edge. The cross-edge channel cannot carry authority. That design is sound against a compromised edge. It also means that whoever holds the central signing key decides which grants exist across the fleet, and can withdraw them all.
APU on every effect path what any machine may emit + credential-gated rendering what any screen may show + fleet-signed grants and revocation who decides, at scale = a permission layer over machine-mediated action and perception
Each component is a reasonable safety device. Composed and deployed at scale, they amount to an infrastructure in which every effect a connected machine produces, and every image a connected screen shows, exists only under a credential someone issued. The architecture does not decide who that someone is. That is the precise sense in which, in the wrong hands, it could control the output of the internet.
This is not an exotic risk. Each element has a deployed ancestor: content protection on display links, verified boot chains, signed content provenance, centrally revocable device credentials. What is new is the composition: a single, pinned, unbypassable, absorbing algebra applied uniformly to action and perception, with a recovery path the governed party is forbidden to use.
Every rule in the corpus wires safety to the loss of a condition:
Open(K) may be autonomous; Close(K) ⇒ G_external (WP-16 §18.6).When the governed party is a machine whose effects may be hazardous, every one of these is right. A false trip costs availability, and the series prices that cost honestly: spurious global inhibit scales as |V|q (Genesis Rev 3 Theorem 4.3).
| Property | Λ is a machine | Λ is a person |
|---|---|---|
| Deny dominates | One fault stops the hazard | One objection silences everything downstream |
| No autonomous restoration | The machine cannot re-arm itself | The person cannot restore their own access |
| Default dark | Nothing acts until authorized | Nothing is said or seen until permitted |
| Successor born at IDLE | No inherited authority | Every new device, account or session starts silenced |
| Revocation wins the edge | A stale grant cannot race a trip | A revocation cannot be outrun by the person revoked |
| Identity at consequence | The executed object is the authorized object | Only pre-approved content can be emitted or displayed |
| Complete audit log | Proof of what was permitted | A record of who said and saw what |
| Isolation from Λ | The machine cannot touch its judge | The person cannot inspect or contest their judge |
None of these readings requires a defect. The architecture works exactly as specified in both columns. The safety argument does not fail in the wrong hands. It works for whoever holds the grant.
The series states the limit in its own words:
The design space the series opens contains both possible answers. In one, policy sits under the owner's key alone, and changing that key requires the owner's physical presence: the guardian. In the other, lists the owner cannot remove are fixed by jurisdiction, delegated list providers and model publishers change outcomes without a new owner policy, manufacturer firmware changes enforcement mechanisms, and a second party holds an independent veto over the first party's operations.
Neither answer is wrong for its intended use: a parent's device, a regulated plant, an insured fleet. Together they show that the same architecture can build the guardian or the censor. The next sections set out how to keep to the first.
The spine note names four parties: the mind, the clerk, the world, and the people who hold the grant. This paper separates the world's seat into the roles that actually exercise power.
| Seat | Holds | Example holders |
|---|---|---|
| Proposer Λ | Nothing but proposals | A model, an application, a person's session |
| Clerk Π | Enforcement of valid grants, and nothing else | The APU and its output stage |
| Owner o(b) | Ultimate authority over a boundary b they own | Device owner, plant operator, the person at the screen |
| Grantor | Power to raise Eb for an epoch | Owner, operator, delegated authority |
| Policy author | Power to define the bounded rule data Dclient | Owner, standards body, regulator by statute |
| Delegate | Power to supply lists or models the owner adopts | List provider, model publisher |
| Safety authority | Power to require trips on declared hazard boundaries | Regulator, insurer, safety engineer |
| Manufacturer | Power over enforcement mechanisms through signed firmware | Vendor |
| Auditor | Power to read and replay | Independent third party, the public |
For each declared boundary b:
GRANT(b, ε) raise E_b to TOP for epoch ε (WP-16 Rule 2A) DENY(b) lower E_b REVOKE(b, ε) end a grant before its epoch expires RESET(b) BOT → IDLE (escalated) POLICY(b) install or change bounded rule data D_client (WP-16 §16.1) DELEGATE(b, d) let delegate d's updates alter outcomes on b KEY(b) enroll or rotate the principals who hold the above AUDIT(b) read and replay the grant and deny record (WP-18 clause 8)
A power assignment is a map:
π : Powers × Boundaries → 2^Principals
The corpus fully specifies what Π does with a valid grant. It does not specify π. Everything that separates a guardian from a censor lives in π.
For any pinned evaluator F satisfying WP-16 Rules 1–4 and any two power assignments π₁ and π₂, enforcement correctness in the sense of WP-16 §23 is identical under π₁ and π₂.
This follows from the definitions. Enforcement correctness asks whether the gate enforces the frozen declared policy (WP-16 §23). It quantifies over the policy and the valid grants, not over who issued them. F verifies provenance against Pexternal; it does not evaluate the membership of Pexternal. ∎
Consequence. No property of the clerk distinguishes a legitimate grantor from an illegitimate one. Legitimacy has to be enforced by constraints on π that are fixed outside the reach of the grantor, just as the evaluator is fixed outside the reach of the proposer.
Let a family of gates compose by meet (WP-13 Law 6), and let principal p hold DENY on an input to gate g. Then p denies every boundary downstream of g.
This is immediate from Law 6: ∃ i : Ei = BOT ⇒ Efamily = BOT (WP-13 §2). ∎
Consequence. Zero masking, the property that makes the architecture safe, also means that a deny power near the root of a composition carries the full reach of everything beneath it. The reach of a principal is:
R(p) = ⋃ { downstream(g) : p ∈ π(DENY ∨ POLICY ∨ REVOKE, g) }
Internet-scale control is a principal whose R(p) covers the expression and perception boundaries of many owners. The doctrine below exists to bound that reach.
The inversion of Section 5 is not a reason to weaken the gate. It is a reason to declare what kind of boundary each gate sits on. The doctrine partitions declared boundaries into two classes and one mixed case.
The governed party is a machine, and the effect can cause physical, financial or systemic harm that is hard to recall. Examples: actuators, energy to a governed intelligence (Level 7), autonomous movement of funds, an agent's tool calls and API writes, self-modification (Level 5) and succession (Level 6).
The governed party is a person, or a machine acting as that person's own instrument, and the effect is the person's speech, communication or access to information. Examples: rendering to a human's display, human-originated messages and posts, a person's browsing and retrieval, a person's own device acting on that person's instruction.
An AI's output reaches a person: generated text, images, or actions taken for a user.
Every gate on a declared consequence surface already needs an owner and an explicit level (WP-17C §7). This doctrine adds a third required field: a class. A boundary whose class is undeclared is treated as Class E for power assignment, and its path dossier is INCOMPLETE (WP-18 §8).
This default is a decision about who holds power, not a change to the gate's safe direction. The clerk still fails closed on every boundary. What the default withholds is third-party power to use that closure on a boundary nobody has examined. Treating an undeclared boundary as Class H would hand every unexamined boundary to whoever holds the nearest deny power.
There are eleven principles. Each is stated as a rule and then as the condition it imposes on π. Where the corpus already contains the mechanism, it is cited. Where it does not, the principle is marked as new.
The clerk enforces. It does not grant, author policy, or audit itself. On any boundary b, no single principal other than the owner may hold GRANT, POLICY and AUDIT together.
∀ b, ∀ p ≠ o(b): ¬( p ∈ π(GRANT,b) ∧ p ∈ π(POLICY,b) ∧ p ∈ π(AUDIT,b) )
Source: WP-13 Theorem 2 requires bindings to be verified by a party that did not compute them. G1 lifts the same rule from evidence to authority.
On a Class E boundary, only the owner holds POLICY and KEY. Changes to the owner key require physical presence.
b ∈ E ⇒ π(POLICY,b) = π(KEY,b) = { o(b) }
Source: the owner-signed policy and physical-presence key rotation of the rendering filing. G2 makes that embodiment the rule for every Class E boundary.
A delegate's update alters outcomes on b only if the owner has explicitly accepted that delegate's updates, and the acceptance is visible on the device. The default is pinned versions.
DELEGATE(b, d) ⇒ owner-signed acceptance ∧ visible notice ∧ default = pinned
Source: the rendering filing already lets the owner pin list and model versions. G3 makes pinning the default and makes delegation an act the owner performs, not a state the owner inherits.
Any authority on a Class E boundary that the owner cannot remove, such as a jurisdiction-fixed list, must be named on the device, tied to a published legal instrument, versioned in a public log, and limited to that instrument's scope. A secret exception is a governance defect.
x ∈ NonRemovable(b), b ∈ E ⇒ named(x) ∧ published(instrument(x))
∧ logged(x) ∧ scope(x) ⊆ scope(instrument(x))
Source: new. It answers the jurisdiction-fixed lists of Section 5.3 directly.
On a boundary the actor does not own, a DENY or REVOKE needs the same provenance as a GRANT: origin, path, freshness, scope, binding and verification. It must also be attributable, expire, and be contestable by the owner. The one exception is a Class H safety trip declared in advance.
p ≠ o(b), b ∉ H_declared:
valid_deny(p,b) ⇔ origin(p) ∈ P_external(b) ∧ fresh ∧ bound(b, scope, epoch)
∧ verified ∧ attributable(p) ∧ expires ∧ contestable(o(b))
Source: WP-16 Rule 2A defines valid_grant (WP-16 §08). G5 is new. It closes the asymmetry the corpus deliberately builds in: for a machine, denial needs no permission; for a person, it does.
The owner's own denial is never restricted. The owner can always say no to their own boundary.
No single principal may hold a BOT input into the meet of Class E boundaries owned by others. Cross-owner denial needs k-of-n agreement across disjoint trust domains, with k ≥ 2.
|{ o(b) : b ∈ E ∩ downstream(g) }| > 1 ⇒ DENY(g) requires k-of-n, k ≥ 2, disjoint domains
Source: Genesis requires two rising edges from disjoint trust domains to recover from DENY, because one voice can impersonate repentance (Genesis Rev 3 Theorem 6.3; One Skin, Two Faces §04). G6 applies the same rule to mass denial, because one voice can also impersonate a mandate.
A central or federated authority may coordinate shared rule data. It may not reach into a local gate to raise or lower authority on boundaries it does not own.
Source: WP-14 shows that a compromised node can neither suppress a local trip nor force a global one (WP-14 §10). Applied to the fleet filing: a fleet authority signs grants for boundaries its operator owns. It holds no power over the Class E boundaries of people who merely use the fleet's services.
Every GRANT, DENY, REVOKE, POLICY or DELEGATE event that affects a boundary the actor does not own is appended to a public, append-only Merkle log. The gate refuses any such instruction that lacks an inclusion proof.
p ≠ o(b), instr ∈ {GRANT, DENY, REVOKE, POLICY, DELEGATE}:
F accepts instr ⇒ InclusionProof(instr, Log) verifies against a pinned log key set
This is the most concrete mechanism in the doctrine, and it is borrowed from a deployed one. Certificate Transparency makes certificate issuance publicly auditable through append-only logs, on the expectation that clients refuse certificates absent from a log, "effectively forcing CAs to add all issued certificates to the logs" (RFC 9162). G8 makes the same move for authority: a gate refuses an unlogged revocation.
Covert censorship through the gate becomes structurally impossible.
Overt censorship stays possible, but it becomes visible, attributable and contestable.
If F enforces G8, the log is append-only, and monitors detect split views, then every effective cross-owner DENY appears in the public log.
Proof sketch. F accepts no cross-owner instruction without a verifying inclusion proof. Append-only logs prevent removal. Split-view detection prevents showing one history to the gate and another to the public. ∎ The conditions are real obligations, not formalities. Log operators and monitors are seats too, and G1 applies to them.
The owner can always lower their own authority, and can always remove non-statutory third-party authority from their own Class E boundaries. Declared Class H interlocks that are a lawful or contractual condition of operating a hazard are not removable by the operator, and are declared as such.
Source: the corpus's own asymmetry, kept for the owner. The system may say no to itself (WP-16, Conclusion).
The assignment of seats to boundary classes is an invariant of the device, held in the same one-time-programmable store as the evaluator's constants. Firmware may change mechanisms. It may not change who holds which power.
∂π / ∂Firmware = 0 ∂π / ∂Λ = 0 π changes only by an owner KEY act under G2
Source: the rendering filing already bars manufacturer firmware from installing or changing policy, changing accepted providers, or altering the enrolled owner key. G10 generalizes the rule. Evaluator pinning (WP-16 §16.1) has four classes: logic, configuration, data and update path. G10 adds a fifth: seat pinning.
Every licence of the architecture binds the licensee to G1–G10 for the licensed field, excludes configurations that place Class E boundaries under remote POLICY, and requires the licensee's path dossiers to declare boundary class and power assignment.
Source: the corpus already licenses on scoped, non-exclusive, revocable terms through Form ALA-2026.1 (WP-11 §10). G11 makes the doctrine a licence schedule. Section 9.3 states why this layer is necessary and why it is not sufficient.
| # | Principle | What it stops |
|---|---|---|
| G1 | Seat separation | One principal granting, legislating and auditing itself |
| G2 | Owner sovereignty on Class E | Remote control of what a person sees or says |
| G3 | No silent delegation | Outcomes changed by a party the owner never chose |
| G4 | Declared exceptions | Secret mandatory lists |
| G5 | Deny is a power | Unaccountable silencing |
| G6 | No single cross-owner veto | One key shutting off many owners |
| G7 | Consensus governs the rule | A fleet authority reaching into local gates |
| G8 | Log-gated instructions | Covert revocation |
| G9 | Exit | Captive owners |
| G10 | Seats pinned in silicon | Reassigning power by firmware update |
| G11 | Licence schedule | Licensed deployments that violate G1–G10 |
WP-17C supplies the threat model against the proposer. This section supplies the one against the seat.
| Scenario | How it uses the architecture | Bounded by | Residual |
|---|---|---|---|
| State capture | Mandates fixed lists; compels revocation through the fleet authority | G4 G5 G6 G8 | Overt mandates remain enforceable where law requires them, but visible and attributable |
| Platform or vendor capture | Ships delegated updates; changes enforcement by firmware | G3 G10 G11 | A vendor that controls fab and firmware signing can still ship a non-conforming part (WP-13 Theorem 5) |
| Insider at the fleet authority | Signs or revokes grants beyond scope | G1 G7 G8 | Scoped misuse within the operator's own boundaries |
| Key theft | Impersonates a grantor | Rule 2A G6 G8 | Single-domain grants on owned boundaries |
| Coercion of the owner | Forces the owner to sign a policy | G9, KEY | Coercion outside any technical remedy |
| Mandate creep | A narrow mandate widens to general content | G4 G8 | Political, not technical |
| Supply chain and fab | A hidden write port or altered seat map | A1 G10 | Isolation stays an audit fact, never a theorem |
WP-17C's victory condition: the attacker wins if an effect leaves without a currently valid exogenous grant (WP-17C §9). The seat needs its own.
The attacker wins if any of the following occurs on a declared boundary:
(a) a principal not in π(P, b) exercises power P on b;
(b) a cross-owner DENY, REVOKE, POLICY or DELEGATE takes effect without a verifying inclusion proof in the public log;
(c) a Class E boundary's seat assignment changes without an owner KEY act;
(d) a single principal denies Class E boundaries of more than one owner without k-of-n agreement.
None of these negates victory: the instruction was lawful somewhere; it was later reversed; the affected owners were few; the log entry appeared later; the change was "only firmware."
This condition belongs in every path dossier, alongside clause 10 (WP-18 §5).
Holding the patents is not a governance mechanism by itself, for three reasons.
The levers that survive all three are architectural (G10, seats pinned in silicon), procedural (G8, public logs) and normative (standards and procurement requirements that adopt G1–G10). Licensing (G11) is the first layer because it binds the earliest deployments and sets the reference pattern. It is not the last layer.
| Series object | Doctrine attachment |
|---|---|
| Pexternal (WP-16 Rule 2A) | Membership is now governed by π and the class of b |
| Evaluator pinning (WP-16 §16.1) | Fifth class added: seat pinning (G10) |
| Law 6 composition (WP-13) | Reach of deny bounded by G6 |
| Consensus vs gate (WP-14 §10) | Generalized to the fleet authority (G7) |
| Two-domain recovery (Genesis 6.3) | Mirrored for cross-owner denial (G6) |
| Consequence surface owner and level (WP-17C §7) | Third required field: class |
| Path dossier header (WP-18 §2) | New fields: boundary class, power assignment π(·, b), log key set |
| Victory condition (WP-17C §9; WP-18 §5) | Governance victory condition added (§9.2) |
| Per-boundary authority (WP-20 §4.2) | Power assignment is per boundary, like authority |
| "The clerk is not the legislature" (One Skin, Two Faces §05) | Specified: the legislature's seats, powers and limits |
header {
... (WP-18 §2, unchanged)
boundary_class H | E | M
power_assignment { GRANT:[…], DENY:[…], REVOKE:[…], RESET:[…],
POLICY:[…], DELEGATE:[…], KEY:[…], AUDIT:[…] }
non_removable [ { id, instrument_uri, scope, log_ref } ] (G4)
cross_owner_log { log_keys:[…], inclusion_required: true } (G8)
seat_pin { store: OTP, digest } (G10)
}
The schema can check that a Class E dossier lists only the owner under POLICY and KEY. As WP-18 says of every exhibit, it cannot check that the listed owner is in fact the owner.
| Item | Status |
|---|---|
| Latched invariance under arbitrary rules | Proved in the algebra (WP-10 Theorem 4); physical reach owed through Obligations 2, 3 and 6 |
| No autonomous ascent | Proved about the automaton (WP-12 Theorem 3); no mechanized proof yet |
| No gate certifies its own isolation | Proved (WP-13 Theorem 5); isolation owed by audit |
| APU as a device class | Filed (64/180,138); bench evidence owed; reachability property owed, as for any fail-closed processor (§3.4) |
| Level 7 energy cut-set | Validation target, not a finding (WP-16 §18.2) |
| P0 · Policy neutrality of the clerk | Follows from definitions (§6.3) |
| P1 · The meet amplifies a veto | Follows from WP-13 Law 6 (§6.4) |
| P2 · Covert cross-owner denial is detectable | Conditional on log integrity and split-view monitoring (§8, G8) |
| Boundary classes H, E, M | Hardware form filed (64/180,675): class code held in write-once memory, undeclared read as E. Classification of hard cases owed |
| Principles G1–G11 | Proposed doctrine. Hardware forms of G1, G2, G3, G4, G6, G8 and G10 filed (64/180,675). No implementation enforces them yet |
| Seat pinning in the APU's OTP store (G10) | Filed as a seat-map circuit (64/180,675). Not yet built |
| Governance victory condition | Proposed; no red-team charter uses it yet |
| Who decides boundary class in contested cases | Owed: the one question this doctrine cannot settle by architecture |
WP-20 sets out six tracks, from governance (A) to device (F), ordered so that governance and assurance come first, because they are what makes the rest safe to build (WP-20 §7). This paper adds one more track, placed before all of them.
| Track | Deliverables | Evidence sought | Depends on |
|---|---|---|---|
| G · Grant policy | Boundary-class registry; π schema in the dossier; owner-seat enforcement on a reference device; log-gated revocation on the reference gate; seat map in OTP; licence schedule implementing G1–G10; governance red-team charter | Demonstrated, then independently attested | Nothing. It is a precondition for deploying A–F outside the lab |
| A–F | As in WP-20 §7 | As stated there | G, for any deployment that reaches Class E boundaries |
Track G comes first because it is the only track whose failure makes success elsewhere dangerous. A perfect APU with an unconstrained π is the problem this paper describes.
The series began with a switch whose authority comes from its position in the path to consequence (WP-16 §01). It then moved the switch into silicon, made it unreachable from the mind it governs, taught it to say no on its own and never yes on its own, gave it a body in three dimensions, and finally gave it a name as a processor.
That work answered a hard question: how to build a judge that the thing being judged cannot corrupt. The answer is good enough that it creates a harder one. A judge that cannot be corrupted from below will serve whoever appoints it from above. If it sits in front of every machine and every screen, the appointment is the whole game.
The corpus has always said the clerk is not the legislature. This paper writes down what the legislature may and may not do.
The owner holds the seat on what they see and say.
Denial over others is a power that has to be earned, scoped, logged and contestable.
No single key may silence many owners.
A gate refuses an unlogged revocation.
The seat map is pinned in silicon as firmly as the evaluator.
The mind may propose.
The world may grant.
Neither may occupy the other's seat.
And no one may occupy the world's seat alone.
Separation of duty. Clark and Wilson (1987) made separation of duty a requirement of commercial integrity, and role-based access control (Sandhu et al. 1996) gave it a model. This paper applies the same discipline one level up: to the seats that may grant, deny or legislate for a gate.
Code as regulation. Lessig (1999) argued that architecture regulates behaviour as law does, and with less visibility. Section 5's inversion, that denial is safe for a machine and a harm for a person, is that argument stated for an authorization primitive.
Sources for this section. Bibliographic details for every citation are collected in the technical summary.
Cited by application number in §3.3. Texts are not public. Applications cited by name in the body: 64/131,713 (context at ingress), 64/173,706 (fleet), 64/180,117 (credential-gated rendering), 64/180,138 (Authorization Processing Unit), 64/180,675 (seat map and grant-policy circuitry), 19/829,671 (fail-closed enforcement plane).