Skip to content

v0.7.4-r1 — Artifact-hardening release

Choose a tag to compare

View all tags
@papasop papasop released this 31 Jul 13:36
v0.7.4-r1
3ed0c33

This release does not change the scientific model, source algorithm, proof domain, or claim scope of v0.7.4. It adds the complete reference protocol, certificate, and report, strengthens fail-closed verification, and synchronizes the reported bounds with the archived machine output.

The original theorem-bearing v0.7.4 tag remains frozen at 93ae0e3. This r1 release points to the artifact-hardening commit series on main and should be used for the complete certificate-chain artifact.

Key archived values from the complete frozen reference report:

  • maximum right-inverse defect upper bound: 0.1299344388400178
  • minimum alignment scale: 0.6530911830790997
  • maximum parallel relative residual upper bound: 0.008935710125297152
  • minimum alignment cosine lower bound: 0.9999600757453052
  • certificate SHA-256: ed302725c03b66f2bbe7363e901842f07790bd895b4cf95261ebe3d172d400f9
Assets 2
Loading