-
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
Unblock production-linked Verus line classification
bugSomething isn't workingSomething isn't workinghighUnblocks delivery within the current sprint or release window. Reaction time is days, not hours.Unblocks delivery within the current sprint or release window. Reaction time is days, not hours.refactorBehaviour-preserving restructuring that improves code health.Behaviour-preserving restructuring that improves code health.Status: Open.#512 In leynos/mdtablefix;Idempotence: a short alphabetic bracket label split by wrapping is rejoined on the second pass
bugSomething isn't workingSomething isn't workinglowBacklog work, hygiene, or technical debt planned opportunistically, without a strict deadline.Backlog work, hygiene, or technical debt planned opportunistically, without a strict deadline.testingTest coverage, test infrastructure, and verification tooling work.Test coverage, test infrastructure, and verification tooling work.Status: Open.#507 In leynos/mdtablefix;Composition theorem: per-pass normal forms with establishment, stability, and preservation obligations (tracking)
enhancementNew feature or requestNew feature or requesthighUnblocks delivery within the current sprint or release window. Reaction time is days, not hours.Unblocks delivery within the current sprint or release window. Reaction time is days, not hours.testingTest coverage, test infrastructure, and verification tooling work.Test coverage, test infrastructure, and verification tooling work.Status: Open.#494 In leynos/mdtablefix;Proof: document-boundary line-ending and BOM normalization is a fixed point
documentationImprovements or additions to documentationImprovements or additions to documentationlowBacklog work, hygiene, or technical debt planned opportunistically, without a strict deadline.Backlog work, hygiene, or technical debt planned opportunistically, without a strict deadline.testingTest coverage, test infrastructure, and verification tooling work.Test coverage, test infrastructure, and verification tooling work.Status: Open.#492 In leynos/mdtablefix;Proof: ellipsis dot-run normalization is locally idempotent and protection-stable
documentationImprovements or additions to documentationImprovements or additions to documentationlowBacklog work, hygiene, or technical debt planned opportunistically, without a strict deadline.Backlog work, hygiene, or technical debt planned opportunistically, without a strict deadline.testingTest coverage, test infrastructure, and verification tooling work.Test coverage, test infrastructure, and verification tooling work.Status: Open.#491 In leynos/mdtablefix;Proof: footnote renumbering is injective and definition reordering is an encounter-order fixed point
enhancementNew feature or requestNew feature or requestmediumRoadmap items to schedule within the current quarter. Clear scope, normal review cycles.Roadmap items to schedule within the current quarter. Clear scope, normal review cycles.testingTest coverage, test infrastructure, and verification tooling work.Test coverage, test infrastructure, and verification tooling work.Status: Open.#490 In leynos/mdtablefix;Proof: ordered-list renumbering is canonical over a preserved event sequence
enhancementNew feature or requestNew feature or requestmediumRoadmap items to schedule within the current quarter. Clear scope, normal review cycles.Roadmap items to schedule within the current quarter. Clear scope, normal review cycles.refactorBehaviour-preserving restructuring that improves code health.Behaviour-preserving restructuring that improves code health.testingTest coverage, test infrastructure, and verification tooling work.Test coverage, test infrastructure, and verification tooling work.Status: Open.#489 In leynos/mdtablefix;Proof: wrapping preserves the logical paragraph on reparse (atoms, hard breaks, block role)
enhancementNew feature or requestNew feature or requestmediumRoadmap items to schedule within the current quarter. Clear scope, normal review cycles.Roadmap items to schedule within the current quarter. Clear scope, normal review cycles.refactorBehaviour-preserving restructuring that improves code health.Behaviour-preserving restructuring that improves code health.testingTest coverage, test infrastructure, and verification tooling work.Test coverage, test infrastructure, and verification tooling work.Status: Open.#488 In leynos/mdtablefix;Proof: canonical table parse(render(t)) == t with escaping, width, and padding lemmas
enhancementNew feature or requestNew feature or requesthighUnblocks delivery within the current sprint or release window. Reaction time is days, not hours.Unblocks delivery within the current sprint or release window. Reaction time is days, not hours.testingTest coverage, test infrastructure, and verification tooling work.Test coverage, test infrastructure, and verification tooling work.Status: Open.#487 In leynos/mdtablefix;Proof: fence transition kernel and LEM-FENCE-NORMALIZATION-PRESERVES-REGIONS
enhancementNew feature or requestNew feature or requesthighUnblocks delivery within the current sprint or release window. Reaction time is days, not hours.Unblocks delivery within the current sprint or release window. Reaction time is days, not hours.refactorBehaviour-preserving restructuring that improves code health.Behaviour-preserving restructuring that improves code health.testingTest coverage, test infrastructure, and verification tooling work.Test coverage, test infrastructure, and verification tooling work.Status: Open.#486 In leynos/mdtablefix;Proof: structural line classifier with Setext, ATX, and thematic-break preservation lemmas
enhancementNew feature or requestNew feature or requesthighUnblocks delivery within the current sprint or release window. Reaction time is days, not hours.Unblocks delivery within the current sprint or release window. Reaction time is days, not hours.refactorBehaviour-preserving restructuring that improves code health.Behaviour-preserving restructuring that improves code health.testingTest coverage, test infrastructure, and verification tooling work.Test coverage, test infrastructure, and verification tooling work.Status: Open.#485 In leynos/mdtablefix;Replace ProcessBuffer::into_out with a consuming finish() and prove chunk conservation
bugSomething isn't workingSomething isn't workingenhancementNew feature or requestNew feature or requestmediumRoadmap items to schedule within the current quarter. Clear scope, normal review cycles.Roadmap items to schedule within the current quarter. Clear scope, normal review cycles.refactorBehaviour-preserving restructuring that improves code health.Behaviour-preserving restructuring that improves code health.testingTest coverage, test infrastructure, and verification tooling work.Test coverage, test infrastructure, and verification tooling work.Status: Open.#483 In leynos/mdtablefix;