SPRIND says Germany will publish statutes as executable code. CATALA · Inria · DGFiP took five years to encode one section of French tax code. The Ambiguity Index is the map — clause by clause — of which law can be deterministic logic and which is irreducibly human judgment.
Jurisdictions ranked by mean Codifiability Score across audited statutes. Higher = more of the law is encodable as deterministic logic.
v0 seed — 3 statutes, 2 jurisdictions. v1 target: 5 × 20 = 100.
Every audited statute. Expand to see clauses, classifications, pseudocode, and the human questions that can't be encoded.
Pure logic. Inputs defined. Outputs unambiguous. No reasonable lawyer disagrees.
e.g. "incapable under age 7"
Encodable if you supply default rules for the contested terms or thresholds.
e.g. "within a reasonable time"
Irreducibly human. Encoding it would impose one judge's view, not the law.
e.g. "good faith", "equity"
Codifiability Score = mean(clause scores) × 100. Bias toward judgment-bound when unsure. A low score is not a measure of bad law — judgment-bound clauses exist for good reasons. Full doc: methodology/scoring.md.