{"ok":true,"schema":"szl.attest.chain-of-title/v1","label":"MODELED","statement":{"_type":"https://in-toto.io/Statement/v1","subject":[{"name":"locked8_kernel","digest":{"gitCommit":"c7c0ba17"},"annotations":{"locked_proven":["F1","F4","F7","F11","F12","F18","F19","F22"],"pin_source":"doctrine-v11 locked-kernel pin (immutable)"}}],"predicateType":"https://szl.dev/chain-of-title/v1","predicate":{"doctrine":"v11","provenance":{"corpus_sha":null,"corpus_source":{"path":null,"kind":null,"note":"no training corpus readable this request — honest null"},"training":{"source":"sovereign-weights/train_lora.py","source_sha256":null,"method":"LoRA (parameter-efficient fine-tune)","config":{"base_model":null,"lora_r":null,"lora_alpha":null,"lora_dropout":null,"per_device_batch":null,"grad_accum":null,"max_seq_len":null,"epochs":null,"learning_rate":null,"seed":null},"note":"committed trainer not readable this request — honest nulls, no training configuration fabricated"},"kernel_verified":true,"kernel_pin":"c7c0ba17","kernel_verification":{"verified":true,"kernel_pin":"c7c0ba17","locked_proven":["F1","F4","F7","F11","F12","F18","F19","F22"],"checks":{"registry_digest_verified":true,"locked8_covered":true,"locked_set_not_inflated":true,"lambda_is_conjecture":true},"registry":{"canonical_source":"szl_be_hardening.DOCTRINE_LOCK (GET /api/a11oy/v1/honest locked_formula_count + locked_formula_ids; no-axiom theorem locked_count_eight @ c7c0ba17), cross-witnessed by szl_brainconstitution.LOCKED_SET","witnesses":[{"source":"szl_be_hardening","locked_formula_ids":["F1","F4","F7","F11","F12","F18","F19","F22"],"locked_formula_count":8,"kernel_commit":"c7c0ba17","lambda_status":"Conjecture 1","lock_digest":"be5262da76abf02beeb3f2b0abd72874baa6f909e51962876ba4ba84687c5d02","digest_algorithm":"sha256"},{"source":"szl_brainconstitution","locked_formula_ids":["F1","F4","F7","F11","F12","F18","F19","F22"],"locked_formula_count":8,"kernel_commit":"c7c0ba17","lambda_status":"Conjecture 1","lock_digest":"be5262da76abf02beeb3f2b0abd72874baa6f909e51962876ba4ba84687c5d02","digest_algorithm":"sha256"}],"witness_count":2,"witness_errors":[],"agreed_lock_digest":"be5262da76abf02beeb3f2b0abd72874baa6f909e51962876ba4ba84687c5d02","digest_algorithm":"sha256","dispute_crosswalk":{"status":"UNAVAILABLE","authority_for_locked8":false,"note":"szl_formula_registry.receipt_basis() is a dispute-relevant maturity crosswalk (its own coverage_scope: 'not an inventory of the full estate'); corroboration only, never the locked-8 source","reason":"dispute crosswalk unreadable (ValueError) — corroboration absent; the canonical locked-8 witnesses stand on their own"},"authority_note":"locked-8 truth is read from the doctrine lock served by /api/a11oy/v1/honest, cross-witnessed by the brain constitution; the dispute-scoped formula crosswalk is corroboration only"},"reason":null},"build_commit":{"commit":null,"source":null,"note":"no readable .git/HEAD in this image — honest null"},"sovereign_weights":{"sha256":null,"path":null,"bytes":null,"present":false,"note":"no sovereign-weights artifact readable this request (operator artifact, not committed; set SZL_SOVEREIGN_WEIGHTS_PATH to bind one) — honest null, no weights digest fabricated"},"provenance_coverage":1.0,"coverage_rule":"every provenance field is either a real read this request or an explicit null with its reason — coverage 1.0 means fully DISCLOSED, not fully populated"},"energy_measured":[],"energy_disclosure":{"meters_configured":2,"meter_env":"A11OY_JOULE_METER_URLS","label":"STRUCTURAL-ONLY","note":"meter(s) configured but none answered with a joule reading this request — energy_measured stays EMPTY, no joule fabricated","errors":["https://meter.a-11-oy.com/: HTTPError","https://meter2.a-11-oy.com/: HTTPError"]},"honesty_invariants":{"no_fabricated_measured":true,"lambda_is_conjecture_not_theorem":true,"locked8_immutable":true,"provenance_coverage":1.0},"honesty_invariants_meaning":{"no_fabricated_measured":"a MEASURED label is emitted only from a live reading in the same request; energy_measured is empty rather than invented","lambda_is_conjecture_not_theorem":"Λ is Conjecture 1 — advisory, never a theorem, never green","locked8_immutable":"locked-8 {F1,F4,F7,F11,F12,F18,F19,F22} @ c7c0ba17; this organ adds nothing to it","provenance_coverage":"1.0 — every provenance field disclosed, nulls included, none omitted"},"seal":{"formula":"A=[Σ wₖ·SEALₖ/4]×(1−DCI)×100","tier":"PROPOSED","cites":["EU Cloud Sovereignty Framework 2025 (SEAL / SovScore assurance levels 0-4)","Herfindahl-Hirschman Index (HHI) — dependency-concentration measure (DCI)"],"note":"weights need calibration; the score is an engineering composition of cited prior art, not a validated metric, and no score is asserted here"},"lambda":{"status":"Conjecture 1","is_theorem":false,"trust_ceiling":0.97},"attestation":{"schema":"szl.attest.chain-of-title/v1","namespace":"a11oy","label":"MODELED","built_at":"2026-09-01T09:47:39.051961Z","cites":["in-toto Attestation Framework — Statement v1 — https://github.com/in-toto/attestation/blob/main/spec/v1/statement.md","SLSA v1.1 (Apr 2025) Build track L0-L3 — https://slsa.dev/spec/v1.1/levels","SLSA v1.1 Verification Summary Attestation — https://slsa.dev/spec/v1.1/verification_summary","Sigstore/Rekor transparency log — https://docs.sigstore.dev/logging/overview/","DSSE (secure-systems-lab/dsse) — https://github.com/secure-systems-lab/dsse","sigstore/model-transparency — https://github.com/sigstore/model-transparency"],"slsa":{"build_track":"L0-L3 referenced as the cited direction; no SLSA level is CLAIMED for this image","vsa":"this Statement is the SZL analogue of a SLSA v1.1 Verification Summary Attestation over the policy in ops/szl_chain_of_title.rego"}}}},"statement_digest_sha256":"7573bf36ae4eff01c6cdcf0c368450f9600d9112ed351f99c5d084bb54532cb8","envelope":{"payloadType":"application/vnd.in-toto+json","payload":"eyJfdHlwZSI6Imh0dHBzOi8vaW4tdG90by5pby9TdGF0ZW1lbnQvdjEiLCJwcmVkaWNhdGUiOnsiYXR0ZXN0YXRpb24iOnsiYnVpbHRfYXQiOiIyMDI2LTA5LTAxVDA5OjQ3OjM5LjA1MTk2MVoiLCJjaXRlcyI6WyJpbi10b3RvIEF0dGVzdGF0aW9uIEZyYW1ld29yayDigJQgU3RhdGVtZW50IHYxIOKAlCBodHRwczovL2dpdGh1Yi5jb20vaW4tdG90by9hdHRlc3RhdGlvbi9ibG9iL21haW4vc3BlYy92MS9zdGF0ZW1lbnQubWQiLCJTTFNBIHYxLjEgKEFwciAyMDI1KSBCdWlsZCB0cmFjayBMMC1MMyDigJQgaHR0cHM6Ly9zbHNhLmRldi9zcGVjL3YxLjEvbGV2ZWxzIiwiU0xTQSB2MS4xIFZlcmlmaWNhdGlvbiBTdW1tYXJ5IEF0dGVzdGF0aW9uIOKAlCBodHRwczovL3Nsc2EuZGV2L3NwZWMvdjEuMS92ZXJpZmljYXRpb25fc3VtbWFyeSIsIlNpZ3N0b3JlL1Jla29yIHRyYW5zcGFyZW5jeSBsb2cg4oCUIGh0dHBzOi8vZG9jcy5zaWdzdG9yZS5kZXYvbG9nZ2luZy9vdmVydmlldy8iLCJEU1NFIChzZWN1cmUtc3lzdGVtcy1sYWIvZHNzZSkg4oCUIGh0dHBzOi8vZ2l0aHViLmNvbS9zZWN1cmUtc3lzdGVtcy1sYWIvZHNzZSIsInNpZ3N0b3JlL21vZGVsLXRyYW5zcGFyZW5jeSDigJQgaHR0cHM6Ly9naXRodWIuY29tL3NpZ3N0b3JlL21vZGVsLXRyYW5zcGFyZW5jeSJdLCJsYWJlbCI6Ik1PREVMRUQiLCJuYW1lc3BhY2UiOiJhMTFveSIsInNjaGVtYSI6InN6bC5hdHRlc3QuY2hhaW4tb2YtdGl0bGUvdjEiLCJzbHNhIjp7ImJ1aWxkX3RyYWNrIjoiTDAtTDMgcmVmZXJlbmNlZCBhcyB0aGUgY2l0ZWQgZGlyZWN0aW9uOyBubyBTTFNBIGxldmVsIGlzIENMQUlNRUQgZm9yIHRoaXMgaW1hZ2UiLCJ2c2EiOiJ0aGlzIFN0YXRlbWVudCBpcyB0aGUgU1pMIGFuYWxvZ3VlIG9mIGEgU0xTQSB2MS4xIFZlcmlmaWNhdGlvbiBTdW1tYXJ5IEF0dGVzdGF0aW9uIG92ZXIgdGhlIHBvbGljeSBpbiBvcHMvc3psX2NoYWluX29mX3RpdGxlLnJlZ28ifX0sImRvY3RyaW5lIjoidjExIiwiZW5lcmd5X2Rpc2Nsb3N1cmUiOnsiZXJyb3JzIjpbImh0dHBzOi8vbWV0ZXIuYS0xMS1veS5jb20vOiBIVFRQRXJyb3IiLCJodHRwczovL21ldGVyMi5hLTExLW95LmNvbS86IEhUVFBFcnJvciJdLCJsYWJlbCI6IlNUUlVDVFVSQUwtT05MWSIsIm1ldGVyX2VudiI6IkExMU9ZX0pPVUxFX01FVEVSX1VSTFMiLCJtZXRlcnNfY29uZmlndXJlZCI6Miwibm90ZSI6Im1ldGVyKHMpIGNvbmZpZ3VyZWQgYnV0IG5vbmUgYW5zd2VyZWQgd2l0aCBhIGpvdWxlIHJlYWRpbmcgdGhpcyByZXF1ZXN0IOKAlCBlbmVyZ3lfbWVhc3VyZWQgc3RheXMgRU1QVFksIG5vIGpvdWxlIGZhYnJpY2F0ZWQifSwiZW5lcmd5X21lYXN1cmVkIjpbXSwiaG9uZXN0eV9pbnZhcmlhbnRzIjp7ImxhbWJkYV9pc19jb25qZWN0dXJlX25vdF90aGVvcmVtIjp0cnVlLCJsb2NrZWQ4X2ltbXV0YWJsZSI6dHJ1ZSwibm9fZmFicmljYXRlZF9tZWFzdXJlZCI6dHJ1ZSwicHJvdmVuYW5jZV9jb3ZlcmFnZSI6MS4wfSwiaG9uZXN0eV9pbnZhcmlhbnRzX21lYW5pbmciOnsibGFtYmRhX2lzX2NvbmplY3R1cmVfbm90X3RoZW9yZW0iOiLOmyBpcyBDb25qZWN0dXJlIDEg4oCUIGFkdmlzb3J5LCBuZXZlciBhIHRoZW9yZW0sIG5ldmVyIGdyZWVuIiwibG9ja2VkOF9pbW11dGFibGUiOiJsb2NrZWQtOCB7RjEsRjQsRjcsRjExLEYxMixGMTgsRjE5LEYyMn0gQCBjN2MwYmExNzsgdGhpcyBvcmdhbiBhZGRzIG5vdGhpbmcgdG8gaXQiLCJub19mYWJyaWNhdGVkX21lYXN1cmVkIjoiYSBNRUFTVVJFRCBsYWJlbCBpcyBlbWl0dGVkIG9ubHkgZnJvbSBhIGxpdmUgcmVhZGluZyBpbiB0aGUgc2FtZSByZXF1ZXN0OyBlbmVyZ3lfbWVhc3VyZWQgaXMgZW1wdHkgcmF0aGVyIHRoYW4gaW52ZW50ZWQiLCJwcm92ZW5hbmNlX2NvdmVyYWdlIjoiMS4wIOKAlCBldmVyeSBwcm92ZW5hbmNlIGZpZWxkIGRpc2Nsb3NlZCwgbnVsbHMgaW5jbHVkZWQsIG5vbmUgb21pdHRlZCJ9LCJsYW1iZGEiOnsiaXNfdGhlb3JlbSI6ZmFsc2UsInN0YXR1cyI6IkNvbmplY3R1cmUgMSIsInRydXN0X2NlaWxpbmciOjAuOTd9LCJwcm92ZW5hbmNlIjp7ImJ1aWxkX2NvbW1pdCI6eyJjb21taXQiOm51bGwsIm5vdGUiOiJubyByZWFkYWJsZSAuZ2l0L0hFQUQgaW4gdGhpcyBpbWFnZSDigJQgaG9uZXN0IG51bGwiLCJzb3VyY2UiOm51bGx9LCJjb3JwdXNfc2hhIjpudWxsLCJjb3JwdXNfc291cmNlIjp7ImtpbmQiOm51bGwsIm5vdGUiOiJubyB0cmFpbmluZyBjb3JwdXMgcmVhZGFibGUgdGhpcyByZXF1ZXN0IOKAlCBob25lc3QgbnVsbCIsInBhdGgiOm51bGx9LCJjb3ZlcmFnZV9ydWxlIjoiZXZlcnkgcHJvdmVuYW5jZSBmaWVsZCBpcyBlaXRoZXIgYSByZWFsIHJlYWQgdGhpcyByZXF1ZXN0IG9yIGFuIGV4cGxpY2l0IG51bGwgd2l0aCBpdHMgcmVhc29uIOKAlCBjb3ZlcmFnZSAxLjAgbWVhbnMgZnVsbHkgRElTQ0xPU0VELCBub3QgZnVsbHkgcG9wdWxhdGVkIiwia2VybmVsX3BpbiI6ImM3YzBiYTE3Iiwia2VybmVsX3ZlcmlmaWNhdGlvbiI6eyJjaGVja3MiOnsibGFtYmRhX2lzX2NvbmplY3R1cmUiOnRydWUsImxvY2tlZDhfY292ZXJlZCI6dHJ1ZSwibG9ja2VkX3NldF9ub3RfaW5mbGF0ZWQiOnRydWUsInJlZ2lzdHJ5X2RpZ2VzdF92ZXJpZmllZCI6dHJ1ZX0sImtlcm5lbF9waW4iOiJjN2MwYmExNyIsImxvY2tlZF9wcm92ZW4iOlsiRjEiLCJGNCIsIkY3IiwiRjExIiwiRjEyIiwiRjE4IiwiRjE5IiwiRjIyIl0sInJlYXNvbiI6bnVsbCwicmVnaXN0cnkiOnsiYWdyZWVkX2xvY2tfZGlnZXN0IjoiYmU1MjYyZGE3NmFiZjAyYmVlYjNmMmIwYWJkNzI4NzRiYWE2ZjkwOWU1MTk2Mjg3NmJhNGJhODQ2ODdjNWQwMiIsImF1dGhvcml0eV9ub3RlIjoibG9ja2VkLTggdHJ1dGggaXMgcmVhZCBmcm9tIHRoZSBkb2N0cmluZSBsb2NrIHNlcnZlZCBieSAvYXBpL2ExMW95L3YxL2hvbmVzdCwgY3Jvc3Mtd2l0bmVzc2VkIGJ5IHRoZSBicmFpbiBjb25zdGl0dXRpb247IHRoZSBkaXNwdXRlLXNjb3BlZCBmb3JtdWxhIGNyb3Nzd2FsayBpcyBjb3Jyb2JvcmF0aW9uIG9ubHkiLCJjYW5vbmljYWxfc291cmNlIjoic3psX2JlX2hhcmRlbmluZy5ET0NUUklORV9MT0NLIChHRVQgL2FwaS9hMTFveS92MS9ob25lc3QgbG9ja2VkX2Zvcm11bGFfY291bnQgKyBsb2NrZWRfZm9ybXVsYV9pZHM7IG5vLWF4aW9tIHRoZW9yZW0gbG9ja2VkX2NvdW50X2VpZ2h0IEAgYzdjMGJhMTcpLCBjcm9zcy13aXRuZXNzZWQgYnkgc3psX2JyYWluY29uc3RpdHV0aW9uLkxPQ0tFRF9TRVQiLCJkaWdlc3RfYWxnb3JpdGhtIjoic2hhMjU2IiwiZGlzcHV0ZV9jcm9zc3dhbGsiOnsiYXV0aG9yaXR5X2Zvcl9sb2NrZWQ4IjpmYWxzZSwibm90ZSI6InN6bF9mb3JtdWxhX3JlZ2lzdHJ5LnJlY2VpcHRfYmFzaXMoKSBpcyBhIGRpc3B1dGUtcmVsZXZhbnQgbWF0dXJpdHkgY3Jvc3N3YWxrIChpdHMgb3duIGNvdmVyYWdlX3Njb3BlOiAnbm90IGFuIGludmVudG9yeSBvZiB0aGUgZnVsbCBlc3RhdGUnKTsgY29ycm9ib3JhdGlvbiBvbmx5LCBuZXZlciB0aGUgbG9ja2VkLTggc291cmNlIiwicmVhc29uIjoiZGlzcHV0ZSBjcm9zc3dhbGsgdW5yZWFkYWJsZSAoVmFsdWVFcnJvcikg4oCUIGNvcnJvYm9yYXRpb24gYWJzZW50OyB0aGUgY2Fub25pY2FsIGxvY2tlZC04IHdpdG5lc3NlcyBzdGFuZCBvbiB0aGVpciBvd24iLCJzdGF0dXMiOiJVTkFWQUlMQUJMRSJ9LCJ3aXRuZXNzX2NvdW50IjoyLCJ3aXRuZXNzX2Vycm9ycyI6W10sIndpdG5lc3NlcyI6W3siZGlnZXN0X2FsZ29yaXRobSI6InNoYTI1NiIsImtlcm5lbF9jb21taXQiOiJjN2MwYmExNyIsImxhbWJkYV9zdGF0dXMiOiJDb25qZWN0dXJlIDEiLCJsb2NrX2RpZ2VzdCI6ImJlNTI2MmRhNzZhYmYwMmJlZWIzZjJiMGFiZDcyODc0YmFhNmY5MDllNTE5NjI4NzZiYTRiYTg0Njg3YzVkMDIiLCJsb2NrZWRfZm9ybXVsYV9jb3VudCI6OCwibG9ja2VkX2Zvcm11bGFfaWRzIjpbIkYxIiwiRjQiLCJGNyIsIkYxMSIsIkYxMiIsIkYxOCIsIkYxOSIsIkYyMiJdLCJzb3VyY2UiOiJzemxfYmVfaGFyZGVuaW5nIn0seyJkaWdlc3RfYWxnb3JpdGhtIjoic2hhMjU2Iiwia2VybmVsX2NvbW1pdCI6ImM3YzBiYTE3IiwibGFtYmRhX3N0YXR1cyI6IkNvbmplY3R1cmUgMSIsImxvY2tfZGlnZXN0IjoiYmU1MjYyZGE3NmFiZjAyYmVlYjNmMmIwYWJkNzI4NzRiYWE2ZjkwOWU1MTk2Mjg3NmJhNGJhODQ2ODdjNWQwMiIsImxvY2tlZF9mb3JtdWxhX2NvdW50Ijo4LCJsb2NrZWRfZm9ybXVsYV9pZHMiOlsiRjEiLCJGNCIsIkY3IiwiRjExIiwiRjEyIiwiRjE4IiwiRjE5IiwiRjIyIl0sInNvdXJjZSI6InN6bF9icmFpbmNvbnN0aXR1dGlvbiJ9XX0sInZlcmlmaWVkIjp0cnVlfSwia2VybmVsX3ZlcmlmaWVkIjp0cnVlLCJwcm92ZW5hbmNlX2NvdmVyYWdlIjoxLjAsInNvdmVyZWlnbl93ZWlnaHRzIjp7ImJ5dGVzIjpudWxsLCJub3RlIjoibm8gc292ZXJlaWduLXdlaWdodHMgYXJ0aWZhY3QgcmVhZGFibGUgdGhpcyByZXF1ZXN0IChvcGVyYXRvciBhcnRpZmFjdCwgbm90IGNvbW1pdHRlZDsgc2V0IFNaTF9TT1ZFUkVJR05fV0VJR0hUU19QQVRIIHRvIGJpbmQgb25lKSDigJQgaG9uZXN0IG51bGwsIG5vIHdlaWdodHMgZGlnZXN0IGZhYnJpY2F0ZWQiLCJwYXRoIjpudWxsLCJwcmVzZW50IjpmYWxzZSwic2hhMjU2IjpudWxsfSwidHJhaW5pbmciOnsiY29uZmlnIjp7ImJhc2VfbW9kZWwiOm51bGwsImVwb2NocyI6bnVsbCwiZ3JhZF9hY2N1bSI6bnVsbCwibGVhcm5pbmdfcmF0ZSI6bnVsbCwibG9yYV9hbHBoYSI6bnVsbCwibG9yYV9kcm9wb3V0IjpudWxsLCJsb3JhX3IiOm51bGwsIm1heF9zZXFfbGVuIjpudWxsLCJwZXJfZGV2aWNlX2JhdGNoIjpudWxsLCJzZWVkIjpudWxsfSwibWV0aG9kIjoiTG9SQSAocGFyYW1ldGVyLWVmZmljaWVudCBmaW5lLXR1bmUpIiwibm90ZSI6ImNvbW1pdHRlZCB0cmFpbmVyIG5vdCByZWFkYWJsZSB0aGlzIHJlcXVlc3Qg4oCUIGhvbmVzdCBudWxscywgbm8gdHJhaW5pbmcgY29uZmlndXJhdGlvbiBmYWJyaWNhdGVkIiwic291cmNlIjoic292ZXJlaWduLXdlaWdodHMvdHJhaW5fbG9yYS5weSIsInNvdXJjZV9zaGEyNTYiOm51bGx9fSwic2VhbCI6eyJjaXRlcyI6WyJFVSBDbG91ZCBTb3ZlcmVpZ250eSBGcmFtZXdvcmsgMjAyNSAoU0VBTCAvIFNvdlNjb3JlIGFzc3VyYW5jZSBsZXZlbHMgMC00KSIsIkhlcmZpbmRhaGwtSGlyc2NobWFuIEluZGV4IChISEkpIOKAlCBkZXBlbmRlbmN5LWNvbmNlbnRyYXRpb24gbWVhc3VyZSAoRENJKSJdLCJmb3JtdWxhIjoiQT1bzqMgd+KClsK3U0VBTOKCli80XcOXKDHiiJJEQ0kpw5cxMDAiLCJub3RlIjoid2VpZ2h0cyBuZWVkIGNhbGlicmF0aW9uOyB0aGUgc2NvcmUgaXMgYW4gZW5naW5lZXJpbmcgY29tcG9zaXRpb24gb2YgY2l0ZWQgcHJpb3IgYXJ0LCBub3QgYSB2YWxpZGF0ZWQgbWV0cmljLCBhbmQgbm8gc2NvcmUgaXMgYXNzZXJ0ZWQgaGVyZSIsInRpZXIiOiJQUk9QT1NFRCJ9fSwicHJlZGljYXRlVHlwZSI6Imh0dHBzOi8vc3psLmRldi9jaGFpbi1vZi10aXRsZS92MSIsInN1YmplY3QiOlt7ImFubm90YXRpb25zIjp7ImxvY2tlZF9wcm92ZW4iOlsiRjEiLCJGNCIsIkY3IiwiRjExIiwiRjEyIiwiRjE4IiwiRjE5IiwiRjIyIl0sInBpbl9zb3VyY2UiOiJkb2N0cmluZS12MTEgbG9ja2VkLWtlcm5lbCBwaW4gKGltbXV0YWJsZSkifSwiZGlnZXN0Ijp7ImdpdENvbW1pdCI6ImM3YzBiYTE3In0sIm5hbWUiOiJsb2NrZWQ4X2tlcm5lbCJ9XX0=","_dsse":"DSSEv1","_pae_sha256":"9e3bd0bdbd576c28b8e40a319f28cc35759f6201c3d6100b116df66a9b1c9321","_signed_at":"2026-09-01T09:47:39.052242+00:00","signatures":[{"sig":"MEYCIQDfo+K5aX0iAx3RBTjB1MhMqS1DdIKJw54mgWI4qmqPnwIhAKpclFk/Blr5SnlUMaf7/U8U+4XbaU9vB7p3i7MgGBn3","keyid":"9926bf69b799ea663fc5cf5a8c5d8f594d99d7b323700d6a20b803bd4c9f4e15"}],"signed":true,"honesty":"REAL — ECDSA-P256-SHA256 over DSSE PAE; verifiable by `cosign verify-blob --key cosign.pub` and by the /khipu/verify endpoint.","verify_key_url":"/cosign.pub","_statement_digest_sha256":"7573bf36ae4eff01c6cdcf0c368450f9600d9112ed351f99c5d084bb54532cb8"},"rekor":{"status":"NOT_ATTEMPTED","log_url":"https://rekor.sigstore.dev","attempted":false,"reachable":null,"log_index":null,"entry_uuid":null,"inclusion_proof":null,"integrated_time":null,"proposed_entry":{"kind":"intoto","apiVersion":"0.0.2","spec":{"content":{"envelope":{"payloadType":"application/vnd.in-toto+json","payloadSha256":"7573bf36ae4eff01c6cdcf0c368450f9600d9112ed351f99c5d084bb54532cb8","signatures":1},"hash":{"algorithm":"sha256","value":"7573bf36ae4eff01c6cdcf0c368450f9600d9112ed351f99c5d084bb54532cb8"}}}},"label":"STRUCTURAL-ONLY","cite":"Sigstore Rekor — https://docs.sigstore.dev/logging/overview/","note":"Rekor submission not enabled in this runtime (SZL_REKOR_ENABLE unset) — NOT_ATTEMPTED, never a fabricated inclusion proof"},"verdict":"PASSED","verdict_scope":"policy-only: every chain-of-title policy rule holds; the transparency-log strand is UNKNOWN this request and is NOT part of this verdict","verification":{"ok":true,"schema":"szl.attest.chain-of-title/v1","verdict":"PASSED","verdict_scope":"policy-only: every chain-of-title policy rule holds; the transparency-log strand is UNKNOWN this request and is NOT part of this verdict","policy":{"policy":"PASSED","checks":{"predicate_type_matches":true,"doctrine_is_v11":true,"kernel_verified":true,"honesty_invariants_all_true":true,"provenance_coverage_is_one":true,"subject_binds_kernel_commit":true},"failed":[],"reason":null,"rego":{"path":"ops/szl_chain_of_title.rego","package":"szl.attest.chain_of_title","rule":"passed","note":"in-process evaluation mirrors the Rego policy rule for rule"}},"signature":{"signed":true,"verified":true,"status":"VERIFIED","keyless_ready":true,"note":"ECDSA-P256-SHA256 over the DSSE PAE; also checkable by `cosign verify-blob --key cosign.pub`","keyid_expected":"9926bf69b799ea663fc5cf5a8c5d8f594d99d7b323700d6a20b803bd4c9f4e15","pub_fingerprint_sha256":"9926bf69b799ea663fc5cf5a8c5d8f594d99d7b323700d6a20b803bd4c9f4e15"},"transparency":{"required":false,"status":"NOT_ATTEMPTED","label":"STRUCTURAL-ONLY","log_index":null,"entry_uuid":null,"inclusion_proof":null,"note":"Rekor submission not enabled in this runtime (SZL_REKOR_ENABLE unset) — NOT_ATTEMPTED, never a fabricated inclusion proof"},"reasons":[],"label":"MODELED","label_rule":"MEASURED only when a real transparency-log inclusion proof was returned THIS request; MODELED otherwise","lambda":{"status":"Conjecture 1","is_theorem":false,"trust_ceiling":0.97},"verified_at":"2026-09-01T09:47:39.054078Z"},"policy_source":{"path":"ops/szl_chain_of_title.rego","package":"szl.attest.chain_of_title","rules":["predicate_type_matches","doctrine_is_v11","kernel_verified","honesty_invariants_all_true","provenance_coverage_is_one","subject_binds_kernel_commit"]},"cites":["in-toto Attestation Framework — Statement v1 — https://github.com/in-toto/attestation/blob/main/spec/v1/statement.md","SLSA v1.1 (Apr 2025) Build track L0-L3 — https://slsa.dev/spec/v1.1/levels","SLSA v1.1 Verification Summary Attestation — https://slsa.dev/spec/v1.1/verification_summary","Sigstore/Rekor transparency log — https://docs.sigstore.dev/logging/overview/","DSSE (secure-systems-lab/dsse) — https://github.com/secure-systems-lab/dsse","sigstore/model-transparency — https://github.com/sigstore/model-transparency"],"honest_note":"This is a chain-of-title ATTESTATION, not a proof of correctness. It binds what is actually readable this request and says so when a strand is absent: no weights digest without weights, no joule without a meter, no Rekor entry without a log answer. Λ stays Conjecture 1; the locked-8 is attested, never extended; the SEAL score is tier PROPOSED.","built_at":"2026-09-01T09:47:39.054379Z","lake":{"appended":false,"status":"UNAVAILABLE","note":"lake append failed (AttributeError) — not fabricated"}}