ES-conformant symbol typing - #64451

Open

Michael FIG (michaelfig) wants to merge 6 commits into

microsoft:mainfrom

agoric-labs:mfig/lawful-symbols

Commits on Sep 25, 2026

New RegisteredSymbol<Key> intrinsic
Michael FIG (michaelfig)
committed
9853f5f
Propagate a narrow `unique symbol` as if `const`
Michael FIG (michaelfig)
committed
5865d6a
Verify symbol-keyed object property access
Michael FIG (michaelfig)
committed
99187cd
Place symbol compiler tests in active testdata

Michael FIG (michaelfig)
and
Codex (codex)
committed
f42f422
Avoid unique symbol identities for broad registry keys

Michael FIG (michaelfig)
and
Codex (codex)
committed
9d2d9e6

Commits on Sep 26, 2026

Represent deferred registered symbols with a distinct type flag

Michael FIG (michaelfig)
and
Codex (codex)
committed
c6d0ad8