Issues

• optics: the fallible-write carrier (BiAffine) — where a total from forces a throw or a silent pass-through

  Constructive-Programming/eo#117 · Filter by author kryptt opened on Sep 22, 2026

• avro: stryker fails on main since #107 — flow-typed val in totalNominalIndex, then a rollback invariant in AvroBinaryCursor

  Constructive-Programming/eo#115 · Filter by author kryptt opened on Sep 18, 2026

• Automate the kindlings macro-timeout canary — a bare-integer spelling silently disables it

  Constructive-Programming/eo#106 · Filter by author kryptt opened on Sep 18, 2026

• avro: field aliases as a resolution rung — measured, and unsound as a default (crossed-alias counterexample)

  Constructive-Programming/eo#104 · Filter by author kryptt opened on Sep 18, 2026

• avro: the nominal field-resolution rung is quadratic — 208us per drilled hop on a 66-field snake_cased record

  Constructive-Programming/eo#103 · Filter by author kryptt opened on Sep 18, 2026

• avro: AvroCodec.parseInputUnsafe fabricates an empty record on a parse failure, so modifyUnsafe on junk bytes returns a valid payload with all data erased

  Constructive-Programming/eo#101 · Filter by author kryptt opened on Sep 18, 2026

• avro: differential codec probe — ask the codec which slot a field lands in, instead of guessing from names

  Constructive-Programming/eo#100 · Filter by author kryptt opened on Sep 18, 2026

• laws: TargetingLaws / TargetingTests — the only thing that can catch a resolution mechanism's own mistake

  Constructive-Programming/eo#99 · Filter by author kryptt opened on Sep 18, 2026