-
-
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
ci: two pre-existing reds on main — Static Analysis Gate (Hypatia CWE-494 ×2 in setup.sh) and Well-Known Standards (security.txt under www/.well-known, validator reads the root)
bugSomething isn't workingSomething isn't workingStatus: Open.#117 In hyperpolymath/nextgen-typing;TYPE-CONNECTIONS.adoc: re-cite the residual receipt (run 35773288367 @ 8f3b46f) and give the Echo→Residual / Epistemic→Residual obligations acceptance criteria
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#115 In hyperpolymath/nextgen-typing;- Status: Open.#69 In hyperpolymath/nextgen-typing;
k9: fix pre-existing "Validate K9 contracts" failures (3 errors, gates every PR)
bugSomething isn't workingSomething isn't workingStatus: Open.#59 In hyperpolymath/nextgen-typing;docs: retarget stale
src/interface/Abireferences after the OQ-001 src/ dropdocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#58 In hyperpolymath/nextgen-typing;- Status: Open.#57 In hyperpolymath/nextgen-typing;
READINESS.md claims "CI passing (dogfood-gate…)" but dogfood-gate is currently red
bugSomething isn't workingSomething isn't workingStatus: Open.#53 In hyperpolymath/nextgen-typing;Remove committed Idris2 build artifacts under src/interface/build/ttc/
enhancementNew feature or requestNew feature or requestStatus: Open.#51 In hyperpolymath/nextgen-typing;k9-validate: 3 remaining contract failures (2 trivial security_level + deploy.k9.ncl Nickel-indirection)
bugSomething isn't workingSomething isn't workingStatus: Open.#47 In hyperpolymath/nextgen-typing;docs: fix stale
src/abi/references (SD022 ×4)documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#42 In hyperpolymath/nextgen-typing;- Status: Open.#41 In hyperpolymath/nextgen-typing;
- Status: Open.#40 In hyperpolymath/nextgen-typing;