Module discover 

2026-09-29: Rediscover each family’s instantiated points from the kernel sources and report where the manifest and the sources disagree (drift).

Owner: metrale-circuit (venn). Invariants:

• Pure: the caller lists the repo’s kernel files and supplies the text of every file a macro rule reads (macro_files); a file a rule needs and the caller did not supply is itself drift, never skipped.
• Drift is two-way: a point the sources realise that the manifest lacks, and a point the manifest declares at a file whose rule does not find it there.

Structs

Found

2026-09-29: One point a rule found: its family, the values the rule fixes, and the file.

KernelSources

2026-09-29: The kernel sources discovery reads.

Functions

discover

2026-09-29: Every point the discovery rules find in src, and the problems met on the way (a macro file not supplied, an argument missing, an argument no map entry spells).

drift

2026-09-29: Every disagreement between the manifest’s points and the sources; empty when they agree.

macro_files

2026-09-29: The files whose text a macro rule reads.