MeDiVa
DocsReference

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`.

Leaf tag · open <!-- mdv: list … --> · close <!-- mdv: endlist -->

<!-- mdv: list minItems=2 -->
- Hull breach sealed on deck 7.
- Long-range sensors back online.
<!-- mdv: endlist -->

Props

PropSyntaxCategoryDescription
each.falsifiableeach.falsifiablelistChecks that every list item is concrete and falsifiable — a claim someone could actually verify or refute, not a token gesture. The canonical flag form of the deprecated each=falsifiable. Heuristic, so it reports a WARNING by default; harden with error=each.falsifiable.
each.maxWordseach.maxWords=<option>listChecks that every list item stays within a maximum word count; mirrors each.minWords. Targets a list or evidenceList (and the checkbox kinds).
each.minWordseach.minWords=<option>listChecks that every list item reaches a minimum word count; targets a list or evidenceList.
each.sourcedeach.sourcedlistChecks that every list item carries a citation that resolves (a link, reference, or footnote pointing at something real). The canonical flag form of the deprecated each=sourced. Deterministic, so it is a hard error by default; soften with warn=each.sourced.
each ⚗️each=<option>listChecks every list item for sourced or falsifiable claims; targets a list or evidenceList.
maxItemsmaxItems=<option>listChecks that a list-like construct has at most the allowed number of items; mirrors minItems.
minItemsminItems=<option>listChecks that a list-like construct has at least the required number of items.
orderedTreeorderedTreelistChecks that EVERY list in the section — top-level and nested — is ordered (numbered), for an outline where the whole hierarchy is sequenced. The deep counterpart to ordered (which only checks the top list, allowing bullet sublists). No-op when the section has no list.
orderedorderedlistChecks that the section's list is an ordered (numbered) list, not bullets — for steps or ranked items where sequence matters. No-op when the section has no list (presence is required's job).

Prop details

each.falsifiable

Checks that every list item is concrete and falsifiable — a claim someone could actually verify or refute, not a token gesture. The canonical flag form of the deprecated each=falsifiable. Heuristic, so it reports a WARNING by default; harden with error=each.falsifiable.

each.falsifiable · category: list · status: stable · also on: evidenceList · src/rules/list/each/each-falsifiable.ts

<!-- mdv: evidenceList each.falsifiable -->
- Ran `npm test`; 412 nav checks pass, 0 fail.
<!-- mdv: endevidenceList -->

each.maxWords

Checks that every list item stays within a maximum word count; mirrors each.minWords. Targets a list or evidenceList (and the checkbox kinds).

each.maxWords=<option> · category: list · status: stable · also on: evidenceList · src/rules/list/each/each-max-words.ts

<!-- mdv: list each.maxWords=12 -->
- keep the bridge alert short
- one sensor fault per line
<!-- mdv: endlist -->

each.minWords

Checks that every list item reaches a minimum word count; targets a list or evidenceList.

each.minWords=<option> · category: list · status: stable · also on: evidenceList · src/rules/list/each/each-min-words.ts

<!-- mdv: list each.minWords=3 -->
- the probe handles nested hatches
- the console aborts on drift
<!-- mdv: endlist -->

each.sourced

Checks that every list item carries a citation that resolves (a link, reference, or footnote pointing at something real). The canonical flag form of the deprecated each=sourced. Deterministic, so it is a hard error by default; soften with warn=each.sourced.

each.sourced · category: list · status: stable · also on: evidenceList · src/rules/list/each/each-sourced.ts

<!-- mdv: list each.sourced -->
- Antenna latency dropped after packet batching was enabled [1].
<!-- mdv: endlist -->

each

Checks every list item for sourced or falsifiable claims; targets a list or evidenceList.

each=<option> · category: list · status: experimental · also on: evidenceList · src/rules/list/each/each.ts

<!-- mdv: list each=sourced -->
- Antenna latency dropped after packet batching was enabled [1].
<!-- mdv: endlist -->

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: taskList, evidenceList · src/rules/list/items/max-items.ts

<!-- mdv: list maxItems=5 -->
- align the docking collar
- ping the Mars relay
<!-- mdv: endlist -->

minItems

Checks that a list-like construct has at least the required number of items.

minItems=<option> · category: list · status: stable · also on: taskList, evidenceList · src/rules/list/items/min-items.ts

<!-- mdv: list minItems=2 -->
- rover wheel inspection
- habitat seal check
<!-- mdv: endlist -->

orderedTree

Checks that EVERY list in the section — top-level and nested — is ordered (numbered), for an outline where the whole hierarchy is sequenced. The deep counterpart to ordered (which only checks the top list, allowing bullet sublists). No-op when the section has no list.

orderedTree · category: list · status: stable · src/rules/list/ordering/ordered-tree.ts

<!-- mdv: list orderedTree -->
1. Diagnose the comms blackout
   1. capture sensor inputs
   2. note the beacon trace
2. Patch the relay
<!-- mdv: endlist -->

ordered

Checks that the section's list is an ordered (numbered) list, not bullets — for steps or ranked items where sequence matters. No-op when the section has no list (presence is required's job).

ordered · category: list · status: stable · src/rules/list/ordering/ordered.ts

<!-- mdv: list ordered minItems=2 -->
1. Reproduce the docking alarm
2. Apply the guidance patch
<!-- mdv: endlist -->

On this page