{"trust_axes":13,"axes":[{"name":"soundness","score":0.914,"weight":0.12,"source":"DEFAULT_CONSTANT"},{"name":"calibration","score":0.91,"weight":0.06,"source":"DEFAULT_CONSTANT"},{"name":"robustness","score":0.9,"weight":0.08,"source":"DEFAULT_CONSTANT"},{"name":"provenance","score":0.92,"weight":0.11,"source":"HEURISTIC"},{"name":"consent","score":0.91,"weight":0.06,"source":"DEFAULT_CONSTANT"},{"name":"reversibility","score":0.92,"weight":0.07,"source":"DEFAULT_CONSTANT"},{"name":"transparency","score":0.93,"weight":0.07,"source":"DEFAULT_CONSTANT"},{"name":"fairness","score":0.91,"weight":0.05,"source":"DEFAULT_CONSTANT"},{"name":"containment","score":0.92,"weight":0.08,"source":"DEFAULT_CONSTANT"},{"name":"attestation","score":0.9,"weight":0.1,"source":"HEURISTIC"},{"name":"freshness","score":0.92,"weight":0.05,"source":"HEURISTIC"},{"name":"authority","score":0.92,"weight":0.07,"source":"DEFAULT_CONSTANT"},{"name":"auditability","score":0.92,"weight":0.08,"source":"HEURISTIC"}],"lambda_org":0.914641,"lambda_floor":0.9,"pass":null,"inputs":{"class":"SAMPLE","default_axes":["soundness","calibration","robustness","provenance","consent","reversibility","transparency","fairness","containment","attestation","freshness","authority","auditability"],"default_verticals":["core","defense","finance","realestate","insurance"],"method":null,"measured_at":null,"n":null,"note":"NOT MEASURED: built-in default constants (DEFAULT_CONSTANT) and reachability heuristics (HEURISTIC); no method, date or sample size. pass is null until every axis and vertical is supplied."},"aggregate":"13-axis weighted geometric mean (canonical, advisory)","verticals":{"core":0.93,"defense":0.92,"finance":0.91,"realestate":0.9,"insurance":0.91},"verticals_source":{"core":"DEFAULT_CONSTANT","defense":"DEFAULT_CONSTANT","finance":"DEFAULT_CONSTANT","realestate":"DEFAULT_CONSTANT","insurance":"DEFAULT_CONSTANT"},"slsa":{"slsa_level":"L1","axis":0.9,"note":"SLSA L1 honest · L2 build-attested (Rekor) · L3 ROADMAP (.compliance/SLSA_LEVEL.md)"},"drift":{"canonical_chain":"szl.lake.receipt/v1","canonical_chain_reachable":true,"known_drift":["DSSE PAE: vsp-otel ASCII-decimal vs szl-build-env binary struct.pack (HIGH — disclosed)","axis-count: Python collector 5-axis vs TS runtime 9-axis (disclosed)"],"axis":0.92},"bounds":{"min":0.9,"max":0.93,"holds":true,"tier":"SEMANTIC-VERIFIED","lean":"Lutar/Bound.lean::Λ_le_max + ::min_le_Λ (0 sorries; outside the locked-8)","statement":"min_i axis_i ≤ Λ ≤ max_i axis_i"},"uniqueness":{"tier":"CONJECTURE","id":"Conjecture 1","status":"OPEN — machine-checked FALSE as stated; NEVER rendered green"},"locked_count":8,"doctrine":"v11","ts":"2026-10-15T05:34:34.313914Z"}