law_case_ask
Read-only
L'opération ask : exécuter une affaire enregistrée d'un paquet-affaire sur ses dépendances épinglées et renvoyer la réponse : par défaut une projection du document d'évaluation sans graphe de preuve, avec responseMode full ou proof: true le document canonique avec une preuve et un manifeste. La question est du JSON selon query.schema.json (query), une chaîne evaluate (evaluate + queryId), un queryId enregistré sans query, ou card + args. Un refus de préparation est une erreur avec un code LDC-*, jamais une réponse vide.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| args | No | les paramètres de la carte : nom → expression textuelle du langage | |
| card | No | l'id d'une carte d'un catalogue installé | |
| case | No | le nom de la déclaration d'affaire dans [[cases]] ; facultatif s'il n'y a qu'une affaire | |
| proof | No | true — le document complet avec le graphe de preuve (comme responseMode full) ; false — la projection. La même forme que dans law_ask. | |
| query | No | la question en JSON selon query.schema.json ; queryId est un URN dans l'espace de noms du paquet, ou un nom court donné dans queryId | |
| package | Yes | le chemin du paquet-affaire (le répertoire qui contient law.toml) depuis la racine du dépôt | |
| queryId | No | sans query/evaluate — le choix d'un queries/*.json enregistré par nom court ou URN complet ; avec evaluate — l'id de la question exécutée | |
| evaluate | No | la chaîne `evaluate <expression>;` ; exige queryId | |
| responseMode | No | compact — une projection pour un agent : results, positions, conflicts, le manifeste, les issues au-dessus de info et tous les hachages sont conservés, proofGraph est remplacé par son hachage, ses racines et le nombre de nœuds (champ proof), le nombre d'issues info retirées est issuesOmitted. full — le document d'évaluation canonique complet, celui qu'écrit `law ask` ; proof: true demande la même chose. Le resultHash de la projection est celui du document complet ; une preuve ou une publication exige full. |