arxo

French family-benefit law as executable canons — Arxo demonstration for Law as Code in Practice (Volume 1)

Versioned executable OGPO canon releases with reproducible public verification

Kazakhstan Constitution on Arxo: executable 2026 models, historical 1995 edition, native CLI examples and inspectable evidence

UNIDROIT Principles of International Commercial Contracts 2016 as executable Arxo packages: 210 articles, 7 packages, 27 scenarios, texts pinned by content hash.

CRA PDOC uses the previous day's amounts on 1 January and 1 July when the computer is east of Eastern time: saved runs, data and checks

Executable OpenStax calculus: bounded limits and exact polynomial derivatives and integrals on Arxo

Arxo Law: prebuilt law binaries (release assets only)

The Constitution of Japan as an inspectable Arxo legal model, with a separate Official Gazette model, pinned sources and reproducible examples.

Homebrew formulae of Arxo

Thomas Aquinas on Arxo: pinned Latin sources, explicit argument models, native CLI cases and per-package depth.

IRS inflation-adjusted amounts rebuilt from the Internal Revenue Code: Rev. Proc. 2025-32 reconstruction, findings, and a hashed 2027 forecast

An independent FIDE Laws of Chess demonstration on Arxo: pinned rules, arbiter cases and a typed Node.js npm package.

LF 2026 et LFSS 2026 : les dispositions modificatives exécutées une à une (Arxo Law)

Executable German Civil Code (BGB) packages for Arxo

Arxo Law extension for VS Code and Cursor: syntax, diagnostics and compiler-backed hints for .law files. Published mirror of the extension source.

Four source-linked OpenStax Biology 2e models on Arxo: cells, genetics, Hardy-Weinberg and ecology; native questions and measured depth

German housing-benefit law (Wohngeld) as executable canons — Arxo demonstration for Law as Code in Practice (Volume 2)

Eleven source-linked OpenStax Chemistry 2e models on Arxo, with executable examples and measured formalization depth

Ten fictional French family-benefit examples: run pinned Arxo models, compare answers and trace their sources. Companion to Law as Code in Practice.

One regulation, formalized twice: Catala 1.2 and Arxo Law on the same 65 reference cases, 240 random cases and 20 mutations — the artifact of 'Law as Function, Law as Data'