FIDE Laws of Chess (2023) as an executable model: arbiter cases, answers with rules and judgments
Maintain this server? Claim it
Call this server's tools from your browser. Nothing to install.
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
Tool list from our last check. Connect live to refresh it.
A machine-readable matrix of the Lens producers that are actually installed, of replay/projection checks, profiles, limits and the contract tests that confirm them. declared_only means a schema with no executable witness.
This tool takes no arguments.
A machine-readable matrix of the Lens producers that are actually installed, of replay/projection checks, profiles, limits and the contract tests that confirm them. declared_only means a schema with no executable witness.
No arguments.
{
"type": "object",
"additionalProperties": false
}Put a question to formalised law. When the answer is "not established" it carries whyNot — the engine's why_not report: the candidate rules and the state of every conjunct (satisfied / not satisfied / undetermined); the missing facts are visible there and need not be guessed. BEFORE THE FIRST call obtain the predicate names through law_search (a question in your own words → addresses) or law_packages (the signatures of a known instrument) — an invented name will be rejected. If the tool returned an error or "not established", THAT IS THE ANSWER: pass it to the user and do not substitute general knowledge about the law of some other country. But "I found no suitable instrument" is NOT an answer until law_search has been asked: silence of the catalogue is a property of searching by title, not a conclusion about the corpus. kind='truth' — whether a fact is established; kind='collect' — enumerate the records; kind='deadline' — compute a time limit on the official calendar; kind='positions' — which DUTIES arose from the facts and what their statuses are; kind='why_not' — the why_not report on the same goal, whatever the status of the answer. The answer carries the rules applied, the warnings and the provenance with hashes; truth/collect also carry a signature block for presentation. The server does not guess: where a norm is not formalised, the answer is "not established" or an error.
| Argument | Type | Description |
|---|---|---|
| args | array | the arguments of the predicate in the order of its signature; with kind='collect' exactly one of them is the selection variable ?name (for example ['urn:x:water', 'urn:x:mix', '?value']), the rest are values. Values follow the parameter type: an entity — 'urn:…' or a short name; Date — 'YYYY-MM-DD'; Money — '<number> <currency>' ('43250 KZT'); Quantity — '<number> <unit>' with the unit exactly as the package spells it; a constant of the package — its name |
| calc | any | kind='calc': a tree {op,left,right}, op ∈ add|sub|mul|div|le|lt|ge|gt|eq|ne (the synonyms divide/multiply/plus/minus and the signs are accepted); the leaves are 5 | '3932 KZT' | '2 mrp' | {lookup: 'mrp', args: [2026]} — a statutory value from the corpus; aggregates are {aggregate: 'sum', element: '?v', over: [{predicate, args with '?variables'}]} over the facts given in facts |
| days | integer | deadline: the length of the period |
| kind | any | the kind of question (truth by default) |
| unit | any | |
| after | string | deadline: the date of the event |
| facts | array | facts of the case: [{predicate, args, provenance, negated?, package?, judgment?}]. provenance is required and must be an object; {} is allowed. Its fields are optional: {origin?, evidence?: StableId, span?: {page?, quote?, offset?}, extractor?: {name, version?, confidence?}, observedAt?, recordedAt?}. origin defaults to case_input. evidence and observedAt are not required; the extractor is lowered to was_generated_by and a document to was_derived_from. confidence is a decimal string; the package EvidencePolicy reads the threshold, not the host. package resolves an ambiguous short name; args use the same notation as the args of the question |
Run a registered producer and obtain producerControl/0.2 for a later verifiable preparation of a Lens. The producer is chosen only from the shipped registry.
| Argument | Type | Description |
|---|---|---|
| request* | object | |
| producer* | string |
{
"type": "object",
"required": [
"producer",
"request"
],
"properties": {
"request": {
"type": "object"
},
"producer": {
"type": "string"
}
},
"additionalProperties": false
}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.
| Argument | Type | Description |
|---|---|---|
| args | object | the card parameters: name → string expression of the language |
| card | string | the id of a card of an installed catalog |
| case | string | the name of the case declaration from [[cases]]; optional when there is only one case |
| proof | boolean | true — the full document with the proof graph (the same as responseMode full); false — the projection. The same form as in law_ask. |
| query | object | 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* | string | the path to the case package (the directory holding law.toml) from the root of the repository |
| queryId |
Unfold the proof of a law_ask answer into a chain "rule ← premises → conclusion". The compact input: question (the original law_ask arguments, truth/collect), resultHash and codeHash from the provenance of the answer. The server repeats the computation and compares the hashes; if anything changed it refuses explicitly. Alternatively pass the evaluation from law_ask(proof=true). answerResource=fullAnswer.uri explains a stored compact snapshot without recomputing and without the client loading pages; by default only the proofRef chain. nodeId selects one node and all of its premises (up to 24 KB, otherwise an explicit refusal). proofHash refers to the whole graph; scope marks the part selected.
| Argument | Type | Description |
|---|---|---|
| nodeId | string | |
| codeHash | string | |
| question | object | the original law_ask arguments |
| evaluation | object | the evaluation document from law_ask |
| resultHash | string | |
| answerResource | string | the fullAnswer.uri of a stored answer taken with proof=true |
{
"type": "object",
"oneOf": [
{
"not": {
"anyOf": [
{
"required": [
"question"
]
},
{
"required": [
"answerResource"
]
}
]
},
"required": [
"evaluation"
]
},
{
"not": {
"anyOf": [
{
"required": [
"evaluation"
]
},
{
"required": [
"answerResource"
]
}
]
},
"required": [
"question",
"resultHash",
"codeHash"
]
},
{
"not": {
"anyOf": [
{
"required": [
"evaluation"
]
},
{
"required": [
"question"
]
},
{
"required": [
"resultHash"
]
},
{
"required": [
"codeHash"
]
}
]
},
"required": [
"answerResource"
]
}
],
"properties": {
"nodeId": {
"type": "string",
"minLength": 1
},
"codeHash": {
"type": "string"
},
"question": {
"type": "object",
"description": "the original law_ask arguments"
},
"evaluation": {
"type": "object",
"description": "the evaluation document from law_ask"
},
"resultHash": {
"type": "string"
},
"answerResource": {
"type": "string",
"description": "the fullAnswer.uri of a stored answer taken with proof=true"
}
},
"additionalProperties": false
}Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issues; slice — the closure of proof nodes for a query, rule, position or node with addresses, both sides of BOTH, defeats, values, names resolved against the snapshot; diff — what changed between two documents on the context, result and justification levels; locate — the declaration by StableId. Nothing is evaluated or recomputed: the source is evaluation from law_ask(proof=true) or an answerResource. Missing data is a limit state (limits), never a negation.
| Argument | Type | Description |
|---|---|---|
| page | object | |
| index | object | |
| bundle | object | |
| select | object | |
| against | object | |
| context | object | |
| sources | object | |
| snapshot | object | |
| operation* |
The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they must never be guessed. But do NOT start from the catalogue when looking for the right instrument: the overview is large, and the title of an instrument rarely matches the words of a question ("Newton's laws of motion" contains no word "physics"). A question in your own words goes to law_search first, which returns addresses; the catalogue is for the exact signature of what you found. With no arguments — the overview: one line per instrument (key, title, legal order, counters of rules, facts, signatures, norms, constants); a whole instrument — package="kz-gpk"; a search over the signatures, labels and constants of every instrument — query="substring". All three modes are PAGED: limit and offset, with the remainder named in the text (`showing a–b of N; k more`) and in structuredContent (total, truncated, next — a ready-made continuation call). The unit of a page is named by pageUnit: the overview and query page over INSTRUMENTS (20 and 20 by default), package=… pages over the SIGNATURES of one instrument (20 by default, 300 at most) — large codes carry thousands. package=… together with catalog=… pages a separate list of the instrument: "questions" — the CATALOGUE OF QUESTIONS: which enquiries are provided for (a question in words, a form, a predicate or norms) and what the instrument does NOT answer, with the type of reason; a card is a template of an enquiry, not an answer, and not every instrument has one; "norms" — the NORMS of the instrument, "constants" — the CONSTANTS (names of declarations). "task-guides" — TASK GUIDES: the order of applying a canon to a document — what to gather, which cards to ask and how to read the answers; a guide answers nothing. catalog="task-guides" is allowed without package too — every guide of the profile; guide=… — the detail of one guide; the walkthrough — MCP Prompts under the same name. The detail of an instrument prints a preview of these lists and names the count and the ready-made call for the mode.
| Argument | Type | Description |
|---|---|---|
| guide |
Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. Entries are paged by JSON Pointer; next continues the answer.
| Argument | Type | Description |
|---|---|---|
| name* | string | |
| limit | integer | |
| offset | integer | |
| version* | string | |
| sections | array | |
| contentHash* | string |
{
"type": "object",
"required": [
"name",
"version",
"contentHash"
],
"properties": {
"name": {
"type": "string"
},
"limit": {
"type": "integer",
"maximum": 100,
"minimum": 1
},
"offset": {
"type": "integer",
"minimum": 0
},
"version": {
"type": "string"
},
"sections": {
"type": "array",
"items": {
"enum": [
"description",
"interface",
"semantics",
"sources",
"composition",
"dependencies",
"checks",
"evidence",
"reports"
]
},
"minItems": 1,
"uniqueItems": true
},
"contentHash": {
"type": "string",
"pattern": "^sha256:[0-9a-f]{64}$"
}
},
"additionalProperties": false
}At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls, compare their replayControl strictly, and prepare a non-public frozen document for 24 hours. The client never supplies the machine answer: the server obtains it only by executing afresh. A divergence in any input, in the law, in a resource, in the server code, in the engine library or in the result rejects the document as a whole.
| Argument | Type | Description |
|---|---|---|
| language | any | |
| question* | string | |
| assistant | object | |
| calculations | array | |
| producerRuns | array | Runs of registered producers with control/0.2; mutually exclusive with calculations. |
| documentVersion | any | Version of the immutable document; 0.1 is kept for transitional compatibility, 0.2 includes all native results and the common reader. |
{
"type": "object",
"oneOf": [
{
"not": {
"required": [
"producerRuns"
]
},
"required": [
"calculations"
]
},
{
"not": {
"required": [
"calculations"
]
},
"required": [
"producerRuns"
]
}
],
"required": [
"question"
],
"properties": {
"language": {
"enum": [
"ru",
"en"
]
},
"question": {
"type": "string",
"maxLength": 8000
},
"assistant": {
"type": "object",
"properties": {
"summary": {
"type": "string",
"maxLength": 12000
},
"explanations": {
"type": "array",
"items": {
"type": "object",
"required": [
"text",
"calculationRefs"
],
"properties": {
"text": {
"type": "string",
"maxLength": 12000
},
"calculationRefs": {
"type": "array",
"items": {
"type": "string"
}
}
},
"additionalProperties": false
},
"maxItems": 48
}
},
"additionalProperties": false
},
"calculations": {
"type": "array",
"items": {
"type": "object",
"required": [
"request",
"replayControl"
],
"properties": {
"id": {
"type": "string",
"maxLength": 80
},
"label": {
"type": "string",
"maxLength": 300
},
"request": {
"type": "object"
},
"replayControl": {
"type": "object"
}
},
"additionalProperties": false
},
"maxItems": 12,
"minItems": 1
},
"producerRuns": {
"type": "array",
"items": {
"type": "object",
"required": [
"producer",
"request",
"control"
],
"properties": {
"id": {
"type": "string",
"maxLength": 80
},
"text": {
"type": "string"
},
"label": {
"type": "string",
"maxLength": 300
},
"control": {
"type": "object"
},
"request": {
"type": "object"
},
"producer": {
"type": "string"
},
"executionContext": {
"type": "object"
}
},
"additionalProperties": false
},
"maxItems": 12,
"minItems": 1,
"description": "Runs of registered producers with control/0.2; mutually exclusive with calculations."
},
"documentVersion": {
"enum": [
"law.answers.document/0.1",
"law.answers.document/0.2"
],
"description": "Version of the immutable document; 0.1 is kept for transitional compatibility, 0.2 includes all native results and the common reader."
}
},
"additionalProperties": false
}Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret.
| Argument | Type | Description |
|---|---|---|
| preparationId* | string |
{
"type": "object",
"required": [
"preparationId"
],
"properties": {
"preparationId": {
"type": "string"
}
},
"additionalProperties": false
}A deterministic LawQL query over the CLIR of a formalization: a question about the model of the act itself, not about a case. Relations (14): anchors, edges, fields, imports, interpretations, labels, links, literals, nodes, norms, positions, rules, variables, windows. Full field lists: `law query --schema`. Functions (9): anchor/1, labels/1..2, short/1, contains/2, overlaps/2, starts_with/2, ends_with/2, position/2, derivation/2. exists/not exists over a bound variable; equality and membership only, no arithmetic and no ordering comparisons. Scope: corpus by package.name (for example kz.corpus.labour_code, not a file name) or a glob; without corpus, the whole profile slice; a scope outside the profile is empty (CORPUS_EMPTY). Examples: `from r in rules where r.head_predicate == "urn:…#eligible" select r.id as producer, r.strength as strength, anchor(r.id) as anchors` — who produces; `from l in literals where l.predicate == "urn:…#eligible" select l.node as reader, l.context as context` — who reads; `query eligible over "pkg" { for x: Person; where applicant(x); select eligible(x); }` — inference by the core. This is orchestration over the CLIR and the core; no new legal semantics is implemented here. Instead of text, a question from the catalog with arguments: anchors-of, imports-of, links-of, producers, readers, type-step (see `law query --list` for the set) (predicate/node/type parameters are URNs, pkg is a package.name or a glob). A structural answer is a queryPage: resultHash of the full queryResult, snapshot (hash of the scope package list), rowCount, rows by rowLimit (20, at most 5000) and rowOffset, next with the snapshot for continuation; full: true returns the full queryResult when the scope is one package. Every row carries provenance (CLIR nodes); an empty answer carries the explain funnel (emptyAt names the clause); errors carry LDC-Qxxxx codes with hints; a source product too wide is refused before execution (QUERY_TOO_BROAD), a continuation on another snapshot as SNAPSHOT_CHANGED.
| Argument | Type | Description |
|---|---|---|
| case | object | the case for query-over; it replaces the case clause |
Revoke a published document using its separate secret. The public id alone grants no control; revocation closes the HTML page, the API and the download.
| Argument | Type | Description |
|---|---|---|
| publicId* | string | |
| revokeSecret* | string |
{
"type": "object",
"required": [
"publicId",
"revokeSecret"
],
"properties": {
"publicId": {
"type": "string"
},
"revokeSecret": {
"type": "string"
}
},
"additionalProperties": false
}The rules of formalised law put into words: exactly how a predicate is derived (premises, source articles). Call this BEFORE supplying facts to law_ask — the rules say which facts are needed instead of leaving them to be guessed. For large instruments package=… returns a table of contents; the full text comes from predicate=…. The listing by package is paged: limit (20 by default, 500 at most) and offset; the remainder is named in the text (`showing a–b of N; k more`) and in structuredContent (total, truncated, next — a ready-made continuation call).
| Argument | Type | Description |
|---|---|---|
| lang | any | the language the rules are put into |
| limit | integer | package: how many rules per page (20; the budget may lower it) |
| offset | integer | package: from which rule (0) |
| package | string | every rule of the instrument |
| contract | boolean | Return a machine input contract over the same import/dependency world as law_ask. No case evaluation. |
| predicate | string | the rules that derive this predicate |
| inputLimit | integer | Machine contract: leaf declarations per page (50). |
Build a necessary condition — a superset — for the preliminary selection of rows from an external source. This is NOT a legal answer and NOT SQL: the result is a typed tree and a manifest of the extensions up to TRUE. Every row that passes must then be computed in full by the engine, with a proof graph, on the same snapshot of the data. The binding is passed as a pinnable object; sourceSchemaContentHash is the actual hash of the source schema and is compared loudly with the pin. Case facts that carry provenance (origin, document, quote, extractor) are supplied to law_ask, not here. The confidence figure is read by the package EvidencePolicy, not by this tool and not by the engine.
| Argument | Type | Description |
|---|---|---|
| goal* | string | a StableId or a unique short name of the goal |
| binding* | object | a law.screen.binding/0.1 artefact |
| package* | string | the package key from law_packages |
| legalTime | string | the date of the law YYYY-MM-DD; without it every window of every rule is taken into account |
| sourceSchemaContentHash* | string | the actual sha256 of the source schema |
{
"type": "object",
"required": [
"package",
"goal",
"binding",
"sourceSchemaContentHash"
],
"properties": {
"goal": {
"type": "string",
"description": "a StableId or a unique short name of the goal"
},
"binding": {
"type": "object",
"description": "a law.screen.binding/0.1 artefact"
},
"package": {
"type": "string",
"description": "the package key from law_packages"
},
"legalTime": {
"type": "string",
"description": "the date of the law YYYY-MM-DD; without it every window of every rule is taken into account"
},
"sourceSchemaContentHash": {
"type": "string",
"description": "the actual sha256 of the source schema"
}
},
"additionalProperties": false
}A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragments. This is the layer of DISCOVERY, not of the answer: the result says WHAT to ask next (law_ask by signature, law_rules, law_sources) and establishes neither a fact nor a norm. The ranking is a deterministic lexical embedder, and similarity of text is not applicability of a norm. If you know the exact name, go straight to law_packages/law_ask; an empty result does NOT mean the norm does not exist.
| Argument | Type | Description |
|---|---|---|
| kinds | array | narrow the kinds of candidate |
| limit | integer | how many candidates (8, at most 25) |
| query* | string | a question or a notion in your own words |
| package | string | search inside this instrument only |
{
"type": "object",
"required": [
"query"
],
"properties": {
"kinds": {
"type": "array",
"items": {
"enum": [
"package",
"predicate",
"rule",
"norm",
"constraint",
"fragment"
]
},
"description": "narrow the kinds of candidate"
},
"limit": {
"type": "integer",
"description": "how many candidates (8, at most 25)"
},
"query": {
"type": "string",
"description": "a question or a notion in your own words"
},
"package": {
"type": "string",
"description": "search inside this instrument only"
}
},
"additionalProperties": false
}Sources: by default short excerpts (view=summary), 5 texts per page, with the address of the full text in fragments[].full. Either package or fragment is required (a StableId from law_search/law_rules). view=full returns exact parts of the text: textRange sets a range of Unicode characters, fragments[].next is the continuation with a contentHash. The hash refers to the WHOLE source, not to the excerpt or the part. textOffset/textLimit require fragment; a continuation requires contentHash. Lists are paged with offset/limit; the answer budget may shrink a page.
| Argument | Type | Description |
|---|---|---|
| view | any | |
| limit | integer | how many texts: summary 5, full 1 (the budget may lower it) |
| offset | integer | from which fragment (0) |
| status | string | the status of the variant, as given on the source card |
| package | string | the package key — every fragment of that instrument |
| fragment | string | the StableId of a fragment |
| language | string | the language of the variant, as given on the source card |
| textLimit |
| proof | boolean | return the evaluation field with the proof graph in the answer — a ready-made input for law_explain (kind truth|collect; by default a summary without the graph) |
| cutoff | string | deadline: the hour operations close |
| context | object | Explicit temporal context: timezone is an IANA name; decisionTime and knowledgeTime are complete Instants with UTC or an offset, preserved unchanged. legalTime is also required with context; a profile may require all these fields |
| focused | boolean | kind='truth': ask as focused_truth — the same answer as the full truth, but the proof and the warnings cover only the cone of the question; the answer carries evaluationKind and the slice hashes (focus); the cone in focus is reduced to coneHash and the predicate count, the full cone manifest comes in evaluation.focusManifest with proof=true. A slice is not an audit document: law_prepare_answer does not accept it for publication |
| package | string | narrow the question to one package of law |
| version | string | the exact package version pinned by the client (open('name@version')); if it differs from the profile composition the host refuses instead of answering with another version |
| evidence | array | case documents, section 74, evidence_item nodes. One document is referenced from provenance.evidence of many facts. payload.confidence is data for the EvidencePolicy; the engine does not evaluate the number |
| afterTime | string | deadline: the time of filing |
| legalTime | string | the date of the law (YYYY-MM-DD) |
| predicate | string | what is being asked, e.g. 'duty_amount' |
| responseMode | any | full (default) — the complete answer. compact is accepted for compatibility: this server builds no short reply and returns the same complete answer in both modes; there is no fullAnswer reference and no stored snapshot of the answer. |
| supportEdges | array | support edges, section 75, support_edge nodes: from is the document id, to is the fact literal, relation is supports or refutes. Admission is decided by the package EvidencePolicy, not by the host |
| deadlinePolicy | string | object | the policy for counting time limits expressed in days: the StableId of a deadline policy declared in the world of the question (e.g. 'urn:kz:corpus:clir:administrative-code#AC_WORKING_DAY_TERMS'), or its short name when exactly one declaration carries it. An inline object {start_count: 'same_day'|'next_day', include_end: true|false, roll: 'no_roll'|'next_working_day'|'previous_working_day'[, month_end: 'last_day_of_month']} is accepted only by a 0.1 world; a 0.2 world refuses it, and the refusal names the declared policies. Without a policy a norm carrying a time limit answers MISSING_POLICY — the policy is set by the law of procedure and the server never assumes one. The snapshot of the official calendar for working days is supplied by the server itself whenever an instrument counts them. |
| evidencePolicy | string | StableId of an evidence_policy node, section 78.2. Without it, previous calls keep their behaviour. The confidence threshold is a rule of that policy, not an argument of the call |
| selectedInterpretations | array | named readings; for an exactly_one group choose exactly one StableId out of law_packages/law_rules |
{
"type": "object",
"properties": {
"args": {
"type": "array",
"description": "the arguments of the predicate in the order of its signature; with kind='collect' exactly one of them is the selection variable ?name (for example ['urn:x:water', 'urn:x:mix', '?value']), the rest are values. Values follow the parameter type: an entity — 'urn:…' or a short name; Date — 'YYYY-MM-DD'; Money — '<number> <currency>' ('43250 KZT'); Quantity — '<number> <unit>' with the unit exactly as the package spells it; a constant of the package — its name"
},
"calc": {
"description": "kind='calc': a tree {op,left,right}, op ∈ add|sub|mul|div|le|lt|ge|gt|eq|ne (the synonyms divide/multiply/plus/minus and the signs are accepted); the leaves are 5 | '3932 KZT' | '2 mrp' | {lookup: 'mrp', args: [2026]} — a statutory value from the corpus; aggregates are {aggregate: 'sum', element: '?v', over: [{predicate, args with '?variables'}]} over the facts given in facts"
},
"days": {
"type": "integer",
"description": "deadline: the length of the period"
},
"kind": {
"enum": [
"truth",
"collect",
"deadline",
"calc",
"positions",
"why_not"
],
"description": "the kind of question (truth by default)"
},
"unit": {
"enum": [
"calendar_day",
"business_day"
]
},
"after": {
"type": "string",
"description": "deadline: the date of the event"
},
"facts": {
"type": "array",
"items": {
"type": "object",
"required": [
"predicate",
"args",
"provenance"
],
"properties": {
"args": {
"type": "array"
},
"predicate": {
"type": "string"
},
"provenance": {
"type": "object"
}
}
},
"description": "facts of the case: [{predicate, args, provenance, negated?, package?, judgment?}]. provenance is required and must be an object; {} is allowed. Its fields are optional: {origin?, evidence?: StableId, span?: {page?, quote?, offset?}, extractor?: {name, version?, confidence?}, observedAt?, recordedAt?}. origin defaults to case_input. evidence and observedAt are not required; the extractor is lowered to was_generated_by and a document to was_derived_from. confidence is a decimal string; the package EvidencePolicy reads the threshold, not the host. package resolves an ambiguous short name; args use the same notation as the args of the question"
},
"proof": {
"type": "boolean",
"description": "return the evaluation field with the proof graph in the answer — a ready-made input for law_explain (kind truth|collect; by default a summary without the graph)"
},
"cutoff": {
"type": "string",
"description": "deadline: the hour operations close"
},
"context": {
"type": "object",
"required": [
"timezone",
"decisionTime",
"knowledgeTime"
],
"properties": {
"timezone": {
"type": "string"
},
"decisionTime": {
"type": "string"
},
"knowledgeTime": {
"type": "string"
}
},
"description": "Explicit temporal context: timezone is an IANA name; decisionTime and knowledgeTime are complete Instants with UTC or an offset, preserved unchanged. legalTime is also required with context; a profile may require all these fields",
"additionalProperties": false
},
"focused": {
"type": "boolean",
"description": "kind='truth': ask as focused_truth — the same answer as the full truth, but the proof and the warnings cover only the cone of the question; the answer carries evaluationKind and the slice hashes (focus); the cone in focus is reduced to coneHash and the predicate count, the full cone manifest comes in evaluation.focusManifest with proof=true. A slice is not an audit document: law_prepare_answer does not accept it for publication"
},
"package": {
"type": "string",
"description": "narrow the question to one package of law"
},
"version": {
"type": "string",
"description": "the exact package version pinned by the client (open('name@version')); if it differs from the profile composition the host refuses instead of answering with another version"
},
"evidence": {
"type": "array",
"description": "case documents, section 74, evidence_item nodes. One document is referenced from provenance.evidence of many facts. payload.confidence is data for the EvidencePolicy; the engine does not evaluate the number"
},
"afterTime": {
"type": "string",
"description": "deadline: the time of filing"
},
"legalTime": {
"type": "string",
"description": "the date of the law (YYYY-MM-DD)"
},
"predicate": {
"type": "string",
"description": "what is being asked, e.g. 'duty_amount'"
},
"responseMode": {
"enum": [
"full",
"compact"
],
"description": "full (default) — the complete answer. compact is accepted for compatibility: this server builds no short reply and returns the same complete answer in both modes; there is no fullAnswer reference and no stored snapshot of the answer."
},
"supportEdges": {
"type": "array",
"description": "support edges, section 75, support_edge nodes: from is the document id, to is the fact literal, relation is supports or refutes. Admission is decided by the package EvidencePolicy, not by the host"
},
"deadlinePolicy": {
"type": [
"string",
"object"
],
"description": "the policy for counting time limits expressed in days: the StableId of a deadline policy declared in the world of the question (e.g. 'urn:kz:corpus:clir:administrative-code#AC_WORKING_DAY_TERMS'), or its short name when exactly one declaration carries it. An inline object {start_count: 'same_day'|'next_day', include_end: true|false, roll: 'no_roll'|'next_working_day'|'previous_working_day'[, month_end: 'last_day_of_month']} is accepted only by a 0.1 world; a 0.2 world refuses it, and the refusal names the declared policies. Without a policy a norm carrying a time limit answers MISSING_POLICY — the policy is set by the law of procedure and the server never assumes one. The snapshot of the official calendar for working days is supplied by the server itself whenever an instrument counts them."
},
"evidencePolicy": {
"type": "string",
"description": "StableId of an evidence_policy node, section 78.2. Without it, previous calls keep their behaviour. The confidence threshold is a rule of that policy, not an argument of the call"
},
"selectedInterpretations": {
"type": "array",
"items": {
"type": "string"
},
"description": "named readings; for an exactly_one group choose exactly one StableId out of law_packages/law_rules"
}
},
"additionalProperties": false
}| string |
| 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 | string | the string `evaluate <expression>;`; requires queryId |
| responseMode | any | 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. |
{
"type": "object",
"required": [
"package"
],
"properties": {
"args": {
"type": "object",
"description": "the card parameters: name → string expression of the language",
"additionalProperties": {
"type": "string"
}
},
"card": {
"type": "string",
"description": "the id of a card of an installed catalog"
},
"case": {
"type": "string",
"description": "the name of the case declaration from [[cases]]; optional when there is only one case"
},
"proof": {
"type": "boolean",
"description": "true — the full document with the proof graph (the same as responseMode full); false — the projection. The same form as in law_ask."
},
"query": {
"type": "object",
"description": "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": {
"type": "string",
"description": "the path to the case package (the directory holding law.toml) from the root of the repository"
},
"queryId": {
"type": "string",
"description": "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": {
"type": "string",
"description": "the string `evaluate <expression>;`; requires queryId"
},
"responseMode": {
"enum": [
"full",
"compact"
],
"description": "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."
}
},
"additionalProperties": false
}| any |
| evaluation | object |
| answerResource | string |
{
"type": "object",
"oneOf": [
{
"not": {
"required": [
"answerResource"
]
},
"required": [
"evaluation"
]
},
{
"not": {
"required": [
"evaluation"
]
},
"required": [
"answerResource"
]
}
],
"required": [
"operation"
],
"properties": {
"page": {
"type": "object",
"properties": {
"cursor": {
"type": "string"
},
"budgetBytes": {
"type": "integer",
"minimum": 1024
}
},
"additionalProperties": false
},
"index": {
"type": "object"
},
"bundle": {
"type": "object"
},
"select": {
"type": "object",
"properties": {
"node": {
"type": "string"
},
"rule": {
"type": "string"
},
"query": {
"type": "string"
},
"watch": {
"type": "array",
"items": {
"type": "object",
"required": [
"kind"
],
"properties": {
"kind": {
"enum": [
"applied",
"defeated",
"judgment",
"interpretation",
"stage",
"status"
]
},
"rule": {
"type": "string"
},
"stage": {},
"status": {
"type": "string"
},
"position": {
"type": "string"
}
},
"additionalProperties": false
}
},
"position": {
"type": "string"
}
},
"additionalProperties": false
},
"against": {
"type": "object",
"properties": {
"context": {
"type": "object"
},
"snapshot": {
"type": "object"
},
"evaluation": {
"type": "object"
},
"answerResource": {
"type": "string"
}
}
},
"context": {
"type": "object"
},
"sources": {
"type": "object"
},
"snapshot": {
"type": "object"
},
"operation": {
"enum": [
"summary",
"slice",
"diff",
"locate"
]
},
"evaluation": {
"type": "object"
},
"answerResource": {
"type": "string"
}
},
"additionalProperties": false
}| string |
| together with catalog="task-guides": the detail of one guide — a name <package>/<id> (as in prompts/list) or an id together with package |
| limit | integer | how many per page: instruments (overview 20, query 20), signatures of an instrument (20, at most 300) or elements of a catalog list (questions 20, norms 20, constants 100, task guides 20) |
| query | string | a substring filter over signatures, labels and constants (case-insensitive) |
| offset | integer | from which element of the page (0); the unit is the pageUnit of the answer |
| catalog | string | together with package: page the catalogue of questions, the norms, the constants or the task guides of the instrument instead of its signatures; "task-guides" also without package: every task guide of the profile |
| package | string | the full signatures of this instrument |
{
"type": "object",
"properties": {
"guide": {
"type": "string",
"description": "together with catalog=\"task-guides\": the detail of one guide — a name <package>/<id> (as in prompts/list) or an id together with package"
},
"limit": {
"type": "integer",
"maximum": 500,
"minimum": 1,
"description": "how many per page: instruments (overview 20, query 20), signatures of an instrument (20, at most 300) or elements of a catalog list (questions 20, norms 20, constants 100, task guides 20)"
},
"query": {
"type": "string",
"description": "a substring filter over signatures, labels and constants (case-insensitive)"
},
"offset": {
"type": "integer",
"minimum": 0,
"description": "from which element of the page (0); the unit is the pageUnit of the answer"
},
"catalog": {
"enum": [
"questions",
"norms",
"constants",
"task-guides"
],
"type": "string",
"description": "together with package: page the catalogue of questions, the norms, the constants or the task guides of the instrument instead of its signatures; \"task-guides\" also without package: every task guide of the profile"
},
"package": {
"type": "string",
"description": "the full signatures of this instrument"
}
},
"additionalProperties": false
}| full | boolean | return the full queryResult instead of a page; only when the scope is one package |
| limit | integer | an explicit cap on eval() materialisations (it does NOT bound the rows — see rowLimit) |
| query | string | inline LawQL |
| corpus | string | the snapshot scope: a package.name (for example kz.corpus.labour_code) or a glob over package.name; without corpus, the whole profile slice |
| engine | any | there is one engine — the core; the reference implementation is called by its own command |
| question | string | the name of a question from the named-query catalog (producers, readers, anchors-of, imports-of, links-of, type-step) or of a lint; instead of query |
| rowLimit | integer | how many rows in structuredContent (20; the budget may lower it) |
| snapshot | string | the snapshot hash from next.snapshot of the previous page: a continuation on another snapshot is refused (SNAPSHOT_CHANGED) |
| arguments | object | the question parameters: an object of name → string (predicate, node, type — URNs; pkg — a package.name or a glob) |
| rowOffset | integer | from which row (0); continuation comes from next together with snapshot; structural queries only |
{
"type": "object",
"required": [],
"properties": {
"case": {
"type": "object",
"description": "the case for query-over; it replaces the case clause"
},
"full": {
"type": "boolean",
"description": "return the full queryResult instead of a page; only when the scope is one package"
},
"limit": {
"type": "integer",
"minimum": 1,
"description": "an explicit cap on eval() materialisations (it does NOT bound the rows — see rowLimit)"
},
"query": {
"type": "string",
"description": "inline LawQL"
},
"corpus": {
"type": "string",
"description": "the snapshot scope: a package.name (for example kz.corpus.labour_code) or a glob over package.name; without corpus, the whole profile slice"
},
"engine": {
"enum": [
"lawc"
],
"default": "lawc",
"description": "there is one engine — the core; the reference implementation is called by its own command"
},
"question": {
"type": "string",
"description": "the name of a question from the named-query catalog (producers, readers, anchors-of, imports-of, links-of, type-step) or of a lint; instead of query"
},
"rowLimit": {
"type": "integer",
"maximum": 5000,
"minimum": 1,
"description": "how many rows in structuredContent (20; the budget may lower it)"
},
"snapshot": {
"type": "string",
"description": "the snapshot hash from next.snapshot of the previous page: a continuation on another snapshot is refused (SNAPSHOT_CHANGED)"
},
"arguments": {
"type": "object",
"description": "the question parameters: an object of name → string (predicate, node, type — URNs; pkg — a package.name or a glob)"
},
"rowOffset": {
"type": "integer",
"minimum": 0,
"description": "from which row (0); continuation comes from next together with snapshot; structural queries only"
}
},
"additionalProperties": false
}| inputOffset |
| integer |
| Machine contract: offset of leaf declarations. |
{
"type": "object",
"properties": {
"lang": {
"enum": [
"ru",
"kk",
"en",
"ky",
"uz",
"ar",
"la",
"zh",
"de",
"fr",
"tr",
"es",
"fa",
"ja"
],
"description": "the language the rules are put into"
},
"limit": {
"type": "integer",
"maximum": 500,
"minimum": 1,
"description": "package: how many rules per page (20; the budget may lower it)"
},
"offset": {
"type": "integer",
"minimum": 0,
"description": "package: from which rule (0)"
},
"package": {
"type": "string",
"description": "every rule of the instrument"
},
"contract": {
"type": "boolean",
"description": "Return a machine input contract over the same import/dependency world as law_ask. No case evaluation."
},
"predicate": {
"type": "string",
"description": "the rules that derive this predicate"
},
"inputLimit": {
"type": "integer",
"maximum": 200,
"minimum": 1,
"description": "Machine contract: leaf declarations per page (50)."
},
"inputOffset": {
"type": "integer",
"minimum": 0,
"description": "Machine contract: offset of leaf declarations."
}
},
"additionalProperties": false
}| integer |
| the maximum number of Unicode characters in a part of the text (also ≤8000 bytes of UTF-8) |
| textOffset | integer |
| contentHash | string | the hash of the full text taken from the previous part |
{
"type": "object",
"properties": {
"view": {
"enum": [
"summary",
"full"
],
"default": "summary"
},
"limit": {
"type": "integer",
"maximum": 200,
"minimum": 1,
"description": "how many texts: summary 5, full 1 (the budget may lower it)"
},
"offset": {
"type": "integer",
"minimum": 0,
"description": "from which fragment (0)"
},
"status": {
"type": "string",
"description": "the status of the variant, as given on the source card"
},
"package": {
"type": "string",
"description": "the package key — every fragment of that instrument"
},
"fragment": {
"type": "string",
"description": "the StableId of a fragment"
},
"language": {
"type": "string",
"description": "the language of the variant, as given on the source card"
},
"textLimit": {
"type": "integer",
"maximum": 4096,
"minimum": 1,
"description": "the maximum number of Unicode characters in a part of the text (also ≤8000 bytes of UTF-8)"
},
"textOffset": {
"type": "integer",
"minimum": 0
},
"contentHash": {
"type": "string",
"description": "the hash of the full text taken from the previous part"
}
},
"additionalProperties": false
}