Repository navigation

feat(core): checked frontend contracts, embedding hosts and persistent REPL state - #33

Open

fffonion wants to merge 13 commits into

feat/generic-typed-frontends

Open

feat(core): checked frontend contracts, embedding hosts and persistent REPL state#33
fffonion wants to merge 13 commits into
masterfrom
feat/generic-typed-frontends

Commits on Oct 13, 2026
- feat(compiler): add checked language-neutral frontend contracts
  fffonion
  committed
  ff87494
- feat(cli): expose embedding hosts and checked REPL modules
  fffonion
  committed
  f02483b
- fix(repl): preserve root bindings and checked session schemas
  fffonion
  committed
  ec42ca2
- feat(vm): add opt-in bounded callable identity maintenance
  fffonion
  committed
  7e5566b
- feat: certify source-bound direct resource capture origins
  fffonion
  committed
  2ae845f
- Preserve rewritten producer provenance and partition capture certification
  fffonion
  committed
  a6863bc
- fix(aot): rebuild validated artifact code in the reader process
  fffonion
  committed
  77692ce
- feat(aot): lower dynamic Number relations and factorial arithmetic
  fffonion
  committed
  58bcae7
- test(aot): point artifact stale-negative fixture at remaining unsupported Number Add
  hermes-core
  committed
  ef09b3f
- feat(cli): opt in to compiler-issued source capture facts
  fffonion
  committed
  27ccb28
- fix(cli): preserve decoded wire error identity
  fffonion
  committed
  5c06e69
- fix(vm): distinguish native synchronization from capture writes
  fffonion
  committed
  15838ad
- fix(vm): preserve dense restore diagnostic identity
  fffonion
  committed
  47cac63