law_rules
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).
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "law_rules"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| lang | No | the language the rules are put into | |
| limit | No | package: how many rules per page (20; the budget may lower it) | |
| offset | No | package: from which rule (0) | |
| package | No | every rule of the instrument | |
| contract | No | Return a machine input contract over the same import/dependency world as law_ask. No case evaluation. | |
| predicate | No | the rules that derive this predicate | |
| inputLimit | No | Machine contract: leaf declarations per page (50). | |
| inputOffset | No | Machine contract: offset of leaf declarations. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| next | No | ||
| limit | No | ||
| rules | Yes | ||
| total | No | ||
| offset | No | ||
| compact | No | ||
| package | Yes | ||
| ruleCount | No | ||
| truncated | No | ||
| factsTemplate | No | ||
| inputContract | No | ||
| verbalizationGaps | No |