Research Reader & Editions

Research reader and editions

The Living Research Reader records the current program. Earlier Technical Spine editions remain available as immutable historical artifacts.

Current · research-reader-2026-07

Living Research Reader, July 2026

Current priorities, retained formal results, historical decisions, review gates, and links to complete papers.

Current reader ↗Dated edition ↗12 pages · 0.0 MB · built 2026-07-17

Current frontier · not acceded

New work outside the frozen Technical Spine

The July 2026 Technical Spine PDF and accession manifest remain immutable. These living records are public for use and criticism, but none is part of that frozen edition.

The Golden Gate →active draft · Reviewer-originated replay, independent implementation parity, and external adjudication remain open.

Interpolant Envelope →technical report · End-to-end abstraction-to-code verification, foreign semantics, and open-world claims remain open.

No Free Precedent →technical report · Foreign-authored applicability, independent adjudication, and non-captive compounding remain open.

Reader contents

01Program statement
Research scope across ownership, time, representation, and system boundaries.
02Research reset
Rejection of the execution predictor and retention of scoped formal results.
03Priority records
Tarski Coherence, Compositional Accountability, and BABEL v2.
04Receipting
Occurrence, persistence, authority, reliance, challenge, and remedy.
05Decision ledger
Withdrawals, corrections, retained claims, and successor work.
06Review gates
Falsifiers, external review, independent evidence, and stop conditions.