Rules as code, with runnable examples
Executable rules with a proof: a limitation period, a Catala comparison, and unit tests for a statute.
Latest writings
- A GDPR Infringement Is Established. Should a Fine Follow?
A GDPR infringement does not settle whether a fine should follow. Five questions from the EDPB’s September 2026 consultation draft separate legal preconditions, judgment and calculation.
- Один день меняет ответ: практикум для специалиста по страховым выплатам
Практикум по ОГПО ВТС: срок выплаты, один день просрочки, расчёт неустойки и проверка недостающих данных на учебных делах Arxo Law.
- One Accident, Several Laws, One Answer
An insurer pays 730,000 tenge twelve days late. The insurance statute, Civil Code, calendar and rate data produce a 4,020-tenge penalty, with the steps behind the answer.
- The Human Is Still the Rules Engine
We publish rules as documents and leave people to compute their consequences. A reusable, inspectable model can move repeated calculation into software while keeping evidence, interpretation and judgment accountable.
- Law as Function, Law as Data: What Catala and Arxo Compute When They Read the Same Regulation
Catala and Arxo agreed on 65 reference cases and 240 random ones: Catala returns a value, Arxo returns a proof.
- The Same Debt, Two Centuries: The Napoleonic Code Runs From 1804 to Today
A debt fell due in 2000 and was sued on in 2015. Under the text of 1804 the action is alive; under today's Code it is time-barred. The French Civil Code as an executable model, from 1804 to today, with the article behind every answer.
- The Law Has Unit Tests
A test of a statute can pass on silence, expect a question instead of an answer, and carries a date.
- What Is Rules as Code, With a Runnable Example
Rules as Code puts a rule in a form a machine can run, beside the text a person reads, and shows a limitation period you can compute.
- King John Seizes a Free Man. Chapter 39 Fires.
Magna Carta 1215 contains closed exception lists, a forty-day state machine, and proof chains down to the Latin phrase. Feed it facts, and it executes.
- In 1100 His Brother May Kill You. In 1150 He May Not.
Russkaya Pravda survives in two redactions; between them blood vengeance was set aside. One killing, two dates, two answers, each with its article.
- A Japanangka Cannot Marry a Napanangka. No Statute Says So.
Warlpiri skin law fits in eight names: a closed marriage table, two descent cycles, and a two-key rule over country. It was never written down, and it executes.
No articles match these filters. Try another topic or clear your search.