Hash-committed pre-registration and exact unlearning make belief revisions in autonomous SiGeC semiconductor campaigns checkable

Autonomous materials laboratories revise conclusions from evidence sources (calculations, machine-learned potentials, databases, furnace runs) whose errors are known in kind but not in size. These revisions are self-reported, so a reader cannot check that no batch was dropped or that a retraction removed what it claims; verifiable unlearning covers only erasure from trained machine-learning models. The aim is a record that lets anyone check every revision without trusting the campaign. Full checkability is hypothesised to be affordable when beliefs are compact symbolic models, whose clean retrain takes seconds. Designs are hashed onto an append-only campaign record before runs start, raw outputs are committed before analysis, and revisions are verified by deterministic re-execution. Four pre-registered campaigns on heat transport in SiGe and SiGeC semiconductors (molecular dynamics, machine-learned relaxations, phonon transport, an experimental database) test the scheme. The record keeps failed checks, refuted predictions and set-aside evidence in view, and an independent verifier re-checks it in about three seconds. It meets pharmaceutical data-integrity rules; separating a measurement’s influence on fitted laws from the measurement reconciles the European right to erasure with mandatory retention. Materials claims, such as how much germanium carbon can replace, can thus be adopted and extended on an inspectable record.