Set claim
set_claimDestructive
Add a claim to a project's register, or change one — its kind, label, number in the paper, title, statement or bases. A claim is named by 'id', or by 'project' and 'label': one that does not exist yet is created (with 'statement'; 'status' says how far it is proved from the start, 'open' if left out, and 'reason' on what ground). An existing claim's status is NOT changed here — use set_claim_status, so the journal says why. A field left out keeps its value; 'bases' given replaces the whole list. Write the statement in Markdown with $…$ formulas. The label is the paper's \label: a letter, then letters, digits and ':', '.', '_', '-' — once per project, case aside; 'newLabel' renames it. Members of the project who may write only.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | No | The claim to change, as list_claims returned it. Or name it by 'project' and 'label'. | |
| kind | No | One of the project's scale (list_claims answers its 'kinds'): theorem, lemma, proposition, corollary, conjecture or question on 'math'; position, conclusion, risk or obligation on 'law'. A new claim is the scale's first — a theorem, a position — unless said. | |
| bases | No | What it rests on, as a JSON array replacing the list: [{"kind":"page","page":477,"note":"§3"},{"kind":"computation","ref":"kimmy/gap/m74r5u"},{"kind":"lean","ref":"D5.rank_five","repo":"ispacex/d5"},{"kind":"source","ref":"Gupta 1990, Thm 2"},{"kind":"legal","document":31,"place":"Article 6(1)(f)"}]. A page is one you may open, by its id; a computation by the name a [comp:…] cites — a runner's job, or a page's saved cell 'wl:477/…/2'; a Lean declaration by its full name, and with 'repo' bound to where code search finds it in that repository of the project (find_lean_declaration) — only a bound declaration with a clean axiom audit lets the claim be 'lean'; a norm of law by the act's id on the legal shelf (list_legal_references gives it as the reference's document) — an act you may read — and the place in it, or none for the act as a whole. | |
| label | No | The claim's label, e.g. 'thm:d5-rank5'. | |
| title | No | A short name, e.g. 'Rank 5 is decided'; empty to clear. | |
| number | No | Its number in the paper, e.g. '5.8'; empty to clear. | |
| reason | No | For a new claim with a status: on what ground. | |
| status | No | For a NEW claim: its status on the project's scale — open, paper, computer, lean, refuted, retracted on 'math'; draft, agreed, practice, disputed, outdated on 'law'. Default the scale's first: open, draft. | |
| project | No | The project key, e.g. MATH. | |
| newLabel | No | A new label for an existing claim. | |
| statement | No | The statement, Markdown with $…$ formulas. |