{"schema":"szl.formula-binding.vertical/v2","vertical":"killinchu","count":7,"formulas":[{"id":"killinchu.haversine_nm","name":"Great-circle nautical distance","equation":"d = 2R asin(√h), R = 3440.065 nautical miles","implementation":"szl_verticals.vessels._haversine_nm","status":"TESTED_IMPLEMENTATION"},{"id":"killinchu.dark_gap","name":"AIS dark-gap detector","equation":"dark_gap = Δt > 3600 seconds","implementation":"szl_verticals.vessels._assess_vessel","status":"ADVISORY_THRESHOLD"},{"id":"killinchu.implied_speed","name":"AIS implied speed","equation":"v_kn = distance_nm / (Δt / 3600)","implementation":"szl_verticals.vessels._assess_vessel","status":"TESTED_IMPLEMENTATION"},{"id":"killinchu.voyage_risk","name":"Bounded maritime anomaly score","equation":"min(1, 0.3·dark_gaps + 0.4·speed_anomaly + 0.05·slow_fixes)","implementation":"szl_verticals.vessels._assess_vessel","status":"MODELED_ADVISORY"},{"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":"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"}