-
-
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
governance(licence): LICENSE has no SPDX-License-Identifier header → "Licence consistency" check red
documentationDocs, prose, diagrams, READMEs, ADRsDocs, prose, diagrams, READMEs, ADRsStatus: Open.#282 In hyperpolymath/echo-types;Pillar E (external validation): clear paper.adoc [EXPAND] tags, then packaging / DOI / outreach
documentationDocs, prose, diagrams, READMEs, ADRsDocs, prose, diagrams, READMEs, ADRsStatus: Open.#281 In hyperpolymath/echo-types;Mirror the general EchoAggregation into the EchoTypes.jl finite-domain falsifier
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#280 In hyperpolymath/echo-types;governance(hypatia): confirm CSA004 agda_postulate dismissal is documented (likely already closeable)
automationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outchoreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changegovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#272 In hyperpolymath/echo-types;governance(hypatia): no_tests high finding is a false-positive on a proof library — allow-list it
automationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outchoreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changegovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementStatus: Open.#271 In hyperpolymath/echo-types;chore(git): delete merged/closed claude/* branches (GS007 single-main policy)
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changegovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementStatus: Open.#270 In hyperpolymath/echo-types;ci(codeql): language matrix has no in-repo language → SAST records zero results
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.#269 In hyperpolymath/echo-types;security(scorecard): Token-Permissions alert on scorecard.yml is 19 days stale (CSA001/CSA003)
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.#268 In hyperpolymath/echo-types;Real-valued Shannon entropy H(P) = −Σ pᵢ·log pᵢ (reals + probability layer)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#264 In hyperpolymath/echo-types;Extract the retired ordinal/Buchholz/Veblen ladder to its own ordinal-notation repo
refactorRestructuring that preserves observable behaviourRestructuring that preserves observable behaviourStatus: Open.#263 In hyperpolymath/echo-types;Assign echo-types a clade in the gv-clade-index registry
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changegovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementStatus: Open.#197 In hyperpolymath/echo-types;chore: review CLAUDE.md.audit (108 KB) tracked at repo root
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changeStatus: Open.#193 In hyperpolymath/echo-types;