-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
- #931 · jizhengfeng opened
on Apr 30, 2026 39 - #449 · LionSR opened
on Apr 17, 2026 67 - #422 · LionSR opened
on Apr 16, 2026 126
Issues
is:issue state:open
is:issue state:open
Search results
Add \gapnote verdict markers to the paper-gap notes and enforce them in the per-push check
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#2666 In LionSR/MIPStarRE;- Status: Open.#2665 In LionSR/MIPStarRE;
Replace proof-gap bridge registry key with a dedicated policy/protocol category once upstream supports it
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#2658 In LionSR/MIPStarRE;Pin the texra-lean-skills marketplace ref in the CI workflow plugin_marketplaces entries
enhancementNew feature or requestNew feature or requestStatus: Open.#2651 In LionSR/MIPStarRE;