{"schema":"szl.formula-binding.vertical/v2","vertical":"terra","count":6,"formulas":[{"id":"terra.price_per_sqft","name":"Price per square foot","equation":"PPSF = price / square_feet","implementation":"szl_verticals.terra.terra_add","status":"TESTED_IMPLEMENTATION"},{"id":"terra.cap_rate","name":"Capitalization rate","equation":"cap_rate = annual_NOI / price","implementation":"szl_verticals.terra.terra_add","status":"TESTED_IMPLEMENTATION"},{"id":"terra.comp_dispersion","name":"Comparable-property dispersion","equation":"σ_comp = pstdev(PPSF_comps)","implementation":"szl_verticals.terra.terra_analysis","status":"MODELED"},{"id":"terra.distress_load","name":"Weighted property-condition load","equation":"D = (1·A + 2·B + 4·C) / (4·max(1,A+B+C))","implementation":"szl_verticals.domain_math.weighted_distress_load","status":"MODELED_ADVISORY","proof_boundary":"HPD classes are public condition signals, not a valuation, discrimination, or person-level prospecting score."},{"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"}