Issues

• Issue hygiene: #1416 and #1665 show unticked boxes for work that has landed

  area:memoryarea:runtime-vmfound-by:duet-auditkind:tracking
  InauguralSystems/EigenScript#2223 · Filter by author InauguralPhysicist opened on Oct 30, 2026
  1

• Issue hygiene: #1682 duplicates half of #1646, and #2212 plus #2198's open boxes are already in #1688

  area:gfxarea:observerfound-by:duet-auditkind:tracking
  InauguralSystems/EigenScript#2222 · Filter by author InauguralPhysicist opened on Oct 30, 2026
  1

• Issue hygiene: #1184, #1585 and #1709 are about code that was removed; #1678 names two pool arms that no longer exist

  area:memoryfound-by:duet-auditkind:tracking
  InauguralSystems/EigenScript#2221 · Filter by author InauguralPhysicist opened on Oct 30, 2026
  1

• ghcr :edge moves backwards when two main pushes overlap: docker.yml has no concurrency group or tip guard (measured twice in 40 runs)

  area:cifound-by:duet-auditkind:bug
  InauguralSystems/EigenScript#2219 · Filter by author InauguralPhysicist opened on Oct 30, 2026
  1

• X11 title and ctype tests pick their display from $$ and can silently attach to a foreign X server

  area:gfxkind:bug
  InauguralSystems/EigenScript#2216 · Filter by author InauguralPhysicist opened on Oct 30, 2026

• test_gfx_ctype_locale.sh starts Xvfb without -noreset, so a gfx case can die "x11 not available" under load

  area:gfxkind:bug
  InauguralSystems/EigenScript#2215 · Filter by author InauguralPhysicist opened on Oct 30, 2026

• eigs.json cannot declare a test-only dependency (no dev-dependency section)

  area:packagesenhancementfound-by:consumer
  InauguralSystems/EigenScript#2213 · Filter by author InauguralPhysicist opened on Oct 30, 2026

• Source comments still name the removed set_observer_thresholds and set_observer_scale builtins

  area:observerarea:trace-tapefound-by:code-reviewkind:docs-drift
  InauguralSystems/EigenScript#2212 · Filter by author InauguralPhysicist opened on Oct 30, 2026

• test_gfx_utf8_title.sh is flaky under load: the X11 window sometimes fails to open (case 2)

  area:gfxkind:bugstatus:claimed
  InauguralSystems/EigenScript#2204 · Filter by author InauguralPhysicist opened on Oct 30, 2026
  1

• Docs, install.sh and CI names still describe the model capability that #2178 removed

  area:ciarea:docsfound-by:code-reviewkind:docs-drift
  InauguralSystems/EigenScript#2202 · Filter by author InauguralPhysicist opened on Oct 30, 2026
  2

• Source comments still describe the removed set_observer_window; replay still accepts an O win record

  area:observerarea:trace-tapefound-by:code-reviewkind:docs-drift
  InauguralSystems/EigenScript#2198 · Filter by author InauguralPhysicist opened on Oct 29, 2026
  1

• Decision: should an unknown member of an imported module raise instead of reading as null?

  area:runtime-vmfound-by:code-reviewkind:decision
  InauguralSystems/EigenScript#2199 · Filter by author InauguralPhysicist opened on Oct 29, 2026
  1

• Bool index says 'cannot index list' without naming the bool (slice path names it)

  area:runtime-vmbugfound-by:cold-readkind:bugstatus:held
  InauguralSystems/EigenScript#2196 · Filter by author InauguralPhysicist opened on Oct 29, 2026
  1

• A failed --test run ends in an ASSERT FAIL trace from lib/test_runner.eigs

  area:stdlibbugfound-by:cold-readkind:bug
  InauguralSystems/EigenScript#2197 · Filter by author InauguralPhysicist opened on Oct 29, 2026

• Calling a misspelled module member says only 'cannot call null'

  area:runtime-vmbugfound-by:cold-readkind:bugstatus:held
  InauguralSystems/EigenScript#2195 · Filter by author InauguralPhysicist opened on Oct 29, 2026

• Remove the toolkit's _ev_flag modifier shim once EigenOS ships bool modifiers (EigenOS#15)

  area:gfxenhancement
  InauguralSystems/EigenScript#2192 · Filter by author InauguralPhysicist opened on Oct 29, 2026

• Feasibility: a machine-checked no-crash proof of the fuzz harness (Theorem/Anthropic RISC-V Rocq pipeline)

  area:gatesenhancement
  InauguralSystems/EigenScript#2189 · Filter by author InauguralPhysicist opened on Oct 29, 2026
  3

• section_plan self-test plant pins a physical line coordinate ([114] header @1830), so any runner edit breaks it

  area:gateskind:gate-defect
  InauguralSystems/EigenScript#2188 · Filter by author InauguralPhysicist opened on Oct 29, 2026

• --pkg has no transitive resolver: dependencies of dependencies are not installed and the one-pin rule is unenforced

  area:packagesbug
  InauguralSystems/EigenScript#2176 · Filter by author InauguralPhysicist opened on Oct 29, 2026

• --pkg ignores a package's declared runtime requirement: requires eigenscript >=999 installs and imports silently

  area:packagesbug
  InauguralSystems/EigenScript#2175 · Filter by author InauguralPhysicist opened on Oct 29, 2026

• ML package (first --pkg consumer): step plan for #1410's adopted decision

  area:packageskind:tracking
  InauguralSystems/EigenScript#2170 · Filter by author InauguralPhysicist opened on Oct 29, 2026
  5

• Decide: should an imported package read the importing application's incidental globals?

  area:packageskind:decision
  InauguralSystems/EigenScript#2167 · Filter by author InauguralPhysicist opened on Oct 29, 2026
  3

• Caught-and-rethrown errors lose the original call stack and have no cause chain

  area:runtime-vmenhancement
  InauguralSystems/EigenScript#2166 · Filter by author InauguralPhysicist opened on Oct 29, 2026

• Checkable spec, D1: EigenCore-0 (Lean 4 reference interpreter, T1–T5, ref_diff harness), in six steps

  area:observerarea:specarea:trace-tapekind:tracking
  InauguralSystems/EigenScript#2018 · Filter by author InauguralPhysicist opened on Oct 27, 2026
  14

• Checkable spec, D0: pre-register EigenCore-0 (Lean 4 reference interpreter, replay and observation theorems, ref_diff harness)

  area:observerarea:trace-tapekind:tracking
  InauguralSystems/EigenScript#2017 · Filter by author InauguralPhysicist opened on Oct 27, 2026
  8