UNIDROIT Principles 2016

arxo-unidroit-picc

ピン留めされた法典を、そのまま実行可能な形で収録しています。出典情報を伴う原文、その上に構築されたモデル、そして回答を検証するシナリオです。ここにある規範はデータであり、law によって実行されます。このリポジトリには、独自のルールコードは含まれていません。

内容

パッケージ	バージョン	シナリオ	依存関係
unidroit.picc	0.1.0	5	0
unidroit.picc_formation	0.1.0	4	1
unidroit.picc_limitation	0.1.0	3	1
unidroit.picc_non_performance	0.1.0	4	1
unidroit.picc_obligations	0.1.0	4	1
unidroit.picc_performance	0.1.0	4	1
unidroit.picc_validity	0.1.0	4	1

検証方法

すべてのパッケージは、ピン留めされたツールチェーンを使って package.py でビルドされます。これには、コンパイル、2つの評価器による§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/picc — リクエストは Arxo のインフラストラクチャ上で評価されます。
• ローカル：docker compose -f mcp/compose.yml up — マシンの外部にデータは送信されません。

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

事例

各コレクションは、それ自体が独立した事例パッケージです。事実、質問、回答を、依存関係であるピン留めされた法典とともに収録しています。各コレクションのディレクトリで law ask . を実行して質問できます。ダウンロードは不要です。

コレクション	事例	質問
packages/unidroit.picc/examples/applying-the-principles	2	7
packages/unidroit.picc_formation/examples/battle-of-forms	2	6
packages/unidroit.picc_limitation/examples/limitation-periods	2	7
packages/unidroit.picc_non_performance/examples/interest-rate	2	7
packages/unidroit.picc_performance/examples/hardship	2	9

権利

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

メンテナー：Rifat Dzhumagulov（[email protected]）。アドレス：https://github.com/arxohq/arxo-unidroit-picc。