►
Description
Updates with Caridy.
A
All
right
welcome
to
the
first
cess
meeting
of
june
2022.
Today
we
have
a
couple
topics
from
karate
updates
on
the
records
and
tuples
proposal:
slash
symbols
as
weak
map,
keys
and
updates
on
the
integration
of
shadow
realm
with
a
html
okay,
please
go
ahead.
B
Yeah,
the
on
the
records
and
tuples,
mostly
on
on
their
single
as
weak
map
keys.
I
believe
the
the
the
latest
update
on
that
is
that
we
are
going
to
allow
well
done
symbols
as
with
map
keys,
but
we
are
not
going
to
allow
symbols
created
via
symbol.
Therefore,
those
are
the
ones
that
will
not
be
suitable
as
a
key
in
a
weak
map,
so
that
seems
seems
like
we
have
a.
B
Yesterday
was
about
the
predicate
and
then
whether
or
not
the
predicate
should
be
about
the
nature
of
the
symbol
or
the
predicate
should
be
about
whether
or
not
something
can
be
a
key
and
a
weak
map.
It
seems
that
for
an
implementer's
feedback,
the
the
the
simple
solution
would
be
to
have
a
predicate
for
the
nature
of
the
symbol.
So
whether
the
symbol
is
a
register
symbol
or
is
it
well-known
symbol
or
any
other
characteristics
of
the
symbol
seems
that
implementers
are
fine
with
that
and
then
in
user
land.
B
You
have
to
do
the
logic
I'm
trying
to
prevent
putting
symbols
that
are
reducer
symbols
into
a
weak
bond,
because
it
will
throw
an
error.
Something
like
that.
B
B
We
don't
know
yet
what
else
we're
going
to
add
to
to
the
weak
maps
as
keys
and
so
on,
and
because
the
moving
target
in
the
future,
it
might
be
a
breaking
changes
or
a
compatibility
problem,
and
we
will
not
be
able
to
really
make
changes
in
the
future
to
the
weak
markets
which
I'm
I'm
okay
with.
So
those
are
the
two
main
points.
B
I
think
there
were
some
more
things
about
records
and
tuples
on
the
on
type
of
script
specifically,
but
I
didn't
follow
up
on
on
the
details
there,
so
I
don't
know
the
details
of
it,
but
obviously
typescript
has
already
toppled
on
and
so
there's
a
terminology
there
and
some
backlog,
part
of
it
and
so
on.
But
I
didn't
really
follow
up
all
the
details
in
that
that
topic.
So
those
are
the
the
two
things
about
symbols
as
we
map
keys.
So
you
have
any
comments
or
anything,
let
me
know,
but
I
guess.
A
I
have
a
one
question,
so
I
suppose,
if
we
have
a
predicate
to
test
what
kind
of
symbol
a
symbol
is
for
polyfills
that
want
to
add
new,
well-known
symbols,
for
example,
they
would
have
to
be
to
be
faithful.
They
would
also
have
to
polyfill
the
predicates
to
fake
that
symbol
being
well
known.
B
B
B
Going
to
be
fine,
because
a
well-known
symbol
will
be
a
symbol
that
is
not
reduced.
A
B
And
and
that
one
will
make
it
just
fine
to
the
right.
The
one
that
cannot
be
used
is
the
one
that
is
registered
via
symbol.ford,
so
it
should
be
very
straightforward
to
have
a
polyfill
for
a
new.
No
well,
not
symbol.
B
A
For
allowing
well-known
symbols,
as
with
map
keys,
because
polyfills
would
have
well,
I
mean
they-
that's
not
true,
they
could
just
use
the
register
symbol.
In
that
case,.
C
Yeah,
the
thing
is
only
a
registered
symbol
can
be
a
faithful
emulation
of
a
well-known
symbol.
So
if
you're
trying
to
shim
a
well
a
new,
well-known
symbol-
and
you
can
only
if
you
do
it
with
an
unregistered
symbol-
there's
no
way
to
do
it
with
an
unregistered
symbol.
Without
coordination
such
that
multiple
rem
realms
that
are
then
put
into
contact,
have
the
same
identity
for
the
shim,
well-known
symbol.
A
A
I
mean
yeah.
Unfortunately,
that
means
that
shims
that
need
to
work
across
realms
for
some
reason
will
need
some
kind
of
coordination
like
that.
C
Yeah
but
right-
and
that
means
that
you
have
to
polyfill
because
of
the
decision
they
made.
C
If
you
want
polyfill
or
I'm
just
going
to
say
shin,
if
you
want
to
shim
a
new,
well-known
symbol
and
you
want
to
do
it
faithfully
for
multiple
realms
without
prior
coordination,
you
have
to
use
a
registered
symbol
and
if
you're
doing
that,
then
one
of
the
things
you
need
to
polyfill,
which
you
can
so
it's
okay
is
you
need
to
polyfill
the
weak
maps
themselves
so
that
they
can
use
the
shimmed
well-known
symbol
which
is
actually
a
registered
symbol
as
a
weak
map
key
and
to
in
order
to
shim
the
weak
map?
C
To
do
that,
you
would
have
to
wrap
the
genuine
weak
map
and
the
genuine
map
use
the
predicate
to
see
what
kind
of
symbol
it
is
and
if
it's
a
registered
symbol
put
it
in
the
internal
map
rather
than
the
internal
weak
map.
So
it's
a
mess,
but
it's
okay,
because
shims
are
often
a
mess.
So
so
no
objection.
D
C
I
I
agree
that
I
think
it
would
have
been
better
to
treat
well-known
symbols
and
registered
symbols
the
same
because
they
you
know
in
terms
of
their
fundamental
properties.
They
really
are
the
same,
but
but
even
with
this,
you
know
bad
decision.
We
can
still
shim
it
so.
A
I
mean
it's
an
interesting
shimming.
A
new,
well-known
symbol
is
an
interesting,
is
an
interesting
constraint
that
might
not
have
been.
A
Completely
understood
when
the
decision
was
made,
if
well-known
symbols
were
disallowed,
then,
as
you
say,
a
shim
becomes
a
lot
easier
yeah
for
like
you,
you
can
shim
a
new,
well-known
symbol
by
just
creating
a
registered
symbol.
A
B
Yep,
it's
not
only
shadow
rom,
there's
like
iframes
and
all
kind
of
things
that
you.
B
A
No
it's
unfortunate,
but
I
understand
the
reasons
for
the
limitation
so
because,
if
we're,
if
we
have
a
predicate
for
wheat
map
keys,
we're
going
to
be
stuck
with
that
result,
even
if
the
keys
change
in
the
future,
so
it's
yeah.
It.
D
C
A
Is
a
good
trade-off
for
now
so.
C
Yeah
the
fact
that
they're
yeah
being
able
to
to
have
a
predicate
for
well-known
symbols
so
so
right
now,
we've
got
some
symbols
that
are
not
static
properties
on
the
simple
constructor
that
are
treated
as
well
known
by
some
implementations
or
what
is
the
status
of
that?
What
was
I
remember,
being
very
confused.
A
I
think
it's
the
one
symbol
that
you
can
only
get
through
to
a
dynamic
call
in
some
weird
case:
yeah,
the
fullback.
A
I
don't,
I
honestly
don't
quite
remember.
I
know
that
one
is
very
weird
and
it's
accord
I
think,
according
to
a
spec,
it
is
a
well-known
symbol,
but
it
isn't.
C
Yeah
so
yeah,
so
the
other
thing
is,
I
mean
not
not
for
the
records
and
tuples
folk
necessarily
to
be
the
ones
to
to
iron
this
out,
but
I
think
it
it's
you
know
we're.
C
We
have
one
of
these
almost
invariants
in
the
language
that
could
be
a
genuine
invariant
if
we
clean
things
up,
which
is
that
the
symbols
that
are
named
by
string
named
properties
on
the
symbol,
constructor
are
exactly
the
well-known
symbols
and
the
I
think
it's
very
unfortunate
that
there
seems
to
be
a
well-known
symbol.
That's
not
that's
not
a
static
property
of
the
symbol,
constructor,
just
because
it's
a
almost
regularity
that
could
as
well
be
irregularity
at
this
point.
B
D
Sorry,
which
well-known
symbol
are
you
talking
about?
That
is
not
on
the
symbol
constructor.
I
never
heard
of
that.
A
A
A
D
Can
we
add
the
language
as
a
former
well-known
symbol,
so
I
think
that's
what
mark
is
suggesting.
A
Yes,
thank
you
cool
and
I
believe
that's
what
karate
is
looking
up
to
see
what
the
resolution
was.
A
A
I
honestly
don't
I
I
we
need
to
look
up
again
where
that
thing
is,
but
it
is.
It
is
just
a
weird
symbol:
I'm
trying
to
look
through
jordan's
yeah.
There
we
go.
If
you
look
at
jordan's
is
well
known,
symbol
package.
He
actually
has
the
test
on
how
to
reach
for
it.
C
A
Think,
according
to
the
spec,
it
is
just
well
known.
Okay,
let
me
here
is
how
to
reach
for
it.
I
guess
I
can
screen
share.
A
Yeah,
so
you
have
to
do
some
weird
calling
of
daytime
formats
with
some
proto
and
stuff,
and
then
the
symbol
gets
added
to
that
objects
from
what
I
remember.
B
B
A
A
That
means
that's
weird,
okay,
so
it's
supposed
to
not
be
so
it's
supposed
to
be
parallel.
C
There's
so
if
it's
still,
if
we
can
still
make
this
consistent,
if
we
solve
a
choice
about
which
way
to
make
this
consistent,
which
it
sounds
like
we
don't
like
we
do,
I
have
one
argument
that,
for
preferring
it
to
be
not
a
well-known
symbol,
which
is
the
entire
intel
package
is
optional,
whereas
if
we
make,
if
it's
a
well-known
symbol,
then
it
needs
to
be
a
property
on
the
symbol.
C
Constructor
or
you
know,
I
say
it
would
need
to
be
a
property
in
the
simple
constructor
and,
of
course,
the
symbol.
Constructor
exists
and
should
have
stable
properties.
Whether
or
not
intel
is
present.
C
So
putting
it
on
the
intel
on
the
symbol.
Constructor
creates
this
odd
coupling
to
between
the
mandatory
symbol,
constructor
and
the
optional
intel
package.
C
Oh,
the
other
thing,
of
course,
is
that
simply
a
non-well-known
symbol,
not
an
anonymous
symbol
when
it's
not
neither
well-known
nor
registered,
is
also
just
trivial
to
shem,
which
is
you
just
the
shem
just
creates
a
new
symbol
and
that's
sort
of
the
end
of
the
shimmy.
A
A
A
Okay,
this
is
probably
the
issue
that
ashley
mentioned.
You
filed
an
issue
on
402.
A
So
apparently,
spider
monkey
is
unique
per
realm
and
v8s
and
javascript
core
are
the
same
across
realms.
A
You,
okay,
jordan
ping,
you
yeah,
so
this
is
the
402
issue
that
was
linked.
I
think
I
would
be
in
favor
of
making
it
non-well-known.
C
A
Correct
it
just
need
tests
to
fail
on
v8
and
and
jsc
yes,
yeah,
okay,.
C
B
B
A
Did
you
want
to
talk
about
html
integration
and
the
fun
topic
of
current
realm.
B
B
All
the
different
specs
that
they
have
there
there
is
a
reference
to
the
current,
the
current
realm
and
also
the
current
global
object,
and-
and
we
got
a
little
bit
of
a
pushback
from
asian
fox
and
well
how
to
change
all
this
and
do
a
inventory
of
all
the
places
where
we
use
these.
So
I
I.
A
Do
you
have
enough
understanding
of
what
the
their
definition
of
current
realm
and
current
objects
and
their
and
why
it's
there
and
what
it's
used
for
is
because
I
don't
quite
understand
what
the
purpose
is.
B
B
But
specifically,
the
is
the
global
object,
the
rom
and
what
they,
what
they
call
the
context
of
the
setting
objects,
which
is
basically
the
update
object
that
contains
all
the
information
about
the
environment
like
this
is
really
the
the
window.
The
details
of
the
window,
so
that
one
to
one
to
one
relationship
is
now
brought
is
now
no
longer
true
because
you
might
have
multiple
global
objects
than
wrong
that
are
under
the
same
setting
objects.
So
it's
no
longer
one
two
one
one,
but.
A
B
A
B
So
as
a
result
of
that
now,
in
the
places
where
we
you
reference,
the
current
rom
or
the
current
global
object,
and
so
on,
which
is
referencing
to
this
one
to
one
to
one
relationship
no
longer
holds
water.
So
you
now
have
to
do
an
inventory
of
all
that
and
either
say
the
current
rom
or
the
current
global
object,
or
you
have
to
say
the
current:
the
root,
the
current
root
rom
or
the
current
root
global
object
or
the
current
or
the
current
settings
or
objects.
B
Yeah
yeah,
so
there
was
a
pushback
there.
So
dominic
proposed
a
couple
of
options:
option
one
is
to
take
the
bullet
and
do
it
in
html
option.
Oh
that's
option
two
option.
One
for
him
was
to
make
changes
in
262
to
somehow
introduce
the
concept
of
the
current
rom
on
the
realm
which
in
262
we
don't
have
that
so
how
to
make
significant
changes
to
define
that
new
concept,
because
we
just
don't
have
like
this-
is
on
the
host,
not
on
the
on
the
language
itself.
B
So
I
feel
that
a
few
comments
there
in
the
thread-
and
it
seems
that
people
are
starting
to
realize
that
maybe
maybe
yeah
maybe
option
two
is
the
way
to
go
just
making
the
changes,
taking
the
bullet,
updating
everything,
and
then
we
go
from
there.
Somebody.
C
Should
somebody
should
warn
them
that,
when
they
refer
to
current
global
object,
they're
going
to
need
to
do
an
inventory
again
once
compartments
are
introduced?.
A
Yeah,
it
might
be,
it
might
be
good
to
do
a
proactive
reach
out
there
see
if
they
can
do
one
refactor
of
the
html
spec
instead
of
two
but.
A
Not
me
either,
I
I
volunteer.
I
volunteer
chris
because
he's
not
here.
B
I
I
think
anik
was
okay
with
maybe
option
two,
so
I'll
do
some
follow-up
there,
but
hopefully
we
can
close
the
loop
and
then
move
on
on
making
the
changes
are
everywhere.
We
can
get
some
help
from
maybe
from
the
gallery
or
someone
to
one
do
the
bulk
of
the
work.
A
Well,
actually,
it's
not
only
the
global
object
from
what
I
remember
the
module
map
is
her
settings
object
right
and
with
this
change,
the
module
map
is
still
per
settings
object,
but
it
will
be
keyed
by
by
realm.
A
Is
for
rom
yeah,
the
module
graph
assumes
for
a
real,
but
it's
still
going
to
be
a
single
module
map
for
the
whole
settings
object,
except
that
there
will
yeah.
There
will
be
different,
multiple
module
graphs
in
it
and
with
compartments.
There
will
also
be
multiple
so
for
compartments.
I
guess
it
will
be
switching
that
module
map
to
be
key
per
compartment
instead
of
being
keep
per
realm.
A
A
How
carrier
confident
are
you
that
html
is
going
to
be
able
to
do
that?
Audit
and.
B
I
think
I
think
we're
gonna
do
it.
I
think
we're
gonna,
do
it
it's
just
a
matter
of
someone
has
to
do
the
work.
Someone
has
to
take
that
bullet
and
it's
kind
of
the
hot
potato,
but
maybe
we
can
we
can
figure.
Who
can
do
that
and
it's
just
like
different
different
aspects,
so
we
have
to
do
it
in
multiple
places.
A
But
so
that
matches
my
understanding,
like
262,
doesn't
have
a
notion
of
current
realm
or
anything
like
that.
I
mean
it
has
a
notion
of
current
realm
in
this,
in
the
sense
that
it's
the
one
executing
right
now.
The
fact
that
the
the
incubator
realm
is
nothing
special
in
the
sense
of
of
262.
Technically
it
could
stop
executing
completely
and
never
have
anything
back
on
the
stack
anymore
on
its
stack
anymore.
A
All
right!
Well,
thanks
for
the
updates,
I
believe
we
have
reached
our
topics
if
yeah,
I
think
that's
good
enough
for
today.