Issues

• setlocale('') reads the environment as the coarse global.read; narrow it to the env cell

  rigortype/steins#1020 · Filter by author zonuexe opened on Oct 8, 2026

• An unknown \Steins\ attribute is silently ignored, so a misspelled #[\Steins\Effect] declares nothing

  rigortype/steins#1017 · Filter by author zonuexe opened on Oct 7, 2026

• Ambient settings run: a locale read is an effect, decided lexically (ADR-0101)

  rigortype/steins#1000 · Filter by author zonuexe opened on Oct 2, 2026
  4

• A conditionally declared class in the middle of a parent chain is not declined by method dispatch

  rigortype/steins#998 · Filter by author zonuexe opened on Oct 2, 2026

• Throwable::getMessage() on a bound receiver is read as pure, but a subclass can store an object in $message and the accessor runs its __toString

  rigortype/steins#997 · Filter by author zonuexe opened on Oct 2, 2026
  1

• A hooking class declared twice is a missed gap on the declared-receiver hook path

  rigortype/steins#993 · Filter by author zonuexe opened on Oct 2, 2026

• fprintf and vfprintf have no catalog row on either lane

  rigortype/steins#989 · Filter by author zonuexe opened on Oct 2, 2026

• effect.envelope-exceeded quotes a non-UTF-8 effect label in single quotes, which PHP reads as literal backslashes

  rigortype/steins#986 · Filter by author zonuexe opened on Oct 2, 2026

• method_exists() after a null check in the same && does not fold, so call.undefined-method still fires in the guarded body

  bugready-for-agent
  rigortype/steins#984 · Filter by author zonuexe opened on Oct 2, 2026

• In a non-UTF-8 file, docblock class names collapse to U+FFFD and yield strict-tier claims against the wrong class

  bug
  rigortype/steins#983 · Filter by author zonuexe opened on Oct 2, 2026

• Member absence lanes do not see a read inside a condition or a ternary arm

  enhancement
  rigortype/steins#982 · Filter by author zonuexe opened on Oct 2, 2026

• method_exists()/is_callable() narrow a union receiver to the arms that may have the member

  enhancement
  rigortype/steins#981 · Filter by author zonuexe opened on Oct 2, 2026

• Guard regions for compound-statement headers: if/while/for conditions, foreach/switch/match subjects, unset/isset arguments

  enhancement
  rigortype/steins#980 · Filter by author zonuexe opened on Oct 2, 2026

• dl(): decide whether a project-code dl() closes the name valves as eval does

  enhancement
  rigortype/steins#979 · Filter by author zonuexe opened on Oct 2, 2026

• class_exists()/function_exists() on a conditional declaration: carry the declaring condition

  enhancement
  rigortype/steins#978 · Filter by author zonuexe opened on Oct 2, 2026

• phpdoc.stale-param reads the first $name past the type, not the one right after it

  bugready-for-agent
  rigortype/steins#977 · Filter by author zonuexe opened on Oct 2, 2026

• Declarations inside a braced namespace block are lowered as conditional

  bugready-for-agent
  rigortype/steins#973 · Filter by author zonuexe opened on Oct 2, 2026

• Narrow the unseen-target decline through the sidecar's reflected class world

  enhancementready-for-agent
  rigortype/steins#972 · Filter by author zonuexe opened on Oct 2, 2026

• class_alias with a builtin target mints nothing: class.undefined and a proven mismatch

  bugready-for-agent
  rigortype/steins#971 · Filter by author zonuexe opened on Oct 2, 2026

• Throw lane: a catch naming an unseen class proves an escape under a dam

  bugready-for-agent
  rigortype/steins#970 · Filter by author zonuexe opened on Oct 2, 2026

• The value lane resolves a function call by simple name, so another namespace's same-named function shadows a builtin

  bugready-for-agent
  rigortype/steins#969 · Filter by author zonuexe opened on Oct 2, 2026

• array_sum over an int array is typed int|float, so passing it to an int parameter is a maybe-mismatch

  enhancementready-for-human
  rigortype/steins#962 · Filter by author zonuexe opened on Oct 2, 2026

• A never-returning method inherited from a parent class does not end the trace

  bugready-for-agent
  rigortype/steins#961 · Filter by author zonuexe opened on Oct 2, 2026

• An exhaustive match(true) over a foreach-bound alias union reports UnhandledMatchError

  bugready-for-agent
  rigortype/steins#960 · Filter by author zonuexe opened on Oct 2, 2026

• An untainting edge into a @pure-unless-callable-is-impure function drops the callee's unrelated gaps from the bit

  bugready-for-agent
  rigortype/steins#959 · Filter by author zonuexe opened on Oct 2, 2026