-
-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Checkpoint 2026-06-05: branch reconciliation (#51/#52) + licence normalisation + provable gate + STATE rewrite
licensingLicences, SPDX headers, REUSE compliance, attributionLicences, SPDX headers, REUSE compliance, attributionrefactorRestructuring that preserves observable behaviourRestructuring that preserves observable behaviourStatus: Open.#53 In hyperpolymath/vcl-ut;Aspect gate: SPARK-grade source refactor (SPDX + eliminate unsafe / unwrap / expect in src/)
licensingLicences, SPDX headers, REUSE compliance, attributionLicences, SPDX headers, REUSE compliance, attributionrefactorRestructuring that preserves observable behaviourRestructuring that preserves observable behaviourStatus: Open.#49 In hyperpolymath/vcl-ut;