-
Notifications
You must be signed in to change notification settings - Fork 6
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
unobserved:is not verdict-neutral: an elided assignment is missing from the window, so verdicts differ for up to WINDOW_N reads afterwardsbugSomething isn't workingSomething isn't workingStatus: Open.#1049 In InauguralSystems/EigenScript;Observer trajectory lives on an ENVIRONMENT SLOT, so containers cannot carry it: dict fields, list elements and function parameters have no history
bugSomething isn't workingSomething isn't workingStatus: Open.#1048 In InauguralSystems/EigenScript;linalg.solve_linear returns null on a singular system instead of raising, so callers index null and crash far from the cause
bugSomething isn't workingSomething isn't workingStatus: Open.#1047 In InauguralSystems/EigenScript;#915's write-path gate arms per EigsState and monotonically: one predicate read — or a bare "report" string — anywhere in an interpreter state arms entropy bookkeeping for every assignment in every module
bugSomething isn't workingSomething isn't workingStatus: Open.#1046 In InauguralSystems/EigenScript;- Status: Open.#1045 In InauguralSystems/EigenScript;
- Status: Open.#1044 In InauguralSystems/EigenScript;
- Status: Open.#1043 In InauguralSystems/EigenScript;
- Status: Open.#1042 In InauguralSystems/EigenScript;
- Status: Open.#1041 In InauguralSystems/EigenScript;
- Status: Open.#1040 In InauguralSystems/EigenScript;
- Status: Open.#1039 In InauguralSystems/EigenScript;
- Status: Open.#1038 In InauguralSystems/EigenScript;