-
-
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
Lean FilesystemCNO and LambdaCNO each prove False; lake build reports success and CI never runs the Lean leg
cicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesStatus: Open.#125 In hyperpolymath/absolute-zero;governance: decide whether a Bustfile runner is wanted (old bust.ncl referenced nonexistent ../_base.ncl)
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 gatesgovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementStatus: Open.#81 In hyperpolymath/absolute-zero;automation: automate docs/wiki → GitHub Wiki sync
automationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outdocumentationDocs, prose, diagrams, READMEs, ADRsDocs, prose, diagrams, READMEs, ADRsStatus: Open.#80 In hyperpolymath/absolute-zero;docs: consolidate root MAINTAINERS.adoc (estate, 65L) vs docs/MAINTAINERS.adoc (48L)
documentationDocs, prose, diagrams, READMEs, ADRsDocs, prose, diagrams, READMEs, ADRsStatus: Open.#79 In hyperpolymath/absolute-zero;governance: .machine_readable/svc/README.adoc orphaned after k9 → self-validating rename
documentationDocs, prose, diagrams, READMEs, ADRsDocs, prose, diagrams, READMEs, ADRsgovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementStatus: Open.#78 In hyperpolymath/absolute-zero;security: prune stale .hypatia-ignore entries
automationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outchoreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changeStatus: Open.#77 In hyperpolymath/absolute-zero;governance: .machine_readable/contractiles/Justfile byte-identical to root Justfile
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changegovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementStatus: Open.#76 In hyperpolymath/absolute-zero;build: Justfile dead recipe build-rescript
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 gatesmigrationPorting between languages or toolchains (e.g. -> AffineScript)Porting between languages or toolchains (e.g. -> AffineScript)Status: Open.#75 In hyperpolymath/absolute-zero;docs: maintainer edit — .claude/CLAUDE.md references removed .scm files
documentationDocs, prose, diagrams, READMEs, ADRsDocs, prose, diagrams, READMEs, ADRsStatus: Open.#74 In hyperpolymath/absolute-zero;proof-debt: triage matches proven#107 overly-cautious-OWED pattern — 17 Coq axioms + 5 Idris believe_me's discharge candidates
proofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debttech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#70 In hyperpolymath/absolute-zero;audit: 2 Idris2 postulates in src/abi/Layout.idr — alignment + alignedSize correctness
tech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#27 In hyperpolymath/absolute-zero;