Code civil (France)

Arxo Code civil

Français · English

Explorez le Code civil français par les faits, la date juridique, les constatations du juge et des réponses reproductibles. Cette livraison réunit 16 paquets contemporains et un modèle historique de 1804. Les textes et étiquettes sources restent français ; les explications anglaises sont non officielles.

Poser une question · Choisir un modèle · Exemples · Inspecter une preuve · Profondeur et limites

Poser une question

Prérequis : Node.js 20+ et Git. Le CLI publié @arxo/cli@0.2.4 prend en charge macOS arm64 et Linux x64. Les modèles sont livrés ici par GitHub ; ils ne forment pas un paquet npm.

npm install -g @arxo/cli@0.2.4

git clone https://github.com/arxohq/arxo-code-civil.git cd arxo-code-civil law eval examples/renegociation-ouverte

Réponse attendue : COMPUTED / TRUE_ONLY. Le modèle établit l’ouverture de la renégociation selon l’article 1195 ; il ne réécrit pas le contrat et ne tranche pas le litige. Comparez le risque accepté et les constatations absentes :

law eval examples/risque-accepte

law eval examples/jugement-manquant

Ces cas donnent COMPUTED / NEITHER et REQUIRES_JUDGMENT / NEITHER. Absence de preuve, assertion négative et conflit restent distincts.

Choisir un modèle

`fr.code_civil` est le paquet de prescription, pas un agrégat de tout le Code. Choisissez le paquet du sujet. Tous les modèles conservent leur version 0.1.0 ; la source contemporaine est figée au 16 septembre 2026. Ce dépôt n’est pas une vue mise à jour en continu du droit français.

Exemples

Chaque répertoire contient le input.lawcase original, les données canoniques case.json, query.json, la requête native request.json et la réponse result.json. Les requêtes sont capturées par le CLI publié à partir des collections existantes ; aucune seconde sémantique juridique en Python ou JavaScript n’est ajoutée. origin adjudicated, négations explicites et politiques de dates sont conservés. Les collections natives permettent aussi law ask.

law ask collections/imprevision-force-majeure --case PrixEnHausse \

--query-json collections/imprevision-force-majeure/queries/renegociation-ouverte.json \ --format json

Inspecter une preuve

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

La réponse contient le statut de vérité et d’évaluation, les jugements requis, un graphe de preuve et les empreintes canoniques. Suivez les identifiants des règles vers les règles du contrat ou le monde lié.

Limite du CLI : la version 0.2.4 laisse sourceAnchors vide dans l’évaluation de ces exemples. La règle appliquée et ses anchors dans le modèle sont contrôlés séparément ; l’arbre natif ci-dessous résout les articles. Un tableau vide ne signifie pas une absence de source. Vérification.

Article 1195 — native unfold, depth 2

Native document.

law engine unfold registry/world/fr.code_civil.contrat.lawir.json \

renegociation_ouverte --clir registry/package --depth 2 --lang fr --json

Profondeur et limites

Le tableau mesure l’édition contemporaine épinglée pour les paquets du Code. Leur dénominateur cumulé est de 2 899 articles. Les actes de transition ont un dénominateur distinct de quatre unités. Le texte capturé de 1804 compte 1 075 unités propres, dont 939 hors de la portée ancrée du modèle. Les anciennes rédactions contemporaines figurent séparément dans le rapport par unité, sans gonfler le dénominateur contemporain.

EXECUTABLE constate un nœud de dérivation ou de contrôle rattaché à l’article. Cela n’établit pas une formalisation complète de chaque alinéa ou conséquence. ANCHORED et SOURCE_ONLY restent visibles ; les dépendances de calcul ou de déclarations n’ont pas de dénominateur juridique mesuré. La mesure emploie le classificateur existant boundaries.depth, uniquement les nœuds propres au paquet, avec empreintes des entrées et de l’implémentation.

Un contrat antérieur à la réforme hors du paquet est une frontière du modèle, pas une absence de droit. Le modèle de 1804 est un sillon historique, pas tout le Code historique. Le moteur n’invente pas les constatations du juge, ne partage pas la succession, ne choisit pas le remède et ne fournit pas toutes les lois ou procédures externes. Positions normatives et propositions institutionnelles sont des résultats distincts. Consultez les limites de chaque paquet.

Reproduire les vérifications sélectionnées

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

Preuves locales : 89 scénarios dans des fichiers déclarés sélectionnés, plus un test allocation et sa propriété ; 17 exemples lecteurs. La déclaration historique d’allocation omet world : le refus du test natif du paquet est conservé, le test direct est rapporté à part. units.si n’annonce pas de suite. Aucune acceptation exhaustive des paquets ou du corpus n’est revendiquée. releaseVerified: false ; corpus not_checked. Livraison · Sources épinglées · Runtime · Inventaire exact.

Sources et licence

Code des modèles et exemples : Apache-2.0. Textes LEGI capturés : DILA, Licence Ouverte 2.0, état des sources au 2026-09-16. Transcription historique : Wikisource, attribution et partage dans les mêmes conditions conservés séparément. NOTICE indique adresses, dates de récupération et empreintes. Démonstration indépendante de recherche, sans affiliation à la DILA ou à l’État français.