{"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":"READ","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":null,"schema_version":"szl.formula-authority.v2","registry_version":"2.0.0","coverage_scope":"Exact locked-eight authority plus the F23 Lambda boundary, which remains Conjecture 1 and is not a theorem; not an exhaustive inventory of every SZL formula or formal result.","exhaustive":false,"formula_registry_digest":"ec1d9e1aa6c6bcb1fb70731c86d46374a6aeed6d311c2bf5e315b12c87ec6b08","digest_algorithm":"sha256","signature_status":"UNSIGNED","crosswalk_locked_proven_ids":["F1","F4","F7","F11","F12","F18","F19","F22"],"crosswalk_covered_ids":["F1","F4","F7","F11","F12","F18","F19","F22","F23"],"lambda_status":"CONJECTURE_1_ADVISORY","locked8_ids_all_covered":true,"crosswalk_not_inflated":true,"challenged_ids_experimental_in_this_scope":[]},"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-27T02:39:13.754321Z","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":"05fc986aef8b9b227bda79b9f234a6118def3a41c8da24890b6a229519971db5","envelope":{"payloadType":"application/vnd.in-toto+json","payload":"eyJfdHlwZSI6Imh0dHBzOi8vaW4tdG90by5pby9TdGF0ZW1lbnQvdjEiLCJwcmVkaWNhdGUiOnsiYXR0ZXN0YXRpb24iOnsiYnVpbHRfYXQiOiIyMDI2LTA5LTI3VDAyOjM5OjEzLjc1NDMyMVoiLCJjaXRlcyI6WyJpbi10b3RvIEF0dGVzdGF0aW9uIEZyYW1ld29yayDigJQgU3RhdGVtZW50IHYxIOKAlCBodHRwczovL2dpdGh1Yi5jb20vaW4tdG90by9hdHRlc3RhdGlvbi9ibG9iL21haW4vc3BlYy92MS9zdGF0ZW1lbnQubWQiLCJTTFNBIHYxLjEgKEFwciAyMDI1KSBCdWlsZCB0cmFjayBMMC1MMyDigJQgaHR0cHM6Ly9zbHNhLmRldi9zcGVjL3YxLjEvbGV2ZWxzIiwiU0xTQSB2MS4xIFZlcmlmaWNhdGlvbiBTdW1tYXJ5IEF0dGVzdGF0aW9uIOKAlCBodHRwczovL3Nsc2EuZGV2L3NwZWMvdjEuMS92ZXJpZmljYXRpb25fc3VtbWFyeSIsIlNpZ3N0b3JlL1Jla29yIHRyYW5zcGFyZW5jeSBsb2cg4oCUIGh0dHBzOi8vZG9jcy5zaWdzdG9yZS5kZXYvbG9nZ2luZy9vdmVydmlldy8iLCJEU1NFIChzZWN1cmUtc3lzdGVtcy1sYWIvZHNzZSkg4oCUIGh0dHBzOi8vZ2l0aHViLmNvbS9zZWN1cmUtc3lzdGVtcy1sYWIvZHNzZSIsInNpZ3N0b3JlL21vZGVsLXRyYW5zcGFyZW5jeSDigJQgaHR0cHM6Ly9naXRodWIuY29tL3NpZ3N0b3JlL21vZGVsLXRyYW5zcGFyZW5jeSJdLCJsYWJlbCI6Ik1PREVMRUQiLCJuYW1lc3BhY2UiOiJhMTFveSIsInNjaGVtYSI6InN6bC5hdHRlc3QuY2hhaW4tb2YtdGl0bGUvdjEiLCJzbHNhIjp7ImJ1aWxkX3RyYWNrIjoiTDAtTDMgcmVmZXJlbmNlZCBhcyB0aGUgY2l0ZWQgZGlyZWN0aW9uOyBubyBTTFNBIGxldmVsIGlzIENMQUlNRUQgZm9yIHRoaXMgaW1hZ2UiLCJ2c2EiOiJ0aGlzIFN0YXRlbWVudCBpcyB0aGUgU1pMIGFuYWxvZ3VlIG9mIGEgU0xTQSB2MS4xIFZlcmlmaWNhdGlvbiBTdW1tYXJ5IEF0dGVzdGF0aW9uIG92ZXIgdGhlIHBvbGljeSBpbiBvcHMvc3psX2NoYWluX29mX3RpdGxlLnJlZ28ifX0sImRvY3RyaW5lIjoidjExIiwiZW5lcmd5X2Rpc2Nsb3N1cmUiOnsiZXJyb3JzIjpbImh0dHBzOi8vbWV0ZXIuYS0xMS1veS5jb20vOiBIVFRQRXJyb3IiLCJodHRwczovL21ldGVyMi5hLTExLW95LmNvbS86IEhUVFBFcnJvciJdLCJsYWJlbCI6IlNUUlVDVFVSQUwtT05MWSIsIm1ldGVyX2VudiI6IkExMU9ZX0pPVUxFX01FVEVSX1VSTFMiLCJtZXRlcnNfY29uZmlndXJlZCI6Miwibm90ZSI6Im1ldGVyKHMpIGNvbmZpZ3VyZWQgYnV0IG5vbmUgYW5zd2VyZWQgd2l0aCBhIGpvdWxlIHJlYWRpbmcgdGhpcyByZXF1ZXN0IOKAlCBlbmVyZ3lfbWVhc3VyZWQgc3RheXMgRU1QVFksIG5vIGpvdWxlIGZhYnJpY2F0ZWQifSwiZW5lcmd5X21lYXN1cmVkIjpbXSwiaG9uZXN0eV9pbnZhcmlhbnRzIjp7ImxhbWJkYV9pc19jb25qZWN0dXJlX25vdF90aGVvcmVtIjp0cnVlLCJsb2NrZWQ4X2ltbXV0YWJsZSI6dHJ1ZSwibm9fZmFicmljYXRlZF9tZWFzdXJlZCI6dHJ1ZSwicHJvdmVuYW5jZV9jb3ZlcmFnZSI6MS4wfSwiaG9uZXN0eV9pbnZhcmlhbnRzX21lYW5pbmciOnsibGFtYmRhX2lzX2NvbmplY3R1cmVfbm90X3RoZW9yZW0iOiLOmyBpcyBDb25qZWN0dXJlIDEg4oCUIGFkdmlzb3J5LCBuZXZlciBhIHRoZW9yZW0sIG5ldmVyIGdyZWVuIiwibG9ja2VkOF9pbW11dGFibGUiOiJsb2NrZWQtOCB7RjEsRjQsRjcsRjExLEYxMixGMTgsRjE5LEYyMn0gQCBjN2MwYmExNzsgdGhpcyBvcmdhbiBhZGRzIG5vdGhpbmcgdG8gaXQiLCJub19mYWJyaWNhdGVkX21lYXN1cmVkIjoiYSBNRUFTVVJFRCBsYWJlbCBpcyBlbWl0dGVkIG9ubHkgZnJvbSBhIGxpdmUgcmVhZGluZyBpbiB0aGUgc2FtZSByZXF1ZXN0OyBlbmVyZ3lfbWVhc3VyZWQgaXMgZW1wdHkgcmF0aGVyIHRoYW4gaW52ZW50ZWQiLCJwcm92ZW5hbmNlX2NvdmVyYWdlIjoiMS4wIOKAlCBldmVyeSBwcm92ZW5hbmNlIGZpZWxkIGRpc2Nsb3NlZCwgbnVsbHMgaW5jbHVkZWQsIG5vbmUgb21pdHRlZCJ9LCJsYW1iZGEiOnsiaXNfdGhlb3JlbSI6ZmFsc2UsInN0YXR1cyI6IkNvbmplY3R1cmUgMSIsInRydXN0X2NlaWxpbmciOjAuOTd9LCJwcm92ZW5hbmNlIjp7ImJ1aWxkX2NvbW1pdCI6eyJjb21taXQiOm51bGwsIm5vdGUiOiJubyByZWFkYWJsZSAuZ2l0L0hFQUQgaW4gdGhpcyBpbWFnZSDigJQgaG9uZXN0IG51bGwiLCJzb3VyY2UiOm51bGx9LCJjb3JwdXNfc2hhIjpudWxsLCJjb3JwdXNfc291cmNlIjp7ImtpbmQiOm51bGwsIm5vdGUiOiJubyB0cmFpbmluZyBjb3JwdXMgcmVhZGFibGUgdGhpcyByZXF1ZXN0IOKAlCBob25lc3QgbnVsbCIsInBhdGgiOm51bGx9LCJjb3ZlcmFnZV9ydWxlIjoiZXZlcnkgcHJvdmVuYW5jZSBmaWVsZCBpcyBlaXRoZXIgYSByZWFsIHJlYWQgdGhpcyByZXF1ZXN0IG9yIGFuIGV4cGxpY2l0IG51bGwgd2l0aCBpdHMgcmVhc29uIOKAlCBjb3ZlcmFnZSAxLjAgbWVhbnMgZnVsbHkgRElTQ0xPU0VELCBub3QgZnVsbHkgcG9wdWxhdGVkIiwia2VybmVsX3BpbiI6ImM3YzBiYTE3Iiwia2VybmVsX3ZlcmlmaWNhdGlvbiI6eyJjaGVja3MiOnsibGFtYmRhX2lzX2NvbmplY3R1cmUiOnRydWUsImxvY2tlZDhfY292ZXJlZCI6dHJ1ZSwibG9ja2VkX3NldF9ub3RfaW5mbGF0ZWQiOnRydWUsInJlZ2lzdHJ5X2RpZ2VzdF92ZXJpZmllZCI6dHJ1ZX0sImtlcm5lbF9waW4iOiJjN2MwYmExNyIsImxvY2tlZF9wcm92ZW4iOlsiRjEiLCJGNCIsIkY3IiwiRjExIiwiRjEyIiwiRjE4IiwiRjE5IiwiRjIyIl0sInJlYXNvbiI6bnVsbCwicmVnaXN0cnkiOnsiYWdyZWVkX2xvY2tfZGlnZXN0IjoiYmU1MjYyZGE3NmFiZjAyYmVlYjNmMmIwYWJkNzI4NzRiYWE2ZjkwOWU1MTk2Mjg3NmJhNGJhODQ2ODdjNWQwMiIsImF1dGhvcml0eV9ub3RlIjoibG9ja2VkLTggdHJ1dGggaXMgcmVhZCBmcm9tIHRoZSBkb2N0cmluZSBsb2NrIHNlcnZlZCBieSAvYXBpL2ExMW95L3YxL2hvbmVzdCwgY3Jvc3Mtd2l0bmVzc2VkIGJ5IHRoZSBicmFpbiBjb25zdGl0dXRpb247IHRoZSBkaXNwdXRlLXNjb3BlZCBmb3JtdWxhIGNyb3Nzd2FsayBpcyBjb3Jyb2JvcmF0aW9uIG9ubHkiLCJjYW5vbmljYWxfc291cmNlIjoic3psX2JlX2hhcmRlbmluZy5ET0NUUklORV9MT0NLIChHRVQgL2FwaS9hMTFveS92MS9ob25lc3QgbG9ja2VkX2Zvcm11bGFfY291bnQgKyBsb2NrZWRfZm9ybXVsYV9pZHM7IG5vLWF4aW9tIHRoZW9yZW0gbG9ja2VkX2NvdW50X2VpZ2h0IEAgYzdjMGJhMTcpLCBjcm9zcy13aXRuZXNzZWQgYnkgc3psX2JyYWluY29uc3RpdHV0aW9uLkxPQ0tFRF9TRVQiLCJkaWdlc3RfYWxnb3JpdGhtIjoic2hhMjU2IiwiZGlzcHV0ZV9jcm9zc3dhbGsiOnsiYXV0aG9yaXR5X2Zvcl9sb2NrZWQ4IjpmYWxzZSwiY2hhbGxlbmdlZF9pZHNfZXhwZXJpbWVudGFsX2luX3RoaXNfc2NvcGUiOltdLCJjb3ZlcmFnZV9zY29wZSI6IkV4YWN0IGxvY2tlZC1laWdodCBhdXRob3JpdHkgcGx1cyB0aGUgRjIzIExhbWJkYSBib3VuZGFyeSwgd2hpY2ggcmVtYWlucyBDb25qZWN0dXJlIDEgYW5kIGlzIG5vdCBhIHRoZW9yZW07IG5vdCBhbiBleGhhdXN0aXZlIGludmVudG9yeSBvZiBldmVyeSBTWkwgZm9ybXVsYSBvciBmb3JtYWwgcmVzdWx0LiIsImNyb3Nzd2Fsa19jb3ZlcmVkX2lkcyI6WyJGMSIsIkY0IiwiRjciLCJGMTEiLCJGMTIiLCJGMTgiLCJGMTkiLCJGMjIiLCJGMjMiXSwiY3Jvc3N3YWxrX2xvY2tlZF9wcm92ZW5faWRzIjpbIkYxIiwiRjQiLCJGNyIsIkYxMSIsIkYxMiIsIkYxOCIsIkYxOSIsIkYyMiJdLCJjcm9zc3dhbGtfbm90X2luZmxhdGVkIjp0cnVlLCJkaWdlc3RfYWxnb3JpdGhtIjoic2hhMjU2IiwiZXhoYXVzdGl2ZSI6ZmFsc2UsImZvcm11bGFfcmVnaXN0cnlfZGlnZXN0IjoiZWMxZDllMWFhNmM2YmNiMWZiNzA3MzFjODZkNDYzNzRhNmFlZWQ2ZDMxMWMyYmY1ZTMxNWIxMmM4N2VjNmIwOCIsImxhbWJkYV9zdGF0dXMiOiJDT05KRUNUVVJFXzFfQURWSVNPUlkiLCJsb2NrZWQ4X2lkc19hbGxfY292ZXJlZCI6dHJ1ZSwibm90ZSI6InN6bF9mb3JtdWxhX3JlZ2lzdHJ5LnJlY2VpcHRfYmFzaXMoKSBpcyBhIGRpc3B1dGUtcmVsZXZhbnQgbWF0dXJpdHkgY3Jvc3N3YWxrIChpdHMgb3duIGNvdmVyYWdlX3Njb3BlOiAnbm90IGFuIGludmVudG9yeSBvZiB0aGUgZnVsbCBlc3RhdGUnKTsgY29ycm9ib3JhdGlvbiBvbmx5LCBuZXZlciB0aGUgbG9ja2VkLTggc291cmNlIiwicmVhc29uIjpudWxsLCJyZWdpc3RyeV92ZXJzaW9uIjoiMi4wLjAiLCJzY2hlbWFfdmVyc2lvbiI6InN6bC5mb3JtdWxhLWF1dGhvcml0eS52MiIsInNpZ25hdHVyZV9zdGF0dXMiOiJVTlNJR05FRCIsInN0YXR1cyI6IlJFQUQifSwid2l0bmVzc19jb3VudCI6Miwid2l0bmVzc19lcnJvcnMiOltdLCJ3aXRuZXNzZXMiOlt7ImRpZ2VzdF9hbGdvcml0aG0iOiJzaGEyNTYiLCJrZXJuZWxfY29tbWl0IjoiYzdjMGJhMTciLCJsYW1iZGFfc3RhdHVzIjoiQ29uamVjdHVyZSAxIiwibG9ja19kaWdlc3QiOiJiZTUyNjJkYTc2YWJmMDJiZWViM2YyYjBhYmQ3Mjg3NGJhYTZmOTA5ZTUxOTYyODc2YmE0YmE4NDY4N2M1ZDAyIiwibG9ja2VkX2Zvcm11bGFfY291bnQiOjgsImxvY2tlZF9mb3JtdWxhX2lkcyI6WyJGMSIsIkY0IiwiRjciLCJGMTEiLCJGMTIiLCJGMTgiLCJGMTkiLCJGMjIiXSwic291cmNlIjoic3psX2JlX2hhcmRlbmluZyJ9LHsiZGlnZXN0X2FsZ29yaXRobSI6InNoYTI1NiIsImtlcm5lbF9jb21taXQiOiJjN2MwYmExNyIsImxhbWJkYV9zdGF0dXMiOiJDb25qZWN0dXJlIDEiLCJsb2NrX2RpZ2VzdCI6ImJlNTI2MmRhNzZhYmYwMmJlZWIzZjJiMGFiZDcyODc0YmFhNmY5MDllNTE5NjI4NzZiYTRiYTg0Njg3YzVkMDIiLCJsb2NrZWRfZm9ybXVsYV9jb3VudCI6OCwibG9ja2VkX2Zvcm11bGFfaWRzIjpbIkYxIiwiRjQiLCJGNyIsIkYxMSIsIkYxMiIsIkYxOCIsIkYxOSIsIkYyMiJdLCJzb3VyY2UiOiJzemxfYnJhaW5jb25zdGl0dXRpb24ifV19LCJ2ZXJpZmllZCI6dHJ1ZX0sImtlcm5lbF92ZXJpZmllZCI6dHJ1ZSwicHJvdmVuYW5jZV9jb3ZlcmFnZSI6MS4wLCJzb3ZlcmVpZ25fd2VpZ2h0cyI6eyJieXRlcyI6bnVsbCwibm90ZSI6Im5vIHNvdmVyZWlnbi13ZWlnaHRzIGFydGlmYWN0IHJlYWRhYmxlIHRoaXMgcmVxdWVzdCAob3BlcmF0b3IgYXJ0aWZhY3QsIG5vdCBjb21taXR0ZWQ7IHNldCBTWkxfU09WRVJFSUdOX1dFSUdIVFNfUEFUSCB0byBiaW5kIG9uZSkg4oCUIGhvbmVzdCBudWxsLCBubyB3ZWlnaHRzIGRpZ2VzdCBmYWJyaWNhdGVkIiwicGF0aCI6bnVsbCwicHJlc2VudCI6ZmFsc2UsInNoYTI1NiI6bnVsbH0sInRyYWluaW5nIjp7ImNvbmZpZyI6eyJiYXNlX21vZGVsIjpudWxsLCJlcG9jaHMiOm51bGwsImdyYWRfYWNjdW0iOm51bGwsImxlYXJuaW5nX3JhdGUiOm51bGwsImxvcmFfYWxwaGEiOm51bGwsImxvcmFfZHJvcG91dCI6bnVsbCwibG9yYV9yIjpudWxsLCJtYXhfc2VxX2xlbiI6bnVsbCwicGVyX2RldmljZV9iYXRjaCI6bnVsbCwic2VlZCI6bnVsbH0sIm1ldGhvZCI6IkxvUkEgKHBhcmFtZXRlci1lZmZpY2llbnQgZmluZS10dW5lKSIsIm5vdGUiOiJjb21taXR0ZWQgdHJhaW5lciBub3QgcmVhZGFibGUgdGhpcyByZXF1ZXN0IOKAlCBob25lc3QgbnVsbHMsIG5vIHRyYWluaW5nIGNvbmZpZ3VyYXRpb24gZmFicmljYXRlZCIsInNvdXJjZSI6InNvdmVyZWlnbi13ZWlnaHRzL3RyYWluX2xvcmEucHkiLCJzb3VyY2Vfc2hhMjU2IjpudWxsfX0sInNlYWwiOnsiY2l0ZXMiOlsiRVUgQ2xvdWQgU292ZXJlaWdudHkgRnJhbWV3b3JrIDIwMjUgKFNFQUwgLyBTb3ZTY29yZSBhc3N1cmFuY2UgbGV2ZWxzIDAtNCkiLCJIZXJmaW5kYWhsLUhpcnNjaG1hbiBJbmRleCAoSEhJKSDigJQgZGVwZW5kZW5jeS1jb25jZW50cmF0aW9uIG1lYXN1cmUgKERDSSkiXSwiZm9ybXVsYSI6IkE9W86jIHfigpbCt1NFQUzigpYvNF3Dlygx4oiSRENJKcOXMTAwIiwibm90ZSI6IndlaWdodHMgbmVlZCBjYWxpYnJhdGlvbjsgdGhlIHNjb3JlIGlzIGFuIGVuZ2luZWVyaW5nIGNvbXBvc2l0aW9uIG9mIGNpdGVkIHByaW9yIGFydCwgbm90IGEgdmFsaWRhdGVkIG1ldHJpYywgYW5kIG5vIHNjb3JlIGlzIGFzc2VydGVkIGhlcmUiLCJ0aWVyIjoiUFJPUE9TRUQifX0sInByZWRpY2F0ZVR5cGUiOiJodHRwczovL3N6bC5kZXYvY2hhaW4tb2YtdGl0bGUvdjEiLCJzdWJqZWN0IjpbeyJhbm5vdGF0aW9ucyI6eyJsb2NrZWRfcHJvdmVuIjpbIkYxIiwiRjQiLCJGNyIsIkYxMSIsIkYxMiIsIkYxOCIsIkYxOSIsIkYyMiJdLCJwaW5fc291cmNlIjoiZG9jdHJpbmUtdjExIGxvY2tlZC1rZXJuZWwgcGluIChpbW11dGFibGUpIn0sImRpZ2VzdCI6eyJnaXRDb21taXQiOiJjN2MwYmExNyJ9LCJuYW1lIjoibG9ja2VkOF9rZXJuZWwifV19","signatures":[],"signed":false,"read_only":true,"_statement_digest_sha256":"05fc986aef8b9b227bda79b9f234a6118def3a41c8da24890b6a229519971db5","honesty":"Read-only inspection; no signing attempted, regardless of key availability."},"rekor":{"status":"NOT_ATTEMPTED","attempted":false,"reachable":null,"log_index":null,"entry_uuid":null,"inclusion_proof":null,"label":"STRUCTURAL-ONLY","note":"Read-only inspection; no transparency-log submission attempted."},"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":false,"verified":null,"status":"UNSIGNED-READ-ONLY","keyless_ready":true,"note":"Read-only inspection; no signing attempted, regardless of key availability."},"transparency":{"required":false,"status":"NOT_ATTEMPTED","label":"STRUCTURAL-ONLY","log_index":null,"entry_uuid":null,"inclusion_proof":null,"note":"Read-only inspection; no transparency-log submission attempted."},"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-27T02:39:13.754645Z"},"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-27T02:39:13.754794Z","lake":{"appended":false,"status":"READ_ONLY"}}