zedarvates Migration Audit
Use this stage after BUILDER and before VALIDATOR:
... -> BUILDER -> MIGRATION_AUDIT -> VALIDATOR -> ...
Create .botte/migration-audit.json using
botte.migration-audit-spec/v1, then run:
botte migration-audit --project . --json
Supported checks are text_absent, text_present, path_absent,
path_present, and paths_not_both. Text is matched literally, not as a
regular expression. The report never contains matched source text or absolute
paths. An incomplete scan returns UNCERTAIN; a normal test pass cannot
override a migration-audit failure.
The stage is deterministic, stdlib-only, SIMULATE/SHADOW, and cannot grant
ACT, modify the audited project, or execute its code.