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

• [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
  5

• [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

• Audit and widen admission envelopes after exact-kernel scaling

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

• [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

• [Enhancement] Reduce repeated subset-work in box union inclusion-exclusion

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

• [Architecture]: Support computations beyond one MCP request lifetime

  area: architecturearea: mcpstatus: needs-triage
  morluto/jacobian#3566 · Filter by author morluto opened on Sep 9, 2026
  1

• [Hypergraphs] Decide bounded strong domination with explicit vertex witnesses

  status: needs-triage
  morluto/jacobian#3555 · Filter by author morluto opened on Sep 8, 2026

• [Hypergraphs] Support rational-weighted independent selection with higher-order conflicts

  status: needs-triage
  morluto/jacobian#3554 · Filter by author morluto opened on Sep 8, 2026
  1

• [Testing][DX] Tier the long tail of ordinary math tests by evidence role

  area: ciP2: mediumstatus: needs-triagetech-debt
  morluto/jacobian#3465 · Filter by author morluto opened on Sep 7, 2026

• [Testing][DX] Reduce local math feedback time with measured resource-aware parallelism

  area: cienhancementP2: mediumstatus: needs-triage
  morluto/jacobian#3464 · Filter by author morluto opened on Sep 7, 2026