Issues

• Audit verified stack-Enum MIR allocation effects and root coupling

  Task

  type-rb/type-rb-native#846 · Filter by author hiroki23 opened on Oct 3, 2026
  1

• Prove same-block Hash read-to-write MIR identity and invalidation prerequisites

  Task

  type-rb/type-rb-native#844 · Filter by author hiroki23 opened on Oct 3, 2026
  1

• Retain verified exact literal String query facts in MIR

  Task

  type-rb/type-rb-native#839 · Filter by author hiroki23 opened on Oct 3, 2026
  3

• Fuse verified single-use String indexing with equality in MIR

  Task

  type-rb/type-rb-native#823 · Filter by author hiroki23 opened on Oct 3, 2026
  4

• Specialize verified singleton callable invocations in MIR

  Task

  type-rb/type-rb-native#819 · Filter by author hiroki23 opened on Oct 3, 2026
  3

• Load bundled official package sources through the Native import graph

  Task

  type-rb/type-rb-native#817 · Filter by author hiroki23 opened on Oct 3, 2026
  1

• Generic function templates reject output of a checked type parameter

  Bug

  type-rb/type-rb-native#695 · Filter by author hiroki23 opened on Sep 29, 2026

• Clarify method access on checked Any values after nullable narrowing

  Feature

  type-rb/type-rb-native#692 · Filter by author hiroki23 opened on Sep 29, 2026

• Define nullable-to-Any boxing consistently across execution paths

  Feature

  type-rb/type-rb-native#691 · Filter by author hiroki23 opened on Sep 29, 2026

• Load bundled official package sources from the pinned reference

  Task

  type-rb/type-rb-native#674 · Filter by author hiroki23 opened on Sep 28, 2026
  7

• Select suites with trb test name patterns as documented

  Feature

  type-rb/type-rb-native#643 · Filter by author hiroki23 opened on Sep 26, 2026
  1

• Share official package implementation with the reference

  Initiative

  type-rb/type-rb-native#636 · Filter by author hiroki23 opened on Sep 26, 2026

• Add cooperative scheduling inside Native processes when measured need appears

  Initiative

  type-rb/type-rb-native#633 · Filter by author hiroki23 opened on Sep 26, 2026

• M8: Qualify production web applications on Native

  Initiative

  type-rb/type-rb-native#632 · Filter by author hiroki23 opened on Sep 26, 2026

• M7: Run durable trb/jobs and the trb/http client in Native executables

  Initiative

  type-rb/type-rb-native#631 · Filter by author hiroki23 opened on Sep 26, 2026

• M6: Run trb/orm on MySQL in Native executables

  Initiative

  type-rb/type-rb-native#630 · Filter by author hiroki23 opened on Sep 26, 2026

• M5: Run trb/orm on SQLite in Native executables

  Initiative

  type-rb/type-rb-native#629 · Filter by author hiroki23 opened on Sep 26, 2026

• M4: Serve trb/web applications from Native executables

  Initiative

  type-rb/type-rb-native#628 · Filter by author hiroki23 opened on Sep 26, 2026

• M3c: Supervise worker processes and job lease lifecycles

  Initiative

  type-rb/type-rb-native#627 · Filter by author hiroki23 opened on Sep 26, 2026

• M3b: Provide blocking sockets, deadlines and deterministic resource cleanup

  Initiative

  type-rb/type-rb-native#626 · Filter by author hiroki23 opened on Sep 26, 2026

• M3a: Provide Bytes, JSON and time services in the Native runtime

  Initiative

  type-rb/type-rb-native#625 · Filter by author hiroki23 opened on Sep 26, 2026

• M2: Run TypeRB project tests with trbn test

  Initiative

  type-rb/type-rb-native#624 · Filter by author hiroki23 opened on Sep 26, 2026

• M1: Load complete TypeRB projects with local path packages in trbn

  Initiative

  type-rb/type-rb-native#623 · Filter by author hiroki23 opened on Sep 26, 2026
  5

• Run production web applications on Native

  type-rb/type-rb-native#622 · Filter by author hiroki23 opened on Sep 26, 2026

• Keep main green by running complete compiler units before merge

  Initiative

  type-rb/type-rb-native#608 · Filter by author hiroki23 opened on Sep 26, 2026
  3