law_case_ask
Die Operation ask: eine registrierte Sache eines Fallpakets über ihren verankerten Abhängigkeiten ausführen und die Antwort zurückgeben: standardmäßig eine Projektion des Auswertungsdokuments ohne Beweisgraph, bei responseMode full oder proof: true das kanonische Dokument mit Beweis und Manifest. Die Frage ist JSON nach query.schema.json (query), eine evaluate-Zeichenkette (evaluate + queryId), eine gespeicherte queryId ohne query oder card + args. Eine Verweigerung der Vorbereitung ist ein Fehler mit LDC-*-Code, nie eine leere Antwort.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| args | No | die Kartenparameter: Name → Zeichenkettenausdruck der Sprache | |
| card | No | die id einer Karte eines installierten Katalogs | |
| case | No | the name of the case declaration from [[cases]]; optional when there is only one case | |
| proof | No | true — das vollständige Dokument mit Beweisgraph (dasselbe wie responseMode full); false — die Projektion. Dieselbe Form wie bei 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 | ohne query/evaluate — die Wahl einer gespeicherten queries/*.json nach Kurzname oder voller URN; mit evaluate — die id der ausgeführten Frage | |
| evaluate | No | the string `evaluate <expression>;`; requires queryId | |
| responseMode | No | compact — eine Projektion für einen Agenten: results, positions, conflicts, das Manifest, Issues oberhalb von info und alle Hashes bleiben erhalten, proofGraph ist durch Hash, Wurzeln und Knotenzahl ersetzt (Feld proof), die Zahl der entfernten info-Issues steht in issuesOmitted. full — das vollständige kanonische Auswertungsdokument, dasselbe, das `law ask` schreibt; proof: true verlangt dasselbe. Der resultHash der Projektion ist der des vollständigen Dokuments; für Beweis oder Veröffentlichung ist full nötig. |