model_release/m1/formula-curriculum-ledger.jsonl

{"abstention_required":false,"brain_anatomy_receipt_id":"brain-node:sha256:bb9b8bc3822256a7239b26a9ab9d6643990312b3af059db4b316d771f8e7801b","canonical_text":"formula_id: F1\nformula_status: KERNEL_ACCEPTED\nname: Euler-Khipu DAG Identity\nprimitive: Euler chi=V-E+F=2\nidentity_doc: euler_char(V,E,F) == V-E+F (definitional)","canonical_text_sha256":"758a82f3b22f0462bcdc85251a0f4aac2f7befa3adbc725e98c309f235278079","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F1","formula_receipt_id":"formula:sha256:1eee83d6944186b56bdd9ebc9edc9aff4b28637ab1ef1a28dee00471b3b79681","formula_status":"KERNEL_ACCEPTED","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:1eee83d6944186b56bdd9ebc9edc9aff4b28637ab1ef1a28dee00471b3b79681","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_POSITIVE"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:e1f41cc25322f6a4b2bfe79428ad72f78a848eac7f02b33a79d4b32889f56a3d","canonical_text":"formula_id: F10\nformula_status: OPEN\nname: Baudhayana Orthogonality Bound\nprimitive: Baudhayana Sulba sqrt2=577/408\nidentity_doc: heronStep(17/12)==577/408 ; |577/408 - sqrt2| < 1.5e-6","canonical_text_sha256":"24e62f72caf580aa742db25c5d70969454be28b2ef84dfd018dc03e874d4985d","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F10","formula_receipt_id":"formula:sha256:972d78e9407bcfa72e33c9c54a1316ca6b927d60bdc3485ff74e5432a87e1f2d","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:972d78e9407bcfa72e33c9c54a1316ca6b927d60bdc3485ff74e5432a87e1f2d","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":false,"brain_anatomy_receipt_id":"brain-node:sha256:1342a38677353f097f8a579ffb0da32923bc263aa80aad57b1e0076cde83d8df","canonical_text":"formula_id: F11\nformula_status: KERNEL_ACCEPTED\nname: Frustum A-Shrink Law\nprimitive: Moscow Papyrus frustum\nidentity_doc: Vol=(h/3)(a^2+ab+b^2); b->0 => pyramid; nonneg","canonical_text_sha256":"e48da2bf97d19645dde62a963c076f1775bb5cebefcf110e4fccb5af637aafea","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F11","formula_receipt_id":"formula:sha256:5d58fbab6e014f4bd6b7eabd46e085d8d03f127220b3d8437a73604bf0e615e8","formula_status":"KERNEL_ACCEPTED","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:5d58fbab6e014f4bd6b7eabd46e085d8d03f127220b3d8437a73604bf0e615e8","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_POSITIVE"}
{"abstention_required":false,"brain_anatomy_receipt_id":"brain-node:sha256:c15d47fb2186bce65e88628e484fcc58109288a2c7ec746f873f7186fe16ed8b","canonical_text":"formula_id: F12\nformula_status: KERNEL_ACCEPTED\nname: CRT-Hukulla Schedule\nprimitive: Bible-numerics mod-structure + Gauss CRT\nidentity_doc: coprime moduli: residue pair recurs exactly mod m1*m2 = lcm","canonical_text_sha256":"75f94506a54aacef774ae781e7c2d346f8953426c9cc238fc1fb2b0e3fbd49f3","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F12","formula_receipt_id":"formula:sha256:2532c92f7798b20bdd7c481b288d71ed9b454f9cbfa8d86e4c4eb00ee6f7f9d7","formula_status":"KERNEL_ACCEPTED","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:2532c92f7798b20bdd7c481b288d71ed9b454f9cbfa8d86e4c4eb00ee6f7f9d7","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_POSITIVE"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:9483160d39680eb4b49c0f3dc8559bb4ffbeafa26dcbef6ef4ab11d431486323","canonical_text":"formula_id: F13\nformula_status: OPEN\nname: Gauss-Bonnet Spine Curvature\nprimitive: Gauss-Bonnet\nidentity_doc: total curvature = 2*pi*chi (=4pi when chi=2); residual==0","canonical_text_sha256":"15215ca906bdc13957b542f06667610434c8d28c1f5aa9c46631ad2e2d2b157d","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F13","formula_receipt_id":"formula:sha256:130f70d94584dcd33c1d325309692dfe48abf4544dc9faa6f26e43de510c953d","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:130f70d94584dcd33c1d325309692dfe48abf4544dc9faa6f26e43de510c953d","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:2cd89515c93f8e2b8f3d7e3016dc347921e3714c5924ce668c130de12715167c","canonical_text":"formula_id: F14\nformula_status: OPEN\nname: Ramanujan A-Partition Bound\nprimitive: Hardy-Ramanujan p(n)\nidentity_doc: exact p(n) via pentagonal recurrence; HR asymptotic within band","canonical_text_sha256":"0fac0a2d4372c968d2815b70c6304e54d7e072e83ce3aa6fb8cf91554387587c","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F14","formula_receipt_id":"formula:sha256:cb920b071119de9acf2e327f7ced646cb2bae48fb638df81432d8c86f0a23374","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:cb920b071119de9acf2e327f7ced646cb2bae48fb638df81432d8c86f0a23374","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:07f125dd73bc5375fa1418bb79dc3a8fc9aa0ca9ad81a32a351049e540545f9a","canonical_text":"formula_id: F15\nformula_status: OPEN\nname: Grothendieck Organ Functor\nprimitive: category theory / schemes\nidentity_doc: comp(comp f g) h == comp f (comp g h) (associativity)","canonical_text_sha256":"0dc3a803f83aaf21be0bda36fcb8d2710fae8aa60dbacd05233de67417ffc6a2","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F15","formula_receipt_id":"formula:sha256:5a4607ff7e9cecac1515df1f9df38273eb3b9fc4b1d0001027f991c027a16b9d","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:5a4607ff7e9cecac1515df1f9df38273eb3b9fc4b1d0001027f991c027a16b9d","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:f0b3418b880d6f2684486aa1fb56152f59c37c06b44296162021a6f8b00624e3","canonical_text":"formula_id: F16\nformula_status: OPEN\nname: von-Neumann-Hukulla Minimax\nprimitive: von Neumann minimax theorem\nidentity_doc: max min == min max == V for zero-sum 2x2 game","canonical_text_sha256":"7154749763279b4aa4c62244c509f5179eed1f375a23134eb2f1f936e73daa30","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F16","formula_receipt_id":"formula:sha256:343a27522d19fcfa2290e42d7c763bc344ec3f28ab598e67b0c45d8cbdf63339","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:343a27522d19fcfa2290e42d7c763bc344ec3f28ab598e67b0c45d8cbdf63339","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:151d95caf36cc5dac5b6a3f0c1dd9e141d8cb3a9d770483cb3ede18325f30061","canonical_text":"formula_id: F17\nformula_status: OPEN\nname: Shannon-Kallpa Capacity\nprimitive: Shannon channel capacity/entropy\nidentity_doc: H(X) = -sum p log2 p >= 0","canonical_text_sha256":"1b08161ac4fa5212051adbcd40938856b4055ddc2f2afafe337ee87f4d90a195","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F17","formula_receipt_id":"formula:sha256:520bd4b6f26d4cbea8d8fcadc57c106cd715aad9ae3ddd56e61c1ef5e1006326","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:520bd4b6f26d4cbea8d8fcadc57c106cd715aad9ae3ddd56e61c1ef5e1006326","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":false,"brain_anatomy_receipt_id":"brain-node:sha256:8c2bc8bfd9074662a1579128f042e223ba87892ffe6c665bef0eb379912cd1e4","canonical_text":"formula_id: F18\nformula_status: KERNEL_ACCEPTED\nname: Kolmogorov A-Description Cap\nprimitive: Kolmogorov complexity\nidentity_doc: #programs length<=k == 2^(k+1)-1","canonical_text_sha256":"a11d2cade47a481ccb41318ff6af248c2e9d7638015009a3ffa29dd02efb4fff","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F18","formula_receipt_id":"formula:sha256:91b748ab3b650c697eecad41cc5106916f9ff50d642ba4279ab3a86de3c49261","formula_status":"KERNEL_ACCEPTED","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:91b748ab3b650c697eecad41cc5106916f9ff50d642ba4279ab3a86de3c49261","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_POSITIVE"}
{"abstention_required":false,"brain_anatomy_receipt_id":"brain-node:sha256:74fa831bdd64acc89c6a89118b137c6c8f7a5d5067cc2e65a4a3f2794448db6e","canonical_text":"formula_id: F19\nformula_status: KERNEL_ACCEPTED\nname: Turing-Fuel Halting Safety\nprimitive: Turing halting problem\nidentity_doc: fuel-bounded run terminates in <= fuel steps","canonical_text_sha256":"b2b5b216e91181901e094aa7d4dfb155ef49b423e87b86d72ad9777f1e0154c0","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F19","formula_receipt_id":"formula:sha256:25485008c06f347e846e8633ecfe629419d97f942d5783474c8dc0967ae77e28","formula_status":"KERNEL_ACCEPTED","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:25485008c06f347e846e8633ecfe629419d97f942d5783474c8dc0967ae77e28","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_POSITIVE"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:3f9d48ec2840369a32a8574b2d28a9e31bb07c5ca964b7f6d0d3eb15c2397dba","canonical_text":"formula_id: F2\nformula_status: OPEN\nname: Egyptian-Kallpa Allocation\nprimitive: Egyptian unit fractions (Rhind/Fibonacci-Sylvester)\nidentity_doc: greedy expansion sums to q; denominators distinct & increasing","canonical_text_sha256":"090c2e8971e17e50f3be55b468cfd25b914dbd0c39fd7762f7202b726f10fcea","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F2","formula_receipt_id":"formula:sha256:4e12cb55bbada7f9193e8f624bc8561a1bac8024fd02bee883d9eff8f23e52b7","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:4e12cb55bbada7f9193e8f624bc8561a1bac8024fd02bee883d9eff8f23e52b7","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:9462058c66c67deeed1505a3b072e81a0734f2ef109c2773a4b7c40955df2777","canonical_text":"formula_id: F20\nformula_status: OPEN\nname: Schrodinger Action Superposition\nprimitive: Schrodinger wavefunction\nidentity_doc: normalized amplitudes: sum c_a^2 == 1","canonical_text_sha256":"6d27bfeb20cf420e5774ac293f93776ad6b124a110089d23be0fc7f245928508","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F20","formula_receipt_id":"formula:sha256:9a0eeb95ee3ab5f871397154538ff6d6b8418fb9ee1f29138afd8885082438f5","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:9a0eeb95ee3ab5f871397154538ff6d6b8418fb9ee1f29138afd8885082438f5","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:9152ef3a0851e9965dc7752c32f2cb24ab2346500dbf286b589973818d3ce1a3","canonical_text":"formula_id: F21\nformula_status: OPEN\nname: Dirac-Commit Projection\nprimitive: Dirac bra-ket measurement\nidentity_doc: select(a)=c_a^2 ; sum select == 1","canonical_text_sha256":"bc1f84c45cd2a01f20134146051c37a334e59f0e7071bdad688e2dfdd2cb0756","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F21","formula_receipt_id":"formula:sha256:e7262716da2a60ae2334f2acbfcd63fa684e00f2965e4deedb7a141f9d5763e2","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:e7262716da2a60ae2334f2acbfcd63fa684e00f2965e4deedb7a141f9d5763e2","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":false,"brain_anatomy_receipt_id":"brain-node:sha256:50c0df91d3c5749bc41827bab6463e732d4ebdb26f4455f1897231b355b1246a","canonical_text":"formula_id: F22\nformula_status: KERNEL_ACCEPTED\nname: Feynman-Puriq Path Integral\nprimitive: Feynman path integral\nidentity_doc: Z = (1/|T_a|) sum Lambda(t) (arithmetic mean, definitional)","canonical_text_sha256":"04d2924df2b25c51b5c514a86f7fea19ac45570e2a2a364070e4d4f087718d19","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F22","formula_receipt_id":"formula:sha256:f1558da16e6e65a8651a3776e13aa09131d88b2088bb4501bd5e3d89a9c2102c","formula_status":"KERNEL_ACCEPTED","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:f1558da16e6e65a8651a3776e13aa09131d88b2088bb4501bd5e3d89a9c2102c","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_POSITIVE"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:60e9ca1aab9a6ef0f503c8a270259c9eb589356f501d14d34c62a4391da518a4","canonical_text":"formula_id: F23\nformula_status: OPEN\nname: Bekenstein A-Cap\nprimitive: Bekenstein bound + 't Hooft holography\nidentity_doc: |A| <= min(exp(2 pi R E/hbar c), 2^(Kmax+1)-1) — Conjecture 1 (open bounty, NOT a theorem)","canonical_text_sha256":"5779842c71ecfd5534ffcf8183efe2c60ee58d5ac723d417f807ae15c162b724","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F23","formula_receipt_id":"formula:sha256:c92555ea06b28f7b5b13ce30b17d96e65d48d0c9a8fba6700b96eb371fab6b23","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:c92555ea06b28f7b5b13ce30b17d96e65d48d0c9a8fba6700b96eb371fab6b23","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:66827f7a2418dbb39031416a758dfae77e94d1e63aeadd9961c83e367d8ce703","canonical_text":"formula_id: F3\nformula_status: OPEN\nname: Noether-Khipu Conservation\nprimitive: Noether 1918 symmetry->conservation\nidentity_doc: symmetry (permutation) mutation preserves sum-charge Q","canonical_text_sha256":"3b1b0cdedf5a5574a50358699bd8b75bbbd09f497fbcf576e598a4e8a7952170","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F3","formula_receipt_id":"formula:sha256:109509483aa78679cdc3de062e86e84013e8a4c19a8c252ac06c4f51a0008a24","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:109509483aa78679cdc3de062e86e84013e8a4c19a8c252ac06c4f51a0008a24","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":false,"brain_anatomy_receipt_id":"brain-node:sha256:3fd8fb77ddd0f1f7a7124094cfb0131569d16b2fe805afbb6ca8af7b7ff2f603","canonical_text":"formula_id: F4\nformula_status: KERNEL_ACCEPTED\nname: Gauss-Yuyay Aggregation\nprimitive: Gauss/CLT max-entropy\nidentity_doc: lowerBound = mu - 1.645*sigma/sqrt(13)","canonical_text_sha256":"75d570246c53568401359e45e8dabde4d69ffe011d4075018c800348de274ba1","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F4","formula_receipt_id":"formula:sha256:63e316af0f04959bed5b21015be3a9161b3876032e0624f1f321f98607ca4c07","formula_status":"KERNEL_ACCEPTED","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:63e316af0f04959bed5b21015be3a9161b3876032e0624f1f321f98607ca4c07","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_POSITIVE"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:ae3bc2e48b45ca4cf7d4fc6e6476509199cd34898e36ba4e6ffcdc726307328d","canonical_text":"formula_id: F5\nformula_status: OPEN\nname: Euler-Lagrange Agency\nprimitive: Euler-Lagrange least action\nidentity_doc: harmonic minimizer satisfies q''+k q = 0 (EL residual ~ 0)","canonical_text_sha256":"40c132582ba9b0d77f1ae684b899a7dcaee085e1517213f2cdf3ac3c09206c06","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F5","formula_receipt_id":"formula:sha256:fb41f8828e7707d88c185d2fe459934ef05c2afe0ff61b4a56cd57b04666ca14","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:fb41f8828e7707d88c185d2fe459934ef05c2afe0ff61b4a56cd57b04666ca14","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:e95812caf7d6bccb426a8817dcd7e6e3e02a025c5cc32f683fe66db65b785d45","canonical_text":"formula_id: F6\nformula_status: OPEN\nname: Newton Risk-Velocity Tripwire\nprimitive: Newton fluxion d(risk)/dt\nidentity_doc: risk' <= vmax => risk(t+h) <= risk(t)+vmax*h","canonical_text_sha256":"02fc3d76526bf77c59d4981b073f5f1e3bcb430bbca99b025daee3e1b97f4eb3","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F6","formula_receipt_id":"formula:sha256:e9ebe86aa327db256797c7c129deba5c645e3ee32d245007e636219b82fd86e3","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:e9ebe86aa327db256797c7c129deba5c645e3ee32d245007e636219b82fd86e3","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":false,"brain_anatomy_receipt_id":"brain-node:sha256:4974772446fe6023451ca111e9b413a342ef935e4bdac3825bc2363d9be5e6c7","canonical_text":"formula_id: F7\nformula_status: KERNEL_ACCEPTED\nname: Inverse-Square/Zeta Provenance\nprimitive: Newton 1/r^2 + Riemann zeta\nidentity_doc: sum_{d>=1} d^-s converges for s>1; s=2 -> pi^2/6 (Basel)","canonical_text_sha256":"66ceac76cb7af900ace497bc6d27a146202e2981d328adcd0f28fd9df410ef44","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F7","formula_receipt_id":"formula:sha256:f1ce3f13900d6084945642c3ad47b58c2db953034b21bcfb3e0c0bcacdf498fb","formula_status":"KERNEL_ACCEPTED","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:f1ce3f13900d6084945642c3ad47b58c2db953034b21bcfb3e0c0bcacdf498fb","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_POSITIVE"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:d8723cf2847a0dfa482c87c792938b7854966daeba30fa1adaaef0c8504858df","canonical_text":"formula_id: F8\nformula_status: OPEN\nname: Newton-Parsimony Pick\nprimitive: Newton Principia Rule 1/4 (Occam)\nidentity_doc: parsimonyPick returns element of minimal justification count","canonical_text_sha256":"ee580bca099e0028b90a2c4b55fabf48db2b82c99ebf083b0a7d96028a4921de","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F8","formula_receipt_id":"formula:sha256:f6ea13fefa98f071e031dbb52c66fc9e90e5ae0a43dae9339807d4a49508ea61","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:f6ea13fefa98f071e031dbb52c66fc9e90e5ae0a43dae9339807d4a49508ea61","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":"brain-node:sha256:ba912f93fa6ac4a9c668f3f08bfc5cde3d1d8928e8b3977a703560fae3d40cbb","canonical_text":"formula_id: F9\nformula_status: OPEN\nname: Sulba Yuyay Mass-Conservation\nprimitive: Sulba area-preserving altar\nidentity_doc: sum(map(x)) == sum(x) for mass-preserving reweight","canonical_text_sha256":"3413d1044cb9a054717afbfad55fed7dd92ce22e0a2acaca99a4d58a66e8aaa9","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F9","formula_receipt_id":"formula:sha256:ed5eda2362c32056d341fdfba4f890a4cad480f2edf8c139f4952093eb3c99cd","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"szl_puriq_formulas.FORMULA_META","source_file":null,"source_line":null},"receipt_id":"formula:sha256:ed5eda2362c32056d341fdfba4f890a4cad480f2edf8c139f4952093eb3c99cd","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"canonical-formula-registry","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0001\nformula_status: OPEN\nlatex: \\mathcal{S} = \\langle R, A, E, \\Lambda, \\rho, W \\rangle\ncontext: ith a doctrine-locked runtime** as a category-defining primitive for verifiable agency. We define the system as a tuple \\( \\mathcal{S} = \\langle R, A, E, \\Lambda, \\rho, W \\rangle \\) over an eight-regi\nsource_file: thesis.md\nsource_line: 27","canonical_text_sha256":"618a3fc91090ac9dd0259d04f1e8c8cdf6a083029d8b22821028df1ee299d946","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0001","formula_receipt_id":"formula:sha256:97d7e3ee6b8b533a6d09d6b6025fd9f5199e04d696de5b1f0fff910d77b26d28","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":27},"receipt_id":"formula:sha256:97d7e3ee6b8b533a6d09d6b6025fd9f5199e04d696de5b1f0fff910d77b26d28","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0002\nformula_status: OPEN\nlatex: \\mathtt{szl\\text{-}trust}\ncontext: 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 in \\(E\\) may originate from or terminate \nsource_file: thesis.md\nsource_line: 229","canonical_text_sha256":"8997a9bf4e39f5b583f65e0bc759f612437e54127eb971e0a389ab94c826e766","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0002","formula_receipt_id":"formula:sha256:d3964860146302ec93e10868dbc41a7baa596c808edfca9703ccee7f0e7b786e","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":229},"receipt_id":"formula:sha256:d3964860146302ec93e10868dbc41a7baa596c808edfca9703ccee7f0e7b786e","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0003\nformula_status: OPEN\nlatex: e \\in E\ncontext: 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}},\\; r_{\\text{src}},\\; r_{\\text{dst}},\\; \\\nsource_file: thesis.md\nsource_line: 231","canonical_text_sha256":"7f388dedc7842cf7263733e180e5308241b4cfbaac5ef5f444b7be865a538a1d","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0003","formula_receipt_id":"formula:sha256:396e873991f567833c0beb51aaf356cb2e2b1cac97bcd6f2adfeb2b74a2e0246","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":231},"receipt_id":"formula:sha256:396e873991f567833c0beb51aaf356cb2e2b1cac97bcd6f2adfeb2b74a2e0246","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0004\nformula_status: OPEN\nlatex: (a_{\\text{src}},\\; r_{\\text{src}},\\; r_{\\text{dst}},\\; \\varepsilon)\ncontext: 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_{\\text{dst}},\\; \\varepsilon)\\) where \\(\nsource_file: thesis.md\nsource_line: 231","canonical_text_sha256":"f030ad4845c590872886441ff83a8a1894670fc5aa7e0379c0ce0db629a69660","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0004","formula_receipt_id":"formula:sha256:e221d2b58e28e31918b76da88dbf168d06f6e02cf18c9c6f5c9df66440812f7b","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":231},"receipt_id":"formula:sha256:e221d2b58e28e31918b76da88dbf168d06f6e02cf18c9c6f5c9df66440812f7b","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0005\nformula_status: OPEN\nlatex: a_{\\text{src}} \\in A\ncontext: d edges**. An edge \\(e \\in E\\) is a tuple \\((a_{\\text{src}},\\; r_{\\text{src}},\\; r_{\\text{dst}},\\; \\varepsilon)\\) where \\(a_{\\text{src}} \\in A\\), \\(r_{\\text{src}}, r_{\\text{dst}} \\in R\\), and \\(\\varep\nsource_file: thesis.md\nsource_line: 231","canonical_text_sha256":"e6e1f9c214881221c372c74fd7ff397fda3a3a1eaffc77f0a05527dfb548638c","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0005","formula_receipt_id":"formula:sha256:6e815974d6c5252edea6c4ffe0fbf55bef523911c51244ed0272db6f9e2fe7d7","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":231},"receipt_id":"formula:sha256:6e815974d6c5252edea6c4ffe0fbf55bef523911c51244ed0272db6f9e2fe7d7","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0006\nformula_status: OPEN\nlatex: r_{\\text{src}}, r_{\\text{dst}} \\in R\ncontext: E\\) is a tuple \\((a_{\\text{src}},\\; r_{\\text{src}},\\; r_{\\text{dst}},\\; \\varepsilon)\\) where \\(a_{\\text{src}} \\in A\\), \\(r_{\\text{src}}, r_{\\text{dst}} \\in R\\), and \\(\\varepsilon\\) is the receipt enve\nsource_file: thesis.md\nsource_line: 231","canonical_text_sha256":"f9536ba42afc8412ab63ad640b08edad9207e466904a16724692660268057b75","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0006","formula_receipt_id":"formula:sha256:fcf7464326bbf61c9e5df7d9c757fede641523d6c2a039a1be9a99f6b554b18e","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":231},"receipt_id":"formula:sha256:fcf7464326bbf61c9e5df7d9c757fede641523d6c2a039a1be9a99f6b554b18e","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0007\nformula_status: OPEN\nlatex: \\varepsilon\ncontext: src}},\\; r_{\\text{dst}},\\; \\varepsilon)\\) where \\(a_{\\text{src}} \\in A\\), \\(r_{\\text{src}}, r_{\\text{dst}} \\in R\\), and \\(\\varepsilon\\) is the receipt envelope defined in §3.3. No message may traverse\nsource_file: thesis.md\nsource_line: 231","canonical_text_sha256":"3927e5588336a30decf9104bf18b442c510e276373e72fafa0287b5fe9e453a9","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0007","formula_receipt_id":"formula:sha256:c141ec1deb3273e75818817c78f95d0d9ff4eb6779da459ac55e4a74ad59fe37","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":231},"receipt_id":"formula:sha256:c141ec1deb3273e75818817c78f95d0d9ff4eb6779da459ac55e4a74ad59fe37","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0008\nformula_status: OPEN\nlatex: \\varepsilon\ncontext: repsilon\\) is the receipt envelope defined in §3.3. No message may traverse a region boundary unless it carries a valid \\(\\varepsilon\\).  - \\(\\Lambda\\) — the **composable axis-gating function**. Forma\nsource_file: thesis.md\nsource_line: 231","canonical_text_sha256":"48b63be05a5c97c2368198f1ebd0dc710fcc982f041ff018d01dfb70f3cd3fe5","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0008","formula_receipt_id":"formula:sha256:93b9908fddbb5840a1588b4d85c49efb32584f635a2e8ee6ac213a5cbc702c55","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":231},"receipt_id":"formula:sha256:93b9908fddbb5840a1588b4d85c49efb32584f635a2e8ee6ac213a5cbc702c55","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0009\nformula_status: OPEN\nlatex: \\Lambda\ncontext: ceipt envelope defined in §3.3. No message may traverse a region boundary unless it carries a valid \\(\\varepsilon\\).  - \\(\\Lambda\\) — the **composable axis-gating function**. Formally, \\(\\Lambda : [0,\nsource_file: thesis.md\nsource_line: 233","canonical_text_sha256":"1e88b5b9f541f5e88326af9dca83117a65c8192898b49a6138ba1a1204b0a88a","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0009","formula_receipt_id":"formula:sha256:91d23a10e5f6c19b66f84f3ca609f2a0da26e9f0babbc4521f21e6b8233eedc3","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":233},"receipt_id":"formula:sha256:91d23a10e5f6c19b66f84f3ca609f2a0da26e9f0babbc4521f21e6b8233eedc3","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0010\nformula_status: OPEN\nlatex: \\Lambda : [0,1]^k \\to \\{0,1\\}\ncontext: boundary unless it carries a valid \\(\\varepsilon\\).  - \\(\\Lambda\\) — the **composable axis-gating function**. Formally, \\(\\Lambda : [0,1]^k \\to \\{0,1\\}\\) for \\(k \\geq 9\\), defined as the conjunctive A\nsource_file: thesis.md\nsource_line: 233","canonical_text_sha256":"1ef414467779e3a7f12469b68eb7f5d62de6f91480f29285895027a06cd64d3c","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0010","formula_receipt_id":"formula:sha256:9a8d7e81fc7d1cac9470f850dc04118a681d026e850a610ab3a3799e21be6aef","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":233},"receipt_id":"formula:sha256:9a8d7e81fc7d1cac9470f850dc04118a681d026e850a610ab3a3799e21be6aef","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0011\nformula_status: OPEN\nlatex: k \\geq 9\ncontext: varepsilon\\).  - \\(\\Lambda\\) — the **composable axis-gating function**. Formally, \\(\\Lambda : [0,1]^k \\to \\{0,1\\}\\) for \\(k \\geq 9\\), defined as the conjunctive AND:  \\[ \\Lambda(\\mathbf{x}) = 1 \\iff \\\nsource_file: thesis.md\nsource_line: 233","canonical_text_sha256":"1a7b5559dfc278730d4f85622635c06ee7a0eea624b5484893641138e3afaf38","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0011","formula_receipt_id":"formula:sha256:a39e0774c17efa6eb54c85f2f494d80fe6fa8a82aa1e58b9b8d49eda70d6a2e7","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":233},"receipt_id":"formula:sha256:a39e0774c17efa6eb54c85f2f494d80fe6fa8a82aa1e58b9b8d49eda70d6a2e7","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0012\nformula_status: OPEN\nlatex: \\mathbf{x}\ncontext: bilityHonesty}} \\geq 0.95 \\]    The composability property states that for any two independently evaluated axis vectors \\(\\mathbf{x}\\) and \\(\\mathbf{y}\\), their composed gate \\(\\Lambda(\\mathbf{x} \\wed\nsource_file: thesis.md\nsource_line: 239","canonical_text_sha256":"4fab28c3185d68da36f8277280578d345f371e277a22a8c75f1bc8771a12998e","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0012","formula_receipt_id":"formula:sha256:85cd7a4a9b80163664dd2e273d99a0d1cb75055ee439e9f427f0bc509211eac3","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":239},"receipt_id":"formula:sha256:85cd7a4a9b80163664dd2e273d99a0d1cb75055ee439e9f427f0bc509211eac3","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0013\nformula_status: OPEN\nlatex: \\mathbf{y}\ncontext: q 0.95 \\]    The composability property states that for any two independently evaluated axis vectors \\(\\mathbf{x}\\) and \\(\\mathbf{y}\\), their composed gate \\(\\Lambda(\\mathbf{x} \\wedge \\mathbf{y})\\) is\nsource_file: thesis.md\nsource_line: 239","canonical_text_sha256":"41c2a1e0ace21f928e3205c35c948ea64105340a675f500cfd1681a57a7d61fe","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0013","formula_receipt_id":"formula:sha256:5c3d2872430d8fdbb4b1dc3a8e62feb6534ee0e33a02322d19ae56a7f62fa580","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":239},"receipt_id":"formula:sha256:5c3d2872430d8fdbb4b1dc3a8e62feb6534ee0e33a02322d19ae56a7f62fa580","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0014\nformula_status: OPEN\nlatex: \\Lambda(\\mathbf{x} \\wedge \\mathbf{y})\ncontext: rty states that for any two independently evaluated axis vectors \\(\\mathbf{x}\\) and \\(\\mathbf{y}\\), their composed gate \\(\\Lambda(\\mathbf{x} \\wedge \\mathbf{y})\\) is equivalent to \\(\\Lambda(\\mathbf{x})\nsource_file: thesis.md\nsource_line: 239","canonical_text_sha256":"52d29460b2a57565a0522874d8575e74d3c940582167f5e713f0ca5f54128fbb","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0014","formula_receipt_id":"formula:sha256:7200b939659e1fb5e0530d82a3f15a433347260745b88f0b440ff5e3f0a9ccc3","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":239},"receipt_id":"formula:sha256:7200b939659e1fb5e0530d82a3f15a433347260745b88f0b440ff5e3f0a9ccc3","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0015\nformula_status: OPEN\nlatex: \\Lambda(\\mathbf{x}) \\wedge \\Lambda(\\mathbf{y})\ncontext: ctors \\(\\mathbf{x}\\) and \\(\\mathbf{y}\\), their composed gate \\(\\Lambda(\\mathbf{x} \\wedge \\mathbf{y})\\) is equivalent to \\(\\Lambda(\\mathbf{x}) \\wedge \\Lambda(\\mathbf{y})\\) — gate composition does not w\nsource_file: thesis.md\nsource_line: 239","canonical_text_sha256":"0bd89e9b65b0c4459e030504d383db323cd87363a8452c73e7cf28d4fc0429f4","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0015","formula_receipt_id":"formula:sha256:a116a947da762da43d1423347c1164112fc4b40673313b2f5f94e58ae33be9a1","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":239},"receipt_id":"formula:sha256:a116a947da762da43d1423347c1164112fc4b40673313b2f5f94e58ae33be9a1","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0016\nformula_status: OPEN\nlatex: \\Lambda\ncontext: — gate composition does not weaken the invariant. The `lutar-lean` skeleton repository contains the Lean 4 statement of \\(\\Lambda\\) uniqueness: given the four axioms (A1 monotonicity, A2 homogeneity, \nsource_file: thesis.md\nsource_line: 239","canonical_text_sha256":"a47a841ca04253312392b535bcaee5a48ae7d65dc14a924469c1c784532cd61a","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0016","formula_receipt_id":"formula:sha256:ae9992d9683a44b137bda2d22abed8651c89013faa3ebd6d84330f31fd385cdc","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":239},"receipt_id":"formula:sha256:ae9992d9683a44b137bda2d22abed8651c89013faa3ebd6d84330f31fd385cdc","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0017\nformula_status: OPEN\nlatex: \\Lambda\ncontext: ment of \\(\\Lambda\\) uniqueness: given the four axioms (A1 monotonicity, A2 homogeneity, A3 Egyptian-exact, A4 bounded), \\(\\Lambda\\) is the *unique* function satisfying them. The uniqueness theorem and\nsource_file: thesis.md\nsource_line: 239","canonical_text_sha256":"0299255c2ec01d5b823e6879f07dbf3f177e13bc3d8b1c9ff15c30a51d614209","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0017","formula_receipt_id":"formula:sha256:632d91734f2e9d4f666b094e1d0acbd1a3f6f15d1c57f1c4963ee5a0f59fee29","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":239},"receipt_id":"formula:sha256:632d91734f2e9d4f666b094e1d0acbd1a3f6f15d1c57f1c4963ee5a0f59fee29","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0018\nformula_status: OPEN\nlatex: \\rho(e)\ncontext: arget is zero.  - \\(\\rho\\) — the **dual-witness closure relation**. For any edge \\(e\\) carrying execution result \\(v\\), \\(\\rho(e)\\) holds iff two independent witnesses \\(w_1, w_2 \\in W\\) each produce \nsource_file: thesis.md\nsource_line: 241","canonical_text_sha256":"4955449134ecf3f96f4d4954ff46d430d589d6196294083f7b6ffb1efe30efe7","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0018","formula_receipt_id":"formula:sha256:9a0062ca2768eca925f5cb3da68e79353e367ec319a6a8dbe48922bb1f989451","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":241},"receipt_id":"formula:sha256:9a0062ca2768eca925f5cb3da68e79353e367ec319a6a8dbe48922bb1f989451","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0019\nformula_status: OPEN\nlatex: w_1, w_2 \\in W\ncontext: closure relation**. For any edge \\(e\\) carrying execution result \\(v\\), \\(\\rho(e)\\) holds iff two independent witnesses \\(w_1, w_2 \\in W\\) each produce byte-identical output on the same input, and the\nsource_file: thesis.md\nsource_line: 241","canonical_text_sha256":"69ce6f9db566cb70d1bac7f509b4d145daa62a34b6597ecfcb5bda488cc9c549","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0019","formula_receipt_id":"formula:sha256:cb6d64a5e9b5e002fdd4f0d9680c9bd337c23c40990a2afca704312c180d9d26","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":241},"receipt_id":"formula:sha256:cb6d64a5e9b5e002fdd4f0d9680c9bd337c23c40990a2afca704312c180d9d26","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0020\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: uroboros` core + 4 `a11oy` covenant), while the full upstream runtime suite registers 218/218 passing tests.  The tuple \\(\\mathcal{S}\\) is **doctrine-locked**: any runtime configuration in which (a) a\nsource_file: thesis.md\nsource_line: 251","canonical_text_sha256":"0a44d40e7cb07b8ce13a49d04bcbb3baac8e8e089769548436563a6f4b2d9200","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0020","formula_receipt_id":"formula:sha256:e5819c2ee61fed90e8080ee67f3ec7eb8206b0ceab94d428954ed7bccda9e42b","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":251},"receipt_id":"formula:sha256:e5819c2ee61fed90e8080ee67f3ec7eb8206b0ceab94d428954ed7bccda9e42b","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0021\nformula_status: OPEN\nlatex: \\Lambda\ncontext: which (a) a region is unnamed, (b) an actor is not in \\(A\\), (c) an edge is produced without a receipt envelope, or (d) \\(\\Lambda\\) is evaluated below threshold does not constitute a valid instantiati\nsource_file: thesis.md\nsource_line: 251","canonical_text_sha256":"17c26e35c071322e848454324b3097f9ae593e7166dde2393d5a03b47495272d","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0021","formula_receipt_id":"formula:sha256:fdfff61998c212d36ba99341eb0971610b73c0b9b16c911c0057fa2abb1debf0","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":251},"receipt_id":"formula:sha256:fdfff61998c212d36ba99341eb0971610b73c0b9b16c911c0057fa2abb1debf0","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0022\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: ithout a receipt envelope, or (d) \\(\\Lambda\\) is evaluated below threshold does not constitute a valid instantiation of \\(\\mathcal{S}\\).  ---  ## The 8-Region Anatomy  The eight canonical regions of \\\nsource_file: thesis.md\nsource_line: 251","canonical_text_sha256":"b3201a2edba9896f4cd0e2e567e9055b68c478b16a7e0260e3bf4901b2e7a230","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0022","formula_receipt_id":"formula:sha256:ae33409933fa628563258ed41bf19bdc3ee471a2ac1a6191222bea576cdd88b4","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":251},"receipt_id":"formula:sha256:ae33409933fa628563258ed41bf19bdc3ee471a2ac1a6191222bea576cdd88b4","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0023\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: of \\(R\\) are enumerated below. For each region the presentation gives: the repository identifier, its role in the tuple \\(\\mathcal{S}\\), its public interfaces, and its dependency relations within \\(E\\\nsource_file: thesis.md\nsource_line: 257","canonical_text_sha256":"20ccd5a17e46e9f4f3ea3bde4b86100f782c57008c35f4bcd1bd169f5d27ec8b","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0023","formula_receipt_id":"formula:sha256:781e02dffe97829ffbea6a51c5f9efbbc13c0e74a74215a4912bffd07b520313","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":257},"receipt_id":"formula:sha256:781e02dffe97829ffbea6a51c5f9efbbc13c0e74a74215a4912bffd07b520313","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0024\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: released 2026-05-13; concept DOI `10.5281/zenodo.19944926`, v11 paper DOI `10.5281/zenodo.20119582`)  **Formal role in \\(\\mathcal{S}\\):** The Brain Stem is the runtime kernel that evaluates \\(\\Lambda\\\nsource_file: thesis.md\nsource_line: 265","canonical_text_sha256":"b70ce994327ffb0b0991ba4b5416b1eee459ca439844541589e1d39157b3997a","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0024","formula_receipt_id":"formula:sha256:4df4a2d5bb4a6568a3a95409224347624743342af8f0f5be0db0c0f630f4c72f","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":265},"receipt_id":"formula:sha256:4df4a2d5bb4a6568a3a95409224347624743342af8f0f5be0db0c0f630f4c72f","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0025\nformula_status: OPEN\nlatex: \\Lambda\ncontext: DOI `10.5281/zenodo.20119582`)  **Formal role in \\(\\mathcal{S}\\):** The Brain Stem is the runtime kernel that evaluates \\(\\Lambda\\) and emits receipts. Every edge in \\(E\\) that crosses a region bounda\nsource_file: thesis.md\nsource_line: 265","canonical_text_sha256":"10b6e8dc2bdfbe6f885cf81d9050e332b5a833ff38257af5d172481198253325","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0025","formula_receipt_id":"formula:sha256:bd5ba32305b678e099e64d60d39250205d2956daf43e8445e32fd52fcf91f93e","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":265},"receipt_id":"formula:sha256:bd5ba32305b678e099e64d60d39250205d2956daf43e8445e32fd52fcf91f93e","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0026\nformula_status: OPEN\nlatex: \\Lambda\ncontext: bda(axes: number[9|10]) → Receipt` — evaluates the conjunctive AND gate and returns a signed receipt with the composite \\(\\Lambda\\) score, Bekenstein budget, and dual-witness closure status. - `build_\nsource_file: thesis.md\nsource_line: 268","canonical_text_sha256":"e69baeac5710addea92d777ca98809ca8ce48eee25e4f37ae365be638627749a","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0026","formula_receipt_id":"formula:sha256:e75898f6244903d12b1f2a22425f2dd30f8827cc4b5800c97aa0ad7bc1d03bf6","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":268},"receipt_id":"formula:sha256:e75898f6244903d12b1f2a22425f2dd30f8827cc4b5800c97aa0ad7bc1d03bf6","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0027\nformula_status: OPEN\nlatex: \\Lambda\ncontext: chain root for third-party verification.  **Dependencies:** - Depends on: `lutar-lean` (Skeleton) — the axiom set that \\(\\Lambda\\) is required to satisfy is formally stated there; the Brain Stem is th\nsource_file: thesis.md\nsource_line: 274","canonical_text_sha256":"808284823295314b815cae467e19d8def99e2f418fac250c5ffdbc18120246c5","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0027","formula_receipt_id":"formula:sha256:9cc72a56778643e1df104207c290cae3407c4700a41d64051c2f6fd339aad4f9","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":274},"receipt_id":"formula:sha256:9cc72a56778643e1df104207c290cae3407c4700a41d64051c2f6fd339aad4f9","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0028\nformula_status: OPEN\nlatex: \\Lambda_9\ncontext: 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 composed p50 = 3.29 µs; with the Platform v\nsource_file: thesis.md\nsource_line: 277","canonical_text_sha256":"06de87873b6c2a4fc85ad5cacf7f760d3281aaa7bc02ed421019c986b5a73756","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0028","formula_receipt_id":"formula:sha256:51a25b9ffa455362f888331a8fd2c5be51a99d76dddd0c01687d54829be45693","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":277},"receipt_id":"formula:sha256:51a25b9ffa455362f888331a8fd2c5be51a99d76dddd0c01687d54829be45693","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0029\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: a continuous supply-chain security posture.  ---  ### Heart — `a11oy`  **Repo:** `szl-holdings/a11oy`  **Formal role in \\(\\mathcal{S}\\):** The Heart is the covenant policy engine and the agent approva\nsource_file: thesis.md\nsource_line: 285","canonical_text_sha256":"87ab70cc00af4c4182f1f3b136f5140501f0454d21a4c3ea041931fd2d22f444","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0029","formula_receipt_id":"formula:sha256:2487d155dce234e4c8dcd2788c4d9258b83ef10993f5995b76a7973a574caf9e","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":285},"receipt_id":"formula:sha256:2487d155dce234e4c8dcd2788c4d9258b83ef10993f5995b76a7973a574caf9e","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0030\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: \\):** The Heart is the covenant policy engine and the agent approval queue. It governs the *authorization* dimension of \\(\\mathcal{S}\\): while the Brain Stem answers \"does this action score above \\(\\L\nsource_file: thesis.md\nsource_line: 285","canonical_text_sha256":"fd724a8a5200e8535cd55b7de2185a9ebf2657479c76e28af30206fa3231e577","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0030","formula_receipt_id":"formula:sha256:9cc3aad46417b81465ed2a869439d9eecac358be58dfd32b464658eeb62cf719","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":285},"receipt_id":"formula:sha256:9cc3aad46417b81465ed2a869439d9eecac358be58dfd32b464658eeb62cf719","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0031\nformula_status: OPEN\nlatex: \\Lambda\ncontext: It governs the *authorization* dimension of \\(\\mathcal{S}\\): while the Brain Stem answers \"does this action score above \\(\\Lambda\\)?\", the Heart answers \"is this action permitted under the active cove\nsource_file: thesis.md\nsource_line: 285","canonical_text_sha256":"a0482e862b79050ad79e509e9100ff0753d316341429628aa8e1c0d14ce0b4f3","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0031","formula_receipt_id":"formula:sha256:3b8dfe9c91c5b26c47d2bcf000cb96315568b2b639f195cc762e6323f60c747b","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":285},"receipt_id":"formula:sha256:3b8dfe9c91c5b26c47d2bcf000cb96315568b2b639f195cc762e6323f60c747b","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0032\nformula_status: OPEN\nlatex: r_{\\text{dst}} \\notin R\ncontext: 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 Heart pulse. The covenant is a named, ver\nsource_file: thesis.md\nsource_line: 285","canonical_text_sha256":"281240ecde52e5ae7eb58e433382266cdd59f00574a90cd6e62877cffb7502f1","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0032","formula_receipt_id":"formula:sha256:0403723dbeb7f9a2a696869264bfcd253632193fe2460194d7bffb91b519972c","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":285},"receipt_id":"formula:sha256:0403723dbeb7f9a2a696869264bfcd253632193fe2460194d7bffb91b519972c","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0033\nformula_status: OPEN\nlatex: \\Lambda\ncontext: Stem's chain.  **Dependencies:** - Depends on: `ouroboros` (Brain Stem) — covenant evaluation results are sealed with a \\(\\Lambda\\)-gated receipt; a covenant check that fails \\(\\Lambda\\) is itself a g\nsource_file: thesis.md\nsource_line: 293","canonical_text_sha256":"153ef7350059be5cca8bf872334c7f4aab1cd01358994ff360fd1e7ef197d908","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0033","formula_receipt_id":"formula:sha256:379c3ef55e6708139bdde8dbd4fbae35f233bc692777402607635f0b1bd56064","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":293},"receipt_id":"formula:sha256:379c3ef55e6708139bdde8dbd4fbae35f233bc692777402607635f0b1bd56064","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0034\nformula_status: OPEN\nlatex: \\Lambda\ncontext: os` (Brain Stem) — covenant evaluation results are sealed with a \\(\\Lambda\\)-gated receipt; a covenant check that fails \\(\\Lambda\\) is itself a gate-level violation. - Depends on: `safety-gate layer` (safety wires) — t\nsource_file: thesis.md\nsource_line: 293","canonical_text_sha256":"34f6b7e17cfc58e93e0d6254678be1667cf97169d42a745e1e5316433d92e2f7","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0034","formula_receipt_id":"formula:sha256:5a8e3be297f544f6f8d0f715bdb8462540207ba25c768dde454310ee43ed333a","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":293},"receipt_id":"formula:sha256:5a8e3be297f544f6f8d0f715bdb8462540207ba25c768dde454310ee43ed333a","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0035\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: but a verifiable, chain-linked artifact.  ---  ### safety wires — `safety-gate layer`  **Repo:** `szl-holdings/safety-gate layer`  **Formal role in \\(\\mathcal{S}\\):** The safety wires are the attribution trail — the afferent channel tha\nsource_file: thesis.md\nsource_line: 305","canonical_text_sha256":"21c1410a2fda1bceab36200a421c2e0cb2ce14ff1ab3e7b665d361eb06f0be95","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0035","formula_receipt_id":"formula:sha256:a627d6c6347f0d38d20a06e5c4f1d97321217f1379ec6ed93209bf7b7e692d03","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":305},"receipt_id":"formula:sha256:a627d6c6347f0d38d20a06e5c4f1d97321217f1379ec6ed93209bf7b7e692d03","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0036\nformula_status: OPEN\nlatex: \\text{attr}: E \\to A\ncontext: rent channel that carries signals inward and records *who observed what and when*. Formally, safety wires maintain the mapping \\(\\text{attr}: E \\to A\\), ensuring that every edge in \\(E\\) is attributable to a\nsource_file: thesis.md\nsource_line: 305","canonical_text_sha256":"596709aaac5b3428b84f2f165a484191e2c6a6f5c1d1e6c0e2d8e52c8524a828","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0036","formula_receipt_id":"formula:sha256:278d7f523a5e0ce8bf6f4a783c10a4774a1c3f23ae3fdf8550225a27b407fc23","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":305},"receipt_id":"formula:sha256:278d7f523a5e0ce8bf6f4a783c10a4774a1c3f23ae3fdf8550225a27b407fc23","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0037\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: he mapping \\(\\text{attr}: E \\to A\\), ensuring that every edge in \\(E\\) is attributable to a named actor. Without safety wires, \\(\\mathcal{S}\\) degrades: edges carry receipts but not attributions, making the \nsource_file: thesis.md\nsource_line: 305","canonical_text_sha256":"9469e5d2c876f19aca29e1097e2cdc56e82b6a07ed88b8d81f636e26440534f4","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0037","formula_receipt_id":"formula:sha256:40263881f0037d88d55799035270ac35d116659c10f6e6a27bb1aea40ef0a7f2","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":305},"receipt_id":"formula:sha256:40263881f0037d88d55799035270ac35d116659c10f6e6a27bb1aea40ef0a7f2","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0038\nformula_status: OPEN\nlatex: a \\in A\ncontext: egal-accountability sense.  **Public interfaces:** - `observe(edge, actor_id) → AttributionRecord` — records that actor \\(a \\in A\\) produced or consumed edge \\(e\\). - `attribution_trail(region, time_r\nsource_file: thesis.md\nsource_line: 308","canonical_text_sha256":"0e7fba537588b7925060e002a664bee0dc8d64dda92091fd86737a75557db634","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0038","formula_receipt_id":"formula:sha256:a84aee3c6bf8fb6f44047a6bb57948fa405dd6c82d89fa7a73d5690ee880f607","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":308},"receipt_id":"formula:sha256:a84aee3c6bf8fb6f44047a6bb57948fa405dd6c82d89fa7a73d5690ee880f607","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0039\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: aft-morrow-sogomonian-exec-outcome-attest`.  ---  ### reasoning spine — `reasoning core`  **Repo:** `szl-holdings/reasoning core`  **Formal role in \\(\\mathcal{S}\\):** The reasoning spine is the append-only coordination and protocol bridge\nsource_file: thesis.md\nsource_line: 325","canonical_text_sha256":"13033c6027d684831d9996d29f580d1e4437e49755595e9440f4444f0540321a","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0039","formula_receipt_id":"formula:sha256:ecbde34f92b32bfd88583668b30f5b02b339af777a4fb94d77418434ee5d1294","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":325},"receipt_id":"formula:sha256:ecbde34f92b32bfd88583668b30f5b02b339af777a4fb94d77418434ee5d1294","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0040\nformula_status: OPEN\nlatex: \\langle e_1, e_2, \\ldots, e_n \\rangle \\subseteq E\ncontext: ordered, hash-verified record of every state transition across the body graph. Formally, `reasoning core` maintains the sequence \\(\\langle e_1, e_2, \\ldots, e_n \\rangle \\subseteq E\\) ordered by timestamp, with\nsource_file: thesis.md\nsource_line: 325","canonical_text_sha256":"f987c596f728ab2235a48559b9a402a93cdeeb637a2185a9f7497fa87ffb098f","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0040","formula_receipt_id":"formula:sha256:db681e8dc469b60571350f4d0ce5001396c7fa7c0d5ccbe413a44489518a6ae9","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":325},"receipt_id":"formula:sha256:db681e8dc469b60571350f4d0ce5001396c7fa7c0d5ccbe413a44489518a6ae9","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0041\nformula_status: OPEN\nlatex: O(\\log n)\ncontext: (identified in the runtime roadmap) would upgrade the reasoning spine's linear hash-chain to a directed acyclic graph supporting \\(O(\\log n)\\) subset inclusion proofs — enabling privacy-preserving audits for re\nsource_file: thesis.md\nsource_line: 339","canonical_text_sha256":"34bdf8614bbf462e98a5691687e0013bfbe240bd5608ad0210a0aee4eb55cd01","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0041","formula_receipt_id":"formula:sha256:57bc55300521b9a2508ed9d610a0879d4f32632d3738b36d93b43f10e2f9b0fb","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":339},"receipt_id":"formula:sha256:57bc55300521b9a2508ed9d610a0879d4f32632d3738b36d93b43f10e2f9b0fb","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0042\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: nce in the enterprise segment.  ---  ### Skeleton — `lutar-lean`  **Repo:** `szl-holdings/lutar-lean`  **Formal role in \\(\\mathcal{S}\\):** The Skeleton is the formal scaffold — the Lean 4 axioms and M\nsource_file: thesis.md\nsource_line: 347","canonical_text_sha256":"9e6b8b0b9363e288f8c16d1da12e6ab8ce0e8f54593326cf58a52f68d4b990c7","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0042","formula_receipt_id":"formula:sha256:820837a520eae4cd75900961960dc7c5fcb830226db6e1964f4baee541916348","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":347},"receipt_id":"formula:sha256:820837a520eae4cd75900961960dc7c5fcb830226db6e1964f4baee541916348","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0043\nformula_status: OPEN\nlatex: \\{A1, A2, A3, A4\\}\ncontext: es not execute at runtime; it is the *proof that the runtime is correct*. Formally, `lutar-lean` provides the axiom set \\(\\{A1, A2, A3, A4\\}\\) and the derived theorems (Λ uniqueness, Bound theorem) th\nsource_file: thesis.md\nsource_line: 347","canonical_text_sha256":"5d44ef4cc8c5afea5fde7bbc7df0883ca812bfb7acca060ad5b143f61db991a8","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0043","formula_receipt_id":"formula:sha256:c3e9ad0c9beea895c8ecc50d291591f367275204f73c4b9f583ce0af8aa17ae7","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":347},"receipt_id":"formula:sha256:c3e9ad0c9beea895c8ecc50d291591f367275204f73c4b9f583ce0af8aa17ae7","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0044\nformula_status: OPEN\nlatex: \\Lambda\ncontext: A2, A3, A4\\}\\) and the derived theorems (Λ uniqueness, Bound theorem) that constitute a machine-checked certificate for \\(\\Lambda\\). If the Skeleton's `sorry` count is zero, the gate the Brain Stem en\nsource_file: thesis.md\nsource_line: 347","canonical_text_sha256":"54ed5ec5c39dfccbbfa5add8bf257e53199660cc37a97d1f9be68d8602534111","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0044","formula_receipt_id":"formula:sha256:471ab153c7984b707cbbe73da6f554e982c6ce33ab744f7aa6541b8497c39a67","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":347},"receipt_id":"formula:sha256:471ab153c7984b707cbbe73da6f554e982c6ce33ab744f7aa6541b8497c39a67","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0045\nformula_status: OPEN\nlatex: \\Lambda\ncontext: statements of A1 (monotonicity), A2 (homogeneity), A3 (Egyptian-exact), A4 (bounded). - `Uniqueness.lean` — Theorem 1: \\(\\Lambda\\) is the unique function satisfying A1–A4; proof scaffold with tracked \nsource_file: thesis.md\nsource_line: 351","canonical_text_sha256":"4cbfe6ab3d3bc1d0bb9847012474d6facb0c4f1d33eea5f9e1553e1b9d1e14c7","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0045","formula_receipt_id":"formula:sha256:6e4a241aac49d1f60642d17e78338ff25ebc9dd958c6eae754cb2f25a8d41c70","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":351},"receipt_id":"formula:sha256:6e4a241aac49d1f60642d17e78338ff25ebc9dd958c6eae754cb2f25a8d41c70","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0046\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: *Repos:** `szl-holdings/counsel` (governance UI), `szl-holdings/terra` (dashboards and visualization)  **Formal role in \\(\\mathcal{S}\\):** The Hands are the tooling and visualization surfaces — the co\nsource_file: thesis.md\nsource_line: 367","canonical_text_sha256":"17c8739b0e50586c8dc3f19ae913b2386b28e6c1dc08704b67a9a32e0c624164","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0046","formula_receipt_id":"formula:sha256:b1ce1f9426bdb5e88d555b85966ccc6ce9d3586830b10cfefd7f5ec0cfc09a45","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":367},"receipt_id":"formula:sha256:b1ce1f9426bdb5e88d555b85966ccc6ce9d3586830b10cfefd7f5ec0cfc09a45","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0047\nformula_status: OPEN\nlatex: \\Lambda\ncontext: 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, amber 0.90–0.95, red < 0.90). The planned \"\nsource_file: thesis.md\nsource_line: 371","canonical_text_sha256":"9d0ace3a34338361db94e56058e8ec78e25db46a65929febb79d996ca46f6f75","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0047","formula_receipt_id":"formula:sha256:a7859193f2d8854a0bc04e0df803d0ceae8235223507ade0314ee3fb9d333a48","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":371},"receipt_id":"formula:sha256:a7859193f2d8854a0bc04e0df803d0ceae8235223507ade0314ee3fb9d333a48","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0048\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: *is* the system.  ---  ### Full Body — `ouroboros-thesis`  **Repo:** `szl-holdings/ouroboros-thesis`  **Formal role in \\(\\mathcal{S}\\):** The Full Body is the public-record thesis — the DOI-pinned, ve\nsource_file: thesis.md\nsource_line: 386","canonical_text_sha256":"04c5a6fc858d2d5ea9ec3263d035b1a9c96962c10f3aedc9126241662a0a122a","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0048","formula_receipt_id":"formula:sha256:deea92c0cfb85e14bc5f4d3bc7307de62a187a034173fb14d0a074bab7192785","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":386},"receipt_id":"formula:sha256:deea92c0cfb85e14bc5f4d3bc7307de62a187a034173fb14d0a074bab7192785","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0049\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: l Body is the public-record thesis — the DOI-pinned, versioned document that constitutes the canonical specification of \\(\\mathcal{S}\\). Formally, `ouroboros-thesis` defines the normative description \nsource_file: thesis.md\nsource_line: 386","canonical_text_sha256":"d2f6d329be55a3d454d786b3e4ed53d391bff2ebe6355e72aec2d8f9003edae0","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0049","formula_receipt_id":"formula:sha256:9e5ee89f805fbc4a0f9a930bc7baeded16f25a7d5f96330be28c0a860ebdb573","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":386},"receipt_id":"formula:sha256:9e5ee89f805fbc4a0f9a930bc7baeded16f25a7d5f96330be28c0a860ebdb573","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0050\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: d identity anchoring), `szl-holdings/szl-cookbook` (reference implementations / developer onboarding)  **Formal role in \\(\\mathcal{S}\\):** The Vessels and Chakras collectively form the trust mesh and \nsource_file: thesis.md\nsource_line: 405","canonical_text_sha256":"796e6f861a5f602cfd85e0b4f616032358299d48767833f0725611a20d7fc0d1","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0050","formula_receipt_id":"formula:sha256:f1a93861e01a65ca399c1f05aacdcd9edc3524a92808f17f984ea070dd824c65","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":405},"receipt_id":"formula:sha256:f1a93861e01a65ca399c1f05aacdcd9edc3524a92808f17f984ea070dd824c65","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0051\nformula_status: OPEN\nlatex: \\varepsilon\ncontext: eue under the covenant pack schema.  ---  ## Cross-Region Contracts  Every edge in \\(E\\) carries a **receipt envelope** \\(\\varepsilon\\). The envelope is a typed, signed, content-addressed record that \nsource_file: thesis.md\nsource_line: 421","canonical_text_sha256":"cf1c93796a3aafe87056e61cf102dc60bef56182e47bf1f2065a56be57808b67","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0051","formula_receipt_id":"formula:sha256:90c400287fefb30b876a8e2c90adc871382996501d8f59cdadab1a5cd91472a0","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":421},"receipt_id":"formula:sha256:90c400287fefb30b876a8e2c90adc871382996501d8f59cdadab1a5cd91472a0","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0052\nformula_status: OPEN\nlatex: \\Lambda\ncontext: es a **receipt envelope** \\(\\varepsilon\\). The envelope is a typed, signed, content-addressed record that provides: the \\(\\Lambda\\) score vector, the dual-witness closure status (\\(\\rho\\)), the actor \nsource_file: thesis.md\nsource_line: 421","canonical_text_sha256":"91c62fb1c56f78b1a36a900902f00c024fddad0e3d93d660927fb6e7eae2c5a2","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0052","formula_receipt_id":"formula:sha256:f74fbf11f07e27eb2d16f314c6a6b73bc32dd658f50e564a13a1182be29c25a7","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":421},"receipt_id":"formula:sha256:f74fbf11f07e27eb2d16f314c6a6b73bc32dd658f50e564a13a1182be29c25a7","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0053\nformula_status: OPEN\nlatex: \\Lambda\ncontext: _lambda(axes) → Receipt` — any MCP-compatible client (Claude Desktop, Cursor, enterprise agent frameworks) can call the \\(\\Lambda\\) gate as a typed tool and receive a signed receipt in the tool respon\nsource_file: thesis.md\nsource_line: 479","canonical_text_sha256":"3c32f129c787ad38acbd94d0c26773698641ad202e1f3c885926e44545e67679","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0053","formula_receipt_id":"formula:sha256:3645f910f8bb14a395d357aea0c18ec78e43f0df83629f611e90775ed44cfc59","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":479},"receipt_id":"formula:sha256:3645f910f8bb14a395d357aea0c18ec78e43f0df83629f611e90775ed44cfc59","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0054\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: the 8-Region Model Structurally Surpasses the Leaders  Each major framework or protocol is a partial instantiation of \\(\\mathcal{S}\\). The gap is structural: the missing region is not a feature that\nsource_file: thesis.md\nsource_line: 507","canonical_text_sha256":"d0c139963662829de73105a9d24362c86f7f5ae3b4fec7c9611d5831e2ae09e5","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0054","formula_receipt_id":"formula:sha256:ffd7e9edd844e76a545a90c03d82ec2500f6fc1a2b64e6be75aa2f214e5a0178","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":507},"receipt_id":"formula:sha256:ffd7e9edd844e76a545a90c03d82ec2500f6fc1a2b64e6be75aa2f214e5a0178","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0055\nformula_status: OPEN\nlatex: \\Lambda_9\ncontext: l engineering pattern, but skills are *files*, not services with receipts. A Brain Stem can issue a decision that fails \\(\\Lambda_9\\) moralGrounding; in the Managed Agents architecture there is no mec\nsource_file: thesis.md\nsource_line: 515","canonical_text_sha256":"6b4faf8cd17f34beff9cbed09a8c10a63a50e0bad469978c040ad6a44151a702","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0055","formula_receipt_id":"formula:sha256:dc3ce718cf0abcf21c777f44bf2c5595b21b35e2008be85c585b2e23e81a13a0","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":515},"receipt_id":"formula:sha256:dc3ce718cf0abcf21c777f44bf2c5595b21b35e2008be85c585b2e23e81a13a0","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0056\nformula_status: OPEN\nlatex: \\mathcal{S}\ncontext: fails \\(\\Lambda_9\\) moralGrounding; in the Managed Agents architecture there is no mechanism to detect or block it. In \\(\\mathcal{S}\\), that decision never exits the Brain Stem.  **Mastra** (22K+ GitH\nsource_file: thesis.md\nsource_line: 515","canonical_text_sha256":"5310108c3d48ffe08fbb2a5d2ec57badce837bbe88bdd54c585e3fb3ae1bdf91","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0056","formula_receipt_id":"formula:sha256:75c7c8d68ee1a5a92d2853e10371455561d95a7fbf0bebc100bfaaed2a66ee18","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":515},"receipt_id":"formula:sha256:75c7c8d68ee1a5a92d2853e10371455561d95a7fbf0bebc100bfaaed2a66ee18","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0057\nformula_status: OPEN\nlatex: \\Lambda\ncontext: ource agent framework in the TypeScript ecosystem. Mastra has no Skeleton: there are no Lean 4 proofs. It has no formal \\(\\Lambda\\) gate — behavioral constraints are implemented as runtime checks with\nsource_file: thesis.md\nsource_line: 517","canonical_text_sha256":"dff4ccae4845758d8bc41b91d292bc98f6b338ff8ee8c3a2d322489b639556c0","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0057","formula_receipt_id":"formula:sha256:9a1a34cebf6e00f46aa5e95ab23180443c8dd9a92a144027cd878532239d28b9","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":517},"receipt_id":"formula:sha256:9a1a34cebf6e00f46aa5e95ab23180443c8dd9a92a144027cd878532239d28b9","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0058\nformula_status: OPEN\nlatex: \\lambda_1\ncontext: l(\\lambda_1(c),\\, \\lambda_2(c),\\, \\ldots,\\, \\lambda_9(c)\\bigr) \\in [0,1]^9 \\]  The nine axes are defined as follows.  **\\(\\lambda_1\\): moralGrounding.** Measures the degree to which a proposed action \nsource_file: thesis.md\nsource_line: 567","canonical_text_sha256":"0e9021ec05a1a140e6a172c4565adad18cccefac46000a570dbbe2a9448f3c9c","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0058","formula_receipt_id":"formula:sha256:288e7262bd97dccbf0140b8c6d5eb7e3718242841470d7823ccaf5b838648885","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":567},"receipt_id":"formula:sha256:288e7262bd97dccbf0140b8c6d5eb7e3718242841470d7823ccaf5b838648885","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0059\nformula_status: OPEN\nlatex: \\lambda_1\ncontext: nce policies, and principal hierarchies that the operator has encoded in the agent's governing covenant. Operationally, \\(\\lambda_1\\) is the normalized cosine similarity between the action's intent em\nsource_file: thesis.md\nsource_line: 567","canonical_text_sha256":"cceff72c046848e37d664c3a6eb880947a559b114974b1d25607803d025ec19c","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0059","formula_receipt_id":"formula:sha256:51bc2c5633d16fccf6afbcbb70214ba6a265b917cb7655484fd930c49d01cb0d","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":567},"receipt_id":"formula:sha256:51bc2c5633d16fccf6afbcbb70214ba6a265b917cb7655484fd930c49d01cb0d","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0060\nformula_status: OPEN\nlatex: [0,1]\ncontext: mbedding and a reference \"moral anchor\" embedding, averaged over the operator's registered covenant clauses, clamped to \\([0,1]\\). The floor constraint \\(\\lambda_1 \\geq 0.95\\) is a hard asymptote: an \nsource_file: thesis.md\nsource_line: 567","canonical_text_sha256":"b2e136ea1bc2b10c3425472aa2b3b1947513324511c23096a9435751dddd3a88","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0060","formula_receipt_id":"formula:sha256:92ecf06ccdc96a59bd1df21e07fd9af7c10101976cf4918edfc8d9247380483f","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":567},"receipt_id":"formula:sha256:92ecf06ccdc96a59bd1df21e07fd9af7c10101976cf4918edfc8d9247380483f","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0061\nformula_status: OPEN\nlatex: \\lambda_1 \\geq 0.95\ncontext: anchor\" embedding, averaged over the operator's registered covenant clauses, clamped to \\([0,1]\\). The floor constraint \\(\\lambda_1 \\geq 0.95\\) is a hard asymptote: an agent that is even marginally mo\nsource_file: thesis.md\nsource_line: 567","canonical_text_sha256":"55842b4ef833020d054eb0696a2bc50c8c5985be1d196a79f20bfe3c7e29a20c","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0061","formula_receipt_id":"formula:sha256:473e13cc5e13c4418e1e784df88a47695d79cc256a79cba1ff8b1d0acdbd416a","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":567},"receipt_id":"formula:sha256:473e13cc5e13c4418e1e784df88a47695d79cc256a79cba1ff8b1d0acdbd416a","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0062\nformula_status: OPEN\nlatex: \\lambda_2\ncontext: even marginally morally misaligned fails the gate irrespective of how perfectly calibrated the other eight axes are.  **\\(\\lambda_2\\): measurabilityHonesty.** Measures whether an action's declared eff\nsource_file: thesis.md\nsource_line: 569","canonical_text_sha256":"068f7c416e3ef8a19b112cf8d26245000e222912c525edbcfbd6204c0371186a","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0062","formula_receipt_id":"formula:sha256:59bc2133b3a20d581bdccb35391786823d64c9c4af5d77a66fe186908d3a9a0f","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":569},"receipt_id":"formula:sha256:59bc2133b3a20d581bdccb35391786823d64c9c4af5d77a66fe186908d3a9a0f","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0063\nformula_status: OPEN\nlatex: \\lambda_3\ncontext: ine clause \"no hallucinations no bandaids; test test test\" by making measurement-honesty a prerequisite for passage.  **\\(\\lambda_3\\): epistemicHumility.** Scores the agent's acknowledgment of its own\nsource_file: thesis.md\nsource_line: 571","canonical_text_sha256":"e879b6d4246f03baf51210638edf2a2aa085aa246e79243ab8e0c11981d77f46","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0063","formula_receipt_id":"formula:sha256:3dcaa8d0d3bd70d7557fd8db307a88e5ef9157bf50998c5d42eb157833ebc4a9","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":571},"receipt_id":"formula:sha256:3dcaa8d0d3bd70d7557fd8db307a88e5ef9157bf50998c5d42eb157833ebc4a9","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0064\nformula_status: OPEN\nlatex: \\lambda_3 = 1 - \\mathbb{E}[|\\text{conf}(c) - \\text{acc}(c)|]\ncontext: sparse scores low on this axis. The scoring function penalizes unjustified confidence using a calibration-error analog: \\(\\lambda_3 = 1 - \\mathbb{E}[|\\text{conf}(c) - \\text{acc}(c)|]\\) where \\(\\text{c\nsource_file: thesis.md\nsource_line: 571","canonical_text_sha256":"9992108eb87cdfaec85623527ef7af4040f6ab8c7601c406ef884684f82fd75c","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0064","formula_receipt_id":"formula:sha256:2764159ab4df8e56bbf8db28ab1b12d56f9e1e44b84ada8cffd2f2eee6e141fb","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":571},"receipt_id":"formula:sha256:2764159ab4df8e56bbf8db28ab1b12d56f9e1e44b84ada8cffd2f2eee6e141fb","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0065\nformula_status: OPEN\nlatex: \\text{conf}(c)\ncontext: ied confidence using a calibration-error analog: \\(\\lambda_3 = 1 - \\mathbb{E}[|\\text{conf}(c) - \\text{acc}(c)|]\\) where \\(\\text{conf}(c)\\) is the agent's stated confidence and \\(\\text{acc}(c)\\) is the\nsource_file: thesis.md\nsource_line: 571","canonical_text_sha256":"4f48723fa57647b3152fc4055628d0e1e96cdf6657671860c531fb4af30388c5","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0065","formula_receipt_id":"formula:sha256:0e10fce52b1f6d3dfed83ed758b2bf851782549b86cd384cb067737a3f3e6fc9","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":571},"receipt_id":"formula:sha256:0e10fce52b1f6d3dfed83ed758b2bf851782549b86cd384cb067737a3f3e6fc9","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0066\nformula_status: OPEN\nlatex: \\text{acc}(c)\ncontext: da_3 = 1 - \\mathbb{E}[|\\text{conf}(c) - \\text{acc}(c)|]\\) where \\(\\text{conf}(c)\\) is the agent's stated confidence and \\(\\text{acc}(c)\\) is the empirically measured accuracy over a calibration set.  \nsource_file: thesis.md\nsource_line: 571","canonical_text_sha256":"49fec00d3d496f0ee9b92eb9ac8265025a85b298471a24c362da4b5fc165feb0","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0066","formula_receipt_id":"formula:sha256:9f7c97997b4a44b644af12a1a7a15ef97e008cad537458f79150ac67642f5639","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":571},"receipt_id":"formula:sha256:9f7c97997b4a44b644af12a1a7a15ef97e008cad537458f79150ac67642f5639","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0067\nformula_status: OPEN\nlatex: \\lambda_4\ncontext: is the agent's stated confidence and \\(\\text{acc}(c)\\) is the empirically measured accuracy over a calibration set.  **\\(\\lambda_4\\): counterfactualAwareness.** Measures whether the agent has consider\nsource_file: thesis.md\nsource_line: 573","canonical_text_sha256":"563890a715c89d5770f31660c2b6daa94b436b959607c191031af4e9a8d72806","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0067","formula_receipt_id":"formula:sha256:388cf993daaf2affc258cf0cea8c6e83071bbd90011edfae955aa34d58146c58","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":573},"receipt_id":"formula:sha256:388cf993daaf2affc258cf0cea8c6e83071bbd90011edfae955aa34d58146c58","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0068\nformula_status: OPEN\nlatex: \\lambda_5\ncontext: res 0.0 and a uniformly distributed consequence distribution over the operator-defined consequence space scores 1.0.  **\\(\\lambda_5\\): temporalConsistency.** Measures the stability of the gate verdict\nsource_file: thesis.md\nsource_line: 575","canonical_text_sha256":"3d984a99984e14de8ad257e6cf9ba2120b4df82e6ed07e9a8b8acbc3c6790a4d","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0068","formula_receipt_id":"formula:sha256:dfa4f93d8f1dd0985fda638a9499e790b9727e234ea9fed477962c0817bd35e6","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":575},"receipt_id":"formula:sha256:dfa4f93d8f1dd0985fda638a9499e790b9727e234ea9fed477962c0817bd35e6","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0069\nformula_status: OPEN\nlatex: t + \\Delta\ncontext: Measures the stability of the gate verdict under repeated evaluation on the same input at two different times \\(t\\) and \\(t + \\Delta\\). Let \\(v_t\\) and \\(v_{t+\\Delta}\\) denote the Λ₉ composite scores \nsource_file: thesis.md\nsource_line: 575","canonical_text_sha256":"115e16fff4797522b96c79b0cb43e4d13b3b2a4045f412aafbcd0ffe4bf16f51","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0069","formula_receipt_id":"formula:sha256:028cd6a050f9d3732e93a6a48d838cec38568b2bfd51a9e7d2d53f3cf31d597b","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":575},"receipt_id":"formula:sha256:028cd6a050f9d3732e93a6a48d838cec38568b2bfd51a9e7d2d53f3cf31d597b","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0070\nformula_status: OPEN\nlatex: v_{t+\\Delta}\ncontext: 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 scores at the two evaluation times. The\nsource_file: thesis.md\nsource_line: 575","canonical_text_sha256":"f6a7e236f0b105867bf05a55e38bb94ef1a45f02a6f1923b4620e5f72d100f9e","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0070","formula_receipt_id":"formula:sha256:58c21d07f4c5fe249169bc5aad2e6ed249662d71e31ae9d62c1e6b4b9031f7cd","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":575},"receipt_id":"formula:sha256:58c21d07f4c5fe249169bc5aad2e6ed249662d71e31ae9d62c1e6b4b9031f7cd","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0071\nformula_status: OPEN\nlatex: \\lambda_5 = 1.0\ncontext: Then:  \\[ \\lambda_5 = \\max\\!\\Bigl(0,\\; 1 - 4\\,\\bigl(v_t - v_{t+\\Delta}\\bigr)^2\\Bigr) \\]  A zero-drift evaluation scores \\(\\lambda_5 = 1.0\\). A drift of 0.05 in the composite score yields \\(\\lambda_5 =\nsource_file: thesis.md\nsource_line: 581","canonical_text_sha256":"24832327f071643cf65eb3a86d40c6276809d8ecbf1f44a1a06346cd0eec04b3","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0071","formula_receipt_id":"formula:sha256:80dd9cecfbd95616366341432b73c61ebd1c1521d3cbae615fa619cdd90db35a","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":581},"receipt_id":"formula:sha256:80dd9cecfbd95616366341432b73c61ebd1c1521d3cbae615fa619cdd90db35a","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0072\nformula_status: OPEN\nlatex: \\lambda_5 = 0.99\ncontext: ta}\\bigr)^2\\Bigr) \\]  A zero-drift evaluation scores \\(\\lambda_5 = 1.0\\). A drift of 0.05 in the composite score yields \\(\\lambda_5 = 0.99\\). A drift of 0.25 yields \\(\\lambda_5 = 0.75\\), below the ≥ 0\nsource_file: thesis.md\nsource_line: 581","canonical_text_sha256":"9845f955f256212b0a4dc4c9beb76c97299582e80e29f7afae91ed8863239da5","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0072","formula_receipt_id":"formula:sha256:18823bee8128d618243c7f8256e7e385055040c2a886e4dfed309f282b6fda92","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":581},"receipt_id":"formula:sha256:18823bee8128d618243c7f8256e7e385055040c2a886e4dfed309f282b6fda92","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0073\nformula_status: OPEN\nlatex: \\lambda_5 = 0.75\ncontext: 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 conjunctive floor. This axis operationaliz\nsource_file: thesis.md\nsource_line: 581","canonical_text_sha256":"4e758d1661950097dc728a518cb7414bd61f7112db316ea281fc00a8156159d6","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0073","formula_receipt_id":"formula:sha256:627a9cb494dfc75c0c11feadf209ed40bc463195e918fe725db3078d3bb99614","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":581},"receipt_id":"formula:sha256:627a9cb494dfc75c0c11feadf209ed40bc463195e918fe725db3078d3bb99614","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0074\nformula_status: OPEN\nlatex: \\lambda_6\ncontext: -identical replay guarantee: a system that cannot reproduce its own gate verdict is not operating deterministically.  **\\(\\lambda_6\\): evidenceProvenance.** Measures whether every empirical claim embe\nsource_file: thesis.md\nsource_line: 583","canonical_text_sha256":"59001ec7fab028cda5adab62ab651c2ff580ee5939a1bab8b8739faf00c1c8e4","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0074","formula_receipt_id":"formula:sha256:43db820c57e38a173c3bf72de97bccbf20a6240c0a56cc8586ac1d3365e793b0","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":583},"receipt_id":"formula:sha256:43db820c57e38a173c3bf72de97bccbf20a6240c0a56cc8586ac1d3365e793b0","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0075\nformula_status: OPEN\nlatex: \\lambda_7\ncontext: ertions score at most 0.50. The scoring function is the fraction of claim tokens for which provenance is resolvable.  **\\(\\lambda_7\\): actorIdentity.** Measures the definiteness of the acting agent's \nsource_file: thesis.md\nsource_line: 585","canonical_text_sha256":"ef477e5918f98d6281240f9d473d7655c3901737527d6534e8d74ce353828acc","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0075","formula_receipt_id":"formula:sha256:22247ed912df58acdf4078e15edc734c80989eb8dbb37e9968399acc5cc58981","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":585},"receipt_id":"formula:sha256:22247ed912df58acdf4078e15edc734c80989eb8dbb37e9968399acc5cc58981","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0076\nformula_status: OPEN\nlatex: \\lambda_8\ncontext: ting under delegated authority — the score decays as a function of delegation depth to penalize opaque proxy chains.  **\\(\\lambda_8\\): axiomConsistency.** Measures whether the proposed action is inter\nsource_file: thesis.md\nsource_line: 587","canonical_text_sha256":"4b192142f8d7a3226b9819998d19334c9dc28d065c93e126db160c342ebc2e60","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0076","formula_receipt_id":"formula:sha256:336e3989cc29ee7d7a022d79f014a7901dfc31efba6c27ede5f6915057fdfb13","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":587},"receipt_id":"formula:sha256:336e3989cc29ee7d7a022d79f014a7901dfc31efba6c27ede5f6915057fdfb13","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0077\nformula_status: OPEN\nlatex: \\lambda_9\ncontext: Lean 4 formalization: it enforces, at runtime, the constraints that are statically verified at theorem-proving time.  **\\(\\lambda_9\\): coherence.** Measures the multi-step logical coherence of the age\nsource_file: thesis.md\nsource_line: 589","canonical_text_sha256":"b77e4aad685979ac25c5b0989eb19ba70d1d8d11db659fe7c8aeece6497fd94d","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0077","formula_receipt_id":"formula:sha256:be815356c81509612933bc59613ab13f7e4f6a35b801c0b55a71b4139ce38f7f","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":589},"receipt_id":"formula:sha256:be815356c81509612933bc59613ab13f7e4f6a35b801c0b55a71b4139ce38f7f","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0078\nformula_status: OPEN\nlatex: A_1, A_2, \\ldots, A_k\ncontext: -step logical coherence of the agent's plan across the action sequence, not just for the current step in isolation. Let \\(A_1, A_2, \\ldots, A_k\\) denote the \\(k\\) preceding actions in the current sess\nsource_file: thesis.md\nsource_line: 589","canonical_text_sha256":"7e36d15335c1c5e127092efb088216508221a27ace76e210034343a55a149420","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0078","formula_receipt_id":"formula:sha256:8bf650c5ff6b513810a9018af72043fc08d0988e1b76b3bd0cd510dc01122f81","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":589},"receipt_id":"formula:sha256:8bf650c5ff6b513810a9018af72043fc08d0988e1b76b3bd0cd510dc01122f81","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0079\nformula_status: OPEN\nlatex: (A_i, A_{i+1})\ncontext: e the \\(k\\) preceding actions in the current session. The coherence score is the proportion of consecutive action-pairs \\((A_i, A_{i+1})\\) for which the precondition of \\(A_{i+1}\\) is satisfied by the\nsource_file: thesis.md\nsource_line: 589","canonical_text_sha256":"b46d77e89b4bd7fe07cb2bde78b54a5fcdfdbec0fa70a1d3b16ee2045fc3ad1b","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0079","formula_receipt_id":"formula:sha256:98056fca445cdfb9c1416cf3e3f7f59babdbd9a357b7219e2a66779fe0069f17","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":589},"receipt_id":"formula:sha256:98056fca445cdfb9c1416cf3e3f7f59babdbd9a357b7219e2a66779fe0069f17","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0080\nformula_status: OPEN\nlatex: A_{i+1}\ncontext: ion. The coherence score is the proportion of consecutive action-pairs \\((A_i, A_{i+1})\\) for which the precondition of \\(A_{i+1}\\) is satisfied by the postcondition of \\(A_i\\), under the operator's p\nsource_file: thesis.md\nsource_line: 589","canonical_text_sha256":"cbcc9f394ccdafe1af3e5cfdd6b0f0fbe2e67db525e2ef4f1d62423285d46243","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0080","formula_receipt_id":"formula:sha256:6ae350d00fbc49de1e191a5feec9344f7748a8f2e04dcccb816add3c3019d16f","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":589},"receipt_id":"formula:sha256:6ae350d00fbc49de1e191a5feec9344f7748a8f2e04dcccb816add3c3019d16f","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0081\nformula_status: OPEN\nlatex: \\lambda_9 = 1.0\ncontext: ied by the postcondition of \\(A_i\\), under the operator's precondition/postcondition schema. For the base case \\(k=0\\), \\(\\lambda_9 = 1.0\\).  ### The conjunctive gate condition  The Λ₉ gate passes if \nsource_file: thesis.md\nsource_line: 589","canonical_text_sha256":"620f6852a21dc7e8365e097ac9b9d2da54937eb4b3621228ba64723757bc7400","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0081","formula_receipt_id":"formula:sha256:bdc150ae80f162e763297a71271e9a1d032455b7ff08ad99fcf729cb7b633b6c","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":589},"receipt_id":"formula:sha256:bdc150ae80f162e763297a71271e9a1d032455b7ff08ad99fcf729cb7b633b6c","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0082\nformula_status: OPEN\nlatex: \\lambda_1 = 0.50\ncontext: 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 misaligned) and all remaining axes at \\(1\nsource_file: thesis.md\nsource_line: 599","canonical_text_sha256":"81a8b45344d4deccd818c4bc6f7803ba69bd0403e5473a76e4c53702d093794c","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0082","formula_receipt_id":"formula:sha256:d6adaf06627c4dee7e5b7b69c919b66379d15f3a840ac5ac37c8865ff06a18f6","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":599},"receipt_id":"formula:sha256:d6adaf06627c4dee7e5b7b69c919b66379d15f3a840ac5ac37c8865ff06a18f6","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0083\nformula_status: OPEN\nlatex: \\prod_{i}^{1/9} = 0.50^{1/9} \\approx 0.926\ncontext: with \\(\\lambda_1 = 0.50\\) (severely morally misaligned) and all remaining axes at \\(1.0\\) achieves a geometric mean of \\(\\prod_{i}^{1/9} = 0.50^{1/9} \\approx 0.926\\), which would pass a ≥ 0.90 single-\nsource_file: thesis.md\nsource_line: 599","canonical_text_sha256":"1ffe964ec2df547976ec566cb32f64af0a3fcf1e48bd5436e69fbc8e1e5e8d7f","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0083","formula_receipt_id":"formula:sha256:581d9aad71315fe6f9778d409200a397231c81bb8b289048f4431f84a7d16451","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":599},"receipt_id":"formula:sha256:581d9aad71315fe6f9778d409200a397231c81bb8b289048f4431f84a7d16451","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0084\nformula_status: OPEN\nlatex: \\lambda_1\ncontext: gle-score gate. The conjunctive AND structure prevents this: every axis is a blocking veto. The two elevated floors for \\(\\lambda_1\\) and \\(\\lambda_2\\) add a second layer of asymmetry — these are the \nsource_file: thesis.md\nsource_line: 599","canonical_text_sha256":"29d7082ff3f6eaf6e406d0a3ab210a7f716445368234dec416a6b974c062bca1","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0084","formula_receipt_id":"formula:sha256:e0214d683e3d1f82aea4f09dee2b0535abf820ad5014cbe0176e176efa68b72f","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":599},"receipt_id":"formula:sha256:e0214d683e3d1f82aea4f09dee2b0535abf820ad5014cbe0176e176efa68b72f","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0085\nformula_status: OPEN\nlatex: \\lambda_2\ncontext: e conjunctive AND structure prevents this: every axis is a blocking veto. The two elevated floors for \\(\\lambda_1\\) and \\(\\lambda_2\\) add a second layer of asymmetry — these are the axes most directly\nsource_file: thesis.md\nsource_line: 599","canonical_text_sha256":"466e67e9714ab9ac8bdea708782f1db6ed65f8ad93da0f4d81e2561caad9d642","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0085","formula_receipt_id":"formula:sha256:f681a41f2993ff30b1d9c7f6fb4f2db9d609444a3635c355dbe0694c4a6f0389","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":599},"receipt_id":"formula:sha256:f681a41f2993ff30b1d9c7f6fb4f2db9d609444a3635c355dbe0694c4a6f0389","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0086\nformula_status: OPEN\nlatex: m \\in \\{0,1\\}^9\ncontext: to the receipt structure. Rather than publishing the raw nine (or ten) axis scores, the receipt carries a bitfield mask \\(m \\in \\{0,1\\}^9\\) in which \\(m_i = 1\\) if and only if \\(\\lambda_i\\) was evalua\nsource_file: thesis.md\nsource_line: 605","canonical_text_sha256":"e8a7785ace8563a53075c84c302a36281d8f5711dca6581bc48857f6d4c0f60b","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0086","formula_receipt_id":"formula:sha256:6c5ab1e5575d5a6256ef51fdffc3d8f5dd4b337628fc5ed9eebc53b409a6565d","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":605},"receipt_id":"formula:sha256:6c5ab1e5575d5a6256ef51fdffc3d8f5dd4b337628fc5ed9eebc53b409a6565d","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0087\nformula_status: OPEN\nlatex: m_i = 1\ncontext: her than publishing the raw nine (or ten) axis scores, the receipt carries a bitfield mask \\(m \\in \\{0,1\\}^9\\) in which \\(m_i = 1\\) if and only if \\(\\lambda_i\\) was evaluated and passed its floor. The\nsource_file: thesis.md\nsource_line: 605","canonical_text_sha256":"0d43491959fc37e2efb3d7b956b572f488f445635d14210095e2235bca0b81f4","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0087","formula_receipt_id":"formula:sha256:0f6bbb7d6d2e61ae0369d7bc8e22c8573cec833818183b863fa718e4b554c3bb","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":605},"receipt_id":"formula:sha256:0f6bbb7d6d2e61ae0369d7bc8e22c8573cec833818183b863fa718e4b554c3bb","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0088\nformula_status: OPEN\nlatex: \\lambda_i\ncontext: nine (or ten) axis scores, the receipt carries a bitfield mask \\(m \\in \\{0,1\\}^9\\) in which \\(m_i = 1\\) if and only if \\(\\lambda_i\\) was evaluated and passed its floor. The raw scores are withheld fro\nsource_file: thesis.md\nsource_line: 605","canonical_text_sha256":"625b897f73ec9ef50e0b196cc2274885bf8c535b5b51c270c43b9a2440bae42c","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0088","formula_receipt_id":"formula:sha256:dab5279fd31fdf78209b8319d8ede0bd5de26c493a818ddf78141ddda526f235","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":605},"receipt_id":"formula:sha256:dab5279fd31fdf78209b8319d8ede0bd5de26c493a818ddf78141ddda526f235","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0089\nformula_status: OPEN\nlatex: \\theta_i = 0.95\ncontext: ity profile of the agent. Formally, the mask is computed as:  \\[ m_i = \\mathbf{1}[\\lambda_i(c) \\geq \\theta_i] \\]  where \\(\\theta_i = 0.95\\) for \\(i \\in \\{1,2\\}\\) and \\(\\theta_i = 0.90\\) otherwise. The\nsource_file: thesis.md\nsource_line: 611","canonical_text_sha256":"6cff27e302ac0bd2d4104209d738bd2ba101f5be196040f683f2f38b997c1674","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0089","formula_receipt_id":"formula:sha256:6e887d67304496dff178ea11f71d62d941c61370b844b922af66d0d56fdb6378","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":611},"receipt_id":"formula:sha256:6e887d67304496dff178ea11f71d62d941c61370b844b922af66d0d56fdb6378","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0090\nformula_status: OPEN\nlatex: i \\in \\{1,2\\}\ncontext: . Formally, the mask is computed as:  \\[ m_i = \\mathbf{1}[\\lambda_i(c) \\geq \\theta_i] \\]  where \\(\\theta_i = 0.95\\) for \\(i \\in \\{1,2\\}\\) and \\(\\theta_i = 0.90\\) otherwise. The gate passes iff \\(\\sum_\nsource_file: thesis.md\nsource_line: 611","canonical_text_sha256":"680a5ead9a6e92f120f1c14f34208babc4a962809e4fe83b5aeb1578277fc893","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0090","formula_receipt_id":"formula:sha256:66f8032a618bf943d6deaae832405a23656f2f8b1acafc1cf5e894086c839c68","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":611},"receipt_id":"formula:sha256:66f8032a618bf943d6deaae832405a23656f2f8b1acafc1cf5e894086c839c68","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0091\nformula_status: OPEN\nlatex: \\theta_i = 0.90\ncontext: s computed as:  \\[ m_i = \\mathbf{1}[\\lambda_i(c) \\geq \\theta_i] \\]  where \\(\\theta_i = 0.95\\) for \\(i \\in \\{1,2\\}\\) and \\(\\theta_i = 0.90\\) otherwise. The gate passes iff \\(\\sum_i m_i = 9\\) (or 10 und\nsource_file: thesis.md\nsource_line: 611","canonical_text_sha256":"01ebb2e5d14a2a2ebc198e65bc0bc72f064726e5f03d60da7d922fccb7c9a637","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0091","formula_receipt_id":"formula:sha256:eaf2ffe12d3d3983ddee12eeb31363000e50ea0378a3c393e7db3657bd2ca5d2","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":611},"receipt_id":"formula:sha256:eaf2ffe12d3d3983ddee12eeb31363000e50ea0378a3c393e7db3657bd2ca5d2","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0092\nformula_status: OPEN\nlatex: \\sum_i m_i = 9\ncontext: 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 Λ₁₀). The mask is committed via SHA-256 and incl\nsource_file: thesis.md\nsource_line: 611","canonical_text_sha256":"c36c15d9a1e3a51aa3f3c008b83e5230e41cf7a0c3564b89186c05f5db125ba6","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0092","formula_receipt_id":"formula:sha256:72a1a5db3e9bd36f34cec85c59d1f5e1d9f63d181fe7cf39189403a43e6658ad","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":611},"receipt_id":"formula:sha256:72a1a5db3e9bd36f34cec85c59d1f5e1d9f63d181fe7cf39189403a43e6658ad","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0093\nformula_status: OPEN\nlatex: \\textit{parent\\_hash}\ncontext: \\textit{timestamp},\\; \\vec{\\lambda},\\; \\rho\\_\\textit{witness\\_set},\\; \\textit{signature}\\bigr) \\]  The fields are:  - **\\(\\textit{parent\\_hash}\\)**: The SHA-256 digest of receipt \\(r_{i-1}\\). For the \nsource_file: thesis.md\nsource_line: 627","canonical_text_sha256":"b2245e89109a213cff0afad80458df47ead3329b2066e53eaab704fee63515f2","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0093","formula_receipt_id":"formula:sha256:5de80ad1213824340d016e72a732fabcd66300aa899c5fc595c6d6990e2c0e55","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":627},"receipt_id":"formula:sha256:5de80ad1213824340d016e72a732fabcd66300aa899c5fc595c6d6990e2c0e55","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0094\nformula_status: OPEN\nlatex: r_{i-1}\ncontext: s\\_set},\\; \\textit{signature}\\bigr) \\]  The fields are:  - **\\(\\textit{parent\\_hash}\\)**: The SHA-256 digest of receipt \\(r_{i-1}\\). For the genesis receipt, this is the SHA-256 of a protocol-specifie\nsource_file: thesis.md\nsource_line: 627","canonical_text_sha256":"289ae6d426e5d5fcb71a12ab718d2bbffeaba4e7bf5710097738164713f19d08","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0094","formula_receipt_id":"formula:sha256:6048ae7fd1a90661593b484769230f0cf064f758e2ca44639c243c2d562644ef","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":627},"receipt_id":"formula:sha256:6048ae7fd1a90661593b484769230f0cf064f758e2ca44639c243c2d562644ef","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0095\nformula_status: OPEN\nlatex: \\textit{content\\_digest}\ncontext: this is the SHA-256 of a protocol-specified null seed. This field creates the backward-pointing link of the chain. - **\\(\\textit{content\\_digest}\\)**: The SHA-256 of the canonical JSON serialization o\nsource_file: thesis.md\nsource_line: 628","canonical_text_sha256":"fdd54b6ecfaee4b54c06b7194e85ccbb9e44dd5faddc675c0f7d79e9e061e016","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0095","formula_receipt_id":"formula:sha256:2666635d1cbd219cb75eb1a360c195c842e59c3e2ca401fd8924d6a68e53baf4","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":628},"receipt_id":"formula:sha256:2666635d1cbd219cb75eb1a360c195c842e59c3e2ca401fd8924d6a68e53baf4","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0096\nformula_status: OPEN\nlatex: \\textit{actor}\ncontext: fore any side-effectful execution. This binds the gate verdict irrevocably to the specific input that triggered it. - **\\(\\textit{actor}\\)**: The identifier of the acting agent as registered in the pr\nsource_file: thesis.md\nsource_line: 629","canonical_text_sha256":"e4ad8bc35c55ffcaa969a12660330273ea36ad2a7181ce5ae44d5f8ace70b192","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0096","formula_receipt_id":"formula:sha256:7eab5d26293d7b29827b284e254335fe23434d2d4a93cfc1b4f7dac045c837b3","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":629},"receipt_id":"formula:sha256:7eab5d26293d7b29827b284e254335fe23434d2d4a93cfc1b4f7dac045c837b3","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0097\nformula_status: OPEN\nlatex: \\lambda_7\ncontext: t. - **\\(\\textit{actor}\\)**: The identifier of the acting agent as registered in the principal registry. Corresponds to \\(\\lambda_7\\) (actorIdentity). - **\\(\\textit{timestamp}\\)**: A monotonic timesta\nsource_file: thesis.md\nsource_line: 629","canonical_text_sha256":"115f77c0d53b62b08f3a7cc4dcd2d13447034ca8808dcd375294143d83d0b4ba","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0097","formula_receipt_id":"formula:sha256:7be8c3f1415e182fda450230aaa6d17db97ff203105f0ceb57a65e291c5f3a38","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":629},"receipt_id":"formula:sha256:7be8c3f1415e182fda450230aaa6d17db97ff203105f0ceb57a65e291c5f3a38","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0098\nformula_status: OPEN\nlatex: \\textit{timestamp}\ncontext: entifier of the acting agent as registered in the principal registry. Corresponds to \\(\\lambda_7\\) (actorIdentity). - **\\(\\textit{timestamp}\\)**: A monotonic timestamp in milliseconds since the Unix e\nsource_file: thesis.md\nsource_line: 630","canonical_text_sha256":"d92711e676eee1249d07c1430083da446b95b8534a87c1c6dcf3ea529377d8fa","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0098","formula_receipt_id":"formula:sha256:a72909b54f28fe3dba53dbfc312c3d8f9ffabd53da7a6080f8e7a397208c2569","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":630},"receipt_id":"formula:sha256:a72909b54f28fe3dba53dbfc312c3d8f9ffabd53da7a6080f8e7a397208c2569","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0099\nformula_status: OPEN\nlatex: \\vec{\\lambda}\ncontext: : A monotonic timestamp in milliseconds since the Unix epoch, drawn from a pinned, non-forgeable source (see §4.6). - **\\(\\vec{\\lambda}\\)**: The full nine-dimensional Λ vector, or the `lambda9_mask` b\nsource_file: thesis.md\nsource_line: 631","canonical_text_sha256":"987d1a30db6ce84bbd41ef62f1b3e68b1598f69e9f61a02cb47516e8b274f86a","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0099","formula_receipt_id":"formula:sha256:77b96ceb9472dea8b44fce2cc3cc0c7ce91c7b5f97598b4ec13b0323c97c07b9","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":631},"receipt_id":"formula:sha256:77b96ceb9472dea8b44fce2cc3cc0c7ce91c7b5f97598b4ec13b0323c97c07b9","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}
{"abstention_required":true,"brain_anatomy_receipt_id":null,"canonical_text":"formula_id: F0100\nformula_status: OPEN\nlatex: \\rho\\_\\textit{witness\\_set}\ncontext: vec{\\lambda}\\)**: The full nine-dimensional Λ vector, or the `lambda9_mask` bitfield under the Λ₁₀ privacy variant. - **\\(\\rho\\_\\textit{witness\\_set}\\)**: The set of co-witnesses whose signatures are \nsource_file: thesis.md\nsource_line: 632","canonical_text_sha256":"06ecbd47dbe88e6fb24e9c7e95ce01ce19acf72cca25b3a621f24ecdacff8a63","evaluation_receipt_id":"m1-evaluation:sha256:620518beedbd9de22b6e7a68031c4b26793f070318429664d0f2e0aa8c8ba63e","formula_id":"F0100","formula_receipt_id":"formula:sha256:79bb8ed54029eb53abf3ea8be94d51b3714076c6a23a213daf60d915c4174c71","formula_status":"OPEN","freshness":{"captured_at":null,"state":"VERSION_BOUND_NOT_TIME_FRESH"},"license":{"evidence":"LICENSE","spdx":"Apache-2.0","state":"VERSIONED_REPOSITORY_LICENSE"},"negative_example":false,"provenance":{"source":"knowledge.json#/formulas","source_file":"thesis.md","source_line":632},"receipt_id":"formula:sha256:79bb8ed54029eb53abf3ea8be94d51b3714076c6a23a213daf60d915c4174c71","safety_decision":"ALLOW_HOLDOUT_ONLY","schema":"szl.m1-formula-curriculum-decision/v1","source_family":"thesis-formula-corpus","source_family_split":"HOLDOUT","training_decision":"HOLDOUT_ABSTENTION"}