yylego / sure

60%

main: 60%

Build Type

push

github

Committed by yyle88

Commit Message

Stop the source scan from reading the artifact it overwrites

A codegen aims at the same place it writes into, so a past artifact showed up in
its own scan. Two defects came from that. Regenerating with less modes than
the run before it wrapped a stale Must/Soft/Omit entrance, and the artifact
stopped compiling. A broken artifact took down the parse step, so the run meant
to replace it died ahead of writing, which is the exact impasse the build
constraint exists to undo.

The scan now skips that one file ahead of the read (utils.IsOutputFile), and the
name screen names each mode sure states instead of two hardcoded ones.

A blank go:build directive meant two things at once: no one spoke, and someone
chose none. Configs built as bare struct values got no constraint and stayed
exposed. PickGoBuildDirective splits the two apart, so each codegen defaults the
same regardless of which shape built its config. Existing code that builds a
config as a bare struct value gets the constraint written into the next
artifact. FormatGoBuildDirective stops a run when the rendered line is no
constraint Go can read.

sure_pkg_gen gains WithGoBuildDirective and WithNoBuildDirective, blank as its
default, since a standalone package cannot lock.

Import registration gets copied instead of written into, so a config handed to a
second run stops widening the set MustKnownImports treats as stated.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

Coverage Stats

104 of 115 new or added lines in 9 files covered. (90.43%)

5 existing lines in 3 files now uncovered.

933 of 1553 relevant lines covered (60.08%)

18.09 hits per line