FAQ

FAQ

What does "BoJ" stand for? The repository titles itself BoJ Server and does not expand the initialism in its own documentation. This wiki previously claimed "Bureau of Justice"; that appears nowhere in the repo and has been removed rather than replaced with another guess.

Why is the cartridge count smaller than the catalogue? Because the project publishes both numbers. The catalogue is an inspectable index; a smaller subset is wired to live services. See §Number transparency in the README. Where the estate's own numbers currently disagree, that disagreement is logged as debt item X-1 in DEBT.md.

Why aren't the cartridges in this repository? They were until #300. Splitting them out lets the server release independently of 140+ capability modules, and lets other hosts (PanLL) consume the same registry. Fetch them with scripts/fetch-cartridges.sh.

Which Zig version? Whatever .tool-versions says — currently 0.16.0. 0.16 removed several stdlib primitives; the canonical shim provides replacements over std.Io. Code written against 0.15 will not build.

Is the formal verification real, or decorative? Real but bounded, and the bound is published. Four sanctioned believe_me axioms, all isolated in SafetyLemmas.idr, all tagged, with a CI gate that fails if the count changes. What is not proved is listed in PROOF-NEEDS.md. Known weaknesses in the gates themselves are in DEBT.md §Proof.

What licence? Code MPL-2.0, prose CC-BY-SA-4.0. (This wiki previously said PMPL-1.0-or-later — that was never correct.)

Does it need npm install? No. The bridge has zero runtime dependencies and runs on Node, Deno or Bun.