Writing · Research notes and papers All writingMore researchResearch program

The Witnessing Spine

One gap, witnessed at four altitudes: research, philosophy, algebra, and tool. The capstone of a five-part adversarial-steelman corpus.

Zain Dana Harper ORCID 0009-0001-7175-5393 DOI 10.5281/zenodo.20778927 CC BY 4.0

Archived research corpus, deposited whole. Stated by its author as a pre-proof synthesis: a bid, not a proof. Dated corrections sit beside the passages they correct and are listed at the end. They are site notes, and the deposited text stays as deposited. Nothing here is peer reviewed. The deposited version at the DOI above is the citable one; this page carries the same text so it can be read, searched, and taken away without leaving the site.

Take this page in any format below, or download the typeset copy: The Witnessing Spine PDF.

Foreword, 2 October 2026

The text below is The Witnessing Spine as I deposited it on 20 June 2026 (DOI 10.5281/zenodo.20778927). It stays as deposited, and the deposit is the version to cite. This foreword is new. The record behind it shows a short path. A verification tool and the philosophy appeared in the same week of June, and they joined into one program between 17 and 19 June, when the claim that proving identity does not grant permission became code. What follows traces that path from dated commits, file times and my own session turns. It adds no claim to the deposit and changes none of its status labels.

The philosophy started as working notes for an ontology thesis. In the first week of June 2026 I opened a Claude Code session, pointed the model at those notes and asked it to steelman them. I framed the project as an ontological nihilism thesis built around the Golem story. The word emet, Hebrew for truth, is written on the clay, and rubbing out one letter leaves met, dead. I said from the start that the work was part thesis in philosophy and part thesis in AI research, and that each part should show its value on its own. The session's working files carry dates from 6 to 8 June. A model wrote most of the argument in that session, and the Conferred Existence pages say which parts are mine. That corpus was deposited on 20 June 2026 (DOI 10.5281/zenodo.20773724).

The first re-derivation tool is about a day older than those files. EMET, named for the same Hebrew word, has its first public commit on 6 June 2026. That commit describes a verifier in which trust is earned by reproduction and never by authority. EMET checks whether bytes still match their source and answers with a closed verdict: MATCH, DRIFT or UNVERIFIABLE. The deposit below uses that vocabulary throughout. During the thesis session I called emet the earlier exception layer of my tooling. So the record puts the tool and the thesis in the same week. It cannot say which idea came first in my own thinking, because my notes carry no date of first writing.

The program took shape at the membrane. In the thesis session I asked that the work tie back to meaning, to the 1 and the 0, and to the seam between them that acts as a membrane. The finished corpus turned that image into a claim: proving who sent a signal does not prove that the sender permitted the action. On 17 June the claim became code. The proof-surface package gained an authorization receipt, a record of an explicit grant from a named human that expires and can be revoked, with default deny for anything the grant leaves out. The same day, the coherence-membrane package added a read gate for witnessed perception. On 19 June I packaged both into Accountable Surface. Its first commit states that the model cannot supply its own authorization and that a missing operator grant means deny.

The authorization receipt had a predecessor. Before June my security work studied how a model's working context can be shaped from outside the model. The commit that added the receipt calls it the honest inversion of that earlier technique. Authority in the receipt is given in the open, by a person, for a limited time.

The Witnessing Spine came next. On 20 June 2026 its five adversarial steelmans and this synthesis were published and deposited on the same day. It is the first place where the philosophy and the tools were written up as one claim: nothing self-warrants. Its own section 8 labels the strongest step, that the four altitudes are one gap, an abductive bid.

Re-derivation moved to the center of the program over the next weeks. Reconcile followed on 21 June and The Conservation of Faithfulness on 23 June. Flywheel began on 6 July 2026 as a verified-inference harness. An internal analysis of 4 August proposed re-derivable correctness, where a stranger re-runs a result and confirms it, as the main direction for the work. Re-derivation is older than my use of it. Debian's Reproducible Builds effort, in which a third party rebuilds software and compares the result, began with a discussion at DebConf13 in July 2013.

This foreword changes nothing about the status of the deposit. It remains a pre-proof synthesis, nobody has peer reviewed it, and its claims still wait on my own re-derivation from primary sources. A model drafted this foreword on 2 October 2026 from dated records and my session turns, and I approved it paragraph by paragraph.


A Grand Bridge

One gap, witnessed at four altitudes: research · philosophy · algebra · tool

Author: Zain Dana Harper (independent researcher, Seattle · ORCID 0009-0001-7175-5393) Date: 2026-06-20 · License: CC-BY-4.0 Status: pre-proof research synthesis — a bid, not a proof (see §8). Capstone of a five-part adversarial-steelman corpus; companion to the Conferred Existence philosophy corpus (Zenodo 10.5281/zenodo.20773724). AI-assisted disclosure: web-grounded research agents performed source discovery; the author performed synthesis, adjudication, and independent verification; every citation was retrieval-checked; UNVERIFIED items are excluded from load-bearing claims; the convergence-identity claim is labeled an abductive bid, not a deductive identity.


§0 — The thesis, in one line

Nothing self-warrants.

Every property worth trusting — existence, identity, authority, equivalence, alpha, safety, assurance — is conferred by something outside the thing itself, and must be witnessed (re-derived from outside, coverage-accounted, stamped MATCH/DRIFT/UNVERIFIABLE) rather than asserted by the thing. Aseity — owning one's own ground — is false everywhere it is checked. Witnessing is the discipline that the absence of aseity demands.

This single claim is reached four independent ways in this body of work — empirically, a priori, formally, and executably — and they are the same claim. That fourfold convergence is the finding.


§1 — The gap, stated once

An artifact that is verified / asserted / conferred is not the property it warrants. The artifact is what the thing (or a proxy) says about itself; the warrant is that property re-derived from outside the thing. Self-certification is the error; witnessing is the fix.

Witnessing has a fixed shape wherever it appears: (1) re-derive the property from primary evidence outside the asserting party; (2) account for coverage — what was and was not checked; (3) stamp the result MATCH (re-derivation agrees), DRIFT (it disagrees), or UNVERIFIABLE (it cannot be re-derived) — and never silently fill an UNVERIFIABLE with a guess.


§2 — Altitude 1 · the research corpus (empirical) — five sectors, one gap

Five adversarial steelmans, five financially-loaded sectors, each independently steelmanned and then broken at the same joint (RUN-001…005 in this corpus).

RunSectorAsserted artifact≠ the warrantVerdict
001AI provenancesigned build lineagewitnessed provenance — authentication ≠ authorizationpartial; fails at verification
002COBOL modernizationa translated programbehavioral equivalence — translation ≠ equivalenceFALSE as stated
003Quant/MLa backtest Sharpe / APRdeflated realized alpha — backtest ≠ alphaFALSE as stated
004DeFi "trustless"a valid state transitioneconomic safety — verification ≠ safetyFALSE as stated
005Enterprise softwarea certificate / SLA / SBOMassurance — attestation ≠ assuranceFALSE as stated

The ring. Run 005's supply-chain finding — documented ≠ witnessed provenance, closed by in-toto / SLSA / reproducible builds — is the same mechanism Run 001 identified for financial-AI provenance. The last sector loops back to the first. The corpus is not five points; it is a closed loop, and the loop's invariant is the witnessing shape of §1. [MATCH — five dated, sourced artifacts; ~330 retrieval-verified citations; corrections logged honestly.]


§3 — Altitude 2 · the philosophy (a priori) — the membrane and no-aseity

The Conferred Existence corpus (Zenodo 10.5281/zenodo.20773724) reaches the same gap from pure philosophy, with no knowledge of the security or finance literatures — and names the convergence itself.

The membrane. Authentication verifies "is P a real instance?"; authorization needs "is this real P the operator's uncoerced will toward this referent, now?" Will-toward-a-referent is intentionality, not a property a signal carries. No conjunction of authentication facts entails the permission — an instance of the autonomy of the deontic (Pigden 1989, formalizing Hume), reached independently from security. The thesis flags this as a central result: an independent philosophy×security convergence, from which it derives an unmeasurability result and a failure taxonomy. Run 001 found that exact gap empirically in regulated-AI provenance; the thesis proved it a priori. Same gap, two directions. [MATCH — the thesis states the convergence in its own words; its subtitle is "…the Limits of Authentication."]

The deeper layer: no-aseity. The membrane is one face of a larger claim:

"Nothing possesses its own existence. To exist is to be conferred … The strong reading of ontological nihilism is not 'nothing exists' (self-refuting) but no aseity: nothing exists intrinsically, independently, or on its own footing." — Conferred Existence

Nothing self-warrants is no aseity. A signal cannot authorize itself (membrane); a being cannot ground its own existence (no-aseity); the same structural fact at two levels. The cross-tradition spine confirms it is not a local intuition: Ash'arite kasb (God creates the act; the human acquires it — total causal dependence with genuine ownership), Madhyamaka emptiness of own-being, Yoruba orí (received destiny — "kasb seen from inside the agent"). Three traditions that never met, one refusal of self-grounding. [MATCH — published thesis.]

The arity gap → accountability is two-place. "A one-place, target-fixing vocabulary cannot fix the target of a two-place relation." Holding-responsible does not reduce to behaviour-shaping, because the second-personal address is the second argument-place of the relation. Consequence: accountability requires a witness and a witnessed — a conferrer and a conferred. It is not a property a system has alone; it is a relation a system stands in. [MATCH — published thesis.]

Honest status (the deepest evidence). The thesis applies the discipline to itself: it is declared AI-assisted research substrate whose every claim the human author "must re-derive, own, and defend," and its keystone is stamped forces-conventionally-only — it claims only a conventional, witnessed seam, conceding the ultimate. A philosophy of proof-before-trust about its own authorship is the thesis enacting itself. [MATCH — it is the spine, self-applied.]


§4 — Altitude 3 · the algebra (formal) — MATCH / DRIFT / UNVERIFIABLE

The gap's fix can be formalized as a computable substrate: a witnessed, uncertainty-carrying transform algebra — a shared intermediate representation for perception, cognition, and actuation. (This layer is in-development design; described here at the conceptual level.) Three features map exactly onto §1's witnessing shape:

  1. The verdict is the stamp. A three-valued lattice — MATCH / DRIFT / UNVERIFIABLE — with the algebraic property that combining verdicts can only attenuate trust, never inflate it (meet = fail-closed). This is the §1 stamp, with a formal guarantee.
  2. UNVERIFIABLE is first-class; fail-closed. Uncertainty is represented and propagated, never silently filled — any operation reading an UNVERIFIABLE input yields UNVERIFIABLE, never a guessed value. This is the research corpus's "UNVERIFIED is excluded from load-bearing use," and the epistemics' "unknown beats fabrication," as a type rule.
  3. reconcile is witnessing, mechanized. The same algebra, clock pointed three ways: report → what is (perception); predict → what would be; reconcile — compare predicted against re-perceived → a drift verdict (verification). The corpus's closing move — re-derive and compare, stamp MATCH/DRIFT — is literally the reconcile mode. The discipline applied by hand across five sectors is one of three native operations of the substrate. [MATCH — the mapping is one-to-one, not analogical; the same behavior is implemented in the public tool, §5.]

§5 — Altitude 4 · the tool (executable) — the gate and the grounding cortex

accountable-surface (github.com/HarperZ9/accountable-surface; zero-dependency core; MIT) is the spine running: perception · gate · memory · 3-channel actuation (fs/web/os) · bounded autonomy · grounding cortex.

The gate = the membrane, in code. Doctrine: "Awareness is not authority … will-toward-a-referent is not a property a signal carries … absent an explicit, revocable human grant, the default is deny." Enforced: with no operator grant loaded, the server returns deny — "the model cannot self-authorize." Authentication ≠ authorization is not a slogan here; it is a default-deny branch. [MATCH — public source: src/accountable_surface/server.py, THEORY.md.]

The grounding cortex = proof-before-trust, in code. "A claim is worth what its receipt is worth … the self-view is content-addressed and cannot silently drift." The ReferenceCortex returns grounded / weak / ungrounded; an ungrounded premise escalates to needs-human rather than acting on an unwitnessed claim. [MATCH — public source: src/accountable_surface/reference.py.]

reconcile, executable. Every action runs perceive → gate → act → re-perceive → verify → drift → rollback-if-reversible. The algebra's reconcile mode is the tool's actuation loop. And interoception gives a content-addressed (SHA-256) self-view that "cannot silently drift" — no-aseity in code: the organism's account of itself is witnessed, not self-asserted. [MATCH — public source: src/accountable_surface/surface.py.]

Mission. "Senses and sensibility are what lead to the new frontier. Machines learning to hold themselves accountable." — senses = perception; sensibility = the gate + grounding (judgment). Honest gap: the sensibility half (the accountability spine) is built; the senses half is thin (no live DOM yet); the live model-facing daemon is future work. [DRIFT acknowledged — the organism's perceptual reach is the open frontier; the accountability spine is done, the senses are not.]


§6 — The bridge: why these are the SAME gap (schools · surfaces · layers)

Across schools of thought — each arrives, by its own route, at nothing self-grounds / self-certifies:

SchoolIts statement of the gap
Ash'arite kalāmkhalq vs kasb — the act is created (not self-originated) yet genuinely acquired
Madhyamakaemptiness of own-being — no svabhāva anywhere
Yoruba thoughtorí / àyànmọ́ — destiny received, not self-made
Hume → Pigdenautonomy of the deontic — no "ought" from "is" alone
Security engineeringABLP / Saltzer–Schroeder — identity ≠ permission; open design; secrecy ≠ security
Financial economicsloss-versus-rebalancing, deflated Sharpe — displayed yield ≠ witnessed risk-adjusted P&L
Supply-chain securityin-toto / SLSA / reproducible builds — documented ≠ witnessed provenance

These are not seven analogies. They are seven instantiations of one structural fact: a property cannot be its own ground; the warrant must come from outside and be witnessed. [Confidence: high that each school states the gap; moderate-to-high that it is the same gap — the load-bearing abductive bid, §8.]

Across surfaces — perception / cognition / actuation — the gap recurs at each: perceiving ≠ authorizing (the gate); asserting ≠ grounding (the cortex); acting ≠ verified-acting (reconcile). The algebra's three modes and the tool's three effectors track them.

Across layers — ontology → epistemology → security → finance → enterprise → algebra → organism → tool — the gap is present at every layer, because it is not a fact about any one domain but about the structure of conferral itself. No-aseity is the ontological floor; the membrane is its security face; witnessing is the discipline; MATCH/DRIFT/UNVERIFIABLE is its formal stamp; the gate + cortex are its executable form.


§7 — What this licenses (the contribution)

  1. One result at four altitudes. The membrane (a priori), the five-sector convergence (empirical), the verdict algebra (formal), and the gate+cortex (executable) are the same result. Mutual corroboration across independent methods — a philosophy that disclaims knowledge of security; security/finance research that disclaims knowledge of the philosophy; a formal algebra; a running tool — is the strongest evidence short of proof.
  2. A sector-agnostic discipline: coverage-accounted witnessed evidence. Re-derive the warrant, account for coverage, stamp MATCH/DRIFT/UNVERIFIABLE, fail closed. Demonstrated across regulation, legacy migration, quant diligence, on-chain economics, and enterprise procurement. The most demand-backed instantiation is a verifiable-provenance protocol for regulated AI (the Run-001 ↔ Run-005 ring); the most novel is the abstraction itself.
  3. Accountability is two-place. From the arity gap: a system cannot be accountable alone; the relation needs a witness. A tool that holds a model accountable must, to be consistent, also hold its operator accountable. Conferral binds the conferrer.

§8 — Honest status (proof-before-trust, applied to this synthesis)

This document is a synthesis and a bid, not a proof — and it must say so, or it violates its own thesis.


Capstone of the frontier research corpus. The gap is one; the witnesses are four; the discipline is the same at every altitude. Nothing self-warrants — including this.

Corrections

3 October 2026, correction, section 3: earlier text said three traditions "never met" and reached the same view independently. That claim had no source, and it is withdrawn. Islam has a long history in Yorubaland, so contact between two of the three traditions is likely. The narrower claim stands: serious traditions have held people responsible without requiring them to be their own cause.

3 October 2026, correction, section 3: earlier text said a one-place vocabulary cannot fix the target of a two-place relation. Behavior control also relates two parties, so that wording was wrong. The current claim is narrower: the address relation needs a second party who can answer and refuse, and a description built only from the role of a system to be adjusted has not been shown to fix it.

Rendered from the deposited source by tools/render_corpus.py, so this page cannot drift from the corpus it reproduces. Generated 2,145 words of text across 9 sections.