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.