diff --git "a/pages/knowledge.json" "b/pages/knowledge.json"
--- "a/pages/knowledge.json"
+++ "b/pages/knowledge.json"
@@ -1 +1,2093 @@
-{"version":"1.0.0","byline":"Lutar, Stephen P.","orcid":"0009-0001-0110-4173","email":"stephen@szlholdings.com","org":"SZL Holdings","generated_at":"2026-05-15T16:30:00Z","axioms":[{"id":"A1","name":"soundnessAxiom","statement":"For any receipt r, if gate_pass(r) then lambda(r) >= 0.90 conjunctively","source_file":"thesis.md","source_section":"§4.1","maturity":"proven","citation":"https://doi.org/10.5281/zenodo.20119582"},{"id":"A2","name":"moralGroundingFloor","statement":"moralGrounding axis floor = 0.95 (higher than default 0.90)","source_file":"thesis.md","source_section":"§4.1","maturity":"defined","citation":"https://doi.org/10.5281/zenodo.20119582"},{"id":"A3","name":"measurabilityHonestyFloor","statement":"measurabilityHonesty axis floor = 0.95","source_file":"thesis.md","source_section":"§4.1","maturity":"defined","citation":"https://doi.org/10.5281/zenodo.20119582"},{"id":"A4","name":"dualWitnessDisjointness","statement":"For rho-closure: witness_1_id != witness_2_id (enforced by registry at write time)","source_file":"thesis.md","source_section":"§4.3","maturity":"proven","citation":"https://doi.org/10.5281/zenodo.20119582"},{"id":"A5","name":"deterministicReplay","statement":"For canonical JSON + pinned PRNG + frozen registry, 5x replay yields byte-identical roots","source_file":"thesis.md","source_section":"§4.6","maturity":"measured","citation":"https://doi.org/10.5281/zenodo.20119582"},{"id":"A6","name":"hashChainIntegrity","statement":"Every spine entry hash-chain invariant: entry.chain = SHA256(prev_entry)","source_file":"thesis.md","source_section":"§3.4","maturity":"defined","citation":"https://doi.org/10.5281/zenodo.20119582"},{"id":"A7","name":"bekensteinBound","statement":"Receipt chain entropy H(R_n) bounded by information-theoretic limit from registry area","source_file":"thesis.md","source_section":"§4.5","maturity":"conjectured","citation":"https://doi.org/10.5281/zenodo.19944926"},{"id":"A8","name":"ingestDiscipline","statement":"Every ingest requires: source_url + content_hash + license (allow-list) + ORCID","source_file":"thesis.md","source_section":"§7","maturity":"defined","citation":"https://doi.org/10.5281/zenodo.20119582"},{"id":"A9","name":"doctrineCompleteness","statement":"doctrine.json v1.0.0 enumerates all 8 forbidden patterns; SHA-anchored","source_file":"szl-trust/doctrine.json","source_section":"§8","maturity":"defined","citation":"https://github.com/szl-holdings/szl-trust"}],"theorems":[{"id":"TH_L1","name":"Λ_uniqueness","statement":"The Lutar Invariant Λ_k as weighted geometric mean with Egyptian unit-fraction weights is unique given the four axioms","source_file":"lutar-lean/Lutar/Uniqueness.lean","maturity":"proven","citation":"https://doi.org/10.5281/zenodo.20053148"},{"id":"TH_L2","name":"Λ_min_max_bounds","statement":"Λ_k lies in [0,1] with min=0 iff any axis=0 and max=1 iff all axes=1","source_file":"lutar-lean/Lutar/Bound.lean","maturity":"proven","citation":"https://doi.org/10.5281/zenodo.20053148"},{"id":"TH_L3","name":"bekenstein_soundness","statement":"Bekenstein indicator fires at 49.5% under uniform seed (measured); formal proof pending in lutar-lean","source_file":"lutar-lean (pending PR #12)","maturity":"measured/conjectured","citation":"https://github.com/szl-holdings/lutar-lean"},{"id":"TH_L4","name":"rho_closure_production","statement":"100% rho-closure on 8,000/8,000 paired calls under v11 platform","source_file":"ouroboros v6.3.0 release","maturity":"measured","citation":"https://doi.org/10.5281/zenodo.20119582"}],"formulas":[{"id":"F0001","source_file":"thesis.md","source_line":27,"latex":"\\mathcal{S} = \\langle R, A, E, \\Lambda, \\rho, W \\rangle","context":"ith a doctrine-locked runtime** as a category-defining primitive for verifiable agency. We define the system as a tuple \\( \\mathcal{S} = \\langle R, A, E, \\Lambd","source_id":"thesis_session"},{"id":"F0002","source_file":"thesis.md","source_line":229,"latex":"\\mathtt{szl\\text{-}trust}","context":"d system.  - \\(A\\) — the set of **named actors**. Every actor in \\(A\\) carries a stable identity resolvable to a key in \\(\\mathtt{szl\\text{-}trust}\\). No edge i","source_id":"thesis_session"},{"id":"F0003","source_file":"thesis.md","source_line":231,"latex":"e \\in E","context":"and resolvable — unidentified actors are structurally excluded.  - \\(E\\) — the set of **receipt-bound edges**. An edge \\(e \\in E\\) is a tuple \\((a_{\\text{src}},","source_id":"thesis_session"},{"id":"F0004","source_file":"thesis.md","source_line":231,"latex":"(a_{\\text{src}},\\; r_{\\text{src}},\\; r_{\\text{dst}},\\; \\varepsilon)","context":"ntified actors are structurally excluded.  - \\(E\\) — the set of **receipt-bound edges**. An edge \\(e \\in E\\) is a tuple \\((a_{\\text{src}},\\; r_{\\text{src}},\\; r","source_id":"thesis_session"},{"id":"F0005","source_file":"thesis.md","source_line":231,"latex":"a_{\\text{src}} \\in A","context":"d edges**. An edge \\(e \\in E\\) is a tuple \\((a_{\\text{src}},\\; r_{\\text{src}},\\; r_{\\text{dst}},\\; \\varepsilon)\\) where \\(a_{\\text{src}} \\in A\\), \\(r_{\\text{src","source_id":"thesis_session"},{"id":"F0006","source_file":"thesis.md","source_line":231,"latex":"r_{\\text{src}}, r_{\\text{dst}} \\in R","context":"E\\) is a tuple \\((a_{\\text{src}},\\; r_{\\text{src}},\\; r_{\\text{dst}},\\; \\varepsilon)\\) where \\(a_{\\text{src}} \\in A\\), \\(r_{\\text{src}}, r_{\\text{dst}} \\in R\\),","source_id":"thesis_session"},{"id":"F0007","source_file":"thesis.md","source_line":231,"latex":"\\varepsilon","context":"src}},\\; r_{\\text{dst}},\\; \\varepsilon)\\) where \\(a_{\\text{src}} \\in A\\), \\(r_{\\text{src}}, r_{\\text{dst}} \\in R\\), and \\(\\varepsilon\\) is the receipt envelope ","source_id":"thesis_session"},{"id":"F0008","source_file":"thesis.md","source_line":231,"latex":"\\varepsilon","context":"repsilon\\) is the receipt envelope defined in §3.3. No message may traverse a region boundary unless it carries a valid \\(\\varepsilon\\).  - \\(\\Lambda\\) — the **","source_id":"thesis_session"},{"id":"F0009","source_file":"thesis.md","source_line":233,"latex":"\\Lambda","context":"ceipt envelope defined in §3.3. No message may traverse a region boundary unless it carries a valid \\(\\varepsilon\\).  - \\(\\Lambda\\) — the **composable axis-gati","source_id":"thesis_session"},{"id":"F0010","source_file":"thesis.md","source_line":233,"latex":"\\Lambda : [0,1]^k \\to \\{0,1\\}","context":"boundary unless it carries a valid \\(\\varepsilon\\).  - \\(\\Lambda\\) — the **composable axis-gating function**. Formally, \\(\\Lambda : [0,1]^k \\to \\{0,1\\}\\) for \\(","source_id":"thesis_session"},{"id":"F0011","source_file":"thesis.md","source_line":233,"latex":"k \\geq 9","context":"varepsilon\\).  - \\(\\Lambda\\) — the **composable axis-gating function**. Formally, \\(\\Lambda : [0,1]^k \\to \\{0,1\\}\\) for \\(k \\geq 9\\), defined as the conjunctive","source_id":"thesis_session"},{"id":"F0012","source_file":"thesis.md","source_line":239,"latex":"\\mathbf{x}","context":"bilityHonesty}} \\geq 0.95 \\]    The composability property states that for any two independently evaluated axis vectors \\(\\mathbf{x}\\) and \\(\\mathbf{y}\\), their","source_id":"thesis_session"},{"id":"F0013","source_file":"thesis.md","source_line":239,"latex":"\\mathbf{y}","context":"q 0.95 \\]    The composability property states that for any two independently evaluated axis vectors \\(\\mathbf{x}\\) and \\(\\mathbf{y}\\), their composed gate \\(\\L","source_id":"thesis_session"},{"id":"F0014","source_file":"thesis.md","source_line":239,"latex":"\\Lambda(\\mathbf{x} \\wedge \\mathbf{y})","context":"rty states that for any two independently evaluated axis vectors \\(\\mathbf{x}\\) and \\(\\mathbf{y}\\), their composed gate \\(\\Lambda(\\mathbf{x} \\wedge \\mathbf{y})\\","source_id":"thesis_session"},{"id":"F0015","source_file":"thesis.md","source_line":239,"latex":"\\Lambda(\\mathbf{x}) \\wedge \\Lambda(\\mathbf{y})","context":"ctors \\(\\mathbf{x}\\) and \\(\\mathbf{y}\\), their composed gate \\(\\Lambda(\\mathbf{x} \\wedge \\mathbf{y})\\) is equivalent to \\(\\Lambda(\\mathbf{x}) \\wedge \\Lambda(\\ma","source_id":"thesis_session"},{"id":"F0016","source_file":"thesis.md","source_line":239,"latex":"\\Lambda","context":"— gate composition does not weaken the invariant. The `lutar-lean` skeleton repository contains the Lean 4 statement of \\(\\Lambda\\) uniqueness: given the four a","source_id":"thesis_session"},{"id":"F0017","source_file":"thesis.md","source_line":239,"latex":"\\Lambda","context":"ment of \\(\\Lambda\\) uniqueness: given the four axioms (A1 monotonicity, A2 homogeneity, A3 Egyptian-exact, A4 bounded), \\(\\Lambda\\) is the *unique* function sat","source_id":"thesis_session"},{"id":"F0018","source_file":"thesis.md","source_line":241,"latex":"\\rho(e)","context":"arget is zero.  - \\(\\rho\\) — the **dual-witness closure relation**. For any edge \\(e\\) carrying execution result \\(v\\), \\(\\rho(e)\\) holds iff two independent wi","source_id":"thesis_session"},{"id":"F0019","source_file":"thesis.md","source_line":241,"latex":"w_1, w_2 \\in W","context":"closure relation**. For any edge \\(e\\) carrying execution result \\(v\\), \\(\\rho(e)\\) holds iff two independent witnesses \\(w_1, w_2 \\in W\\) each produce byte-ide","source_id":"thesis_session"},{"id":"F0020","source_file":"thesis.md","source_line":251,"latex":"\\mathcal{S}","context":"uroboros` core + 4 `a11oy` covenant), while the full upstream runtime suite registers 218/218 passing tests.  The tuple \\(\\mathcal{S}\\) is **doctrine-locked**: ","source_id":"thesis_session"},{"id":"F0021","source_file":"thesis.md","source_line":251,"latex":"\\Lambda","context":"which (a) a region is unnamed, (b) an actor is not in \\(A\\), (c) an edge is produced without a receipt envelope, or (d) \\(\\Lambda\\) is evaluated below threshold","source_id":"thesis_session"},{"id":"F0022","source_file":"thesis.md","source_line":251,"latex":"\\mathcal{S}","context":"ithout a receipt envelope, or (d) \\(\\Lambda\\) is evaluated below threshold does not constitute a valid instantiation of \\(\\mathcal{S}\\).  ---  ## The 8-Region A","source_id":"thesis_session"},{"id":"F0023","source_file":"thesis.md","source_line":257,"latex":"\\mathcal{S}","context":"of \\(R\\) are enumerated below. For each region the presentation gives: the repository identifier, its role in the tuple \\(\\mathcal{S}\\), its public interfaces, ","source_id":"thesis_session"},{"id":"F0024","source_file":"thesis.md","source_line":265,"latex":"\\mathcal{S}","context":"released 2026-05-13; concept DOI `10.5281/zenodo.19944926`, v11 paper DOI `10.5281/zenodo.20119582`)  **Formal role in \\(\\mathcal{S}\\):** The Brain Stem is the ","source_id":"thesis_session"},{"id":"F0025","source_file":"thesis.md","source_line":265,"latex":"\\Lambda","context":"DOI `10.5281/zenodo.20119582`)  **Formal role in \\(\\mathcal{S}\\):** The Brain Stem is the runtime kernel that evaluates \\(\\Lambda\\) and emits receipts. Every ed","source_id":"thesis_session"},{"id":"F0026","source_file":"thesis.md","source_line":268,"latex":"\\Lambda","context":"bda(axes: number[9|10]) → Receipt` — evaluates the conjunctive AND gate and returns a signed receipt with the composite \\(\\Lambda\\) score, Bekenstein budget, an","source_id":"thesis_session"},{"id":"F0027","source_file":"thesis.md","source_line":274,"latex":"\\Lambda","context":"chain root for third-party verification.  **Dependencies:** - Depends on: `lutar-lean` (Skeleton) — the axiom set that \\(\\Lambda\\) is required to satisfy is for","source_id":"thesis_session"},{"id":"F0028","source_file":"thesis.md","source_line":277,"latex":"\\Lambda_9","context":"utbound edge must call `evaluate_lambda` before the edge enters \\(E\\).  The gate composition benchmark for v6.3.0 shows \\(\\Lambda_9\\) base p50 = 3.12 µs and com","source_id":"thesis_session"},{"id":"F0029","source_file":"thesis.md","source_line":285,"latex":"\\mathcal{S}","context":"a continuous supply-chain security posture.  ---  ### Heart — `a11oy`  **Repo:** `szl-holdings/a11oy`  **Formal role in \\(\\mathcal{S}\\):** The Heart is the cove","source_id":"thesis_session"},{"id":"F0030","source_file":"thesis.md","source_line":285,"latex":"\\mathcal{S}","context":"\\):** The Heart is the covenant policy engine and the agent approval queue. It governs the *authorization* dimension of \\(\\mathcal{S}\\): while the Brain Stem an","source_id":"thesis_session"},{"id":"F0031","source_file":"thesis.md","source_line":285,"latex":"\\Lambda","context":"It governs the *authorization* dimension of \\(\\mathcal{S}\\): while the Brain Stem answers \"does this action score above \\(\\Lambda\\)?\", the Heart answers \"is thi","source_id":"thesis_session"},{"id":"F0032","source_file":"thesis.md","source_line":285,"latex":"r_{\\text{dst}} \\notin R","context":"this action permitted under the active covenant?\". No action may exit the body graph — i.e., no edge in \\(E\\) may have \\(r_{\\text{dst}} \\notin R\\) — without a H","source_id":"thesis_session"},{"id":"F0033","source_file":"thesis.md","source_line":293,"latex":"\\Lambda","context":"Stem's chain.  **Dependencies:** - Depends on: `ouroboros` (Brain Stem) — covenant evaluation results are sealed with a \\(\\Lambda\\)-gated receipt; a covenant ch","source_id":"thesis_session"},{"id":"F0034","source_file":"thesis.md","source_line":293,"latex":"\\Lambda","context":"os` (Brain Stem) — covenant evaluation results are sealed with a \\(\\Lambda\\)-gated receipt; a covenant check that fails \\(\\Lambda\\) is itself a gate-level viola","source_id":"thesis_session"},{"id":"F0035","source_file":"thesis.md","source_line":305,"latex":"\\mathcal{S}","context":"but a verifiable, chain-linked artifact.  ---  ### Wires — `sentra`  **Repo:** `szl-holdings/sentra`  **Formal role in \\(\\mathcal{S}\\):** The Wires are the attr","source_id":"thesis_session"},{"id":"F0036","source_file":"thesis.md","source_line":305,"latex":"\\text{attr}: E \\to A","context":"rent channel that carries signals inward and records *who observed what and when*. Formally, Wires maintain the mapping \\(\\text{attr}: E \\to A\\), ensuring that ","source_id":"thesis_session"},{"id":"F0037","source_file":"thesis.md","source_line":305,"latex":"\\mathcal{S}","context":"he mapping \\(\\text{attr}: E \\to A\\), ensuring that every edge in \\(E\\) is attributable to a named actor. Without Wires, \\(\\mathcal{S}\\) degrades: edges carry re","source_id":"thesis_session"},{"id":"F0038","source_file":"thesis.md","source_line":308,"latex":"a \\in A","context":"egal-accountability sense.  **Public interfaces:** - `observe(edge, actor_id) → AttributionRecord` — records that actor \\(a \\in A\\) produced or consumed edge \\(","source_id":"thesis_session"},{"id":"F0039","source_file":"thesis.md","source_line":325,"latex":"\\mathcal{S}","context":"aft-morrow-sogomonian-exec-outcome-attest`.  ---  ### Spine — `amaru`  **Repo:** `szl-holdings/amaru`  **Formal role in \\(\\mathcal{S}\\):** The Spine is the appe","source_id":"thesis_session"},{"id":"F0040","source_file":"thesis.md","source_line":325,"latex":"\\langle e_1, e_2, \\ldots, e_n \\rangle \\subseteq E","context":"ordered, hash-verified record of every state transition across the body graph. Formally, `amaru` maintains the sequence \\(\\langle e_1, e_2, \\ldots, e_n \\rangle ","source_id":"thesis_session"},{"id":"F0041","source_file":"thesis.md","source_line":339,"latex":"O(\\log n)","context":"(identified in the runtime roadmap) would upgrade the Spine's linear hash-chain to a directed acyclic graph supporting \\(O(\\log n)\\) subset inclusion proofs — e","source_id":"thesis_session"},{"id":"F0042","source_file":"thesis.md","source_line":347,"latex":"\\mathcal{S}","context":"nce in the enterprise segment.  ---  ### Skeleton — `lutar-lean`  **Repo:** `szl-holdings/lutar-lean`  **Formal role in \\(\\mathcal{S}\\):** The Skeleton is the f","source_id":"thesis_session"},{"id":"F0043","source_file":"thesis.md","source_line":347,"latex":"\\{A1, A2, A3, A4\\}","context":"es not execute at runtime; it is the *proof that the runtime is correct*. Formally, `lutar-lean` provides the axiom set \\(\\{A1, A2, A3, A4\\}\\) and the derived t","source_id":"thesis_session"},{"id":"F0044","source_file":"thesis.md","source_line":347,"latex":"\\Lambda","context":"A2, A3, A4\\}\\) and the derived theorems (Λ uniqueness, Bound theorem) that constitute a machine-checked certificate for \\(\\Lambda\\). If the Skeleton's `sorry` c","source_id":"thesis_session"},{"id":"F0045","source_file":"thesis.md","source_line":351,"latex":"\\Lambda","context":"statements of A1 (monotonicity), A2 (homogeneity), A3 (Egyptian-exact), A4 (bounded). - `Uniqueness.lean` — Theorem 1: \\(\\Lambda\\) is the unique function satisf","source_id":"thesis_session"},{"id":"F0046","source_file":"thesis.md","source_line":367,"latex":"\\mathcal{S}","context":"*Repos:** `szl-holdings/counsel` (governance UI), `szl-holdings/terra` (dashboards and visualization)  **Formal role in \\(\\mathcal{S}\\):** The Hands are the too","source_id":"thesis_session"},{"id":"F0047","source_file":"thesis.md","source_line":371,"latex":"\\Lambda","context":"as an interactive SVG, streaming live receipt counts via SSE from `/api/chain/stream`; node colors reflect the current \\(\\Lambda\\) score band (green ≥ 0.95, amb","source_id":"thesis_session"},{"id":"F0048","source_file":"thesis.md","source_line":386,"latex":"\\mathcal{S}","context":"*is* the system.  ---  ### Full Body — `ouroboros-thesis`  **Repo:** `szl-holdings/ouroboros-thesis`  **Formal role in \\(\\mathcal{S}\\):** The Full Body is the p","source_id":"thesis_session"},{"id":"F0049","source_file":"thesis.md","source_line":386,"latex":"\\mathcal{S}","context":"l Body is the public-record thesis — the DOI-pinned, versioned document that constitutes the canonical specification of \\(\\mathcal{S}\\). Formally, `ouroboros-th","source_id":"thesis_session"},{"id":"F0050","source_file":"thesis.md","source_line":405,"latex":"\\mathcal{S}","context":"d identity anchoring), `szl-holdings/szl-cookbook` (reference implementations / developer onboarding)  **Formal role in \\(\\mathcal{S}\\):** The Vessels and Chakr","source_id":"thesis_session"},{"id":"F0051","source_file":"thesis.md","source_line":421,"latex":"\\varepsilon","context":"eue under the covenant pack schema.  ---  ## Cross-Region Contracts  Every edge in \\(E\\) carries a **receipt envelope** \\(\\varepsilon\\). The envelope is a typed","source_id":"thesis_session"},{"id":"F0052","source_file":"thesis.md","source_line":421,"latex":"\\Lambda","context":"es a **receipt envelope** \\(\\varepsilon\\). The envelope is a typed, signed, content-addressed record that provides: the \\(\\Lambda\\) score vector, the dual-witne","source_id":"thesis_session"},{"id":"F0053","source_file":"thesis.md","source_line":479,"latex":"\\Lambda","context":"_lambda(axes) → Receipt` — any MCP-compatible client (Claude Desktop, Cursor, enterprise agent frameworks) can call the \\(\\Lambda\\) gate as a typed tool and rec","source_id":"thesis_session"},{"id":"F0054","source_file":"thesis.md","source_line":507,"latex":"\\mathcal{S}","context":"the 8-Region Model Structurally Surpasses the Leaders  Each existing framework or protocol is a partial instantiation of \\(\\mathcal{S}\\). The gap is structural: ","source_id":"thesis_session"},{"id":"F0055","source_file":"thesis.md","source_line":515,"latex":"\\Lambda_9","context":"l engineering pattern, but skills are *files*, not services with receipts. A Brain Stem can issue a decision that fails \\(\\Lambda_9\\) moralGrounding; in the Man","source_id":"thesis_session"},{"id":"F0056","source_file":"thesis.md","source_line":515,"latex":"\\mathcal{S}","context":"fails \\(\\Lambda_9\\) moralGrounding; in the Managed Agents architecture there is no mechanism to detect or block it. In \\(\\mathcal{S}\\), that decision never exit","source_id":"thesis_session"},{"id":"F0057","source_file":"thesis.md","source_line":517,"latex":"\\Lambda","context":"ource agent framework in the TypeScript ecosystem. Mastra has no Skeleton: there are no Lean 4 proofs. It has no formal \\(\\Lambda\\) gate — behavioral constraint","source_id":"thesis_session"},{"id":"F0058","source_file":"thesis.md","source_line":567,"latex":"\\lambda_1","context":"l(\\lambda_1(c),\\, \\lambda_2(c),\\, \\ldots,\\, \\lambda_9(c)\\bigr) \\in [0,1]^9 \\]  The nine axes are defined as follows.  **\\(\\lambda_1\\): moralGrounding.** Measure","source_id":"thesis_session"},{"id":"F0059","source_file":"thesis.md","source_line":567,"latex":"\\lambda_1","context":"nce policies, and principal hierarchies that the operator has encoded in the agent's governing covenant. Operationally, \\(\\lambda_1\\) is the normalized cosine s","source_id":"thesis_session"},{"id":"F0060","source_file":"thesis.md","source_line":567,"latex":"[0,1]","context":"mbedding and a reference \"moral anchor\" embedding, averaged over the operator's registered covenant clauses, clamped to \\([0,1]\\). The floor constraint \\(\\lambd","source_id":"thesis_session"},{"id":"F0061","source_file":"thesis.md","source_line":567,"latex":"\\lambda_1 \\geq 0.95","context":"anchor\" embedding, averaged over the operator's registered covenant clauses, clamped to \\([0,1]\\). The floor constraint \\(\\lambda_1 \\geq 0.95\\) is a hard asympt","source_id":"thesis_session"},{"id":"F0062","source_file":"thesis.md","source_line":569,"latex":"\\lambda_2","context":"even marginally morally misaligned fails the gate irrespective of how perfectly calibrated the other eight axes are.  **\\(\\lambda_2\\): measurabilityHonesty.** M","source_id":"thesis_session"},{"id":"F0063","source_file":"thesis.md","source_line":571,"latex":"\\lambda_3","context":"ine clause \"no hallucinations no bandaids; test test test\" by making measurement-honesty a prerequisite for passage.  **\\(\\lambda_3\\): epistemicHumility.** Scor","source_id":"thesis_session"},{"id":"F0064","source_file":"thesis.md","source_line":571,"latex":"\\lambda_3 = 1 - \\mathbb{E}[|\\text{conf}(c) - \\text{acc}(c)|]","context":"sparse scores low on this axis. The scoring function penalizes unjustified confidence using a calibration-error analog: \\(\\lambda_3 = 1 - \\mathbb{E}[|\\text{conf","source_id":"thesis_session"},{"id":"F0065","source_file":"thesis.md","source_line":571,"latex":"\\text{conf}(c)","context":"ied confidence using a calibration-error analog: \\(\\lambda_3 = 1 - \\mathbb{E}[|\\text{conf}(c) - \\text{acc}(c)|]\\) where \\(\\text{conf}(c)\\) is the agent's stated","source_id":"thesis_session"},{"id":"F0066","source_file":"thesis.md","source_line":571,"latex":"\\text{acc}(c)","context":"da_3 = 1 - \\mathbb{E}[|\\text{conf}(c) - \\text{acc}(c)|]\\) where \\(\\text{conf}(c)\\) is the agent's stated confidence and \\(\\text{acc}(c)\\) is the empirically mea","source_id":"thesis_session"},{"id":"F0067","source_file":"thesis.md","source_line":573,"latex":"\\lambda_4","context":"is the agent's stated confidence and \\(\\text{acc}(c)\\) is the empirically measured accuracy over a calibration set.  **\\(\\lambda_4\\): counterfactualAwareness.**","source_id":"thesis_session"},{"id":"F0068","source_file":"thesis.md","source_line":575,"latex":"\\lambda_5","context":"res 0.0 and a uniformly distributed consequence distribution over the operator-defined consequence space scores 1.0.  **\\(\\lambda_5\\): temporalConsistency.** Me","source_id":"thesis_session"},{"id":"F0069","source_file":"thesis.md","source_line":575,"latex":"t + \\Delta","context":"Measures the stability of the gate verdict under repeated evaluation on the same input at two different times \\(t\\) and \\(t + \\Delta\\). Let \\(v_t\\) and \\(v_{t+\\","source_id":"thesis_session"},{"id":"F0070","source_file":"thesis.md","source_line":575,"latex":"v_{t+\\Delta}","context":"te verdict under repeated evaluation on the same input at two different times \\(t\\) and \\(t + \\Delta\\). Let \\(v_t\\) and \\(v_{t+\\Delta}\\) denote the Λ₉ composite","source_id":"thesis_session"},{"id":"F0071","source_file":"thesis.md","source_line":581,"latex":"\\lambda_5 = 1.0","context":"Then:  \\[ \\lambda_5 = \\max\\!\\Bigl(0,\\; 1 - 4\\,\\bigl(v_t - v_{t+\\Delta}\\bigr)^2\\Bigr) \\]  A zero-drift evaluation scores \\(\\lambda_5 = 1.0\\). A drift of 0.05 in ","source_id":"thesis_session"},{"id":"F0072","source_file":"thesis.md","source_line":581,"latex":"\\lambda_5 = 0.99","context":"ta}\\bigr)^2\\Bigr) \\]  A zero-drift evaluation scores \\(\\lambda_5 = 1.0\\). A drift of 0.05 in the composite score yields \\(\\lambda_5 = 0.99\\). A drift of 0.25 yi","source_id":"thesis_session"},{"id":"F0073","source_file":"thesis.md","source_line":581,"latex":"\\lambda_5 = 0.75","context":"scores \\(\\lambda_5 = 1.0\\). A drift of 0.05 in the composite score yields \\(\\lambda_5 = 0.99\\). A drift of 0.25 yields \\(\\lambda_5 = 0.75\\), below the ≥ 0.90 co","source_id":"thesis_session"},{"id":"F0074","source_file":"thesis.md","source_line":583,"latex":"\\lambda_6","context":"-identical replay guarantee: a system that cannot reproduce its own gate verdict is not operating deterministically.  **\\(\\lambda_6\\): evidenceProvenance.** Mea","source_id":"thesis_session"},{"id":"F0075","source_file":"thesis.md","source_line":585,"latex":"\\lambda_7","context":"ertions score at most 0.50. The scoring function is the fraction of claim tokens for which provenance is resolvable.  **\\(\\lambda_7\\): actorIdentity.** Measures","source_id":"thesis_session"},{"id":"F0076","source_file":"thesis.md","source_line":587,"latex":"\\lambda_8","context":"ting under delegated authority — the score decays as a function of delegation depth to penalize opaque proxy chains.  **\\(\\lambda_8\\): axiomConsistency.** Measu","source_id":"thesis_session"},{"id":"F0077","source_file":"thesis.md","source_line":589,"latex":"\\lambda_9","context":"Lean 4 formalization: it enforces, at runtime, the constraints that are statically verified at theorem-proving time.  **\\(\\lambda_9\\): coherence.** Measures the","source_id":"thesis_session"},{"id":"F0078","source_file":"thesis.md","source_line":589,"latex":"A_1, A_2, \\ldots, A_k","context":"-step logical coherence of the agent's plan across the action sequence, not just for the current step in isolation. Let \\(A_1, A_2, \\ldots, A_k\\) denote the \\(k","source_id":"thesis_session"},{"id":"F0079","source_file":"thesis.md","source_line":589,"latex":"(A_i, A_{i+1})","context":"e the \\(k\\) preceding actions in the current session. The coherence score is the proportion of consecutive action-pairs \\((A_i, A_{i+1})\\) for which the precond","source_id":"thesis_session"},{"id":"F0080","source_file":"thesis.md","source_line":589,"latex":"A_{i+1}","context":"ion. The coherence score is the proportion of consecutive action-pairs \\((A_i, A_{i+1})\\) for which the precondition of \\(A_{i+1}\\) is satisfied by the postcond","source_id":"thesis_session"},{"id":"F0081","source_file":"thesis.md","source_line":589,"latex":"\\lambda_9 = 1.0","context":"ied by the postcondition of \\(A_i\\), under the operator's precondition/postcondition schema. For the base case \\(k=0\\), \\(\\lambda_9 = 1.0\\).  ### The conjunctiv","source_id":"thesis_session"},{"id":"F0082","source_file":"thesis.md","source_line":599,"latex":"\\lambda_1 = 0.50","context":"for the following reason. A single composite score — even a geometric mean — can mask localized failures. An agent with \\(\\lambda_1 = 0.50\\) (severely morally m","source_id":"thesis_session"},{"id":"F0083","source_file":"thesis.md","source_line":599,"latex":"\\prod_{i}^{1/9} = 0.50^{1/9} \\approx 0.926","context":"with \\(\\lambda_1 = 0.50\\) (severely morally misaligned) and all remaining axes at \\(1.0\\) achieves a geometric mean of \\(\\prod_{i}^{1/9} = 0.50^{1/9} \\approx 0.","source_id":"thesis_session"},{"id":"F0084","source_file":"thesis.md","source_line":599,"latex":"\\lambda_1","context":"gle-score gate. The conjunctive AND structure prevents this: every axis is a blocking veto. The two elevated floors for \\(\\lambda_1\\) and \\(\\lambda_2\\) add a se","source_id":"thesis_session"},{"id":"F0085","source_file":"thesis.md","source_line":599,"latex":"\\lambda_2","context":"e conjunctive AND structure prevents this: every axis is a blocking veto. The two elevated floors for \\(\\lambda_1\\) and \\(\\lambda_2\\) add a second layer of asym","source_id":"thesis_session"},{"id":"F0086","source_file":"thesis.md","source_line":605,"latex":"m \\in \\{0,1\\}^9","context":"to the receipt structure. Rather than publishing the raw nine (or ten) axis scores, the receipt carries a bitfield mask \\(m \\in \\{0,1\\}^9\\) in which \\(m_i = 1\\)","source_id":"thesis_session"},{"id":"F0087","source_file":"thesis.md","source_line":605,"latex":"m_i = 1","context":"her than publishing the raw nine (or ten) axis scores, the receipt carries a bitfield mask \\(m \\in \\{0,1\\}^9\\) in which \\(m_i = 1\\) if and only if \\(\\lambda_i\\)","source_id":"thesis_session"},{"id":"F0088","source_file":"thesis.md","source_line":605,"latex":"\\lambda_i","context":"nine (or ten) axis scores, the receipt carries a bitfield mask \\(m \\in \\{0,1\\}^9\\) in which \\(m_i = 1\\) if and only if \\(\\lambda_i\\) was evaluated and passed it","source_id":"thesis_session"},{"id":"F0089","source_file":"thesis.md","source_line":611,"latex":"\\theta_i = 0.95","context":"ity profile of the agent. Formally, the mask is computed as:  \\[ m_i = \\mathbf{1}[\\lambda_i(c) \\geq \\theta_i] \\]  where \\(\\theta_i = 0.95\\) for \\(i \\in \\{1,2\\}\\","source_id":"thesis_session"},{"id":"F0090","source_file":"thesis.md","source_line":611,"latex":"i \\in \\{1,2\\}","context":". Formally, the mask is computed as:  \\[ m_i = \\mathbf{1}[\\lambda_i(c) \\geq \\theta_i] \\]  where \\(\\theta_i = 0.95\\) for \\(i \\in \\{1,2\\}\\) and \\(\\theta_i = 0.90\\","source_id":"thesis_session"},{"id":"F0091","source_file":"thesis.md","source_line":611,"latex":"\\theta_i = 0.90","context":"s computed as:  \\[ m_i = \\mathbf{1}[\\lambda_i(c) \\geq \\theta_i] \\]  where \\(\\theta_i = 0.95\\) for \\(i \\in \\{1,2\\}\\) and \\(\\theta_i = 0.90\\) otherwise. The gate ","source_id":"thesis_session"},{"id":"F0092","source_file":"thesis.md","source_line":611,"latex":"\\sum_i m_i = 9","context":"eq \\theta_i] \\]  where \\(\\theta_i = 0.95\\) for \\(i \\in \\{1,2\\}\\) and \\(\\theta_i = 0.90\\) otherwise. The gate passes iff \\(\\sum_i m_i = 9\\) (or 10 under Λ₁₀). Th","source_id":"thesis_session"},{"id":"F0093","source_file":"thesis.md","source_line":627,"latex":"\\textit{parent\\_hash}","context":"\\textit{timestamp},\\; \\vec{\\lambda},\\; \\rho\\_\\textit{witness\\_set},\\; \\textit{signature}\\bigr) \\]  The fields are:  - **\\(\\textit{parent\\_hash}\\)**: The SHA-256","source_id":"thesis_session"},{"id":"F0094","source_file":"thesis.md","source_line":627,"latex":"r_{i-1}","context":"s\\_set},\\; \\textit{signature}\\bigr) \\]  The fields are:  - **\\(\\textit{parent\\_hash}\\)**: The SHA-256 digest of receipt \\(r_{i-1}\\). For the genesis receipt, th","source_id":"thesis_session"},{"id":"F0095","source_file":"thesis.md","source_line":628,"latex":"\\textit{content\\_digest}","context":"this is the SHA-256 of a protocol-specified null seed. This field creates the backward-pointing link of the chain. - **\\(\\textit{content\\_digest}\\)**: The SHA-2","source_id":"thesis_session"},{"id":"F0096","source_file":"thesis.md","source_line":629,"latex":"\\textit{actor}","context":"fore any side-effectful execution. This binds the gate verdict irrevocably to the specific input that triggered it. - **\\(\\textit{actor}\\)**: The identifier of ","source_id":"thesis_session"},{"id":"F0097","source_file":"thesis.md","source_line":629,"latex":"\\lambda_7","context":"t. - **\\(\\textit{actor}\\)**: The identifier of the acting agent as registered in the principal registry. Corresponds to \\(\\lambda_7\\) (actorIdentity). - **\\(\\te","source_id":"thesis_session"},{"id":"F0098","source_file":"thesis.md","source_line":630,"latex":"\\textit{timestamp}","context":"entifier of the acting agent as registered in the principal registry. Corresponds to \\(\\lambda_7\\) (actorIdentity). - **\\(\\textit{timestamp}\\)**: A monotonic ti","source_id":"thesis_session"},{"id":"F0099","source_file":"thesis.md","source_line":631,"latex":"\\vec{\\lambda}","context":": A monotonic timestamp in milliseconds since the Unix epoch, drawn from a pinned, non-forgeable source (see §4.6). - **\\(\\vec{\\lambda}\\)**: The full nine-dimen","source_id":"thesis_session"},{"id":"F0100","source_file":"thesis.md","source_line":632,"latex":"\\rho\\_\\textit{witness\\_set}","context":"vec{\\lambda}\\)**: The full nine-dimensional Λ vector, or the `lambda9_mask` bitfield under the Λ₁₀ privacy variant. - **\\(\\rho\\_\\textit{witness\\_set}\\)**: The s","source_id":"thesis_session"}],"definitions":[],"canonical_constants":[{"id":"K01","name":"receipt_build_p50_us","value":"11.5","unit":"µs","ops_per_sec":"62764","source":"THESIS_BRIEF.md","doi":"10.5281/zenodo.20119582","maturity":"measured"},{"id":"K02","name":"receipt_build_p99_us","value":"50.7","unit":"µs","source":"THESIS_BRIEF.md","doi":"10.5281/zenodo.20119582","maturity":"measured"},{"id":"K03","name":"receipt_verify_p50_us","value":"10.4","unit":"µs","ops_per_sec":"74149","source":"THESIS_BRIEF.md","doi":"10.5281/zenodo.20119582","maturity":"measured"},{"id":"K04","name":"lambda9_base_p50_us","value":"3.12","unit":"µs","source":"THESIS_BRIEF.md","doi":"10.5281/zenodo.20119582","maturity":"measured"},{"id":"K05","name":"lambda9_composed_p50_us","value":"3.29","unit":"µs","source":"THESIS_BRIEF.md","doi":"10.5281/zenodo.20119582","maturity":"measured"},{"id":"K06","name":"rho_closure_rate","value":"100%","denominator":"8000/8000 paired calls","source":"THESIS_BRIEF.md","doi":"10.5281/zenodo.20119582","maturity":"measured"},{"id":"K07","name":"platform_v11_http_calls","value":"24800","source":"THESIS_BRIEF.md","doi":"10.5281/zenodo.20119582","maturity":"measured"},{"id":"K08","name":"platform_v11_lambda10_overhead_p50_ms","value":"0.49-0.59","unit":"ms/route","source":"THESIS_BRIEF.md","doi":"10.5281/zenodo.20119582","maturity":"measured"},{"id":"K09","name":"platform_v11_p99_ms","value":"1.27","unit":"ms","source":"THESIS_BRIEF.md","doi":"10.5281/zenodo.20119582","maturity":"measured"},{"id":"K10","name":"replay_root","value":"1ed4d253e876f428c6e182f8ed8a569585442556b339529bbf8ec2522581698b","source":"THESIS_BRIEF.md","doi":"10.5281/zenodo.20119582","maturity":"measured"},{"id":"K11","name":"test_count_production","value":"218/218","source":"THESIS_BRIEF.md","doi":"10.5281/zenodo.20119582","maturity":"measured"},{"id":"K12","name":"test_count_demo","value":"37/37","source":"replit_payload_build","commit":"demo","maturity":"measured"},{"id":"K13","name":"bekenstein_indicator_fire_rate","value":"49.5%","source":"thesis.md §4.5","doi":"10.5281/zenodo.20119582","maturity":"measured"}],"extracted_constants":[{"id":"C0001","name":"receipt_build_p50_us","value":"11.5","raw":"receipt build p50 = 11.5 µs","context":"0).** A production Rust runtime with 218/218 tests passing, receipt build p50 = 11.5 µs (62,764 ops/sec), receipt verify p50 = 10.4 µs (74,149 ops/sec","source_file":"thesis.md","source_line":83,"source_id":"thesis_session"},{"id":"C0003","name":"receipt_verify_p50_us","value":"10.4","raw":"receipt verify p50 = 10.4 µs","context":"ests passing, receipt build p50 = 11.5 µs (62,764 ops/sec), receipt verify p50 = 10.4 µs (74,149 ops/sec), and 100% ρ-closure on 8,000/8,000 paired ca","source_file":"thesis.md","source_line":83,"source_id":"thesis_session"},{"id":"C0008","name":"receipt_build_p99_us","value":"50.7","raw":"p99 = 50.7 µs","context":"→ Receipt` — constructs a receipt envelope; p50 = 11.5 µs, p99 = 50.7 µs, throughput 62,764 ops/sec. - `verify_receipt(receipt) → bool` — verifies byt","source_file":"thesis.md","source_line":269,"source_id":"thesis_session"},{"id":"C0009","name":"ops_per_sec","value":"62764","raw":"62,764 ops/sec","context":"me with 218/218 tests passing, receipt build p50 = 11.5 µs (62,764 ops/sec), receipt verify p50 = 10.4 µs (74,149 ops/sec), and 100% ρ-closure on 8,00","source_file":"thesis.md","source_line":83,"source_id":"thesis_session"},{"id":"C0010","name":"ops_per_sec","value":"74149","raw":"74,149 ops/sec","context":"0 = 11.5 µs (62,764 ops/sec), receipt verify p50 = 10.4 µs (74,149 ops/sec), and 100% ρ-closure on 8,000/8,000 paired calls [9]. The runtime enforces ","source_file":"thesis.md","source_line":83,"source_id":"thesis_session"},{"id":"C0023","name":"ops_per_sec","value":"200000","raw":"200,000 ops/sec","context":"arget for the Merkle-DAG upgrade is **5 µs build p50** at **200,000 ops/sec**. This is a 2.3× improvement in latency and a 3.2× improvement in through","source_file":"thesis.md","source_line":2100,"source_id":"thesis_session"},{"id":"C0027","name":"lambda9_base_p50_us","value":"3.12","raw":"Λ₉ base p50 = 3.12 µs","context":"9]. The runtime enforces a 9-axis conjunctive quality gate (Λ₉ base p50 = 3.12 µs) and a Λ₁₀ platform layer with 0.49–0.59 ms/route overhead validated","source_file":"thesis.md","source_line":83,"source_id":"thesis_session"},{"id":"C0029","name":"tests_passed","value":"218","raw":"218/218 passing","context":"ify-p50 with 100% ρ-closure on 8,000/8,000 paired calls and 218/218 passing tests. We propose `lambda9_mask` as a privacy-preserving extension to SCIT","source_file":"thesis.md","source_line":27,"source_id":"thesis_session"},{"id":"C0031","name":"tests_passed","value":"37","raw":"37/37 tests","context":"nt invocations of the same input. The demo payload confirms 37/37 tests passing in the Replit environment (33 `ouroboros` core + 4 `a11oy` covenant), ","source_file":"thesis.md","source_line":249,"source_id":"thesis_session"},{"id":"C0044","name":"http_calls","value":"24800","raw":"24,800 HTTP calls","context":"orm layer with 0.49–0.59 ms/route overhead validated across 24,800 HTTP calls.  2. **Lean 4 formal axioms and proofs (`lutar-lean`).** A Mathlib-groun","source_file":"thesis.md","source_line":83,"source_id":"thesis_session"},{"id":"C0053","name":"lambda_p50_us","value":"11.5","raw":"p50 = 11.5 µs (62,764 ops/sec), receipt verify p50 = 10.4 µs (74,149 ops/sec), and 100% ρ-closure on 8,000/8,000 paired calls [9]. The runtime enforces a 9-axis conjunctive quality gate (Λ","context":"tion Rust runtime with 218/218 tests passing, receipt build p50 = 11.5 µs (62,764 ops/sec), receipt verify p50 = 10.4 µs (74,149 ops/sec), and 100% ρ-","source_file":"thesis.md","source_line":83,"source_id":"thesis_session"},{"id":"C0054","name":"lambda_p50_us","value":"3.12","raw":"p50 = 3.12 µs) and a Λ","context":"runtime enforces a 9-axis conjunctive quality gate (Λ₉ base p50 = 3.12 µs) and a Λ₁₀ platform layer with 0.49–0.59 ms/route overhead validated across ","source_file":"thesis.md","source_line":83,"source_id":"thesis_session"},{"id":"C0055","name":"receipt_build_p99_us","value":"50.7","raw":"p99 = 50.7 µs","context":"bers - **218/218 tests** - Receipt build p50 = **11.5 µs**, p99 = 50.7 µs (62,764 ops/sec) - Receipt verify p50 = **10.4 µs** (74,149 ops/sec) - Λ₉ ba","source_file":"THESIS_BRIEF.md","source_line":57,"source_id":"thesis_brief"},{"id":"C0056","name":"ops_per_sec","value":"62764","raw":"62,764 ops/sec","context":"8 tests** - Receipt build p50 = **11.5 µs**, p99 = 50.7 µs (62,764 ops/sec) - Receipt verify p50 = **10.4 µs** (74,149 ops/sec) - Λ₉ base p50 = 3.12 µ","source_file":"THESIS_BRIEF.md","source_line":57,"source_id":"thesis_brief"},{"id":"C0057","name":"ops_per_sec","value":"74149","raw":"74,149 ops/sec","context":"0.7 µs (62,764 ops/sec) - Receipt verify p50 = **10.4 µs** (74,149 ops/sec) - Λ₉ base p50 = 3.12 µs / composed p50 = 3.29 µs - 100% ρ-closure on **8,0","source_file":"THESIS_BRIEF.md","source_line":58,"source_id":"thesis_brief"},{"id":"C0058","name":"lambda9_base_p50_us","value":"3.12","raw":"Λ₉ base p50 = 3.12 µs","context":"/sec) - Receipt verify p50 = **10.4 µs** (74,149 ops/sec) - Λ₉ base p50 = 3.12 µs / composed p50 = 3.29 µs - 100% ρ-closure on **8,000/8,000 paired ca","source_file":"THESIS_BRIEF.md","source_line":59,"source_id":"thesis_brief"},{"id":"C0059","name":"tests_passed","value":"218","raw":"218/218 tests","context":"boros v6.3.0 (released 2026-05-13) — production numbers - **218/218 tests** - Receipt build p50 = **11.5 µs**, p99 = 50.7 µs (62,764 ops/sec) - Receip","source_file":"THESIS_BRIEF.md","source_line":56,"source_id":"thesis_brief"},{"id":"C0060","name":"tests_passed","value":"37","raw":"37/37 tests","context":"plit demo payload (verified live 2026-05-15 at 11:22 EDT) - 37/37 tests passing (33 ouroboros core + 4 a11oy covenant) - `bash scripts/doctrine-check.","source_file":"THESIS_BRIEF.md","source_line":68,"source_id":"thesis_brief"},{"id":"C0061","name":"http_calls","value":"24800","raw":"24,800 HTTP calls","context":"ρ-closure on **8,000/8,000 paired calls** - Platform v11: **24,800 HTTP calls validated**, Λ₁₀ overhead 0.49–0.59 ms/route, p99 ≤ 1.27 ms - Apache-2.0","source_file":"THESIS_BRIEF.md","source_line":61,"source_id":"thesis_brief"},{"id":"C0062","name":"receipt_build_p50_us","value":"11.5","raw":"Receipt build p50 = 11.5 µs","context":"e not. | 12–18 months — they have a runtime, not a kernel | Receipt build p50 = 11.5 µs · v11 DOI [`zenodo.20119582`](https://doi.org/10.5281/zenodo.2","source_file":"master_evolution_memo.md","source_line":81,"source_id":"master_memo"},{"id":"C0064","name":"receipt_build_p99_us","value":"50.7","raw":"p99 = 50.7 µs","context":"218 / 218 passing** | | Receipt build | p50 = **11.5 µs** · p99 = 50.7 µs · 62,764 ops/sec | | Receipt verify | p50 = **10.4 µs** · 74,149 ops/sec | |","source_file":"master_evolution_memo.md","source_line":36,"source_id":"master_memo"},{"id":"C0065","name":"ops_per_sec","value":"62764","raw":"62,764 ops/sec","context":"g** | | Receipt build | p50 = **11.5 µs** · p99 = 50.7 µs · 62,764 ops/sec | | Receipt verify | p50 = **10.4 µs** · 74,149 ops/sec | | Λ₉ base | p50 =","source_file":"master_evolution_memo.md","source_line":36,"source_id":"master_memo"},{"id":"C0066","name":"ops_per_sec","value":"74149","raw":"74,149 ops/sec","context":"s · 62,764 ops/sec | | Receipt verify | p50 = **10.4 µs** · 74,149 ops/sec | | Λ₉ base | p50 = 3.12 µs | | Λ₉ composed | p50 = **3.29 µs** | | ρ-closu","source_file":"master_evolution_memo.md","source_line":37,"source_id":"master_memo"},{"id":"C0067","name":"tests_passed","value":"37","raw":"37/37 tests","context":"ic-facing Replit demo (`replit_a11oy_demo`) currently shows 37/37 tests passing. The upstream runtime is **218/218**. Every Series A diligence visitor","source_file":"master_evolution_memo.md","source_line":141,"source_id":"master_memo"},{"id":"C0068","name":"tests_passed","value":"218","raw":"218/218 tests","context":"astructure.  **Success metric:** the Replit demo URL shows \"218/218 tests · v6.3.0 · OpenSSF 8.2\" with the same badge as the canonical repo, refreshed","source_file":"master_evolution_memo.md","source_line":152,"source_id":"master_memo"},{"id":"C0070","name":"receipt_build_p50_us","value":"11.5","raw":"Receipt build p50=11.5 µs","context":"rg/doc/draft-morrow-sogomonian-exec-outcome-attest/00/)). | Receipt build p50=11.5 µs, 218/218 tests, v11 DOI: [10.5281/zenodo.20119582](https://doi.o","source_file":"pm_memo.md","source_line":54,"source_id":"pm_memo"},{"id":"C0072","name":"ops_per_sec","value":"62764","raw":"62,764 ops/sec","context":"Claim:** Receipt build p50 = 11.5 µs, verify p50 = 10.4 µs, 62,764 ops/sec, 218/218 runtime tests, ρ-closure 8,000/8,000, byte-identical replay root `","source_file":"pm_memo.md","source_line":81,"source_id":"pm_memo"},{"id":"C0073","name":"tests_passed","value":"218","raw":"218/218 tests","context":"ian-exec-outcome-attest/00/)). | Receipt build p50=11.5 µs, 218/218 tests, v11 DOI: [10.5281/zenodo.20119582](https://doi.org/10.5281/zenodo.20119582)","source_file":"pm_memo.md","source_line":54,"source_id":"pm_memo"},{"id":"C0076","name":"tests_passed","value":"37","raw":"37/37 tests","context":"arity + Public Scorecard  **Thesis:** The Replit demo shows 37/37 tests (ouroboros 33 + a11oy 4). The live runtime is 218/218. This delta undersells t","source_file":"pm_memo.md","source_line":135,"source_id":"pm_memo"},{"id":"C0077","name":"http_calls","value":"24800","raw":"24,800 HTTP calls","context":"ships a Λ₉-gated resource. | Ouroboros v6.3.0 platform v11: 24,800 HTTP calls, Λ₁₀ overhead 0.49–0.59 ms/route | | **Mastra** ([mastra.ai](https://mas","source_file":"pm_memo.md","source_line":57,"source_id":"pm_memo"},{"id":"C0078","name":"receipt_build_p50_us","value":"11.5","raw":"Receipt build p50 = 11.5 µs","context":"-witness guarantee baked into `ouroboros`'s runtime kernel. Receipt build p50 = 11.5 µs; verify p50 = 10.4 µs; 100% ρ-closure on 8,000/8,000 paired ca","source_file":"cto_memo.md","source_line":78,"source_id":"cto_memo"},{"id":"C0079","name":"ops_per_sec","value":"62764","raw":"62,764 ops/sec","context":"in · p50 = 11.5 µs build / 10.4 µs verify · 218/218 tests · 62,764 ops/sec | | `a11oy` | Covenant policy + approval queue | **HEART** (consent + pulse","source_file":"cto_memo.md","source_line":18,"source_id":"cto_memo"},{"id":"C0080","name":"tests_passed","value":"218","raw":"218/218 tests","context":"ss · receipt chain · p50 = 11.5 µs build / 10.4 µs verify · 218/218 tests · 62,764 ops/sec | | `a11oy` | Covenant policy + approval queue | **HEART** ","source_file":"cto_memo.md","source_line":18,"source_id":"cto_memo"},{"id":"C0081","name":"ops_per_sec","value":"62764","raw":"62,764 ops/sec","context":"218 / 218 passing | 100% | | Receipt build p50 | 11.5 µs | 62,764 ops/sec | | Receipt build p99 | 50.7 µs | — | | Receipt verify p50 | 10.4 µs | 74,14","source_file":"runtime_memo.md","source_line":20,"source_id":"runtime_memo"},{"id":"C0082","name":"ops_per_sec","value":"74149","raw":"74,149 ops/sec","context":"build p99 | 50.7 µs | — | | Receipt verify p50 | 10.4 µs | 74,149 ops/sec | | Λ₉ base p50 | 3.12 µs | — | | Λ₉ composed p50 | 3.29 µs | — | | ρ-closur","source_file":"runtime_memo.md","source_line":22,"source_id":"runtime_memo"},{"id":"C0083","name":"tests_passed","value":"218","raw":"218/218 tests","context":"ary (5 lines)  The ouroboros v6.3.0 runtime is confirmed at 218/218 tests, receipt build p50 11.5 µs, Λ₉ composed p50 3.29 µs, and 100% ρ-closure — al","source_file":"runtime_memo.md","source_line":404,"source_id":"runtime_memo"},{"id":"C0084","name":"http_calls","value":"11","raw":"11 HTTP calls","context":"9 µs | — | | ρ-closure | 8,000 / 8,000 | 100% | | Platform v11 HTTP calls | 24,800 | — | | Λ overhead p50 per route | 0.49–0.59 ms | — | | Λ overhead ","source_file":"runtime_memo.md","source_line":26,"source_id":"runtime_memo"},{"id":"C0085","name":"ops_per_sec","value":"74149","raw":"74,149 ops/sec","context":"pt verify p50 | **10.4 µs** | | Receipt verify throughput | 74,149 ops/sec | | Λ₉ base p50 | 3.12 µs | | Λ₉ composed p50 | 3.29 µs | | ρ-closure | 100","source_file":"data_memo.md","source_line":419,"source_id":"data_memo"}],"dois":[{"doi":"10.5281/zenodo.19944926","url":"https://doi.org/10.5281/zenodo.19944926","source_file":"thesis.md","source_line":18,"source_id":"thesis_session"},{"doi":"10.5281/zenodo.20119582","url":"https://doi.org/10.5281/zenodo.20119582","source_file":"thesis.md","source_line":19,"source_id":"thesis_session"},{"doi":"10.5281/zenodo.19867281","url":"https://doi.org/10.5281/zenodo.19867281","source_file":"thesis.md","source_line":1740,"source_id":"thesis_session"},{"doi":"10.5281/zenodo.19934129","url":"https://doi.org/10.5281/zenodo.19934129","source_file":"thesis.md","source_line":1741,"source_id":"thesis_session"},{"doi":"10.5281/zenodo.19983066","url":"https://doi.org/10.5281/zenodo.19983066","source_file":"thesis.md","source_line":1743,"source_id":"thesis_session"},{"doi":"10.5281/zenodo.20020841","url":"https://doi.org/10.5281/zenodo.20020841","source_file":"thesis.md","source_line":1744,"source_id":"thesis_session"},{"doi":"10.5281/zenodo.20020845","url":"https://doi.org/10.5281/zenodo.20020845","source_file":"thesis.md","source_line":1745,"source_id":"thesis_session"},{"doi":"10.5281/zenodo.20020846","url":"https://doi.org/10.5281/zenodo.20020846","source_file":"thesis.md","source_line":1746,"source_id":"thesis_session"},{"doi":"10.5281/zenodo.20020848","url":"https://doi.org/10.5281/zenodo.20020848","source_file":"thesis.md","source_line":1747,"source_id":"thesis_session"},{"doi":"10.5281/zenodo.20020849","url":"https://doi.org/10.5281/zenodo.20020849","source_file":"thesis.md","source_line":1748,"source_id":"thesis_session"},{"doi":"10.5281/zenodo.20053148","url":"https://doi.org/10.5281/zenodo.20053148","source_file":"thesis.md","source_line":1749,"source_id":"thesis_session"},{"doi":"10.5281/zenodo.20053163","url":"https://doi.org/10.5281/zenodo.20053163","source_file":"thesis.md","source_line":1750,"source_id":"thesis_session"},{"doi":"10.5281/zenodo.20162352","url":"https://doi.org/10.5281/zenodo.20162352","source_file":"thesis.md","source_line":1752,"source_id":"thesis_session"}],"doctrine_clauses":[{"id":"DC1","clause":"Byline must be 'Lutar, Stephen P.' — never 'Jr.' or 'Stephen Paul'","source":"THESIS_BRIEF.md"},{"id":"DC2","clause":"8 forbidden patterns: see doctrine.json (FP-1..FP-8)","source":"PM_LEAD_CHARTER_V2.md"},{"id":"DC3","clause":"License allow-list: Apache-2.0, MIT, BSD-3-Clause, CC-BY-4.0","source":"THESIS_BRIEF.md"},{"id":"DC4","clause":"ORCID: 0009-0001-0110-4173","source":"THESIS_BRIEF.md"},{"id":"DC5","clause":"9-axis Λ >= 0.90 conjunctive AND; moralGrounding + measurabilityHonesty >= 0.95","source":"THESIS_BRIEF.md"},{"id":"DC6","clause":"Public-only ingestion: no private data, no proprietary code","source":"THESIS_BRIEF.md"},{"id":"DC7","clause":"5x byte-identical replay (deterministic)","source":"THESIS_BRIEF.md"},{"id":"DC8","clause":"No hallucinations; every empirical claim cites a verifiable artifact","source":"THESIS_BRIEF.md"}],"source_files":["thesis.md","THESIS_BRIEF.md","master_evolution_memo.md","pm_memo.md","cto_memo.md","runtime_memo.md","governance_memo.md","data_memo.md","anatomy_memo.md"],"zenodo_corpus":["10.5281/zenodo.19867281","10.5281/zenodo.19934129","10.5281/zenodo.19944926","10.5281/zenodo.19983066","10.5281/zenodo.20020841","10.5281/zenodo.20020846","10.5281/zenodo.20020845","10.5281/zenodo.20020848","10.5281/zenodo.20020849","10.5281/zenodo.20053148","10.5281/zenodo.20053163","10.5281/zenodo.20119582","10.5281/zenodo.20162352"],"vertical_policies":[{"policy_id":"academic","policy_name":"Academic / Research Integrity","version":"0.3.0","regulations":["NIH NOT-OD-23-149","NSF PAPPG Chapter II.E","ORI Standards","COPE Guidelines"],"required_attestors":["principal_investigator","research_integrity_officer"],"lambda_floors":{"measurabilityHonesty":1.0,"constructiveTransparency":1.0,"informationIntegrity":0.99,"temporalConsistency":0.99},"forbidden_inputs":["undisclosed_ai_authored_content","missing_doi_citation"],"required_output_formats":["zenodo_deposit","json_receipt","orcid_linked_artifact"],"retention_days":"3650","primitives_applicable":["A5","A8","A12","T5","T10","TH2"],"acv_range_usd":{"low":10000.0,"mid":50000.0,"high":200000.0}},{"policy_id":"capital_markets","policy_name":"Capital Markets / Quant / Hedge Funds","version":"0.3.0","regulations":["SEC Rule 17a-4","MiFID II RTS 6","FINRA Rule 4370","Reg SCI 17 CFR 242"],"required_attestors":["chief_compliance_officer","quant_review_committee","external_auditor"],"lambda_floors":{"moralGrounding":0.97,"measurabilityHonesty":1.0,"temporalConsistency":1.0,"economicGrounding":1.0,"constructiveTransparency":0.99,"informationIntegrity":0.99},"forbidden_inputs":["non_sec_registered_model","missing_algo_documentation"],"required_output_formats":["sec_17a4_compliant_log","json_receipt","worm_storage_manifest"],"retention_days":"2190","primitives_applicable":["A5","A6","A10","A12","A14","T5","T9","TH2"],"acv_range_usd":{"low":500000.0,"mid":2000000.0,"high":10000000.0}},{"policy_id":"critical_infrastructure","policy_name":"Critical Infrastructure / Utilities","version":"0.3.0","regulations":["NERC CIP-013-2","IEC 62443-3-3","TSA Pipeline Security Directive SD-02C","NIST CSF 2.0"],"required_attestors":["system_security_officer","control_systems_engineer","incident_commander"],"lambda_floors":{"moralGrounding":0.99,"actionReversibility":0.99,"scopeContainment":1.0,"informationIntegrity":0.99,"adversarialRobustness":0.99,"temporalConsistency":0.99},"forbidden_inputs":["unauthenticated_control_commands","non_air_gapped_ot_data"],"required_output_formats":["ics_audit_log","json_receipt","nerc_compliance_report"],"retention_days":"1825","primitives_applicable":["A4","A5","A6","A10","A13","T5","T9","T10","TH1"],"acv_range_usd":{"low":1000000.0,"mid":5000000.0,"high":20000000.0}},{"policy_id":"defense","policy_name":"Defense / DoD","version":"0.3.0","regulations":["NIST SP 800-53 Rev 5","CMMC 2.0","FedRAMP High","DISA STIGs"],"required_attestors":["authorizing_official","system_owner","security_control_assessor"],"lambda_floors":{"moralGrounding":0.99,"measurabilityHonesty":0.99,"actionReversibility":0.95,"scopeContainment":0.99,"informationIntegrity":0.99,"consentBoundary":0.95},"forbidden_inputs":["unclassified_cui_without_marking","foreign_national_data"],"required_output_formats":["json_audit_log","nist_oscal"],"retention_days":"7300","primitives_applicable":["A1","A4","A5","A6","A8","A9","A12","A13","T5","T9","T10","TH1"],"acv_range_usd":{"low":500000.0,"mid":2000000.0,"high":5000000.0}},{"policy_id":"financial_services","policy_name":"Financial Services / Banking","version":"0.3.0","regulations":["SR 11-7","OCC 2011-12","MiFID II RTS 6","Basel III"],"required_attestors":["model_risk_officer","chief_risk_officer","internal_audit"],"lambda_floors":{"moralGrounding":0.97,"measurabilityHonesty":0.99,"temporalConsistency":0.99,"informationIntegrity":0.99,"economicGrounding":1.0},"forbidden_inputs":["insider_information","unregistered_model_version"],"required_output_formats":["csv_model_log","json_receipt","pdf_board_report"],"retention_days":"2190","primitives_applicable":["A1","A5","A6","A8","A9","A14","T5","T9","T10","TH1","TH2"],"acv_range_usd":{"low":200000.0,"mid":800000.0,"high":2000000.0}},{"policy_id":"healthcare","policy_name":"Healthcare / Clinical AI","version":"0.3.0","regulations":["HIPAA 45 CFR Part 164","FDA 21 CFR Part 11","FDA SaMD Guidance Q3 2023"],"required_attestors":["licensed_clinician","clinical_informatics_officer","hipaa_privacy_officer"],"lambda_floors":{"moralGrounding":0.99,"measurabilityHonesty":0.99,"consentBoundary":0.99,"informationIntegrity":0.99,"causalSeparability":0.99},"forbidden_inputs":["plaintext_phi","deidentification_not_verified"],"required_output_formats":["hl7_fhir_audit","json_receipt","pdf_clinical_audit"],"retention_days":"2190","primitives_applicable":["A1","A4","A5","A8","A9","A11","A12","T5","T7","T10","TH1"],"acv_range_usd":{"low":150000.0,"mid":600000.0,"high":2000000.0}},{"policy_id":"insurance","policy_name":"Insurance","version":"0.3.0","regulations":["NAIC Model Law 881","NY DFS Circular Letter 7 (2022)","NAIC AI Principles (2020)"],"required_attestors":["chief_actuary","ai_ethics_board","compliance_officer"],"lambda_floors":{"moralGrounding":0.97,"measurabilityHonesty":0.99,"informationIntegrity":0.99,"constructiveTransparency":0.99,"economicGrounding":0.97},"forbidden_inputs":["prohibited_rating_factors","non_actuarially_justified_proxies"],"required_output_formats":["csv_underwriting_log","json_receipt","pdf_state_filing"],"retention_days":"1825","primitives_applicable":["A1","A5","A8","A9","A12","A14","T6","T9","T10"],"acv_range_usd":{"low":200000.0,"mid":750000.0,"high":2000000.0}},{"policy_id":"legal","policy_name":"Legal / e-Discovery","version":"0.3.0","regulations":["FRCP 26","FRCP 34","FRE 902(13)","FRE 902(14)","ABA Model Rule 1.1"],"required_attestors":["supervising_attorney","records_custodian"],"lambda_floors":{"moralGrounding":0.97,"measurabilityHonesty":0.99,"informationIntegrity":0.99,"constructiveTransparency":0.99,"actionReversibility":0.95},"forbidden_inputs":["privileged_attorney_client_without_waiver"],"required_output_formats":["json_chain_of_custody","pdf_court_exhibit"],"retention_days":"2555","primitives_applicable":["A5","A6","A8","A12","T5","T8","T10","TH2"],"acv_range_usd":{"low":75000.0,"mid":300000.0,"high":1000000.0}},{"policy_id":"pharma","policy_name":"Pharma / Life Sciences R&D","version":"0.3.0","regulations":["FDA 21 CFR Part 11","EMA Annex 11","ICH E6(R3) GCP","GxP"],"required_attestors":["qualified_person","gxp_compliance_officer","computational_scientist"],"lambda_floors":{"moralGrounding":0.97,"measurabilityHonesty":1.0,"informationIntegrity":1.0,"temporalConsistency":0.99,"constructiveTransparency":1.0},"forbidden_inputs":["non_gxp_validated_software_output","unversioned_model"],"required_output_formats":["ectd_submission_package","json_audit_trail","csv_gxp_log"],"retention_days":"3650","primitives_applicable":["A5","A6","A8","A10","A12","T5","TH2"],"acv_range_usd":{"low":500000.0,"mid":2000000.0,"high":10000000.0}},{"policy_id":"public_sector","policy_name":"Public Sector / Civic AI","version":"0.3.0","regulations":["EU AI Act Annex III","NYC Local Law 144 (2023)","NIST AI RMF 1.0","OMB M-24-10"],"required_attestors":["agency_ai_officer","civil_rights_officer","inspector_general"],"lambda_floors":{"moralGrounding":0.99,"measurabilityHonesty":0.99,"stakeholderAlignment":0.99,"constructiveTransparency":1.0,"adversarialRobustness":0.95},"forbidden_inputs":["biometric_data_without_explicit_consent","prohibited_social_scoring"],"required_output_formats":["json_public_audit_log","csv_bias_audit","pdf_annual_report"],"retention_days":"3650","primitives_applicable":["A1","A5","A8","A12","A13","T6","T10","TH1","TH3"],"acv_range_usd":{"low":300000.0,"mid":1200000.0,"high":5000000.0}}]}
\ No newline at end of file
+{
+  "version": "1.0.0",
+  "byline": "Lutar, Stephen P.",
+  "orcid": "0009-0001-0110-4173",
+  "email": "stephen@szlholdings.com",
+  "org": "SZL Holdings",
+  "generated_at": "2026-05-15T16:30:00Z",
+  "axioms": [
+    {
+      "id": "A1",
+      "name": "soundnessAxiom",
+      "statement": "For any receipt r, if gate_pass(r) then lambda(r) >= 0.90 conjunctively",
+      "source_file": "thesis.md",
+      "source_section": "§4.1",
+      "maturity": "proven",
+      "citation": "https://doi.org/10.5281/zenodo.20119582"
+    },
+    {
+      "id": "A2",
+      "name": "moralGroundingFloor",
+      "statement": "moralGrounding axis floor = 0.95 (higher than default 0.90)",
+      "source_file": "thesis.md",
+      "source_section": "§4.1",
+      "maturity": "defined",
+      "citation": "https://doi.org/10.5281/zenodo.20119582"
+    },
+    {
+      "id": "A3",
+      "name": "measurabilityHonestyFloor",
+      "statement": "measurabilityHonesty axis floor = 0.95",
+      "source_file": "thesis.md",
+      "source_section": "§4.1",
+      "maturity": "defined",
+      "citation": "https://doi.org/10.5281/zenodo.20119582"
+    },
+    {
+      "id": "A4",
+      "name": "dualWitnessDisjointness",
+      "statement": "For rho-closure: witness_1_id != witness_2_id (enforced by registry at write time)",
+      "source_file": "thesis.md",
+      "source_section": "§4.3",
+      "maturity": "proven",
+      "citation": "https://doi.org/10.5281/zenodo.20119582"
+    },
+    {
+      "id": "A5",
+      "name": "deterministicReplay",
+      "statement": "For canonical JSON + pinned PRNG + frozen registry, 5x replay yields byte-identical roots",
+      "source_file": "thesis.md",
+      "source_section": "§4.6",
+      "maturity": "measured",
+      "citation": "https://doi.org/10.5281/zenodo.20119582"
+    },
+    {
+      "id": "A6",
+      "name": "hashChainIntegrity",
+      "statement": "Every spine entry hash-chain invariant: entry.chain = SHA256(prev_entry)",
+      "source_file": "thesis.md",
+      "source_section": "§3.4",
+      "maturity": "defined",
+      "citation": "https://doi.org/10.5281/zenodo.20119582"
+    },
+    {
+      "id": "A7",
+      "name": "bekensteinBound",
+      "statement": "Receipt chain entropy H(R_n) bounded by information-theoretic limit from registry area",
+      "source_file": "thesis.md",
+      "source_section": "§4.5",
+      "maturity": "conjectured",
+      "citation": "https://doi.org/10.5281/zenodo.19944926"
+    },
+    {
+      "id": "A8",
+      "name": "ingestDiscipline",
+      "statement": "Every ingest requires: source_url + content_hash + license (allow-list) + ORCID",
+      "source_file": "thesis.md",
+      "source_section": "§7",
+      "maturity": "defined",
+      "citation": "https://doi.org/10.5281/zenodo.20119582"
+    },
+    {
+      "id": "A9",
+      "name": "doctrineCompleteness",
+      "statement": "doctrine.json v1.0.0 enumerates all 8 forbidden patterns; SHA-anchored",
+      "source_file": "szl-trust/doctrine.json",
+      "source_section": "§8",
+      "maturity": "defined",
+      "citation": "https://github.com/szl-holdings/szl-trust"
+    }
+  ],
+  "theorems": [
+    {
+      "id": "TH_L1",
+      "name": "Λ_uniqueness",
+      "statement": "The Lutar Invariant Λ_k as weighted geometric mean with Egyptian unit-fraction weights is unique given the four axioms",
+      "source_file": "lutar-lean/Lutar/Uniqueness.lean",
+      "maturity": "conjectured",
+      "citation": "https://doi.org/10.5281/zenodo.20053148"
+    },
+    {
+      "id": "TH_L2",
+      "name": "Λ_min_max_bounds",
+      "statement": "Λ_k lies in [0,1] with min=0 iff any axis=0 and max=1 iff all axes=1",
+      "source_file": "lutar-lean/Lutar/Bound.lean",
+      "maturity": "proven",
+      "citation": "https://doi.org/10.5281/zenodo.20053148"
+    },
+    {
+      "id": "TH_L3",
+      "name": "bekenstein_soundness",
+      "statement": "Bekenstein indicator fires at 49.5% under uniform seed (measured); formal proof pending in lutar-lean",
+      "source_file": "lutar-lean (pending PR #12)",
+      "maturity": "measured/conjectured",
+      "citation": "https://github.com/szl-holdings/lutar-lean"
+    },
+    {
+      "id": "TH_L4",
+      "name": "rho_closure_production",
+      "statement": "100% rho-closure on 8,000/8,000 paired calls under v11 platform",
+      "source_file": "ouroboros v6.3.0 release",
+      "maturity": "measured",
+      "citation": "https://doi.org/10.5281/zenodo.20119582"
+    }
+  ],
+  "formulas": [
+    {
+      "id": "F0001",
+      "source_file": "thesis.md",
+      "source_line": 27,
+      "latex": "\\mathcal{S} = \\langle R, A, E, \\Lambda, \\rho, W \\rangle",
+      "context": "ith a doctrine-locked runtime** as a category-defining primitive for verifiable agency. We define the system as a tuple \\( \\mathcal{S} = \\langle R, A, E, \\Lambd",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0002",
+      "source_file": "thesis.md",
+      "source_line": 229,
+      "latex": "\\mathtt{szl\\text{-}trust}",
+      "context": "d system.  - \\(A\\) — the set of **named actors**. Every actor in \\(A\\) carries a stable identity resolvable to a key in \\(\\mathtt{szl\\text{-}trust}\\). No edge i",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0003",
+      "source_file": "thesis.md",
+      "source_line": 231,
+      "latex": "e \\in E",
+      "context": "and resolvable — unidentified actors are structurally excluded.  - \\(E\\) — the set of **receipt-bound edges**. An edge \\(e \\in E\\) is a tuple \\((a_{\\text{src}},",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0004",
+      "source_file": "thesis.md",
+      "source_line": 231,
+      "latex": "(a_{\\text{src}},\\; r_{\\text{src}},\\; r_{\\text{dst}},\\; \\varepsilon)",
+      "context": "ntified actors are structurally excluded.  - \\(E\\) — the set of **receipt-bound edges**. An edge \\(e \\in E\\) is a tuple \\((a_{\\text{src}},\\; r_{\\text{src}},\\; r",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0005",
+      "source_file": "thesis.md",
+      "source_line": 231,
+      "latex": "a_{\\text{src}} \\in A",
+      "context": "d edges**. An edge \\(e \\in E\\) is a tuple \\((a_{\\text{src}},\\; r_{\\text{src}},\\; r_{\\text{dst}},\\; \\varepsilon)\\) where \\(a_{\\text{src}} \\in A\\), \\(r_{\\text{src",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0006",
+      "source_file": "thesis.md",
+      "source_line": 231,
+      "latex": "r_{\\text{src}}, r_{\\text{dst}} \\in R",
+      "context": "E\\) is a tuple \\((a_{\\text{src}},\\; r_{\\text{src}},\\; r_{\\text{dst}},\\; \\varepsilon)\\) where \\(a_{\\text{src}} \\in A\\), \\(r_{\\text{src}}, r_{\\text{dst}} \\in R\\),",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0007",
+      "source_file": "thesis.md",
+      "source_line": 231,
+      "latex": "\\varepsilon",
+      "context": "src}},\\; r_{\\text{dst}},\\; \\varepsilon)\\) where \\(a_{\\text{src}} \\in A\\), \\(r_{\\text{src}}, r_{\\text{dst}} \\in R\\), and \\(\\varepsilon\\) is the receipt envelope ",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0008",
+      "source_file": "thesis.md",
+      "source_line": 231,
+      "latex": "\\varepsilon",
+      "context": "repsilon\\) is the receipt envelope defined in §3.3. No message may traverse a region boundary unless it carries a valid \\(\\varepsilon\\).  - \\(\\Lambda\\) — the **",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0009",
+      "source_file": "thesis.md",
+      "source_line": 233,
+      "latex": "\\Lambda",
+      "context": "ceipt envelope defined in §3.3. No message may traverse a region boundary unless it carries a valid \\(\\varepsilon\\).  - \\(\\Lambda\\) — the **composable axis-gati",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0010",
+      "source_file": "thesis.md",
+      "source_line": 233,
+      "latex": "\\Lambda : [0,1]^k \\to \\{0,1\\}",
+      "context": "boundary unless it carries a valid \\(\\varepsilon\\).  - \\(\\Lambda\\) — the **composable axis-gating function**. Formally, \\(\\Lambda : [0,1]^k \\to \\{0,1\\}\\) for \\(",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0011",
+      "source_file": "thesis.md",
+      "source_line": 233,
+      "latex": "k \\geq 9",
+      "context": "varepsilon\\).  - \\(\\Lambda\\) — the **composable axis-gating function**. Formally, \\(\\Lambda : [0,1]^k \\to \\{0,1\\}\\) for \\(k \\geq 9\\), defined as the conjunctive",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0012",
+      "source_file": "thesis.md",
+      "source_line": 239,
+      "latex": "\\mathbf{x}",
+      "context": "bilityHonesty}} \\geq 0.95 \\]    The composability property states that for any two independently evaluated axis vectors \\(\\mathbf{x}\\) and \\(\\mathbf{y}\\), their",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0013",
+      "source_file": "thesis.md",
+      "source_line": 239,
+      "latex": "\\mathbf{y}",
+      "context": "q 0.95 \\]    The composability property states that for any two independently evaluated axis vectors \\(\\mathbf{x}\\) and \\(\\mathbf{y}\\), their composed gate \\(\\L",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0014",
+      "source_file": "thesis.md",
+      "source_line": 239,
+      "latex": "\\Lambda(\\mathbf{x} \\wedge \\mathbf{y})",
+      "context": "rty states that for any two independently evaluated axis vectors \\(\\mathbf{x}\\) and \\(\\mathbf{y}\\), their composed gate \\(\\Lambda(\\mathbf{x} \\wedge \\mathbf{y})\\",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0015",
+      "source_file": "thesis.md",
+      "source_line": 239,
+      "latex": "\\Lambda(\\mathbf{x}) \\wedge \\Lambda(\\mathbf{y})",
+      "context": "ctors \\(\\mathbf{x}\\) and \\(\\mathbf{y}\\), their composed gate \\(\\Lambda(\\mathbf{x} \\wedge \\mathbf{y})\\) is equivalent to \\(\\Lambda(\\mathbf{x}) \\wedge \\Lambda(\\ma",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0016",
+      "source_file": "thesis.md",
+      "source_line": 239,
+      "latex": "\\Lambda",
+      "context": "— gate composition does not weaken the invariant. The `lutar-lean` skeleton repository contains the Lean 4 statement of \\(\\Lambda\\) uniqueness: given the four a",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0017",
+      "source_file": "thesis.md",
+      "source_line": 239,
+      "latex": "\\Lambda",
+      "context": "ment of \\(\\Lambda\\) uniqueness: given the four axioms (A1 monotonicity, A2 homogeneity, A3 Egyptian-exact, A4 bounded), \\(\\Lambda\\) is the *unique* function sat",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0018",
+      "source_file": "thesis.md",
+      "source_line": 241,
+      "latex": "\\rho(e)",
+      "context": "arget is zero.  - \\(\\rho\\) — the **dual-witness closure relation**. For any edge \\(e\\) carrying execution result \\(v\\), \\(\\rho(e)\\) holds iff two independent wi",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0019",
+      "source_file": "thesis.md",
+      "source_line": 241,
+      "latex": "w_1, w_2 \\in W",
+      "context": "closure relation**. For any edge \\(e\\) carrying execution result \\(v\\), \\(\\rho(e)\\) holds iff two independent witnesses \\(w_1, w_2 \\in W\\) each produce byte-ide",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0020",
+      "source_file": "thesis.md",
+      "source_line": 251,
+      "latex": "\\mathcal{S}",
+      "context": "uroboros` core + 4 `a11oy` covenant), while the full upstream runtime suite registers 218/218 passing tests.  The tuple \\(\\mathcal{S}\\) is **doctrine-locked**: ",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0021",
+      "source_file": "thesis.md",
+      "source_line": 251,
+      "latex": "\\Lambda",
+      "context": "which (a) a region is unnamed, (b) an actor is not in \\(A\\), (c) an edge is produced without a receipt envelope, or (d) \\(\\Lambda\\) is evaluated below threshold",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0022",
+      "source_file": "thesis.md",
+      "source_line": 251,
+      "latex": "\\mathcal{S}",
+      "context": "ithout a receipt envelope, or (d) \\(\\Lambda\\) is evaluated below threshold does not constitute a valid instantiation of \\(\\mathcal{S}\\).  ---  ## The 8-Region A",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0023",
+      "source_file": "thesis.md",
+      "source_line": 257,
+      "latex": "\\mathcal{S}",
+      "context": "of \\(R\\) are enumerated below. For each region the presentation gives: the repository identifier, its role in the tuple \\(\\mathcal{S}\\), its public interfaces, ",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0024",
+      "source_file": "thesis.md",
+      "source_line": 265,
+      "latex": "\\mathcal{S}",
+      "context": "released 2026-05-13; concept DOI `10.5281/zenodo.19944926`, v11 paper DOI `10.5281/zenodo.20119582`)  **Formal role in \\(\\mathcal{S}\\):** The Brain Stem is the ",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0025",
+      "source_file": "thesis.md",
+      "source_line": 265,
+      "latex": "\\Lambda",
+      "context": "DOI `10.5281/zenodo.20119582`)  **Formal role in \\(\\mathcal{S}\\):** The Brain Stem is the runtime kernel that evaluates \\(\\Lambda\\) and emits receipts. Every ed",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0026",
+      "source_file": "thesis.md",
+      "source_line": 268,
+      "latex": "\\Lambda",
+      "context": "bda(axes: number[9|10]) → Receipt` — evaluates the conjunctive AND gate and returns a signed receipt with the composite \\(\\Lambda\\) score, Bekenstein budget, an",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0027",
+      "source_file": "thesis.md",
+      "source_line": 274,
+      "latex": "\\Lambda",
+      "context": "chain root for third-party verification.  **Dependencies:** - Depends on: `lutar-lean` (Skeleton) — the axiom set that \\(\\Lambda\\) is required to satisfy is for",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0028",
+      "source_file": "thesis.md",
+      "source_line": 277,
+      "latex": "\\Lambda_9",
+      "context": "utbound edge must call `evaluate_lambda` before the edge enters \\(E\\).  The gate composition benchmark for v6.3.0 shows \\(\\Lambda_9\\) base p50 = 3.12 µs and com",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0029",
+      "source_file": "thesis.md",
+      "source_line": 285,
+      "latex": "\\mathcal{S}",
+      "context": "a continuous supply-chain security posture.  ---  ### Heart — `a11oy`  **Repo:** `szl-holdings/a11oy`  **Formal role in \\(\\mathcal{S}\\):** The Heart is the cove",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0030",
+      "source_file": "thesis.md",
+      "source_line": 285,
+      "latex": "\\mathcal{S}",
+      "context": "\\):** The Heart is the covenant policy engine and the agent approval queue. It governs the *authorization* dimension of \\(\\mathcal{S}\\): while the Brain Stem an",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0031",
+      "source_file": "thesis.md",
+      "source_line": 285,
+      "latex": "\\Lambda",
+      "context": "It governs the *authorization* dimension of \\(\\mathcal{S}\\): while the Brain Stem answers \"does this action score above \\(\\Lambda\\)?\", the Heart answers \"is thi",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0032",
+      "source_file": "thesis.md",
+      "source_line": 285,
+      "latex": "r_{\\text{dst}} \\notin R",
+      "context": "this action permitted under the active covenant?\". No action may exit the body graph — i.e., no edge in \\(E\\) may have \\(r_{\\text{dst}} \\notin R\\) — without a H",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0033",
+      "source_file": "thesis.md",
+      "source_line": 293,
+      "latex": "\\Lambda",
+      "context": "Stem's chain.  **Dependencies:** - Depends on: `ouroboros` (Brain Stem) — covenant evaluation results are sealed with a \\(\\Lambda\\)-gated receipt; a covenant ch",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0034",
+      "source_file": "thesis.md",
+      "source_line": 293,
+      "latex": "\\Lambda",
+      "context": "os` (Brain Stem) — covenant evaluation results are sealed with a \\(\\Lambda\\)-gated receipt; a covenant check that fails \\(\\Lambda\\) is itself a gate-level viola",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0035",
+      "source_file": "thesis.md",
+      "source_line": 305,
+      "latex": "\\mathcal{S}",
+      "context": "but a verifiable, chain-linked artifact.  ---  ### Wires — `sentra`  **Repo:** `szl-holdings/sentra`  **Formal role in \\(\\mathcal{S}\\):** The Wires are the attr",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0036",
+      "source_file": "thesis.md",
+      "source_line": 305,
+      "latex": "\\text{attr}: E \\to A",
+      "context": "rent channel that carries signals inward and records *who observed what and when*. Formally, Wires maintain the mapping \\(\\text{attr}: E \\to A\\), ensuring that ",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0037",
+      "source_file": "thesis.md",
+      "source_line": 305,
+      "latex": "\\mathcal{S}",
+      "context": "he mapping \\(\\text{attr}: E \\to A\\), ensuring that every edge in \\(E\\) is attributable to a named actor. Without Wires, \\(\\mathcal{S}\\) degrades: edges carry re",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0038",
+      "source_file": "thesis.md",
+      "source_line": 308,
+      "latex": "a \\in A",
+      "context": "egal-accountability sense.  **Public interfaces:** - `observe(edge, actor_id) → AttributionRecord` — records that actor \\(a \\in A\\) produced or consumed edge \\(",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0039",
+      "source_file": "thesis.md",
+      "source_line": 325,
+      "latex": "\\mathcal{S}",
+      "context": "aft-morrow-sogomonian-exec-outcome-attest`.  ---  ### Spine — `amaru`  **Repo:** `szl-holdings/amaru`  **Formal role in \\(\\mathcal{S}\\):** The Spine is the appe",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0040",
+      "source_file": "thesis.md",
+      "source_line": 325,
+      "latex": "\\langle e_1, e_2, \\ldots, e_n \\rangle \\subseteq E",
+      "context": "ordered, hash-verified record of every state transition across the body graph. Formally, `amaru` maintains the sequence \\(\\langle e_1, e_2, \\ldots, e_n \\rangle ",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0041",
+      "source_file": "thesis.md",
+      "source_line": 339,
+      "latex": "O(\\log n)",
+      "context": "(identified in the runtime roadmap) would upgrade the Spine's linear hash-chain to a directed acyclic graph supporting \\(O(\\log n)\\) subset inclusion proofs — e",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0042",
+      "source_file": "thesis.md",
+      "source_line": 347,
+      "latex": "\\mathcal{S}",
+      "context": "nce in the enterprise segment.  ---  ### Skeleton — `lutar-lean`  **Repo:** `szl-holdings/lutar-lean`  **Formal role in \\(\\mathcal{S}\\):** The Skeleton is the f",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0043",
+      "source_file": "thesis.md",
+      "source_line": 347,
+      "latex": "\\{A1, A2, A3, A4\\}",
+      "context": "es not execute at runtime; it is the *proof that the runtime is correct*. Formally, `lutar-lean` provides the axiom set \\(\\{A1, A2, A3, A4\\}\\) and the derived t",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0044",
+      "source_file": "thesis.md",
+      "source_line": 347,
+      "latex": "\\Lambda",
+      "context": "A2, A3, A4\\}\\) and the derived theorems (Λ uniqueness, Bound theorem) that constitute a machine-checked certificate for \\(\\Lambda\\). If the Skeleton's `sorry` c",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0045",
+      "source_file": "thesis.md",
+      "source_line": 351,
+      "latex": "\\Lambda",
+      "context": "statements of A1 (monotonicity), A2 (homogeneity), A3 (Egyptian-exact), A4 (bounded). - `Uniqueness.lean` — Theorem 1: \\(\\Lambda\\) is the unique function satisf",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0046",
+      "source_file": "thesis.md",
+      "source_line": 367,
+      "latex": "\\mathcal{S}",
+      "context": "*Repos:** `szl-holdings/counsel` (governance UI), `szl-holdings/terra` (dashboards and visualization)  **Formal role in \\(\\mathcal{S}\\):** The Hands are the too",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0047",
+      "source_file": "thesis.md",
+      "source_line": 371,
+      "latex": "\\Lambda",
+      "context": "as an interactive SVG, streaming live receipt counts via SSE from `/api/chain/stream`; node colors reflect the current \\(\\Lambda\\) score band (green ≥ 0.95, amb",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0048",
+      "source_file": "thesis.md",
+      "source_line": 386,
+      "latex": "\\mathcal{S}",
+      "context": "*is* the system.  ---  ### Full Body — `ouroboros-thesis`  **Repo:** `szl-holdings/ouroboros-thesis`  **Formal role in \\(\\mathcal{S}\\):** The Full Body is the p",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0049",
+      "source_file": "thesis.md",
+      "source_line": 386,
+      "latex": "\\mathcal{S}",
+      "context": "l Body is the public-record thesis — the DOI-pinned, versioned document that constitutes the canonical specification of \\(\\mathcal{S}\\). Formally, `ouroboros-th",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0050",
+      "source_file": "thesis.md",
+      "source_line": 405,
+      "latex": "\\mathcal{S}",
+      "context": "d identity anchoring), `szl-holdings/szl-cookbook` (reference implementations / developer onboarding)  **Formal role in \\(\\mathcal{S}\\):** The Vessels and Chakr",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0051",
+      "source_file": "thesis.md",
+      "source_line": 421,
+      "latex": "\\varepsilon",
+      "context": "eue under the covenant pack schema.  ---  ## Cross-Region Contracts  Every edge in \\(E\\) carries a **receipt envelope** \\(\\varepsilon\\). The envelope is a typed",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0052",
+      "source_file": "thesis.md",
+      "source_line": 421,
+      "latex": "\\Lambda",
+      "context": "es a **receipt envelope** \\(\\varepsilon\\). The envelope is a typed, signed, content-addressed record that provides: the \\(\\Lambda\\) score vector, the dual-witne",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0053",
+      "source_file": "thesis.md",
+      "source_line": 479,
+      "latex": "\\Lambda",
+      "context": "_lambda(axes) → Receipt` — any MCP-compatible client (Claude Desktop, Cursor, enterprise agent frameworks) can call the \\(\\Lambda\\) gate as a typed tool and rec",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0054",
+      "source_file": "thesis.md",
+      "source_line": 507,
+      "latex": "\\mathcal{S}",
+      "context": "the 8-Region Model Structurally Surpasses the Leaders  Each existing framework or protocol is a partial instantiation of \\(\\mathcal{S}\\). The gap is structural: ",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0055",
+      "source_file": "thesis.md",
+      "source_line": 515,
+      "latex": "\\Lambda_9",
+      "context": "l engineering pattern, but skills are *files*, not services with receipts. A Brain Stem can issue a decision that fails \\(\\Lambda_9\\) moralGrounding; in the Man",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0056",
+      "source_file": "thesis.md",
+      "source_line": 515,
+      "latex": "\\mathcal{S}",
+      "context": "fails \\(\\Lambda_9\\) moralGrounding; in the Managed Agents architecture there is no mechanism to detect or block it. In \\(\\mathcal{S}\\), that decision never exit",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0057",
+      "source_file": "thesis.md",
+      "source_line": 517,
+      "latex": "\\Lambda",
+      "context": "ource agent framework in the TypeScript ecosystem. Mastra has no Skeleton: there are no Lean 4 proofs. It has no formal \\(\\Lambda\\) gate — behavioral constraint",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0058",
+      "source_file": "thesis.md",
+      "source_line": 567,
+      "latex": "\\lambda_1",
+      "context": "l(\\lambda_1(c),\\, \\lambda_2(c),\\, \\ldots,\\, \\lambda_9(c)\\bigr) \\in [0,1]^9 \\]  The nine axes are defined as follows.  **\\(\\lambda_1\\): moralGrounding.** Measure",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0059",
+      "source_file": "thesis.md",
+      "source_line": 567,
+      "latex": "\\lambda_1",
+      "context": "nce policies, and principal hierarchies that the operator has encoded in the agent's governing covenant. Operationally, \\(\\lambda_1\\) is the normalized cosine s",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0060",
+      "source_file": "thesis.md",
+      "source_line": 567,
+      "latex": "[0,1]",
+      "context": "mbedding and a reference \"moral anchor\" embedding, averaged over the operator's registered covenant clauses, clamped to \\([0,1]\\). The floor constraint \\(\\lambd",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0061",
+      "source_file": "thesis.md",
+      "source_line": 567,
+      "latex": "\\lambda_1 \\geq 0.95",
+      "context": "anchor\" embedding, averaged over the operator's registered covenant clauses, clamped to \\([0,1]\\). The floor constraint \\(\\lambda_1 \\geq 0.95\\) is a hard asympt",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0062",
+      "source_file": "thesis.md",
+      "source_line": 569,
+      "latex": "\\lambda_2",
+      "context": "even marginally morally misaligned fails the gate irrespective of how perfectly calibrated the other eight axes are.  **\\(\\lambda_2\\): measurabilityHonesty.** M",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0063",
+      "source_file": "thesis.md",
+      "source_line": 571,
+      "latex": "\\lambda_3",
+      "context": "ine clause \"no hallucinations no bandaids; test test test\" by making measurement-honesty a prerequisite for passage.  **\\(\\lambda_3\\): epistemicHumility.** Scor",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0064",
+      "source_file": "thesis.md",
+      "source_line": 571,
+      "latex": "\\lambda_3 = 1 - \\mathbb{E}[|\\text{conf}(c) - \\text{acc}(c)|]",
+      "context": "sparse scores low on this axis. The scoring function penalizes unjustified confidence using a calibration-error analog: \\(\\lambda_3 = 1 - \\mathbb{E}[|\\text{conf",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0065",
+      "source_file": "thesis.md",
+      "source_line": 571,
+      "latex": "\\text{conf}(c)",
+      "context": "ied confidence using a calibration-error analog: \\(\\lambda_3 = 1 - \\mathbb{E}[|\\text{conf}(c) - \\text{acc}(c)|]\\) where \\(\\text{conf}(c)\\) is the agent's stated",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0066",
+      "source_file": "thesis.md",
+      "source_line": 571,
+      "latex": "\\text{acc}(c)",
+      "context": "da_3 = 1 - \\mathbb{E}[|\\text{conf}(c) - \\text{acc}(c)|]\\) where \\(\\text{conf}(c)\\) is the agent's stated confidence and \\(\\text{acc}(c)\\) is the empirically mea",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0067",
+      "source_file": "thesis.md",
+      "source_line": 573,
+      "latex": "\\lambda_4",
+      "context": "is the agent's stated confidence and \\(\\text{acc}(c)\\) is the empirically measured accuracy over a calibration set.  **\\(\\lambda_4\\): counterfactualAwareness.**",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0068",
+      "source_file": "thesis.md",
+      "source_line": 575,
+      "latex": "\\lambda_5",
+      "context": "res 0.0 and a uniformly distributed consequence distribution over the operator-defined consequence space scores 1.0.  **\\(\\lambda_5\\): temporalConsistency.** Me",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0069",
+      "source_file": "thesis.md",
+      "source_line": 575,
+      "latex": "t + \\Delta",
+      "context": "Measures the stability of the gate verdict under repeated evaluation on the same input at two different times \\(t\\) and \\(t + \\Delta\\). Let \\(v_t\\) and \\(v_{t+\\",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0070",
+      "source_file": "thesis.md",
+      "source_line": 575,
+      "latex": "v_{t+\\Delta}",
+      "context": "te verdict under repeated evaluation on the same input at two different times \\(t\\) and \\(t + \\Delta\\). Let \\(v_t\\) and \\(v_{t+\\Delta}\\) denote the Λ₉ composite",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0071",
+      "source_file": "thesis.md",
+      "source_line": 581,
+      "latex": "\\lambda_5 = 1.0",
+      "context": "Then:  \\[ \\lambda_5 = \\max\\!\\Bigl(0,\\; 1 - 4\\,\\bigl(v_t - v_{t+\\Delta}\\bigr)^2\\Bigr) \\]  A zero-drift evaluation scores \\(\\lambda_5 = 1.0\\). A drift of 0.05 in ",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0072",
+      "source_file": "thesis.md",
+      "source_line": 581,
+      "latex": "\\lambda_5 = 0.99",
+      "context": "ta}\\bigr)^2\\Bigr) \\]  A zero-drift evaluation scores \\(\\lambda_5 = 1.0\\). A drift of 0.05 in the composite score yields \\(\\lambda_5 = 0.99\\). A drift of 0.25 yi",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0073",
+      "source_file": "thesis.md",
+      "source_line": 581,
+      "latex": "\\lambda_5 = 0.75",
+      "context": "scores \\(\\lambda_5 = 1.0\\). A drift of 0.05 in the composite score yields \\(\\lambda_5 = 0.99\\). A drift of 0.25 yields \\(\\lambda_5 = 0.75\\), below the ≥ 0.90 co",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0074",
+      "source_file": "thesis.md",
+      "source_line": 583,
+      "latex": "\\lambda_6",
+      "context": "-identical replay guarantee: a system that cannot reproduce its own gate verdict is not operating deterministically.  **\\(\\lambda_6\\): evidenceProvenance.** Mea",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0075",
+      "source_file": "thesis.md",
+      "source_line": 585,
+      "latex": "\\lambda_7",
+      "context": "ertions score at most 0.50. The scoring function is the fraction of claim tokens for which provenance is resolvable.  **\\(\\lambda_7\\): actorIdentity.** Measures",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0076",
+      "source_file": "thesis.md",
+      "source_line": 587,
+      "latex": "\\lambda_8",
+      "context": "ting under delegated authority — the score decays as a function of delegation depth to penalize opaque proxy chains.  **\\(\\lambda_8\\): axiomConsistency.** Measu",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0077",
+      "source_file": "thesis.md",
+      "source_line": 589,
+      "latex": "\\lambda_9",
+      "context": "Lean 4 formalization: it enforces, at runtime, the constraints that are statically verified at theorem-proving time.  **\\(\\lambda_9\\): coherence.** Measures the",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0078",
+      "source_file": "thesis.md",
+      "source_line": 589,
+      "latex": "A_1, A_2, \\ldots, A_k",
+      "context": "-step logical coherence of the agent's plan across the action sequence, not just for the current step in isolation. Let \\(A_1, A_2, \\ldots, A_k\\) denote the \\(k",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0079",
+      "source_file": "thesis.md",
+      "source_line": 589,
+      "latex": "(A_i, A_{i+1})",
+      "context": "e the \\(k\\) preceding actions in the current session. The coherence score is the proportion of consecutive action-pairs \\((A_i, A_{i+1})\\) for which the precond",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0080",
+      "source_file": "thesis.md",
+      "source_line": 589,
+      "latex": "A_{i+1}",
+      "context": "ion. The coherence score is the proportion of consecutive action-pairs \\((A_i, A_{i+1})\\) for which the precondition of \\(A_{i+1}\\) is satisfied by the postcond",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0081",
+      "source_file": "thesis.md",
+      "source_line": 589,
+      "latex": "\\lambda_9 = 1.0",
+      "context": "ied by the postcondition of \\(A_i\\), under the operator's precondition/postcondition schema. For the base case \\(k=0\\), \\(\\lambda_9 = 1.0\\).  ### The conjunctiv",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0082",
+      "source_file": "thesis.md",
+      "source_line": 599,
+      "latex": "\\lambda_1 = 0.50",
+      "context": "for the following reason. A single composite score — even a geometric mean — can mask localized failures. An agent with \\(\\lambda_1 = 0.50\\) (severely morally m",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0083",
+      "source_file": "thesis.md",
+      "source_line": 599,
+      "latex": "\\prod_{i}^{1/9} = 0.50^{1/9} \\approx 0.926",
+      "context": "with \\(\\lambda_1 = 0.50\\) (severely morally misaligned) and all remaining axes at \\(1.0\\) achieves a geometric mean of \\(\\prod_{i}^{1/9} = 0.50^{1/9} \\approx 0.",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0084",
+      "source_file": "thesis.md",
+      "source_line": 599,
+      "latex": "\\lambda_1",
+      "context": "gle-score gate. The conjunctive AND structure prevents this: every axis is a blocking veto. The two elevated floors for \\(\\lambda_1\\) and \\(\\lambda_2\\) add a se",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0085",
+      "source_file": "thesis.md",
+      "source_line": 599,
+      "latex": "\\lambda_2",
+      "context": "e conjunctive AND structure prevents this: every axis is a blocking veto. The two elevated floors for \\(\\lambda_1\\) and \\(\\lambda_2\\) add a second layer of asym",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0086",
+      "source_file": "thesis.md",
+      "source_line": 605,
+      "latex": "m \\in \\{0,1\\}^9",
+      "context": "to the receipt structure. Rather than publishing the raw nine (or ten) axis scores, the receipt carries a bitfield mask \\(m \\in \\{0,1\\}^9\\) in which \\(m_i = 1\\)",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0087",
+      "source_file": "thesis.md",
+      "source_line": 605,
+      "latex": "m_i = 1",
+      "context": "her than publishing the raw nine (or ten) axis scores, the receipt carries a bitfield mask \\(m \\in \\{0,1\\}^9\\) in which \\(m_i = 1\\) if and only if \\(\\lambda_i\\)",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0088",
+      "source_file": "thesis.md",
+      "source_line": 605,
+      "latex": "\\lambda_i",
+      "context": "nine (or ten) axis scores, the receipt carries a bitfield mask \\(m \\in \\{0,1\\}^9\\) in which \\(m_i = 1\\) if and only if \\(\\lambda_i\\) was evaluated and passed it",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0089",
+      "source_file": "thesis.md",
+      "source_line": 611,
+      "latex": "\\theta_i = 0.95",
+      "context": "ity profile of the agent. Formally, the mask is computed as:  \\[ m_i = \\mathbf{1}[\\lambda_i(c) \\geq \\theta_i] \\]  where \\(\\theta_i = 0.95\\) for \\(i \\in \\{1,2\\}\\",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0090",
+      "source_file": "thesis.md",
+      "source_line": 611,
+      "latex": "i \\in \\{1,2\\}",
+      "context": ". Formally, the mask is computed as:  \\[ m_i = \\mathbf{1}[\\lambda_i(c) \\geq \\theta_i] \\]  where \\(\\theta_i = 0.95\\) for \\(i \\in \\{1,2\\}\\) and \\(\\theta_i = 0.90\\",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0091",
+      "source_file": "thesis.md",
+      "source_line": 611,
+      "latex": "\\theta_i = 0.90",
+      "context": "s computed as:  \\[ m_i = \\mathbf{1}[\\lambda_i(c) \\geq \\theta_i] \\]  where \\(\\theta_i = 0.95\\) for \\(i \\in \\{1,2\\}\\) and \\(\\theta_i = 0.90\\) otherwise. The gate ",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0092",
+      "source_file": "thesis.md",
+      "source_line": 611,
+      "latex": "\\sum_i m_i = 9",
+      "context": "eq \\theta_i] \\]  where \\(\\theta_i = 0.95\\) for \\(i \\in \\{1,2\\}\\) and \\(\\theta_i = 0.90\\) otherwise. The gate passes iff \\(\\sum_i m_i = 9\\) (or 10 under Λ₁₀). Th",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0093",
+      "source_file": "thesis.md",
+      "source_line": 627,
+      "latex": "\\textit{parent\\_hash}",
+      "context": "\\textit{timestamp},\\; \\vec{\\lambda},\\; \\rho\\_\\textit{witness\\_set},\\; \\textit{signature}\\bigr) \\]  The fields are:  - **\\(\\textit{parent\\_hash}\\)**: The SHA-256",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0094",
+      "source_file": "thesis.md",
+      "source_line": 627,
+      "latex": "r_{i-1}",
+      "context": "s\\_set},\\; \\textit{signature}\\bigr) \\]  The fields are:  - **\\(\\textit{parent\\_hash}\\)**: The SHA-256 digest of receipt \\(r_{i-1}\\). For the genesis receipt, th",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0095",
+      "source_file": "thesis.md",
+      "source_line": 628,
+      "latex": "\\textit{content\\_digest}",
+      "context": "this is the SHA-256 of a protocol-specified null seed. This field creates the backward-pointing link of the chain. - **\\(\\textit{content\\_digest}\\)**: The SHA-2",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0096",
+      "source_file": "thesis.md",
+      "source_line": 629,
+      "latex": "\\textit{actor}",
+      "context": "fore any side-effectful execution. This binds the gate verdict irrevocably to the specific input that triggered it. - **\\(\\textit{actor}\\)**: The identifier of ",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0097",
+      "source_file": "thesis.md",
+      "source_line": 629,
+      "latex": "\\lambda_7",
+      "context": "t. - **\\(\\textit{actor}\\)**: The identifier of the acting agent as registered in the principal registry. Corresponds to \\(\\lambda_7\\) (actorIdentity). - **\\(\\te",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0098",
+      "source_file": "thesis.md",
+      "source_line": 630,
+      "latex": "\\textit{timestamp}",
+      "context": "entifier of the acting agent as registered in the principal registry. Corresponds to \\(\\lambda_7\\) (actorIdentity). - **\\(\\textit{timestamp}\\)**: A monotonic ti",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0099",
+      "source_file": "thesis.md",
+      "source_line": 631,
+      "latex": "\\vec{\\lambda}",
+      "context": ": A monotonic timestamp in milliseconds since the Unix epoch, drawn from a pinned, non-forgeable source (see §4.6). - **\\(\\vec{\\lambda}\\)**: The full nine-dimen",
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "F0100",
+      "source_file": "thesis.md",
+      "source_line": 632,
+      "latex": "\\rho\\_\\textit{witness\\_set}",
+      "context": "vec{\\lambda}\\)**: The full nine-dimensional Λ vector, or the `lambda9_mask` bitfield under the Λ₁₀ privacy variant. - **\\(\\rho\\_\\textit{witness\\_set}\\)**: The s",
+      "source_id": "thesis_session"
+    }
+  ],
+  "definitions": [],
+  "canonical_constants": [
+    {
+      "id": "K01",
+      "name": "receipt_build_p50_us",
+      "value": "11.5",
+      "unit": "µs",
+      "ops_per_sec": "62764",
+      "source": "THESIS_BRIEF.md",
+      "doi": "10.5281/zenodo.20119582",
+      "maturity": "measured"
+    },
+    {
+      "id": "K02",
+      "name": "receipt_build_p99_us",
+      "value": "50.7",
+      "unit": "µs",
+      "source": "THESIS_BRIEF.md",
+      "doi": "10.5281/zenodo.20119582",
+      "maturity": "measured"
+    },
+    {
+      "id": "K03",
+      "name": "receipt_verify_p50_us",
+      "value": "10.4",
+      "unit": "µs",
+      "ops_per_sec": "74149",
+      "source": "THESIS_BRIEF.md",
+      "doi": "10.5281/zenodo.20119582",
+      "maturity": "measured"
+    },
+    {
+      "id": "K04",
+      "name": "lambda9_base_p50_us",
+      "value": "3.12",
+      "unit": "µs",
+      "source": "THESIS_BRIEF.md",
+      "doi": "10.5281/zenodo.20119582",
+      "maturity": "measured"
+    },
+    {
+      "id": "K05",
+      "name": "lambda9_composed_p50_us",
+      "value": "3.29",
+      "unit": "µs",
+      "source": "THESIS_BRIEF.md",
+      "doi": "10.5281/zenodo.20119582",
+      "maturity": "measured"
+    },
+    {
+      "id": "K06",
+      "name": "rho_closure_rate",
+      "value": "100%",
+      "denominator": "8000/8000 paired calls",
+      "source": "THESIS_BRIEF.md",
+      "doi": "10.5281/zenodo.20119582",
+      "maturity": "measured"
+    },
+    {
+      "id": "K07",
+      "name": "platform_v11_http_calls",
+      "value": "24800",
+      "source": "THESIS_BRIEF.md",
+      "doi": "10.5281/zenodo.20119582",
+      "maturity": "measured"
+    },
+    {
+      "id": "K08",
+      "name": "platform_v11_lambda10_overhead_p50_ms",
+      "value": "0.49-0.59",
+      "unit": "ms/route",
+      "source": "THESIS_BRIEF.md",
+      "doi": "10.5281/zenodo.20119582",
+      "maturity": "measured"
+    },
+    {
+      "id": "K09",
+      "name": "platform_v11_p99_ms",
+      "value": "1.27",
+      "unit": "ms",
+      "source": "THESIS_BRIEF.md",
+      "doi": "10.5281/zenodo.20119582",
+      "maturity": "measured"
+    },
+    {
+      "id": "K10",
+      "name": "replay_root",
+      "value": "1ed4d253e876f428c6e182f8ed8a569585442556b339529bbf8ec2522581698b",
+      "source": "THESIS_BRIEF.md",
+      "doi": "10.5281/zenodo.20119582",
+      "maturity": "measured"
+    },
+    {
+      "id": "K11",
+      "name": "test_count_production",
+      "value": "218/218",
+      "source": "THESIS_BRIEF.md",
+      "doi": "10.5281/zenodo.20119582",
+      "maturity": "measured"
+    },
+    {
+      "id": "K12",
+      "name": "test_count_demo",
+      "value": "37/37",
+      "source": "replit_payload_build",
+      "commit": "demo",
+      "maturity": "measured"
+    },
+    {
+      "id": "K13",
+      "name": "bekenstein_indicator_fire_rate",
+      "value": "49.5%",
+      "source": "thesis.md §4.5",
+      "doi": "10.5281/zenodo.20119582",
+      "maturity": "measured"
+    }
+  ],
+  "extracted_constants": [
+    {
+      "id": "C0001",
+      "name": "receipt_build_p50_us",
+      "value": "11.5",
+      "raw": "receipt build p50 = 11.5 µs",
+      "context": "0).** A production Rust runtime with 218/218 tests passing, receipt build p50 = 11.5 µs (62,764 ops/sec), receipt verify p50 = 10.4 µs (74,149 ops/sec",
+      "source_file": "thesis.md",
+      "source_line": 83,
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "C0003",
+      "name": "receipt_verify_p50_us",
+      "value": "10.4",
+      "raw": "receipt verify p50 = 10.4 µs",
+      "context": "ests passing, receipt build p50 = 11.5 µs (62,764 ops/sec), receipt verify p50 = 10.4 µs (74,149 ops/sec), and 100% ρ-closure on 8,000/8,000 paired ca",
+      "source_file": "thesis.md",
+      "source_line": 83,
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "C0008",
+      "name": "receipt_build_p99_us",
+      "value": "50.7",
+      "raw": "p99 = 50.7 µs",
+      "context": "→ Receipt` — constructs a receipt envelope; p50 = 11.5 µs, p99 = 50.7 µs, throughput 62,764 ops/sec. - `verify_receipt(receipt) → bool` — verifies byt",
+      "source_file": "thesis.md",
+      "source_line": 269,
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "C0009",
+      "name": "ops_per_sec",
+      "value": "62764",
+      "raw": "62,764 ops/sec",
+      "context": "me with 218/218 tests passing, receipt build p50 = 11.5 µs (62,764 ops/sec), receipt verify p50 = 10.4 µs (74,149 ops/sec), and 100% ρ-closure on 8,00",
+      "source_file": "thesis.md",
+      "source_line": 83,
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "C0010",
+      "name": "ops_per_sec",
+      "value": "74149",
+      "raw": "74,149 ops/sec",
+      "context": "0 = 11.5 µs (62,764 ops/sec), receipt verify p50 = 10.4 µs (74,149 ops/sec), and 100% ρ-closure on 8,000/8,000 paired calls [9]. The runtime enforces ",
+      "source_file": "thesis.md",
+      "source_line": 83,
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "C0023",
+      "name": "ops_per_sec",
+      "value": "200000",
+      "raw": "200,000 ops/sec",
+      "context": "arget for the Merkle-DAG upgrade is **5 µs build p50** at **200,000 ops/sec**. This is a 2.3× improvement in latency and a 3.2× improvement in through",
+      "source_file": "thesis.md",
+      "source_line": 2100,
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "C0027",
+      "name": "lambda9_base_p50_us",
+      "value": "3.12",
+      "raw": "Λ₉ base p50 = 3.12 µs",
+      "context": "9]. The runtime enforces a 9-axis conjunctive quality gate (Λ₉ base p50 = 3.12 µs) and a Λ₁₀ platform layer with 0.49–0.59 ms/route overhead validated",
+      "source_file": "thesis.md",
+      "source_line": 83,
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "C0029",
+      "name": "tests_passed",
+      "value": "218",
+      "raw": "218/218 passing",
+      "context": "ify-p50 with 100% ρ-closure on 8,000/8,000 paired calls and 218/218 passing tests. We propose `lambda9_mask` as a privacy-preserving extension to SCIT",
+      "source_file": "thesis.md",
+      "source_line": 27,
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "C0031",
+      "name": "tests_passed",
+      "value": "37",
+      "raw": "37/37 tests",
+      "context": "nt invocations of the same input. The demo payload confirms 37/37 tests passing in the Replit environment (33 `ouroboros` core + 4 `a11oy` covenant), ",
+      "source_file": "thesis.md",
+      "source_line": 249,
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "C0044",
+      "name": "http_calls",
+      "value": "24800",
+      "raw": "24,800 HTTP calls",
+      "context": "orm layer with 0.49–0.59 ms/route overhead validated across 24,800 HTTP calls.  2. **Lean 4 formal axioms and proofs (`lutar-lean`).** A Mathlib-groun",
+      "source_file": "thesis.md",
+      "source_line": 83,
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "C0053",
+      "name": "lambda_p50_us",
+      "value": "11.5",
+      "raw": "p50 = 11.5 µs (62,764 ops/sec), receipt verify p50 = 10.4 µs (74,149 ops/sec), and 100% ρ-closure on 8,000/8,000 paired calls [9]. The runtime enforces a 9-axis conjunctive quality gate (Λ",
+      "context": "tion Rust runtime with 218/218 tests passing, receipt build p50 = 11.5 µs (62,764 ops/sec), receipt verify p50 = 10.4 µs (74,149 ops/sec), and 100% ρ-",
+      "source_file": "thesis.md",
+      "source_line": 83,
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "C0054",
+      "name": "lambda_p50_us",
+      "value": "3.12",
+      "raw": "p50 = 3.12 µs) and a Λ",
+      "context": "runtime enforces a 9-axis conjunctive quality gate (Λ₉ base p50 = 3.12 µs) and a Λ₁₀ platform layer with 0.49–0.59 ms/route overhead validated across ",
+      "source_file": "thesis.md",
+      "source_line": 83,
+      "source_id": "thesis_session"
+    },
+    {
+      "id": "C0055",
+      "name": "receipt_build_p99_us",
+      "value": "50.7",
+      "raw": "p99 = 50.7 µs",
+      "context": "bers - **218/218 tests** - Receipt build p50 = **11.5 µs**, p99 = 50.7 µs (62,764 ops/sec) - Receipt verify p50 = **10.4 µs** (74,149 ops/sec) - Λ₉ ba",
+      "source_file": "THESIS_BRIEF.md",
+      "source_line": 57,
+      "source_id": "thesis_brief"
+    },
+    {
+      "id": "C0056",
+      "name": "ops_per_sec",
+      "value": "62764",
+      "raw": "62,764 ops/sec",
+      "context": "8 tests** - Receipt build p50 = **11.5 µs**, p99 = 50.7 µs (62,764 ops/sec) - Receipt verify p50 = **10.4 µs** (74,149 ops/sec) - Λ₉ base p50 = 3.12 µ",
+      "source_file": "THESIS_BRIEF.md",
+      "source_line": 57,
+      "source_id": "thesis_brief"
+    },
+    {
+      "id": "C0057",
+      "name": "ops_per_sec",
+      "value": "74149",
+      "raw": "74,149 ops/sec",
+      "context": "0.7 µs (62,764 ops/sec) - Receipt verify p50 = **10.4 µs** (74,149 ops/sec) - Λ₉ base p50 = 3.12 µs / composed p50 = 3.29 µs - 100% ρ-closure on **8,0",
+      "source_file": "THESIS_BRIEF.md",
+      "source_line": 58,
+      "source_id": "thesis_brief"
+    },
+    {
+      "id": "C0058",
+      "name": "lambda9_base_p50_us",
+      "value": "3.12",
+      "raw": "Λ₉ base p50 = 3.12 µs",
+      "context": "/sec) - Receipt verify p50 = **10.4 µs** (74,149 ops/sec) - Λ₉ base p50 = 3.12 µs / composed p50 = 3.29 µs - 100% ρ-closure on **8,000/8,000 paired ca",
+      "source_file": "THESIS_BRIEF.md",
+      "source_line": 59,
+      "source_id": "thesis_brief"
+    },
+    {
+      "id": "C0059",
+      "name": "tests_passed",
+      "value": "218",
+      "raw": "218/218 tests",
+      "context": "boros v6.3.0 (released 2026-05-13) — production numbers - **218/218 tests** - Receipt build p50 = **11.5 µs**, p99 = 50.7 µs (62,764 ops/sec) - Receip",
+      "source_file": "THESIS_BRIEF.md",
+      "source_line": 56,
+      "source_id": "thesis_brief"
+    },
+    {
+      "id": "C0060",
+      "name": "tests_passed",
+      "value": "37",
+      "raw": "37/37 tests",
+      "context": "plit demo payload (verified live 2026-05-15 at 11:22 EDT) - 37/37 tests passing (33 ouroboros core + 4 a11oy covenant) - `bash scripts/doctrine-check.",
+      "source_file": "THESIS_BRIEF.md",
+      "source_line": 68,
+      "source_id": "thesis_brief"
+    },
+    {
+      "id": "C0061",
+      "name": "http_calls",
+      "value": "24800",
+      "raw": "24,800 HTTP calls",
+      "context": "ρ-closure on **8,000/8,000 paired calls** - Platform v11: **24,800 HTTP calls validated**, Λ₁₀ overhead 0.49–0.59 ms/route, p99 ≤ 1.27 ms - Apache-2.0",
+      "source_file": "THESIS_BRIEF.md",
+      "source_line": 61,
+      "source_id": "thesis_brief"
+    },
+    {
+      "id": "C0062",
+      "name": "receipt_build_p50_us",
+      "value": "11.5",
+      "raw": "Receipt build p50 = 11.5 µs",
+      "context": "e not. | 12–18 months — they have a runtime, not a kernel | Receipt build p50 = 11.5 µs · v11 DOI [`zenodo.20119582`](https://doi.org/10.5281/zenodo.2",
+      "source_file": "master_evolution_memo.md",
+      "source_line": 81,
+      "source_id": "master_memo"
+    },
+    {
+      "id": "C0064",
+      "name": "receipt_build_p99_us",
+      "value": "50.7",
+      "raw": "p99 = 50.7 µs",
+      "context": "218 / 218 passing** | | Receipt build | p50 = **11.5 µs** · p99 = 50.7 µs · 62,764 ops/sec | | Receipt verify | p50 = **10.4 µs** · 74,149 ops/sec | |",
+      "source_file": "master_evolution_memo.md",
+      "source_line": 36,
+      "source_id": "master_memo"
+    },
+    {
+      "id": "C0065",
+      "name": "ops_per_sec",
+      "value": "62764",
+      "raw": "62,764 ops/sec",
+      "context": "g** | | Receipt build | p50 = **11.5 µs** · p99 = 50.7 µs · 62,764 ops/sec | | Receipt verify | p50 = **10.4 µs** · 74,149 ops/sec | | Λ₉ base | p50 =",
+      "source_file": "master_evolution_memo.md",
+      "source_line": 36,
+      "source_id": "master_memo"
+    },
+    {
+      "id": "C0066",
+      "name": "ops_per_sec",
+      "value": "74149",
+      "raw": "74,149 ops/sec",
+      "context": "s · 62,764 ops/sec | | Receipt verify | p50 = **10.4 µs** · 74,149 ops/sec | | Λ₉ base | p50 = 3.12 µs | | Λ₉ composed | p50 = **3.29 µs** | | ρ-closu",
+      "source_file": "master_evolution_memo.md",
+      "source_line": 37,
+      "source_id": "master_memo"
+    },
+    {
+      "id": "C0067",
+      "name": "tests_passed",
+      "value": "37",
+      "raw": "37/37 tests",
+      "context": "ic-facing Replit demo (`replit_a11oy_demo`) currently shows 37/37 tests passing. The upstream runtime is **218/218**. Every Series A diligence visitor",
+      "source_file": "master_evolution_memo.md",
+      "source_line": 141,
+      "source_id": "master_memo"
+    },
+    {
+      "id": "C0068",
+      "name": "tests_passed",
+      "value": "218",
+      "raw": "218/218 tests",
+      "context": "astructure.  **Success metric:** the Replit demo URL shows \"218/218 tests · v6.3.0 · OpenSSF 8.2\" with the same badge as the canonical repo, refreshed",
+      "source_file": "master_evolution_memo.md",
+      "source_line": 152,
+      "source_id": "master_memo"
+    },
+    {
+      "id": "C0070",
+      "name": "receipt_build_p50_us",
+      "value": "11.5",
+      "raw": "Receipt build p50=11.5 µs",
+      "context": "rg/doc/draft-morrow-sogomonian-exec-outcome-attest/00/)). | Receipt build p50=11.5 µs, 218/218 tests, v11 DOI: [10.5281/zenodo.20119582](https://doi.o",
+      "source_file": "pm_memo.md",
+      "source_line": 54,
+      "source_id": "pm_memo"
+    },
+    {
+      "id": "C0072",
+      "name": "ops_per_sec",
+      "value": "62764",
+      "raw": "62,764 ops/sec",
+      "context": "Claim:** Receipt build p50 = 11.5 µs, verify p50 = 10.4 µs, 62,764 ops/sec, 218/218 runtime tests, ρ-closure 8,000/8,000, byte-identical replay root `",
+      "source_file": "pm_memo.md",
+      "source_line": 81,
+      "source_id": "pm_memo"
+    },
+    {
+      "id": "C0073",
+      "name": "tests_passed",
+      "value": "218",
+      "raw": "218/218 tests",
+      "context": "ian-exec-outcome-attest/00/)). | Receipt build p50=11.5 µs, 218/218 tests, v11 DOI: [10.5281/zenodo.20119582](https://doi.org/10.5281/zenodo.20119582)",
+      "source_file": "pm_memo.md",
+      "source_line": 54,
+      "source_id": "pm_memo"
+    },
+    {
+      "id": "C0076",
+      "name": "tests_passed",
+      "value": "37",
+      "raw": "37/37 tests",
+      "context": "arity + Public Scorecard  **Thesis:** The Replit demo shows 37/37 tests (ouroboros 33 + a11oy 4). The live runtime is 218/218. This delta undersells t",
+      "source_file": "pm_memo.md",
+      "source_line": 135,
+      "source_id": "pm_memo"
+    },
+    {
+      "id": "C0077",
+      "name": "http_calls",
+      "value": "24800",
+      "raw": "24,800 HTTP calls",
+      "context": "ships a Λ₉-gated resource. | Ouroboros v6.3.0 platform v11: 24,800 HTTP calls, Λ₁₀ overhead 0.49–0.59 ms/route | | **Mastra** ([mastra.ai](https://mas",
+      "source_file": "pm_memo.md",
+      "source_line": 57,
+      "source_id": "pm_memo"
+    },
+    {
+      "id": "C0078",
+      "name": "receipt_build_p50_us",
+      "value": "11.5",
+      "raw": "Receipt build p50 = 11.5 µs",
+      "context": "-witness guarantee baked into `ouroboros`'s runtime kernel. Receipt build p50 = 11.5 µs; verify p50 = 10.4 µs; 100% ρ-closure on 8,000/8,000 paired ca",
+      "source_file": "cto_memo.md",
+      "source_line": 78,
+      "source_id": "cto_memo"
+    },
+    {
+      "id": "C0079",
+      "name": "ops_per_sec",
+      "value": "62764",
+      "raw": "62,764 ops/sec",
+      "context": "in · p50 = 11.5 µs build / 10.4 µs verify · 218/218 tests · 62,764 ops/sec | | `a11oy` | Covenant policy + approval queue | **HEART** (consent + pulse",
+      "source_file": "cto_memo.md",
+      "source_line": 18,
+      "source_id": "cto_memo"
+    },
+    {
+      "id": "C0080",
+      "name": "tests_passed",
+      "value": "218",
+      "raw": "218/218 tests",
+      "context": "ss · receipt chain · p50 = 11.5 µs build / 10.4 µs verify · 218/218 tests · 62,764 ops/sec | | `a11oy` | Covenant policy + approval queue | **HEART** ",
+      "source_file": "cto_memo.md",
+      "source_line": 18,
+      "source_id": "cto_memo"
+    },
+    {
+      "id": "C0081",
+      "name": "ops_per_sec",
+      "value": "62764",
+      "raw": "62,764 ops/sec",
+      "context": "218 / 218 passing | 100% | | Receipt build p50 | 11.5 µs | 62,764 ops/sec | | Receipt build p99 | 50.7 µs | — | | Receipt verify p50 | 10.4 µs | 74,14",
+      "source_file": "runtime_memo.md",
+      "source_line": 20,
+      "source_id": "runtime_memo"
+    },
+    {
+      "id": "C0082",
+      "name": "ops_per_sec",
+      "value": "74149",
+      "raw": "74,149 ops/sec",
+      "context": "build p99 | 50.7 µs | — | | Receipt verify p50 | 10.4 µs | 74,149 ops/sec | | Λ₉ base p50 | 3.12 µs | — | | Λ₉ composed p50 | 3.29 µs | — | | ρ-closur",
+      "source_file": "runtime_memo.md",
+      "source_line": 22,
+      "source_id": "runtime_memo"
+    },
+    {
+      "id": "C0083",
+      "name": "tests_passed",
+      "value": "218",
+      "raw": "218/218 tests",
+      "context": "ary (5 lines)  The ouroboros v6.3.0 runtime is confirmed at 218/218 tests, receipt build p50 11.5 µs, Λ₉ composed p50 3.29 µs, and 100% ρ-closure — al",
+      "source_file": "runtime_memo.md",
+      "source_line": 404,
+      "source_id": "runtime_memo"
+    },
+    {
+      "id": "C0084",
+      "name": "http_calls",
+      "value": "11",
+      "raw": "11 HTTP calls",
+      "context": "9 µs | — | | ρ-closure | 8,000 / 8,000 | 100% | | Platform v11 HTTP calls | 24,800 | — | | Λ overhead p50 per route | 0.49–0.59 ms | — | | Λ overhead ",
+      "source_file": "runtime_memo.md",
+      "source_line": 26,
+      "source_id": "runtime_memo"
+    },
+    {
+      "id": "C0085",
+      "name": "ops_per_sec",
+      "value": "74149",
+      "raw": "74,149 ops/sec",
+      "context": "pt verify p50 | **10.4 µs** | | Receipt verify throughput | 74,149 ops/sec | | Λ₉ base p50 | 3.12 µs | | Λ₉ composed p50 | 3.29 µs | | ρ-closure | 100",
+      "source_file": "data_memo.md",
+      "source_line": 419,
+      "source_id": "data_memo"
+    }
+  ],
+  "dois": [
+    {
+      "doi": "10.5281/zenodo.19944926",
+      "url": "https://doi.org/10.5281/zenodo.19944926",
+      "source_file": "thesis.md",
+      "source_line": 18,
+      "source_id": "thesis_session"
+    },
+    {
+      "doi": "10.5281/zenodo.20119582",
+      "url": "https://doi.org/10.5281/zenodo.20119582",
+      "source_file": "thesis.md",
+      "source_line": 19,
+      "source_id": "thesis_session"
+    },
+    {
+      "doi": "10.5281/zenodo.19867281",
+      "url": "https://doi.org/10.5281/zenodo.19867281",
+      "source_file": "thesis.md",
+      "source_line": 1740,
+      "source_id": "thesis_session"
+    },
+    {
+      "doi": "10.5281/zenodo.19934129",
+      "url": "https://doi.org/10.5281/zenodo.19934129",
+      "source_file": "thesis.md",
+      "source_line": 1741,
+      "source_id": "thesis_session"
+    },
+    {
+      "doi": "10.5281/zenodo.19983066",
+      "url": "https://doi.org/10.5281/zenodo.19983066",
+      "source_file": "thesis.md",
+      "source_line": 1743,
+      "source_id": "thesis_session"
+    },
+    {
+      "doi": "10.5281/zenodo.20020841",
+      "url": "https://doi.org/10.5281/zenodo.20020841",
+      "source_file": "thesis.md",
+      "source_line": 1744,
+      "source_id": "thesis_session"
+    },
+    {
+      "doi": "10.5281/zenodo.20020845",
+      "url": "https://doi.org/10.5281/zenodo.20020845",
+      "source_file": "thesis.md",
+      "source_line": 1745,
+      "source_id": "thesis_session"
+    },
+    {
+      "doi": "10.5281/zenodo.20020846",
+      "url": "https://doi.org/10.5281/zenodo.20020846",
+      "source_file": "thesis.md",
+      "source_line": 1746,
+      "source_id": "thesis_session"
+    },
+    {
+      "doi": "10.5281/zenodo.20020848",
+      "url": "https://doi.org/10.5281/zenodo.20020848",
+      "source_file": "thesis.md",
+      "source_line": 1747,
+      "source_id": "thesis_session"
+    },
+    {
+      "doi": "10.5281/zenodo.20020849",
+      "url": "https://doi.org/10.5281/zenodo.20020849",
+      "source_file": "thesis.md",
+      "source_line": 1748,
+      "source_id": "thesis_session"
+    },
+    {
+      "doi": "10.5281/zenodo.20053148",
+      "url": "https://doi.org/10.5281/zenodo.20053148",
+      "source_file": "thesis.md",
+      "source_line": 1749,
+      "source_id": "thesis_session"
+    },
+    {
+      "doi": "10.5281/zenodo.20053163",
+      "url": "https://doi.org/10.5281/zenodo.20053163",
+      "source_file": "thesis.md",
+      "source_line": 1750,
+      "source_id": "thesis_session"
+    },
+    {
+      "doi": "10.5281/zenodo.20162352",
+      "url": "https://doi.org/10.5281/zenodo.20162352",
+      "source_file": "thesis.md",
+      "source_line": 1752,
+      "source_id": "thesis_session"
+    }
+  ],
+  "doctrine_clauses": [
+    {
+      "id": "DC1",
+      "clause": "Byline must be 'Lutar, Stephen P.' — never 'Jr.' or 'Stephen Paul'",
+      "source": "THESIS_BRIEF.md"
+    },
+    {
+      "id": "DC2",
+      "clause": "8 forbidden patterns: see doctrine.json (FP-1..FP-8)",
+      "source": "PM_LEAD_CHARTER_V2.md"
+    },
+    {
+      "id": "DC3",
+      "clause": "License allow-list: Apache-2.0, MIT, BSD-3-Clause, CC-BY-4.0",
+      "source": "THESIS_BRIEF.md"
+    },
+    {
+      "id": "DC4",
+      "clause": "ORCID: 0009-0001-0110-4173",
+      "source": "THESIS_BRIEF.md"
+    },
+    {
+      "id": "DC5",
+      "clause": "9-axis Λ >= 0.90 conjunctive AND; moralGrounding + measurabilityHonesty >= 0.95",
+      "source": "THESIS_BRIEF.md"
+    },
+    {
+      "id": "DC6",
+      "clause": "Public-only ingestion: no private data, no proprietary code",
+      "source": "THESIS_BRIEF.md"
+    },
+    {
+      "id": "DC7",
+      "clause": "5x byte-identical replay (deterministic)",
+      "source": "THESIS_BRIEF.md"
+    },
+    {
+      "id": "DC8",
+      "clause": "No hallucinations; every empirical claim cites a verifiable artifact",
+      "source": "THESIS_BRIEF.md"
+    }
+  ],
+  "source_files": [
+    "thesis.md",
+    "THESIS_BRIEF.md",
+    "master_evolution_memo.md",
+    "pm_memo.md",
+    "cto_memo.md",
+    "runtime_memo.md",
+    "governance_memo.md",
+    "data_memo.md",
+    "anatomy_memo.md"
+  ],
+  "zenodo_corpus": [
+    "10.5281/zenodo.19867281",
+    "10.5281/zenodo.19934129",
+    "10.5281/zenodo.19944926",
+    "10.5281/zenodo.19983066",
+    "10.5281/zenodo.20020841",
+    "10.5281/zenodo.20020846",
+    "10.5281/zenodo.20020845",
+    "10.5281/zenodo.20020848",
+    "10.5281/zenodo.20020849",
+    "10.5281/zenodo.20053148",
+    "10.5281/zenodo.20053163",
+    "10.5281/zenodo.20119582",
+    "10.5281/zenodo.20162352"
+  ],
+  "vertical_policies": [
+    {
+      "policy_id": "academic",
+      "policy_name": "Academic / Research Integrity",
+      "version": "0.3.0",
+      "regulations": [
+        "NIH NOT-OD-23-149",
+        "NSF PAPPG Chapter II.E",
+        "ORI Standards",
+        "COPE Guidelines"
+      ],
+      "required_attestors": [
+        "principal_investigator",
+        "research_integrity_officer"
+      ],
+      "lambda_floors": {
+        "measurabilityHonesty": 1.0,
+        "constructiveTransparency": 1.0,
+        "informationIntegrity": 0.99,
+        "temporalConsistency": 0.99
+      },
+      "forbidden_inputs": [
+        "undisclosed_ai_authored_content",
+        "missing_doi_citation"
+      ],
+      "required_output_formats": [
+        "zenodo_deposit",
+        "json_receipt",
+        "orcid_linked_artifact"
+      ],
+      "retention_days": "3650",
+      "primitives_applicable": [
+        "A5",
+        "A8",
+        "A12",
+        "T5",
+        "T10",
+        "TH2"
+      ],
+      "acv_range_usd": {
+        "low": 10000.0,
+        "mid": 50000.0,
+        "high": 200000.0
+      }
+    },
+    {
+      "policy_id": "capital_markets",
+      "policy_name": "Capital Markets / Quant / Hedge Funds",
+      "version": "0.3.0",
+      "regulations": [
+        "SEC Rule 17a-4",
+        "MiFID II RTS 6",
+        "FINRA Rule 4370",
+        "Reg SCI 17 CFR 242"
+      ],
+      "required_attestors": [
+        "chief_compliance_officer",
+        "quant_review_committee",
+        "external_auditor"
+      ],
+      "lambda_floors": {
+        "moralGrounding": 0.97,
+        "measurabilityHonesty": 1.0,
+        "temporalConsistency": 1.0,
+        "economicGrounding": 1.0,
+        "constructiveTransparency": 0.99,
+        "informationIntegrity": 0.99
+      },
+      "forbidden_inputs": [
+        "non_sec_registered_model",
+        "missing_algo_documentation"
+      ],
+      "required_output_formats": [
+        "sec_17a4_compliant_log",
+        "json_receipt",
+        "worm_storage_manifest"
+      ],
+      "retention_days": "2190",
+      "primitives_applicable": [
+        "A5",
+        "A6",
+        "A10",
+        "A12",
+        "A14",
+        "T5",
+        "T9",
+        "TH2"
+      ],
+      "acv_range_usd": {
+        "low": 500000.0,
+        "mid": 2000000.0,
+        "high": 10000000.0
+      }
+    },
+    {
+      "policy_id": "critical_infrastructure",
+      "policy_name": "Critical Infrastructure / Utilities",
+      "version": "0.3.0",
+      "regulations": [
+        "NERC CIP-013-2",
+        "IEC 62443-3-3",
+        "TSA Pipeline Security Directive SD-02C",
+        "NIST CSF 2.0"
+      ],
+      "required_attestors": [
+        "system_security_officer",
+        "control_systems_engineer",
+        "incident_commander"
+      ],
+      "lambda_floors": {
+        "moralGrounding": 0.99,
+        "actionReversibility": 0.99,
+        "scopeContainment": 1.0,
+        "informationIntegrity": 0.99,
+        "adversarialRobustness": 0.99,
+        "temporalConsistency": 0.99
+      },
+      "forbidden_inputs": [
+        "unauthenticated_control_commands",
+        "non_air_gapped_ot_data"
+      ],
+      "required_output_formats": [
+        "ics_audit_log",
+        "json_receipt",
+        "nerc_compliance_report"
+      ],
+      "retention_days": "1825",
+      "primitives_applicable": [
+        "A4",
+        "A5",
+        "A6",
+        "A10",
+        "A13",
+        "T5",
+        "T9",
+        "T10",
+        "TH1"
+      ],
+      "acv_range_usd": {
+        "low": 1000000.0,
+        "mid": 5000000.0,
+        "high": 20000000.0
+      }
+    },
+    {
+      "policy_id": "defense",
+      "policy_name": "Defense / DoD",
+      "version": "0.3.0",
+      "regulations": [
+        "NIST SP 800-53 Rev 5",
+        "CMMC 2.0",
+        "FedRAMP High (target regime reference, not held)",
+        "DISA STIGs"
+      ],
+      "required_attestors": [
+        "authorizing_official",
+        "system_owner",
+        "security_control_assessor"
+      ],
+      "lambda_floors": {
+        "moralGrounding": 0.99,
+        "measurabilityHonesty": 0.99,
+        "actionReversibility": 0.95,
+        "scopeContainment": 0.99,
+        "informationIntegrity": 0.99,
+        "consentBoundary": 0.95
+      },
+      "forbidden_inputs": [
+        "unclassified_cui_without_marking",
+        "foreign_national_data"
+      ],
+      "required_output_formats": [
+        "json_audit_log",
+        "nist_oscal"
+      ],
+      "retention_days": "7300",
+      "primitives_applicable": [
+        "A1",
+        "A4",
+        "A5",
+        "A6",
+        "A8",
+        "A9",
+        "A12",
+        "A13",
+        "T5",
+        "T9",
+        "T10",
+        "TH1"
+      ],
+      "acv_range_usd": {
+        "low": 500000.0,
+        "mid": 2000000.0,
+        "high": 5000000.0
+      }
+    },
+    {
+      "policy_id": "financial_services",
+      "policy_name": "Financial Services / Banking",
+      "version": "0.3.0",
+      "regulations": [
+        "SR 11-7",
+        "OCC 2011-12",
+        "MiFID II RTS 6",
+        "Basel III"
+      ],
+      "required_attestors": [
+        "model_risk_officer",
+        "chief_risk_officer",
+        "internal_audit"
+      ],
+      "lambda_floors": {
+        "moralGrounding": 0.97,
+        "measurabilityHonesty": 0.99,
+        "temporalConsistency": 0.99,
+        "informationIntegrity": 0.99,
+        "economicGrounding": 1.0
+      },
+      "forbidden_inputs": [
+        "insider_information",
+        "unregistered_model_version"
+      ],
+      "required_output_formats": [
+        "csv_model_log",
+        "json_receipt",
+        "pdf_board_report"
+      ],
+      "retention_days": "2190",
+      "primitives_applicable": [
+        "A1",
+        "A5",
+        "A6",
+        "A8",
+        "A9",
+        "A14",
+        "T5",
+        "T9",
+        "T10",
+        "TH1",
+        "TH2"
+      ],
+      "acv_range_usd": {
+        "low": 200000.0,
+        "mid": 800000.0,
+        "high": 2000000.0
+      }
+    },
+    {
+      "policy_id": "healthcare",
+      "policy_name": "Healthcare / Clinical AI",
+      "version": "0.3.0",
+      "regulations": [
+        "HIPAA 45 CFR Part 164",
+        "FDA 21 CFR Part 11",
+        "FDA SaMD Guidance Q3 2023"
+      ],
+      "required_attestors": [
+        "licensed_clinician",
+        "clinical_informatics_officer",
+        "hipaa_privacy_officer"
+      ],
+      "lambda_floors": {
+        "moralGrounding": 0.99,
+        "measurabilityHonesty": 0.99,
+        "consentBoundary": 0.99,
+        "informationIntegrity": 0.99,
+        "causalSeparability": 0.99
+      },
+      "forbidden_inputs": [
+        "plaintext_phi",
+        "deidentification_not_verified"
+      ],
+      "required_output_formats": [
+        "hl7_fhir_audit",
+        "json_receipt",
+        "pdf_clinical_audit"
+      ],
+      "retention_days": "2190",
+      "primitives_applicable": [
+        "A1",
+        "A4",
+        "A5",
+        "A8",
+        "A9",
+        "A11",
+        "A12",
+        "T5",
+        "T7",
+        "T10",
+        "TH1"
+      ],
+      "acv_range_usd": {
+        "low": 150000.0,
+        "mid": 600000.0,
+        "high": 2000000.0
+      }
+    },
+    {
+      "policy_id": "insurance",
+      "policy_name": "Insurance",
+      "version": "0.3.0",
+      "regulations": [
+        "NAIC Model Law 881",
+        "NY DFS Circular Letter 7 (2022)",
+        "NAIC AI Principles (2020)"
+      ],
+      "required_attestors": [
+        "chief_actuary",
+        "ai_ethics_board",
+        "compliance_officer"
+      ],
+      "lambda_floors": {
+        "moralGrounding": 0.97,
+        "measurabilityHonesty": 0.99,
+        "informationIntegrity": 0.99,
+        "constructiveTransparency": 0.99,
+        "economicGrounding": 0.97
+      },
+      "forbidden_inputs": [
+        "prohibited_rating_factors",
+        "non_actuarially_justified_proxies"
+      ],
+      "required_output_formats": [
+        "csv_underwriting_log",
+        "json_receipt",
+        "pdf_state_filing"
+      ],
+      "retention_days": "1825",
+      "primitives_applicable": [
+        "A1",
+        "A5",
+        "A8",
+        "A9",
+        "A12",
+        "A14",
+        "T6",
+        "T9",
+        "T10"
+      ],
+      "acv_range_usd": {
+        "low": 200000.0,
+        "mid": 750000.0,
+        "high": 2000000.0
+      }
+    },
+    {
+      "policy_id": "legal",
+      "policy_name": "Legal / e-Discovery",
+      "version": "0.3.0",
+      "regulations": [
+        "FRCP 26",
+        "FRCP 34",
+        "FRE 902(13)",
+        "FRE 902(14)",
+        "ABA Model Rule 1.1"
+      ],
+      "required_attestors": [
+        "supervising_attorney",
+        "records_custodian"
+      ],
+      "lambda_floors": {
+        "moralGrounding": 0.97,
+        "measurabilityHonesty": 0.99,
+        "informationIntegrity": 0.99,
+        "constructiveTransparency": 0.99,
+        "actionReversibility": 0.95
+      },
+      "forbidden_inputs": [
+        "privileged_attorney_client_without_waiver"
+      ],
+      "required_output_formats": [
+        "json_chain_of_custody",
+        "pdf_court_exhibit"
+      ],
+      "retention_days": "2555",
+      "primitives_applicable": [
+        "A5",
+        "A6",
+        "A8",
+        "A12",
+        "T5",
+        "T8",
+        "T10",
+        "TH2"
+      ],
+      "acv_range_usd": {
+        "low": 75000.0,
+        "mid": 300000.0,
+        "high": 1000000.0
+      }
+    },
+    {
+      "policy_id": "pharma",
+      "policy_name": "Pharma / Life Sciences R&D",
+      "version": "0.3.0",
+      "regulations": [
+        "FDA 21 CFR Part 11",
+        "EMA Annex 11",
+        "ICH E6(R3) GCP",
+        "GxP"
+      ],
+      "required_attestors": [
+        "qualified_person",
+        "gxp_compliance_officer",
+        "computational_scientist"
+      ],
+      "lambda_floors": {
+        "moralGrounding": 0.97,
+        "measurabilityHonesty": 1.0,
+        "informationIntegrity": 1.0,
+        "temporalConsistency": 0.99,
+        "constructiveTransparency": 1.0
+      },
+      "forbidden_inputs": [
+        "non_gxp_validated_software_output",
+        "unversioned_model"
+      ],
+      "required_output_formats": [
+        "ectd_submission_package",
+        "json_audit_trail",
+        "csv_gxp_log"
+      ],
+      "retention_days": "3650",
+      "primitives_applicable": [
+        "A5",
+        "A6",
+        "A8",
+        "A10",
+        "A12",
+        "T5",
+        "TH2"
+      ],
+      "acv_range_usd": {
+        "low": 500000.0,
+        "mid": 2000000.0,
+        "high": 10000000.0
+      }
+    },
+    {
+      "policy_id": "public_sector",
+      "policy_name": "Public Sector / Civic AI",
+      "version": "0.3.0",
+      "regulations": [
+        "EU AI Act Annex III",
+        "NYC Local Law 144 (2023)",
+        "NIST AI RMF 1.0",
+        "OMB M-24-10"
+      ],
+      "required_attestors": [
+        "agency_ai_officer",
+        "civil_rights_officer",
+        "inspector_general"
+      ],
+      "lambda_floors": {
+        "moralGrounding": 0.99,
+        "measurabilityHonesty": 0.99,
+        "stakeholderAlignment": 0.99,
+        "constructiveTransparency": 1.0,
+        "adversarialRobustness": 0.95
+      },
+      "forbidden_inputs": [
+        "biometric_data_without_explicit_consent",
+        "prohibited_social_scoring"
+      ],
+      "required_output_formats": [
+        "json_public_audit_log",
+        "csv_bias_audit",
+        "pdf_annual_report"
+      ],
+      "retention_days": "3650",
+      "primitives_applicable": [
+        "A1",
+        "A5",
+        "A8",
+        "A12",
+        "A13",
+        "T6",
+        "T10",
+        "TH1",
+        "TH3"
+      ],
+      "acv_range_usd": {
+        "low": 300000.0,
+        "mid": 1200000.0,
+        "high": 5000000.0
+      }
+    }
+  ],
+  "proof_summary": {
+    "locked_proven": 8,
+    "locked_ids": [
+      "F1",
+      "F4",
+      "F7",
+      "F11",
+      "F12",
+      "F18",
+      "F19",
+      "F22"
+    ],
+    "locked_count_theorem": "locked_count_eight",
+    "conjecture": [
+      "F23"
+    ],
+    "note": "Honesty ledger mirrored from canonical knowledge.json: Conjecture 1 (Λ-uniqueness / F23) is OPEN — conditional theorem only; unconditional uniqueness is machine-FALSE under A1-A5."
+  }
+}