v0.2.1 - Provenance and release-hygiene correction

v0.2.1 - Provenance and release-hygiene correction

Released 30 July 2026.

This is a documentation, provenance, and release-hygiene correction to the
immutable v0.2.0 RB-003 release.

Mathematical result unchanged

This release changes no:

• mathematical claim or theorem statement;
• constant or extremizing family;
• exact finite certificate;
• proof conclusion;
• encoded mathematical instance; or
• verifier result.

In particular, the released RB-003 conclusion remains the unrefereed
fixed-gadget, two-scenario cost-nonincrease supremum

[
\beta_G^{(2\mathrm{sc})}=17/8,
]

with the same non-attainment statement and the same epsilon = 1/1000
certificate.

Corrections and additions

• Reclassifies the two role-separated hostile-review rounds accurately as
  AI-assisted model critiques, not external human mathematical review.
• Removes stale “sign-off candidate”, “external referee”, and pending
  re-signature language left in the v0.2.0 package.
• Publishes RB-003 paper revision 2 with the corrected review and release
  status. Its mathematics is unchanged from revision 1.
• Corrects the stale proof-integration checker filename in the audit record.
• Updates deterministic release metadata, PDF paths, tests, manifests, and the
  permanent read-only reproducibility workflow for v0.2.1.
• Retires the completed one-time write-enabled v0.2.0 publication workflow.
• Adds the stable-only agentic-mathematics case study, contribution guide, and
  bounded problem-reporting protocol.

Review status

No external human mathematical review has been requested or documented for
RB-003. The human-readable proof remains authoritative. Exact computation and
the AI-assisted critique records are narrower supporting evidence, not formal
peer review.

The immutable v0.1.0 and v0.2.0 tags and assets remain unchanged.