ES-conformant symbol typing - #64451

Open

Michael FIG (michaelfig) wants to merge 11 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

Commits on Oct 2, 2026

Relate deferred registered symbols through their keys

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

Commits on Oct 3, 2026

Emit type queries for inaccessible unique symbol aliases

Michael FIG (michaelfig)
and
Codex (codex)
committed
39605ea
Accept intended symbol behavior baselines

Michael FIG (michaelfig)
and
Codex (codex)
committed
8ed748a
Emit inferred registered symbol keys as mapped properties

Michael FIG (michaelfig)
and
Codex (codex)
committed
3457127
Simplify registered symbol type flag masks

Michael FIG (michaelfig)
and
Codex (codex)
committed
10d6b07