docs(progress): record final ReLU restack

Author: Kim Morrison

progress/20260814T161713Z.md

@@ -19,6 +19,9 @@
   mathematically necessary, which remains a separate acceptance test.
 - Kept the theorem name and docstring honest about the absence of goal-tactic
   reification in this conformance vertical.
+- Restacked the byte-identical feature patch onto exact `main` after the PNT
+  log-table merge, preserving its inventory and fixture; both focused ReLU and
+  PNT conformance builds and the static checks pass.
 
 ## Current frontier