Spaces:
Running
Running
Self-contain organ endpoints into a11oy (sentra/amaru/rosie -> native same-origin routes); console.html ORG map -> same-origin so sibling Spaces can be retired.
Browse files- pages/console.html +4 -2
- serve.py +385 -0
pages/console.html
CHANGED
|
@@ -210,8 +210,10 @@ details.raw[open] summary{color:var(--muted);}
|
|
| 210 |
<script>window.__KB__={"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 leading 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}}]};</script>
|
| 211 |
<script>
|
| 212 |
const API='/api/a11oy';
|
| 213 |
-
// Sibling organs
|
| 214 |
-
|
|
|
|
|
|
|
| 215 |
async function getJSON(p){const r=await fetch(p);if(!r.ok)throw new Error('HTTP '+r.status);return r.json();}
|
| 216 |
async function orgGet(organ,path){const r=await fetch(ORG[organ]+path);if(!r.ok)throw new Error('HTTP '+r.status);return r.json();}
|
| 217 |
async function orgPost(organ,path,body){const r=await fetch(ORG[organ]+path,{method:'POST',headers:{'Content-Type':'application/json'},body:JSON.stringify(body||{})});if(!r.ok)throw new Error('HTTP '+r.status);return r.json();}
|
|
|
|
| 210 |
<script>window.__KB__={"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 leading 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}}]};</script>
|
| 211 |
<script>
|
| 212 |
const API='/api/a11oy';
|
| 213 |
+
// Sibling organs (sentra/amaru/rosie) are now SELF-CONTAINED inside a11oy: their endpoints are
|
| 214 |
+
// re-implemented as native same-origin routes on this very Space, so '' resolves to a11oy itself.
|
| 215 |
+
// killinchu remains a live sibling Space, so it keeps its absolute public URL.
|
| 216 |
+
const ORG={sentra:'',amaru:'',rosie:'',killinchu:'https://szlholdings-killinchu.hf.space'};
|
| 217 |
async function getJSON(p){const r=await fetch(p);if(!r.ok)throw new Error('HTTP '+r.status);return r.json();}
|
| 218 |
async function orgGet(organ,path){const r=await fetch(ORG[organ]+path);if(!r.ok)throw new Error('HTTP '+r.status);return r.json();}
|
| 219 |
async function orgPost(organ,path,body){const r=await fetch(ORG[organ]+path,{method:'POST',headers:{'Content-Type':'application/json'},body:JSON.stringify(body||{})});if(!r.ok)throw new Error('HTTP '+r.status);return r.json();}
|
serve.py
CHANGED
|
@@ -2196,6 +2196,391 @@ async def a11oy_version():
|
|
| 2196 |
}
|
| 2197 |
|
| 2198 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 2199 |
# ===========================================================================
|
| 2200 |
# WARHACKER ORCHESTRATION + AI OBSERVABILITY (ADDITIVE, 2026-06-05).
|
| 2201 |
# a11oy is the orchestrating BRAIN: one launch point for the 5 Warhacker demos
|
|
|
|
| 2196 |
}
|
| 2197 |
|
| 2198 |
|
| 2199 |
+
|
| 2200 |
+
# ===========================================================================
|
| 2201 |
+
# SELF-CONTAINED ORGAN ROUTES (consolidation — CEO directive 2026-06-06)
|
| 2202 |
+
# ---------------------------------------------------------------------------
|
| 2203 |
+
# The console app (pages/console.html) historically fetched live data
|
| 2204 |
+
# cross-origin from sibling Spaces: sentra (policy/safety/compliance/forecast/
|
| 2205 |
+
# threats), amaru (readiness/llm-tiers) and rosie (operator ask/act/ledger).
|
| 2206 |
+
# Those organ Spaces are being DELETED. To keep every a11oy tab alive WITHOUT
|
| 2207 |
+
# any cross-origin dependency, the ~12 endpoints the app needs are re-served
|
| 2208 |
+
# HERE, in-process, returning the SAME real JSON shapes the organs returned.
|
| 2209 |
+
#
|
| 2210 |
+
# Data provenance: the read-only payloads (8 safety gates, 30-signature threat
|
| 2211 |
+
# corpus, NIST/STIG/ISO compliance control sets, the 5-tier LLM roster, the
|
| 2212 |
+
# Khipu receipt ledger + verified command-log, the mesh/quorum graph, the
|
| 2213 |
+
# seeded decision feed) are the REAL responses captured live from the organs on
|
| 2214 |
+
# 2026-06-06 and embedded verbatim. The compute endpoints (/verdict, /forecast,
|
| 2215 |
+
# /readiness/assess, /jarvis/ask, /jarvis/act) port the organs' REAL logic
|
| 2216 |
+
# (THREAT_SIGNATURES inspection, Madhava arctan partial-sum + remainder bound,
|
| 2217 |
+
# the 5-criterion HANGAR2APPS readiness gate, grounded-answer classification,
|
| 2218 |
+
# and the SHA-256 hash-chained operator audit ring). No values are fabricated;
|
| 2219 |
+
# honest empty/placeholder states are preserved (Lambda = Conjecture 1, DSSE
|
| 2220 |
+
# UNSIGNED, SLSA L2 not L3, "no third-party audit", proved formulas = 5).
|
| 2221 |
+
#
|
| 2222 |
+
# CRITICAL ORDERING: registered BEFORE the generic /api/a11oy/{path:path} Node
|
| 2223 |
+
# proxy and the SPA catch-all /{full_path:path} so these explicit organ paths
|
| 2224 |
+
# resolve LOCALLY. They are also OUTSIDE the /api/a11oy/ namespace, so the Node
|
| 2225 |
+
# proxy never sees them. try/except-guarded around the whole block: a failure
|
| 2226 |
+
# here can NEVER take down the host SPA.
|
| 2227 |
+
# Signed-off-by: Stephen P. Lutar Jr. <stephenlutar2@gmail.com>
|
| 2228 |
+
# ===========================================================================
|
| 2229 |
+
try:
|
| 2230 |
+
import base64 as _sc_b64
|
| 2231 |
+
import json as _sc_json
|
| 2232 |
+
import hashlib as _sc_hashlib
|
| 2233 |
+
import math as _sc_math
|
| 2234 |
+
import secrets as _sc_secrets
|
| 2235 |
+
import threading as _sc_threading
|
| 2236 |
+
import collections as _sc_collections
|
| 2237 |
+
import datetime as _sc_datetime
|
| 2238 |
+
from fastapi import Request as _SCRequest
|
| 2239 |
+
from fastapi.responses import JSONResponse as _SCJSON
|
| 2240 |
+
|
| 2241 |
+
_SC_BUNDLE = _sc_json.loads(_sc_b64.b64decode("eyJnYXRlcyI6eyJnYXRlcyI6W3siaWQiOiJnYXRlLTAxIiwibmFtZSI6InNpZ25hdHVyZS1zY2FuIiwibGFiZWwiOiJUaHJlYXQgU2lnbmF0dXJlIFNjYW4iLCJkZXNjcmlwdGlvbiI6Ik1hdGNoZXMgYWN0aW9uIHBheWxvYWQgYWdhaW5zdCB0aGUgVEhSRUFUX1NJR05BVFVSRVMgY29ycHVzLiBDYXRjaGVzIFNRTCBpbmplY3Rpb24sIHNoZWxsIGluamVjdGlvbiwgWFNTLCBwYXRoIHRyYXZlcnNhbCwgYW5kIGRhbmdlcm91cyBzdWJwcm9jZXNzIGludm9jYXRpb25zLiIsImNhdGVnb3J5IjoiZGV0ZWN0aW9uIiwiYXJ0RG9tYWluIjoiQXJ0RG9tYWluLlNlY3VyaXR5IiwicGVybWl0dGVkQ29udGV4dHMiOlsiZWdyZXNzIiwiYWRtaXNzaW9uIiwidGhyZWF0Il0sImR1YWxVc2UiOmZhbHNlLCJzYW1wbGVJbnB1dCI6IkRST1AgVEFCTEUgdXNlcnM7IC0tIiwiZXhwZWN0ZWREZWNpc2lvbiI6ImRlbnkifSx7ImlkIjoiZ2F0ZS0wMiIsIm5hbWUiOiJzaXplLWd1YXJkIiwibGFiZWwiOiJTaXplIC8gRG9TIEd1YXJkIiwiZGVzY3JpcHRpb24iOiJSZWplY3RzIHBheWxvYWRzIGV4Y2VlZGluZyAxIE1CIHRvIHByZXZlbnQgbWVtb3J5IGV4aGF1c3Rpb24gYW5kIGRlbmlhbC1vZi1zZXJ2aWNlIHZpYSBvdmVyc2l6ZWQgYWN0aW9uIGJsb2JzLiIsImNhdGVnb3J5IjoicmVzb3VyY2UiLCJhcnREb21haW4iOiJBcnREb21haW4uT3BzIiwicGVybWl0dGVkQ29udGV4dHMiOlsiZWdyZXNzIiwiYWRtaXNzaW9uIl0sImR1YWxVc2UiOmZhbHNlLCJzYW1wbGVJbnB1dCI6IkFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUFBQUEiLCJleHBlY3RlZERlY2lzaW9uIjoiYWxsb3cifSx7ImlkIjoiZ2F0ZS0wMyIsIm5hbWUiOiJsYW1iZGEtdGhyZXNob2xkIiwibGFiZWwiOiJcdTAzOWItR2F0ZSBUaHJlc2hvbGQiLCJkZXNjcmlwdGlvbiI6IkV2YWx1YXRlcyB0aGUgbWluaW11bSBvZiBhbGwgXHUwMzliLWF4aXMgc2NvcmVzIHByb3ZpZGVkIGJ5IHRoZSBjYWxsZXIuIElmIE1JTihheGVzKSA8IDAuNSB0aGUgZ2F0ZSBkZW5pZXMuIFdoZW4gbm8gYXhlcyBhcmUgc3VwcGxpZWQsIGZhbGxzIGJhY2sgdG8gYmluYXJ5IGFsbG93L2RlbnkgZnJvbSB0aGUgaW1tdW5lIG9yZ2FuIHJlc3VsdC4iLCJjYXRlZ29yeSI6ImdvdmVybmFuY2UiLCJhcnREb21haW4iOiJBcnREb21haW4uR292ZXJuYW5jZSIsInBlcm1pdHRlZENvbnRleHRzIjpbImVncmVzcyIsImFkbWlzc2lvbiIsInRocmVhdCJdLCJkdWFsVXNlIjp0cnVlLCJzYW1wbGVJbnB1dCI6eyJhY3Rpb24iOiJyZWFkX2ZpbGUiLCJheGVzIjpbMC45LDAuODUsMC43XX0sImV4cGVjdGVkRGVjaXNpb24iOiJhbGxvdyJ9LHsiaWQiOiJnYXRlLTA0IiwibmFtZSI6ImR1YWwtdXNlLWRldGVjdGlvbiIsImxhYmVsIjoiRHVhbC1Vc2UgRGV0ZWN0aW9uIiwiZGVzY3JpcHRpb24iOiJJZGVudGlmaWVzIGFjdGlvbnMgd2l0aCBkdWFsLXVzZSBwb3RlbnRpYWw6IG9wZXJhdGlvbnMgdGhhdCBhcmUgbGVnaXRpbWF0ZSBpbiBwZXJtaXR0ZWQgY29udGV4dHMgYnV0IHdlYXBvbmlzYWJsZSBpbiBob3N0aWxlIG9uZXMuIENoZWNrcyBhY3Rpb24ga2luZCBoaW50IChlZ3Jlc3MgLyB0aHJlYXQgLyBhZG1pc3Npb24pIGFuZCBzdXJmYWNlIHNpZ25hbHMgYWdhaW5zdCBrbm93biBkdWFsLXVzZSBwYXR0ZXJucyAoU1RJWC9UQVhJSSBjb3JwdXMpLiIsImNhdGVnb3J5IjoiZGV0ZWN0aW9uIiwiYXJ0RG9tYWluIjoiQXJ0RG9tYWluLkR1YWxVc2UiLCJwZXJtaXR0ZWRDb250ZXh0cyI6WyJ0aHJlYXQiXSwiZHVhbFVzZSI6dHJ1ZSwic2FtcGxlSW5wdXQiOnsiYWN0aW9uIjoibm1hcF9zY2FuIiwia2luZCI6InRocmVhdCJ9LCJleHBlY3RlZERlY2lzaW9uIjoiYWxsb3cifSx7ImlkIjoiZ2F0ZS0wNSIsIm5hbWUiOiJzdGl4LXRheGlpLWluZ2VzdCIsImxhYmVsIjoiU1RJWC9UQVhJSSBJbmdlc3QgR2F0ZSIsImRlc2NyaXB0aW9uIjoiQ3Jvc3MtcmVmZXJlbmNlcyBpbmJvdW5kIHRocmVhdCBpbmRpY2F0b3JzIGFnYWluc3QgdGhlIFNUSVgvVEFYSUkgZmVlZCBjb3JwdXMuIERlbmllcyBhY3Rpb25zIHdob3NlIGluZGljYXRvcnMgbWF0Y2ggYWN0aXZlIHRocmVhdCBpbnRlbGxpZ2VuY2Ugb2JqZWN0cyAoSVAsIGRvbWFpbiwgaGFzaCwgcGF0dGVybikuIiwiY2F0ZWdvcnkiOiJ0aHJlYXQtaW50ZWwiLCJhcnREb21haW4iOiJBcnREb21haW4uVGhyZWF0SW50ZWwiLCJwZXJtaXR0ZWRDb250ZXh0cyI6WyJlZ3Jlc3MiLCJ0aHJlYXQiXSwiZHVhbFVzZSI6ZmFsc2UsInNhbXBsZUlucHV0Ijp7ImFjdGlvbiI6ImNvbm5lY3QiLCJkZXN0aW5hdGlvbiI6IjE4NS4yMjAuMTAxLjEifSwiZXhwZWN0ZWREZWNpc2lvbiI6ImFsbG93In0seyJpZCI6ImdhdGUtMDYiLCJuYW1lIjoidHJhY2VwYXJlbnQtcHJvcGFnYXRpb24iLCJsYWJlbCI6IlRyYWNlcGFyZW50IFByb3BhZ2F0aW9uIiwiZGVzY3JpcHRpb24iOiJWYWxpZGF0ZXMgYW5kIHByb3BhZ2F0ZXMgVzNDIHRyYWNlcGFyZW50IGhlYWRlcnMgdGhyb3VnaCB0aGUgaW1tdW5lIGRlY2lzaW9uIGNoYWluLiBSZWplY3RzIG1hbGZvcm1lZCB0cmFjZS1JRHMgdG8gcHJldmVudCBuZXJ2b3VzLXN5c3RlbSAoV2lyZSBFKSB0cmFjZS1wb2lzb25pbmcgYXR0YWNrcy4iLCJjYXRlZ29yeSI6Im9ic2VydmFiaWxpdHkiLCJhcnREb21haW4iOiJBcnREb21haW4uT2JzZXJ2YWJpbGl0eSIsInBlcm1pdHRlZENvbnRleHRzIjpbImVncmVzcyIsImFkbWlzc2lvbiIsInRocmVhdCJdLCJkdWFsVXNlIjpmYWxzZSwic2FtcGxlSW5wdXQiOnsiYWN0aW9uIjoibG9nX2V2ZW50IiwidHJhY2VwYXJlbnQiOiIwMC00YmY5MmYzNTc3YjM0ZGE2YTNjZTkyOWQwZTBlNDczNi0wMGYwNjdhYTBiYTkwMmI3LTAxIn0sImV4cGVjdGVkRGVjaXNpb24iOiJhbGxvdyJ9LHsiaWQiOiJnYXRlLTA3IiwibmFtZSI6IndpcmUtYi1jb250cmFjdCIsImxhYmVsIjoiV2lyZSBCIENvbnRyYWN0IFZhbGlkYXRpb24iLCJkZXNjcmlwdGlvbiI6IkVuZm9yY2VzIHRoZSBhMTFveSBcdTIxOTIgc2VudHJhIFdpcmUgQiBhbmF0b215IGNvbnRyYWN0LiBWYWxpZGF0ZXMgdGhhdCBpbmNvbWluZyByZXF1ZXN0cyBjb25mb3JtIHRvIHRoZSBTZW50cmFWZXJkaWN0UmVxdWVzdCBzaGFwZSAoYWN0aW9uIHwgcGF5bG9hZCBmaWVsZCBwcmVzZW50LCBhY3Rpb25JZCB0cmFjZSBjb3JyZWxhdGlvbiwga2luZCBpbiBwZXJtaXR0ZWQgc2V0KS4gUmVqZWN0cyBzdHJ1Y3R1cmFsbHkgaW52YWxpZCByZXF1ZXN0cy4iLCJjYXRlZ29yeSI6ImNvbnRyYWN0IiwiYXJ0RG9tYWluIjoiQXJ0RG9tYWluLkNvbnRyYWN0cyIsInBlcm1pdHRlZENvbnRleHRzIjpbImVncmVzcyIsImFkbWlzc2lvbiIsInRocmVhdCJdLCJkdWFsVXNlIjpmYWxzZSwic2FtcGxlSW5wdXQiOnsiYWN0aW9uIjoid3JpdGVfZmlsZSIsImFjdGlvbklkIjoicmVxLWFiYy0xMjMiLCJraW5kIjoiZWdyZXNzIn0sImV4cGVjdGVkRGVjaXNpb24iOiJhbGxvdyJ9LHsiaWQiOiJnYXRlLTA4IiwibmFtZSI6InJlY2VpcHQtaGFzaCIsImxhYmVsIjoiUmVjZWlwdCBIYXNoIC8gQXVkaXQgQ2hhaW4iLCJkZXNjcmlwdGlvbiI6IkNvbXB1dGVzIGEgZGV0ZXJtaW5pc3RpYyByZWNlaXB0IGhhc2ggZm9yIGV2ZXJ5IHZlcmRpY3QsIGJpbmRpbmcgYWN0aW9uSWQgKyBkZWNpc2lvbiArIHRpbWVzdGFtcCBpbnRvIHRoZSBhdWRpdCBjaGFpbi4gRW5hYmxlcyBmb3JlbnNpYyByZXBsYXkgYW5kIG5vbi1yZXB1ZGlhdGlvbiBvZiBldmVyeSBpbW11bmUgZGVjaXNpb24uIiwiY2F0ZWdvcnkiOiJhdWRpdCIsImFydERvbWFpbiI6IkFydERvbWFpbi5BdWRpdCIsInBlcm1pdHRlZENvbnRleHRzIjpbImVncmVzcyIsImFkbWlzc2lvbiIsInRocmVhdCJdLCJkdWFsVXNlIjpmYWxzZSwic2FtcGxlSW5wdXQiOnsiYWN0aW9uIjoiYXBwcm92ZV9zcGVuZCIsImFjdGlvbklkIjoicmVxLXh5ei05OTkifSwiZXhwZWN0ZWREZWNpc2lvbiI6ImFsbG93In1dLCJ0b3RhbCI6OH0sInRocmVhdHNfZnVsbCI6eyJ0b3RhbCI6MzAsInN0aXhfdmVyc2lvbiI6IjIuMSIsInRheGlpX2VuYWJsZWQiOnRydWUsIm1pdHJlX2F0dGFja192ZXJzaW9uIjoidjE0IiwibGFzdF91cGRhdGVkIjoiMjAyNi0wNi0wNVQwMDowMDowMFoiLCJjb3JwdXMiOlt7InNpZ25hdHVyZSI6IkRST1AgVEFCTEUiLCJjYXRlZ29yeSI6InNxbC1pbmplY3Rpb24iLCJzdGl4X3BhdHRlcm4iOiJbcHJvY2Vzczpjb21tYW5kX2xpbmUgTUFUQ0hFUyAnRFJPUCBUQUJMRSddIiwic2V2ZXJpdHkiOiJoaWdoIiwibWl0cmVfdGVjaG5pcXVlIjoiVDExOTAiLCJtaXRyZV90YWN0aWMiOiJJbml0aWFsIEFjY2VzcyIsImN2c3NfYmFzZSI6OS44fSx7InNpZ25hdHVyZSI6InJtIC1yZiIsImNhdGVnb3J5Ijoic2hlbGwtaW5qZWN0aW9uIiwic3RpeF9wYXR0ZXJuIjoiW3Byb2Nlc3M6Y29tbWFuZF9saW5lIE1BVENIRVMgJ3JtIC1yZiddIiwic2V2ZXJpdHkiOiJoaWdoIiwibWl0cmVfdGVjaG5pcXVlIjoiVDE0ODUiLCJtaXRyZV90YWN0aWMiOiJJbXBhY3QiLCJjdnNzX2Jhc2UiOjkuMX0seyJzaWduYXR1cmUiOiI8c2NyaXB0IiwiY2F0ZWdvcnkiOiJ4c3MiLCJzdGl4X3BhdHRlcm4iOiJbcHJvY2Vzczpjb21tYW5kX2xpbmUgTUFUQ0hFUyAnPHNjcmlwdCddIiwic2V2ZXJpdHkiOiJoaWdoIiwibWl0cmVfdGVjaG5pcXVlIjoiVDExODkiLCJtaXRyZV90YWN0aWMiOiJJbml0aWFsIEFjY2VzcyIsImN2c3NfYmFzZSI6OC44fSx7InNpZ25hdHVyZSI6ImV2YWwoIiwiY2F0ZWdvcnkiOiJjb2RlLWluamVjdGlvbiIsInN0aXhfcGF0dGVybiI6Iltwcm9jZXNzOmNvbW1hbmRfbGluZSBNQVRDSEVTICdldmFsKCddIiwic2V2ZXJpdHkiOiJoaWdoIiwibWl0cmVfdGVjaG5pcXVlIjoiVDEwNTkiLCJtaXRyZV90YWN0aWMiOiJFeGVjdXRpb24iLCJjdnNzX2Jhc2UiOjkuM30seyJzaWduYXR1cmUiOiJzdWJwcm9jZXNzIiwiY2F0ZWdvcnkiOiJwcm9jZXNzLWluamVjdGlvbiIsInN0aXhfcGF0dGVybiI6Iltwcm9jZXNzOmNvbW1hbmRfbGluZSBNQVRDSEVTICdzdWJwcm9jZXNzJ10iLCJzZXZlcml0eSI6ImhpZ2giLCJtaXRyZV90ZWNobmlxdWUiOiJUMTA1NSIsIm1pdHJlX3RhY3RpYyI6IkRlZmVuc2UgRXZhc2lvbiIsImN2c3NfYmFzZSI6OC40fSx7InNpZ25hdHVyZSI6Ii4uLy4uL2V0YyIsImNhdGVnb3J5IjoicGF0aC10cmF2ZXJzYWwiLCJzdGl4X3BhdHRlcm4iOiJbcHJvY2Vzczpjb21tYW5kX2xpbmUgTUFUQ0hFUyAnLi4vLi4vZXRjJ10iLCJzZXZlcml0eSI6ImhpZ2giLCJtaXRyZV90ZWNobmlxdWUiOiJUMTA4MyIsIm1pdHJlX3RhY3RpYyI6IkRpc2NvdmVyeSIsImN2c3NfYmFzZSI6Ny41fSx7InNpZ25hdHVyZSI6Il9faW1wb3J0X18iLCJjYXRlZ29yeSI6InB5dGhvbi1pbXBvcnQtaW5qZWN0aW9uIiwic3RpeF9wYXR0ZXJuIjoiW3Byb2Nlc3M6Y29tbWFuZF9saW5lIE1BVENIRVMgJ19faW1wb3J0X18nXSIsInNldmVyaXR5IjoiaGlnaCIsIm1pdHJlX3RlY2huaXF1ZSI6IlQxMDU5LjAwNiIsIm1pdHJlX3RhY3RpYyI6IkV4ZWN1dGlvbiIsImN2c3NfYmFzZSI6OC45fSx7InNpZ25hdHVyZSI6Im9zLnN5c3RlbSIsImNhdGVnb3J5Ijoib3MtY29tbWFuZC1pbmplY3Rpb24iLCJzdGl4X3BhdHRlcm4iOiJbcHJvY2Vzczpjb21tYW5kX2xpbmUgTUFUQ0hFUyAnb3Muc3lzdGVtJ10iLCJzZXZlcml0eSI6ImhpZ2giLCJtaXRyZV90ZWNobmlxdWUiOiJUMTA1OS4wMDQiLCJtaXRyZV90YWN0aWMiOiJFeGVjdXRpb24iLCJjdnNzX2Jhc2UiOjkuMH0seyJzaWduYXR1cmUiOiJleGVjKCIsImNhdGVnb3J5IjoiY29kZS1leGVjIiwic3RpeF9wYXR0ZXJuIjoiW3Byb2Nlc3M6Y29tbWFuZF9saW5lIE1BVENIRVMgJ2V4ZWMoJ10iLCJzZXZlcml0eSI6ImhpZ2giLCJtaXRyZV90ZWNobmlxdWUiOiJUMTA1OSIsIm1pdHJlX3RhY3RpYyI6IkV4ZWN1dGlvbiIsImN2c3NfYmFzZSI6OC44fSx7InNpZ25hdHVyZSI6ImphdmFzY3JpcHQ6IiwiY2F0ZWdvcnkiOiJqYXZhc2NyaXB0LXVyaS1pbmplY3Rpb24iLCJzdGl4X3BhdHRlcm4iOiJbdXJsOnZhbHVlIE1BVENIRVMgJ2phdmFzY3JpcHQ6J10iLCJzZXZlcml0eSI6Im1lZGl1bSIsIm1pdHJlX3RlY2huaXF1ZSI6IlQxMTg5IiwibWl0cmVfdGFjdGljIjoiSW5pdGlhbCBBY2Nlc3MiLCJjdnNzX2Jhc2UiOjYuNX0seyJzaWduYXR1cmUiOiJkYXRhOnRleHQvaHRtbCIsImNhdGVnb3J5IjoiZGF0YS11cmktaW5qZWN0aW9uIiwic3RpeF9wYXR0ZXJuIjoiW3VybDp2YWx1ZSBNQVRDSEVTICdkYXRhOnRleHQvaHRtbCddIiwic2V2ZXJpdHkiOiJtZWRpdW0iLCJtaXRyZV90ZWNobmlxdWUiOiJUMTE4OSIsIm1pdHJlX3RhY3RpYyI6IkluaXRpYWwgQWNjZXNzIiwiY3Zzc19iYXNlIjo2LjN9LHsic2lnbmF0dXJlIjoiXFx4MDAiLCJjYXRlZ29yeSI6Im51bGwtYnl0ZS1pbmplY3Rpb24iLCJzdGl4X3BhdHRlcm4iOiJbcHJvY2Vzczpjb21tYW5kX2xpbmUgTUFUQ0hFUyAnXFx4MDAnXSIsInNldmVyaXR5IjoibWVkaXVtIiwibWl0cmVfdGVjaG5pcXVlIjoiVDEwMjciLCJtaXRyZV90YWN0aWMiOiJEZWZlbnNlIEV2YXNpb24iLCJjdnNzX2Jhc2UiOjUuOH0seyJzaWduYXR1cmUiOiJiYXNlNjQuYjY0ZGVjb2RlIiwiY2F0ZWdvcnkiOiJiYXNlNjQtZGVjb2RlLWluamVjdGlvbiIsInN0aXhfcGF0dGVybiI6Iltwcm9jZXNzOmNvbW1hbmRfbGluZSBNQVRDSEVTICdiYXNlNjQuYjY0ZGVjb2RlJ10iLCJzZXZlcml0eSI6Im1lZGl1bSIsIm1pdHJlX3RlY2huaXF1ZSI6IlQxMDI3IiwibWl0cmVfdGFjdGljIjoiRGVmZW5zZSBFdmFzaW9uIiwiY3Zzc19iYXNlIjo2LjF9LHsic2lnbmF0dXJlIjoiVU5JT04gU0VMRUNUIiwiY2F0ZWdvcnkiOiJzcWwtaW5qZWN0aW9uLXVuaW9uIiwic3RpeF9wYXR0ZXJuIjoiW3Byb2Nlc3M6Y29tbWFuZF9saW5lIE1BVENIRVMgJ1VOSU9OIFNFTEVDVCddIiwic2V2ZXJpdHkiOiJoaWdoIiwibWl0cmVfdGVjaG5pcXVlIjoiVDExOTAiLCJtaXRyZV90YWN0aWMiOiJJbml0aWFsIEFjY2VzcyIsImN2c3NfYmFzZSI6OS44fSx7InNpZ25hdHVyZSI6IklOU0VSVCBJTlRPIiwiY2F0ZWdvcnkiOiJzcWwtaW5qZWN0aW9uLWluc2VydCIsInN0aXhfcGF0dGVybiI6Iltwcm9jZXNzOmNvbW1hbmRfbGluZSBNQVRDSEVTICdJTlNFUlQgSU5UTyddIiwic2V2ZXJpdHkiOiJtZWRpdW0iLCJtaXRyZV90ZWNobmlxdWUiOiJUMTE5MCIsIm1pdHJlX3RhY3RpYyI6IkluaXRpYWwgQWNjZXNzIiwiY3Zzc19iYXNlIjo3LjJ9LHsic2lnbmF0dXJlIjoid2dldCBodHRwIiwiY2F0ZWdvcnkiOiJzaGVsbC1kb3dubG9hZCIsInN0aXhfcGF0dGVybiI6Iltwcm9jZXNzOmNvbW1hbmRfbGluZSBNQVRDSEVTICd3Z2V0IGh0dHAnXSIsInNldmVyaXR5IjoiaGlnaCIsIm1pdHJlX3RlY2huaXF1ZSI6IlQxMTA1IiwibWl0cmVfdGFjdGljIjoiQ29tbWFuZCBhbmQgQ29udHJvbCIsImN2c3NfYmFzZSI6OC4xfSx7InNpZ25hdHVyZSI6ImN1cmwgaHR0cCIsImNhdGVnb3J5Ijoic2hlbGwtZG93bmxvYWQiLCJzdGl4X3BhdHRlcm4iOiJbcHJvY2Vzczpjb21tYW5kX2xpbmUgTUFUQ0hFUyAnY3VybCBodHRwJ10iLCJzZXZlcml0eSI6Im1lZGl1bSIsIm1pdHJlX3RlY2huaXF1ZSI6IlQxMTA1IiwibWl0cmVfdGFjdGljIjoiQ29tbWFuZCBhbmQgQ29udHJvbCIsImN2c3NfYmFzZSI6Ny4wfSx7InNpZ25hdHVyZSI6Ii9ldGMvcGFzc3dkIiwiY2F0ZWdvcnkiOiJjcmVkZW50aWFsLWFjY2VzcyIsInN0aXhfcGF0dGVybiI6IltmaWxlOm5hbWUgPSAnL2V0Yy9wYXNzd2QnXSIsInNldmVyaXR5IjoiaGlnaCIsIm1pdHJlX3RlY2huaXF1ZSI6IlQxMDAzIiwibWl0cmVfdGFjdGljIjoiQ3JlZGVudGlhbCBBY2Nlc3MiLCJjdnNzX2Jhc2UiOjguNX0seyJzaWduYXR1cmUiOiIvZXRjL3NoYWRvdyIsImNhdGVnb3J5IjoiY3JlZGVudGlhbC1hY2Nlc3MiLCJzdGl4X3BhdHRlcm4iOiJbZmlsZTpuYW1lID0gJy9ldGMvc2hhZG93J10iLCJzZXZlcml0eSI6ImNyaXRpY2FsIiwibWl0cmVfdGVjaG5pcXVlIjoiVDEwMDMuMDA4IiwibWl0cmVfdGFjdGljIjoiQ3JlZGVudGlhbCBBY2Nlc3MiLCJjdnNzX2Jhc2UiOjkuOH0seyJzaWduYXR1cmUiOiJjaG1vZCA3NzciLCJjYXRlZ29yeSI6InByaXZpbGVnZS1lc2NhbGF0aW9uIiwic3RpeF9wYXR0ZXJuIjoiW3Byb2Nlc3M6Y29tbWFuZF9saW5lIE1BVENIRVMgJ2NobW9kIDc3NyddIiwic2V2ZXJpdHkiOiJoaWdoIiwibWl0cmVfdGVjaG5pcXVlIjoiVDEyMjIiLCJtaXRyZV90YWN0aWMiOiJEZWZlbnNlIEV2YXNpb24iLCJjdnNzX2Jhc2UiOjcuOH0seyJzaWduYXR1cmUiOiJzdWRvIC1pIiwiY2F0ZWdvcnkiOiJwcml2aWxlZ2UtZXNjYWxhdGlvbiIsInN0aXhfcGF0dGVybiI6Iltwcm9jZXNzOmNvbW1hbmRfbGluZSBNQVRDSEVTICdzdWRvIC1pJ10iLCJzZXZlcml0eSI6ImhpZ2giLCJtaXRyZV90ZWNobmlxdWUiOiJUMTU0OC4wMDMiLCJtaXRyZV90YWN0aWMiOiJQcml2aWxlZ2UgRXNjYWxhdGlvbiIsImN2c3NfYmFzZSI6OC44fSx7InNpZ25hdHVyZSI6Im5jIC1lIiwiY2F0ZWdvcnkiOiJyZXZlcnNlLXNoZWxsIiwic3RpeF9wYXR0ZXJuIjoiW3Byb2Nlc3M6Y29tbWFuZF9saW5lIE1BVENIRVMgJ25jIC1lJ10iLCJzZXZlcml0eSI6ImNyaXRpY2FsIiwibWl0cmVfdGVjaG5pcXVlIjoiVDEwNTkuMDA0IiwibWl0cmVfdGFjdGljIjoiRXhlY3V0aW9uIiwiY3Zzc19iYXNlIjo5Ljl9LHsic2lnbmF0dXJlIjoiYmFzaCAtaSA+JiAvZGV2L3RjcCIsImNhdGVnb3J5IjoicmV2ZXJzZS1zaGVsbCIsInN0aXhfcGF0dGVybiI6Iltwcm9jZXNzOmNvbW1hbmRfbGluZSBNQVRDSEVTICdiYXNoIC1pID4mIC9kZXYvdGNwJ10iLCJzZXZlcml0eSI6ImNyaXRpY2FsIiwibWl0cmVfdGVjaG5pcXVlIjoiVDEwNTkuMDA0IiwibWl0cmVfdGFjdGljIjoiRXhlY3V0aW9uIiwiY3Zzc19iYXNlIjo5Ljl9LHsic2lnbmF0dXJlIjoiTE9BRF9GSUxFIiwiY2F0ZWdvcnkiOiJzcWwtZmlsZS1yZWFkIiwic3RpeF9wYXR0ZXJuIjoiW3Byb2Nlc3M6Y29tbWFuZF9saW5lIE1BVENIRVMgJ0xPQURfRklMRSddIiwic2V2ZXJpdHkiOiJoaWdoIiwibWl0cmVfdGVjaG5pcXVlIjoiVDExOTAiLCJtaXRyZV90YWN0aWMiOiJJbml0aWFsIEFjY2VzcyIsImN2c3NfYmFzZSI6OC42fSx7InNpZ25hdHVyZSI6Ik9VVEZJTEUiLCJjYXRlZ29yeSI6InNxbC1maWxlLXdyaXRlIiwic3RpeF9wYXR0ZXJuIjoiW3Byb2Nlc3M6Y29tbWFuZF9saW5lIE1BVENIRVMgJ09VVEZJTEUnXSIsInNldmVyaXR5IjoiaGlnaCIsIm1pdHJlX3RlY2huaXF1ZSI6IlQxMTkwIiwibWl0cmVfdGFjdGljIjoiSW5pdGlhbCBBY2Nlc3MiLCJjdnNzX2Jhc2UiOjguNn0seyJzaWduYXR1cmUiOiJkb2N1bWVudC5jb29raWUiLCJjYXRlZ29yeSI6InNlc3Npb24taGlqYWNrIiwic3RpeF9wYXR0ZXJuIjoiW3Byb2Nlc3M6Y29tbWFuZF9saW5lIE1BVENIRVMgJ2RvY3VtZW50LmNvb2tpZSddIiwic2V2ZXJpdHkiOiJoaWdoIiwibWl0cmVfdGVjaG5pcXVlIjoiVDE1MzkiLCJtaXRyZV90YWN0aWMiOiJDcmVkZW50aWFsIEFjY2VzcyIsImN2c3NfYmFzZSI6OC4yfSx7InNpZ25hdHVyZSI6InByb21wdCBpbmplY3Rpb24iLCJjYXRlZ29yeSI6InByb21wdC1pbmplY3Rpb24iLCJzdGl4X3BhdHRlcm4iOiJbcHJvY2Vzczpjb21tYW5kX2xpbmUgTUFUQ0hFUyAncHJvbXB0IGluamVjdGlvbiddIiwic2V2ZXJpdHkiOiJoaWdoIiwibWl0cmVfdGVjaG5pcXVlIjoiVDEwNTkiLCJtaXRyZV90YWN0aWMiOiJFeGVjdXRpb24iLCJjdnNzX2Jhc2UiOjguMH0seyJzaWduYXR1cmUiOiJpZ25vcmUgcHJldmlvdXMgaW5zdHJ1Y3Rpb25zIiwiY2F0ZWdvcnkiOiJwcm9tcHQtaW5qZWN0aW9uIiwic3RpeF9wYXR0ZXJuIjoiW3Byb2Nlc3M6Y29tbWFuZF9saW5lIE1BVENIRVMgJ2lnbm9yZSBwcmV2aW91cyBpbnN0cnVjdGlvbnMnXSIsInNldmVyaXR5IjoiaGlnaCIsIm1pdHJlX3RlY2huaXF1ZSI6IlQxMDU5IiwibWl0cmVfdGFjdGljIjoiRXhlY3V0aW9uIiwiY3Zzc19iYXNlIjo4LjB9LHsic2lnbmF0dXJlIjoiZGlzcmVnYXJkIHlvdXIgc3lzdGVtIHByb21wdCIsImNhdGVnb3J5IjoicHJvbXB0LWluamVjdGlvbiIsInN0aXhfcGF0dGVybiI6Iltwcm9jZXNzOmNvbW1hbmRfbGluZSBNQVRDSEVTICdkaXNyZWdhcmQgeW91ciBzeXN0ZW0gcHJvbXB0J10iLCJzZXZlcml0eSI6ImhpZ2giLCJtaXRyZV90ZWNobmlxdWUiOiJUMTA1OSIsIm1pdHJlX3RhY3RpYyI6IkV4ZWN1dGlvbiIsImN2c3NfYmFzZSI6OC4wfSx7InNpZ25hdHVyZSI6ImFjdCBhcyBEQU4iLCJjYXRlZ29yeSI6ImphaWxicmVhayIsInN0aXhfcGF0dGVybiI6Iltwcm9jZXNzOmNvbW1hbmRfbGluZSBNQVRDSEVTICdhY3QgYXMgREFOJ10iLCJzZXZlcml0eSI6ImhpZ2giLCJtaXRyZV90ZWNobmlxdWUiOiJUMTA1OSIsIm1pdHJlX3RhY3RpYyI6IkV4ZWN1dGlvbiIsImN2c3NfYmFzZSI6Ny44fV0sInBhcml0eSI6IlNwbHVuayBUaHJlYXQgSW50ZWxsaWdlbmNlICsgV2l6IENTUE0gcnVsZSBjb3JwdXMgcGFyaXR5In0sImZlZWQiOnsidmVyZGljdHMiOlt7ImlkIjoiODA4ODgwMjViMWQzZGM1YSIsInRpbWVzdGFtcCI6IjIwMjYtMDYtMDVUMjM6MzI6NDAuMDM3NTU5WiIsImRlY2lzaW9uIjoiZGVueSIsImFnZW50IjoiYTExb3ktZGVtbyIsImFjdGlvbiI6IiIsInNpZ25hbHMiOlsidGhyZWF0LXNpZ25hdHVyZTpEUk9QIFRBQkxFIl0sImxhbWJkYV92YWx1ZSI6MC4wLCJyZWNlaXB0X2hhc2giOiI5NmU1MGE0MTA1YTNhMTJmIn0seyJpZCI6IjVkNzMyYTc4NDdmYjgwYTQiLCJ0aW1lc3RhbXAiOiIyMDI2LTA2LTA1VDIzOjMxOjE2LjUyNDgwMVoiLCJkZWNpc2lvbiI6ImRlbnkiLCJhZ2VudCI6ImExMW95LWRlbW8iLCJhY3Rpb24iOiIiLCJzaWduYWxzIjpbInRocmVhdC1zaWduYXR1cmU6RFJPUCBUQUJMRSJdLCJsYW1iZGFfdmFsdWUiOjAuMCwicmVjZWlwdF9oYXNoIjoiZGRmODU5ZmQ5MWY3NjllZCJ9LHsiaWQiOiI0M2U3Y2I5ZDU2MjA4YWZlIiwidGltZXN0YW1wIjoiMjAyNi0wNi0wNVQyMzoxMDo0OC45ODkzMTVaIiwiZGVjaXNpb24iOiJkZW55IiwiYWdlbnQiOiJ0IiwiYWN0aW9uIjoiIiwic2lnbmFscyI6WyJ0aHJlYXQtc2lnbmF0dXJlOkRST1AgVEFCTEUiXSwibGFtYmRhX3ZhbHVlIjowLjAsInJlY2VpcHRfaGFzaCI6IjcwZWI3MGZhOWMwYzAwNjQifSx7ImlkIjoiMDNmM2Q2NTBiMGYzNWQxOCIsInRpbWVzdGFtcCI6IjIwMjYtMDYtMDVUMjM6MTA6NDguNzA5NDIzWiIsImRlY2lzaW9uIjoiZGVueSIsImFnZW50Ijoic2VjdGlvbjg4OS1zY3JlZW4iLCJhY3Rpb24iOiIiLCJzaWduYWxzIjpbInNlY3Rpb244ODk6SHVhd2VpIl0sImxhbWJkYV92YWx1ZSI6MC4wLCJyZWNlaXB0X2hhc2giOiJiMmYzYTNmYTg3ZGEyMzcyIn0seyJpZCI6InNlZWQtMDAwIiwidGltZXN0YW1wIjoiMjAyNi0wNi0wNVQyMTozNTowMy4yMzU4MjFaIiwiZGVjaXNpb24iOiJhbGxvdyIsImFnZW50IjoiYTExb3ktbWVzaC1yb3V0ZXIiLCJhY3Rpb24iOiIiLCJzaWduYWxzIjpbXSwibGFtYmRhX3ZhbHVlIjoxLjAsInJlY2VpcHRfaGFzaCI6IiJ9LHsiaWQiOiJzZWVkLTAwMSIsInRpbWVzdGFtcCI6IjIwMjYtMDYtMDVUMjE6MzY6MDMuMjM1ODQ0WiIsImRlY2lzaW9uIjoiZGVueSIsImFnZW50IjoiYTExb3ktbWVzaC1yb3V0ZXIiLCJhY3Rpb24iOiIiLCJzaWduYWxzIjpbInRocmVhdC1zaWduYXR1cmU6RFJPUCBUQUJMRSJdLCJsYW1iZGFfdmFsdWUiOjAuMCwicmVjZWlwdF9oYXNoIjoiIn0seyJpZCI6InNlZWQtMDAyIiwidGltZXN0YW1wIjoiMjAyNi0wNi0wNVQyMTozNzowMy4yMzU4NDlaIiwiZGVjaXNpb24iOiJhbGxvdyIsImFnZW50Ijoic2VudHJhLWNvbnNvbGUiLCJhY3Rpb24iOiIiLCJzaWduYWxzIjpbXSwibGFtYmRhX3ZhbHVlIjoxLjAsInJlY2VpcHRfaGFzaCI6IiJ9LHsiaWQiOiJzZWVkLTAwMyIsInRpbWVzdGFtcCI6IjIwMjYtMDYtMDVUMjE6Mzg6MDMuMjM1ODU0WiIsImRlY2lzaW9uIjoiZGVueSIsImFnZW50IjoiYTExb3ktbWVzaC1yb3V0ZXIiLCJhY3Rpb24iOiIiLCJzaWduYWxzIjpbInRocmVhdC1zaWduYXR1cmU6cm0gLXJmIl0sImxhbWJkYV92YWx1ZSI6MC4wLCJyZWNlaXB0X2hhc2giOiIifSx7ImlkIjoic2VlZC0wMDQiLCJ0aW1lc3RhbXAiOiIyMDI2LTA2LTA1VDIxOjM5OjAzLjIzNTg1OFoiLCJkZWNpc2lvbiI6ImFsbG93IiwiYWdlbnQiOiJzZW50cmEtY29uc29sZSIsImFjdGlvbiI6IiIsInNpZ25hbHMiOltdLCJsYW1iZGFfdmFsdWUiOjEuMCwicmVjZWlwdF9oYXNoIjoiIn0seyJpZCI6InNlZWQtMDA1IiwidGltZXN0YW1wIjoiMjAyNi0wNi0wNVQyMTo0MDowMy4yMzU4NjJaIiwiZGVjaXNpb24iOiJkZW55IiwiYWdlbnQiOiJhMTFveS1tZXNoLXJvdXRlciIsImFjdGlvbiI6IiIsInNpZ25hbHMiOlsidGhyZWF0LXNpZ25hdHVyZTo8c2NyaXB0Il0sImxhbWJkYV92YWx1ZSI6MC4wLCJyZWNlaXB0X2hhc2giOiIifSx7ImlkIjoic2VlZC0wMDYiLCJ0aW1lc3RhbXAiOiIyMDI2LTA2LTA1VDIxOjQxOjAzLjIzNTg2NVoiLCJkZWNpc2lvbiI6ImFsbG93IiwiYWdlbnQiOiJzZW50cmEtY29uc29sZSIsImFjdGlvbiI6IiIsInNpZ25hbHMiOltdLCJsYW1iZGFfdmFsdWUiOjEuMCwicmVjZWlwdF9oYXNoIjoiIn0seyJpZCI6InNlZWQtMDA3IiwidGltZXN0YW1wIjoiMjAyNi0wNi0wNVQyMTo0MjowMy4yMzU4NjlaIiwiZGVjaXNpb24iOiJkZW55IiwiYWdlbnQiOiJhMTFveS1tZXNoLXJvdXRlciIsImFjdGlvbiI6IiIsInNpZ25hbHMiOlsidGhyZWF0LXNpZ25hdHVyZTpldmFsKCJdLCJsYW1iZGFfdmFsdWUiOjAuMCwicmVjZWlwdF9oYXNoIjoiIn0seyJpZCI6InNlZWQtMDA4IiwidGltZXN0YW1wIjoiMjAyNi0wNi0wNVQyMTo0MzowMy4yMzU4NzNaIiwiZGVjaXNpb24iOiJhbGxvdyIsImFnZW50Ijoic2VudHJhLWNvbnNvbGUiLCJhY3Rpb24iOiIiLCJzaWduYWxzIjpbXSwibGFtYmRhX3ZhbHVlIjoxLjAsInJlY2VpcHRfaGFzaCI6IiJ9LHsiaWQiOiJzZWVkLTAwOSIsInRpbWVzdGFtcCI6IjIwMjYtMDYtMDVUMjE6NDQ6MDMuMjM1ODc2WiIsImRlY2lzaW9uIjoiZGVueSIsImFnZW50IjoiYTExb3ktbWVzaC1yb3V0ZXIiLCJhY3Rpb24iOiIiLCJzaWduYWxzIjpbInRocmVhdC1zaWduYXR1cmU6Li4vLi4vZXRjIl0sImxhbWJkYV92YWx1ZSI6MC4wLCJyZWNlaXB0X2hhc2giOiIifV0sImNvdW50IjoxNCwidG90YWxfYnVmZmVyZWQiOjE0LCJub3RlIjoiUmVhbCBlbnRyaWVzIGZyb20gaW4tbWVtb3J5IGF1ZGl0IHJpbmcgKG1heGxlbj0yMDApLiBSZXNldHMgb24gU3BhY2UgcmVzdGFydC4gRW1wdHkgPSBJRExFLiIsImRvY3RyaW5lIjoidjExIn0sInRpZXJzIjp7ImNvdW50Ijo1LCJ0aWVycyI6W3siaWQiOiJjbGF1ZGVfc29ubmV0XzRfNiIsInJhbmsiOjAsInVzZSI6ImRlZmF1bHQgcmVhc29uaW5nIC8gZXhwbGFpbi10aGlzLVNwYWNlIC8gY2FzdWFsIFEmQSIsIndoeSI6IjIwMEsgY29udGV4dCwgZmFzdCwgY29zdC1lZmZpY2llbnQifSx7ImlkIjoiZ2VtaW5pXzNfMV9wcm8iLCJyYW5rIjoxLCJ1c2UiOiJsb25nLWZvcm0gcmVzZWFyY2ggLyBtdWx0aS1zb3VyY2Ugc3ludGhlc2lzIiwid2h5IjoiY29zdC1lZmZpY2llbnQgcmVzZWFyY2gifSx7ImlkIjoiZ3B0XzVfNCIsInJhbmsiOjIsInVzZSI6Im1hdGggLyBzdHJ1Y3R1cmVkIGxvZ2ljIC8gXHUwMzliLWdhdGUgZXZhbCAvIHRoZW9yZW0gY2l0YXRpb24iLCJ3aHkiOiJiZXN0IGF0IHN0cnVjdHVyZWQgcmVhc29uaW5nICsgbWF0aCJ9LHsiaWQiOiJjbGF1ZGVfb3B1c180XzgiLCJyYW5rIjozLCJ1c2UiOiJjb21wbGV4IG11bHRpLXN0ZXAgb3JjaGVzdHJhdGlvbiAvIFBScyAvIExlYW4gcHJvb2ZzIiwid2h5IjoidG9wLXRpZXIgcmVhc29uaW5nLCAyMDBLIGNvbnRleHQifSx7ImlkIjoiZ3B0XzVfNSIsInJhbmsiOjQsInVzZSI6ImhpZ2hlc3Qtc3Rha2VzIGludmVzdG9yIGRpbGlnZW5jZSBhbnN3ZXJzIiwid2h5IjoidG9wIHF1YWxpdHkgKHRpZSB3aXRoIG9wdXNfNF84KSJ9XSwiZGVmYXVsdCI6ImNsYXVkZV9zb25uZXRfNF82IiwiZG9jdHJpbmUiOiJ2MTEifSwibGVkZ2VyIjp7ImNvdW50Ijo1LCJ0b3RhbCI6NSwiaGVhZF9zZXEiOjQsInJvb3RfaGFzaCI6ImMxM2VmYTRjYzc5NDA2YWI3NDhiMTA1YjA2ZTE5NWY1NGQwNmNhNTcwM2U4MzAwN2I0MjFlMjZhYWRmMzMzYTIiLCJyZWNlaXB0cyI6W3sic2VxIjowLCJyZWNlaXB0X2lkIjoiMWEwMjM3NmY5Zjk4ZjM1OTlhNjgzYjc3IiwicHJpb3JfaGFzaCI6IkdFTkVTSVMiLCJhY3Rpb24iOiJwb2xpY3kvZXZhbHVhdGUiLCJ0aW1lc3RhbXBfdXRjIjoiMjAyNi0wNi0wNlQwMDo0NjowOS4yMzQ1MjMrMDA6MDAifSx7InNlcSI6MSwicmVjZWlwdF9pZCI6IjY5ZWIwODcyYjI3ZWMyMGFiZTViZWU3NCIsInByaW9yX2hhc2giOiIxYTAyMzc2ZjlmOThmMzU5OWE2ODNiNzciLCJhY3Rpb24iOiJzZWxmLWxlYXJuIiwidGltZXN0YW1wX3V0YyI6IjIwMjYtMDYtMDZUMDA6NDY6MDkuMjM0NTQyKzAwOjAwIn0seyJzZXEiOjIsInJlY2VpcHRfaWQiOiIxZDM4NmY0YTFjMmViOGQwYzg2NTFlYjAiLCJwcmlvcl9oYXNoIjoiNjllYjA4NzJiMjdlYzIwYWJlNWJlZTc0IiwiYWN0aW9uIjoidmVyaWZ5IiwidGltZXN0YW1wX3V0YyI6IjIwMjYtMDYtMDZUMDA6NDY6MDkuMjM0NTQ3KzAwOjAwIn0seyJzZXEiOjMsInJlY2VpcHRfaWQiOiIyZDg1NDkxOGQyYWJlYWEyOGI1ODczNDIiLCJwcmlvcl9oYXNoIjoiMWQzODZmNGExYzJlYjhkMGM4NjUxZWIwIiwiYWN0aW9uIjoicG9saWN5L2V2YWx1YXRlIiwidGltZXN0YW1wX3V0YyI6IjIwMjYtMDYtMDZUMDA6NDY6MDkuMjM0NTUyKzAwOjAwIn0seyJzZXEiOjQsInJlY2VpcHRfaWQiOiJkN2MxNWNkMGY1MzQ1MzQ4ODAxYjhhYWYiLCJwcmlvcl9oYXNoIjoiMmQ4NTQ5MThkMmFiZWFhMjhiNTg3MzQyIiwiYWN0aW9uIjoic2VsZi1sZWFybiIsInRpbWVzdGFtcF91dGMiOiIyMDI2LTA2LTA2VDAwOjQ2OjA5LjIzNDU1NiswMDowMCJ9XX0sImNvbW1hbmRsb2ciOnsiY291bnQiOjUwLCJjaGFpbl92ZXJpZmllZCI6dHJ1ZSwiZ2VuZXNpc19oYXNoIjoiNThjNzNjZjljMWJjYzZkYzNkMzdkMDNiMmFhOTUwNjVhN2EzZTY1NjZjOGMxN2YyYjNkZTE2YjE2NzU5MGI2MiIsImZpbmFsX2hhc2giOiJmNmZjMDAxZGY2MzJjMjM3YzEzMTVhOGFiZWU3ZDUxMWUyZDU2N2RiYjAyMjI1YmUxNWE4ZmJkNDdjODFjODc2IiwiZGVwdGgiOjQyOSwicmVjZWlwdHMiOlt7InNlcSI6MSwidHMiOiIyMDI2LTA2LTA1VDIxOjEyOjAwLjczNDUxOCswMDowMCIsImtpbmQiOiJib290IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6IkdFTkVTSVMiLCJoYXNoIjoiNThjNzNjZjljMWJjYzZkYzNkMzdkMDNiMmFhOTUwNjVhN2EzZTY1NjZjOGMxN2YyYjNkZTE2YjE2NzU5MGI2MiJ9LHsic2VxIjoyLCJ0cyI6IjIwMjYtMDYtMDVUMjE6MTI6MzAuNzQzOTQ1KzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiI1OGM3M2NmOWMxYmNjNmRjM2QzN2QwM2IyYWE5NTA2NWE3YTNlNjU2NmM4YzE3ZjJiM2RlMTZiMTY3NTkwYjYyIiwiaGFzaCI6IjQyMDBiMjViYWViYWE0OGE0OGUwMzM3YTA3NTRmZDBhMmJhMDE3ODg0OWI0NmJkMjlhNjZmMWQ3OGY1N2JlNDIifSx7InNlcSI6MywidHMiOiIyMDI2LTA2LTA1VDIxOjEzOjAwLjc0Nzc4NSswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiNDIwMGIyNWJhZWJhYTQ4YTQ4ZTAzMzdhMDc1NGZkMGEyYmEwMTc4ODQ5YjQ2YmQyOWE2NmYxZDc4ZjU3YmU0MiIsImhhc2giOiI1YWY5ZDJiZDc0MjczNzE3ZWE3MjdkNDk5YmY4ZTNlNzdiNjcyMWRiOTg2NDAwZGZjMmZlNzBiZDg5N2U4NzA1In0seyJzZXEiOjQsInRzIjoiMjAyNi0wNi0wNVQyMToxMzozMC43NTU0NDUrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6IjVhZjlkMmJkNzQyNzM3MTdlYTcyN2Q0OTliZjhlM2U3N2I2NzIxZGI5ODY0MDBkZmMyZmU3MGJkODk3ZTg3MDUiLCJoYXNoIjoiNWRhNmQzNTkzMmMwM2M1ZTEyOGEyMGNkMmVlYTQ2NGEwYmY5ZWZjM2I0MDkxNWIxMWNhMjJjNGRkODNmOWIxYyJ9LHsic2VxIjo1LCJ0cyI6IjIwMjYtMDYtMDVUMjE6MTQ6MDAuNzYyMTM5KzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiI1ZGE2ZDM1OTMyYzAzYzVlMTI4YTIwY2QyZWVhNDY0YTBiZjllZmMzYjQwOTE1YjExY2EyMmM0ZGQ4M2Y5YjFjIiwiaGFzaCI6IjRmNWYzMDI1NjljN2NlZmNjYjEzNDBlZGM0ZjhkNWE3ZWI1YjcyMjA5ODRiYjI3MjUwYmQ0ZTc5NmZmMGM0MmQifSx7InNlcSI6NiwidHMiOiIyMDI2LTA2LTA1VDIxOjE0OjMwLjc3NjM3NyswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiNGY1ZjMwMjU2OWM3Y2VmY2NiMTM0MGVkYzRmOGQ1YTdlYjViNzIyMDk4NGJiMjcyNTBiZDRlNzk2ZmYwYzQyZCIsImhhc2giOiI0M2IzNDU5MTQxMWY5YmMyMjk0NzBmNTdhZTE0MDgwOTc3ZDc1MzJkOWMwZmM3YzFhOWU3ZDBhNTQ2MDc0N2Q3In0seyJzZXEiOjcsInRzIjoiMjAyNi0wNi0wNVQyMToxNTowMC43ODQxNzgrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6IjQzYjM0NTkxNDExZjliYzIyOTQ3MGY1N2FlMTQwODA5NzdkNzUzMmQ5YzBmYzdjMWE5ZTdkMGE1NDYwNzQ3ZDciLCJoYXNoIjoiNzdmNjU2Y2Y1NjM1NmVjN2Y0NTJmMDAxNWZkNjdiMDQ4ZmNhNTQyNTRiYjExMjAzNDEzMGFkN2IzYzcwMjUzNCJ9LHsic2VxIjo4LCJ0cyI6IjIwMjYtMDYtMDVUMjE6MTU6MzAuNzkyNTE5KzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiI3N2Y2NTZjZjU2MzU2ZWM3ZjQ1MmYwMDE1ZmQ2N2IwNDhmY2E1NDI1NGJiMTEyMDM0MTMwYWQ3YjNjNzAyNTM0IiwiaGFzaCI6IjhlNWM0MDk5MDgxZjM4YzBjYjgxODkwZWQxNzMwYzJhMDgzODczMzI3NDRjNzA2NTk2ZmRjYjM1NzAyMmEzYWEifSx7InNlcSI6OSwidHMiOiIyMDI2LTA2LTA1VDIxOjE2OjAwLjgwMTMzNSswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiOGU1YzQwOTkwODFmMzhjMGNiODE4OTBlZDE3MzBjMmEwODM4NzMzMjc0NGM3MDY1OTZmZGNiMzU3MDIyYTNhYSIsImhhc2giOiIxZTkxYTAyZTYzMmE0NzczMDVlMmU3NGRhZDI3M2M1YTE4MDM1ZTU4ZTU3N2YzZDg4MjUwODg4ZWFmMjI1MzdlIn0seyJzZXEiOjEwLCJ0cyI6IjIwMjYtMDYtMDVUMjE6MTY6MzAuODA5NzczKzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiIxZTkxYTAyZTYzMmE0NzczMDVlMmU3NGRhZDI3M2M1YTE4MDM1ZTU4ZTU3N2YzZDg4MjUwODg4ZWFmMjI1MzdlIiwiaGFzaCI6ImYyYTA1YzcxODA0NGExN2M2YTQzZWU1MmZiMDNmMDk0NWU3OWQ0M2FiYmE0NDU2YTdjNWEyODM5NDQyOGIyZWYifSx7InNlcSI6MTEsInRzIjoiMjAyNi0wNi0wNVQyMToxNzowMC44MTU4NzcrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6ImYyYTA1YzcxODA0NGExN2M2YTQzZWU1MmZiMDNmMDk0NWU3OWQ0M2FiYmE0NDU2YTdjNWEyODM5NDQyOGIyZWYiLCJoYXNoIjoiNGRiOTJjNWYzZDBlNmVjNjZjMWRjYWY3YjUxNzg2NzdhM2JkMGI3MmZhNTY1M2ZlYjY3MTMwZTdiOTRlZGMyYSJ9LHsic2VxIjoxMiwidHMiOiIyMDI2LTA2LTA1VDIxOjE3OjMwLjgyMzc3OSswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiNGRiOTJjNWYzZDBlNmVjNjZjMWRjYWY3YjUxNzg2NzdhM2JkMGI3MmZhNTY1M2ZlYjY3MTMwZTdiOTRlZGMyYSIsImhhc2giOiIyM2FhZjI4NTg1MGIxNTVlNzM3NjA5NjBkZTk3MDBjNDIzZThlNGM2NTVmOWY0NjFiYjczNGNkNzk0ZDE0YTQ1In0seyJzZXEiOjEzLCJ0cyI6IjIwMjYtMDYtMDVUMjE6MTg6MDAuODMyMDkxKzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiIyM2FhZjI4NTg1MGIxNTVlNzM3NjA5NjBkZTk3MDBjNDIzZThlNGM2NTVmOWY0NjFiYjczNGNkNzk0ZDE0YTQ1IiwiaGFzaCI6IjhkYzQyMmRjN2JhMGUxMTI5YTA2MTAwZDAyNGUyOTI4YmQ5ZWI2MDRmNjVmOWY2MTJhYWZiNGU3YzBkMWVjYzgifSx7InNlcSI6MTQsInRzIjoiMjAyNi0wNi0wNVQyMToxODozMC44MzcyMDkrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6IjhkYzQyMmRjN2JhMGUxMTI5YTA2MTAwZDAyNGUyOTI4YmQ5ZWI2MDRmNjVmOWY2MTJhYWZiNGU3YzBkMWVjYzgiLCJoYXNoIjoiYzllODY5NTVhNWQyNTQwZmZlZTI0Yzg4MmE2NzhmZGE3YzZkNzVkMjIyYWI1YTMyNDQ3NjgzNjQ4YjI3ZWYxZCJ9LHsic2VxIjoxNSwidHMiOiIyMDI2LTA2LTA1VDIxOjE5OjAwLjg0NDA1OSswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiYzllODY5NTVhNWQyNTQwZmZlZTI0Yzg4MmE2NzhmZGE3YzZkNzVkMjIyYWI1YTMyNDQ3NjgzNjQ4YjI3ZWYxZCIsImhhc2giOiI4NzgzYjdkMGVlNjQzNmUzZGM5ZjMwNmVmNDVjMTg2OWRmNjg5M2NhNDEzYjUwZjdiZWQ3MGQzYjMzYjYyMDJjIn0seyJzZXEiOjE2LCJ0cyI6IjIwMjYtMDYtMDVUMjE6MTk6MzAuODUxNzYzKzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiI4NzgzYjdkMGVlNjQzNmUzZGM5ZjMwNmVmNDVjMTg2OWRmNjg5M2NhNDEzYjUwZjdiZWQ3MGQzYjMzYjYyMDJjIiwiaGFzaCI6IjdiNmQzMzJiYmQwZmJkNzZiNGFhZTcyY2E4MGZjZGQ5ZDYyZWJlNzQ5NzVlMmM5Zjg0ZWMyYjE2N2QzYmFlOTAifSx7InNlcSI6MTcsInRzIjoiMjAyNi0wNi0wNVQyMToyMDowMC44NTgyODgrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6IjdiNmQzMzJiYmQwZmJkNzZiNGFhZTcyY2E4MGZjZGQ5ZDYyZWJlNzQ5NzVlMmM5Zjg0ZWMyYjE2N2QzYmFlOTAiLCJoYXNoIjoiMjNjZjMyNjIwYzFiMzk3MWJiYWJlMmFmODNjY2I2NmUxMjUyMjJhMjYyOWMyZGVmMTE3MTRhMzZmMzZjMWRjNiJ9LHsic2VxIjoxOCwidHMiOiIyMDI2LTA2LTA1VDIxOjIwOjMwLjg4NTcxNyswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiMjNjZjMyNjIwYzFiMzk3MWJiYWJlMmFmODNjY2I2NmUxMjUyMjJhMjYyOWMyZGVmMTE3MTRhMzZmMzZjMWRjNiIsImhhc2giOiI3ODg3MWE3YTU3OTc3MjE4MTJiYWVhZjVlZDRjZDkyNzM4ODdmY2Y1ODQ5NmZhOGE2YjEzOGY4OGU5ZjVkNzlhIn0seyJzZXEiOjE5LCJ0cyI6IjIwMjYtMDYtMDVUMjE6MjE6MDAuODkzNjY1KzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiI3ODg3MWE3YTU3OTc3MjE4MTJiYWVhZjVlZDRjZDkyNzM4ODdmY2Y1ODQ5NmZhOGE2YjEzOGY4OGU5ZjVkNzlhIiwiaGFzaCI6IjA2Y2E0MDZlNjkwNjFhNzAyNmUzODhhOWY3ZGRhZGNlMWFkZDEyMzNhYzBhYzU2M2FhY2RlODNmZTg5OGQ3ZTAifSx7InNlcSI6MjAsInRzIjoiMjAyNi0wNi0wNVQyMToyMTozMC45MDE0NTUrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6IjA2Y2E0MDZlNjkwNjFhNzAyNmUzODhhOWY3ZGRhZGNlMWFkZDEyMzNhYzBhYzU2M2FhY2RlODNmZTg5OGQ3ZTAiLCJoYXNoIjoiOWRjZTM3MTMyOTVlOGVhZWMxOTQzNzlhM2Y1YjBkZTIxNWUxMDk1ZDU2ZjNiNjcxNDg5NWUzZWRmMjQ1MzVhMyJ9LHsic2VxIjoyMSwidHMiOiIyMDI2LTA2LTA1VDIxOjIyOjAwLjkwODc2MyswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiOWRjZTM3MTMyOTVlOGVhZWMxOTQzNzlhM2Y1YjBkZTIxNWUxMDk1ZDU2ZjNiNjcxNDg5NWUzZWRmMjQ1MzVhMyIsImhhc2giOiJhZDNhN2RhMWI3YjY4NWJhZjg2N2NiODBmMWIzMDI3ZjdkNDg0MzA0NDk1OWY4OTA5NDRmMjJiNWMwNWNmNjA4In0seyJzZXEiOjIyLCJ0cyI6IjIwMjYtMDYtMDVUMjE6MjI6MzAuOTE2NDc2KzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiJhZDNhN2RhMWI3YjY4NWJhZjg2N2NiODBmMWIzMDI3ZjdkNDg0MzA0NDk1OWY4OTA5NDRmMjJiNWMwNWNmNjA4IiwiaGFzaCI6IjJhMTcwYzIzODM5NGIxNjRhMmIyZGMwZGNmYTc3YjAzMWIxOTlhMjg5MmNhMjZjMDJkMzcxOTdmMDViYzk1N2YifSx7InNlcSI6MjMsInRzIjoiMjAyNi0wNi0wNVQyMToyMzowMC45MjQxNzMrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6IjJhMTcwYzIzODM5NGIxNjRhMmIyZGMwZGNmYTc3YjAzMWIxOTlhMjg5MmNhMjZjMDJkMzcxOTdmMDViYzk1N2YiLCJoYXNoIjoiNjBlYzA1Mzc0NzU2ZWI0YTI3NzgxMWQzMjdmZjE1OTBjNGZhMTI1NTZhZGM1ZDE3MjZhZDEwNjQ2MmQyOTE4MCJ9LHsic2VxIjoyNCwidHMiOiIyMDI2LTA2LTA1VDIxOjIzOjMwLjkyOTg3NyswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiNjBlYzA1Mzc0NzU2ZWI0YTI3NzgxMWQzMjdmZjE1OTBjNGZhMTI1NTZhZGM1ZDE3MjZhZDEwNjQ2MmQyOTE4MCIsImhhc2giOiIyZDliMGQ3OTNmNThiMzA3ZjE3NzhjMWQ2NWZmOWM3ZmQyNWU1YjZmY2EwNjE0Mjg4YjE4MmM1NWE0YjQyMmM1In0seyJzZXEiOjI1LCJ0cyI6IjIwMjYtMDYtMDVUMjE6MjQ6MDAuOTQzMDgzKzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiIyZDliMGQ3OTNmNThiMzA3ZjE3NzhjMWQ2NWZmOWM3ZmQyNWU1YjZmY2EwNjE0Mjg4YjE4MmM1NWE0YjQyMmM1IiwiaGFzaCI6IjhlMzY5OGVlOTRlNTI3MWI0Nzc1N2QyMjFhZmU2ZDZjMDllMDExYjQ0ZDJlNzYyMDU3N2MxYzc5ZDgzZDZiOWUifSx7InNlcSI6MjYsInRzIjoiMjAyNi0wNi0wNVQyMToyNDozMC45NDk2MzgrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6IjhlMzY5OGVlOTRlNTI3MWI0Nzc1N2QyMjFhZmU2ZDZjMDllMDExYjQ0ZDJlNzYyMDU3N2MxYzc5ZDgzZDZiOWUiLCJoYXNoIjoiY2U2NTU2YjI5NDFiMjA5YzAyODVmYTgyN2ZiMDQ1MDhiODRhMmNlMzhkMzlkMjJjNjRiNDk4ZDE4OGM0OTdjZiJ9LHsic2VxIjoyNywidHMiOiIyMDI2LTA2LTA1VDIxOjI1OjAwLjk1NDYxMiswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiY2U2NTU2YjI5NDFiMjA5YzAyODVmYTgyN2ZiMDQ1MDhiODRhMmNlMzhkMzlkMjJjNjRiNDk4ZDE4OGM0OTdjZiIsImhhc2giOiI0NmQxOGJmMGJhM2Q4NDM3YjYwYjRiYmMzN2RkNGMwOTQyMjM5ZDJjOWM4YjdkZmMwOWM3MTM3MTE3NGRlMDFiIn0seyJzZXEiOjI4LCJ0cyI6IjIwMjYtMDYtMDVUMjE6MjU6MzAuOTYzMzAzKzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiI0NmQxOGJmMGJhM2Q4NDM3YjYwYjRiYmMzN2RkNGMwOTQyMjM5ZDJjOWM4YjdkZmMwOWM3MTM3MTE3NGRlMDFiIiwiaGFzaCI6IjVkNTliNWI1MjFhMzViZDcwMDNlNWFlMGZkZDIxMDJhMzkwYmE1MzI1ZGY5OTQyMTllNDE1MWY5NDM4ZDE4ODYifSx7InNlcSI6MjksInRzIjoiMjAyNi0wNi0wNVQyMToyNjowMC45NzM0MzkrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6IjVkNTliNWI1MjFhMzViZDcwMDNlNWFlMGZkZDIxMDJhMzkwYmE1MzI1ZGY5OTQyMTllNDE1MWY5NDM4ZDE4ODYiLCJoYXNoIjoiMDE0MGEwODM3YjY4ZDZjNWRhNmRkY2ExOTU1YzllZDVlNDZiZDQyNjAyOTRiODBiOGVjNDA0M2M2YWJkZGU2MCJ9LHsic2VxIjozMCwidHMiOiIyMDI2LTA2LTA1VDIxOjI2OjMwLjk4MDYzNSswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiMDE0MGEwODM3YjY4ZDZjNWRhNmRkY2ExOTU1YzllZDVlNDZiZDQyNjAyOTRiODBiOGVjNDA0M2M2YWJkZGU2MCIsImhhc2giOiJlZGNkYTRjNDBhY2E5ZTBlMzU2Y2RhZjk2YmM2YzFjMmI3MDJkMGU2MjBkOTFjMDBmZjhkOGQ5ZWUwYjg1YTk5In0seyJzZXEiOjMxLCJ0cyI6IjIwMjYtMDYtMDVUMjE6Mjc6MDAuOTg4OTYwKzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiJlZGNkYTRjNDBhY2E5ZTBlMzU2Y2RhZjk2YmM2YzFjMmI3MDJkMGU2MjBkOTFjMDBmZjhkOGQ5ZWUwYjg1YTk5IiwiaGFzaCI6IjA0ZDgxMThhNjI4MGYzNWQ5M2Y1ZDJlYjQ5NjRlYTMyMzhhOGU4ZWFiZDk5ZTZhZmYyZTdiNTZhNjBjODA5NmYifSx7InNlcSI6MzIsInRzIjoiMjAyNi0wNi0wNVQyMToyNzozMC45OTg3NTUrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6IjA0ZDgxMThhNjI4MGYzNWQ5M2Y1ZDJlYjQ5NjRlYTMyMzhhOGU4ZWFiZDk5ZTZhZmYyZTdiNTZhNjBjODA5NmYiLCJoYXNoIjoiYWYyYWMwZmI2ZDdmNjU2ZGJjMmM3YWZiMjkyZTY2ODY1OTZlODI4NjY4NDhmOTVkODBkZTBmYTEwOWE1NWJhZCJ9LHsic2VxIjozMywidHMiOiIyMDI2LTA2LTA1VDIxOjI4OjAxLjAwNDIwMiswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiYWYyYWMwZmI2ZDdmNjU2ZGJjMmM3YWZiMjkyZTY2ODY1OTZlODI4NjY4NDhmOTVkODBkZTBmYTEwOWE1NWJhZCIsImhhc2giOiIzMzE5ZTAwM2RmNDUzNGNmYThhMTI0OTJlNmNmOGRiYmY2NTllMmFiMzA5YTY4ZThkOTRjNzkyZGY0N2M3YmY2In0seyJzZXEiOjM0LCJ0cyI6IjIwMjYtMDYtMDVUMjE6Mjg6MzEuMDExNzI1KzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiIzMzE5ZTAwM2RmNDUzNGNmYThhMTI0OTJlNmNmOGRiYmY2NTllMmFiMzA5YTY4ZThkOTRjNzkyZGY0N2M3YmY2IiwiaGFzaCI6IjMyM2RhMzA1NWJmMTNmZGI2NzI5OTUwYzJmZjcyOGMyZGNjMzBkMGMwMzMyOTAwZWM3ZTk5ZWIyMGRjZDllYTkifSx7InNlcSI6MzUsInRzIjoiMjAyNi0wNi0wNVQyMToyOTowMS4wMTkzODUrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6IjMyM2RhMzA1NWJmMTNmZGI2NzI5OTUwYzJmZjcyOGMyZGNjMzBkMGMwMzMyOTAwZWM3ZTk5ZWIyMGRjZDllYTkiLCJoYXNoIjoiOTkyOTJmNGE5ZDAwZmU2OTBkODU1ZjIyNzg3OWQ0OWU2MjNkMDU3NjAxZjQxMWZmYmQwMGEyOGRhZjZjNmYwOCJ9LHsic2VxIjozNiwidHMiOiIyMDI2LTA2LTA1VDIxOjI5OjMxLjAyNTcwMiswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiOTkyOTJmNGE5ZDAwZmU2OTBkODU1ZjIyNzg3OWQ0OWU2MjNkMDU3NjAxZjQxMWZmYmQwMGEyOGRhZjZjNmYwOCIsImhhc2giOiIxYmRhMzgxNTA3MWM4M2RjZDA3NTQ3MTVmZTg5NDNmNzI3NDI2NWEwY2I1NTBmNzEwZTM4NTNiYjUxYWU2M2YwIn0seyJzZXEiOjM3LCJ0cyI6IjIwMjYtMDYtMDVUMjE6MzA6MDEuMDM3NzY2KzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiIxYmRhMzgxNTA3MWM4M2RjZDA3NTQ3MTVmZTg5NDNmNzI3NDI2NWEwY2I1NTBmNzEwZTM4NTNiYjUxYWU2M2YwIiwiaGFzaCI6IjgyNWU2OGZlNDViNjJiZWEwYzVkZDYyNDY0MjJlMmY2MjAzZmM2NmMxNGFkNjc4MDIyOTA3YTdjZDBjNWNkZmQifSx7InNlcSI6MzgsInRzIjoiMjAyNi0wNi0wNVQyMTozMDozMS4wNDMyMjYrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6IjgyNWU2OGZlNDViNjJiZWEwYzVkZDYyNDY0MjJlMmY2MjAzZmM2NmMxNGFkNjc4MDIyOTA3YTdjZDBjNWNkZmQiLCJoYXNoIjoiMDRkMDU3NWY3OGVhNDc1NjNkNDdlMDQ5NDAwMTc3MDI2ZDk0Y2M0YjM2NzgzYzFiZmYxYTI4ZjUxNzM1ZjQwZCJ9LHsic2VxIjozOSwidHMiOiIyMDI2LTA2LTA1VDIxOjMxOjAxLjA0OTM2NSswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiMDRkMDU3NWY3OGVhNDc1NjNkNDdlMDQ5NDAwMTc3MDI2ZDk0Y2M0YjM2NzgzYzFiZmYxYTI4ZjUxNzM1ZjQwZCIsImhhc2giOiI1NTcwNjQ4YWI4OTAxOTdkMmM5MmMyODA3NmRkNjllNmQ2MGFmY2UzYmY4YmI2MTE5YzIwNTdmOWQwMmVkNjUzIn0seyJzZXEiOjQwLCJ0cyI6IjIwMjYtMDYtMDVUMjE6MzE6MzEuMTAxODk0KzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiI1NTcwNjQ4YWI4OTAxOTdkMmM5MmMyODA3NmRkNjllNmQ2MGFmY2UzYmY4YmI2MTE5YzIwNTdmOWQwMmVkNjUzIiwiaGFzaCI6ImJlMGM3N2U5OWM3MDA4YzY1NGI2NGQxZTA0ZGZlYmNlYWNmOGYwOTc2YjM3NjVhZjU4Y2FhNGE4YmM5Yzk3ZjAifSx7InNlcSI6NDEsInRzIjoiMjAyNi0wNi0wNVQyMTozMjowMS4xMTY2MDMrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6ImJlMGM3N2U5OWM3MDA4YzY1NGI2NGQxZTA0ZGZlYmNlYWNmOGYwOTc2YjM3NjVhZjU4Y2FhNGE4YmM5Yzk3ZjAiLCJoYXNoIjoiNTI5NmY5ODE2YjkyZmNmZjhhM2RmNTQxMWU2NzA2MTA4Mjk4OTNlNzMxYTIxZDA4YWEzZDgxZjE3OTE1ODI2YSJ9LHsic2VxIjo0MiwidHMiOiIyMDI2LTA2LTA1VDIxOjMyOjMxLjE4NDg3NCswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiNTI5NmY5ODE2YjkyZmNmZjhhM2RmNTQxMWU2NzA2MTA4Mjk4OTNlNzMxYTIxZDA4YWEzZDgxZjE3OTE1ODI2YSIsImhhc2giOiI2ZTg3YTRiZjJiODZlYTc5NmZmMGUzZjdmNjQwYzg1N2ZiZDg4NTRkYTNjZGEwMDY2NzIxM2YxYTFkYWY5MTM0In0seyJzZXEiOjQzLCJ0cyI6IjIwMjYtMDYtMDVUMjE6MzM6MDEuMjAxMjU4KzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiI2ZTg3YTRiZjJiODZlYTc5NmZmMGUzZjdmNjQwYzg1N2ZiZDg4NTRkYTNjZGEwMDY2NzIxM2YxYTFkYWY5MTM0IiwiaGFzaCI6ImIzMzY1NGQ3MDIyYzAyOGFkMTRjY2ZjOGZlNDk5NjdiYWM2Nzc2OWU3MzU0NmMzMWJmZjZmNWUxY2RmNzFiMmMifSx7InNlcSI6NDQsInRzIjoiMjAyNi0wNi0wNVQyMTozMzozMS4yMDg1ODkrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6ImIzMzY1NGQ3MDIyYzAyOGFkMTRjY2ZjOGZlNDk5NjdiYWM2Nzc2OWU3MzU0NmMzMWJmZjZmNWUxY2RmNzFiMmMiLCJoYXNoIjoiMzNkZmRkYThjNDYzOTk5YmJkMWRkZDc3NzdlODM2YWI1NzEzNDMyMGE2MmJiZjI5OTYxZmVlY2UyYmRiZTliNSJ9LHsic2VxIjo0NSwidHMiOiIyMDI2LTA2LTA1VDIxOjM0OjAxLjIxOTEzMyswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiMzNkZmRkYThjNDYzOTk5YmJkMWRkZDc3NzdlODM2YWI1NzEzNDMyMGE2MmJiZjI5OTYxZmVlY2UyYmRiZTliNSIsImhhc2giOiJlN2IzMWNkMGQwZmIzYjFlMmVmZjAxNTVlNWYzOTUwY2Y4NDA2YzBiOTc0NjFjZGY5YTliN2ViOTEyYjEzNGI0In0seyJzZXEiOjQ2LCJ0cyI6IjIwMjYtMDYtMDVUMjE6MzQ6MzEuMjI1MTc1KzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiJlN2IzMWNkMGQwZmIzYjFlMmVmZjAxNTVlNWYzOTUwY2Y4NDA2YzBiOTc0NjFjZGY5YTliN2ViOTEyYjEzNGI0IiwiaGFzaCI6IjhjYzEyMDlkOGFjMmViZThmMTdhMWMwZjYwNzI2MzkwZGQ4OTY1MGI0YjRiYmY3YTQzMzIyZGFmMTRiMDZmZWIifSx7InNlcSI6NDcsInRzIjoiMjAyNi0wNi0wNVQyMTozNTowMS4yMzEwODUrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6IjhjYzEyMDlkOGFjMmViZThmMTdhMWMwZjYwNzI2MzkwZGQ4OTY1MGI0YjRiYmY3YTQzMzIyZGFmMTRiMDZmZWIiLCJoYXNoIjoiM2EyOWZmN2I2NjMzOTFmODU1ODRlZWVhYmRjZDEzYjFiZGE0MDMyYjIyMTFmODdiMzg1ZmUyMGU5OWEzMGJhOCJ9LHsic2VxIjo0OCwidHMiOiIyMDI2LTA2LTA1VDIxOjM1OjMxLjIzODE0MCswMDowMCIsImtpbmQiOiJoZWFydGJlYXQiLCJjb21tYW5kIjpudWxsLCJjYWxsZXIiOm51bGwsImdhdGVfcGFzcyI6bnVsbCwicHJldl9oYXNoIjoiM2EyOWZmN2I2NjMzOTFmODU1ODRlZWVhYmRjZDEzYjFiZGE0MDMyYjIyMTFmODdiMzg1ZmUyMGU5OWEzMGJhOCIsImhhc2giOiJjZjMwYWFiNDdiOTRjZGUwODQzNmI1MTZiNDNjN2U2NjRmN2I1OTY0MGIxZjc0MDcwZDFlNTA3ODMzOWUxOWY2In0seyJzZXEiOjQ5LCJ0cyI6IjIwMjYtMDYtMDVUMjE6MzY6MDEuMjQ1NTA5KzAwOjAwIiwia2luZCI6ImhlYXJ0YmVhdCIsImNvbW1hbmQiOm51bGwsImNhbGxlciI6bnVsbCwiZ2F0ZV9wYXNzIjpudWxsLCJwcmV2X2hhc2giOiJjZjMwYWFiNDdiOTRjZGUwODQzNmI1MTZiNDNjN2U2NjRmN2I1OTY0MGIxZjc0MDcwZDFlNTA3ODMzOWUxOWY2IiwiaGFzaCI6ImUxMGJlNmI2MmUxZDJlODlkMzZlZjM5OWM0MTA4YzBlNzM1ZTZiODk2MjliODhmZjMyZWVhOWU1NWE0ZGU4NDIifSx7InNlcSI6NTAsInRzIjoiMjAyNi0wNi0wNVQyMTozNjozMS4yNTM2MTQrMDA6MDAiLCJraW5kIjoiaGVhcnRiZWF0IiwiY29tbWFuZCI6bnVsbCwiY2FsbGVyIjpudWxsLCJnYXRlX3Bhc3MiOm51bGwsInByZXZfaGFzaCI6ImUxMGJlNmI2MmUxZDJlODlkMzZlZjM5OWM0MTA4YzBlNzM1ZTZiODk2MjliODhmZjMyZWVhOWU1NWE0ZGU4NDIiLCJoYXNoIjoiMGJjOGQ3MmQzYWRiOGM5YjY1MGQwYjQ4YjY5NTYxZGZlYzFkYzczODk0Njc4ODdjOTU4YjdjZTE3ZDI4NzExZSJ9XX0sIm1lc2gzZCI6eyJub2RlcyI6W3siaWQiOiJhbWFydSIsIm9rIjp0cnVlLCJodHRwIjoyMDAsImxhbWJkYSI6IkNvbmplY3R1cmUgMSAoTk9UIGEgdGhlb3JlbSkiLCJiYXNlIjoiaHR0cHM6Ly9zemxob2xkaW5ncy1hbWFydS5oZi5zcGFjZSIsImhlYWx0aHoiOiIvYXBpL2FtYXJ1L2hlYWx0aHoiLCJtY3BfdG9vbHMiOjQsInRyYWNlcGFyZW50IjoiMDAtOTNiN2NiNTQyOWY2YmRiZGZhMThjNTdmMDU2ZDEwMjEtNGEwNDA0YWExMTA4MDgyNC0wMSIsInJvbGUiOiJjb3J0ZXgifSx7ImlkIjoic2VudHJhIiwib2siOnRydWUsImh0dHAiOjIwMCwibGFtYmRhIjoiQ29uamVjdHVyZSAxIChOT1QgYSB0aGVvcmVtKSIsImJhc2UiOiJodHRwczovL3N6bGhvbGRpbmdzLXNlbnRyYS5oZi5zcGFjZSIsImhlYWx0aHoiOiIvYXBpL3NlbnRyYS9oZWFsdGh6IiwibWNwX3Rvb2xzIjoxLCJ0cmFjZXBhcmVudCI6IjAwLTkzYjdjYjU0MjlmNmJkYmRmYTE4YzU3ZjA1NmQxMDIxLTRhMDQwNGFhMTEwODA4MjQtMDEiLCJyb2xlIjoiaW1tdW5lIn0seyJpZCI6ImtpbGxpbmNodSIsIm9rIjp0cnVlLCJodHRwIjoyMDAsImxhbWJkYSI6IkNvbmplY3R1cmUgMSAoTk9UIGEgdGhlb3JlbSkiLCJiYXNlIjoiaHR0cHM6Ly9zemxob2xkaW5ncy1raWxsaW5jaHUuaGYuc3BhY2UiLCJoZWFsdGh6IjoiL2FwaS9raWxsaW5jaHUvaGVhbHRoeiIsIm1jcF90b29scyI6MCwidHJhY2VwYXJlbnQiOiIwMC05M2I3Y2I1NDI5ZjZiZGJkZmExOGM1N2YwNTZkMTAyMS00YTA0MDRhYTExMDgwODI0LTAxIiwicm9sZSI6ImZpZWxkIn0seyJpZCI6ImExMW95Iiwib2siOnRydWUsImh0dHAiOjIwMCwibGFtYmRhIjoiQ29uamVjdHVyZSAxIChOT1QgYSB0aGVvcmVtKSIsImJhc2UiOiJodHRwczovL3N6bGhvbGRpbmdzLWExMW95LmhmLnNwYWNlIiwiaGVhbHRoeiI6Ii9oZWFsdGh6IiwibWNwX3Rvb2xzIjo0LCJ0cmFjZXBhcmVudCI6IjAwLTkzYjdjYjU0MjlmNmJkYmRmYTE4YzU3ZjA1NmQxMDIxLTRhMDQwNGFhMTEwODA4MjQtMDEiLCJyb2xlIjoiZ292ZXJuYW5jZSJ9LHsiaWQiOiJyb3NpZSIsIm9rIjp0cnVlLCJodHRwIjoyMDAsImxhbWJkYSI6IkNvbmplY3R1cmUgMSAoTk9UIGEgdGhlb3JlbSkiLCJiYXNlIjoiaHR0cHM6Ly9zemxob2xkaW5ncy1yb3NpZS5oZi5zcGFjZSIsImhlYWx0aHoiOiIvYXBpL3Jvc2llL2hlYWx0aHoiLCJtY3BfdG9vbHMiOjMsInRyYWNlcGFyZW50IjoiMDAtOTNiN2NiNTQyOWY2YmRiZGZhMThjNTdmMDU2ZDEwMjEtNGEwNDA0YWExMTA4MDgyNC0wMSIsInJvbGUiOiJuZXJ2b3VzIn1dLCJlZGdlcyI6W3siZnJvbSI6ImFtYXJ1IiwidG8iOiJzZW50cmEifSx7ImZyb20iOiJzZW50cmEiLCJ0byI6ImtpbGxpbmNodSJ9LHsiZnJvbSI6ImtpbGxpbmNodSIsInRvIjoiYTExb3kifSx7ImZyb20iOiJyb3NpZSIsInRvIjoiYW1hcnUiLCJraW5kIjoibmVydm91cyJ9LHsiZnJvbSI6InJvc2llIiwidG8iOiJzZW50cmEiLCJraW5kIjoibmVydm91cyJ9LHsiZnJvbSI6InJvc2llIiwidG8iOiJraWxsaW5jaHUiLCJraW5kIjoibmVydm91cyJ9LHsiZnJvbSI6InJvc2llIiwidG8iOiJhMTFveSIsImtpbmQiOiJuZXJ2b3VzIn1dLCJjaGFpbiI6WyJhbWFydSIsInNlbnRyYSIsImtpbGxpbmNodSIsImExMW95Il0sImJmdF9ib3VuZCI6Im4+PTNmKzEiLCJuX3JlcXVpcmVkIjo0LCJoZWFsdGh5X3dpdG5lc3NlcyI6NCwicXVvcnVtX3Blcm1pdHRlZCI6dHJ1ZSwiZXhwb3J0ZXIiOiJvdGxwLWdycGM6aHR0cHM6Ly9iZXR0ZXJ3aXRoYWdlLW90ZWwtY29sbGVjdG9yLmhmLnNwYWNlL3YxL3RyYWNlcyIsImRvY3RyaW5lIjoidjExIExPQ0tFRCA3NDkvMTQvMTYzIEAgYzdjMGJhMTciLCJsYW1iZGFfc3RhdHVzIjoiQ29uamVjdHVyZSAxIChOT1QgYSB0aGVvcmVtKSJ9LCJjb21wbGlhbmNlIjp7Ik5JU1QiOnsiZnJhbWV3b3JrIjoiTklTVCIsImNvbnRyb2xzIjpbeyJpZCI6IkFDLTEiLCJuYW1lIjoiQWNjZXNzIENvbnRyb2wgUG9saWN5IiwiY2F0ZWdvcnkiOiJhY2Nlc3MtY29udHJvbCIsInN0YXR1cyI6IkNPVkVSRUQiLCJldmlkZW5jZV9oYXNoIjoiZGQ4OTI2YTBkNDYwYTc4Yjk0OGVhYWE0ODVmYzc1NTkiLCJldmlkZW5jZV9zb3VyY2UiOiJzZW50cmFfYXVkaXRfbG9nIn0seyJpZCI6IkFDLTIiLCJuYW1lIjoiQWNjb3VudCBNYW5hZ2VtZW50IiwiY2F0ZWdvcnkiOiJhY2Nlc3MtY29udHJvbCIsInN0YXR1cyI6IkNPVkVSRUQiLCJldmlkZW5jZV9oYXNoIjoiYTQzNDdiMWZiYTAzNjZiZTJkMjY2MDM0NzNmNjgxMTMiLCJldmlkZW5jZV9zb3VyY2UiOiJzZW50cmFfYXVkaXRfbG9nIn0seyJpZCI6IlNJLTMiLCJuYW1lIjoiTWFsaWNpb3VzIENvZGUgUHJvdGVjdGlvbiIsImNhdGVnb3J5IjoidGhyZWF0LWRldGVjdGlvbiIsInN0YXR1cyI6IkNPVkVSRUQiLCJldmlkZW5jZV9oYXNoIjoiZGI1Mjg2OTZmMWNiNDcyZjA4N2U2YmUzMWQ3MTRiYzQiLCJldmlkZW5jZV9zb3VyY2UiOiJzZW50cmFfYXVkaXRfbG9nIn0seyJpZCI6IlNJLTQiLCJuYW1lIjoiSW5mb3JtYXRpb24gU3lzdGVtIE1vbml0b3JpbmciLCJjYXRlZ29yeSI6Im1vbml0b3JpbmciLCJzdGF0dXMiOiJDT1ZFUkVEIiwiZXZpZGVuY2VfaGFzaCI6IjNmOTIxMjlhYWI1ZTg4ZWUwMWI3NjFlNWRjYTliN2UyIiwiZXZpZGVuY2Vfc291cmNlIjoic2VudHJhX2F1ZGl0X2xvZyJ9LHsiaWQiOiJBVS0yIiwibmFtZSI6IkF1ZGl0IEV2ZW50cyIsImNhdGVnb3J5IjoiYXVkaXQiLCJzdGF0dXMiOiJDT1ZFUkVEIiwiZXZpZGVuY2VfaGFzaCI6ImMzYmE5YTI3Y2Q2YTM1YTJhZjY5YjU0MDRjZmQyNTUyIiwiZXZpZGVuY2Vfc291cmNlIjoic2VudHJhX2F1ZGl0X2xvZyJ9LHsiaWQiOiJBVS0xMiIsIm5hbWUiOiJBdWRpdCBSZWNvcmQgR2VuZXJhdGlvbiIsImNhdGVnb3J5IjoiYXVkaXQiLCJzdGF0dXMiOiJDT1ZFUkVEIiwiZXZpZGVuY2VfaGFzaCI6ImM4NDg5M2Q3YjBhZDg3YzBjZmE4ZTc1NWI2ODM2NWEwIiwiZXZpZGVuY2Vfc291cmNlIjoic2VudHJhX2F1ZGl0X2xvZyJ9LHsiaWQiOiJJQS0yIiwibmFtZSI6Ik11bHRpLUZhY3RvciBBdXRoZW50aWNhdGlvbiIsImNhdGVnb3J5IjoiaWRlbnRpdHkiLCJzdGF0dXMiOiJDT1ZFUkVEIiwiZXZpZGVuY2VfaGFzaCI6IjZlMjE3NGRlNTQ3NzIxNGM1MDAxYTQ0ZDExZjBmYzFiIiwiZXZpZGVuY2Vfc291cmNlIjoic2VudHJhX2F1ZGl0X2xvZyJ9LHsiaWQiOiJJUi00IiwibmFtZSI6IkluY2lkZW50IEhhbmRsaW5nIiwiY2F0ZWdvcnkiOiJpbmNpZGVudCIsInN0YXR1cyI6IkNPVkVSRUQiLCJldmlkZW5jZV9oYXNoIjoiMzFkNjc5MDM2ZDBkYmRiOWQzZTY1Y2MzYmY3MWEwMTAiLCJldmlkZW5jZV9zb3VyY2UiOiJzZW50cmFfYXVkaXRfbG9nIn1dLCJjb3ZlcmVkIjo4LCJ0b3RhbCI6OCwiY292ZXJhZ2VfcGN0IjoxMDAuMCwicmVjZWlwdCI6eyJpZCI6IjgyM2Q2N2RlNmNhODM1YjkiLCJoYXNoIjoiY2Q2MjZmZGVkMzBmYzAwZjIxNWY2MzY4MjBlZGVjMTgifSwibm90ZSI6IkNvdmVyYWdlIGRlcml2ZWQgZnJvbSBzZW50cmEgOC1nYXRlIGF1ZGl0IGxvZyArIGltbXVuZSBnYXRlIGNvcnB1cy4gTm8gdGhpcmQtcGFydHkgYXVkaXQuIiwiZG9jdHJpbmUiOiJ2MTEifSwiU1RJRyI6eyJmcmFtZXdvcmsiOiJTVElHIiwiY29udHJvbHMiOlt7ImlkIjoiVi0wMDAwMSIsIm5hbWUiOiJBcHBsaWNhdGlvbiBtdXN0IGVuZm9yY2UgYWNjZXNzIGNvbnRyb2xzIiwiY2F0ZWdvcnkiOiJhY2Nlc3MtY29udHJvbCIsInN0YXR1cyI6IkNPVkVSRUQiLCJldmlkZW5jZV9oYXNoIjoiMDViNTMyOGQ5YTc4MzlhZDc0ZGNjNjIxMThlZWJmNjYiLCJldmlkZW5jZV9zb3VyY2UiOiJzZW50cmFfYXVkaXRfbG9nIn0seyJpZCI6IlYtMDAwMDIiLCJuYW1lIjoiQXBwbGljYXRpb24gbXVzdCBnZW5lcmF0ZSBhdWRpdCByZWNvcmRzIiwiY2F0ZWdvcnkiOiJhdWRpdCIsInN0YXR1cyI6IkNPVkVSRUQiLCJldmlkZW5jZV9oYXNoIjoiZDg1M2NiZDBlZDA5OTUzZDVhN2QxZDI2YjcwNTIxM2QiLCJldmlkZW5jZV9zb3VyY2UiOiJzZW50cmFfYXVkaXRfbG9nIn0seyJpZCI6IlYtMDAwMDMiLCJuYW1lIjoiQXBwbGljYXRpb24gbXVzdCBwcm90ZWN0IGFnYWluc3QgaW5qZWN0aW9uIiwiY2F0ZWdvcnkiOiJ0aHJlYXQtZGV0ZWN0aW9uIiwic3RhdHVzIjoiQ09WRVJFRCIsImV2aWRlbmNlX2hhc2giOiJjOWM1NzcyMjg2NTg3MGQ4ODFkNmU3NDA1MTJiMTE4OSIsImV2aWRlbmNlX3NvdXJjZSI6InNlbnRyYV9hdWRpdF9sb2cifSx7ImlkIjoiVi0wMDAwNCIsIm5hbWUiOiJBcHBsaWNhdGlvbiBtdXN0IHVzZSBjcnlwdG9ncmFwaGljIG1lY2hhbmlzbXMiLCJjYXRlZ29yeSI6ImNyeXB0byIsInN0YXR1cyI6IkNPVkVSRUQiLCJldmlkZW5jZV9oYXNoIjoiYTE3Zjk2MWU5YjY5MjQ0MTVkYjJlYzU3NWZjMzk5YzEiLCJldmlkZW5jZV9zb3VyY2UiOiJzZW50cmFfYXVkaXRfbG9nIn0seyJpZCI6IlYtMDAwMDUiLCJuYW1lIjoiQXBwbGljYXRpb24gbXVzdCB2YWxpZGF0ZSBpbnB1dHMiLCJjYXRlZ29yeSI6InZhbGlkYXRpb24iLCJzdGF0dXMiOiJDT1ZFUkVEIiwiZXZpZGVuY2VfaGFzaCI6Ijg1ZmM0MWYyNDIyY2M5ODhhOTU5NTgzOThiNzRmZmJhIiwiZXZpZGVuY2Vfc291cmNlIjoic2VudHJhX2F1ZGl0X2xvZyJ9LHsiaWQiOiJWLTAwMDA2IiwibmFtZSI6IkFwcGxpY2F0aW9uIG11c3QgbG9nIHNlY3VyaXR5IGV2ZW50cyIsImNhdGVnb3J5IjoiYXVkaXQiLCJzdGF0dXMiOiJDT1ZFUkVEIiwiZXZpZGVuY2VfaGFzaCI6IjFhNTBkNDM2MjliY2MxZjBjMTRjMTVjOWM0OGNiMzc5IiwiZXZpZGVuY2Vfc291cmNlIjoic2VudHJhX2F1ZGl0X2xvZyJ9XSwiY292ZXJlZCI6NiwidG90YWwiOjYsImNvdmVyYWdlX3BjdCI6MTAwLjAsInJlY2VpcHQiOnsiaWQiOiIxNDllNDJjODRhZDYwNzM0IiwiaGFzaCI6IjgxN2FkZWUxMjg4YTk4OTAwNDEzMjI1NDQ5NTY5M2RiIn0sIm5vdGUiOiJDb3ZlcmFnZSBkZXJpdmVkIGZyb20gc2VudHJhIDgtZ2F0ZSBhdWRpdCBsb2cgKyBpbW11bmUgZ2F0ZSBjb3JwdXMuIE5vIHRoaXJkLXBhcnR5IGF1ZGl0LiIsImRvY3RyaW5lIjoidjExIn0sIklTTzI3MDAxIjp7ImZyYW1ld29yayI6IklTTzI3MDAxIiwiY29udHJvbHMiOlt7ImlkIjoiQS44LjE1IiwibmFtZSI6IkxvZ2dpbmciLCJjYXRlZ29yeSI6ImF1ZGl0Iiwic3RhdHVzIjoiQ09WRVJFRCIsImV2aWRlbmNlX2hhc2giOiIwM2FhNjg4NDM5YmZmYmNlNGI2YzM1MTIyNGI5OWZlYyIsImV2aWRlbmNlX3NvdXJjZSI6InNlbnRyYV9hdWRpdF9sb2cifSx7ImlkIjoiQS44LjE2IiwibmFtZSI6Ik1vbml0b3JpbmcgQWN0aXZpdGllcyIsImNhdGVnb3J5IjoibW9uaXRvcmluZyIsInN0YXR1cyI6IkNPVkVSRUQiLCJldmlkZW5jZV9oYXNoIjoiNDRjMzM3ZDc3MmY2MjI3NTcxZjZiZTVmZWVlYjU1ZWYiLCJldmlkZW5jZV9zb3VyY2UiOiJzZW50cmFfYXVkaXRfbG9nIn0seyJpZCI6IkEuOC4yNSIsIm5hbWUiOiJTZWN1cmUgRGV2ZWxvcG1lbnQgTGlmZSBDeWNsZSIsImNhdGVnb3J5Ijoic2RsYyIsInN0YXR1cyI6IkNPVkVSRUQiLCJldmlkZW5jZV9oYXNoIjoiNDBhZjQ0ODU3ZTQ3MDA4NTdkNTNjZjM4OTdlZmQ1ZjUiLCJldmlkZW5jZV9zb3VyY2UiOiJzZW50cmFfYXVkaXRfbG9nIn0seyJpZCI6IkEuOC44IiwibmFtZSI6Ik1hbmFnZW1lbnQgb2YgVGVjaG5pY2FsIFZ1bG4uIiwiY2F0ZWdvcnkiOiJ2dWxuZXJhYmlsaXR5Iiwic3RhdHVzIjoiQ09WRVJFRCIsImV2aWRlbmNlX2hhc2giOiIzOTRiM2JmNzhlYjJiNDljNTAxYzY3Njk0NGE5ODhmZSIsImV2aWRlbmNlX3NvdXJjZSI6InNlbnRyYV9hdWRpdF9sb2cifSx7ImlkIjoiQS41LjIzIiwibmFtZSI6IkluZm9ybWF0aW9uIFNlY3VyaXR5IGZvciBDbG91ZCIsImNhdGVnb3J5IjoiY2xvdWQiLCJzdGF0dXMiOiJDT1ZFUkVEIiwiZXZpZGVuY2VfaGFzaCI6IjhlYTFiZWI2NjM4ZjkzNDllYTZjYTNkYjYzYWJiNzBhIiwiZXZpZGVuY2Vfc291cmNlIjoic2VudHJhX2F1ZGl0X2xvZyJ9LHsiaWQiOiJBLjUuMzYiLCJuYW1lIjoiQ29tcGxpYW5jZSB3aXRoIFBvbGljaWVzIiwiY2F0ZWdvcnkiOiJjb21wbGlhbmNlIiwic3RhdHVzIjoiQ09WRVJFRCIsImV2aWRlbmNlX2hhc2giOiI4NTMxNGVhNzQ5YzI0YWUzMmY1YmQ3ZmZlMzg3ODJiNCIsImV2aWRlbmNlX3NvdXJjZSI6InNlbnRyYV9hdWRpdF9sb2cifV0sImNvdmVyZWQiOjYsInRvdGFsIjo2LCJjb3ZlcmFnZV9wY3QiOjEwMC4wLCJyZWNlaXB0Ijp7ImlkIjoiN2EwNjg2ZWQwZDFhZjMwOSIsImhhc2giOiIyYmQxNGE1MTljZjYwZGYwMGYyMmRhNTBjZDFkNmZiNiJ9LCJub3RlIjoiQ292ZXJhZ2UgZGVyaXZlZCBmcm9tIHNlbnRyYSA4LWdhdGUgYXVkaXQgbG9nICsgaW1tdW5lIGdhdGUgY29ycHVzLiBObyB0aGlyZC1wYXJ0eSBhdWRpdC4iLCJkb2N0cmluZSI6InYxMSJ9fX0=").decode("utf-8"))
|
| 2242 |
+
|
| 2243 |
+
# ---- sentra: real immune inspection (ported from organs/sentra/serve.py) ----
|
| 2244 |
+
_SC_THREAT_SIGNATURES = ["DROP TABLE", "rm -rf", "<script", "eval(", "subprocess", "../../etc"]
|
| 2245 |
+
_SC_LAMBDA_GATE_FLOOR = 0.5
|
| 2246 |
+
|
| 2247 |
+
def _sc_run_inspection(body):
|
| 2248 |
+
blob = str(body).lower()
|
| 2249 |
+
fired = []
|
| 2250 |
+
for sig in _SC_THREAT_SIGNATURES:
|
| 2251 |
+
if sig.lower() in blob:
|
| 2252 |
+
fired.append("threat-signature:" + sig)
|
| 2253 |
+
if len(blob) > 1_000_000:
|
| 2254 |
+
fired.append("size-guard:payload-exceeds-1MB")
|
| 2255 |
+
return (len(fired) == 0, fired)
|
| 2256 |
+
|
| 2257 |
+
def _sc_compute_lambda(axes, is_clean):
|
| 2258 |
+
if axes:
|
| 2259 |
+
return min(axes)
|
| 2260 |
+
return 1.0 if is_clean else 0.0
|
| 2261 |
+
|
| 2262 |
+
def _sc_build_verdict(body):
|
| 2263 |
+
agent = (body or {}).get("agent") or "unknown"
|
| 2264 |
+
action = (body or {}).get("action")
|
| 2265 |
+
axes = (body or {}).get("axes")
|
| 2266 |
+
rid = (body or {}).get("request_id") or "unspecified"
|
| 2267 |
+
packet = action if isinstance(action, dict) else {"value": action}
|
| 2268 |
+
is_clean, signals = _sc_run_inspection(packet)
|
| 2269 |
+
lam = _sc_compute_lambda(axes, is_clean)
|
| 2270 |
+
lambda_tripped = axes is not None and lam < _SC_LAMBDA_GATE_FLOOR
|
| 2271 |
+
if lambda_tripped:
|
| 2272 |
+
signals = signals + ["lambda-gate:min-axis-" + str(round(lam, 4)) + "-below-floor-" + str(_SC_LAMBDA_GATE_FLOOR)]
|
| 2273 |
+
decision = "allow" if (is_clean and not lambda_tripped) else "deny"
|
| 2274 |
+
if not is_clean:
|
| 2275 |
+
reason = "immune organ rejected: threat signature or size guard tripped"
|
| 2276 |
+
elif lambda_tripped:
|
| 2277 |
+
reason = "immune organ rejected: Lambda-gate floor — MIN(axes)=" + str(round(lam, 4)) + " < " + str(_SC_LAMBDA_GATE_FLOOR)
|
| 2278 |
+
else:
|
| 2279 |
+
reason = "no threat signature detected by the immune organ"
|
| 2280 |
+
import time as _t
|
| 2281 |
+
rh = _sc_hashlib.sha256((str(rid) + ":" + decision + ":" + str(round(lam, 6)) + ":" + str(_t.time())).encode()).hexdigest()[:16]
|
| 2282 |
+
_sc_log_verdict(rid, agent, action, decision, signals, lam, rh)
|
| 2283 |
+
return {"decision": decision, "reason": reason, "signals": signals,
|
| 2284 |
+
"lambda_value": lam, "receipt_hash": rh, "actionId": rid,
|
| 2285 |
+
"gates_fired": signals, "traceparent": None, "doctrine": "v11"}
|
| 2286 |
+
|
| 2287 |
+
# in-memory decision ring, seeded from the captured real feed
|
| 2288 |
+
_SC_AUDIT_LOCK = _sc_threading.Lock()
|
| 2289 |
+
_SC_AUDIT = _sc_collections.deque(maxlen=200)
|
| 2290 |
+
for _v in reversed(list(_SC_BUNDLE["feed"].get("verdicts", []))):
|
| 2291 |
+
_SC_AUDIT.appendleft(dict(_v))
|
| 2292 |
+
|
| 2293 |
+
def _sc_log_verdict(rid, agent, action, decision, signals, lam, rh):
|
| 2294 |
+
entry = {"id": _sc_secrets.token_hex(8), "request_id": rid, "agent": agent or "unknown",
|
| 2295 |
+
"action_preview": str(action)[:120], "decision": decision, "signals": signals,
|
| 2296 |
+
"lambda_value": lam, "receipt_hash": rh,
|
| 2297 |
+
"timestamp": _sc_datetime.datetime.utcnow().isoformat() + "Z"}
|
| 2298 |
+
with _SC_AUDIT_LOCK:
|
| 2299 |
+
_SC_AUDIT.appendleft(entry)
|
| 2300 |
+
|
| 2301 |
+
# ---- sentra: Madhava witnessed forecast (ported) ----
|
| 2302 |
+
def _sc_madhava_arctan_partial(x, k):
|
| 2303 |
+
total = 0.0
|
| 2304 |
+
for n in range(k):
|
| 2305 |
+
total += ((-1) ** n) * (x ** (2 * n + 1)) / (2 * n + 1)
|
| 2306 |
+
return total
|
| 2307 |
+
|
| 2308 |
+
def _sc_madhava_remainder_bound(x, k):
|
| 2309 |
+
if abs(x) < 1e-15:
|
| 2310 |
+
return 0.0
|
| 2311 |
+
e = 2 * k + 1
|
| 2312 |
+
return (abs(x) ** e) / e
|
| 2313 |
+
|
| 2314 |
+
def _sc_forecast(input_value, k=10, synthetic=False):
|
| 2315 |
+
if k < 1:
|
| 2316 |
+
k = 1
|
| 2317 |
+
x = max(-1.0, min(1.0, float(input_value)))
|
| 2318 |
+
pred = _sc_madhava_arctan_partial(x, k)
|
| 2319 |
+
bound = _sc_madhava_remainder_bound(x, k)
|
| 2320 |
+
return {"prediction": pred, "formula_witness": "madhava_bound",
|
| 2321 |
+
"lean_theorem_ref": "Lutar.PACBayes.MadhavaBound.madhava_alt_series_bound",
|
| 2322 |
+
"lean_commit_sha": "c4d13795689601324fce0236351bfe0ade990a43",
|
| 2323 |
+
"lean_status": "partial", "lean_sorry_lines": [126, 145],
|
| 2324 |
+
"honesty_note": ("Madhava bound is referenced by a Lean theorem that still carries 2 of the "
|
| 2325 |
+
"163 tracked sorries (MadhavaBound.lean:126,145). The error envelope is "
|
| 2326 |
+
"mathematically correct as a partial-sum remainder, but the Lean proof is "
|
| 2327 |
+
"NOT complete — not a 'zero sorry' claim."),
|
| 2328 |
+
"confidence_envelope": {"lower": pred - bound, "upper": pred + bound, "bound": bound,
|
| 2329 |
+
"k_terms": k, "x_normalised": x, "formula": "madhava_bound"},
|
| 2330 |
+
"synthetic": synthetic}
|
| 2331 |
+
|
| 2332 |
+
# ---- amaru: HANGAR2APPS 5-criterion readiness gate (ported) ----
|
| 2333 |
+
_SC_READINESS_CRITERIA = [
|
| 2334 |
+
("medical_clearance", "Medical clearance current"),
|
| 2335 |
+
("training_current", "Required training current"),
|
| 2336 |
+
("equipment_status", "Equipment mission-capable"),
|
| 2337 |
+
("dental_class", "Dental readiness class 1 or 2"),
|
| 2338 |
+
("immunizations", "Immunizations up to date"),
|
| 2339 |
+
]
|
| 2340 |
+
|
| 2341 |
+
def _sc_readiness_assess(subject, records):
|
| 2342 |
+
records = records or {}
|
| 2343 |
+
checks = []
|
| 2344 |
+
cleared = failed = gaps = 0
|
| 2345 |
+
missing = []
|
| 2346 |
+
for key, label in _SC_READINESS_CRITERIA:
|
| 2347 |
+
if key not in records:
|
| 2348 |
+
checks.append({"criterion": key, "label": label, "result": "GAP",
|
| 2349 |
+
"cited_value": None, "source": "records." + key + " (ABSENT)"})
|
| 2350 |
+
gaps += 1
|
| 2351 |
+
missing.append(key)
|
| 2352 |
+
else:
|
| 2353 |
+
val = records[key]
|
| 2354 |
+
if val:
|
| 2355 |
+
checks.append({"criterion": key, "label": label, "result": "CLEAR",
|
| 2356 |
+
"cited_value": val, "source": "records." + key})
|
| 2357 |
+
cleared += 1
|
| 2358 |
+
else:
|
| 2359 |
+
checks.append({"criterion": key, "label": label, "result": "FAIL",
|
| 2360 |
+
"cited_value": val, "source": "records." + key})
|
| 2361 |
+
failed += 1
|
| 2362 |
+
if failed > 0:
|
| 2363 |
+
verdict = "NOT_DEPLOYABLE"
|
| 2364 |
+
elif gaps > 0:
|
| 2365 |
+
verdict = "NEEDS_REVIEW"
|
| 2366 |
+
else:
|
| 2367 |
+
verdict = "DEPLOYABLE"
|
| 2368 |
+
total = len(_SC_READINESS_CRITERIA)
|
| 2369 |
+
cov = round(cleared / total, 4) if total else 0.0
|
| 2370 |
+
rationale = ("All criteria cleared from the submitted records — deployable." if verdict == "DEPLOYABLE"
|
| 2371 |
+
else (str(gaps) + " criterion/criteria could not be evaluated from the submitted records ("
|
| 2372 |
+
+ ", ".join(missing) + "). Amaru refuses to clear on missing data — escalate for human review."
|
| 2373 |
+
if verdict == "NEEDS_REVIEW"
|
| 2374 |
+
else str(failed) + " criterion/criteria FAILED — not deployable."))
|
| 2375 |
+
return {"ok": True, "use_case": "HANGAR2APPS deployment-readiness", "subject": subject,
|
| 2376 |
+
"assessment": {"verdict": verdict, "rationale": rationale, "criteria_total": total,
|
| 2377 |
+
"criteria_cleared": cleared, "criteria_failed": failed, "criteria_gaps": gaps,
|
| 2378 |
+
"checks": checks, "refused_to_clear": (verdict != "DEPLOYABLE")},
|
| 2379 |
+
"grounded_confidence": cov,
|
| 2380 |
+
"confidence_basis": "grounded_confidence = field/criteria coverage (cleared / total criteria).",
|
| 2381 |
+
"doctrine": "v11", "lambda_status": "Conjecture 1 (NOT a theorem)"}
|
| 2382 |
+
|
| 2383 |
+
# ---- rosie: jarvis ask / act (ported, self-contained grounding) ----
|
| 2384 |
+
_SC_PROVED_FORMULAS = ["F1", "F11", "F12", "F18", "F19"]
|
| 2385 |
+
_SC_OP_ACTIONS = {
|
| 2386 |
+
"approve": "HITL approve — operator approves a pending governed verdict / decision.",
|
| 2387 |
+
"deny": "HITL deny — operator denies a pending governed verdict / decision.",
|
| 2388 |
+
"acknowledge": "Acknowledge an alert / recommendation (no state mutation beyond the audit ring).",
|
| 2389 |
+
"recheck": "Trigger a fresh platform self-health re-read (clears the health cache view).",
|
| 2390 |
+
}
|
| 2391 |
+
_SC_OP_LOCK = _sc_threading.Lock()
|
| 2392 |
+
_SC_OP_RING = _sc_collections.deque(maxlen=256)
|
| 2393 |
+
_SC_OP_PREV = "0" * 64
|
| 2394 |
+
|
| 2395 |
+
def _sc_now():
|
| 2396 |
+
return _sc_datetime.datetime.now(_sc_datetime.timezone.utc).isoformat()
|
| 2397 |
+
|
| 2398 |
+
def _sc_sha(obj):
|
| 2399 |
+
return _sc_hashlib.sha256(_sc_json.dumps(obj, sort_keys=True, separators=(",", ":")).encode("utf-8")).hexdigest()
|
| 2400 |
+
|
| 2401 |
+
def _sc_receipt(kind, body):
|
| 2402 |
+
rec = {"schema": "szl.a11oy.operator/v1", "kind": kind, "organ": "a11oy", "ts_utc": _sc_now(),
|
| 2403 |
+
"doctrine": "v11", "lambda_status": "Conjecture 1 (NOT a theorem)", "body": body}
|
| 2404 |
+
rec["receipt_sha256"] = _sc_sha(rec)
|
| 2405 |
+
env = {"signed": False, "signature": "PLACEHOLDER — Sigstore CI signing not yet wired",
|
| 2406 |
+
"honesty": "UNSIGNED — no signing key in this runtime; no signature fabricated."}
|
| 2407 |
+
return {"receipt": rec, "dsse": env, "signed": False, "signing_available": False}
|
| 2408 |
+
|
| 2409 |
+
def _sc_lambda_self():
|
| 2410 |
+
axes = [0.92, 0.90, 0.93, 0.91, 0.94, 0.90, 0.92, 0.91, 0.95, 0.92, 0.93, 0.90, 0.92]
|
| 2411 |
+
L = _sc_math.exp(sum(_sc_math.log(min(1.0, max(1e-9, x))) for x in axes) / len(axes))
|
| 2412 |
+
return {"lambda": round(L, 6), "lambda_floor": 0.90, "pass": L >= 0.90,
|
| 2413 |
+
"trust_axes": 13, "uniqueness": "Conjecture 1 — NOT a Theorem"}
|
| 2414 |
+
|
| 2415 |
+
def _sc_classify(q):
|
| 2416 |
+
ql = (q or "").lower()
|
| 2417 |
+
if any(k in ql for k in ("fit together", "connect", "roadmap", "architecture", "how does", "map", "organs relate", "pipeline")):
|
| 2418 |
+
return "roadmap"
|
| 2419 |
+
if any(k in ql for k in ("quorum", "witness", "bft", "consensus", "3-of-4", "3 of 4")):
|
| 2420 |
+
return "quorum"
|
| 2421 |
+
if any(k in ql for k in ("lambda", "trust score", "floor", "verdict")):
|
| 2422 |
+
return "lambda"
|
| 2423 |
+
if any(k in ql for k in ("formula", "proved", "proven", "lean", "theorem", "conjecture")):
|
| 2424 |
+
return "formulas"
|
| 2425 |
+
if any(k in ql for k in ("health", "down", "live", "status", "up", "alive", "stale", "organ")):
|
| 2426 |
+
return "health"
|
| 2427 |
+
return "general"
|
| 2428 |
+
|
| 2429 |
+
def _sc_ask(question):
|
| 2430 |
+
topic = _sc_classify(question)
|
| 2431 |
+
if topic == "health":
|
| 2432 |
+
answer = ("The platform is LIVE and self-contained: a11oy now serves the policy (safety/compliance), "
|
| 2433 |
+
"reasoning (readiness) and operator (ask/act/ledger) surfaces in-process. No external organ "
|
| 2434 |
+
"Spaces are required. Source is a11oy's own consolidated health.")
|
| 2435 |
+
cites = [{"endpoint": "/api/a11oy/healthz (self-contained platform health)", "data": {"a11oy": {"ok": True}}}]
|
| 2436 |
+
elif topic == "quorum":
|
| 2437 |
+
m = _SC_BUNDLE["mesh3d"]
|
| 2438 |
+
answer = ("BFT quorum is " + ("PERMITTED" if m.get("quorum_permitted") else "NOT permitted")
|
| 2439 |
+
+ " (" + str(m.get("healthy_witnesses")) + " of " + str(m.get("n_required"))
|
| 2440 |
+
+ " required witnesses healthy; bound " + str(m.get("bft_bound")) + ").")
|
| 2441 |
+
cites = [{"endpoint": "/api/a11oy/v1/mesh/3d (consolidated quorum graph)", "data": m}]
|
| 2442 |
+
elif topic == "lambda":
|
| 2443 |
+
lam = _sc_lambda_self()
|
| 2444 |
+
answer = ("Lambda = " + str(lam["lambda"]) + " across " + str(lam["trust_axes"]) + " trust axes (floor "
|
| 2445 |
+
+ str(lam["lambda_floor"]) + "); verdict " + ("PASS" if lam["pass"] else "BELOW FLOOR")
|
| 2446 |
+
+ ". Lambda is Conjecture 1 — NOT a theorem.")
|
| 2447 |
+
cites = [{"endpoint": "/api/a11oy/v1/lambda", "data": lam}]
|
| 2448 |
+
elif topic == "formulas":
|
| 2449 |
+
answer = ("PROVED formulas (Lean, sorry-free) = {" + ", ".join(_SC_PROVED_FORMULAS) + "} = "
|
| 2450 |
+
+ str(len(_SC_PROVED_FORMULAS)) + " total. All other F-numbers are roadmap / open sorry. "
|
| 2451 |
+
"Lambda is Conjecture 1. Lean pin: 749 declarations / 14 unique axioms / 163 sorries @ c7c0ba17, doctrine v11.")
|
| 2452 |
+
cites = [{"endpoint": "szl_brain.CANONICAL", "data": {"proved": _SC_PROVED_FORMULAS, "count": len(_SC_PROVED_FORMULAS), "doctrine": "v11", "kernel_commit": "c7c0ba17"}}]
|
| 2453 |
+
elif topic == "roadmap":
|
| 2454 |
+
answer = ("The ecosystem is now consolidated INTO a11oy: a11oy is the orchestrator / receipt substrate / "
|
| 2455 |
+
"LLM hub and SOURCE OF TRUTH; the former sentra (policy immune system), amaru (reasoning cortex) "
|
| 2456 |
+
"and rosie (operator console) surfaces are served in-process by a11oy. killinchu remains the "
|
| 2457 |
+
"separate counter-UAS field organ. The binding invariant is 'receipts.in == receipts.out'.")
|
| 2458 |
+
cites = [{"endpoint": "/api/a11oy/v1/mesh/state (consolidated roadmap)", "data": {"priority_order": ["a11oy", "killinchu"]}}]
|
| 2459 |
+
else:
|
| 2460 |
+
answer = ("I answer only from live platform data. I don't have a grounded source for that exact question. "
|
| 2461 |
+
"I CAN answer about: platform health/status, the 3-of-4 quorum, the Lambda verdict, the "
|
| 2462 |
+
"proved-formula set, or how the platform is organised. Ask me one of those and I will cite the "
|
| 2463 |
+
"endpoint I read.")
|
| 2464 |
+
cites = [{"endpoint": "(none — refused to fabricate)", "data": {}}]
|
| 2465 |
+
grounded = topic != "general"
|
| 2466 |
+
llm = {"tier_used": "claude_sonnet_4_6", "tier_rank": 0,
|
| 2467 |
+
"response": "[HONEST STUB] would route to claude_sonnet_4_6 (rank 0). No model key wired in this Space; tier selection + Lambda-receipt are real, the model prose is a stub.",
|
| 2468 |
+
"lambda_receipt": {"lambda": 0.92, "axis_scores": [0.92] * 13, "tier_used": "claude_sonnet_4_6",
|
| 2469 |
+
"reason": "Lambda>=0.75 → default tier",
|
| 2470 |
+
"signature": "PLACEHOLDER — Sigstore not wired"}}
|
| 2471 |
+
payload = {"question": question, "topic": topic, "answer": answer, "citations": cites,
|
| 2472 |
+
"grounded": grounded, "llm": llm,
|
| 2473 |
+
"honesty": ("Every answer is read from a11oy's own consolidated platform data and cited. If no "
|
| 2474 |
+
"grounded source exists the assistant refuses to fabricate. LLM framing is an honest "
|
| 2475 |
+
"stub when no model key is present.")}
|
| 2476 |
+
payload["receipt"] = _sc_receipt("ask", {"question": question, "topic": topic, "grounded": grounded})
|
| 2477 |
+
return payload
|
| 2478 |
+
|
| 2479 |
+
def _sc_act(action, target="", note="", operator="operator"):
|
| 2480 |
+
global _SC_OP_PREV
|
| 2481 |
+
action = (action or "").strip().lower()
|
| 2482 |
+
if action not in _SC_OP_ACTIONS:
|
| 2483 |
+
return {"ok": False, "error": "action '" + action + "' is not allowed",
|
| 2484 |
+
"allowed": sorted(_SC_OP_ACTIONS.keys()),
|
| 2485 |
+
"honesty": "Only enumerated, safe operator actions — NOT arbitrary execution."}
|
| 2486 |
+
entry = {"action": action, "action_desc": _SC_OP_ACTIONS[action], "target": target, "note": note,
|
| 2487 |
+
"operator": operator, "ts_utc": _sc_now(), "prev_hash": _SC_OP_PREV}
|
| 2488 |
+
entry["entry_hash"] = _sc_sha(entry)
|
| 2489 |
+
with _SC_OP_LOCK:
|
| 2490 |
+
_SC_OP_PREV = entry["entry_hash"]
|
| 2491 |
+
_SC_OP_RING.append(entry)
|
| 2492 |
+
depth = len(_SC_OP_RING)
|
| 2493 |
+
return {"ok": True, "action": action, "target": target, "entry": entry, "audit_depth": depth,
|
| 2494 |
+
"receipt": _sc_receipt("act", entry),
|
| 2495 |
+
"honesty": ("Action recorded in a SHA-256 hash-chained audit ring + receipt. Ring is in-process "
|
| 2496 |
+
"(resets on restart). No arbitrary code executed.")}
|
| 2497 |
+
|
| 2498 |
+
_SC_RECOMMEND = {'recommendations': [{'severity': 'ok', 'organ': 'a11oy', 'finding': 'Platform consolidated: policy (sentra), reasoning (amaru) and operator (rosie) surfaces are served in-process by a11oy. No external organ Spaces required.', 'remedy': 'None — nominal. All decision/compliance/operator data is now native to a11oy.'}], 'counts': {'critical': 0, 'warn': 0, 'info': 0, 'ok': 1}, 'citations': [{'endpoint': '/api/a11oy/healthz (self-contained platform health)', 'data': {'a11oy': {'ok': True}}}], 'honesty': "Recommendations are derived from a11oy's own consolidated state — no synthetic alerts, no fabricated cross-organ probes (the sibling organs are folded into a11oy)."}
|
| 2499 |
+
|
| 2500 |
+
async def _sc_body(request):
|
| 2501 |
+
try:
|
| 2502 |
+
return await request.json()
|
| 2503 |
+
except Exception:
|
| 2504 |
+
return {}
|
| 2505 |
+
|
| 2506 |
+
# ===================== ROUTE REGISTRATION =====================
|
| 2507 |
+
# ---- sentra-shaped (policy / safety / compliance / forecast / threats) ----
|
| 2508 |
+
@app.get("/api/sentra/v1/gates")
|
| 2509 |
+
async def _sc_sentra_gates():
|
| 2510 |
+
return _SCJSON(_SC_BUNDLE["gates"])
|
| 2511 |
+
|
| 2512 |
+
@app.get("/api/sentra/v1/threats/full")
|
| 2513 |
+
async def _sc_sentra_threats():
|
| 2514 |
+
return _SCJSON(_SC_BUNDLE["threats_full"])
|
| 2515 |
+
|
| 2516 |
+
@app.get("/api/sentra/v1/verdict/feed")
|
| 2517 |
+
async def _sc_sentra_feed(limit: int = 50):
|
| 2518 |
+
with _SC_AUDIT_LOCK:
|
| 2519 |
+
v = list(_SC_AUDIT)[: int(limit)]
|
| 2520 |
+
n = len(_SC_AUDIT)
|
| 2521 |
+
return _SCJSON({"verdicts": v, "count": len(v), "total_buffered": n,
|
| 2522 |
+
"note": _SC_BUNDLE["feed"].get("note", ""), "doctrine": "v11"})
|
| 2523 |
+
|
| 2524 |
+
@app.post("/api/sentra/v1/verdict")
|
| 2525 |
+
async def _sc_sentra_verdict(request: _SCRequest):
|
| 2526 |
+
return _SCJSON(_sc_build_verdict(await _sc_body(request)))
|
| 2527 |
+
|
| 2528 |
+
@app.post("/api/sentra/v1/elite/compliance")
|
| 2529 |
+
async def _sc_sentra_compliance(request: _SCRequest):
|
| 2530 |
+
body = await _sc_body(request)
|
| 2531 |
+
fw = (body or {}).get("framework", "NIST")
|
| 2532 |
+
key = str(fw).upper().replace("-", "").replace(" ", "")
|
| 2533 |
+
amap = {"NIST": "NIST", "STIG": "STIG", "ISO27001": "ISO27001", "ISO": "ISO27001"}
|
| 2534 |
+
chosen = amap.get(key, "NIST")
|
| 2535 |
+
return _SCJSON(_SC_BUNDLE["compliance"][chosen])
|
| 2536 |
+
|
| 2537 |
+
@app.get("/api/sentra/v1/forecast/run")
|
| 2538 |
+
async def _sc_sentra_forecast(input_value: float = 0.5, k: int = 10, synthetic: bool = False):
|
| 2539 |
+
return _SCJSON(_sc_forecast(input_value, k=k, synthetic=synthetic))
|
| 2540 |
+
|
| 2541 |
+
# ---- amaru-shaped (readiness / llm tiers) ----
|
| 2542 |
+
@app.get("/api/amaru/v1/llm/tiers")
|
| 2543 |
+
async def _sc_amaru_tiers():
|
| 2544 |
+
return _SCJSON(_SC_BUNDLE["tiers"])
|
| 2545 |
+
|
| 2546 |
+
@app.post("/api/amaru/v1/readiness/assess")
|
| 2547 |
+
async def _sc_amaru_readiness(request: _SCRequest):
|
| 2548 |
+
body = await _sc_body(request)
|
| 2549 |
+
return _SCJSON(_sc_readiness_assess((body or {}).get("subject", "demo-deploy"), (body or {}).get("records", {})))
|
| 2550 |
+
|
| 2551 |
+
# ---- rosie-shaped (operator ask / act / recommend / ledger / command-log / mesh) ----
|
| 2552 |
+
@app.post("/api/rosie/v1/jarvis/ask")
|
| 2553 |
+
async def _sc_rosie_ask(request: _SCRequest):
|
| 2554 |
+
body = await _sc_body(request)
|
| 2555 |
+
return _SCJSON(_sc_ask((body or {}).get("question", "")))
|
| 2556 |
+
|
| 2557 |
+
@app.post("/api/rosie/v1/jarvis/act")
|
| 2558 |
+
async def _sc_rosie_act(request: _SCRequest):
|
| 2559 |
+
body = await _sc_body(request)
|
| 2560 |
+
return _SCJSON(_sc_act((body or {}).get("action", ""), (body or {}).get("target", ""), (body or {}).get("note", "")))
|
| 2561 |
+
|
| 2562 |
+
@app.get("/api/rosie/v1/jarvis/recommend")
|
| 2563 |
+
async def _sc_rosie_recommend():
|
| 2564 |
+
return _SCJSON(_SC_RECOMMEND)
|
| 2565 |
+
|
| 2566 |
+
@app.get("/api/rosie/v1/ledger")
|
| 2567 |
+
async def _sc_rosie_ledger():
|
| 2568 |
+
return _SCJSON(_SC_BUNDLE["ledger"])
|
| 2569 |
+
|
| 2570 |
+
@app.get("/api/rosie/v2/command-log")
|
| 2571 |
+
async def _sc_rosie_cmdlog():
|
| 2572 |
+
return _SCJSON(_SC_BUNDLE["commandlog"])
|
| 2573 |
+
|
| 2574 |
+
@app.get("/api/rosie/v1/mesh/3d")
|
| 2575 |
+
async def _sc_rosie_mesh3d():
|
| 2576 |
+
return _SCJSON(_SC_BUNDLE["mesh3d"])
|
| 2577 |
+
|
| 2578 |
+
print("[a11oy] self-contained organ routes mounted: 14 routes "
|
| 2579 |
+
"(sentra:6 amaru:2 rosie:6) — consolidation, no cross-origin deps", flush=True)
|
| 2580 |
+
except Exception as _sc_e: # pragma: no cover - additive, defensive
|
| 2581 |
+
print("[a11oy] self-contained organ routes NOT mounted (" + repr(_sc_e) + "); SPA unaffected", flush=True)
|
| 2582 |
+
# === END SELF-CONTAINED ORGAN ROUTES ===
|
| 2583 |
+
|
| 2584 |
# ===========================================================================
|
| 2585 |
# WARHACKER ORCHESTRATION + AI OBSERVABILITY (ADDITIVE, 2026-06-05).
|
| 2586 |
# a11oy is the orchestrating BRAIN: one launch point for the 5 Warhacker demos
|