-
-
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: Hypatia fails on two findings #117 does not cover (dependabot-automerge actor gate, rsr-antipattern regex); SonarCloud red on main 86cb69e
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changecicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesStatus: Open.#121 In hyperpolymath/nextgen-typing;type-map: register occupancy-types; cost/state vocabulary split; boundary notes for kategoria/typell/absolute-zero/januskey; secret-types pending
feeds:valence-shellFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes thereFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes therepriority:p3Low - nice to haveLow - nice to haveresearchOpen investigation; the outcome is knowledge, not codeOpen investigation; the outcome is knowledge, not codescope:estateAffects many or all repos across the estateAffects many or all repos across the estateStatus: Open.#118 In hyperpolymath/nextgen-typing;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 workingpriority:p0Critical - drop other workCritical - drop other workscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked upStatus: 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 documentationfeeds:valence-shellFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes thereFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes therepriority:p2Normal - queue itNormal - queue itscope:estateAffects many or all repos across the estateAffects many or all repos across the estatestatus:readyFully specified and ready to be picked upFully specified and ready to be picked upStatus: Open.#115 In hyperpolymath/nextgen-typing;Estate tracking: verify + sign the per-repo AFFIRMATIONs (run suites in-env, GPG-sign, re-anchor to main)
governancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementpriority:p2Normal - queue itNormal - queue itscope:estateAffects many or all repos across the estateAffects many or all repos across the estatetestingTests, benchmarks, fuzzing, property checks, coverageTests, benchmarks, fuzzing, property checks, coverageStatus: 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 workingpriority:p1High - schedule nextHigh - schedule nextscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked upStatus: 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 documentationpriority:p3Low - nice to haveLow - nice to havescope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked upStatus: Open.#58 In hyperpolymath/nextgen-typing;ci(proofs): build verification/proofs/ in CI — nothing runs
just proof-check-allcicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesfeeds:valence-shellFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes thereFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes therepriority:p2Normal - queue itNormal - queue itproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked upStatus: 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 workingpriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked upStatus: Open.#53 In hyperpolymath/nextgen-typing;Remove committed Idris2 build artifacts under src/interface/build/ttc/
enhancementNew feature or requestNew feature or requestfeeds:valence-shellFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes thereFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes therepriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked upStatus: 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 workingpriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked upStatus: Open.#47 In hyperpolymath/nextgen-typing;docs: fix stale
src/abi/references (SD022 ×4)documentationImprovements or additions to documentationImprovements or additions to documentationpriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked upStatus: Open.#42 In hyperpolymath/nextgen-typing;