{"schema":"szl.formula-binding.vertical/v2","vertical":"lyte","count":5,"formulas":[{"id":"lyte.percentiles","name":"Operational distribution summary","equation":"p_q = ordered_values[round((n-1)q)]","implementation":"szl_verticals.lyte._percentile","status":"TESTED_IMPLEMENTATION"},{"id":"lyte.z_shift","name":"Normalized mean shift","equation":"z = (μ_recent - μ_baseline) / max(σ_baseline, ε)","implementation":"szl_verticals.lyte.lyte_drift","status":"TESTED_IMPLEMENTATION"},{"id":"lyte.drift_gate","name":"Lyte drift gate","equation":"drift = |z| > 2","implementation":"szl_verticals.lyte.lyte_drift","status":"ADVISORY_THRESHOLD"},{"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"}