Repository navigation
A reading pass for prose that explains the book against its source #6
Description
The rule is broken by prose that explains why this book does something
differently, even when it never names the source. No grep finds this class: a
scan for markers ("ao pé da letra", "se traduz", "mantemos", "no original")
returned only legitimate uses of "tradução". Someone has to read the prose.
Two instances were found and fixed this way in Logic/PL.lean, so the class
is real. The criterion for judging what turns up is in DEVIATIONS.md.
Related mechanical check, to re-run after each migration:
página \d+, \(p\. \d+, §\s*\d, exemplo \(\d+\.\d+\),
Exercício \d+\.\d+, Seção \d+\.\d+. Note that
Morphology/FinnishVowelHarmony.lean's [For07, p. 13] is a legitimate
bibliographic citation the sweep will keep flagging.
Activity
docs: replace PROVENANCE.md with CSwFP.yaml and slim DEVIATIONS.md
docs: replace PROVENANCE.md with CSwFP.yaml and slim DEVIATIONS.md
arademaker commentedon Sep 26, 2026
Closing: the reading pass will happen as part of the chapter revisions, not as a separate task. The criterion now lives in
STYLE-WRITING.md, and the mechanical check (citations of CSwFP, pages, sections and exercise numbers outside:::dev) is part ofscripts/check-cswfp.py, added in #32.docs: replace PROVENANCE.md with CSwFP.yaml and slim DEVIATIONS.md (#32)