-
-
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
blocky-writer: suite boundary declared and wiki seeded — #71 criterion 1 met on our side
priority:p1High - schedule nextHigh - schedule nextquestionFurther information is requestedFurther information is requestedscope:estateAffects many or all repos across the estateAffects many or all repos across the estateStatus: Open.#79 In hyperpolymath/docmatrix;[ARCHITECTURE] Compose optional precision tools without a mandatory Word conversion
architectureStructural/system-level shape and runtime behaviourStructural/system-level shape and runtime behaviourpriority: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.#71 In hyperpolymath/docmatrix;[SAFETY BLOCKER] Do not connect ForthWall exact-placement repair to CI
architectureStructural/system-level shape and runtime behaviourStructural/system-level shape and runtime behaviourautomationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outbindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfacespriority:p0Critical - drop other workCritical - drop other workproofsFormal 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:blockedCannot proceed until a dependency clearsCannot proceed until a dependency clearsstatus:do-not-automateBots and sweeps must not touch this issueBots and sweeps must not touch this issuetestingTests, benchmarks, fuzzing, property checks, coverageTests, benchmarks, fuzzing, property checks, coverageStatus: Open.#70 In hyperpolymath/docmatrix;