After Turing: The Fold Machine, version 1. 2. 0, preserves the exhaustive Classical Computation derivation while integrating its exact native-model headline theorems with Maria Smith's authorship, the Ernos Labs public-science mission and the precise boundary between unrestricted criticism and machine-checked scientific admission. The headline native-model results are exact. For every admitted positive finite description depth k, the native Fold Busy-Beaver function is BBF (k) =k. Exact evaluation emits the same unique lawful trace checked by the proof system, giving PF=NPF in the admitted Fold grammar. Every admitted depth-k Fold circuit requires its k forced transition edges; all 16, 384 subsets of the depth-14 edge carrier were exhausted and only the full support survived. The paper states the comparison boundaries explicitly: these theorems do not silently become claims about arbitrary external Turing-machine tables, conventional P versus NP, or imported circuit models. The branch imports no Turing machine, lambda calculus, conventional complexity class, probability cause, cryptographic hardness assumption, pretrained model, fitted parameter, floating proof value, application answer or earlier SFT executable answer as a derivational premise. Empty One is structural rather than numerical zero; complementary held labels replace negative proof quantities; and randomized algorithms execute complete registered deterministic schedule support rather than assume an uncaused stochastic transition. The frozen inventory contains 116 dependency-ordered laws. Their grammars execute and decide 29, 696 generated structural candidates, retain 116 unique survivors, 116 depth-independent base/successor certificates, 464 adverse controls and 116 implementation-distinct validations. A separate 763-entry ownership audit decomposes the relevant V1/V2 material into 134 atomic Classical Computation obligations, closes 134 at same strength, leaves none open and preserves four explicit corrections or reconciliations. The manuscript documents every derivation's dependencies, theorem, grammar, eliminations, survivor, minimality, uniqueness, witnesses, induction, controls, correspondence boundary and exact evidence identities. The release is also an explicit open-science position. It publishes source, candidate products, decision vectors, controls, validators and receipts so scientific authority rests on inspectable and revocable evidence rather than paywalls, proprietary oracles, credentials, capital or consensus. Maria Smith retains copyright; paper and documentation are CC BY 4. 0, code is Apache-2. 0, and Ernos Labs is a separate conformance designation tied to the public empirical constitution.
Maria Smith (Sun,) studied this question.