Skip to content

v0.7.4 — Frozen Local Descent Release

Choose a tag to compare

View all tags
@papasop papasop released this 31 Jul 12:58
v0.7.4
93ae0e3

v0.7.4 — Frozen Local Descent Release

This is the frozen research-software release for Computation as Geometric Flow: Projective-Jet Filtration and Arb-Certified Local Descent.

Scientific status:

  • FORMAL_ARB_ORIENTED_DESCENT_CERTIFIED_ALIGNMENT_INCONCLUSIVE
  • Stage A certifies local strict descent on one complete serialized 1/64 parent box covered by 16 exact child boxes.
  • The certified derivative is with respect to the local Chebyshev coordinate s: dL6/ds <= -0.6530784697700559 < 0.
  • The KKT-witness alignment gate remains fail-closed and is not claimed.
  • No validated ODE theorem, complete ten-chart flow theorem, global fibre theorem, holonomy claim, cloud claim, QPU claim, or neural-network claim is made.

Verification:

python tools/verify_release.py
shasum -a 256 -c SHA256SUMS.txt
python -m compileall -q src tools

Source ZIP SHA-256:

22fd4501c08649663dd4c47fe551516f7e8a489b1fcd7b07af4cbf3af492f30d  Geometric-Flow-v0.7.4-source.zip

The 1.0 tag is a legacy tag from a different repository state. For this release, cite v0.7.4 or commit 93ae0e3f.

Assets 3
Loading