http://localhost:3000 weekly 1 http://localhost:3000/arc/the-computability-of-law weekly 0.6 http://localhost:3000/arc/the-shape-of-a-statute weekly 0.6 http://localhost:3000/arc/proof-and-procedure weekly 0.6 http://localhost:3000/obligations-transitions 2026-06-15T13:36:10.894593Z monthly 0.8 http://localhost:3000/jurisdiction-as-runtime 2026-06-15T13:36:10.894593Z monthly 0.8 http://localhost:3000/cross-references-and-the-call-graph 2026-06-14T00:00:00Z monthly 0.8 http://localhost:3000/the-proviso-as-an-exception-handler 2026-06-14T00:00:00Z monthly 0.8 http://localhost:3000/burden-as-control-flow 2026-06-14T00:00:00Z monthly 0.8 http://localhost:3000/standards-of-proof-as-thresholds 2026-06-14T00:00:00Z monthly 0.8 http://localhost:3000/contracts-as-state-machines 2026-06-14T00:00:00Z monthly 0.8 http://localhost:3000/the-whole-world-runs-on-invisible-law 2026-06-14T00:00:00Z monthly 0.8 http://localhost:3000/definitions-as-a-type-system 2026-06-14T00:00:00Z monthly 0.8