[{"law_id":"L001","statement":"law L001 {\n    for x in rows\n    then x.sat_fat <= x.fat * 1.05 + 0.1\n    citation \"definition (saturated fat ⊆ total fat)\"\n}","serlang":"law L001 {\n    for x in rows\n    then x.sat_fat <= x.fat * 1.05 + 0.1\n    citation \"definition (saturated fat ⊆ total fat)\"\n}","citation":"definition (saturated fat ⊆ total fat)","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"0bfedf9876e20b1cad0efa97731582380f3089254f42cd95698f06106df3977c"},{"law_id":"L002","statement":"law L002 {\n    for x in rows\n    then x.sugars <= x.carbs * 1.05 + 0.1\n    citation \"definition (sugars ⊆ carbohydrates)\"\n}","serlang":"law L002 {\n    for x in rows\n    then x.sugars <= x.carbs * 1.05 + 0.1\n    citation \"definition (sugars ⊆ carbohydrates)\"\n}","citation":"definition (sugars ⊆ carbohydrates)","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"d0fd7161ee2472795c22a5253cce75dcc670b66981426bd2fbeda8e1db87133e"},{"law_id":"L004","statement":"law L004 {\n    for x in rows\n    then 0 <= x.fat <= 100\n    citation \"physical: mass ≤ 100 g per 100g\"\n}","serlang":"law L004 {\n    for x in rows\n    then 0 <= x.fat <= 100\n    citation \"physical: mass ≤ 100 g per 100g\"\n}","citation":"physical: mass ≤ 100 g per 100g","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"6295300819bda31b9d6add6d555bf05ee27944580d778066a71f197e54fa1545"},{"law_id":"L005","statement":"law L005 {\n    for x in rows\n    then 0 <= x.salt <= 100\n    citation \"physical: mass ≤ 100 g per 100g\"\n}","serlang":"law L005 {\n    for x in rows\n    then 0 <= x.salt <= 100\n    citation \"physical: mass ≤ 100 g per 100g\"\n}","citation":"physical: mass ≤ 100 g per 100g","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"4eac121f2cf52a969eb664a338fccb1442791bb7524306684a16e687b77288c1"},{"law_id":"L006","statement":"law L006 {\n    for x in rows\n    then 0 <= x.sugars <= 100\n    citation \"physical\"\n}","serlang":"law L006 {\n    for x in rows\n    then 0 <= x.sugars <= 100\n    citation \"physical\"\n}","citation":"physical","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"ff8365f46742bcb6b249a131c9200fb4b7e209575d0f76f2dff51f9cf05a4156"},{"law_id":"L007","statement":"law L007 {\n    for x in rows\n    then 0 <= x.carbs <= 100\n    citation \"physical\"\n}","serlang":"law L007 {\n    for x in rows\n    then 0 <= x.carbs <= 100\n    citation \"physical\"\n}","citation":"physical","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"97f553a129bd517f4d5cc0079940af4e97f00b0885aaae55b3235be2efb56180"},{"law_id":"L008","statement":"law L008 {\n    for x in rows\n    then 0 <= x.proteins <= 100\n    citation \"physical\"\n}","serlang":"law L008 {\n    for x in rows\n    then 0 <= x.proteins <= 100\n    citation \"physical\"\n}","citation":"physical","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"bacd85dab431f431ece337abdc1c94a8bda6e6bd7ae47d7ce44b5c9028c446ad"},{"law_id":"L009","statement":"law L009 {\n    for x in rows\n    then 0 <= x.fiber <= 60\n    citation \"physical: no food is >60% fiber\"\n}","serlang":"law L009 {\n    for x in rows\n    then 0 <= x.fiber <= 60\n    citation \"physical: no food is >60% fiber\"\n}","citation":"physical: no food is >60% fiber","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"27c3c937e338954dd085800aa5b19305baec59f62f53528a3b988b56fcba92cd"},{"law_id":"L010","statement":"law L010 {\n    for x in rows\n    then 0 <= x.sat_fat <= 100\n    citation \"physical\"\n}","serlang":"law L010 {\n    for x in rows\n    then 0 <= x.sat_fat <= 100\n    citation \"physical\"\n}","citation":"physical","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"b51352522a386bd65ee0c88222280c131dda1b763cf45802d632ff268b76ea1b"},{"law_id":"L011","statement":"law L011 {\n    for x in rows\n    then x.fat + x.carbs + x.proteins <= 105\n    citation \"mass conservation (nutrients + water + minerals = 100)\"\n}","serlang":"law L011 {\n    for x in rows\n    then x.fat + x.carbs + x.proteins <= 105\n    citation \"mass conservation (nutrients + water + minerals = 100)\"\n}","citation":"mass conservation (nutrients + water + minerals = 100)","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"ee22bb2837ebc72107851e1813d45df0173284c0267d0b6a3d9407a48db67e44"},{"law_id":"L015","statement":"law L015 {\n    for x in rows\n    then 0 <= x.energy_kj <= 4000\n    citation \"physical: pure fat = 3700 kJ/100g max\"\n}","serlang":"law L015 {\n    for x in rows\n    then 0 <= x.energy_kj <= 4000\n    citation \"physical: pure fat = 3700 kJ/100g max\"\n}","citation":"physical: pure fat = 3700 kJ/100g max","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"f3f60b272117cc703fc6432a78899d8f72dafcb8e806477829fa0789fb23c9bf"},{"law_id":"L016","statement":"law L016 {\n    for x in rows\n    then 0 <= x.energy_kcal <= 1000\n    citation \"physical\"\n}","serlang":"law L016 {\n    for x in rows\n    then 0 <= x.energy_kcal <= 1000\n    citation \"physical\"\n}","citation":"physical","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"b8df9c9d59900af64f5c5c4fd4eee8299b1632b1b6079865d4c17994f9e64f13"},{"law_id":"L017","statement":"law L017 {\n    for x in rows\n    then x.sodium == x.salt * 0.4  (rel=0.05, abs=0.001)\n    citation \"chemistry: Na is 40% of NaCl mass\"\n}","serlang":"law L017 {\n    for x in rows\n    then x.sodium == x.salt * 0.4  (rel=0.05, abs=0.001)\n    citation \"chemistry: Na is 40% of NaCl mass\"\n}","citation":"chemistry: Na is 40% of NaCl mass","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"30415aae661e88ffae9cd686f9fb80a6848b67e598206ef9d43ed3b712db204e"},{"law_id":"L019","statement":"law L019 {\n    for x in rows\n    then x.code matches \"^\\d{13}$\"\n    citation \"EAN-13 barcode standard\"\n}","serlang":"law L019 {\n    for x in rows\n    then x.code matches \"^\\d{13}$\"\n    citation \"EAN-13 barcode standard\"\n}","citation":"EAN-13 barcode standard","proposer":"human","proposed_utc":"2026-08-04T00:00:00Z","domain":"food","law_hash":"a71f33785c1c2ff2d02cf3a4f3704b33714dfa8f59410374dda943dcca68f472"}]