Contract — task-breakdown.md typo post-state
Post-state assertions
| Sweep |
Expected |
Why |
grep -cF "MAX_INTEGER_OPS=10000" docs/guides/implementation/task-breakdown.md |
0 |
L584 corrected to 10_000. |
grep -cF "MAX_INTEGER_OPS=10_000" docs/guides/implementation/task-breakdown.md |
2 |
L584 + L669 now both use the underscore form. |
grep -cF "bps_apply" docs/guides/implementation/task-breakdown.md |
0 |
L797 corrected to apply_bps. |
grep -cF "apply_bps" docs/guides/implementation/task-breakdown.md |
≥ 2 |
L474 (definition) + L797 (use site). |
Preservation
- All other content in
docs/guides/implementation/task-breakdown.md preserved byte-for-byte.
- Jekyll frontmatter preserved.
- No other files changed except 5-step chain artefacts under
docs/audits/, docs/contracts/, docs/packets/, docs/verification/.