Set claim scale
set_claim_scaleChoose the scale and kinds a project's claims are written on: 'math' (theorem, lemma, proposition, corollary, conjecture, question; open, paper, computer, lean, refuted, retracted) or 'law' (position, conclusion, risk, obligation; draft, agreed, practice, disputed, outdated). Free while the project has no claims. With claims, carry every status and every kind in use over to one of the new scale's by name — 'statuses' and 'kinds' as JSON objects, e.g. {"open":"draft","paper":"agreed"} and {"theorem":"position"}; ask the person which goes where, never guess. Each claim whose status moves gets a line in its journal with the change of scale and 'reason' as its ground. Nothing is carried into 'lean'. A page's blocks of the other scale's kinds stay boxes on the page and are no longer read into the register. Whoever configures the project (its lead or an administrator) only.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| kinds | No | With claims: each kind in use → one of the new scale's, as a JSON object. | |
| scale | Yes | 'math' or 'law'. | |
| reason | No | Why the scale changes — written into the journal of each claim it moves. | |
| project | Yes | The project key. | |
| statuses | No | With claims: each status in use → one of the new scale's, as a JSON object. |