hf-sync: source 2eba3e5c22710421cdd82727102d2c3bcfa952d8 run 42256988213

.runtime/second-brain/pipeline-source.json

@@ -1,6 +1,6 @@
 {
-  "captured_at": "2026-11-06T15:37:09Z",
-  "receipt_sha256": "20461df1945c6ee4f43f94449ff3b5d175d11b58605897264d7cf1916b335e13",
+  "captured_at": "2026-11-06T16:56:42Z",
+  "receipt_sha256": "056681edd4047744df1c531b39b197bb45aba2c05cc57cf50ca80d1615910108",
   "schema": "szl.living-anatomy.pipeline-source/v1",
   "snapshot_json": "{\n  \"advisory_dag\": {\n    \"contract_digest\": \"943f51ddfc4120377898c9430c1e80b78af2c4979a9f3e561b423669d04752f9\",\n    \"contracts\": {\n      \"anchor_types\": [\n        \"source\"\n      ],\n      \"anchored_nodes\": [\n        \"HOLD\",\n        \"OBSERVE\",\n        \"VERIFY\"\n      ],\n      \"bounded_loop_iterations\": 1,\n      \"fake_edges\": [],\n      \"fan_in\": [],\n      \"hidden_resource_edges\": [],\n      \"input_gaps\": []\n    },\n    \"decision\": \"READY_TO_ORCHESTRATE\",\n    \"evidence_label\": \"MODELED\",\n    \"execution\": {\n      \"authorized\": false,\n      \"effectors\": 0,\n      \"mode\": \"PLAN_ONLY\",\n      \"note\": \"This endpoint computes a plan only. An executor must re-validate the exact digest, pass policy, obtain human approval where declared, and emit receipts for every write.\",\n      \"provider_calls\": 0,\n      \"writes\": 0\n    },\n    \"gates\": {\n      \"advisories\": [],\n      \"advisory_count\": 0,\n      \"blocker_count\": 0,\n      \"blockers\": [],\n      \"pass\": true\n    },\n    \"graph_id\": \"brain-frontier-review-3fb2cf2b7e55ecf179cf\",\n    \"implementation_status\": \"REAL\",\n    \"normalized_contract\": {\n      \"anchors\": [\n        {\n          \"description\": \"Require exact input, controller and receipt binding. Recorded review is untrusted; a matching digest does not establish truth, signature or production readiness.\",\n          \"id\": \"exact-source-and-advisory-boundary\",\n          \"nodes\": [\n            \"OBSERVE\",\n            \"VERIFY\",\n            \"HOLD\"\n          ],\n          \"required\": true,\n          \"type\": \"source\"\n        }\n      ],\n      \"budget\": {\n        \"max_depth\": 5,\n        \"max_nodes\": 5,\n        \"max_parallel\": 1,\n        \"max_total_iterations\": 1\n      },\n      \"external_inputs\": [\n        \"brain-candidates:sha256:3fb2cf2b7e55ecf179cf76e6afe97bcbbbd8fa645d1595bc0abb7440cf64e54a\",\n        \"ouroboros-controller:git:ff6fb0587dd000376dbc28d19b40f88e898fc70a\"\n      ],\n      \"goal\": \"Inspect the source-bound Second Brain and existing Ouroboros advisory review composition. This MODELED topology grants no execution authority and makes no claim that its nodes ran.\",\n      \"graph_id\": \"brain-frontier-review-3fb2cf2b7e55ecf179cf\",\n      \"nodes\": [\n        {\n          \"authority\": \"READ_ONLY\",\n          \"consumes\": [\n            \"brain-candidates:sha256:3fb2cf2b7e55ecf179cf76e6afe97bcbbbd8fa645d1595bc0abb7440cf64e54a\",\n            \"ouroboros-controller:git:ff6fb0587dd000376dbc28d19b40f88e898fc70a\"\n          ],\n          \"control_after\": [],\n          \"depends_on\": [],\n          \"exit_conditions\": [],\n          \"fresh_context\": false,\n          \"id\": \"OBSERVE\",\n          \"label\": \"Bind fixed public source packet\",\n          \"max_iterations\": null,\n          \"produces\": [\n            \"source.packet\"\n          ],\n          \"reads\": [],\n          \"resources\": [],\n          \"role\": \"scope\",\n          \"side_effecting\": false,\n          \"verifier_for\": [],\n          \"writes\": []\n        },\n        {\n          \"authority\": \"READ_ONLY\",\n          \"consumes\": [\n            \"source.packet\"\n          ],\n          \"control_after\": [],\n          \"depends_on\": [\n            \"OBSERVE\"\n          ],\n          \"exit_conditions\": [],\n          \"fresh_context\": false,\n          \"id\": \"ORIENT\",\n          \"label\": \"Prepare review input from source handles\",\n          \"max_iterations\": null,\n          \"produces\": [\n            \"review.input\"\n          ],\n          \"reads\": [],\n          \"resources\": [],\n          \"role\": \"reducer\",\n          \"side_effecting\": false,\n          \"verifier_for\": [],\n          \"writes\": []\n        },\n        {\n          \"authority\": \"PROPOSE\",\n          \"consumes\": [\n            \"review.input\"\n          ],\n          \"control_after\": [],\n          \"depends_on\": [\n            \"ORIENT\"\n          ],\n          \"exit_conditions\": [\n            \"review_returned\",\n            \"review_failed\",\n            \"budget_exhausted\"\n          ],\n          \"fresh_context\": false,\n          \"id\": \"PROPOSE\",\n          \"label\": \"One bounded advisory reviewer attempt\",\n          \"max_iterations\": 1,\n          \"produces\": [\n            \"untrusted.review\"\n          ],\n          \"reads\": [],\n          \"resources\": [],\n          \"role\": \"loop\",\n          \"side_effecting\": false,\n          \"verifier_for\": [],\n          \"writes\": []\n        },\n        {\n          \"authority\": \"READ_ONLY\",\n          \"consumes\": [\n            \"source.packet\",\n            \"untrusted.review\"\n          ],\n          \"control_after\": [],\n          \"depends_on\": [\n            \"OBSERVE\",\n            \"PROPOSE\"\n          ],\n          \"exit_conditions\": [],\n          \"fresh_context\": true,\n          \"id\": \"VERIFY\",\n          \"label\": \"Validate source-bound review receipt\",\n          \"max_iterations\": null,\n          \"produces\": [\n            \"advisory.observation\"\n          ],\n          \"reads\": [],\n          \"resources\": [],\n          \"role\": \"verifier\",\n          \"side_effecting\": false,\n          \"verifier_for\": [\n            \"PROPOSE\"\n          ],\n          \"writes\": []\n        },\n        {\n          \"authority\": \"READ_ONLY\",\n          \"consumes\": [\n            \"advisory.observation\"\n          ],\n          \"control_after\": [],\n          \"depends_on\": [\n            \"VERIFY\"\n          ],\n          \"exit_conditions\": [],\n          \"fresh_context\": false,\n          \"id\": \"HOLD\",\n          \"label\": \"Hold recommendations for human admission\",\n          \"max_iterations\": null,\n          \"produces\": [\n            \"public.aggregate\"\n          ],\n          \"reads\": [],\n          \"resources\": [],\n          \"role\": \"governance\",\n          \"side_effecting\": false,\n          \"verifier_for\": [],\n          \"writes\": []\n        }\n      ],\n      \"schema\": \"szl.governed-graph/v1\"\n    },\n    \"ok\": true,\n    \"plan_id\": \"ggp-943f51ddfc4120377898\",\n    \"schema\": \"szl.governed-graph.analysis/v1\",\n    \"topology\": {\n      \"control_edge_count\": 0,\n      \"critical_path\": [\n        \"OBSERVE\",\n        \"ORIENT\",\n        \"PROPOSE\",\n        \"VERIFY\",\n        \"HOLD\"\n      ],\n      \"critical_path_nodes\": 5,\n      \"data_edge_count\": 5,\n      \"edges\": [\n        {\n          \"kind\": \"data\",\n          \"source\": \"OBSERVE\",\n          \"target\": \"ORIENT\"\n        },\n        {\n          \"kind\": \"data\",\n          \"source\": \"ORIENT\",\n          \"target\": \"PROPOSE\"\n        },\n        {\n          \"kind\": \"data\",\n          \"source\": \"OBSERVE\",\n          \"target\": \"VERIFY\"\n        },\n        {\n          \"kind\": \"data\",\n          \"source\": \"PROPOSE\",\n          \"target\": \"VERIFY\"\n        },\n        {\n          \"kind\": \"data\",\n          \"source\": \"VERIFY\",\n          \"target\": \"HOLD\"\n        }\n      ],\n      \"layer_count\": 5,\n      \"layers\": [\n        [\n          \"OBSERVE\"\n        ],\n        [\n          \"ORIENT\"\n        ],\n        [\n          \"PROPOSE\"\n        ],\n        [\n          \"VERIFY\"\n        ],\n        [\n          \"HOLD\"\n        ]\n      ],\n      \"max_declared_parallel\": 1,\n      \"node_count\": 5,\n      \"schedule\": [\n        {\n          \"batch\": 0,\n          \"nodes\": [\n            \"OBSERVE\"\n          ],\n          \"topology_layer\": 0\n        },\n        {\n          \"batch\": 1,\n          \"nodes\": [\n            \"ORIENT\"\n          ],\n          \"topology_layer\": 1\n        },\n        {\n          \"batch\": 2,\n          \"nodes\": [\n            \"PROPOSE\"\n          ],\n          \"topology_layer\": 2\n        },\n        {\n          \"batch\": 3,\n          \"nodes\": [\n            \"VERIFY\"\n          ],\n          \"topology_layer\": 3\n        },\n        {\n          \"batch\": 4,\n          \"nodes\": [\n            \"HOLD\"\n          ],\n          \"topology_layer\": 4\n        }\n      ],\n      \"scheduled_parallel_cap\": 1,\n      \"terminals\": [\n        \"HOLD\"\n      ]\n    }\n  },\n  \"authority\": {\n    \"controller_content_access\": \"NOT_EXPOSED_BY_A11OY_HOLOGRAPHIC\",\n    \"execution\": \"NONE\",\n    \"human_review_required\": true,\n    \"merge\": \"NONE\",\n    \"private_graph_present\": false,\n    \"promotion\": \"NONE\",\n    \"provider_mutation\": \"NONE\",\n    \"public_content_access\": \"HANDLES_ONLY\",\n    \"raw_graph_nodes_admitted_to_gradients\": 0,\n    \"training\": \"NONE\"\n  },\n  \"formula_atlas\": {\n    \"attributed_formula_count\": 30,\n    \"executable_formula_count\": 21,\n    \"f_number_to_executable_mapping\": \"UNKNOWN_NOT_INFERRED\",\n    \"lambda\": \"CONJECTURE_1\",\n    \"locked_proven_formula_count\": 8,\n    \"quant_domain_count\": 9\n  },\n  \"handles\": [\n    {\n      \"admission\": \"REFERENCE_AND_CONSTRAINT_INPUT_ONLY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"formula-authority\",\n      \"nodeId\": \"frontier:f3bb4c862c5304550222e3092034a3a1\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"cd0b14a1f51f5cd1343bb1acfdb1ea5a67caaf74ae7336871f72ca91adea3e98\",\n      \"title\": \"SZL formula authority and proof boundary\"\n    },\n    {\n      \"admission\": \"REFERENCE_AND_CONSTRAINT_INPUT_ONLY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"quant-domain\",\n      \"nodeId\": \"frontier:ad197743c7be2f70c6003023759a2007\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"algebra_number_theory\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"a4914529cbb0a2897db4db76556449b5903dfc537a7b6dfe2e2ae5a11275337c\",\n      \"title\": \"Quant domain \u00b7 algebra_number_theory\"\n    },\n    {\n      \"admission\": \"REFERENCE_AND_CONSTRAINT_INPUT_ONLY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"quant-domain\",\n      \"nodeId\": \"frontier:96aaf16256766cf6f7088d71d3e00178\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"coding_error_control\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"2b6cfe81059e5c999666ff70df097b8f5e8963e0ad5b5d9e6044dac1a1baf9d8\",\n      \"title\": \"Quant domain \u00b7 coding_error_control\"\n    },\n    {\n      \"admission\": \"REFERENCE_AND_CONSTRAINT_INPUT_ONLY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"quant-domain\",\n      \"nodeId\": \"frontier:47c98cf7635e51dddd6bfe8f1cb44aa3\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"dynamics_consensus\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"425063b28233534a11b377eaa31774533d989efb47f817a52db4fa9e0243d773\",\n      \"title\": \"Quant domain \u00b7 dynamics_consensus\"\n    },\n    {\n      \"admission\": \"REFERENCE_AND_CONSTRAINT_INPUT_ONLY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"quant-domain\",\n      \"nodeId\": \"frontier:846e146e04d32c047cfb8192cfaa8612\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"energy_entropy_physics\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"b031d48407a2014c2408628cee00df79fe93944ae808a6441869dd86ad94a1c1\",\n      \"title\": \"Quant domain \u00b7 energy_entropy_physics\"\n    },\n    {\n      \"admission\": \"REFERENCE_AND_CONSTRAINT_INPUT_ONLY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"quant-domain\",\n      \"nodeId\": \"frontier:d42ff1b5b026ca81332ae454f77767ee\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"governance_receipts\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"433930401f936e9dbbf13ededa8af587649a8eeffc8ccaf3d316e6631d61d11e\",\n      \"title\": \"Quant domain \u00b7 governance_receipts\"\n    },\n    {\n      \"admission\": \"REFERENCE_AND_CONSTRAINT_INPUT_ONLY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"quant-domain\",\n      \"nodeId\": \"frontier:24ba02fabdecf5df70ce1bd49606600d\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"information_geometry\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"6bc170f056d59934b07c9750dd6c8a06e4c6c8e4d5ae28adfb7a9addadff7df6\",\n      \"title\": \"Quant domain \u00b7 information_geometry\"\n    },\n    {\n      \"admission\": \"REFERENCE_AND_CONSTRAINT_INPUT_ONLY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"quant-domain\",\n      \"nodeId\": \"frontier:425f3bc53f948226d1ad2d1b8965d943\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"narrative_lineage\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"513061182bd0a4004b881b73c671cd5f2753740c54565439a8d525f52043102e\",\n      \"title\": \"Quant domain \u00b7 narrative_lineage\"\n    },\n    {\n      \"admission\": \"REFERENCE_AND_CONSTRAINT_INPUT_ONLY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"quant-domain\",\n      \"nodeId\": \"frontier:1f66a9e21658845af8ceacf49cd133dd\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"topology_geometry\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"9dd4155f72133f2258b00fffef10dd2205c775d5afbdb9dd681975fa4764d441\",\n      \"title\": \"Quant domain \u00b7 topology_geometry\"\n    },\n    {\n      \"admission\": \"REFERENCE_AND_CONSTRAINT_INPUT_ONLY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"quant-domain\",\n      \"nodeId\": \"frontier:f0d70d258d65cf6c842e35f4c851d6cb\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"trust_aggregation\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"7beceacb3f2c461bd61c83800b9b81699706ddbba58fd200aff973a1621fe096\",\n      \"title\": \"Quant domain \u00b7 trust_aggregation\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:026415ef9997223eb9d9a740c5edf159\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"algebra_number_theory\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"42632635db201d20789f211008c02479d7eb3afb51af21b4b83df19d99de8359\",\n      \"title\": \"Attributed formula \u00b7 TH_V18_04-egyptian-horus\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:594839b4b93d25ec1464dde210aabbdd\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"algebra_number_theory\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"d103ce1dbad7fc697c5df4566a722638c6f31097e4a73b79bd5a3cfd91fb33aa\",\n      \"title\": \"Attributed formula \u00b7 madhava-leibniz-atan\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:a81d1c5e64aafa6b71ed102941ad04b2\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"algebra_number_theory\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"f868692dfba193e3e4a5c3f1316a357bc3456ef81aea032ee1de9ce694ad92c9\",\n      \"title\": \"Attributed formula \u00b7 quadratic-completion\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:bbbc1d40d4507f1e1e6a38a533f87f04\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"algebra_number_theory\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"e51c893dbc543ad1f3793d85a64109001023f6b9fd38dbd91eaad67774125c82\",\n      \"title\": \"Attributed formula \u00b7 cauchy-schwarz-2d\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:563216f9a931f2ec6c0ecd000dd385dd\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"coding_error_control\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"a8f8a1edcdb52d577f8aa1e7051f52822fb9a6e83bc3a8c255dc39f432a87bbd\",\n      \"title\": \"Attributed formula \u00b7 F18-reed-solomon-singleton\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:68e4e3b54976f03acf81b5032cc78852\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"coding_error_control\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"888023b0e61909fae9bfc18f704c31a54a121ee38c8b65c3bad7474f8fbd45ec\",\n      \"title\": \"Attributed formula \u00b7 TH_V18_03-kraft\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:ea78a0b2adf2d9823530498ceb12ea6b\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"coding_error_control\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"dc68470e65ce8d9406c3c5b334996065e59845dd81444fcfc27bfb0c52a2e7ef\",\n      \"title\": \"Attributed formula \u00b7 shor-913-distance\"\n    },\n    {\n      \"admission\": \"SOURCE_RECEIPT_REQUIRED_FOR_CURRENT_CLAIM\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:159ea57d7b5f76b805261008d9d91c8f\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"dynamics_consensus\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"0dec98551c0f184a010cf057a015b3f9d583f53c8ed09f7b6170a9611244705b\",\n      \"title\": \"Attributed formula \u00b7 K06-rho-closure\"\n    },\n    {\n      \"admission\": \"OPEN_NOT_EXECUTION_AUTHORITY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:1a38aa7a9707ff38a524f5920a20b5f5\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"dynamics_consensus\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"76fe8437cc6f13ff8f7eb89e273054215ff1792a057f17f28cd32424de6f9091\",\n      \"title\": \"Attributed formula \u00b7 conjecture-2-khipu-safety\"\n    },\n    {\n      \"admission\": \"OPEN_NOT_EXECUTION_AUTHORITY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:6493eb1eb107034327f15ff5f970f8d5\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"dynamics_consensus\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"f8f5f7bda8a06fb41cf2cd3bd144bf8634b233ed846e104abddcd73139f526ef\",\n      \"title\": \"Attributed formula \u00b7 conjecture-3-khipu-liveness\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:7c8b67901b90bff6b26bc6ca80e7472c\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"dynamics_consensus\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"8e6d26e93601da68676c9da484e5fe0fd1b2e82478e12f840f835771eabd32fd\",\n      \"title\": \"Attributed formula \u00b7 F12-kuramoto-additive\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:aee180db616183454a9faa838d2f4765\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"dynamics_consensus\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"a1935f1da958093060f2a06c7238d181c618c59e07c8bb4527afc4f497a84c1f\",\n      \"title\": \"Attributed formula \u00b7 byzantine-n3f1\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:343967ef58bacaa089329424cd9146b8\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"energy_entropy_physics\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"915bbe22c615c17fba8bef4e771e2834a556b4b48a27d6351960294cad9af94c\",\n      \"title\": \"Attributed formula \u00b7 bekenstein-dimensional\"\n    },\n    {\n      \"admission\": \"SOURCE_RECEIPT_REQUIRED_FOR_CURRENT_CLAIM\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:a45e7d1d65612602b464671da8a25a5b\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"energy_entropy_physics\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"2e5c035d7ad693b3a62457ab4b1ae16095ed2829a90b0063642b1321f9c0f2c2\",\n      \"title\": \"Attributed formula \u00b7 K13-bekenstein-fire\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:a9285fad3bd03848ba0547ceffcc46b5\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"energy_entropy_physics\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"8863cedef07c9d4d17ad6a0a50fe021efc9183b2cb0046d6f54f72569a17bc87\",\n      \"title\": \"Attributed formula \u00b7 landauer-energy\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:eedbb984404664b5faba8290f63da8ed\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"energy_entropy_physics\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"ca574c44f2813713834f0cfc961c845f84b48f439974ff44e7f6f9b596854673\",\n      \"title\": \"Attributed formula \u00b7 F19-bekenstein-additive\"\n    },\n    {\n      \"admission\": \"SOURCE_RECEIPT_REQUIRED_FOR_CURRENT_CLAIM\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:458eab766d1ddf0bb744124fb00b5aab\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"governance_receipts\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"71f39d24edafef0c080539ffbb96f0f110802c413e3d1293ca0fc03976a9d393\",\n      \"title\": \"Attributed formula \u00b7 K01-receipt-build-latency\"\n    },\n    {\n      \"admission\": \"SOURCE_RECEIPT_REQUIRED_FOR_CURRENT_CLAIM\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:554c7eaf345fbab33993519dd946464f\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"governance_receipts\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"0c62c87de45402b16397d3e527b8602c37bc8551872fa3f9415dfc2f9d233d6d\",\n      \"title\": \"Attributed formula \u00b7 k-verify-accuracy\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:b470d983f9b4f64edcb5ae81c8447d26\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"governance_receipts\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"6dfe3d76718ca4b3a09fdb0cdc89be992825e6c97f22b988cea118df970e445b\",\n      \"title\": \"Attributed formula \u00b7 F0003-receipt-edge\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:bfa604585daefaf4343b3b471722288f\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"governance_receipts\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"126d0d7943b7355cfb08f5f36dd1bdc336eb0d6573bb4b5172b21fcc76e86543\",\n      \"title\": \"Attributed formula \u00b7 F0001-system-tuple\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:c7525ddcdda75ca00f9c7211d31390a2\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"governance_receipts\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"d4ca5d16e3bca8d265bfab98ffa2eda389bbfa0178cff151ba19406e17e0d673\",\n      \"title\": \"Attributed formula \u00b7 dsse-envelope-struct\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:e45d8603d9143b1101cef7d8f19b3163\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"information_geometry\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"f6d3adba6eb554432e3b82ca2cdd41bb50c68a4654d4c1f7738552a650f53055\",\n      \"title\": \"Attributed formula \u00b7 fisher-rao-identity\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:f71d0f3ac7887d59da334c788ae84f8f\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"information_geometry\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"5a69a168deac0aa4165ae2d1ea2e120d5bbbb80655810849ccce76e2f0b44654\",\n      \"title\": \"Attributed formula \u00b7 pinsker-2pt\"\n    },\n    {\n      \"admission\": \"OPEN_NOT_EXECUTION_AUTHORITY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:a51a95b241e91dd252039817a78c7f39\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"narrative_lineage\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"8fd41de002b074ca033214d55ec5915e42a886006f3bf0160118fcafcd8bcfab\",\n      \"title\": \"Attributed formula \u00b7 code-of-reality-lineage\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:124619d7bc4c9abd38138f86c92afffb\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"topology_geometry\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"86d3ebb143da9cbd1a4c39e9792d6c7559fe558648c7ccaf8db8620fcc1ac896\",\n      \"title\": \"Attributed formula \u00b7 F1-euler-khipu-chi\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:221dee18b0bed46d73ad88b32f0c3e07\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"trust_aggregation\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"b11a875965d99144d1ca82806bb1f7892bf780bd018845e33a7a003beb2fc5bb\",\n      \"title\": \"Attributed formula \u00b7 A2-homogeneity\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:73496b51f85190fc818dbcca770efc1e\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"trust_aggregation\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"74f4f0f0ab1d6dd8eecab8c330541dd21790c550c47a58050f0bb9bb4431323a\",\n      \"title\": \"Attributed formula \u00b7 axis-schema-13\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:d8d69faca05db436f1d2102613e3e77d\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"trust_aggregation\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"becc67c75fbd22af5b25a0c577b73ad8a3575d26d03a9a8ab984ffd744c71df9\",\n      \"title\": \"Attributed formula \u00b7 lambda-score-dimensionless\"\n    },\n    {\n      \"admission\": \"OPEN_NOT_EXECUTION_AUTHORITY\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:e0ed172ac06c87afc171b0745dcd6409\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"trust_aggregation\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"9083b6fac01a3c721361f33a2882b0581ae198bdb2942c0c8218933ca06dbcd7\",\n      \"title\": \"Attributed formula \u00b7 TH_L1-lambda-uniqueness\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_UNLESS_EXECUTABLE_MATCH_IS_EXPLICIT\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"attributed-formula\",\n      \"nodeId\": \"frontier:e13effcd1e739a8271f0f0bcaf4d138a\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"quantDomain\": \"trust_aggregation\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"dad8bc06cd8b20519a2c897af7765640974b151a102c0d470767c14d56b5c92d\",\n      \"title\": \"Attributed formula \u00b7 A4-bounded-amgm\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:05f5c5ee08e1ce7a7cce68bf06918892\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"b8ce3c695ad48e0e60b31e14796a27231f0d3cc95ee3b3571f823b59974a985e\",\n      \"title\": \"Executable formula \u00b7 reidemeister_invariant\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:082ebbf877cb0a3bfe66b1cba0de5f69\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"d116c3f7a7381e1170a3823ffdf659086ced7973ebfbb050b9be740d8f0e58a4\",\n      \"title\": \"Executable formula \u00b7 fisher_rao_distance\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:0928dd24eb9b8e0be5317a8e14543995\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"ce525144b3fb1ae855a1b71ebc1e04efea48af5f35c5cceca07bc077253614d0\",\n      \"title\": \"Executable formula \u00b7 lambda_bounded\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:2a1293a0d7f9405b4773fa35fcd06445\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"61f26aabf2755e1435f75c66cd8de5fc488d55f9d55a3e573ceceebde69e8450\",\n      \"title\": \"Executable formula \u00b7 pac_bayes_mcallester\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:3d47a9f04d560f1d07bca8fb6561c943\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"ab5a596c7c240623eb03a70cb80d7d02504fb3a55bf884e9574bb2077674189f\",\n      \"title\": \"Executable formula \u00b7 khipu_merkle_root\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:3d72e7bb18adae0329277195f6179e59\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"5eb51498e3750107e708ac892275d84941d3d1da41ffd9c8496494a92ab8faae\",\n      \"title\": \"Executable formula \u00b7 two_witness_ks18_soundness\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:4d0b392125937dc85363e19a24330e08\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"30332b2ebbc704ff43e95d8eaa1894347c89ae4c66c5b0408aeb38e6f9491c07\",\n      \"title\": \"Executable formula \u00b7 shor_codeword_distance\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:5819e7cbf8226fd3d0f316d808be2cfb\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"1d5044ee5f6c1114e397fb25fe087789c0e5b53b53a459830bf0269164d1625c\",\n      \"title\": \"Executable formula \u00b7 gleason_quantum_lambda\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:5e139d748870f8d2b46938abe761cc47\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"18ea9722c891b05fce2048aa8d28df73fb3c537ada35f803a0afe634481cabde\",\n      \"title\": \"Executable formula \u00b7 bohr_complementarity_floor\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:6cb2bdfe3186341d03fe86676dcedb61\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"d157a9ceca02405c095cb38e2321e40383e89d4348f3aa5261af24d1d5504006\",\n      \"title\": \"Executable formula \u00b7 kitaev_surface_correct\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:759f01be190dee792fabe51d309c3977\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"b743028aa9135122d43a716c3f520073ce6a40cddeb13b9966db1ff5503a8700\",\n      \"title\": \"Executable formula \u00b7 css_ingress_verify\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:76d83bf2809eec9cb342e9e8dd5bdc15\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"1d72110cc1ceca8bc4babac2bf9a5c781aedbb0376c63d784af326c359736e57\",\n      \"title\": \"Executable formula \u00b7 pinsker_kl_bound\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:79f594694f9401877774c9fc9533df6c\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"9517bf54edb3165359eb11bba428aebf4fd8100dff60d31bcde20018f2743e00\",\n      \"title\": \"Executable formula \u00b7 reed_solomon_singleton\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:9876ba09c3d4eb54332de976babb9272\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"24709b560c7f0be62ecdce49e90c724932427c9890dad8117799c22da632f0e7\",\n      \"title\": \"Executable formula \u00b7 madhava_series\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:9c0d0fc9f0cbe2fe3c00f8962c103d5d\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"f602cd88a352fa43a74636719a528e0e506285206dcb4ef29c3f709848f88005\",\n      \"title\": \"Executable formula \u00b7 dsse_envelope\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:a992ed4c918d5b36a7aeb78bac116b02\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"f3a417cb88109721572aaafcaddb5939a6826a7f20b7dfdc21e59bc949ebce49\",\n      \"title\": \"Executable formula \u00b7 hoeffding_tail\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:ac4959c05d459217d5615551f59601b4\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"7ee72f0e1cf77f7af55dba0606e6e1a7349ea3739357ea654defc446640833bf\",\n      \"title\": \"Executable formula \u00b7 schur_concave_lambda_two_axis\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:c0e5f9c8e2fa32afab296a4e6ee780d5\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"bef450f2e20ee7cb6c9c3c47444491acae24557c661b26e69871b0fe4704fb3c\",\n      \"title\": \"Executable formula \u00b7 lambda_homogeneous\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:c26677ba79c717afab9d100f9bc17cb6\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"0aca53b7c0091885e19be0fc5d6bb2302db85330c76216cf2f0cde6cb955251d\",\n      \"title\": \"Executable formula \u00b7 lambda_aggregate\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:e0c4164fb8c3a2ba32211d35dab6362b\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"a0155a1dacd29fdc1d9409455c6f7de3e2a26d04a3b49328dca1d621218e5200\",\n      \"title\": \"Executable formula \u00b7 bekenstein_cascade\"\n    },\n    {\n      \"admission\": \"EXECUTABLE_CONSTRAINT_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"executable-formula\",\n      \"nodeId\": \"frontier:f9dc2c77a814843bef966e60bcd11cda\",\n      \"path\": \"atlas/formula-atlas.v1.json\",\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"a3f9dcab6e3564ce384bd3c095f64cc2121059f9\",\n      \"sha256\": \"9c6872d066924ac195f0739a88b819f626d832131c3468d27d00b608181bae36\",\n      \"title\": \"Executable formula \u00b7 kochen_specker_18vector_witness\"\n    },\n    {\n      \"admission\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"source-document\",\n      \"nodeId\": \"frontier:0496b555a1c6096f645c095a54a520e4\",\n      \"path\": \"README.md\",\n      \"repository\": \"szl-holdings/anatomy\",\n      \"revision\": \"0c27d5823079493087a822fa1abe37387785f28f\",\n      \"sha256\": \"140dfc00d2963fc95aa63751ea082ebbd6dca804bb2bb73fb2cd9f48ebeccf6b\",\n      \"title\": \"Living Anatomy \u00b7 What's new in v4 \u2014 dissection tools\"\n    },\n    {\n      \"admission\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"source-document\",\n      \"nodeId\": \"frontier:345c1133534cb71cdb92b62cf14f333d\",\n      \"path\": \"README.md\",\n      \"repository\": \"szl-holdings/szl-ouroboros\",\n      \"revision\": \"a9a0aaa2cb548c23f7aa6f7c4996dccf0a61a262\",\n      \"sha256\": \"cb3ffeeb93e061188aa605078187088de47bb6e910bad3aee6d5722790a03222\",\n      \"title\": \"Ouroboros Runtime \u00b7 szl-ouroboros\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_NO_PROVIDER_MUTATION\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"estate-authority\",\n      \"nodeId\": \"frontier:33575056a85748dc25c1d401b9cac087\",\n      \"path\": \"governance/public-estate.v1.json\",\n      \"repository\": \"szl-holdings/a11oy\",\n      \"revision\": \"0860babc5da069dd713e4a81ef77d66eb214a24c\",\n      \"sha256\": \"693791f3c93a9fee673004670ab34de99f6be7c04a8467e579f1ea49d6c1d99c\",\n      \"title\": \"A11oy public estate authority\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_EXECUTION_AUTHORITY_NONE\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"python-contract\",\n      \"nodeId\": \"frontier:648f0d6bbf9a8bde38a919f26023ff82\",\n      \"path\": \"inference/production.py\",\n      \"repository\": \"szl-holdings/szl-forge\",\n      \"revision\": \"943f6ab987bbe120cae32649c46c3a5f0b6f9e9b\",\n      \"sha256\": \"67a2157fa72d650277c301288fe343a336d798c7eb484fd1cf033fd45d44fd74\",\n      \"title\": \"Forge contract \u00b7 ProductionBoundaryError\"\n    },\n    {\n      \"admission\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"source-document\",\n      \"nodeId\": \"frontier:16652a71fc5ae508fad3b952cb2a3491\",\n      \"path\": \"README.md\",\n      \"repository\": \"szl-holdings/szl-nemo\",\n      \"revision\": \"229503457d99a1514e7d9ca788fa3cf07b3c3ef4\",\n      \"sha256\": \"e4a5db4dd4999f9fff034f6206503e9193177ce93a5ed16c22b2f7809f343d59\",\n      \"title\": \"Nemo Witness \u00b7 R1\u2013R5 prompt/answer contract\"\n    },\n    {\n      \"admission\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"source-document\",\n      \"nodeId\": \"frontier:0b37278ff9a9c64597dd0fc51275c972\",\n      \"path\": \"README.md\",\n      \"repository\": \"szl-holdings/szl-kernels\",\n      \"revision\": \"d9f32c650731744ba8158fa1a7f89b65c0bbd565\",\n      \"sha256\": \"23583c82f34c02aefee064e34ce3fe1e72c8920da33eb4714d790f39a2ff3650\",\n      \"title\": \"Governed Kernel Suite \u00b7 Cookbook\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_EXECUTION_AUTHORITY_NONE\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"python-contract\",\n      \"nodeId\": \"frontier:78931cb79c95e9fc85a6293b38204cfe\",\n      \"path\": \"inference/production.py\",\n      \"repository\": \"szl-holdings/szl-forge\",\n      \"revision\": \"943f6ab987bbe120cae32649c46c3a5f0b6f9e9b\",\n      \"sha256\": \"a5b34a187c313b2e80d5ce332ff9e36bbb086a51e015cfca516682c66a6b8c39\",\n      \"title\": \"Forge contract \u00b7 production_infer\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_EXECUTION_AUTHORITY_NONE\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"python-contract\",\n      \"nodeId\": \"frontier:a961f9c0810792fccd8c865aecfe4fe0\",\n      \"path\": \"inference/production.py\",\n      \"repository\": \"szl-holdings/szl-forge\",\n      \"revision\": \"943f6ab987bbe120cae32649c46c3a5f0b6f9e9b\",\n      \"sha256\": \"a9f9f42b8d185c8e4588b022221f67c5a1fa13f3ddabb4b3101c2da1294b9118\",\n      \"title\": \"Forge contract \u00b7 verify_external_execution\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_EXECUTION_AUTHORITY_NONE\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"python-contract\",\n      \"nodeId\": \"frontier:d30116bbc60b404d602c5072f503002f\",\n      \"path\": \"inference/production.py\",\n      \"repository\": \"szl-holdings/szl-forge\",\n      \"revision\": \"943f6ab987bbe120cae32649c46c3a5f0b6f9e9b\",\n      \"sha256\": \"9b07c001019936f9fbdb5116053683e622b2b50782645afd75f8ebdc7346ba1b\",\n      \"title\": \"Forge contract \u00b7 OpenAICompatibleProductionGenerator\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_EXECUTION_AUTHORITY_NONE\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"python-contract\",\n      \"nodeId\": \"frontier:fe9d52eca2660f43937908d436a77b3f\",\n      \"path\": \"inference/production.py\",\n      \"repository\": \"szl-holdings/szl-forge\",\n      \"revision\": \"943f6ab987bbe120cae32649c46c3a5f0b6f9e9b\",\n      \"sha256\": \"bf226e0faaa3d6f22f066c4e93aaaa1c91752df561d3f0551de83b3cc373b583\",\n      \"title\": \"Forge production controller contract\"\n    },\n    {\n      \"admission\": \"REFERENCE_ONLY_NO_PROVIDER_MUTATION\",\n      \"authority\": \"NONE\",\n      \"candidateState\": \"DISCOVERED_REVIEW_REQUIRED\",\n      \"contentAccess\": \"HANDLES_ONLY\",\n      \"kind\": \"estate-surface\",\n      \"nodeId\": \"frontier:0e6285a456e79a41bdf115dfa64962a1\",\n      \"path\": \"governance/public-estate.v1.json\",\n      \"repository\": \"szl-holdings/a11oy\",\n      \"revision\": \"0860babc5da069dd713e4a81ef77d66eb214a24c\",\n      \"sha256\": \"c5566f260c80021b98aa2b3c1f9b6b37aaab5bbd41c9cdeb1977f5c37dc8171b\",\n      \"title\": \"Public estate \u00b7 Sentra\"\n    }\n  ],\n  \"loop\": [\n    \"OBSERVE\",\n    \"ORIENT\",\n    \"PROPOSE\",\n    \"VERIFY\",\n    \"HOLD\"\n  ],\n  \"ouroboros_observation\": {\n    \"artifact\": {\n      \"archive_sha256\": \"261be9cad146ba408d7f494bb577a116ee675e1f8b4c5ad495e01bd9d0b7a4c0\",\n      \"id\": 12938947676,\n      \"name\": \"ouroboros-frontier-40968573665-1\",\n      \"receipt_sha256\": \"411506928e90a9e513d1b3e38118fe5bc2c8e33a1239b5e52951a9083cde6361\"\n    },\n    \"authority\": {\n      \"execution\": \"NONE\",\n      \"merge\": \"NONE\",\n      \"promotion\": \"NONE\",\n      \"provider_mutation\": \"NONE\",\n      \"training\": \"NONE\"\n    },\n    \"claims\": {\n      \"measurement_scope\": \"RECORDED_REVIEW_ATTEMPT\",\n      \"private_graph_loaded\": false,\n      \"production_verified\": false,\n      \"review_is_accepted_truth\": false,\n      \"signature_verified\": false\n    },\n    \"freshness\": {\n      \"expires_at\": \"2026-10-30T04:50:59Z\",\n      \"max_age_seconds\": 21600,\n      \"observed_at\": \"2026-10-29T22:50:59Z\"\n    },\n    \"observation\": {\n      \"bounded\": true,\n      \"exit\": \"converged\",\n      \"max_budget\": 1,\n      \"receipt_closed\": true,\n      \"recommendation_count\": 1,\n      \"review_sha256\": \"64323ae833586a3130f100eed67ed62c3b3d49158169664e536b9eace0d1530d\",\n      \"review_state\": \"REVIEW_PROPOSED\",\n      \"steps\": 1,\n      \"terminated\": true,\n      \"wall_ms\": 117089\n    },\n    \"observation_sha256\": \"c2ebc98d3fca4cd802246b9f097c17a0d2063bc65da6db62cccca856f56ec853\",\n    \"reason\": \"CURRENT_REVIEW_RECEIPT_VALIDATED\",\n    \"run\": {\n      \"attempt\": 1,\n      \"conclusion\": \"success\",\n      \"head_sha\": \"ff6fb0587dd000376dbc28d19b40f88e898fc70a\",\n      \"id\": 40968573665,\n      \"status\": \"completed\",\n      \"updated_at\": \"2026-10-29T22:50:59Z\",\n      \"url\": \"https://github.com/szl-holdings/szl-ouroboros/actions/runs/40968573665\"\n    },\n    \"schema\": \"szl.ouroboros.frontier-observation/v1\",\n    \"source\": {\n      \"candidate_count\": 144,\n      \"candidate_file_sha256\": \"3fb2cf2b7e55ecf179cf76e6afe97bcbbbd8fa645d1595bc0abb7440cf64e54a\",\n      \"candidate_set_sha256\": \"3fb2cf2b7e55ecf179cf76e6afe97bcbbbd8fa645d1595bc0abb7440cf64e54a\",\n      \"controller_repository\": \"szl-holdings/szl-ouroboros\",\n      \"controller_revision\": \"ff6fb0587dd000376dbc28d19b40f88e898fc70a\",\n      \"second_brain_repository\": \"szl-holdings/szl-second-brain\",\n      \"second_brain_revision\": \"34d70c45ddc889b76c04349e95e2a0d56e7578bb\",\n      \"state_file_sha256\": \"5123f626bde1306b04c0d3b908597ba8285c52253e225fe7928f0a071f616ded\",\n      \"workflow\": \".github/workflows/codex-continuous-frontier.yml\"\n    },\n    \"state\": \"OBSERVED\"\n  },\n  \"schema\": \"szl.a11oy.brain-frontier-holographic-v7/v1\",\n  \"selected_handle_count\": 72,\n  \"snapshot_sha256\": \"a8a59a84cd086556f71fae97e5a4ce4f9dc459f4cd9252cad6215530482eea3a\",\n  \"sources\": {\n    \"anatomy\": {\n      \"holographic_v7_path\": \"/api/anatomy/v1/holographic-v7\",\n      \"live_origin\": \"https://betterwithage-anatomy.hf.space\",\n      \"repository\": \"szl-holdings/anatomy\",\n      \"revision\": \"a03896dc4beea37656ec45c400b4c23912dd6714\"\n    },\n    \"formulas\": {\n      \"repository\": \"szl-holdings/szl-formulas\",\n      \"revision\": \"2d52c7a3728ce4dafcef2079f4ea13ddd677debc\"\n    },\n    \"ouroboros\": {\n      \"repository\": \"szl-holdings/szl-ouroboros\",\n      \"review_workflow\": \".github/workflows/codex-continuous-frontier.yml\",\n      \"revision\": \"ff6fb0587dd000376dbc28d19b40f88e898fc70a\"\n    },\n    \"second_brain\": {\n      \"candidate_count\": 144,\n      \"candidate_file_sha256\": \"3fb2cf2b7e55ecf179cf76e6afe97bcbbbd8fa645d1595bc0abb7440cf64e54a\",\n      \"candidate_set_sha256\": \"3fb2cf2b7e55ecf179cf76e6afe97bcbbbd8fa645d1595bc0abb7440cf64e54a\",\n      \"repository\": \"szl-holdings/szl-second-brain\",\n      \"revision\": \"34d70c45ddc889b76c04349e95e2a0d56e7578bb\",\n      \"state_sha256\": \"5123f626bde1306b04c0d3b908597ba8285c52253e225fe7928f0a071f616ded\"\n    }\n  },\n  \"state\": \"SOURCE_BOUND_REVIEW_MEMORY\",\n  \"surface\": \"A11OY_HOLOGRAPHIC_V7_BRAIN_FRONTIER\"\n}\n",
   "source_path": "console/assets/brain-frontier-v7.json",

.runtime/second-brain/source.json

@@ -29,7 +29,7 @@
   "manifest_path": "data/manifest.json",
   "manifest_projection_sha256": "d02487523b451b390125bc3c0a20e259c44b5715528fac69cf789ca56755ea10",
   "manifest_sha256": "7a2816331df3c7356b5cb01605ea108fa98bb4503d401d3b2952e6b65145d02e",
-  "materialized_at": "2026-11-06T15:37:09Z",
+  "materialized_at": "2026-11-06T16:56:42Z",
   "merge_authority": "NONE",
   "pipeline_dependency": {
     "source_repository": "szl-holdings/a11oy",
@@ -37,13 +37,13 @@
     "source_snapshot_sha256": "b313eeebc26d0a2337cf6140b83b08749f301de028ccfd20305604f67920d3a6"
   },
   "pipeline_source_path": ".runtime/second-brain/pipeline-source.json",
-  "pipeline_source_sha256": "be7652c7c10bdb5d4bf5c1e70fdae2a3e6b79c6b6164286ad8479de3f23ff7a6",
+  "pipeline_source_sha256": "5e466d0f8f3def38035e65f53e644a19b780bac5b011ce739dc78d2f621b9d1b",
   "private_graph_nodes_materialized": 0,
   "promotion_authority": "NONE",
   "public_chunk_count": 575,
   "quant_domain_count": 9,
   "raw_graph_nodes_admitted_to_gradients": 0,
-  "receipt_sha256": "c92c15853a373db2ed600594d8a1b444897dfd8f17486b34c0084daa8214d2b0",
+  "receipt_sha256": "331bfa2165a0edd1d8b44ebf60033858c87e3231866594b708555b66ff2bce2d",
   "schema": "szl.second-brain.snapshot/v1",
   "secret_scan": "PASS",
   "source_ref": "main",

README.md

@@ -94,8 +94,11 @@ kernel that actually runs the five organs lives in
 and on the KHIPU Space **Anatomy** tab:
 [SZLHOLDINGS/szl-khipu](https://huggingface.co/spaces/SZLHOLDINGS/szl-khipu).
 The command body exposes the same fail-closed contract at
-[`GET/POST /api/a11oy/v1/organs/integrity`](https://a-11-oy.com/api/a11oy/v1/organs/integrity)
-and the Evidence Bay at [szl-holdings/szl-organ-integrity](https://github.com/szl-holdings/szl-organ-integrity).
+[`GET/POST /api/a11oy/v1/organs/integrity`](https://a-11-oy.com/api/a11oy/v1/organs/integrity),
+and this Space serves its own copy of the kernel (`organ_integrity.py`) at
+`GET/POST /api/anatomy/v1/organs/integrity`. The former standalone repository,
+[szl-holdings/szl-organ-integrity](https://github.com/szl-holdings/szl-organ-integrity),
+is archived (read-only history); the Evidence Bay now ships inside this atlas (below).
 
 HEART/YUYAY · YAWAR · YACHAY · OTel · Khipu skeleton. Any DOWN organ or a WILLAY veto
 blocks the body. Λ = Conjecture 1 OPEN. Energy UNAVAILABLE. Locked-proven stays 8.
@@ -188,12 +191,20 @@ against the pinned, committed org key
 ([`hatun-mcp/PUBKEY_szlholdings-ec-p256.pem`](https://github.com/szl-holdings/hatun-mcp/blob/main/PUBKEY_szlholdings-ec-p256.pem)),
 and only then displays the run — verdict, live assertion counts, per-layer
 results, and the formula-gate pass rate, all **derived from the signed
-evidence**, never hand-typed. Runs are signed by the live Hatun MCP gateway
-(`dsse_sign`, keyid `szlholdings-ec-p256`) and published by a fail-closed
+evidence**, never hand-typed. Runs were signed by the Hatun MCP gateway
+(`dsse_sign`, keyid `szlholdings-ec-p256`; its standalone Space is now retired,
+so the panel implies no live gateway) and published by a fail-closed
 publisher that verifies before and after upload. If the sink is unreachable or
 a signature fails, the panel says so — no fabricated green light. A signed
-GREEN run proves liveness, not doctrine upgrades: locked-proven stays exactly
-8 and Λ remains Conjecture 1.
+GREEN run proves liveness at the time it ran, not doctrine upgrades:
+locked-proven stays exactly 8 and Λ remains Conjecture 1.
+
+**Current state (checked 2026-11-06):** the page's own Content-Security-Policy
+`connect-src` (the `server.py` header and the `index.html` meta policy) lists
+neither `huggingface.co` nor `raw.githubusercontent.com`, so the browser refuses
+both fetches and the panel reports `UNREACHABLE`. That is the fail-closed path,
+never a fabricated result. The newest signed runs in the sink finished on
+2026-07-21.
 
 Machine-readable routes:
 
@@ -265,8 +276,10 @@ bench-grade dissection controls so the body is *easier to dissect*:
 - **Explode view** — an eased 0→1 slider separates the organ groups radially for inspection.
 - **Search / jump** — filter organs + formulas by name/id; selecting one flies the camera and opens its panel.
 - **Always-on visibility HUD** — a compact overlay reading **honest** counts straight from
-  `data.js` (`D.KERNEL`): locked-proven = 8, experimental tier, axioms 14, sorries 163,
-  kernel `c7c0ba17`, Λ = Conjecture 1, Khipu BFT = Conjecture 2. Never hardcoded.
+  `data.js`: locked-proven = 8, axioms 14, sorries 163 and kernel `c7c0ba17` from
+  `KERNEL`, and the experimental count from the EXPERIMENTAL records in `FORMULAS`
+  (49 today), beside the fixed doctrine labels Λ = Conjecture 1 and Khipu BFT =
+  Conjecture 2. Counts are never hardcoded.
 - **Focus mode** — fade the other organs when one is selected, to isolate it.
 - **yarqa flow compartments (CFD) — additive, off by default** — an *engineering-method*
   layer in the dissection dock that runs a clean-room plug-flow compartmentalization
@@ -301,11 +314,15 @@ F22 Khipu emit append-only monotonicity) ·
 Λ unconditional uniqueness = Conjecture 1 (machine-checked FALSE); conditional Λ axiom-free PROVEN ·
 Khipu BFT safety = Conjecture 2, with the Wave23 conditional agreement theorem
 (`khipu_quorum_safety_conditional`, n≥3f+1 + honest non-equivocation, axiom-clean) ·
-~185 experimental CI-green · trust never 100% · no AGI.
+≈119 experimental CI-green instilled cards (`data.js` `KERNEL.experimental_count_approx`) ·
+the atlas itself carries 49 EXPERIMENTAL formula records, 8 of which `data.js` labels
+"not a Lean theorem" (quantum-bio models, a physics postulate, engineering constraints) ·
+trust never 100% · no AGI.
 
-**Supply-chain posture:** this Space runs a hardened Python/FastAPI runtime that serves
+**Supply-chain posture:** this Space runs a hardened Python application runtime that serves
 the sovereign static atlas and its read-only evidence, integrity, and v7 API routes
-inside the Docker image (`sdk: docker`). The atlas shell (`index.html`, `app.js`,
+inside the Docker image (`sdk: docker`; entrypoint and transport under
+[Run, test, rollback](#run-test-rollback-operability)). The atlas shell (`index.html`, `app.js`,
 `data.js`, and vendored `lib/three.min.js`) remains a zero-CDN, no-build,
 static and offline-capable bundle. The runtime image is presented as SLSA L1 honest;
 that posture does not prove runtime correctness, safety, or model quality.
@@ -321,77 +338,102 @@ see the active canonical successors [a11oy](https://github.com/szl-holdings/a11o
 
 ## Live body view — `live-body.html`
 
-A new, **additive** page (`live-body.html` + `live-body.js`, linked from the
-title bar of the 3D atlas) turns the anatomy into the **LIVE BODY VIEW of the
-agentic GPU mind**. It is a standalone static page — same vendored-free,
-no-build, no-CDN posture as `index.html` — reachable directly at
-`…static.hf.space/live-body.html`. It does **not** modify the 3D engine (`app.js`,
-`data.js`), so there are no breaking changes.
+An **additive** page (`live-body.html` + `live-body.js`, linked from the
+title bar of the 3D atlas) renders the governed organism as one living body
+(**Body v1**). It is a standalone static page — same vendored-free, no-build,
+no-CDN posture as `index.html` — served by this Space at `/live-body.html`.
+It does **not** modify the 3D engine (`app.js`, `data.js`).
 
-Each of the six organs reads its **real endpoint** and lights up with its honest
-live status; press **Run proactive cycle** to watch the GPU mind act
-(IMMUNE → BRAIN → run → HEART/BLOOD → NERVOUS), pulsing each organ in turn:
+Every organ probe is a read-only GET to the a11oy host
+(`https://szlholdings-a11oy.hf.space`), and an organ glows LIVE only on a real
+2xx + JSON answer:
 
-| Organ | Proven formula (round9) | Live endpoint read |
+| Organ | Role | Live endpoint read |
 |---|---|---|
-| BRAIN | BrainBeliefUpdate (PAC-Bayes McAllester) | amaru `/api/amaru/v1/formulas` |
-| HEART | HeartReceiptSigma (σ-algebra receipt bus) | amaru `/api/amaru/receipts` |
-| BLOOD | BloodDSSEMerkle (Cardano-anchored DSSE) | sentra `/api/sentra/khipu/ledger` |
-| IMMUNE | ImmuneNeymanPearson (deny-by-default gates) | sentra `/api/sentra/v1/gates` |
-| SKELETON | SkeletonLambdaSpine (Lean kernel; Λ=Conj 1) | amaru `/api/amaru/v1/math/lean/theorems` |
-| NERVOUS | NervousShannonAlarm (Λ-signed OTEL drift) | amaru `/api/amaru/overwatch/snapshot` |
-
-The **GPU-mind posture** card reads a11oy `/api/a11oy/code/healthz`
+| REASONING | scores Λ (13-axis) and recommends the decision | `/api/a11oy/v1/lambda` |
+| POLICY | the deny-by-default gate (F12) | `/api/a11oy/v1/honest` |
+| OPERATOR | approves and executes admitted work | `/api/a11oy/readyz` |
+| RECEIPTS | signs and replays a receipt for every action | `/api/a11oy/v1/ledger` |
+
+The **GPU-mind posture** card reads `/api/a11oy/code/healthz`
 (`sovereign` / `backend` / `mode`); the honesty strip reads the doctrine lock
-live from a11oy `/api/a11oy/v1/honest`.
+from `/api/a11oy/v1/honest`; the immune intensity is the real fraction of mesh
+engines down from `/api/a11oy/v1/govern/health`; and the organ-integrity strip
+reads `/api/anatomy/v1/organs/integrity` on this Space, falling back to the a11oy
+command body. **Run proactive cycle** replays the real receipts on the ledger as
+pulses that travel from the organ that emitted each action to RECEIPTS. The four
+verticals (insurance, defense, finance, real estate) have no live endpoint here,
+so they render in an explicit ROADMAP state and pulse only when a real receipt
+names them.
 
 **Honest by design (doctrine v11/v12):**
 - `sovereign:true` is shown **only** when `/code/healthz` reports the literal
   `true` — never synthesized from a truthy value. If the mind is unreachable the
   card shows `sovereign: false`. The half-state (banner sovereign while a router
   serves) is the one outcome the view will never render.
-- Energy / joules are labeled **SAMPLE** until a real meter is wired.
-- **Λ is shown as Conjecture 1** (the skeleton's killer formula is intentionally
-  a conjecture), pulled live, never hardcoded as proven.
-- An unreachable endpoint degrades to an honest `unreachable — … · honest
-  empty-state`; no green light is ever fabricated for an organ that did not
-  answer. (Today amaru/sentra spaces may be unrouted → those organs honestly
-  read unreachable; a11oy + the mind posture read live.)
+- Energy is shown as **UNAVAILABLE**; no meter is wired.
+- **Λ is shown as Conjecture 1**, pulled live, never hardcoded as proven.
+- An unreachable endpoint degrades to an honest UNREACHABLE dim; no green light
+  is ever fabricated for an organ that did not answer.
 - Read-only, sends no key, open-weight only.
 
-See `SCREENSHOT_NOTES.md` for the body layout and what a reviewer should see in a
-deploy preview.
+`SCREENSHOT_NOTES.md` keeps the review notes for the original six-organ layout
+(2026-06-13) that Body v1 replaced on 2026-06-30.
 
 ## Run, test, rollback (operability)
 
-This Space is a hardened Python/FastAPI runtime in a Docker Space (`sdk: docker`).
+This Space is a hardened Python application runtime in a Docker Space (`sdk: docker`).
+The image entrypoint (`CMD`) is `lib/refinement_living_runtime.py` on port 7860: it
+extends the `living_runtime.py` handler (Second Brain, Neural Quant v7 and
+Holographic v7 routes) with the read-only refinement observatory and serves
+everything from the standard-library `ThreadingHTTPServer`. FastAPI is a declared
+dependency because `frontier_runtime.py` also defines its frontier routes as a
+FastAPI app (`python3 frontier_runtime.py` runs that app alone under uvicorn); the
+image itself does not use uvicorn.
 It serves the sovereign static atlas plus the read-only `/api/anatomy/v1/*`,
 `/version`, `/evidence`, and `/.well-known/szl-source.json` contracts. The atlas
 shell itself remains static and offline-capable; the API service is required for
 runtime evidence and the v7 instruments. To run and test locally:
 
 ```bash
-# run: launch the same application runtime used by the Docker image
+# run: the same entrypoint as the Docker image
 python3 -m pip install -r requirements.txt
-python3 living_runtime.py            # then open http://localhost:7860/
+# public Second Brain snapshot for the v7 routes (reads GitHub; a GITHUB_TOKEN
+# is optional and only raises the API rate limit)
+python3 scripts/materialize_second_brain.py --output .runtime/second-brain
+python3 lib/refinement_living_runtime.py   # then open http://localhost:7860/
 
 # atlas-shell-only mode (API/evidence routes are intentionally unavailable)
 python3 -m http.server 8000          # then open http://localhost:8000/index.html
 
-# test: the headless QA harness (Playwright/Chromium) renders all three
-# viewports, asserts 0 console errors, exercises the v4 dissection dock + the
-# v6 yarqa CFD layer, and confirms yarqa is NEVER counted in the locked-8.
+# test: the Python contract suite and the Node checks CI runs
+python3 -m pip install -e '.[test]'
+python3 -m pytest -q
+node --test tests/test_dependency_observations.cjs tests/test_modal_focus.cjs tests/test_instrument_dock.cjs
+node qa_cockpit.mjs
+
+# QA: the headless browser harness (Playwright/Chromium) renders all three
+# viewports, exercises the v4 dissection dock + the v6 yarqa CFD layer, and
+# exits 1 on any script or console error, missing local asset, or failed
+# invariant, including yarqa ever counting toward the locked-8. Offline live
+# lenses, and the API routes this file-only server lacks, are reported separately.
 npm i -D playwright && npx playwright install chromium
 node qa_yarqa.js
 ```
 
+Without `.runtime/second-brain` the brain routes answer `503` with `ready: false`
+rather than inventing a snapshot. A local checkout also reports `/version`,
+`/evidence` and `/api/anatomy/v1/receipt` as `UNAVAILABLE` (`503`), and the receipt
+replay as `FAIL`, because `hf-deploy-manifest.json` is written only by the
+publisher on a deployed Space. That is the honest result for an undeployed tree.
+
 **Health:** the page is "healthy" when `index.html` renders the 3D atlas with zero
-console errors at all three viewports (the QA assertion). The live-lens panels poll
+script or console errors at all three viewports (the `qa_yarqa.js` assertion). The live-lens panels poll
 a11oy read-only and **degrade to a labeled `offline · static snapshot`** when an
 endpoint is unreachable — an offline endpoint is an expected state, not an outage.
 
 **Rollback (one step):** every deploy is a git commit; to revert the live Space to a
-known-good state, redeploy the previous tag/commit — `git revert <bad-sha>` (or reset
+known-good state, redeploy the previous commit — `git revert <bad-sha>` (or reset
 the HF Space mirror to the prior commit). Because the atlas shell is self-contained (vendored `lib/three.min.js`, no
 runtime CDN) and the application service is read-only and stateless, rollback
 means redeploying the older source-bound image; there is no data migration to unwind.
@@ -401,45 +443,50 @@ means redeploying the older source-bound image; there is no data migration to un
 ## Security headers (SAFE-NOW hardening, R2)
 
 This Space serves the atlas and read-only API contracts through the repository's
-Python/FastAPI runtime (`sdk: docker`; `living_runtime.py` on port 7860). Under
+Python application runtime (`sdk: docker`; `lib/refinement_living_runtime.py` on port 7860,
+on the standard-library `ThreadingHTTPServer`). Under
 `sdk: docker` Hugging Face does **not** apply a README `custom_headers` block
-(that lever is static-SDK only), so the cross-origin headers are emitted by the
-application server. Hardening is
-split across the two levers that actually take effect, and nothing is set that the
-browser would silently ignore (doctrine v11: never fabricate):
-
-- **Response headers emitted by the Space's static server** (set on every response):
-  - `cross-origin-opener-policy: same-origin-allow-popups`
-  - `cross-origin-resource-policy: cross-origin` (keeps the page loadable inside
-    the legitimate `huggingface.co` / `*.hf.space` embed iframe).
-  - COEP `require-corp` is **intentionally not set** — it would block the page's
-    read-only cross-origin fetches to a11oy/amaru/sentra and buys nothing here
-    (no `SharedArrayBuffer`/wasm).
-- **`<meta http-equiv>` in `index.html` + `live-body.html`** (what the browser
-  honors from markup):
-  - **Content-Security-Policy** (enforced, non-breaking): `default-src 'self'`;
-    `object-src 'none'`; `base-uri 'self'`; an explicit `connect-src` allow-list
-    (self + the four SZL `*.hf.space` origins it reads); `img-src 'self' data:
-    blob:`. `script-src`/`style-src` keep `'unsafe-inline'` **on purpose** — the
-    3D atlas ships heavy inline JS, inline styles, and a WebGL canvas, so a strict
-    nonce/hash CSP would white-screen it. The win is origin-locking: no rogue
-    external script, CDN, or pixel can load.
-  - **X-Content-Type-Options: nosniff** and **Referrer-Policy:
-    strict-origin-when-cross-origin**.
-
-**Why no HSTS / `frame-ancestors` / Report-Only here:** browsers ignore HSTS,
-CSP `frame-ancestors`, and `Content-Security-Policy-Report-Only` when delivered
-via `<meta>`, and the static server does not emit them as real headers — so setting
-them in-repo would be security theater. HF already terminates TLS and redirects to
-HTTPS at the edge. **Embedding is deliberately left enabled** (no
-`X-Frame-Options: DENY`, no `disable_embedding`) so the Space keeps working inside
-the `huggingface.co` / `*.hf.space` iframe.
+(that lever is static-SDK only), so the security headers are emitted by the
+application server itself, on every response (`server.py`, `end_headers`):
+
+- `Content-Security-Policy` (`server.py` `CONTENT_SECURITY_POLICY`):
+  `default-src 'self'`; `object-src 'none'`; `base-uri 'self'`;
+  `form-action 'self'`; `img-src 'self' data: blob:`; `font-src 'self'`; a
+  `connect-src` allow-list of `'self'` plus the read-only SZL origins the lenses
+  read (`szlholdings-a11oy`, `-killinchu`, `-amaru` and `-sentra` on `hf.space`,
+  and `a-11-oy.com`); and `frame-ancestors` limited to `'self'`, `huggingface.co`,
+  `*.hf.space`, `*.huggingface.co`, `a-11-oy.com`, `a11oy.net` and their
+  subdomains. `script-src`/`style-src` keep `'unsafe-inline'` **on purpose** — the
+  3D atlas ships heavy inline JS, inline styles, and a WebGL canvas, so a strict
+  nonce/hash CSP would white-screen it. The win is origin-locking: no rogue
+  external script, CDN, or pixel can load.
+- `Strict-Transport-Security: max-age=31536000; includeSubDomains`.
+- `X-Content-Type-Options: nosniff` and
+  `Referrer-Policy: strict-origin-when-cross-origin`.
+- `Cross-Origin-Opener-Policy: same-origin-allow-popups` and
+  `Cross-Origin-Resource-Policy: cross-origin` (keeps the page loadable inside
+  the legitimate `huggingface.co` / `*.hf.space` embed iframe).
+- COEP `require-corp` is **intentionally not set** — it would block the page's
+  read-only cross-origin fetches and buys nothing here (no
+  `SharedArrayBuffer`/wasm).
+
+`index.html` and `live-body.html` also carry a `<meta http-equiv>` CSP with a
+narrower `connect-src` (`live-body.html` allows only the a11oy origins it reads).
+Browsers enforce every policy they receive, so the effective policy is the
+intersection of the header and the page's meta policy. Embedding is allowed
+only from the `frame-ancestors` list above (no `X-Frame-Options: DENY`, no
+`disable_embedding`), so the Space keeps working inside the `huggingface.co` /
+`*.hf.space` iframe. No `Content-Security-Policy-Report-Only` is set.
 
 **CORS:** the evidence endpoints are public, read-only inspection contracts and
 return `Access-Control-Allow-Origin: *` so A11OY and the wider estate can ingest
-them. The only POST is a pure receipt recomputation; it cannot sign, store, fetch
-user-controlled URLs, or mutate state. Outbound dependency probes use a fixed
-allowlist in `server.py`; no key, cookie, or credential is sent.
+them. Every POST is a pure computation over the submitted body or the public
+snapshot: receipt recomputation (`/api/anatomy/v1/verify/receipt`), an
+organ-integrity evaluation (`/api/anatomy/v1/organs/integrity`), and handles-only
+Second Brain queries (`/api/anatomy/v1/brain/{search,query,context,frontier}`).
+None can sign, store, fetch user-controlled URLs, or mutate state. Outbound
+dependency probes use a fixed allowlist in `server.py`; no key, cookie, or
+credential is sent.
 
 ## Verify it yourself
 

hf-deploy-manifest.json

@@ -41,6 +41,6 @@
   "schema": "szl.hf-deploy-manifest/v1",
   "source_path": "",
   "source_repository": "szl-holdings/anatomy",
-  "source_revision": "0a929b9182994ed7c4152963c7663dbefe492bbe",
-  "workflow_run_id": "42244668379"
+  "source_revision": "2eba3e5c22710421cdd82727102d2c3bcfa952d8",
+  "workflow_run_id": "42256988213"
 }

qa_yarqa.js

@@ -28,8 +28,10 @@ const VIEWPORTS = [
 async function runViewport(browser, url, vp){
   const page = await browser.newPage({ viewport:{ width:vp.width, height:vp.height } });
   const errors=[];
-  page.on('console', m=>{ if(m.type()==='error') errors.push(m.text()); });
-  page.on('pageerror', e=>errors.push('PAGEERROR: '+e.message));
+  // Keep the resource URL Chromium attaches to network console errors so the
+  // summary can tell an offline live lens from a broken local asset.
+  page.on('console', m=>{ if(m.type()==='error') errors.push({ text:m.text(), url:(m.location()||{}).url||'' }); });
+  page.on('pageerror', e=>errors.push({ text:'PAGEERROR: '+e.message, url:'' }));
   await page.goto(url, { waitUntil:'networkidle' });
   await page.waitForTimeout(2200);
 
@@ -98,6 +100,43 @@ async function runViewport(browser, url, vp){
   return { vp:vp.name, errors, r, fab, overflow };
 }
 
+// The live lenses poll other SZL origins read-only and degrade to a labeled
+// offline state, so an unreachable lens is expected, not an outage (README
+// "Health"). This harness serves files only (atlas-shell-only mode), so a
+// same-origin API route answering 404 is expected too. Everything else fails:
+// page errors, script console errors, and any missing local asset.
+const SHELL_ONLY_API = /^\/(api\/|version$|evidence$|healthz$|\.well-known\/)/;
+function classifyError(err, origin){
+  let target = null;
+  if(/^Failed to load resource:/.test(err.text)) target = err.url;
+  const cors = /^Access to fetch at '([^']+)'/.exec(err.text);
+  if(cors) target = cors[1];
+  if(!target) return 'error';
+  let parsed;
+  try { parsed = new URL(target); } catch(_) { return 'error'; }
+  if(parsed.origin !== origin) return 'offline-lens';
+  return SHELL_ONLY_API.test(parsed.pathname) ? 'shell-only-api' : 'error';
+}
+
+function invariants(res){
+  const r = res.r || {}, hud = r.hud || {};
+  return [
+    ['atlas mounted (window.__anatomy)', r.hasA === true],
+    ['v4 dissection dock present', r.hasV4 === true],
+    ['v6 yarqa layer present', r.hasV6 === true],
+    ['yarqa layer off by default', r.v6OffInitially === true],
+    ['yarqa NEVER counted in the locked-8', r.v6yarqaInLocked === false],
+    ['locked-8 never routed through yarqa', r.v6routes8 === false],
+    ['yarqa receipt reproduces (same inputs => same digest)', r.v6reproduces === true],
+    ['yarqa layer toggles off', r.v6OffAfter === true],
+    ['yarqa dock row rendered', r.dockRow === true],
+    ['HUD locked-proven = 8 (read from data.js)', hud.locked === 8],
+    ['organ panel opens', r.openOrgan === true && r.panelOpen === true],
+    ['GPD lens opens', r.gpd === true],
+    ['no horizontal overflow', res.overflow.sw <= res.overflow.iw + 1],
+  ];
+}
+
 (async()=>{
   await new Promise(rr=>server.listen(0,rr));
   const port = server.address().port;
@@ -107,18 +146,29 @@ async function runViewport(browser, url, vp){
     args:['--use-gl=angle','--use-angle=swiftshader','--ignore-gpu-blocklist','--enable-unsafe-swiftshader']
   });
 
-  let totalErrors = 0;
+  const origin = new URL(url).origin;
+  let totalErrors = 0, totalExpected = 0, totalFailedChecks = 0;
   for(const vp of VIEWPORTS){
     const res = await runViewport(browser, url, vp);
     console.log('\n===================== '+res.vp+' =====================');
     console.log(JSON.stringify(res.r, null, 2));
     console.log('FAB:', JSON.stringify(res.fab), 'overflow:', JSON.stringify(res.overflow),
                 'overflow_ok:', res.overflow.sw <= res.overflow.iw+1);
-    console.log('CONSOLE ERRORS ('+res.errors.length+'):', res.errors.length?res.errors.join('\n'):'(none)');
-    totalErrors += res.errors.length;
+    const expected = [], real = [];
+    for(const err of res.errors){
+      const kind = classifyError(err, origin);
+      (kind === 'error' ? real : expected).push(kind === 'error' ? err.text : kind+': '+err.text+' <'+err.url+'>');
+    }
+    console.log('EXPECTED OFFLINE / SHELL-ONLY ('+expected.length+'):', expected.length?'\n  '+expected.join('\n  '):'(none)');
+    console.log('CONSOLE ERRORS ('+real.length+'):', real.length?real.join('\n'):'(none)');
+    const failed = invariants(res).filter(([, ok])=>!ok).map(([name])=>name);
+    console.log('FAILED CHECKS ('+failed.length+'):', failed.length?failed.join('; '):'(none)');
+    totalErrors += real.length; totalExpected += expected.length; totalFailedChecks += failed.length;
   }
   await browser.close();
   server.close();
   console.log('\n=== TOTAL CONSOLE ERRORS ACROSS VIEWPORTS:', totalErrors, '===');
-  process.exit(0);
+  console.log('=== EXPECTED OFFLINE / SHELL-ONLY LOAD FAILURES (not counted):', totalExpected, '===');
+  console.log('=== FAILED CHECKS ACROSS VIEWPORTS:', totalFailedChecks, '===');
+  process.exit(totalErrors === 0 && totalFailedChecks === 0 ? 0 : 1);
 })().catch(e=>{ console.error('QA FAIL', e); process.exit(1); });

server.py

@@ -232,7 +232,7 @@ CAPABILITIES = [
         "authority_state": "READ_ONLY",
         "formula_refs": ["F1", "F4", "F7", "F11", "F12", "F18", "F19", "F22"],
         "provenance": [
-            "https://github.com/szl-holdings/szl-organ-integrity",
+            "https://github.com/szl-holdings/anatomy/blob/main/organ_integrity.py",
             "https://a-11-oy.com/organs/integrity",
             "https://huggingface.co/spaces/SZLHOLDINGS/szl-khipu",
         ],