-
Notifications
You must be signed in to change notification settings - Fork 2
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#86 In MathNetwork/OpenGA;
- Status: Open.#85 In MathNetwork/OpenGA;
- Status: Open.#61 In MathNetwork/OpenGA;
Tier 3: draft docs/AI_COLLAB.md — AI-driven PR conventions
architectureDesign / module organization changesDesign / module organization changesdocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#56 In MathNetwork/OpenGA;Tier 3: design — IsStationary/IsStable/IsUnstable quantified-Prop vs explicit-g
architectureDesign / module organization changesDesign / module organization changesquestionFurther information is requestedFurther information is requestedStatus: Open.#55 In MathNetwork/OpenGA;Tier 2: split files exceeding 800 LOC into themed sub-modules
architectureDesign / module organization changesDesign / module organization changesrefactorCode restructuring / reorganizationCode restructuring / reorganizationStatus: Open.#54 In MathNetwork/OpenGA;Tier 2: drive shake baseline 38 → 0
refactorCode restructuring / reorganizationCode restructuring / reorganizationtech-debtKnown engineering debt to clean upKnown engineering debt to clean upStatus: Open.#53 In MathNetwork/OpenGA;Tier 1: add README.md to 20 sub-directories currently lacking one
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#52 In MathNetwork/OpenGA;Tier 1: eliminate maxHeartbeats 800000 hack in BundleSectionContinuity.lean
tech-debtKnown engineering debt to clean upKnown engineering debt to clean upStatus: Open.#51 In MathNetwork/OpenGA;Tier 1: finish strict-defeq workaround removal (~7 sites left after #43)
blocked-upstreamWaiting on Mathlib / Lean upstreamWaiting on Mathlib / Lean upstreamtech-debtKnown engineering debt to clean upKnown engineering debt to clean upStatus: Open.#50 In MathNetwork/OpenGA;Tier 1: omit hm — replace 'linter.unusedSectionVars false' with surgical omit (22 files)
refactorCode restructuring / reorganizationCode restructuring / reorganizationtech-debtKnown engineering debt to clean upKnown engineering debt to clean upStatus: Open.#49 In MathNetwork/OpenGA;[Umbrella] Post-cascade engineering sweep — tech-debt cleanup after explicit-g landing
architectureDesign / module organization changesDesign / module organization changesrefactorCode restructuring / reorganizationCode restructuring / reorganizationtech-debtKnown engineering debt to clean upKnown engineering debt to clean upStatus: Open.#48 In MathNetwork/OpenGA;