Work in progress
-
invariants.md — a model for expressing the Invariants of the Essential Internal Methods of ECMAScript (“the Invariants”);
-
proxies.md — its application to Proxies; more specifically, how to identify the necessary and sufficient integrity checks (the “Integrity Checks”) needed on the result of the trapped internal methods of Proxies in order to maintain the Invariants;
-
(TBW) — discussion on issues around some edge cases revolving around invocation of untrusted user code, namely Proxy over Proxy and invocation of accessors on objects; and how to resolve them.