-
-
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
A2ML normative Idris2 core: A2ML.Parser does not type-check (16 errors) — blocks the core CI gate
bugSomething isn't workingSomething isn't workingStatus: Open.#556 In hyperpolymath/standards;Licence campaign follow-through: stop the MPL-normalise sweeper re-clobbering AGPL exceptions + estate hygiene
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#506 In hyperpolymath/standards;governance-reusable: two jobs cannot fail (Code quality + docs; Guix/Nix policy) + redundant trufflehog
bugSomething isn't workingSomething isn't workingdocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#505 In hyperpolymath/standards;- Status: Open.#498 In hyperpolymath/standards;
[carve-out 8/9] ⚠️ OWNER-ONLY licence-flag items: 007 audits in public canon; PALIMPSEST.adoc narrative
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#497 In hyperpolymath/standards;- Status: Open.#496 In hyperpolymath/standards;
- Status: Open.#495 In hyperpolymath/standards;
- Status: Open.#494 In hyperpolymath/standards;
- Status: Open.#493 In hyperpolymath/standards;
- Status: Open.#492 In hyperpolymath/standards;
- Status: Open.#491 In hyperpolymath/standards;
- Status: Open.#490 In hyperpolymath/standards;