claudepache/es-invariants: A model for expressing invariants of internal methods in ECMAScript and its application to Proxies

Invariants proposal