Code civil (France)

Arxo Code civil

フランス語 · 英語

事実、法的な日付、裁判官の認定、再現可能な回答を通じて、フランス民法を探ります。このリリースには、現代の16パッケージと1804年の歴史的モデルが含まれています。原文とラベルはフランス語のままで、英語の説明は非公式です。

質問する · モデルを選ぶ · 例 · 証拠を調べる · 深度と制限

質問する

前提条件：Node.js 20+ と Git。公開されている CLI @arxo/[email protected] は、macOS arm64 と Linux x64 に対応しています。モデルは GitHub から提供され、npm パッケージではありません。

npm install -g @arxo/[email protected]
git clone https://github.com/arxohq/arxo-code-civil.git
cd arxo-code-civil
law eval examples/renegociation-ouverte

期待される回答：COMPUTED / TRUE_ONLY。このモデルは第1195条に基づく再交渉の開始条件を判断しますが、契約を書き換えたり、紛争の結論を下したりはしません。受け入れられたリスクと、欠けている認定を比べてください。

law eval examples/risque-accepte
law eval examples/jugement-manquant

これらのケースでは、COMPUTED / NEITHER と REQUIRES_JUDGMENT / NEITHER が返されます。証拠の欠如、否定の主張、矛盾は、それぞれ区別されます。

モデルを選ぶ

fr.code_civilは時効のパッケージであり、民法全体をまとめたものではありません。 対象のパッケージを選んでください。すべてのモデルのバージョンは0.1.0のままです。現行の情報源は2026年9月16日時点で固定されています。このリポジトリは、フランス法を継続的に更新するビューではありません。

例

各ディレクトリには、元の input.lawcase、正規データの case.json と query.json、ネイティブリクエストの request.json、レスポンスの result.json が含まれています。リクエストは既存のコレクションから公開済み CLI を使って取得しており、Python や JavaScript で別の法的意味論を追加してはいません。origin adjudicated、明示的な否定、日付ポリシーは保持されています。ネイティブコレクション では law ask も使用できます。

law ask collections/imprevision-force-majeure --case PrixEnHausse \
  --query-json collections/imprevision-force-majeure/queries/renegociation-ouverte.json \
  --format json

証拠を調べる

law inspect examples/renegociation-ouverte/result.json summary

レスポンスには、真偽と評価のステータス、必要な判断、証拠グラフ、正規化されたフィンガープリントが含まれています。ルール ID をたどって、契約のルールまたは関連付けられたワールドを確認してください。

CLI の制限： バージョン 0.2.4 では、これらの例の評価で sourceAnchors が空のままです。適用されたルールと、モデル内のその anchors は別途確認しています。以下のネイティブツリーでは条文を解決しています。空の配列は、ソースが存在しないことを意味しません。検証。

law engine unfold registry/world/fr.code_civil.contrat.lawir.json \
  renegociation_ouverte --clir registry/package --depth 2 --lang fr --json

この表は、Code の各パッケージについて、固定された現行版の形式化を測定しています。累計の分母は2,899条です。経過措置の条項は、4単位からなる別個の分母を使用しています。1804年の取得テキストには固有の単位が1,075あり、そのうち939はモデルの固定された対象範囲外です。旧版の現行文は単位別レポートに個別に記載されており、現行版の分母には加算されていません。

EXECUTABLEは、条項に紐付く導出ノードまたは制御ノードがあることを示します。これは、各項や各帰結が完全に形式化されていることを示すものではありません。ANCHOREDとSOURCE_ONLYも引き続き表示されます。計算依存関係または宣言依存関係には、測定された法的分母がありません。この測定では、既存のboundaries.depth分類器を用い、パッケージ固有のノードのみを対象とし、入力と実装のフィンガープリントを記録しています。

パッケージ外の改革前の契約は、法が存在しないことではなく、モデルの境界です。1804年のモデルは歴史的な一部分であり、歴史上の法典全体ではありません。エンジンは裁判官の認定を創作せず、相続財産を分割せず、救済措置を選択せず、外部の法令や手続きすべてを提供するわけでもありません。規範的立場と制度上の提案は、別個の出力です。各パッケージの制限をご覧ください。

選択した検証を再現する

law test packages/fr.code_civil.core --file tests/titre-preliminaire.lawtest --json
# Optional maintainer checks / vérification facultative : Python 3.12+
python3.12 tools/check.py

ローカルで確認できる証拠：選択済みとして宣言されたファイル内のシナリオ89件に加え、allocation テストとそのプロパティテスト各1件、リーダー向けの例17件。歴史的な allocation の宣言ではworldが省略されています。パッケージ本来のテストによる拒否はそのまま保持し、直接テストの結果は別途報告しています。units.siはテストスイートを宣言していません。パッケージまたはコーパスを網羅的に検証したとは主張していません。releaseVerified: false、コーパスはnot_checkedです。配布 · 固定ソース · ランタイム · 厳密なインベントリ。

ソースとライセンス

モデルコードと例：Apache-2.0。取得したLEGIテキスト：DILA、Licence Ouverte 2.0、ソースの状態は2026-09-16時点。歴史的な転写：Wikisource、帰属表示および同一条件での共有は個別に保持しています。NOTICEにアドレス、取得日、フィンガープリントを記載しています。DILAまたはフランス政府とは無関係の、独立した調査デモです。