-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Prove architecture parity with integration tests and public imports
blockedBlocked by another issue or decisionBlocked by another issue or decisionenhancementNew feature or requestNew feature or requestsplitNeeds smaller follow-up slices before executionNeeds smaller follow-up slices before executionStatus: Open.#23 In jwalin-shah/tensor-logic;Deepen rule induction research loop around conjecturer / solver / guide
blockedBlocked by another issue or decisionBlocked by another issue or decisionenhancementNew feature or requestNew feature or requestsplitNeeds smaller follow-up slices before executionNeeds smaller follow-up slices before executionStatus: Open.#22 In jwalin-shah/tensor-logic;Route program rules and proof search through shared Rule invariants
blockedBlocked by another issue or decisionBlocked by another issue or decisionenhancementNew feature or requestNew feature or requestStatus: Open.#21 In jwalin-shah/tensor-logic;PRD: Deepen tensor logic architecture modules
enhancementNew feature or requestNew feature or requestsplitNeeds smaller follow-up slices before executionNeeds smaller follow-up slices before executionStatus: Open.#16 In jwalin-shah/tensor-logic;