law_case_ask
Read-only
The ask operation: run a registered case of a case package over its pinned dependencies and return the answer: by default a projection of the evaluation document without the proof graph, on responseMode full or proof: true the canonical document with a proof and a manifest. The question is JSON per query.schema.json (query), an evaluate string (evaluate + queryId), a saved queryId without query, or card + args. A refusal to prepare is an error with an LDC-* code, never an empty answer.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| args | No | the card parameters: name → string expression of the language | |
| card | No | the id of a card of an installed catalog | |
| case | No | the name of the case declaration from [[cases]]; optional when there is only one case | |
| proof | No | true — the full document with the proof graph (the same as responseMode full); false — the projection. The same form as in law_ask. | |
| query | No | the question as JSON per query.schema.json; queryId is a URN in the namespace of the package, or a short name given in queryId | |
| package | Yes | the path to the case package (the directory holding law.toml) from the root of the repository | |
| queryId | No | without query/evaluate — the choice of a saved queries/*.json by short name or full URN; with evaluate — the id of the question being run | |
| evaluate | No | the string `evaluate <expression>;`; requires queryId | |
| responseMode | No | compact — a projection for an agent: results, positions, conflicts, the manifest, issues above info and every hash are kept, proofGraph is replaced by its hash, roots and node count (field proof), the number of dropped info issues is issuesOmitted. full — the complete canonical evaluation document, the one `law ask` writes; proof: true asks for the same. The projection's resultHash equals the hash of the full document; a proof or a publication needs full. |