-
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
Replace ambient process-environment access and mutation with injected seams
concurrencyConcurrency, parallelism, and synchronization work, including races and deadlocks.Concurrency, parallelism, and synchronization work, including races and deadlocks.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.#101 In leynos/theoremc;Deny missing documentation on private items across the workspace
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestStatus: Open.#100 In leynos/theoremc;Run Clippy, rustdoc, and Whitaker across the whole workspace in Make and CI
bugSomething isn't workingSomething isn't workingenhancementNew feature or requestNew feature or requesttestingTest coverage, test infrastructure, and verification tooling work.Test coverage, test infrastructure, and verification tooling work.Status: Open.#99 In leynos/theoremc;Align the workspace lint baseline with leynos/netsuke
enhancementNew feature or requestNew feature or requestlowBacklog work, hygiene, or technical debt planned opportunistically, without a strict deadline.Backlog work, hygiene, or technical debt planned opportunistically, without a strict deadline.refactorBehaviour-preserving restructuring that improves code health.Behaviour-preserving restructuring that improves code health.Status: Open.#98 In leynos/theoremc;Align theoremc-macros with syn 3 for prettyplease 0.3.0
bugSomething isn't workingSomething isn't workingmediumRoadmap 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.Status: Open.#84 In leynos/theoremc;RFC 0001: Semantic law templates over composable primaries
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew 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.Status: Open.#80 In leynos/theoremc;docs/theoremc-design.md: reconcile planned vs current Kani emitter/harness-stub labelling
bugSomething isn't workingSomething isn't workingdocumentationImprovements 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.Status: Open.#61 In leynos/theoremc;Deduplicate FixtureName/ExpectedFragment/YamlKey newtype boilerplate via newt-hype
enhancementNew feature or requestNew feature or requestrefactorBehaviour-preserving restructuring that improves code health.Behaviour-preserving restructuring that improves code health.Status: Open.#60 In leynos/theoremc;- Status: Open.#51 In leynos/theoremc;
- Status: Open.#50 In leynos/theoremc;
- Status: Open.#49 In leynos/theoremc;
- Status: Open.#48 In leynos/theoremc;