From Distinction to Information: An Exact, Parameter-Free and Machine-Closed Derivation of Information Science from Smithian Fold Theory

Information Science Branch Paper 001, version 1.2.0, preserves the complete twelve-law and 77-obligation scientific record while front-loading the exact distinction, entropy, capacity, coding and deterministic-probability results and the integrated Ernos Labs public-science standard. From the separately admitted Foundation and Mathematics receipts, twelve exact claim grammars execute 11,776 generated candidates and derive symbols and distinguishability; encoding and decoding; information quantity; entropy and uncertainty; compression and redundancy; finite channels and capacity; noise and error; coding; mutual and conditional information; conservation, loss and transformation; classical and probabilistic information; and finite quantum-information support correspondence. Every candidate is decided, each grammar has one all-preserving survivor, and every law passes minimality, uniqueness, depth-independent closure, four adverse-control classes, cryptographic sealing and implementation-distinct reproduction. The headline result is a provenance-retaining information science compatible with superdeterminism. Information is complete deterministic alternative support plus exact retained and closed distinction ledgers. Entropy preserves every observation class, exact positive support part and unresolved pair rather than importing a logarithmic proof value. Probability reports observation-relative unresolved support rather than a stochastic cause. Channel capacity and correction follow from complete finite separation and predecessor uniqueness. No conventional bit, random seed, fitted prior, logarithm, floating proof value, complex amplitude, pretrained model or application answer selects a law. Formal Information Science has no natural measured constant for an external measurement body to supply. Its applicable external validator is implementation-distinct exact regeneration of every candidate, decision, survivor, control and certificate. Physical heat costs, Born dynamics, measured uncertainty observables and operational no-cloning remain explicit downstream Physics or Quantum Computation obligations; they are preserved rather than silently claimed or excluded. Where a later owning branch has a natural measured value, prediction must be sealed before target access and compared against an authoritative source with units, uncertainty and adverse rows retained. Version 1.1 also states the Ernos Labs open-science position in the technical language of information loss. Paywalls, inaccessible data and black-box oracles close distinctions required for independent falsification. The paper documents evidence concerning sponsorship effects, agenda shaping, grant-review reliability, publication bias and access inequality while preserving the role of expertise and criticism. Maria Smith developed SFT outside conventional credential and funding routes; truth is therefore attached to public derivations and receipts rather than institutional permission. The PDF is the primary landing-page paper and the full Markdown, owner ledger, frozen inventory, evidence map and publication receipt are deposited beside it.