Public papers and notes map formal claims, simulation evidence, and unresolved limits in the Material computing model.