{"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":"1b05d180bf41ee56163e72f0846be5ad6485bf10","source":"env:SZL_GIT_SHA","note":"runtime source metadata; not an independently verified build attestation"},"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":["meter[1]: MeterAuthConfigurationError","meter[2]: MeterAuthConfigurationError"],"all_sources_qualified":false,"measurement_scope":"METER_CUMULATIVE_COUNTER_SNAPSHOT","action_attribution":"UNATTRIBUTED"},"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-10-21T05:47:21.620568Z","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":"44bec53acc0d57eced83584219942be64df83faa57fb38444dc9756a4b538b0c","envelope":{"payloadType":"application/vnd.in-toto+json","payload":"eyJfdHlwZSI6Imh0dHBzOi8vaW4tdG90by5pby9TdGF0ZW1lbnQvdjEiLCJwcmVkaWNhdGUiOnsiYXR0ZXN0YXRpb24iOnsiYnVpbHRfYXQiOiIyMDI2LTEwLTIxVDA1OjQ3OjIxLjYyMDU2OFoiLCJjaXRlcyI6WyJpbi10b3RvIEF0dGVzdGF0aW9uIEZyYW1ld29yayDigJQgU3RhdGVtZW50IHYxIOKAlCBodHRwczovL2dpdGh1Yi5jb20vaW4tdG90by9hdHRlc3RhdGlvbi9ibG9iL21haW4vc3BlYy92MS9zdGF0ZW1lbnQubWQiLCJTTFNBIHYxLjEgKEFwciAyMDI1KSBCdWlsZCB0cmFjayBMMC1MMyDigJQgaHR0cHM6Ly9zbHNhLmRldi9zcGVjL3YxLjEvbGV2ZWxzIiwiU0xTQSB2MS4xIFZlcmlmaWNhdGlvbiBTdW1tYXJ5IEF0dGVzdGF0aW9uIOKAlCBodHRwczovL3Nsc2EuZGV2L3NwZWMvdjEuMS92ZXJpZmljYXRpb25fc3VtbWFyeSIsIlNpZ3N0b3JlL1Jla29yIHRyYW5zcGFyZW5jeSBsb2cg4oCUIGh0dHBzOi8vZG9jcy5zaWdzdG9yZS5kZXYvbG9nZ2luZy9vdmVydmlldy8iLCJEU1NFIChzZWN1cmUtc3lzdGVtcy1sYWIvZHNzZSkg4oCUIGh0dHBzOi8vZ2l0aHViLmNvbS9zZWN1cmUtc3lzdGVtcy1sYWIvZHNzZSIsInNpZ3N0b3JlL21vZGVsLXRyYW5zcGFyZW5jeSDigJQgaHR0cHM6Ly9naXRodWIuY29tL3NpZ3N0b3JlL21vZGVsLXRyYW5zcGFyZW5jeSJdLCJsYWJlbCI6Ik1PREVMRUQiLCJuYW1lc3BhY2UiOiJhMTFveSIsInNjaGVtYSI6InN6bC5hdHRlc3QuY2hhaW4tb2YtdGl0bGUvdjEiLCJzbHNhIjp7ImJ1aWxkX3RyYWNrIjoiTDAtTDMgcmVmZXJlbmNlZCBhcyB0aGUgY2l0ZWQgZGlyZWN0aW9uOyBubyBTTFNBIGxldmVsIGlzIENMQUlNRUQgZm9yIHRoaXMgaW1hZ2UiLCJ2c2EiOiJ0aGlzIFN0YXRlbWVudCBpcyB0aGUgU1pMIGFuYWxvZ3VlIG9mIGEgU0xTQSB2MS4xIFZlcmlmaWNhdGlvbiBTdW1tYXJ5IEF0dGVzdGF0aW9uIG92ZXIgdGhlIHBvbGljeSBpbiBvcHMvc3psX2NoYWluX29mX3RpdGxlLnJlZ28ifX0sImRvY3RyaW5lIjoidjExIiwiZW5lcmd5X2Rpc2Nsb3N1cmUiOnsiYWN0aW9uX2F0dHJpYnV0aW9uIjoiVU5BVFRSSUJVVEVEIiwiYWxsX3NvdXJjZXNfcXVhbGlmaWVkIjpmYWxzZSwiZXJyb3JzIjpbIm1ldGVyWzFdOiBNZXRlckF1dGhDb25maWd1cmF0aW9uRXJyb3IiLCJtZXRlclsyXTogTWV0ZXJBdXRoQ29uZmlndXJhdGlvbkVycm9yIl0sImxhYmVsIjoiU1RSVUNUVVJBTC1PTkxZIiwibWVhc3VyZW1lbnRfc2NvcGUiOiJNRVRFUl9DVU1VTEFUSVZFX0NPVU5URVJfU05BUFNIT1QiLCJtZXRlcl9lbnYiOiJBMTFPWV9KT1VMRV9NRVRFUl9VUkxTIiwibWV0ZXJzX2NvbmZpZ3VyZWQiOjIsIm5vdGUiOiJtZXRlcihzKSBjb25maWd1cmVkIGJ1dCBub25lIGFuc3dlcmVkIHdpdGggYSBqb3VsZSByZWFkaW5nIHRoaXMgcmVxdWVzdCDigJQgZW5lcmd5X21lYXN1cmVkIHN0YXlzIEVNUFRZLCBubyBqb3VsZSBmYWJyaWNhdGVkIn0sImVuZXJneV9tZWFzdXJlZCI6W10sImhvbmVzdHlfaW52YXJpYW50cyI6eyJsYW1iZGFfaXNfY29uamVjdHVyZV9ub3RfdGhlb3JlbSI6dHJ1ZSwibG9ja2VkOF9pbW11dGFibGUiOnRydWUsIm5vX2ZhYnJpY2F0ZWRfbWVhc3VyZWQiOnRydWUsInByb3ZlbmFuY2VfY292ZXJhZ2UiOjEuMH0sImhvbmVzdHlfaW52YXJpYW50c19tZWFuaW5nIjp7ImxhbWJkYV9pc19jb25qZWN0dXJlX25vdF90aGVvcmVtIjoizpsgaXMgQ29uamVjdHVyZSAxIOKAlCBhZHZpc29yeSwgbmV2ZXIgYSB0aGVvcmVtLCBuZXZlciBncmVlbiIsImxvY2tlZDhfaW1tdXRhYmxlIjoibG9ja2VkLTgge0YxLEY0LEY3LEYxMSxGMTIsRjE4LEYxOSxGMjJ9IEAgYzdjMGJhMTc7IHRoaXMgb3JnYW4gYWRkcyBub3RoaW5nIHRvIGl0Iiwibm9fZmFicmljYXRlZF9tZWFzdXJlZCI6ImEgTUVBU1VSRUQgbGFiZWwgaXMgZW1pdHRlZCBvbmx5IGZyb20gYSBsaXZlIHJlYWRpbmcgaW4gdGhlIHNhbWUgcmVxdWVzdDsgZW5lcmd5X21lYXN1cmVkIGlzIGVtcHR5IHJhdGhlciB0aGFuIGludmVudGVkIiwicHJvdmVuYW5jZV9jb3ZlcmFnZSI6IjEuMCDigJQgZXZlcnkgcHJvdmVuYW5jZSBmaWVsZCBkaXNjbG9zZWQsIG51bGxzIGluY2x1ZGVkLCBub25lIG9taXR0ZWQifSwibGFtYmRhIjp7ImlzX3RoZW9yZW0iOmZhbHNlLCJzdGF0dXMiOiJDb25qZWN0dXJlIDEiLCJ0cnVzdF9jZWlsaW5nIjowLjk3fSwicHJvdmVuYW5jZSI6eyJidWlsZF9jb21taXQiOnsiY29tbWl0IjoiMWIwNWQxODBiZjQxZWU1NjE2M2U3MmYwODQ2YmU1YWQ2NDg1YmYxMCIsIm5vdGUiOiJydW50aW1lIHNvdXJjZSBtZXRhZGF0YTsgbm90IGFuIGluZGVwZW5kZW50bHkgdmVyaWZpZWQgYnVpbGQgYXR0ZXN0YXRpb24iLCJzb3VyY2UiOiJlbnY6U1pMX0dJVF9TSEEifSwiY29ycHVzX3NoYSI6bnVsbCwiY29ycHVzX3NvdXJjZSI6eyJraW5kIjpudWxsLCJub3RlIjoibm8gdHJhaW5pbmcgY29ycHVzIHJlYWRhYmxlIHRoaXMgcmVxdWVzdCDigJQgaG9uZXN0IG51bGwiLCJwYXRoIjpudWxsfSwiY292ZXJhZ2VfcnVsZSI6ImV2ZXJ5IHByb3ZlbmFuY2UgZmllbGQgaXMgZWl0aGVyIGEgcmVhbCByZWFkIHRoaXMgcmVxdWVzdCBvciBhbiBleHBsaWNpdCBudWxsIHdpdGggaXRzIHJlYXNvbiDigJQgY292ZXJhZ2UgMS4wIG1lYW5zIGZ1bGx5IERJU0NMT1NFRCwgbm90IGZ1bGx5IHBvcHVsYXRlZCIsImtlcm5lbF9waW4iOiJjN2MwYmExNyIsImtlcm5lbF92ZXJpZmljYXRpb24iOnsiY2hlY2tzIjp7ImxhbWJkYV9pc19jb25qZWN0dXJlIjp0cnVlLCJsb2NrZWQ4X2NvdmVyZWQiOnRydWUsImxvY2tlZF9zZXRfbm90X2luZmxhdGVkIjp0cnVlLCJyZWdpc3RyeV9kaWdlc3RfdmVyaWZpZWQiOnRydWV9LCJrZXJuZWxfcGluIjoiYzdjMGJhMTciLCJsb2NrZWRfcHJvdmVuIjpbIkYxIiwiRjQiLCJGNyIsIkYxMSIsIkYxMiIsIkYxOCIsIkYxOSIsIkYyMiJdLCJyZWFzb24iOm51bGwsInJlZ2lzdHJ5Ijp7ImFncmVlZF9sb2NrX2RpZ2VzdCI6ImJlNTI2MmRhNzZhYmYwMmJlZWIzZjJiMGFiZDcyODc0YmFhNmY5MDllNTE5NjI4NzZiYTRiYTg0Njg3YzVkMDIiLCJhdXRob3JpdHlfbm90ZSI6ImxvY2tlZC04IHRydXRoIGlzIHJlYWQgZnJvbSB0aGUgZG9jdHJpbmUgbG9jayBzZXJ2ZWQgYnkgL2FwaS9hMTFveS92MS9ob25lc3QsIGNyb3NzLXdpdG5lc3NlZCBieSB0aGUgYnJhaW4gY29uc3RpdHV0aW9uOyB0aGUgZGlzcHV0ZS1zY29wZWQgZm9ybXVsYSBjcm9zc3dhbGsgaXMgY29ycm9ib3JhdGlvbiBvbmx5IiwiY2Fub25pY2FsX3NvdXJjZSI6InN6bF9iZV9oYXJkZW5pbmcuRE9DVFJJTkVfTE9DSyAoR0VUIC9hcGkvYTExb3kvdjEvaG9uZXN0IGxvY2tlZF9mb3JtdWxhX2NvdW50ICsgbG9ja2VkX2Zvcm11bGFfaWRzOyBuby1heGlvbSB0aGVvcmVtIGxvY2tlZF9jb3VudF9laWdodCBAIGM3YzBiYTE3KSwgY3Jvc3Mtd2l0bmVzc2VkIGJ5IHN6bF9icmFpbmNvbnN0aXR1dGlvbi5MT0NLRURfU0VUIiwiZGlnZXN0X2FsZ29yaXRobSI6InNoYTI1NiIsImRpc3B1dGVfY3Jvc3N3YWxrIjp7ImF1dGhvcml0eV9mb3JfbG9ja2VkOCI6ZmFsc2UsImNoYWxsZW5nZWRfaWRzX2V4cGVyaW1lbnRhbF9pbl90aGlzX3Njb3BlIjpbXSwiY292ZXJhZ2Vfc2NvcGUiOiJFeGFjdCBsb2NrZWQtZWlnaHQgYXV0aG9yaXR5IHBsdXMgdGhlIEYyMyBMYW1iZGEgYm91bmRhcnksIHdoaWNoIHJlbWFpbnMgQ29uamVjdHVyZSAxIGFuZCBpcyBub3QgYSB0aGVvcmVtOyBub3QgYW4gZXhoYXVzdGl2ZSBpbnZlbnRvcnkgb2YgZXZlcnkgU1pMIGZvcm11bGEgb3IgZm9ybWFsIHJlc3VsdC4iLCJjcm9zc3dhbGtfY292ZXJlZF9pZHMiOlsiRjEiLCJGNCIsIkY3IiwiRjExIiwiRjEyIiwiRjE4IiwiRjE5IiwiRjIyIiwiRjIzIl0sImNyb3Nzd2Fsa19sb2NrZWRfcHJvdmVuX2lkcyI6WyJGMSIsIkY0IiwiRjciLCJGMTEiLCJGMTIiLCJGMTgiLCJGMTkiLCJGMjIiXSwiY3Jvc3N3YWxrX25vdF9pbmZsYXRlZCI6dHJ1ZSwiZGlnZXN0X2FsZ29yaXRobSI6InNoYTI1NiIsImV4aGF1c3RpdmUiOmZhbHNlLCJmb3JtdWxhX3JlZ2lzdHJ5X2RpZ2VzdCI6ImVjMWQ5ZTFhYTZjNmJjYjFmYjcwNzMxYzg2ZDQ2Mzc0YTZhZWVkNmQzMTFjMmJmNWUzMTViMTJjODdlYzZiMDgiLCJsYW1iZGFfc3RhdHVzIjoiQ09OSkVDVFVSRV8xX0FEVklTT1JZIiwibG9ja2VkOF9pZHNfYWxsX2NvdmVyZWQiOnRydWUsIm5vdGUiOiJzemxfZm9ybXVsYV9yZWdpc3RyeS5yZWNlaXB0X2Jhc2lzKCkgaXMgYSBkaXNwdXRlLXJlbGV2YW50IG1hdHVyaXR5IGNyb3Nzd2FsayAoaXRzIG93biBjb3ZlcmFnZV9zY29wZTogJ25vdCBhbiBpbnZlbnRvcnkgb2YgdGhlIGZ1bGwgZXN0YXRlJyk7IGNvcnJvYm9yYXRpb24gb25seSwgbmV2ZXIgdGhlIGxvY2tlZC04IHNvdXJjZSIsInJlYXNvbiI6bnVsbCwicmVnaXN0cnlfdmVyc2lvbiI6IjIuMC4wIiwic2NoZW1hX3ZlcnNpb24iOiJzemwuZm9ybXVsYS1hdXRob3JpdHkudjIiLCJzaWduYXR1cmVfc3RhdHVzIjoiVU5TSUdORUQiLCJzdGF0dXMiOiJSRUFEIn0sIndpdG5lc3NfY291bnQiOjIsIndpdG5lc3NfZXJyb3JzIjpbXSwid2l0bmVzc2VzIjpbeyJkaWdlc3RfYWxnb3JpdGhtIjoic2hhMjU2Iiwia2VybmVsX2NvbW1pdCI6ImM3YzBiYTE3IiwibGFtYmRhX3N0YXR1cyI6IkNvbmplY3R1cmUgMSIsImxvY2tfZGlnZXN0IjoiYmU1MjYyZGE3NmFiZjAyYmVlYjNmMmIwYWJkNzI4NzRiYWE2ZjkwOWU1MTk2Mjg3NmJhNGJhODQ2ODdjNWQwMiIsImxvY2tlZF9mb3JtdWxhX2NvdW50Ijo4LCJsb2NrZWRfZm9ybXVsYV9pZHMiOlsiRjEiLCJGNCIsIkY3IiwiRjExIiwiRjEyIiwiRjE4IiwiRjE5IiwiRjIyIl0sInNvdXJjZSI6InN6bF9iZV9oYXJkZW5pbmcifSx7ImRpZ2VzdF9hbGdvcml0aG0iOiJzaGEyNTYiLCJrZXJuZWxfY29tbWl0IjoiYzdjMGJhMTciLCJsYW1iZGFfc3RhdHVzIjoiQ29uamVjdHVyZSAxIiwibG9ja19kaWdlc3QiOiJiZTUyNjJkYTc2YWJmMDJiZWViM2YyYjBhYmQ3Mjg3NGJhYTZmOTA5ZTUxOTYyODc2YmE0YmE4NDY4N2M1ZDAyIiwibG9ja2VkX2Zvcm11bGFfY291bnQiOjgsImxvY2tlZF9mb3JtdWxhX2lkcyI6WyJGMSIsIkY0IiwiRjciLCJGMTEiLCJGMTIiLCJGMTgiLCJGMTkiLCJGMjIiXSwic291cmNlIjoic3psX2JyYWluY29uc3RpdHV0aW9uIn1dfSwidmVyaWZpZWQiOnRydWV9LCJrZXJuZWxfdmVyaWZpZWQiOnRydWUsInByb3ZlbmFuY2VfY292ZXJhZ2UiOjEuMCwic292ZXJlaWduX3dlaWdodHMiOnsiYnl0ZXMiOm51bGwsIm5vdGUiOiJubyBzb3ZlcmVpZ24td2VpZ2h0cyBhcnRpZmFjdCByZWFkYWJsZSB0aGlzIHJlcXVlc3QgKG9wZXJhdG9yIGFydGlmYWN0LCBub3QgY29tbWl0dGVkOyBzZXQgU1pMX1NPVkVSRUlHTl9XRUlHSFRTX1BBVEggdG8gYmluZCBvbmUpIOKAlCBob25lc3QgbnVsbCwgbm8gd2VpZ2h0cyBkaWdlc3QgZmFicmljYXRlZCIsInBhdGgiOm51bGwsInByZXNlbnQiOmZhbHNlLCJzaGEyNTYiOm51bGx9LCJ0cmFpbmluZyI6eyJjb25maWciOnsiYmFzZV9tb2RlbCI6bnVsbCwiZXBvY2hzIjpudWxsLCJncmFkX2FjY3VtIjpudWxsLCJsZWFybmluZ19yYXRlIjpudWxsLCJsb3JhX2FscGhhIjpudWxsLCJsb3JhX2Ryb3BvdXQiOm51bGwsImxvcmFfciI6bnVsbCwibWF4X3NlcV9sZW4iOm51bGwsInBlcl9kZXZpY2VfYmF0Y2giOm51bGwsInNlZWQiOm51bGx9LCJtZXRob2QiOiJMb1JBIChwYXJhbWV0ZXItZWZmaWNpZW50IGZpbmUtdHVuZSkiLCJub3RlIjoiY29tbWl0dGVkIHRyYWluZXIgbm90IHJlYWRhYmxlIHRoaXMgcmVxdWVzdCDigJQgaG9uZXN0IG51bGxzLCBubyB0cmFpbmluZyBjb25maWd1cmF0aW9uIGZhYnJpY2F0ZWQiLCJzb3VyY2UiOiJzb3ZlcmVpZ24td2VpZ2h0cy90cmFpbl9sb3JhLnB5Iiwic291cmNlX3NoYTI1NiI6bnVsbH19LCJzZWFsIjp7ImNpdGVzIjpbIkVVIENsb3VkIFNvdmVyZWlnbnR5IEZyYW1ld29yayAyMDI1IChTRUFMIC8gU292U2NvcmUgYXNzdXJhbmNlIGxldmVscyAwLTQpIiwiSGVyZmluZGFobC1IaXJzY2htYW4gSW5kZXggKEhISSkg4oCUIGRlcGVuZGVuY3ktY29uY2VudHJhdGlvbiBtZWFzdXJlIChEQ0kpIl0sImZvcm11bGEiOiJBPVvOoyB34oKWwrdTRUFM4oKWLzRdw5coMeKIkkRDSSnDlzEwMCIsIm5vdGUiOiJ3ZWlnaHRzIG5lZWQgY2FsaWJyYXRpb247IHRoZSBzY29yZSBpcyBhbiBlbmdpbmVlcmluZyBjb21wb3NpdGlvbiBvZiBjaXRlZCBwcmlvciBhcnQsIG5vdCBhIHZhbGlkYXRlZCBtZXRyaWMsIGFuZCBubyBzY29yZSBpcyBhc3NlcnRlZCBoZXJlIiwidGllciI6IlBST1BPU0VEIn19LCJwcmVkaWNhdGVUeXBlIjoiaHR0cHM6Ly9zemwuZGV2L2NoYWluLW9mLXRpdGxlL3YxIiwic3ViamVjdCI6W3siYW5ub3RhdGlvbnMiOnsibG9ja2VkX3Byb3ZlbiI6WyJGMSIsIkY0IiwiRjciLCJGMTEiLCJGMTIiLCJGMTgiLCJGMTkiLCJGMjIiXSwicGluX3NvdXJjZSI6ImRvY3RyaW5lLXYxMSBsb2NrZWQta2VybmVsIHBpbiAoaW1tdXRhYmxlKSJ9LCJkaWdlc3QiOnsiZ2l0Q29tbWl0IjoiYzdjMGJhMTcifSwibmFtZSI6ImxvY2tlZDhfa2VybmVsIn1dfQ==","signatures":[],"signed":false,"read_only":true,"_statement_digest_sha256":"44bec53acc0d57eced83584219942be64df83faa57fb38444dc9756a4b538b0c","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-10-21T05:47:21.620875Z"},"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-10-21T05:47:21.620984Z","lake":{"appended":false,"status":"READ_ONLY"}}