gen-allowlist

Overview ¶

Command gen-allowlist genera allowlist.json: la decisión de DENOMINADOR del gate de cobertura (S7-coverage). El gate cuenta como "missing" todo símbolo del manifiesto (apisurface.json) que ningún exerciser invoca. Dos categorías no son invocables por un gate basado en invocación y se justifican aquí en bloque, dejando que el gate mida la superficie CALLABLE del API público:

• Métodos de dialecto (`(*XxxDialect).*`): plumbing interno, ejercido transitivamente por CADA query (Quote/Placeholder/Returning/…) y unit-tested por motor en dialect_test.go. No son un entry point público directo.
• Tipos / consts / vars: no se "invocan" — su comportamiento se ejerce a través de sus métodos (contados aparte) y de las funcs/métodos que los consumen.

Las excepciones manuales (p.ej. el alias deprecado RowLevelSecurity) viven en manualReasons y se preservan en cada regeneración. El fichero es determinista (claves ordenadas, sin timestamp) para que un símbolo público nuevo produzca un diff limpio y CI pueda exigir regenerar.

go run ./examples/superapp/cmd/gen-allowlist            # escribe examples/superapp/allowlist.json
go run ./examples/superapp/cmd/gen-allowlist -out=/tmp/x.json