taskList
A checkbox checklist of work items. Pair with `allChecked` or `maxChecked` to gate completion. Close with `endtaskList`.
Leaf tag · open <!-- mdv: taskList … --> · close <!-- mdv: endtaskList -->
<!-- mdv: taskList required allChecked -->
- [ ] Hull integrity verified
- [ ] Life support nominal
<!-- mdv: endtaskList -->Props
| Prop | Syntax | Category | Description |
|---|---|---|---|
allChecked | allChecked | list | Checks that every checkbox is selected; targets a taskList leaf construct. |
maxChecked | maxChecked=<option> | list | Checks that no more than the allowed number of boxes are selected; targets a choice or taskList. |
minChecked | minChecked=<option> | list | Checks that at least the required number of boxes are selected; mirrors maxChecked. Targets a choice or taskList. |
maxItems | maxItems=<option> | list | Checks that a list-like construct has at most the allowed number of items; mirrors minItems. |
minItems | minItems=<option> | list | Checks that a list-like construct has at least the required number of items. |
exactLabels | exactLabels | strictness | 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. |
Prop details
allChecked
Checks that every checkbox is selected; targets a taskList leaf construct.
allChecked · category: list · status: stable · src/rules/list/checked/all-checked.ts
<!-- mdv: taskList allChecked -->
- [x] Life-support scrubbers checked
- [x] Mission log transmitted
<!-- mdv: endtaskList -->maxChecked
Checks that no more than the allowed number of boxes are selected; targets a choice or taskList.
maxChecked=<option> · category: list · status: stable · also on: choice · src/rules/list/checked/max-checked.ts
<!-- mdv: taskList maxChecked=1 -->
- [x] Autopilot burn
- [ ] Manual burn
<!-- mdv: endtaskList -->minChecked
Checks that at least the required number of boxes are selected; mirrors maxChecked. Targets a
choice or taskList.
minChecked=<option> · category: list · status: stable · also on: choice · src/rules/list/checked/min-checked.ts
<!-- mdv: taskList minChecked=2 -->
- [x] Oxygen tanks topped
- [x] Flight plan signed
- [ ] Crew quarters inspected
<!-- mdv: endtaskList -->maxItems
Checks that a list-like construct has at most the allowed number of items; mirrors minItems.
maxItems=<option> · category: list · status: stable · also on: list, evidenceList · src/rules/list/items/max-items.ts
<!-- mdv: taskList maxItems=8 -->
- [ ] Suit pressure test
- [ ] Rover drive test
<!-- mdv: endtaskList -->minItems
Checks that a list-like construct has at least the required number of items.
minItems=<option> · category: list · status: stable · also on: list, evidenceList · src/rules/list/items/min-items.ts
<!-- mdv: taskList minItems=2 -->
- [ ] Flight computer test
- [ ] Docking clamp test
<!-- mdv: endtaskList -->exactLabels
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.
exactLabels · category: strictness · status: stable · also on: choice · src/rules/list/labels/exact-labels.ts
<!-- mdv: taskList exactLabels -->
- [ ] Airlock checks added or updated
- [ ] Orbital CI is green
<!-- mdv: endtaskList -->list
A bullet or numbered list. Constrain it with `minItems`, or hold each item to a bar with `each.falsifiable` / `each.sourced`. Close with `endlist`.
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`.