Spaces:
Running
Running
| { | |
| "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": "\u00a74.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": "\u00a74.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": "\u00a74.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": "\u00a74.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": "\u00a74.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": "\u00a73.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": "\u00a74.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": "\u00a77", | |
| "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": "\u00a78", | |
| "maturity": "defined", | |
| "citation": "https://github.com/szl-holdings/szl-trust" | |
| } | |
| ], | |
| "theorems": [ | |
| { | |
| "id": "TH_L1", | |
| "name": "\u039b_uniqueness", | |
| "statement": "The Lutar Invariant \u039b_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": "\u039b_min_max_bounds", | |
| "statement": "\u039b_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, \\Lambda, \\rho, W \\rangle \\) over an eight-regi", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0002", | |
| "source_file": "thesis.md", | |
| "source_line": 229, | |
| "latex": "\\mathtt{szl\\text{-}trust}", | |
| "context": "d system. - \\(A\\) \u2014 the set of **named actors**. Every actor in \\(A\\) carries a stable identity resolvable to a key in \\(\\mathtt{szl\\text{-}trust}\\). No edge in \\(E\\) may originate from or terminate ", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0003", | |
| "source_file": "thesis.md", | |
| "source_line": 231, | |
| "latex": "e \\in E", | |
| "context": "and resolvable \u2014 unidentified actors are structurally excluded. - \\(E\\) \u2014 the set of **receipt-bound edges**. An edge \\(e \\in E\\) is a tuple \\((a_{\\text{src}},\\; r_{\\text{src}},\\; r_{\\text{dst}},\\; \\", | |
| "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\\) \u2014 the set of **receipt-bound edges**. An edge \\(e \\in E\\) is a tuple \\((a_{\\text{src}},\\; r_{\\text{src}},\\; r_{\\text{dst}},\\; \\varepsilon)\\) where \\(", | |
| "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}}, r_{\\text{dst}} \\in R\\), and \\(\\varep", | |
| "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\\), and \\(\\varepsilon\\) is the receipt enve", | |
| "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 defined in \u00a73.3. No message may traverse", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0008", | |
| "source_file": "thesis.md", | |
| "source_line": 231, | |
| "latex": "\\varepsilon", | |
| "context": "repsilon\\) is the receipt envelope defined in \u00a73.3. No message may traverse a region boundary unless it carries a valid \\(\\varepsilon\\). - \\(\\Lambda\\) \u2014 the **composable axis-gating function**. Forma", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0009", | |
| "source_file": "thesis.md", | |
| "source_line": 233, | |
| "latex": "\\Lambda", | |
| "context": "ceipt envelope defined in \u00a73.3. No message may traverse a region boundary unless it carries a valid \\(\\varepsilon\\). - \\(\\Lambda\\) \u2014 the **composable axis-gating function**. Formally, \\(\\Lambda : [0,", | |
| "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\\) \u2014 the **composable axis-gating function**. Formally, \\(\\Lambda : [0,1]^k \\to \\{0,1\\}\\) for \\(k \\geq 9\\), defined as the conjunctive A", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0011", | |
| "source_file": "thesis.md", | |
| "source_line": 233, | |
| "latex": "k \\geq 9", | |
| "context": "varepsilon\\). - \\(\\Lambda\\) \u2014 the **composable axis-gating function**. Formally, \\(\\Lambda : [0,1]^k \\to \\{0,1\\}\\) for \\(k \\geq 9\\), defined as the conjunctive AND: \\[ \\Lambda(\\mathbf{x}) = 1 \\iff \\", | |
| "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 composed gate \\(\\Lambda(\\mathbf{x} \\wed", | |
| "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 \\(\\Lambda(\\mathbf{x} \\wedge \\mathbf{y})\\) is", | |
| "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})\\) is equivalent to \\(\\Lambda(\\mathbf{x})", | |
| "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(\\mathbf{y})\\) \u2014 gate composition does not w", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0016", | |
| "source_file": "thesis.md", | |
| "source_line": 239, | |
| "latex": "\\Lambda", | |
| "context": "\u2014 gate composition does not weaken the invariant. The `lutar-lean` skeleton repository contains the Lean 4 statement of \\(\\Lambda\\) uniqueness: given the four axioms (A1 monotonicity, A2 homogeneity, ", | |
| "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 satisfying them. The uniqueness theorem and", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0018", | |
| "source_file": "thesis.md", | |
| "source_line": 241, | |
| "latex": "\\rho(e)", | |
| "context": "arget is zero. - \\(\\rho\\) \u2014 the **dual-witness 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 ", | |
| "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-identical output on the same input, and the", | |
| "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**: any runtime configuration in which (a) a", | |
| "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 does not constitute a valid instantiati", | |
| "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 Anatomy The eight canonical regions of \\", | |
| "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, and its dependency relations within \\(E\\", | |
| "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 runtime kernel that evaluates \\(\\Lambda\\", | |
| "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 edge in \\(E\\) that crosses a region bounda", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0026", | |
| "source_file": "thesis.md", | |
| "source_line": 268, | |
| "latex": "\\Lambda", | |
| "context": "bda(axes: number[9|10]) \u2192 Receipt` \u2014 evaluates the conjunctive AND gate and returns a signed receipt with the composite \\(\\Lambda\\) score, Bekenstein budget, and dual-witness closure status. - `build_", | |
| "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) \u2014 the axiom set that \\(\\Lambda\\) is required to satisfy is formally stated there; the Brain Stem is th", | |
| "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 \u00b5s and composed p50 = 3.29 \u00b5s; with the Platform v", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0029", | |
| "source_file": "thesis.md", | |
| "source_line": 285, | |
| "latex": "\\mathcal{S}", | |
| "context": "a continuous supply-chain security posture. --- ### Heart \u2014 `a11oy` **Repo:** `szl-holdings/a11oy` **Formal role in \\(\\mathcal{S}\\):** The Heart is the covenant policy engine and the agent approva", | |
| "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 answers \"does this action score above \\(\\L", | |
| "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 this action permitted under the active cove", | |
| "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 \u2014 i.e., no edge in \\(E\\) may have \\(r_{\\text{dst}} \\notin R\\) \u2014 without a Heart pulse. The covenant is a named, ver", | |
| "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) \u2014 covenant evaluation results are sealed with a \\(\\Lambda\\)-gated receipt; a covenant check that fails \\(\\Lambda\\) is itself a g", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0034", | |
| "source_file": "thesis.md", | |
| "source_line": 293, | |
| "latex": "\\Lambda", | |
| "context": "os` (Brain Stem) \u2014 covenant evaluation results are sealed with a \\(\\Lambda\\)-gated receipt; a covenant check that fails \\(\\Lambda\\) is itself a gate-level violation. - Depends on: `sentra` (Wires) \u2014 t", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0035", | |
| "source_file": "thesis.md", | |
| "source_line": 305, | |
| "latex": "\\mathcal{S}", | |
| "context": "but a verifiable, chain-linked artifact. --- ### Wires \u2014 `sentra` **Repo:** `szl-holdings/sentra` **Formal role in \\(\\mathcal{S}\\):** The Wires are the attribution trail \u2014 the afferent channel tha", | |
| "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 every edge in \\(E\\) is attributable to a", | |
| "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 receipts but not attributions, making the ", | |
| "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) \u2192 AttributionRecord` \u2014 records that actor \\(a \\in A\\) produced or consumed edge \\(e\\). - `attribution_trail(region, time_r", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0039", | |
| "source_file": "thesis.md", | |
| "source_line": 325, | |
| "latex": "\\mathcal{S}", | |
| "context": "aft-morrow-sogomonian-exec-outcome-attest`. --- ### Spine \u2014 `amaru` **Repo:** `szl-holdings/amaru` **Formal role in \\(\\mathcal{S}\\):** The Spine is the append-only coordination and protocol bridge", | |
| "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 \\subseteq E\\) ordered by timestamp, with", | |
| "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 \u2014 enabling privacy-preserving audits for re", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0042", | |
| "source_file": "thesis.md", | |
| "source_line": 347, | |
| "latex": "\\mathcal{S}", | |
| "context": "nce in the enterprise segment. --- ### Skeleton \u2014 `lutar-lean` **Repo:** `szl-holdings/lutar-lean` **Formal role in \\(\\mathcal{S}\\):** The Skeleton is the formal scaffold \u2014 the Lean 4 axioms and M", | |
| "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 theorems (\u039b uniqueness, Bound theorem) th", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0044", | |
| "source_file": "thesis.md", | |
| "source_line": 347, | |
| "latex": "\\Lambda", | |
| "context": "A2, A3, A4\\}\\) and the derived theorems (\u039b uniqueness, Bound theorem) that constitute a machine-checked certificate for \\(\\Lambda\\). If the Skeleton's `sorry` count is zero, the gate the Brain Stem en", | |
| "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` \u2014 Theorem 1: \\(\\Lambda\\) is the unique function satisfying A1\u2013A4; proof scaffold with tracked ", | |
| "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 tooling and visualization surfaces \u2014 the co", | |
| "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 \u2265 0.95, amber 0.90\u20130.95, red < 0.90). The planned \"", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0048", | |
| "source_file": "thesis.md", | |
| "source_line": 386, | |
| "latex": "\\mathcal{S}", | |
| "context": "*is* the system. --- ### Full Body \u2014 `ouroboros-thesis` **Repo:** `szl-holdings/ouroboros-thesis` **Formal role in \\(\\mathcal{S}\\):** The Full Body is the public-record thesis \u2014 the DOI-pinned, ve", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0049", | |
| "source_file": "thesis.md", | |
| "source_line": 386, | |
| "latex": "\\mathcal{S}", | |
| "context": "l Body is the public-record thesis \u2014 the DOI-pinned, versioned document that constitutes the canonical specification of \\(\\mathcal{S}\\). Formally, `ouroboros-thesis` defines the normative description ", | |
| "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 Chakras collectively form the trust mesh and ", | |
| "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, signed, content-addressed record that ", | |
| "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-witness closure status (\\(\\rho\\)), the actor ", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0053", | |
| "source_file": "thesis.md", | |
| "source_line": 479, | |
| "latex": "\\Lambda", | |
| "context": "_lambda(axes) \u2192 Receipt` \u2014 any MCP-compatible client (Claude Desktop, Cursor, enterprise agent frameworks) can call the \\(\\Lambda\\) gate as a typed tool and receive a signed receipt in the tool respon", | |
| "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 leading framework or protocol is a partial instantiation of \\(\\mathcal{S}\\). The gap is structural: the missing region is not a feature that", | |
| "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 Managed Agents architecture there is no mec", | |
| "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 exits the Brain Stem. **Mastra** (22K+ GitH", | |
| "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 \u2014 behavioral constraints are implemented as runtime checks with", | |
| "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.** Measures the degree to which a proposed action ", | |
| "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 similarity between the action's intent em", | |
| "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 \\(\\lambda_1 \\geq 0.95\\) is a hard asymptote: an ", | |
| "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 asymptote: an agent that is even marginally mo", | |
| "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.** Measures whether an action's declared eff", | |
| "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.** Scores the agent's acknowledgment of its own", | |
| "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}(c) - \\text{acc}(c)|]\\) where \\(\\text{c", | |
| "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 confidence and \\(\\text{acc}(c)\\) is the", | |
| "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 measured accuracy over a calibration set. ", | |
| "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.** Measures whether the agent has consider", | |
| "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.** Measures the stability of the gate verdict", | |
| "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+\\Delta}\\) denote the \u039b\u2089 composite scores ", | |
| "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 \u039b\u2089 composite scores at the two evaluation times. The", | |
| "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 the composite score yields \\(\\lambda_5 =", | |
| "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 yields \\(\\lambda_5 = 0.75\\), below the \u2265 0", | |
| "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 \u2265 0.90 conjunctive floor. This axis operationaliz", | |
| "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.** Measures whether every empirical claim embe", | |
| "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 the definiteness of the acting agent's ", | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "F0076", | |
| "source_file": "thesis.md", | |
| "source_line": 587, | |
| "latex": "\\lambda_8", | |
| "context": "ting under delegated authority \u2014 the score decays as a function of delegation depth to penalize opaque proxy chains. **\\(\\lambda_8\\): axiomConsistency.** Measures whether the proposed action is inter", | |
| "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 multi-step logical coherence of the age", | |
| "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\\) preceding actions in the current sess", | |
| "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 precondition of \\(A_{i+1}\\) is satisfied by the", | |
| "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 postcondition of \\(A_i\\), under the operator's p", | |
| "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 conjunctive gate condition The \u039b\u2089 gate passes if ", | |
| "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 \u2014 even a geometric mean \u2014 can mask localized failures. An agent with \\(\\lambda_1 = 0.50\\) (severely morally misaligned) and all remaining axes at \\(1", | |
| "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.926\\), which would pass a \u2265 0.90 single-", | |
| "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 second layer of asymmetry \u2014 these are the ", | |
| "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 asymmetry \u2014 these are the axes most directly", | |
| "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\\) if and only if \\(\\lambda_i\\) was evalua", | |
| "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\\) was evaluated and passed its floor. The", | |
| "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 its floor. The raw scores are withheld fro", | |
| "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\\}\\) and \\(\\theta_i = 0.90\\) otherwise. The", | |
| "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\\) otherwise. The gate passes iff \\(\\sum_", | |
| "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 passes iff \\(\\sum_i m_i = 9\\) (or 10 und", | |
| "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 \u039b\u2081\u2080). The mask is committed via SHA-256 and incl", | |
| "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 digest of receipt \\(r_{i-1}\\). For the ", | |
| "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, this is the SHA-256 of a protocol-specifie", | |
| "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-256 of the canonical JSON serialization o", | |
| "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 the acting agent as registered in the pr", | |
| "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). - **\\(\\textit{timestamp}\\)**: A monotonic timesta", | |
| "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 timestamp in milliseconds since the Unix e", | |
| "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 \u00a74.6). - **\\(\\vec{\\lambda}\\)**: The full nine-dimensional \u039b vector, or the `lambda9_mask` b", | |
| "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 \u039b vector, or the `lambda9_mask` bitfield under the \u039b\u2081\u2080 privacy variant. - **\\(\\rho\\_\\textit{witness\\_set}\\)**: The set of co-witnesses whose signatures are ", | |
| "source_id": "thesis_session" | |
| } | |
| ], | |
| "definitions": [], | |
| "canonical_constants": [ | |
| { | |
| "id": "K01", | |
| "name": "receipt_build_p50_us", | |
| "value": "11.5", | |
| "unit": "\u00b5s", | |
| "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": "\u00b5s", | |
| "source": "THESIS_BRIEF.md", | |
| "doi": "10.5281/zenodo.20119582", | |
| "maturity": "measured" | |
| }, | |
| { | |
| "id": "K03", | |
| "name": "receipt_verify_p50_us", | |
| "value": "10.4", | |
| "unit": "\u00b5s", | |
| "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": "\u00b5s", | |
| "source": "THESIS_BRIEF.md", | |
| "doi": "10.5281/zenodo.20119582", | |
| "maturity": "measured" | |
| }, | |
| { | |
| "id": "K05", | |
| "name": "lambda9_composed_p50_us", | |
| "value": "3.29", | |
| "unit": "\u00b5s", | |
| "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 \u00a74.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 \u00b5s", | |
| "context": "0).** A production Rust runtime with 218/218 tests passing, receipt build p50 = 11.5 \u00b5s (62,764 ops/sec), receipt verify p50 = 10.4 \u00b5s (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 \u00b5s", | |
| "context": "ests passing, receipt build p50 = 11.5 \u00b5s (62,764 ops/sec), receipt verify p50 = 10.4 \u00b5s (74,149 ops/sec), and 100% \u03c1-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 \u00b5s", | |
| "context": "\u2192 Receipt` \u2014 constructs a receipt envelope; p50 = 11.5 \u00b5s, p99 = 50.7 \u00b5s, throughput 62,764 ops/sec. - `verify_receipt(receipt) \u2192 bool` \u2014 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 \u00b5s (62,764 ops/sec), receipt verify p50 = 10.4 \u00b5s (74,149 ops/sec), and 100% \u03c1-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 \u00b5s (62,764 ops/sec), receipt verify p50 = 10.4 \u00b5s (74,149 ops/sec), and 100% \u03c1-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 \u00b5s build p50** at **200,000 ops/sec**. This is a 2.3\u00d7 improvement in latency and a 3.2\u00d7 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": "\u039b\u2089 base p50 = 3.12 \u00b5s", | |
| "context": "9]. The runtime enforces a 9-axis conjunctive quality gate (\u039b\u2089 base p50 = 3.12 \u00b5s) and a \u039b\u2081\u2080 platform layer with 0.49\u20130.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% \u03c1-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\u20130.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 \u00b5s (62,764 ops/sec), receipt verify p50 = 10.4 \u00b5s (74,149 ops/sec), and 100% \u03c1-closure on 8,000/8,000 paired calls [9]. The runtime enforces a 9-axis conjunctive quality gate (\u039b", | |
| "context": "tion Rust runtime with 218/218 tests passing, receipt build p50 = 11.5 \u00b5s (62,764 ops/sec), receipt verify p50 = 10.4 \u00b5s (74,149 ops/sec), and 100% \u03c1-", | |
| "source_file": "thesis.md", | |
| "source_line": 83, | |
| "source_id": "thesis_session" | |
| }, | |
| { | |
| "id": "C0054", | |
| "name": "lambda_p50_us", | |
| "value": "3.12", | |
| "raw": "p50 = 3.12 \u00b5s) and a \u039b", | |
| "context": "runtime enforces a 9-axis conjunctive quality gate (\u039b\u2089 base p50 = 3.12 \u00b5s) and a \u039b\u2081\u2080 platform layer with 0.49\u20130.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 \u00b5s", | |
| "context": "bers - **218/218 tests** - Receipt build p50 = **11.5 \u00b5s**, p99 = 50.7 \u00b5s (62,764 ops/sec) - Receipt verify p50 = **10.4 \u00b5s** (74,149 ops/sec) - \u039b\u2089 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 \u00b5s**, p99 = 50.7 \u00b5s (62,764 ops/sec) - Receipt verify p50 = **10.4 \u00b5s** (74,149 ops/sec) - \u039b\u2089 base p50 = 3.12 \u00b5", | |
| "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 \u00b5s (62,764 ops/sec) - Receipt verify p50 = **10.4 \u00b5s** (74,149 ops/sec) - \u039b\u2089 base p50 = 3.12 \u00b5s / composed p50 = 3.29 \u00b5s - 100% \u03c1-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": "\u039b\u2089 base p50 = 3.12 \u00b5s", | |
| "context": "/sec) - Receipt verify p50 = **10.4 \u00b5s** (74,149 ops/sec) - \u039b\u2089 base p50 = 3.12 \u00b5s / composed p50 = 3.29 \u00b5s - 100% \u03c1-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) \u2014 production numbers - **218/218 tests** - Receipt build p50 = **11.5 \u00b5s**, p99 = 50.7 \u00b5s (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": "\u03c1-closure on **8,000/8,000 paired calls** - Platform v11: **24,800 HTTP calls validated**, \u039b\u2081\u2080 overhead 0.49\u20130.59 ms/route, p99 \u2264 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 \u00b5s", | |
| "context": "e not. | 12\u201318 months \u2014 they have a runtime, not a kernel | Receipt build p50 = 11.5 \u00b5s \u00b7 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 \u00b5s", | |
| "context": "218 / 218 passing** | | Receipt build | p50 = **11.5 \u00b5s** \u00b7 p99 = 50.7 \u00b5s \u00b7 62,764 ops/sec | | Receipt verify | p50 = **10.4 \u00b5s** \u00b7 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 \u00b5s** \u00b7 p99 = 50.7 \u00b5s \u00b7 62,764 ops/sec | | Receipt verify | p50 = **10.4 \u00b5s** \u00b7 74,149 ops/sec | | \u039b\u2089 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 \u00b7 62,764 ops/sec | | Receipt verify | p50 = **10.4 \u00b5s** \u00b7 74,149 ops/sec | | \u039b\u2089 base | p50 = 3.12 \u00b5s | | \u039b\u2089 composed | p50 = **3.29 \u00b5s** | | \u03c1-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 \u00b7 v6.3.0 \u00b7 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 \u00b5s", | |
| "context": "rg/doc/draft-morrow-sogomonian-exec-outcome-attest/00/)). | Receipt build p50=11.5 \u00b5s, 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 \u00b5s, verify p50 = 10.4 \u00b5s, 62,764 ops/sec, 218/218 runtime tests, \u03c1-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 \u00b5s, 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 \u039b\u2089-gated resource. | Ouroboros v6.3.0 platform v11: 24,800 HTTP calls, \u039b\u2081\u2080 overhead 0.49\u20130.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 \u00b5s", | |
| "context": "-witness guarantee baked into `ouroboros`'s runtime kernel. Receipt build p50 = 11.5 \u00b5s; verify p50 = 10.4 \u00b5s; 100% \u03c1-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 \u00b7 p50 = 11.5 \u00b5s build / 10.4 \u00b5s verify \u00b7 218/218 tests \u00b7 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 \u00b7 receipt chain \u00b7 p50 = 11.5 \u00b5s build / 10.4 \u00b5s verify \u00b7 218/218 tests \u00b7 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 \u00b5s | 62,764 ops/sec | | Receipt build p99 | 50.7 \u00b5s | \u2014 | | Receipt verify p50 | 10.4 \u00b5s | 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 \u00b5s | \u2014 | | Receipt verify p50 | 10.4 \u00b5s | 74,149 ops/sec | | \u039b\u2089 base p50 | 3.12 \u00b5s | \u2014 | | \u039b\u2089 composed p50 | 3.29 \u00b5s | \u2014 | | \u03c1-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 \u00b5s, \u039b\u2089 composed p50 3.29 \u00b5s, and 100% \u03c1-closure \u2014 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 \u00b5s | \u2014 | | \u03c1-closure | 8,000 / 8,000 | 100% | | Platform v11 HTTP calls | 24,800 | \u2014 | | \u039b overhead p50 per route | 0.49\u20130.59 ms | \u2014 | | \u039b 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 \u00b5s** | | Receipt verify throughput | 74,149 ops/sec | | \u039b\u2089 base p50 | 3.12 \u00b5s | | \u039b\u2089 composed p50 | 3.29 \u00b5s | | \u03c1-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.' \u2014 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 \u039b >= 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" | |
| ] | |
| } |