Skip to content
#

proof-strategy

Here is 1 public repository matching this topic...

AK-HDPST v17.0 is a proof-oriented OS for collapse in 1D persistence: Core—exact truncation T_tau, tower diagnostics (mu,nu), guarded PH1→Ext1; Spec—HDPS search and windowed, non-expansive pipelines audited by a delta-ledger.

  • Updated Dec 29, 2025
  • TeX

Improve this page

Add a description, image, and links to the proof-strategy topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof-strategy topic, visit your repo's landing page and select "manage topics."

Learn more