The F*AGI Family: A Generator and Specification Note

This note isolates the explicit SAT family F*AGI as a frozen construction layer. Its purpose is deliberately narrow: it does not re-derive the transcript-to-notebook pipeline, the finite audit artifacts, or any lower-bound claim. Instead, it records the family notation, the constructive provenance through the base family and wrapper layer, the backbone/interface vocabulary, the deterministic instance-generation protocol, and the structural checks that can be attached to generated instances. A central goal is status discipline: the note separates what is fixed by construction, what may later receive finite-audit support, what remains a structural hypothesis, and what should be read only as an explicit proxy.…