Skip to main content

Module spec_size_cap

Module spec_size_cap 

Source
Expand description

Gate: a spec stays within 300 authored lines and carries a TOC above 100.

The generated TOC is excluded from the count: it grows with the requirement list and would otherwise spend the author’s budget on navigation. Excluding it means trusting its delimiters, so the pair is checked first — a spec carrying one marker and nothing to close it would have every line after that marker deleted from the count, which is the over-budget file the cap exists to reject.

Constants§

CITES
The rules this gate can cite.

Functions§

run
Judge every spec under the documentation root.