Library

The Research Library

The vocabulary, the failure modes, and the open problems of a discipline that does not yet have a settled name.

13 of 13 entries

R-12

Sep 13, 2026 · rev. Sep 15, 2026

12 min · Design Note

Conserved-State Constraints: An Open Design Question

Every authority artifact today expresses static constraints — an amount, a role, a date range. Some real authority is not static: 'up to $20,000 cumulatively during this window' is a claim about a running total, not a threshold checked once per call. This note names that gap precisely, explains why it cannot be closed by simply adding a mutable counter without breaking the deterministic-execution and offline-verification guarantees the rest of the model depends on, and converges on an architectural direction: authority stays immutable, an external state layer (reserve/settle/release) holds what changes, and can() stays pure — evaluating authority against an explicit state fact rather than owning the state itself. A vertical slice of this direction has since been built and tested — see R-13.

R-13

Sep 15, 2026

6 min · Engineering Case Study

Conserved-State Authority, Built

R-12 converged on an architectural direction for conserved-state constraints — authority stays immutable, an external state layer (reserve/settle/release) holds what changes, can() stays pure — but stopped short of a claim that the design was tested. This entry reports what happened when that vertical slice was actually built: a real database, real concurrent transactions, a real HTTP surface and SDK, checked item by item against the proof list R-12 itself set out. Six of seven items are verified. One further question R-12 left open — does settlement re-check the authority — is resolved. What remains open is named plainly, not folded into the result.

R-10

Aug 28, 2026

12 min

The Emergence of Operational Logic

Organizations are not rule-executing systems. They are emergent decision systems whose true structure is not documented, but inferred from behavior under constraint.

R-11

Aug 28, 2026

14 min · Engineering Case Study

The Definitions Index Problem

Why chunked LLM extraction fails on legal documents longer than roughly thirty pages, and the architecture that fixes it: separate indexing from extraction.

R-08

Aug 26, 2026

13 min · Position Paper

Bounded Contextual Authority: A Framework for Portable, Machine-Verifiable Authority in Autonomous Systems

Existing guardrail architectures treat authority as a filter applied after an autonomous system has already decided what to do. This paper proposes bounded contextual authority — a portable, machine-verifiable representation of the mandate an autonomous system acts under — and decomposes precisely which part of the resulting handshake problem is already solved and which is not.

R-09

Aug 26, 2026

18 min · Design Note

Root Legitimacy for Machine-Executable Institutional Authority

NOMOS's trust primitives — sealing, third-party attestation, revocation, and chain-of-trust key certificates (now published as NOMOS-SPEC-007, Draft) — all assume a relying system already has reason to trust the root key an authority chain is checked against. This note proposes a candidate governance model for that root, then deliberately red-teams it against web PKI, DNSSEC, RPKI, Certificate Transparency, accreditation, professional licensing, treaty recognition, and federated trust — and reports plainly what survives and what does not.

R-07

Aug 21, 2026

18 min · Position Paper

Computable Authority: A Runtime Reference Architecture for Machine-Executable Law and Governance

The emergence of autonomous AI agents changes the problem that Law as Code needs to solve — and requires more than machine-readable law. It requires machine-computable authority.

R-01

Jul 31, 2026

6 min

What is Computable Authority?

Authority is the right to decide. Computable authority is that same right, expressed so a machine can exercise it inside defined limits — and prove it did.

R-02

Jul 31, 2026

7 min

Why AI Needs Machine-Readable Policy

Capable models with no authority layer are not governed systems. They are fast improvisation with an institution's name attached.

R-03

Jul 31, 2026

5 min

The Policy Versioning Problem

A decision is only defensible against the rule that was in force when it was made. Almost no institution can produce that rule on demand.

R-04

Jul 31, 2026

6 min

The Definitions Problem

Most policy disputes are not about rules. They are about what a word meant, to whom, and when.

R-05

Jul 31, 2026

8 min

From Regulation to Execution

The compilation pipeline: how a published instrument becomes an artifact a runtime can evaluate — without losing its provenance.

R-06

Jul 31, 2026

10 min

The Future of Governance Infrastructure

Institutions will exchange authority the way systems now exchange data — and that requires shared infrastructure, not shared documents. Three prior efforts got partway there; none closed the gap.