Issues

• [Research plan] Track agent-facing discovery, exact handoffs, verification and recovery

  morluto/jacobian#4465 · Filter by author kaoru0822-kitauji opened on Oct 2, 2026

• [Models] Add a tested project_owned_containers primitive and migrate validators to it

  morluto/jacobian#4402 · Filter by author morluto opened on Oct 1, 2026

• [Agent UX evaluation] Compare guidance placement for uncued multi-step mathematical exploration

  morluto/jacobian#4390 · Filter by author morluto opened on Oct 1, 2026
  1

• [Composition]: Differential-form producers return coefficients outside their canonical carrier

  morluto/jacobian#4376 · Filter by author kaoru0822-kitauji opened on Oct 1, 2026

• [Bug]: Multivariate division admits quotients beyond its hidden 1024-term result limit

  morluto/jacobian#4364 · Filter by author kaoru0822-kitauji opened on Sep 30, 2026

• [MCP delivery] Make complete large results and contracts usable within host observation budgets

  area: mcpenhancementP2: mediumstatus: needs-triage
  morluto/jacobian#4341 · Filter by author N0zoM1z0 opened on Sep 30, 2026
  1

• [MCP input/output] Normalize equivalent inputs and preserve exact scalar composition

  area: mcpenhancementP2: mediumstatus: needs-triage
  morluto/jacobian#4340 · Filter by author N0zoM1z0 opened on Sep 30, 2026
  4

• [MCP discovery] Remove cursor bookkeeping from ordinary operation selection

  area: mcpenhancementepic: search-catalogP2: mediumstatus: needs-triage
  morluto/jacobian#4339 · Filter by author N0zoM1z0 opened on Sep 30, 2026

• [MCP] Make lookup and validation errors actionable for agents

  area: mcpbugP2: mediumstatus: needs-triage
  morluto/jacobian#4338 · Filter by author N0zoM1z0 opened on Sep 30, 2026

• [Rational differentials] Admit bounded Hermite-derived remainders in the internal reduction chain

  morluto/jacobian#4327 · Filter by author kaoru0822-kitauji opened on Sep 30, 2026

• Audit and widen admission envelopes after exact-kernel scaling

  morluto/jacobian#3809 · Filter by author morluto opened on Sep 21, 2026
  1

• [Bug][Packaging]: npm MCP launch can time out compiling cypari on Python 3.14

  morluto/jacobian#3798 · Filter by author morluto opened on Sep 20, 2026

• [Polynomial analysis] sup_norm_squared admission admits degree-8/32-digit inputs that exceed the request deadline in the resultant+factor step

  area: kerneldomain: algebraenhancementP3: low
  morluto/jacobian#3788 · Filter by author morluto opened on Sep 17, 2026

• [Number theory] Add square-free admissibility/interval counts and tighten dense Kempner families

  domain: number-theoryfeatureP3: lowrequest: math-operation
  morluto/jacobian#3763 · Filter by author morluto opened on Sep 16, 2026
  2

• [Geometry] Add polytope join/prism/vertex-figure, spline spaces, plane-curve blow-ups, and periodic-fan quotient profile

  domain: algebraic-geometrydomain: geometryfeatureP3: lowrequest: math-operation
  morluto/jacobian#3761 · Filter by author morluto opened on Sep 16, 2026
  2

• [Algebra] Add affine-semigroup Hilbert bases, Graver bases, circuits, and toric ideals

  domain: algebradomain: combinatoricsfeatureP3: lowrequest: math-operation
  morluto/jacobian#3760 · Filter by author morluto opened on Sep 16, 2026
  2

• [Algebra] Add countermodel search, relational cores/CSP, finite character tables, and Weyl structure

  domain: algebradomain: combinatoricsdomain: logic-foundationsfeatureP3: lowrequest: math-operation
  morluto/jacobian#3759 · Filter by author morluto opened on Sep 16, 2026
  3

• [Number theory] Add sup-norm algebraic carrier, modular-form Gamma0(N)/Hecke, and finite-field elliptic arithmetic

  domain: algebradomain: number-theoryfeatureP3: lowrequest: math-operation
  morluto/jacobian#3758 · Filter by author morluto opened on Sep 16, 2026
  2

• [Algebra] Add Koszul homology/exactness, free-algebra ideals, differential Ore type, and Lie structure operations

  domain: algebrafeatureP3: lowrequest: math-operation
  morluto/jacobian#3757 · Filter by author morluto opened on Sep 16, 2026
  2

• [Number theory] Add function-field places/divisors/genus and Galois splitting-field operations

  domain: algebradomain: number-theoryfeatureP3: lowrequest: math-operation
  morluto/jacobian#3756 · Filter by author morluto opened on Sep 16, 2026
  3

• [Architecture]: Unify bounded execution around request envelopes and checked workers

  area: architecturearea: kernelarea: mcpenhancementepic: executeP1: high
  morluto/jacobian#3606 · Filter by author morluto opened on Sep 9, 2026
  1

• [Agent UX]: Stream truthful progress for long-running operations

  area: architecturearea: mcpenhancementepic: executeP2: medium
  morluto/jacobian#3605 · Filter by author morluto opened on Sep 9, 2026
  1

• [Bounded search]: Make exhaustive search prefixes composable and resumable

  area: architecturearea: kernelenhancementepic: executeP1: high
  morluto/jacobian#3604 · Filter by author morluto opened on Sep 9, 2026

• [Discovery] Keep natural mathematical needs within a useful first page

  bugepic: search-catalogP1: high
  morluto/jacobian#3586 · Filter by author morluto opened on Sep 9, 2026
  2

• [Performance] Replace polling lock wait in flint_workprec

  area: kernelenhancementP2: medium
  morluto/jacobian#3579 · Filter by author morluto opened on Sep 9, 2026