choice
A single- or multi-select choice expressed as checkboxes. `oneChecked` makes it single-select; `maxChecked` bounds a multi-select. Close with `endchoice`.
Leaf tag · open <!-- mdv: choice … --> · close <!-- mdv: endchoice -->
<!-- mdv: choice oneChecked -->
- [ ] recon
- [x] rescue
- [ ] combat
<!-- mdv: endchoice -->Props
| Prop | Syntax | Category | Description |
|---|---|---|---|
minChecked | minChecked=<option> | list | Require at least N checked boxes — mirrors maxChecked, e.g. a taskList that must be partly done. |
maxChecked | maxChecked=<option> | list | Allow at most N checked boxes — useful to bound a multi-select choice. |
oneChecked | oneChecked | list | Require exactly one checked box — a single-select choice such as a change type. |
exactLabels | exactLabels | strictness | Require the checklist to contain exactly the items the template declares — every declared label present, nothing extra (the checklist strictness gate). |
Prop details
minChecked
Require at least N checked boxes — mirrors maxChecked, e.g. a taskList that must be partly done.
minChecked=<option> · category: list · status: stable · also on: taskList · src/pipeline/rules/list/checked/checked.ts
Checks that at least the required number of boxes are selected; mirrors maxChecked. Targets a
choice or taskList.
<!-- mdv: choice minChecked=1 -->
- [x] Launch weather clear
- [ ] Spare antenna packed
- [ ] Droid tools labeled
<!-- mdv: endchoice -->maxChecked
Allow at most N checked boxes — useful to bound a multi-select choice.
maxChecked=<option> · category: list · status: stable · also on: taskList · src/pipeline/rules/list/checked/checked.ts
Checks that no more than the allowed number of boxes are selected; targets a choice or taskList.
<!-- mdv: choice maxChecked=2 -->
- [x] Repair nav beacon
- [x] Calibrate rover arm
- [ ] Polish droid casing
<!-- mdv: endchoice -->oneChecked
Require exactly one checked box — a single-select choice such as a change type.
oneChecked · category: list · status: stable · src/pipeline/rules/list/checked/one-checked.ts
<!-- mdv: choice oneChecked -->
- [x] Autopilot approach
- [ ] Manual approach
<!-- mdv: endchoice -->exactLabels
Require the checklist to contain exactly the items the template declares — every declared label present, nothing extra (the checklist strictness gate).
exactLabels · category: strictness · status: stable · also on: taskList · src/pipeline/rules/list/labels/exact-labels.ts
Checks that the document's checklist contains exactly the items the template lists — every declared
item present, and nothing extra. The expected labels are the - [ ] … lines written inside the
block in the contract; matching is case-insensitive on trimmed, space-collapsed text. This is the
checklist strictness gate (it replaces the former requires/only pair). Without it the checklist
is lax (any items). Compose with allChecked to also require the boxes ticked. Targets a
taskList/choice leaf.
<!-- mdv: taskList exactLabels -->
- [ ] Airlock checks added or updated
- [ ] Orbital CI is green
<!-- mdv: endtaskList -->evidenceList
A list of evidence or verification items — reproduction steps, manual checks, citations. Use `each.falsifiable` to reject vague items and `each.sourced` to require a resolvable citation per item. Close with `endevidenceList`.
code
A fenced code block. `codeFenceClosed` catches a fence the model left open. Close with `endcode`.