-
-
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
arena-ai-coding-agent PRs get zero CI signal: all 5 Actions workflows STARTUP_FAILURE (actor not allowed to trigger workflows) — #328 merged on this
priority:p1High - schedule nextHigh - schedule nextscope:repoConfined to this repositoryConfined to this repositoryStatus: Open.#330 In hyperpolymath/echo-types;Actions allow-list live count (92) drifts from the standards canon (93):
tailscale/github-action@*missingpriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositorystatus:blockedCannot proceed until a dependency clearsCannot proceed until a dependency clearstech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#324 In hyperpolymath/echo-types;main is red: Governance
Check documentation(no CONTRIBUTING) and gitleaks generic-api-key at.machine_readable/6a2/STATE.a2ml:261(retire the file)documentationDocs, prose, diagrams, READMEs, ADRsDocs, prose, diagrams, READMEs, ADRsgovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementpriority: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.#323 In hyperpolymath/echo-types;agda.yml installs an unpinned
apt-get install -y agdaat L51 and L176 — the prover under the proofs changes without a commitcicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatespriority: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.#322 In hyperpolymath/echo-types;experimental/echo-additive(7 modules incl. theGradedioid) is in no CI lane; 'typechecks standalone' is unmeasured on mainfeeds: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 uptestingTests, benchmarks, fuzzing, property checks, coverageTests, benchmarks, fuzzing, property checks, coverageStatus: Open.#321 In hyperpolymath/echo-types;Preserved: 4 bit-narrowing Agda modules (36d04b5) on preserve/bit-narrowing-agda-2026-09-11, in no CI lane
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changefeeds: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 havescope:repoConfined to this repositoryConfined to this repositoryStatus: Open.#320 In hyperpolymath/echo-types;governance(licence): LICENSE has no SPDX-License-Identifier header → "Licence consistency" check red
documentationDocs, prose, diagrams, READMEs, ADRsDocs, prose, diagrams, READMEs, ADRspriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositoryStatus: 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, ADRsfeeds: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 havescope:repoConfined to this repositoryConfined to this repositoryStatus: 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 behaviourfeeds: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.#280 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 enforcementpriority: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.#271 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 gatespriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositoryStatus: 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 gatespriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositoryStatus: Open.#268 In hyperpolymath/echo-types;