Uh oh!
There was an error while loading. Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issuestate: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.#53In 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.#49In hyperpolymath/vcl-ut;