BGB (Germany)

arxo-bgb.git

出典を明示した原文、それを基に構築されたモデル、そして回答を検証するシナリオからなる、現行のまま実行可能な固定版法典です。ここでの規範はデータであり、law が実行します。このリポジトリには独自のルールコードは含まれていません。

内容

パッケージ	バージョン	シナリオ	依存関係
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

検証方法

各パッケージは、固定されたツールチェーンを使用して package.py でビルドされます。これには、両方の評価器での§267シナリオ、保存済み評価の再生、リリースそのものからの再ビルドが含まれます。いずれかの手順が失敗すると、ビルドは停止します。

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

依存関係

依存関係のバイト列は packages/<name>/deps/ に固定され、law.lock に記録された contentHash と照合して検証されます。ビルドと CI はオフラインで実行されます。

これらのパッケージへの問い合わせ

同じ法典の一部と同じエンジンを使う方法が2つあります。違いは、どのマシンで評価するかです。

• ホステッド：https://mcp.arxo.io/mcp/de-bgb — リクエストは Arxo のインフラストラクチャ上で評価されます。
• ローカル：docker compose -f mcp/compose.yml up — マシンの外にデータは送信されません。

mcp/pin.json には、どちらの方法でも回答の根拠とする情報が記録されています。具体的には、法典プロファイルのコンテンツハッシュ、固定されたパッケージ、エンジンの ABI バージョン、ホステッドエンドポイントの可用性です。この固定情報にたどれない回答は、このリポジトリの回答ではありません。

事例集

各コレクションはそれ自体が事例パッケージであり、事実、質問、回答と、依存関係として固定された法典が含まれます。各事例集のディレクトリで law ask . を実行して問い合わせてください。ダウンロードは発生しません。

コレクション	事例	質問
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

権利

コードとモデルについては、LICENSEをご覧ください。出版社による固定テキストはそれぞれ独自の複製条件を保持しており、各パッケージのNOTICEに記載されています。これらの条件はコードライセンスの対象外です。

メンテナー：Rifat Dzhumagulov ([email protected])。アドレス：[email protected]:arxohq/arxo-bgb.git。