-
-
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
chore(contractiles): reconcile three overlapping layouts + add INDEX.a2ml
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changepriority:p1High - schedule nextHigh - schedule nextscope:repoConfined to this repositoryConfined to this repositorystatus:blockedCannot proceed until a dependency clearsCannot proceed until a dependency clearsStatus: Open.#124 In hyperpolymath/panic-attack;Hypatia AssailReport ingestion path: design + implement
automationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outenhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourpriority: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.#117 In hyperpolymath/panic-attack;v2.5.5 Phase 3 follow-ups: JitContext consolidation + test-data lexer + block-comment markers
priority: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 uptech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#116 In hyperpolymath/panic-attack;proofs(Layer 3 follow-up): port proven SafePath + SafeUrl into panic-attack
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changemigrationPorting between languages or toolchains (e.g. -> AffineScript)Porting between languages or toolchains (e.g. -> AffineScript)priority: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.#115 In hyperpolymath/panic-attack;proofs(Layer 1.0 follow-up): block-comment + string-literal stripping + composition + position-preservation
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changepriority: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.#114 In hyperpolymath/panic-attack;chapel: Wave 3 — cross-node gasnet/ofi over real NIC (cluster runner required)
cicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesenhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourpriority: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.#87 In hyperpolymath/panic-attack;