{"schema":"szl.formula-binding.vertical/v2","vertical":"sentra","count":4,"formulas":[{"id":"sentra.gate_conjunction","name":"Deny-by-default gate conjunction","equation":"ALLOW ⇔ ∧ gate_i; otherwise DENY","implementation":"szl_verticals.sentra.sentra_evaluate","status":"TESTED_IMPLEMENTATION"},{"id":"sentra.risk_threshold","name":"Sentra risk threshold","equation":"gate_risk = (risk_score < 0.75)","implementation":"szl_verticals.sentra.GATES","status":"POLICY_PARAMETER"},{"id":"szl.lambda_advisory","name":"SZL Lambda advisory roll-up","equation":"Λ_w(x) = ∏ x_i ^ w_i, Σw_i = 1, x_i ∈ [0,1]","implementation":"operational.advisory_lambda","source_repository":"szl-holdings/szl-formulas","source_formula":"lambda_aggregate","status":"ADVISORY","proof_boundary":"Lambda uniqueness remains Conjecture 1 (open); never treated as proven trust."},{"id":"szl.receipt_hash","name":"Canonical observation receipt","equation":"r = SHA-256(canonical_json(metadata))","implementation":"operational._receipt","source_repository":"szl-holdings/governed-receipt-spec","status":"DETERMINISTIC_IMPLEMENTATION"}],"canonical_formula_repository":"szl-holdings/szl-formulas","lean_proof_repository":"szl-holdings/lutar-lean","lambda_status":"Conjecture 1 (open) — advisory only","truth_label":"MEASURED"}