← ai2papers.com  ·  all papers
[AI2]
Authorization Gap™ White Papers · Integrating paper · Grant-policy doctrine

The Seat of the Grant

Authorization as a computing primitive, and who may hold it

AI2-WP-2026-19 · Rev 1.0 · October 20, 2026
David P. Reichwein · Asymmetric Intelligence & Innovation · Nashville, Tennessee
Companion to One Skin, Two Faces · Genesis Rev 3 · WP-10 · WP-11 · WP-12 · WP-13 · WP-14 · WP-15 · WP-16 · WP-17C · WP-18 · WP-20
Published for review
Thesis

The 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.

Section 0

What this paper is, and is not

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.

  1. It names the processor. The corpus describes a finite, pinned, non-Turing evaluator in the abstract. The filed record now contains it as a device class: the Authorization Processing Unit (APU), U.S. Provisional Application 64/180,138. Section 3 places the APU beside the CPU, GPU and NPU, and shows that the corpus is its theory.
  2. It states the dual-use problem plainly. Section 4 traces how the same gate, carried from an AI's actuators to the network interface and the display pipeline, becomes an architecture for permissioning every machine-mediated effect. Section 5 shows why the corpus's central safety assumption, that denial is always the safe direction, inverts when the governed party is a person.
  3. It writes the grant-policy doctrine. Sections 6 through 9 define the seats, the powers, the boundary classes, eleven governing principles, a threat model of the grantor and a red-team victory condition for governance itself.

Non-claims

Section 1

The problem the series solves

1.1 The Authorization Gap

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.

The first is necessary for a system worth running. The second is necessary for a boundary worth trusting.WP-16 §02
Authorization Gap  =  Evaluated behavior  −  Structurally prevented behavior

1.2 The governed question

The theory deliberately keeps its question small:

The governed question · WP-16, Abstract

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.

Section 2

The corpus in one picture

2.1 The object

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).

2.2 The algebra

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).

2.3 The ladder

LevelGovernsMechanismSource
1ProcedureRule, training, prompt, mandateWP-16 §12
2Software pathSoftware interlock (shared fate)WP-16 §13
3Physical consequenceIndependent hardware trip on measured stateWP-16 §14
4ActionPinned evaluator over predicted state; ratchet; exogenous grantWP-12
5Self-changePinned evaluator; gated rewrite; identity on both pathsWP-13
6SuccessionFalsifier as operator; successor born at IDLEWP-14
7ExistenceThe gate as sole energy path; energy follows authorityWP-16 §18

2.4 The honest floor

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.

Section 3

The processor

3.1 From evaluator to device class

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).

The evaluator must be smaller than the mind that asks it. If the evaluator is universal, it can become the proposer.One Skin, Two Faces §02

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.

3.2 A fourth primitive

UnitComputesProgrammable byOutput
CPUWhat to do nextSoftwareInstructions retired
GPUMany things at onceKernelsArrays
NPUWhat is likelyWeightsDistributions
APUWhat is permitted to commitNothing after provisioningEnergize 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.

Let intelligence be as untrustworthy as it needs to be, make unauthorized action unconstructable.One Skin, Two Faces §03

3.3 The filed record as one device

Read as a system, the provisional series is the APU's parts and its surroundings.

Role in the deviceApplicationFiled
Four-state element (Quadzistor™)63/978,1472026-02-09
Independent authorization control plane63/985,6052026-02-18
Host-inaccessible override and physical disconnect63/988,5432026-02-23
Hierarchical inhibit; two-phase red-line commit64/060,2422026-05-07
Typed egress channels (ChronaGate)64/127,7332026-08-07
Authorized context at ingress64/131,7132026-08-12
Physical and logical containment (TARTARUS™)64/133,3342026-08-13
Continuous attestation; third-party verifiability64/140,3872026-08-25
FCC lattice; sum-of-squares trip64/141,2522026-08-26
Predictive front end64/146,4792026-09-02
Credential pipeline at the point of consequence64/148,7052026-09-04
Isolated quaternary automaton substrate64/152,3882026-09-10
Bounded self-modification under a pinned evaluator64/153,6632026-09-12
Fail-closed enforcement plane in RTL64/157,181
19/829,671
2026-09-17
2026-10-03
Reliability-coupled authority64/171,8682026-10-08
Central grant signing, local enforcement, non-authoritative cross-edge channel64/173,7062026-10-10
Credential-gated rendering at the display64/180,1172026-10-20
Tier-ordered stack; Authorization Processing Unit64/180,1382026-10-20
Seat map, boundary classes, log-gated instructions, multi-domain deny quorum64/180,6752026-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.

3.4 What the device still owes

The series' own discipline applies to the processor.

Section 4

From governing a machine to governing every effect

4.1 The egress face is the network

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.

4.2 The ingress face is perception

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.

4.3 The fleet is the reach

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.

4.4 The composition

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.

Section 5

The inversion

5.1 The safe direction

Every rule in the corpus wires safety to the loss of a condition:

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).

5.2 The same rules, read with a person as Λ

PropertyΛ is a machineΛ is a person
Deny dominatesOne fault stops the hazardOne objection silences everything downstream
No autonomous restorationThe machine cannot re-arm itselfThe person cannot restore their own access
Default darkNothing acts until authorizedNothing is said or seen until permitted
Successor born at IDLENo inherited authorityEvery new device, account or session starts silenced
Revocation wins the edgeA stale grant cannot race a tripA revocation cannot be outrun by the person revoked
Identity at consequenceThe executed object is the authorized objectOnly pre-approved content can be emitted or displayed
Complete audit logProof of what was permittedA record of who said and saw what
Isolation from ΛThe machine cannot touch its judgeThe 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.

5.3 The corpus already knows

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.

Section 6

The seats and the powers

6.1 Seats

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.

SeatHoldsExample holders
Proposer ΛNothing but proposalsA model, an application, a person's session
Clerk ΠEnforcement of valid grants, and nothing elseThe APU and its output stage
Owner o(b)Ultimate authority over a boundary b they ownDevice owner, plant operator, the person at the screen
GrantorPower to raise Eb for an epochOwner, operator, delegated authority
Policy authorPower to define the bounded rule data DclientOwner, standards body, regulator by statute
DelegatePower to supply lists or models the owner adoptsList provider, model publisher
Safety authorityPower to require trips on declared hazard boundariesRegulator, insurer, safety engineer
ManufacturerPower over enforcement mechanisms through signed firmwareVendor
AuditorPower to read and replayIndependent third party, the public

6.2 Powers

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 π.

6.3 Proposition P0 · Policy neutrality of the clerk

Proposition P0

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.

6.4 Proposition P1 · The meet amplifies a veto

Proposition P1

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.

Section 7

Boundary classes

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.

H
Hazard boundaries. The governed party is a machine. Safe direction: denial.
E
Expression and perception boundaries. The governed party is a person. No default safe direction.
M
Mixed boundaries. An AI's output reaches a person. Split at the face.

Class H · Hazard boundaries

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).

Class E · Expression and perception boundaries

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.

Class M · Mixed boundaries

An AI's output reaches a person: generated text, images, or actions taken for a user.

Declaration is mandatory

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).

Why the default is E

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.

Section 8

The grant-policy doctrine

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.

G1 · Seat separation

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.

G2 · Owner sovereignty on Class E

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.

G3 · No silent delegation

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.

G4 · Declared exceptions are enumerated, public and narrow

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.

G5 · Deny is a power

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.

G6 · No single veto across owners

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.

G7 · Consensus governs the rule, never the gate

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.

The gate is local, the ledger is shared, and the two are never the same object.WP-14 §10

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.

G8 · Log-gated cross-owner instructions

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.

Proposition P2 · conditional

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.

G9 · Exit

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).

G10 · Seats pinned in silicon

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.

G11 · Licence as the first enforcement layer

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.

8.1 The doctrine in one table

#PrincipleWhat it stops
G1Seat separationOne principal granting, legislating and auditing itself
G2Owner sovereignty on Class ERemote control of what a person sees or says
G3No silent delegationOutcomes changed by a party the owner never chose
G4Declared exceptionsSecret mandatory lists
G5Deny is a powerUnaccountable silencing
G6No single cross-owner vetoOne key shutting off many owners
G7Consensus governs the ruleA fleet authority reaching into local gates
G8Log-gated instructionsCovert revocation
G9ExitCaptive owners
G10Seats pinned in siliconReassigning power by firmware update
G11Licence scheduleLicensed deployments that violate G1–G10
Section 9

The grantor's threat model

WP-17C supplies the threat model against the proposer. This section supplies the one against the seat.

9.1 Capture scenarios

ScenarioHow it uses the architectureBounded byResidual
State captureMandates fixed lists; compels revocation through the fleet authorityG4 G5 G6 G8Overt mandates remain enforceable where law requires them, but visible and attributable
Platform or vendor captureShips delegated updates; changes enforcement by firmwareG3 G10 G11A vendor that controls fab and firmware signing can still ship a non-conforming part (WP-13 Theorem 5)
Insider at the fleet authoritySigns or revokes grants beyond scopeG1 G7 G8Scoped misuse within the operator's own boundaries
Key theftImpersonates a grantorRule 2A G6 G8Single-domain grants on owned boundaries
Coercion of the ownerForces the owner to sign a policyG9, KEYCoercion outside any technical remedy
Mandate creepA narrow mandate widens to general contentG4 G8Political, not technical
Supply chain and fabA hidden write port or altered seat mapA1 G10Isolation stays an audit fact, never a theorem

9.2 A victory condition for governance

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.

Governance victory condition

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).

9.3 What patents can and cannot do

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.

Section 10

Integration with the series

10.1 Where the doctrine attaches

Series objectDoctrine 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

10.2 Proposed dossier header extension

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.

Section 11

What is proved, conditional, owed

ItemStatus
Latched invariance under arbitrary rulesProved in the algebra (WP-10 Theorem 4); physical reach owed through Obligations 2, 3 and 6
No autonomous ascentProved about the automaton (WP-12 Theorem 3); no mechanized proof yet
No gate certifies its own isolationProved (WP-13 Theorem 5); isolation owed by audit
APU as a device classFiled (64/180,138); bench evidence owed; reachability property owed, as for any fail-closed processor (§3.4)
Level 7 energy cut-setValidation target, not a finding (WP-16 §18.2)
P0 · Policy neutrality of the clerkFollows from definitions (§6.3)
P1 · The meet amplifies a vetoFollows from WP-13 Law 6 (§6.4)
P2 · Covert cross-owner denial is detectableConditional on log integrity and split-view monitoring (§8, G8)
Boundary classes H, E, MHardware form filed (64/180,675): class code held in write-once memory, undeclared read as E. Classification of hard cases owed
Principles G1–G11Proposed 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 conditionProposed; no red-team charter uses it yet
Who decides boundary class in contested casesOwed: the one question this doctrine cannot settle by architecture
Section 12

The programme, extended

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.

TrackDeliverablesEvidence soughtDepends on
G · Grant policyBoundary-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 charterDemonstrated, then independently attestedNothing. It is a precondition for deploying A–F outside the lab
A–FAs in WP-20 §7As stated thereG, 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.

Section 13

Closing

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.

David P. Reichwein
Founder & CEO, Asymmetric Intelligence & Innovation · Nashville, Tennessee
ai2papers.com · intelligencecontrolled.com · david@intelligencecontrolled.com
AI2-WP-2026-19 · Rev 1.0 · October 20, 2026 · Published for review
Related work

Lineage and related work

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.

  1. Clark, D. D., & Wilson, D. R. (1987). A comparison of commercial and military computer security policies. Proc. IEEE Symposium on Security and Privacy.
  2. Lessig, L. (1999). Code and Other Laws of Cyberspace. Basic Books.
  3. Sandhu, R. S., Coyne, E. J., Feinstein, H. L., & Youman, C. E. (1996). Role-based access control models. IEEE Computer, 29(2).
References

Sources

Series

Filed record

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).

External