check-note-sheet-rows.yml

Diff-scoped check that flags a note-sheet table row holding more than one concept. The lab’s rule (Ezra, 2026-10-22) is that a note sheet gives each concept its own row: one formula and one short label, with no prose. This implements gha#1164.

The check reads pipe tables (| label | formula |) in the files globs matches, by default *note-sheet*.qmd. It reports a row the pull request adds when:

the label holds notation, unless the label is a link to the term’s definition;
the label joins two concepts with a comma or “and”;
one cell holds two formulas joined by a comma, a semicolon or “and”.

A label that ends in , ... form, version or case, such as Sample MSE, matrix form, names one concept in a second form, in a row of its own. It is not flagged. Header rows and rows inside code fences are ignored.

Two prose rules are errors whatever fail says, because they are deterministic (gha#1201):

a row’s label is a sentence (it ends in ., ! or ?, or runs past six words), or a cell after the label has words outside math;
a line outside a table is a paragraph, an inline list included. Headings, bold-only labels, link-only lines, div fences, table captions, bullets (with their indented continuation lines), images, blockquotes, raw HTML, HTML comments and the YAML front matter are allowed. Link text in a formula cell counts as words. Every list is a table or bullets, as on the rme exam formula sheet.

The check is diff-scoped: an added line whose exact text was also deleted in the same diff counts as moved. With no base ref, or when the diff cannot be computed, it skips with a notice or warning instead of scanning the whole tree, unless whole-tree asks for that.

Inputs

globs: space-separated git pathspecs of tracked files to check (default *note-sheet*.qmd).
paths-ignore: comma- or newline-separated glob patterns to skip.
fail: fail the workflow on a one-concept finding (default false, warning annotations only). The prose rules always fail, whatever fail says.
whole-tree: scan every matching file in full (default false).
python-version: Python version to set up (default 3.x).
runs-on: runner label for the job (default: the caller’s CI_RUNNER variable, else ubuntu-latest). Use a self-hosted label only for a private repository; never for a public one, whose pull requests can run arbitrary code on it.

The prose rule is PSW’s “Give each concept in a note sheet its own row”.