-
Notifications
You must be signed in to change notification settings - Fork 9
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#1519 In morluto/jacobian;
[Bug]: Advertise stateless math.run as read-only
bugSomething isn't workingSomething isn't workingStatus: Open.#1518 In morluto/jacobian;- Status: Open.#1443 In morluto/jacobian;
[Performance][MCP]: Complete runtime construction consumes the stdio startup timeout budget
area: checkerIndependent checkers and witness verificationIndependent checkers and witness verificationarea: mcpMCP adapter and server integrationMCP adapter and server integrationP1: highShould be addressed in the current or next iterationShould be addressed in the current or next iterationStatus: Open.#1430 In morluto/jacobian;- Status: Open.#1419 In morluto/jacobian;
- Status: Open.#1420 In morluto/jacobian;
[Migration][Test cleanup]: Use local try/finally for remaining raw storage children; do not add a child-group framework
area: architectureStructural refactoring, god classes, and design patternsStructural refactoring, god classes, and design patternsarea: ciCI/CD pipelines, build tooling, and automationCI/CD pipelines, build tooling, and automationP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming worktech-debtTechnical debt and code quality issuesTechnical debt and code quality issuesStatus: Open.#1418 In morluto/jacobian;[Test fixtures][MCP]: Do not invoke owned production servers outside their lifespan
area: architectureStructural refactoring, god classes, and design patternsStructural refactoring, god classes, and design patternsarea: ciCI/CD pipelines, build tooling, and automationCI/CD pipelines, build tooling, and automationarea: mcpMCP adapter and server integrationMCP adapter and server integrationP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming worktech-debtTechnical debt and code quality issuesTechnical debt and code quality issuesStatus: Open.#1417 In morluto/jacobian;[Migration][Test cleanup]: Close remaining ArtifactRepository instances locally; do not add a store-fixture framework
area: architectureStructural refactoring, god classes, and design patternsStructural refactoring, god classes, and design patternsarea: ciCI/CD pipelines, build tooling, and automationCI/CD pipelines, build tooling, and automationP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming worktech-debtTechnical debt and code quality issuesTechnical debt and code quality issuesStatus: Open.#1416 In morluto/jacobian;[Test architecture][Provider]: Prove SAT and SMT complete-portfolio inclusion in one assembled smoke
area: architectureStructural refactoring, god classes, and design patternsStructural refactoring, god classes, and design patternsarea: checkerIndependent checkers and witness verificationIndependent checkers and witness verificationarea: ciCI/CD pipelines, build tooling, and automationCI/CD pipelines, build tooling, and automationP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming worktech-debtTechnical debt and code quality issuesTechnical debt and code quality issuesStatus: Open.#1413 In morluto/jacobian;[Test architecture][MCP]: Separate remote tenant isolation from complete default-portfolio deployment smoke
area: architectureStructural refactoring, god classes, and design patternsStructural refactoring, god classes, and design patternsarea: ciCI/CD pipelines, build tooling, and automationCI/CD pipelines, build tooling, and automationarea: mcpMCP adapter and server integrationMCP adapter and server integrationP1: highShould be addressed in the current or next iterationShould be addressed in the current or next iterationtech-debtTechnical debt and code quality issuesTechnical debt and code quality issuesStatus: Open.#1411 In morluto/jacobian;[Test fixtures][Lean]: Hydrate the authorized state actually under test and close the replacement runtime
area: architectureStructural refactoring, god classes, and design patternsStructural refactoring, god classes, and design patternsarea: ciCI/CD pipelines, build tooling, and automationCI/CD pipelines, build tooling, and automationP1: highShould be addressed in the current or next iterationShould be addressed in the current or next iterationtech-debtTechnical debt and code quality issuesTechnical debt and code quality issuesStatus: Open.#1409 In morluto/jacobian;