Issues

• madaros lowering SIGSEGVs at 8 MiB stack on trivial nested-for (regression in b10c046e7b..committed-ELF window; launcher path unaffected)

  bugcompiler
  Sounio-lang/sounio#3005 · Filter by author agourakis82 opened on Oct 20, 2026
  3

• Madaros não impõe os efeitos IO (read_file, print) nem Mut (var reatribuída em helper); lean_single impõe

  Sounio-lang/sounio#2834 · Filter by author agourakis82 opened on Oct 6, 2026
  1

• lean_single: read_file trunca em silêncio em 16 MiB

  Sounio-lang/sounio#2832 · Filter by author agourakis82 opened on Oct 6, 2026

• lean_single resolve use relativo ao CWD; Madaros, ao arquivo de entrada

  Sounio-lang/sounio#2831 · Filter by author agourakis82 opened on Oct 6, 2026

• lean_single: depois de print_int(floor(7.9) as i64) o programa para em silêncio

  Sounio-lang/sounio#2829 · Filter by author agourakis82 opened on Oct 6, 2026

• lean_single: o literal 1.0e-300 é arredondado 13 ulps fora (Madaros correto)

  Sounio-lang/sounio#2826 · Filter by author agourakis82 opened on Oct 6, 2026

• Pireus examples/tests: remaining Madaros runtime failures (arena full, miscompile, crashes) and external-material dependencies

  bug
  Sounio-lang/sounio#2820 · Filter by author agourakis82 opened on Oct 6, 2026

• examples/showcase/effect_test_harness.sio cannot run: Madaros parse failure (E-SRB-000), lean_single SIGSEGV

  bug
  Sounio-lang/sounio#2779 · Filter by author agourakis82 opened on Oct 6, 2026

• lean_single loses first-order variance through struct fields, constructor lets, field-returning calls and if; wrong division and correlated variance

  bug
  Sounio-lang/sounio#2776 · Filter by author agourakis82 opened on Oct 6, 2026
  1

• Madaros: calling builtin println without 'with IO' passes souc check (lean_single rejects, E035)

  Sounio-lang/sounio#2760 · Filter by author agourakis82 opened on Oct 5, 2026

• parser: give the impl-method exclusion its own attribution knob (SOUNIO_DISABLE_GLOBAL_INIT_IMPL_EXCLUSION)

  Sounio-lang/sounio#2661 · Filter by author agourakis82 opened on Sep 23, 2026
  1

• epistemic_hessian_transcendentals witness refused with E221 since #2172; Hessian chain rule for tan/atan/tanh/asin/acos is unexercised

  stale
  Sounio-lang/sounio#2507 · Filter by author agourakis82 opened on Sep 14, 2026
  1

• [Bug]: 16 of 18 refusal gates still read rc != 0 as a semantic refusal

  bugconfidence:higheffort:lscope:ciseverity:highstaletraceability:linked
  Sounio-lang/sounio#2425 · Filter by author agourakis82 opened on Sep 6, 2026
  3

• madaros --self-test segfaults at test 24 of 1162 — 97.7% of the compiler's own suite has never run, and 7 tests are failing unseen

  Sounio-lang/sounio#1680 · Filter by author agourakis82 opened on Aug 6, 2026
  2

• lean_single carries its own pre-#1626 decimal->binary64 conversion

  Sounio-lang/sounio#1644 · Filter by author agourakis82 opened on Aug 4, 2026

• Madaros: fully-qualified call without a use declaration compiles but silently misbehaves (no-op, wrong result, or SIGSEGV)

  Sounio-lang/sounio#1568 · Filter by author agourakis82 opened on Jul 30, 2026

• [seed] two lean_single defects: assignment place with two field hops before an index, and named const in array-type position

  Sounio-lang/sounio#1495 · Filter by author agourakis82 opened on Jul 26, 2026

• [compiler] Enforce affine at-most-once semantics in Madaros

  Sounio-lang/sounio#1263 · Filter by author agourakis82 opened on Jul 20, 2026
  4

• native-v2: evolve heap ABI jointly for 16-byte alignment and heap_realloc

  Sounio-lang/sounio#874 · Filter by author agourakis82 opened on Jul 14, 2026

• pub use re-export does not forward symbols (mod.sio facade unusable under lean_single)

  bugscope:compilerstale
  Sounio-lang/sounio#842 · Filter by author agourakis82 opened on Jul 13, 2026
  1

• Madaros: honor contextual f32 typing for decimal literals

  stale
  Sounio-lang/sounio#830 · Filter by author agourakis82 opened on Jul 12, 2026
  1