Repository navigation

perf(lean): lower byte literals through explicit typed octets - #51

Closed

afflom wants to merge 6 commits into

mainfrom

perf/typed-byte-main

Closed

perf(lean): lower byte literals through explicit typed octets#51
afflom wants to merge 6 commits into
mainfrom
perf/typed-byte-main

Commits on Oct 3, 2026
- perf(compiler): elaborate semantic byte literals without numeral instances
  Alexander Flom
  committed
  a0c5dba
- test(compiler): bind typed-byte lowering to current language contracts
  Alexander Flom
  committed
  d247887
- test(lean): regenerate verified example identities
  Alexander Flom
  committed
  474f0fd
- ci(lean): isolate review-only verification regeneration
  Alexander Flom
  committed
  c3ba388
Commits on Oct 4, 2026
- test(compiler): refresh verified typed-byte audit identities
  Alexander Flom
  committed
  98f1c1a
- test(compiler): align negative fixtures with typed-byte semantics
  Alexander Flom
  committed
  c32a77d