{"schema":"szl.formula-binding.vertical/v2","vertical":"finance","count":9,"formulas":[{"id":"finance.log_return","name":"Log return","equation":"r_t = ln(P_t / P_(t-1))","implementation":"szl_verticals.finance._finance_metrics","status":"TESTED_IMPLEMENTATION"},{"id":"finance.annualized_volatility","name":"Annualized volatility","equation":"σ_ann = pstdev(log_returns) · √252","implementation":"szl_verticals.finance._finance_metrics","status":"MODELED"},{"id":"finance.max_drawdown","name":"Maximum drawdown","equation":"MDD = min_t(P_t / running_peak_t - 1)","implementation":"szl_verticals.finance._finance_metrics","status":"TESTED_IMPLEMENTATION"},{"id":"finance.momentum","name":"Bounded lookback momentum","equation":"m = P_t / P_(t-k) - 1, k = min(20, n-1)","implementation":"szl_verticals.finance._finance_metrics","status":"MODELED"},{"id":"finance.signal_gate","name":"PURIQ signal gate","equation":"LONG if m>0.02∧σ<0.60; SHORT if m<-0.02; else FLAT","implementation":"szl_verticals.finance._finance_metrics","status":"ADVISORY_THRESHOLD"},{"id":"finance.market_entropy","name":"Binary prediction-market entropy","equation":"H(p) = -p·log₂(p) - (1-p)·log₂(1-p)","implementation":"szl_verticals.domain_math.binary_entropy","status":"TESTED_TRANSFORM","proof_boundary":"Entropy summarizes quoted market uncertainty; it is not a forecast guarantee or trading instruction."},{"id":"finance.probability_edge","name":"Probability displacement from neutral reference","equation":"edge(p, r) = clamp(p,0,1) - clamp(r,0,1)","implementation":"szl_verticals.domain_math.probability_edge","status":"TESTED_TRANSFORM","proof_boundary":"The default reference r=0.5 is descriptive. It does not establish mispricing or expected profit."},{"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"}