{"schema":"szl.formula-binding.vertical/v2","vertical":"counsel","count":6,"formulas":[{"id":"counsel.deadline_slack","name":"Deadline slack","equation":"slack_days = (deadline_ts - now) / 86400","implementation":"operational._signal_counsel","status":"MODELED"},{"id":"counsel.obligation_priority","name":"Obligation priority","equation":"priority = severity_rank × deadline_pressure","implementation":"szl_verticals.counsel.counsel_docket","status":"MODELED_ADVISORY"},{"id":"counsel.exposure_rank","name":"Matter exposure ordering","equation":"sort by (-high_severity_count, -exposure_usd)","implementation":"szl_verticals.counsel.counsel_docket","status":"TESTED_IMPLEMENTATION"},{"id":"counsel.hash_chain","name":"Matter receipt chain","equation":"h_n = SHA-256(h_(n-1) | step | payload)","implementation":"szl_verticals.counsel._chain","status":"TESTED_IMPLEMENTATION"},{"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"}