BGB (Germany)

arxo-bgb.git

Pinned canon, executable as it stands: source text with provenance, the model built over it and the scenarios that check its answers. The norms here are data — they are executed by law; this repository carries no rule code of its own.

Contents

Package	Version	Scenarios	Dependencies
calc.kinship	0.1.0	39	0
de.bgb.core	0.1.0	1	0
doctrine.ius_privatum	0.1.0	37	0
de.bgb.fristen	0.1.0	86	1
de.bgb_1896	0.1.0	5	1
de.bgb.allgemeiner_teil	0.1.0	21	3
de.bgb.besitz_eigentum	0.1.0	143	2
de.bgb.betreuung	0.1.0	110	2
de.bgb.dienst_werk	0.1.0	210	2
de.bgb.ehe	0.1.0	57	3
de.bgb.ius_privatum	0.1.0	1	3
de.bgb.miete	0.1.0	31	2
de.bgb.sonstige_vertraege	0.1.0	498	2
de.bgb.uebergang	0.1.0	15	2
de.bgb.dingliche_rechte	0.1.0	123	3
de.bgb.erbfolge	0.1.0	40	4
de.bgb.schuldrecht_at	0.1.0	51	4
de.bgb.verwandtschaft	0.1.0	82	4
de.bgb.bereicherung_delikt	0.1.0	71	5
de.bgb.kauf	0.1.0	90	5
de.bgb.verfuegungen	0.1.0	82	5

How it is verified

Every package is built by package.py with the pinned toolchain: compilation, §267 scenarios on both evaluators, replay of saved evaluations and a rebuild from the release itself. A failure of any step stops the build.

python3 tools/toolchain.py download --lock toolchain.lock.json --out /tmp/law-tools
python3 /tmp/law-tools/package.py packages/<name> \
    --lawc /tmp/law-tools/law-cli --offline --out /tmp/<name>-release

Dependencies

Dependency bytes are pinned under packages/<name>/deps/ and verified against the contentHash recorded in law.lock: the build and the CI are offline.

Asking these packages

Two ways, the same slice of the canon and the same engine; the difference is whose machine evaluates.

• Hosted: https://mcp.arxo.io/mcp/de-bgb — requests are evaluated on Arxo infrastructure.
• Local: docker compose -f mcp/compose.yml up — nothing leaves the machine.

mcp/pin.json records what either one must answer from: the content hash of the canon profile, the pinned packages, the ABI version of the engine and the availability of the hosted endpoint. An answer that cannot be traced to that pin is not this repository's answer.

Worked cases

Each collection is a case package of its own: the facts, the questions and the answers, with the pinned canon as its dependency. Ask one from its directory with law ask . — nothing is downloaded.

Collection	Cases	Questions
packages/de.bgb.fristen/examples/ein-fall-drei-kodizes	6	4
packages/de.bgb.fristen/examples/fristenrechner	8	16
packages/de.bgb_1896/examples/ein-fall-zwei-jahrhunderte	5	6
packages/de.bgb.miete/examples/kuendigung-und-mieterhoehung	6	14
packages/de.bgb.uebergang/examples/vor-und-nach-2002	4	9
packages/de.bgb.erbfolge/examples/erbfolge-und-pflichtteil	8	18
packages/de.bgb.schuldrecht_at/examples/rechtsbehelfe	6	6
packages/de.bgb.schuldrecht_at/examples/verzugszinsen	5	9
packages/de.bgb.schuldrecht_at/examples/widerruf	6	12

Rights

Code and model: see LICENSE. The pinned texts of the publishers keep their own terms of reproduction, listed per package in NOTICE; those terms are not covered by the code licence.

Maintainer: Rifat Dzhumagulov ([email protected]). Address: [email protected]:arxohq/arxo-bgb.git.