data/claim5/source_audit.md

Claim 5 source audit

Primary PDF SHA-256: fbc31ec9024e20bef85e4e12a262991f098c093d171d6063d57bcf62419b562b.

The complete source inventory covers preliminaries, AHAT/SMAT simulation, constant-depth circuit characterizations, looped-depth characterizations, discussion, fixed-point definitions, architectural definitions, gadgets, and proof appendices. It specifies no dataset, optimizer, loss, training schedule, checkpoint, benchmark protocol, or empirical result table.