diff --git a/docs/index.html b/docs/index.html
index 6fa17ce..a97bd6f 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -1257,7 +1257,7 @@
 });
 
 let sdoMap = JSON.parse(`{}`);
-let biblio = JSON.parse(`{"refsByClause":{"sec-json.parse":["_ref_0","_ref_1","_ref_2"],"sec-internalizejsonproperty":["_ref_3","_ref_4","_ref_5","_ref_6","_ref_7"],"sec-static-semantics-arrayelementlist":["_ref_8","_ref_9","_ref_10"],"sec-static-semantics-propertydefinitionlist":["_ref_11"],"sec-intro":["_ref_12"]},"entries":[{"type":"step","id":"step-json-parse-validate","referencingIds":["_ref_0"]},{"type":"step","id":"step-json-parse-parse"},{"type":"step","id":"step-json-parse-eval"},{"type":"step","id":"step-json-parse-assert-type","referencingIds":["_ref_1"]},{"type":"op","aoid":"InternalizeJSONProperty","refId":"sec-internalizejsonproperty"},{"type":"clause","id":"sec-internalizejsonproperty","title":"InternalizeJSONProperty ( holder, name, reviver, valNode )","titleHTML":"InternalizeJSONProperty ( <var>holder</var>, <var>name</var>, <var>reviver</var>, <ins><var>valNode</var></ins> )","number":"1.1","referencingIds":["_ref_2","_ref_5","_ref_7"]},{"type":"clause","id":"sec-json.parse","title":"JSON.parse ( text [ , reviver ] )","titleHTML":"JSON.parse ( <var>text</var> [ , <var>reviver</var> ] )","number":"1"},{"type":"op","aoid":"ShallowestContained","refId":"sec-static-semantics-firstcontained"},{"type":"clause","id":"sec-static-semantics-firstcontained","titleHTML":"Static Semantics: ShallowestContained","number":"2","referencingIds":["_ref_3"]},{"type":"op","aoid":"ArrayElementList","refId":"sec-static-semantics-arrayelementlist"},{"type":"clause","id":"sec-static-semantics-arrayelementlist","titleHTML":"Static Semantics: ArrayElementList","number":"3","referencingIds":["_ref_4","_ref_8","_ref_9","_ref_10"]},{"type":"op","aoid":"PropertyDefinitionList","refId":"sec-static-semantics-propertydefinitionlist"},{"type":"clause","id":"sec-static-semantics-propertydefinitionlist","titleHTML":"Static Semantics: PropertyDefinitionList","number":"4","referencingIds":["_ref_6","_ref_11","_ref_12"]},{"type":"clause","id":"sec-copyright-and-software-license","title":"Copyright & Software License","titleHTML":"Copyright &amp; Software License","number":"A"}]}`);
+let biblio = JSON.parse(`{"refsByClause":{"sec-json.parse":["_ref_0","_ref_1","_ref_2"],"sec-internalizejsonproperty":["_ref_3","_ref_4","_ref_5","_ref_6","_ref_7"],"sec-static-semantics-arrayelementlist":["_ref_8","_ref_9","_ref_10"],"sec-static-semantics-propertydefinitionlist":["_ref_11"],"sec-intro":["_ref_12"]},"entries":[{"type":"term","term":"%JSON%","refId":"sec-json-object"},{"type":"clause","id":"sec-json.israwjson","title":"JSON.isRawJSON ( O )","titleHTML":"JSON.isRawJSON ( <var>O</var> )","number":"1.1"},{"type":"step","id":"step-json-parse-validate","referencingIds":["_ref_0"]},{"type":"step","id":"step-json-parse-parse"},{"type":"step","id":"step-json-parse-eval"},{"type":"step","id":"step-json-parse-assert-type","referencingIds":["_ref_1"]},{"type":"op","aoid":"InternalizeJSONProperty","refId":"sec-internalizejsonproperty"},{"type":"clause","id":"sec-internalizejsonproperty","title":"InternalizeJSONProperty ( holder, name, reviver, valNode )","titleHTML":"InternalizeJSONProperty ( <var>holder</var>, <var>name</var>, <var>reviver</var>, <ins><var>valNode</var></ins> )","number":"1.2.1","referencingIds":["_ref_2","_ref_5","_ref_7"]},{"type":"clause","id":"sec-json.parse","title":"JSON.parse ( text [ , reviver ] )","titleHTML":"JSON.parse ( <var>text</var> [ , <var>reviver</var> ] )","number":"1.2"},{"type":"clause","id":"sec-json.rawjson","title":"JSON.rawJSON ( text )","titleHTML":"JSON.rawJSON ( <var>text</var> )","number":"1.3"},{"type":"op","aoid":"SerializeJSONProperty","refId":"sec-serializejsonproperty"},{"type":"clause","id":"sec-serializejsonproperty","title":"SerializeJSONProperty ( state, key, holder )","titleHTML":"SerializeJSONProperty ( <var>state</var>, <var>key</var>, <var>holder</var> )","number":"1.4.1"},{"type":"clause","id":"sec-json.stringify","title":"JSON.stringify ( value [ , replacer [ , space ] ] )","titleHTML":"JSON.stringify ( <var>value</var> [ , <var>replacer</var> [ , <var>space</var> ] ] )","number":"1.4"},{"type":"clause","id":"sec-json-object","titleHTML":"The JSON Object","number":"1"},{"type":"op","aoid":"ShallowestContained","refId":"sec-static-semantics-firstcontained"},{"type":"clause","id":"sec-static-semantics-firstcontained","titleHTML":"Static Semantics: ShallowestContained","number":"2","referencingIds":["_ref_3"]},{"type":"op","aoid":"ArrayElementList","refId":"sec-static-semantics-arrayelementlist"},{"type":"clause","id":"sec-static-semantics-arrayelementlist","titleHTML":"Static Semantics: ArrayElementList","number":"3","referencingIds":["_ref_4","_ref_8","_ref_9","_ref_10"]},{"type":"op","aoid":"PropertyDefinitionList","refId":"sec-static-semantics-propertydefinitionlist"},{"type":"clause","id":"sec-static-semantics-propertydefinitionlist","titleHTML":"Static Semantics: PropertyDefinitionList","number":"4","referencingIds":["_ref_6","_ref_11","_ref_12"]},{"type":"clause","id":"sec-copyright-and-software-license","title":"Copyright & Software License","titleHTML":"Copyright &amp; Software License","number":"A"}]}`);
 ;let usesMultipage = false</script><style>body {
   display: flex;
   font-size: 18px;
@@ -2522,27 +2522,49 @@
 </ul></div><div id="menu-toggle"><svg xmlns="http://www.w3.org/2000/svg" style="width:100%; height:100%; stroke:currentColor" viewBox="0 0 120 120">
       <title>Menu</title>
       <path stroke-width="10" stroke-linecap="round" d="M30,60 h60  M30,30 m0,5 h60  M30,90 m0,-5 h60"></path>
-    </svg></div><div id="menu-spacer"></div><div id="menu"><div id="menu-search"><input type="text" id="menu-search-box" placeholder="Search..."><div id="menu-search-results" class="inactive"></div></div><div id="menu-pins"><div class="menu-pane-header">Pins</div><ul id="menu-pins-list"></ul></div><div class="menu-pane-header">Table of Contents</div><div id="menu-toc"><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-json.parse" title="JSON.parse ( text [ , reviver ] )"><span class="secnum">1</span> JSON.parse ( <var>text</var> [ , <var>reviver</var> ] )</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-internalizejsonproperty" title="InternalizeJSONProperty ( holder, name, reviver, valNode )"><span class="secnum">1.1</span> InternalizeJSONProperty ( <var>holder</var>, <var>name</var>, <var>reviver</var>, <ins><var>valNode</var></ins> )</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-firstcontained" title="Static Semantics: ShallowestContained"><span class="secnum">2</span> SS: ShallowestContained</a></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-arrayelementlist" title="Static Semantics: ArrayElementList"><span class="secnum">3</span> SS: ArrayElementList</a></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-propertydefinitionlist" title="Static Semantics: PropertyDefinitionList"><span class="secnum">4</span> SS: PropertyDefinitionList</a></li><li><span class="item-toggle-none"></span><a href="#sec-copyright-and-software-license" title="Copyright &amp; Software License"><span class="secnum">A</span> Copyright &amp; Software License</a></li></ol></div></div><div id="spec-container"><h1 class="shortname">Proposal <a href="<no location>"></a><a href="https://github.com/tc39/proposal-json-parse-with-source">proposal-json-parse-with-source</a></h1><h1 class="version">Stage 2 Draft / May 27, 2022</h1><h1 class="title">JSON.parse source text access</h1>
-
-<emu-clause id="sec-json.parse">
-  <h1><span class="secnum">1</span> JSON.parse ( <var>text</var> [ , <var>reviver</var> ] )</h1>
-  <p>The <code>parse</code> function parses a JSON text (a JSON-formatted String) and produces an <emu-xref href="#sec-ecmascript-language-types"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types">ECMAScript language value</a></emu-xref>. The JSON format represents literals, arrays, and objects with a syntax similar to the syntax for ECMAScript literals, Array Initializers, and Object Initializers. After parsing, JSON objects are realized as ECMAScript objects. JSON arrays are realized as ECMAScript Array instances. JSON strings, numbers, booleans, and null are realized as ECMAScript Strings, Numbers, Booleans, and <emu-val>null</emu-val>.</p>
-  <p>The optional <var>reviver</var> parameter is a function that takes <del>two</del><ins>three</ins> parameters, <var>key</var> and <var>value</var> <ins>and a <var>context</var> object</ins>. It can filter and transform the results. It is called with each of the <var>key</var>/<var>value</var> pairs produced by the parse <ins>and details of their corresponding <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref></ins>, and its return value is used instead of the original value. If it returns what it received, the structure is not modified. If it returns <emu-val>undefined</emu-val> then the property is deleted from the result.</p>
-  <emu-alg><ol><li>Let <var>jsonString</var> be ?&nbsp;<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>text</var>).</li><li id="step-json-parse-validate">Parse <emu-xref aoid="StringToCodePoints"><a href="https://tc39.es/ecma262/#sec-stringtocodepoints">StringToCodePoints</a></emu-xref>(<var>jsonString</var>) as a JSON text as specified in ECMA-404. Throw a <emu-val>SyntaxError</emu-val> exception if it is not a valid JSON text as defined in that specification.</li><li>Let <var>scriptString</var> be the <emu-xref href="#string-concatenation"><a href="https://tc39.es/ecma262/#string-concatenation">string-concatenation</a></emu-xref> of <emu-val>"("</emu-val>, <var>jsonString</var>, and <emu-val>");"</emu-val>.</li><li id="step-json-parse-parse">Let <var>script</var> be <emu-xref aoid="ParseText"><a href="https://tc39.es/ecma262/#sec-parsetext">ParseText</a></emu-xref>(<emu-xref aoid="StringToCodePoints"><a href="https://tc39.es/ecma262/#sec-stringtocodepoints">StringToCodePoints</a></emu-xref>(<var>scriptString</var>), <emu-nt><a href="https://tc39.es/ecma262/#prod-Script">Script</a></emu-nt>).</li><li>NOTE: The <emu-xref href="#early-error"><a href="https://tc39.es/ecma262/#early-error">early error</a></emu-xref> rules defined in <emu-xref href="#sec-object-initializer-static-semantics-early-errors"><a href="https://tc39.es/ecma262/#sec-object-initializer-static-semantics-early-errors">13.2.5.1</a></emu-xref> have special handling for the above invocation of <emu-xref aoid="ParseText"><a href="https://tc39.es/ecma262/#sec-parsetext">ParseText</a></emu-xref>.</li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>script</var> is a <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref>.</li><li id="step-json-parse-eval">Let <var>completion</var> be the result of evaluating <var>script</var>.</li><li>NOTE: The <emu-xref aoid="PropertyDefinitionEvaluation"><a href="https://tc39.es/ecma262/#sec-runtime-semantics-propertydefinitionevaluation">PropertyDefinitionEvaluation</a></emu-xref> semantics defined in <emu-xref href="#sec-runtime-semantics-propertydefinitionevaluation"><a href="https://tc39.es/ecma262/#sec-runtime-semantics-propertydefinitionevaluation">13.2.5.5</a></emu-xref> have special handling for the above evaluation.</li><li>Let <var>unfiltered</var> be <var>completion</var>.[[Value]].</li><li id="step-json-parse-assert-type"><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>unfiltered</var> is either a String, Number, Boolean, Null, or an Object that is defined by either an <emu-nt><a href="https://tc39.es/ecma262/#prod-ArrayLiteral">ArrayLiteral</a></emu-nt> or an <emu-nt><a href="https://tc39.es/ecma262/#prod-ObjectLiteral">ObjectLiteral</a></emu-nt>.</li><li>If <emu-xref aoid="IsCallable"><a href="https://tc39.es/ecma262/#sec-iscallable">IsCallable</a></emu-xref>(<var>reviver</var>) is <emu-val>true</emu-val>, then<ol><li>Let <var>root</var> be <emu-xref aoid="OrdinaryObjectCreate"><a href="https://tc39.es/ecma262/#sec-ordinaryobjectcreate">OrdinaryObjectCreate</a></emu-xref>(<emu-xref href="#sec-properties-of-the-object-prototype-object"><a href="https://tc39.es/ecma262/#sec-properties-of-the-object-prototype-object">%Object.prototype%</a></emu-xref>).</li><li>Let <var>rootName</var> be the empty String.</li><li>Perform !&nbsp;<emu-xref aoid="CreateDataPropertyOrThrow"><a href="https://tc39.es/ecma262/#sec-createdatapropertyorthrow">CreateDataPropertyOrThrow</a></emu-xref>(<var>root</var>, <var>rootName</var>, <var>unfiltered</var>).</li><li>Return ?&nbsp;<emu-xref aoid="InternalizeJSONProperty" id="_ref_2"><a href="#sec-internalizejsonproperty">InternalizeJSONProperty</a></emu-xref>(<var>root</var>, <var>rootName</var>, <var>reviver</var><ins>, <var>script</var></ins>).</li></ol></li><li>Else,<ol><li>Return <var>unfiltered</var>.</li></ol></li></ol></emu-alg>
-  <p>The <emu-val>"length"</emu-val> property of the <code>parse</code> function is <emu-val>2</emu-val><sub>𝔽</sub>.</p>
-  <emu-note><span class="note">Note</span><div class="note-contents">
-    <p>Valid JSON text is a subset of the ECMAScript <emu-nt><a href="https://tc39.es/ecma262/#prod-PrimaryExpression">PrimaryExpression</a></emu-nt> syntax. Step <emu-xref href="#step-json-parse-validate" id="_ref_0"><a href="#step-json-parse-validate">2</a></emu-xref> verifies that <var>jsonString</var> conforms to that subset, and step <emu-xref href="#step-json-parse-assert-type" id="_ref_1"><a href="#step-json-parse-assert-type">10</a></emu-xref> asserts that that parsing and evaluation returns a value of an appropriate type.</p>
-    <p>However, because <emu-xref href="#sec-runtime-semantics-propertydefinitionevaluation"><a href="https://tc39.es/ecma262/#sec-runtime-semantics-propertydefinitionevaluation">13.2.5.5</a></emu-xref> behaves differently during <code>JSON.parse</code>, the same source text can produce different results when evaluated as a <emu-nt><a href="https://tc39.es/ecma262/#prod-PrimaryExpression">PrimaryExpression</a></emu-nt> rather than as JSON. Furthermore, the Early Error for duplicate <emu-val>"__proto__"</emu-val> properties in object literals, which likewise does not apply during <code>JSON.parse</code>, means that not all texts accepted by <code>JSON.parse</code> are valid as a <emu-nt><a href="https://tc39.es/ecma262/#prod-PrimaryExpression">PrimaryExpression</a></emu-nt>, despite matching the grammar.</p>
-  </div></emu-note>
-
-  <emu-clause id="sec-internalizejsonproperty" type="abstract operation" aoid="InternalizeJSONProperty">
-    <h1><span class="secnum">1.1</span> InternalizeJSONProperty ( <var>holder</var>, <var>name</var>, <var>reviver</var>, <ins><var>valNode</var></ins> )</h1>
-    <p>The abstract operation InternalizeJSONProperty takes arguments <var>holder</var> (an Object), <var>name</var> (a String), <var>reviver</var> (a <emu-xref href="#function-object"><a href="https://tc39.es/ecma262/#function-object">function object</a></emu-xref>), and <ins><var>valNode</var> (a <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref>)</ins> and returns either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> an <emu-xref href="#sec-ecmascript-language-types"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types">ECMAScript language value</a></emu-xref> or an <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">abrupt completion</a></emu-xref>.</p>
-    <emu-note><span class="note">Note 1</span><div class="note-contents">
-      <p>This algorithm intentionally does not throw an exception if either [[Delete]] or <emu-xref aoid="CreateDataProperty"><a href="https://tc39.es/ecma262/#sec-createdataproperty">CreateDataProperty</a></emu-xref> return <emu-val>false</emu-val>.</p>
+    </svg></div><div id="menu-spacer"></div><div id="menu"><div id="menu-search"><input type="text" id="menu-search-box" placeholder="Search..."><div id="menu-search-results" class="inactive"></div></div><div id="menu-pins"><div class="menu-pane-header">Pins</div><ul id="menu-pins-list"></ul></div><div class="menu-pane-header">Table of Contents</div><div id="menu-toc"><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-json-object" title="The JSON Object"><span class="secnum">1</span> The JSON Object</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-json.israwjson" title="JSON.isRawJSON ( O )"><span class="secnum">1.1</span> JSON.isRawJSON ( <var>O</var> )</a></li><li><span class="item-toggle">◢</span><a href="#sec-json.parse" title="JSON.parse ( text [ , reviver ] )"><span class="secnum">1.2</span> JSON.parse ( <var>text</var> [ , <var>reviver</var> ] )</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-internalizejsonproperty" title="InternalizeJSONProperty ( holder, name, reviver, valNode )"><span class="secnum">1.2.1</span> InternalizeJSONProperty ( <var>holder</var>, <var>name</var>, <var>reviver</var>, <ins><var>valNode</var></ins> )</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-json.rawjson" title="JSON.rawJSON ( text )"><span class="secnum">1.3</span> JSON.rawJSON ( <var>text</var> )</a></li><li><span class="item-toggle">◢</span><a href="#sec-json.stringify" title="JSON.stringify ( value [ , replacer [ , space ] ] )"><span class="secnum">1.4</span> JSON.stringify ( <var>value</var> [ , <var>replacer</var> [ , <var>space</var> ] ] )</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-serializejsonproperty" title="SerializeJSONProperty ( state, key, holder )"><span class="secnum">1.4.1</span> SerializeJSONProperty ( <var>state</var>, <var>key</var>, <var>holder</var> )</a></li></ol></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-firstcontained" title="Static Semantics: ShallowestContained"><span class="secnum">2</span> SS: ShallowestContained</a></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-arrayelementlist" title="Static Semantics: ArrayElementList"><span class="secnum">3</span> SS: ArrayElementList</a></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-propertydefinitionlist" title="Static Semantics: PropertyDefinitionList"><span class="secnum">4</span> SS: PropertyDefinitionList</a></li><li><span class="item-toggle-none"></span><a href="#sec-copyright-and-software-license" title="Copyright &amp; Software License"><span class="secnum">A</span> Copyright &amp; Software License</a></li></ol></div></div><div id="spec-container"><h1 class="shortname">Proposal <a href="<no location>"></a><a href="https://github.com/tc39/proposal-json-parse-with-source">proposal-json-parse-with-source</a></h1><h1 class="version">Stage 2 Draft / May 28, 2022</h1><h1 class="title">JSON.parse source text access</h1>
+
+<emu-clause id="sec-json-object">
+  <h1><span class="secnum">1</span> The JSON Object</h1>
+  <p>The JSON object:</p>
+  <ul>
+    <li>is <dfn>%JSON%</dfn>.</li>
+    <li>is the initial value of the <emu-val>"JSON"</emu-val> property of the <emu-xref href="#sec-global-object"><a href="https://tc39.es/ecma262/#sec-global-object">global object</a></emu-xref>.</li>
+    <li>is an <emu-xref href="#ordinary-object"><a href="https://tc39.es/ecma262/#ordinary-object">ordinary object</a></emu-xref>.</li>
+    <li>contains <del>two functions, <code>parse</code> and <code>stringify</code>,</del><ins>functions</ins> that are used to parse and construct JSON texts.</li>
+    <li>has a [[Prototype]] internal slot whose value is <emu-xref href="#sec-properties-of-the-object-prototype-object"><a href="https://tc39.es/ecma262/#sec-properties-of-the-object-prototype-object">%Object.prototype%</a></emu-xref>.</li>
+    <li>does not have a [[Construct]] internal method; it cannot be used as a <emu-xref href="#constructor"><a href="https://tc39.es/ecma262/#constructor">constructor</a></emu-xref> with the <code>new</code> operator.</li>
+    <li>does not have a [[Call]] internal method; it cannot be invoked as a function.</li>
+  </ul>
+  <p>The JSON Data Interchange Format is defined in ECMA-404. The JSON interchange format used in this specification is exactly that described by ECMA-404. Conforming implementations of <code>JSON.parse</code> and <code>JSON.stringify</code> must support the exact interchange format described in the ECMA-404 specification without any deletions or extensions to the format.</p>
+
+  <ins class="block">
+    <emu-clause id="sec-json.israwjson">
+      <h1><span class="secnum">1.1</span> JSON.isRawJSON ( <var>O</var> )</h1>
+      <p>This function performs the following steps when called:</p>
+      <emu-alg><ol><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>O</var>) is Object and <var>O</var> has an [[IsRawJSON]] internal slot, return <emu-val>true</emu-val>.</li><li>Return <emu-val>false</emu-val>.</li></ol></emu-alg>
+    </emu-clause>
+  </ins>
+
+  <emu-clause id="sec-json.parse">
+    <h1><span class="secnum">1.2</span> JSON.parse ( <var>text</var> [ , <var>reviver</var> ] )</h1>
+    <p>The <code>parse</code> function parses a JSON text (a JSON-formatted String) and produces an <emu-xref href="#sec-ecmascript-language-types"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types">ECMAScript language value</a></emu-xref>. The JSON format represents literals, arrays, and objects with a syntax similar to the syntax for ECMAScript literals, Array Initializers, and Object Initializers. After parsing, JSON objects are realized as ECMAScript objects. JSON arrays are realized as ECMAScript Array instances. JSON strings, numbers, booleans, and null are realized as ECMAScript Strings, Numbers, Booleans, and <emu-val>null</emu-val>.</p>
+    <p>The optional <var>reviver</var> parameter is a function that takes <del>two</del><ins>three</ins> parameters, <var>key</var> and <var>value</var> <ins>and a <var>context</var> object</ins>. It can filter and transform the results. It is called with each of the <var>key</var>/<var>value</var> pairs produced by the parse <ins>and details of their corresponding <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref></ins>, and its return value is used instead of the original value. If it returns what it received, the structure is not modified. If it returns <emu-val>undefined</emu-val> then the property is deleted from the result.</p>
+    <emu-alg><ol><li>Let <var>jsonString</var> be ?&nbsp;<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>text</var>).</li><li id="step-json-parse-validate">Parse <emu-xref aoid="StringToCodePoints"><a href="https://tc39.es/ecma262/#sec-stringtocodepoints">StringToCodePoints</a></emu-xref>(<var>jsonString</var>) as a JSON text as specified in ECMA-404. Throw a <emu-val>SyntaxError</emu-val> exception if it is not a valid JSON text as defined in that specification.</li><li>Let <var>scriptString</var> be the <emu-xref href="#string-concatenation"><a href="https://tc39.es/ecma262/#string-concatenation">string-concatenation</a></emu-xref> of <emu-val>"("</emu-val>, <var>jsonString</var>, and <emu-val>");"</emu-val>.</li><li id="step-json-parse-parse">Let <var>script</var> be <emu-xref aoid="ParseText"><a href="https://tc39.es/ecma262/#sec-parsetext">ParseText</a></emu-xref>(<emu-xref aoid="StringToCodePoints"><a href="https://tc39.es/ecma262/#sec-stringtocodepoints">StringToCodePoints</a></emu-xref>(<var>scriptString</var>), <emu-nt><a href="https://tc39.es/ecma262/#prod-Script">Script</a></emu-nt>).</li><li>NOTE: The <emu-xref href="#early-error"><a href="https://tc39.es/ecma262/#early-error">early error</a></emu-xref> rules defined in <emu-xref href="#sec-object-initializer-static-semantics-early-errors"><a href="https://tc39.es/ecma262/#sec-object-initializer-static-semantics-early-errors">13.2.5.1</a></emu-xref> have special handling for the above invocation of <emu-xref aoid="ParseText"><a href="https://tc39.es/ecma262/#sec-parsetext">ParseText</a></emu-xref>.</li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>script</var> is a <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref>.</li><li id="step-json-parse-eval">Let <var>completion</var> be the result of evaluating <var>script</var>.</li><li>NOTE: The <emu-xref aoid="PropertyDefinitionEvaluation"><a href="https://tc39.es/ecma262/#sec-runtime-semantics-propertydefinitionevaluation">PropertyDefinitionEvaluation</a></emu-xref> semantics defined in <emu-xref href="#sec-runtime-semantics-propertydefinitionevaluation"><a href="https://tc39.es/ecma262/#sec-runtime-semantics-propertydefinitionevaluation">13.2.5.5</a></emu-xref> have special handling for the above evaluation.</li><li>Let <var>unfiltered</var> be <var>completion</var>.[[Value]].</li><li id="step-json-parse-assert-type"><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>unfiltered</var> is either a String, Number, Boolean, Null, or an Object that is defined by either an <emu-nt><a href="https://tc39.es/ecma262/#prod-ArrayLiteral">ArrayLiteral</a></emu-nt> or an <emu-nt><a href="https://tc39.es/ecma262/#prod-ObjectLiteral">ObjectLiteral</a></emu-nt>.</li><li>If <emu-xref aoid="IsCallable"><a href="https://tc39.es/ecma262/#sec-iscallable">IsCallable</a></emu-xref>(<var>reviver</var>) is <emu-val>true</emu-val>, then<ol><li>Let <var>root</var> be <emu-xref aoid="OrdinaryObjectCreate"><a href="https://tc39.es/ecma262/#sec-ordinaryobjectcreate">OrdinaryObjectCreate</a></emu-xref>(<emu-xref href="#sec-properties-of-the-object-prototype-object"><a href="https://tc39.es/ecma262/#sec-properties-of-the-object-prototype-object">%Object.prototype%</a></emu-xref>).</li><li>Let <var>rootName</var> be the empty String.</li><li>Perform !&nbsp;<emu-xref aoid="CreateDataPropertyOrThrow"><a href="https://tc39.es/ecma262/#sec-createdatapropertyorthrow">CreateDataPropertyOrThrow</a></emu-xref>(<var>root</var>, <var>rootName</var>, <var>unfiltered</var>).</li><li>Return ?&nbsp;<emu-xref aoid="InternalizeJSONProperty" id="_ref_2"><a href="#sec-internalizejsonproperty">InternalizeJSONProperty</a></emu-xref>(<var>root</var>, <var>rootName</var>, <var>reviver</var><ins>, <var>script</var></ins>).</li></ol></li><li>Else,<ol><li>Return <var>unfiltered</var>.</li></ol></li></ol></emu-alg>
+    <p>The <emu-val>"length"</emu-val> property of the <code>parse</code> function is <emu-val>2</emu-val><sub>𝔽</sub>.</p>
+    <emu-note><span class="note">Note</span><div class="note-contents">
+      <p>Valid JSON text is a subset of the ECMAScript <emu-nt><a href="https://tc39.es/ecma262/#prod-PrimaryExpression">PrimaryExpression</a></emu-nt> syntax. Step <emu-xref href="#step-json-parse-validate" id="_ref_0"><a href="#step-json-parse-validate">2</a></emu-xref> verifies that <var>jsonString</var> conforms to that subset, and step <emu-xref href="#step-json-parse-assert-type" id="_ref_1"><a href="#step-json-parse-assert-type">10</a></emu-xref> asserts that that parsing and evaluation returns a value of an appropriate type.</p>
+      <p>However, because <emu-xref href="#sec-runtime-semantics-propertydefinitionevaluation"><a href="https://tc39.es/ecma262/#sec-runtime-semantics-propertydefinitionevaluation">13.2.5.5</a></emu-xref> behaves differently during <code>JSON.parse</code>, the same source text can produce different results when evaluated as a <emu-nt><a href="https://tc39.es/ecma262/#prod-PrimaryExpression">PrimaryExpression</a></emu-nt> rather than as JSON. Furthermore, the Early Error for duplicate <emu-val>"__proto__"</emu-val> properties in object literals, which likewise does not apply during <code>JSON.parse</code>, means that not all texts accepted by <code>JSON.parse</code> are valid as a <emu-nt><a href="https://tc39.es/ecma262/#prod-PrimaryExpression">PrimaryExpression</a></emu-nt>, despite matching the grammar.</p>
     </div></emu-note>
-    <p>It performs the following steps when called:</p>
-    <emu-alg><ol><li><ins>Let <var>typedValNode</var> be <emu-xref aoid="ShallowestContained" id="_ref_3"><a href="#sec-static-semantics-firstcontained">ShallowestContained</a></emu-xref> of <var>valNode</var> with argument « <emu-nt><a href="https://tc39.es/ecma262/#prod-NullLiteral">NullLiteral</a></emu-nt>, <emu-nt><a href="https://tc39.es/ecma262/#prod-BooleanLiteral">BooleanLiteral</a></emu-nt>, <emu-nt><a href="https://tc39.es/ecma262/#prod-NumericLiteral">NumericLiteral</a></emu-nt>, <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt>, <emu-nt><a href="https://tc39.es/ecma262/#prod-ArrayLiteral">ArrayLiteral</a></emu-nt>, <emu-nt><a href="https://tc39.es/ecma262/#prod-ObjectLiteral">ObjectLiteral</a></emu-nt> ».</ins></li><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>typedValNode</var> is not <emu-const>empty</emu-const>.</ins></li><li><ins>Let <var>context</var> be <emu-xref aoid="OrdinaryObjectCreate"><a href="https://tc39.es/ecma262/#sec-ordinaryobjectcreate">OrdinaryObjectCreate</a></emu-xref>(<emu-xref href="#sec-properties-of-the-object-prototype-object"><a href="https://tc39.es/ecma262/#sec-properties-of-the-object-prototype-object">%Object.prototype%</a></emu-xref>).</ins></li><li><ins>Let <var>sourceText</var> be the <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">source text matched by</a></emu-xref> <var>typedValNode</var>.</ins></li><li><ins>Perform !&nbsp;<emu-xref aoid="CreateDataPropertyOrThrow"><a href="https://tc39.es/ecma262/#sec-createdatapropertyorthrow">CreateDataPropertyOrThrow</a></emu-xref>(<var>context</var>, <emu-val>"source"</emu-val>, <emu-xref aoid="CodePointsToString"><a href="https://tc39.es/ecma262/#sec-codepointstostring">CodePointsToString</a></emu-xref>(<var>sourceText</var>)).</ins></li><li>Let <var>val</var> be ?&nbsp;<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>holder</var>, <var>name</var>).</li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>val</var>) is Object, then<ol><li>Let <var>isArray</var> be ?&nbsp;<emu-xref aoid="IsArray"><a href="https://tc39.es/ecma262/#sec-isarray">IsArray</a></emu-xref>(<var>val</var>).</li><li>If <var>isArray</var> is <emu-val>true</emu-val>, then<ol><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>typedValNode</var> is an <emu-nt><a href="https://tc39.es/ecma262/#prod-ArrayLiteral">ArrayLiteral</a></emu-nt> <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref>.</ins></li><li><ins>Let <var>elements</var> be <emu-xref aoid="ArrayElementList" id="_ref_4"><a href="#sec-static-semantics-arrayelementlist">ArrayElementList</a></emu-xref> of <var>typedValNode</var>.</ins></li><li><ins>Let <var>elementsLen</var> be the number of elements in <var>elements</var>.</ins></li><li>Let <var>I</var> be 0.</li><li>Let <var>len</var> be ?&nbsp;<emu-xref aoid="LengthOfArrayLike"><a href="https://tc39.es/ecma262/#sec-lengthofarraylike">LengthOfArrayLike</a></emu-xref>(<var>val</var>).</li><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>len</var> = <var>elementsLen</var>.</ins></li><li>Repeat, while <var>I</var> &lt; <var>len</var>,<ol><li>Let <var>prop</var> be !&nbsp;<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<emu-xref href="#𝔽"><a href="https://tc39.es/ecma262/#𝔽">𝔽</a></emu-xref>(<var>I</var>)).</li><li>Let <var>newElement</var> be ?&nbsp;<emu-xref aoid="InternalizeJSONProperty" id="_ref_5"><a href="#sec-internalizejsonproperty">InternalizeJSONProperty</a></emu-xref>(<var>val</var>, <var>prop</var>, <var>reviver</var><ins>, <var>elements</var>[<var>I</var>]</ins>).</li><li>If <var>newElement</var> is <emu-val>undefined</emu-val>, then<ol><li>Perform ?&nbsp;<var>val</var>.[[Delete]](<var>prop</var>).</li></ol></li><li>Else,<ol><li>Perform ?&nbsp;<emu-xref aoid="CreateDataProperty"><a href="https://tc39.es/ecma262/#sec-createdataproperty">CreateDataProperty</a></emu-xref>(<var>val</var>, <var>prop</var>, <var>newElement</var>).</li></ol></li><li>Set <var>I</var> to <var>I</var> + 1.</li></ol></li></ol></li><li>Else,<ol><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>typedValNode</var> is an <emu-nt><a href="https://tc39.es/ecma262/#prod-ObjectLiteral">ObjectLiteral</a></emu-nt> <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref>.</ins></li><li><ins>Let <var>properties</var> be <emu-xref aoid="PropertyDefinitionList" id="_ref_6"><a href="#sec-static-semantics-propertydefinitionlist">PropertyDefinitionList</a></emu-xref> of <var>typedValNode</var>.</ins></li><li>Let <var>keys</var> be ?&nbsp;<emu-xref aoid="EnumerableOwnPropertyNames"><a href="https://tc39.es/ecma262/#sec-enumerableownpropertynames">EnumerableOwnPropertyNames</a></emu-xref>(<var>val</var>, <emu-const>key</emu-const>).</li><li>For each String <var>P</var> of <var>keys</var>, do<ol><li><ins>Let <var>propertyDefinition</var> be <emu-const>empty</emu-const>.</ins></li><li><ins>For each <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref> <var>candidate</var> of <var>properties</var>, do</ins><ol><li><ins>Let <var>propName</var> be <emu-xref aoid="PropName"><a href="https://tc39.es/ecma262/#sec-static-semantics-propname">PropName</a></emu-xref> of <var>candidate</var>.</ins></li><li><ins>If <emu-xref aoid="SameValue"><a href="https://tc39.es/ecma262/#sec-samevalue">SameValue</a></emu-xref>(<var>propName</var>, <var>P</var>) is <emu-val>true</emu-val>, set <var>propertyDefinition</var> to <var>candidate</var>.</ins></li></ol></li><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>propertyDefinition</var> is not <emu-const>empty</emu-const>.</ins></li><li><ins>NOTE: In the case of JSON text specifying multiple name/value pairs with the same name for a single object (such as <code>{"a":"lost","a":"kept"}</code>), the value for the corresponding property of the resulting ECMAScript object is specified by the last pair with that name.</ins></li><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>propertyDefinition</var> is <emu-grammar><emu-production name="PropertyDefinition" collapsed="" class=" inline">
+
+    <emu-clause id="sec-internalizejsonproperty" type="abstract operation" aoid="InternalizeJSONProperty">
+      <h1><span class="secnum">1.2.1</span> InternalizeJSONProperty ( <var>holder</var>, <var>name</var>, <var>reviver</var>, <ins><var>valNode</var></ins> )</h1>
+      <p>The abstract operation InternalizeJSONProperty takes arguments <var>holder</var> (an Object), <var>name</var> (a String), <var>reviver</var> (a <emu-xref href="#function-object"><a href="https://tc39.es/ecma262/#function-object">function object</a></emu-xref>), and <ins><var>valNode</var> (a <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref>)</ins> and returns either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> an <emu-xref href="#sec-ecmascript-language-types"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types">ECMAScript language value</a></emu-xref> or an <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">abrupt completion</a></emu-xref>.</p>
+      <emu-note><span class="note">Note 1</span><div class="note-contents">
+        <p>This algorithm intentionally does not throw an exception if either [[Delete]] or <emu-xref aoid="CreateDataProperty"><a href="https://tc39.es/ecma262/#sec-createdataproperty">CreateDataProperty</a></emu-xref> return <emu-val>false</emu-val>.</p>
+      </div></emu-note>
+      <p>It performs the following steps when called:</p>
+      <emu-alg><ol><li><ins>Let <var>typedValNode</var> be <emu-xref aoid="ShallowestContained" id="_ref_3"><a href="#sec-static-semantics-firstcontained">ShallowestContained</a></emu-xref> of <var>valNode</var> with argument « <emu-nt><a href="https://tc39.es/ecma262/#prod-NullLiteral">NullLiteral</a></emu-nt>, <emu-nt><a href="https://tc39.es/ecma262/#prod-BooleanLiteral">BooleanLiteral</a></emu-nt>, <emu-nt><a href="https://tc39.es/ecma262/#prod-NumericLiteral">NumericLiteral</a></emu-nt>, <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt>, <emu-nt><a href="https://tc39.es/ecma262/#prod-ArrayLiteral">ArrayLiteral</a></emu-nt>, <emu-nt><a href="https://tc39.es/ecma262/#prod-ObjectLiteral">ObjectLiteral</a></emu-nt> ».</ins></li><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>typedValNode</var> is not <emu-const>empty</emu-const>.</ins></li><li><ins>Let <var>context</var> be <emu-xref aoid="OrdinaryObjectCreate"><a href="https://tc39.es/ecma262/#sec-ordinaryobjectcreate">OrdinaryObjectCreate</a></emu-xref>(<emu-xref href="#sec-properties-of-the-object-prototype-object"><a href="https://tc39.es/ecma262/#sec-properties-of-the-object-prototype-object">%Object.prototype%</a></emu-xref>).</ins></li><li><ins>Let <var>sourceText</var> be the <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">source text matched by</a></emu-xref> <var>typedValNode</var>.</ins></li><li><ins>Perform !&nbsp;<emu-xref aoid="CreateDataPropertyOrThrow"><a href="https://tc39.es/ecma262/#sec-createdatapropertyorthrow">CreateDataPropertyOrThrow</a></emu-xref>(<var>context</var>, <emu-val>"source"</emu-val>, <emu-xref aoid="CodePointsToString"><a href="https://tc39.es/ecma262/#sec-codepointstostring">CodePointsToString</a></emu-xref>(<var>sourceText</var>)).</ins></li><li>Let <var>val</var> be ?&nbsp;<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>holder</var>, <var>name</var>).</li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>val</var>) is Object, then<ol><li>Let <var>isArray</var> be ?&nbsp;<emu-xref aoid="IsArray"><a href="https://tc39.es/ecma262/#sec-isarray">IsArray</a></emu-xref>(<var>val</var>).</li><li>If <var>isArray</var> is <emu-val>true</emu-val>, then<ol><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>typedValNode</var> is an <emu-nt><a href="https://tc39.es/ecma262/#prod-ArrayLiteral">ArrayLiteral</a></emu-nt> <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref>.</ins></li><li><ins>Let <var>elements</var> be <emu-xref aoid="ArrayElementList" id="_ref_4"><a href="#sec-static-semantics-arrayelementlist">ArrayElementList</a></emu-xref> of <var>typedValNode</var>.</ins></li><li><ins>Let <var>elementsLen</var> be the number of elements in <var>elements</var>.</ins></li><li>Let <var>I</var> be 0.</li><li>Let <var>len</var> be ?&nbsp;<emu-xref aoid="LengthOfArrayLike"><a href="https://tc39.es/ecma262/#sec-lengthofarraylike">LengthOfArrayLike</a></emu-xref>(<var>val</var>).</li><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>len</var> = <var>elementsLen</var>.</ins></li><li>Repeat, while <var>I</var> &lt; <var>len</var>,<ol><li>Let <var>prop</var> be !&nbsp;<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<emu-xref href="#𝔽"><a href="https://tc39.es/ecma262/#𝔽">𝔽</a></emu-xref>(<var>I</var>)).</li><li>Let <var>newElement</var> be ?&nbsp;<emu-xref aoid="InternalizeJSONProperty" id="_ref_5"><a href="#sec-internalizejsonproperty">InternalizeJSONProperty</a></emu-xref>(<var>val</var>, <var>prop</var>, <var>reviver</var><ins>, <var>elements</var>[<var>I</var>]</ins>).</li><li>If <var>newElement</var> is <emu-val>undefined</emu-val>, then<ol><li>Perform ?&nbsp;<var>val</var>.[[Delete]](<var>prop</var>).</li></ol></li><li>Else,<ol><li>Perform ?&nbsp;<emu-xref aoid="CreateDataProperty"><a href="https://tc39.es/ecma262/#sec-createdataproperty">CreateDataProperty</a></emu-xref>(<var>val</var>, <var>prop</var>, <var>newElement</var>).</li></ol></li><li>Set <var>I</var> to <var>I</var> + 1.</li></ol></li></ol></li><li>Else,<ol><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>typedValNode</var> is an <emu-nt><a href="https://tc39.es/ecma262/#prod-ObjectLiteral">ObjectLiteral</a></emu-nt> <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref>.</ins></li><li><ins>Let <var>properties</var> be <emu-xref aoid="PropertyDefinitionList" id="_ref_6"><a href="#sec-static-semantics-propertydefinitionlist">PropertyDefinitionList</a></emu-xref> of <var>typedValNode</var>.</ins></li><li>Let <var>keys</var> be ?&nbsp;<emu-xref aoid="EnumerableOwnPropertyNames"><a href="https://tc39.es/ecma262/#sec-enumerableownpropertynames">EnumerableOwnPropertyNames</a></emu-xref>(<var>val</var>, <emu-const>key</emu-const>).</li><li>For each String <var>P</var> of <var>keys</var>, do<ol><li><ins>Let <var>propertyDefinition</var> be <emu-const>empty</emu-const>.</ins></li><li><ins>For each <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref> <var>candidate</var> of <var>properties</var>, do</ins><ol><li><ins>Let <var>propName</var> be <emu-xref aoid="PropName"><a href="https://tc39.es/ecma262/#sec-static-semantics-propname">PropName</a></emu-xref> of <var>candidate</var>.</ins></li><li><ins>If <emu-xref aoid="SameValue"><a href="https://tc39.es/ecma262/#sec-samevalue">SameValue</a></emu-xref>(<var>propName</var>, <var>P</var>) is <emu-val>true</emu-val>, set <var>propertyDefinition</var> to <var>candidate</var>.</ins></li></ol></li><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>propertyDefinition</var> is not <emu-const>empty</emu-const>.</ins></li><li><ins>NOTE: In the case of JSON text specifying multiple name/value pairs with the same name for a single object (such as <code>{"a":"lost","a":"kept"}</code>), the value for the corresponding property of the resulting ECMAScript object is specified by the last pair with that name.</ins></li><li><ins><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>propertyDefinition</var> is <emu-grammar><emu-production name="PropertyDefinition" collapsed="" class=" inline">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-PropertyDefinition">PropertyDefinition</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="8tkldtak">
         <emu-nt><a href="https://tc39.es/ecma262/#prod-PropertyName">PropertyName</a></emu-nt>
         <emu-t>:</emu-t>
@@ -2550,10 +2572,30 @@ <h1><span class="secnum">1.1</span> InternalizeJSONProperty ( <var>holder</var>,
     </emu-rhs>
 </emu-production>
 </emu-grammar>.</ins></li><li><ins>Let <var>value</var> be the <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt> of <var>propertyDefinition</var>.</ins></li><li>Let <var>newElement</var> be ?&nbsp;<emu-xref aoid="InternalizeJSONProperty" id="_ref_7"><a href="#sec-internalizejsonproperty">InternalizeJSONProperty</a></emu-xref>(<var>val</var>, <var>P</var>, <var>reviver</var><ins>, <var>value</var></ins>).</li><li>If <var>newElement</var> is <emu-val>undefined</emu-val>, then<ol><li>Perform ?&nbsp;<var>val</var>.[[Delete]](<var>P</var>).</li></ol></li><li>Else,<ol><li>Perform ?&nbsp;<emu-xref aoid="CreateDataProperty"><a href="https://tc39.es/ecma262/#sec-createdataproperty">CreateDataProperty</a></emu-xref>(<var>val</var>, <var>P</var>, <var>newElement</var>).</li></ol></li></ol></li></ol></li></ol></li><li>Return ?&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>reviver</var>, <var>holder</var>, « <var>name</var>, <var>val</var><ins>, <var>context</var></ins> »).</li></ol></emu-alg>
-    <p>It is not permitted for a conforming implementation of <code>JSON.parse</code> to extend the JSON grammars. If an implementation wishes to support a modified or extended JSON interchange format it must do so by defining a different parse function.</p>
-    <emu-note><span class="note">Note 2</span><div class="note-contents">
-      <p>In the case where there are duplicate name Strings within an object, lexically preceding values for the same key shall be overwritten.</p>
-    </div></emu-note>
+      <p>It is not permitted for a conforming implementation of <code>JSON.parse</code> to extend the JSON grammars. If an implementation wishes to support a modified or extended JSON interchange format it must do so by defining a different parse function.</p>
+      <emu-note><span class="note">Note 2</span><div class="note-contents">
+        <p>In the case where there are duplicate name Strings within an object, lexically preceding values for the same key shall be overwritten.</p>
+      </div></emu-note>
+    </emu-clause>
+  </emu-clause>
+
+  <ins class="block">
+    <emu-clause id="sec-json.rawjson">
+      <h1><span class="secnum">1.3</span> JSON.rawJSON ( <var>text</var> )</h1>
+      <p>The <code>rawJSON</code> function returns an object representing raw JSON text of a string, number, boolean, or null value.</p>
+      <emu-alg><ol><li>Let <var>jsonString</var> be ?&nbsp;<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>text</var>).</li><li>Throw a <emu-val>SyntaxError</emu-val> exception if <var>jsonString</var> is the empty String, or if either the first or last code unit of <var>jsonString</var> is any of 0x0009 (CHARACTER TABULATION), 0x000A (LINE FEED), 0x000D (CARRIAGE RETURN), or 0x0020 (SPACE).</li><li>Parse <emu-xref aoid="StringToCodePoints"><a href="https://tc39.es/ecma262/#sec-stringtocodepoints">StringToCodePoints</a></emu-xref>(<var>jsonString</var>) as a JSON text as specified in ECMA-404. Throw a <emu-val>SyntaxError</emu-val> exception if it is not a valid JSON text as defined in that specification, or if its outermost <code>value</code> is an <code>object</code> or <code>array</code> as defined in that specification.</li><li>Let <var>internalSlotsList</var> be « [[IsRawJSON]] ».</li><li>Let <var>obj</var> be <emu-xref aoid="OrdinaryObjectCreate"><a href="https://tc39.es/ecma262/#sec-ordinaryobjectcreate">OrdinaryObjectCreate</a></emu-xref>(<emu-val>null</emu-val>, <var>internalSlotsList</var>).</li><li>Perform !&nbsp;<emu-xref aoid="CreateDataPropertyOrThrow"><a href="https://tc39.es/ecma262/#sec-createdatapropertyorthrow">CreateDataPropertyOrThrow</a></emu-xref>(<var>obj</var>, <emu-val>"rawJSON"</emu-val>, <var>jsonString</var>).</li><li>Perform !&nbsp;<emu-xref aoid="SetIntegrityLevel"><a href="https://tc39.es/ecma262/#sec-setintegritylevel">SetIntegrityLevel</a></emu-xref>(<var>obj</var>, <emu-const>frozen</emu-const>).</li><li>Return <var>obj</var>.</li></ol></emu-alg>
+    </emu-clause>
+  </ins>
+
+  <emu-clause id="sec-json.stringify">
+    <h1><span class="secnum">1.4</span> JSON.stringify ( <var>value</var> [ , <var>replacer</var> [ , <var>space</var> ] ] )</h1>
+    <p>The <code>stringify</code> function returns a String in UTF-16 encoded JSON format representing an <emu-xref href="#sec-ecmascript-language-types"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types">ECMAScript language value</a></emu-xref>, or <emu-val>undefined</emu-val>. It can take three parameters. The <var>value</var> parameter is an <emu-xref href="#sec-ecmascript-language-types"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types">ECMAScript language value</a></emu-xref>, which is usually an object or array, although it can also be a String, Boolean, Number or <emu-val>null</emu-val>. The optional <var>replacer</var> parameter is either a function that alters the way objects and arrays are stringified, or an array of Strings and Numbers that acts as an inclusion list for selecting the object properties that will be stringified. The optional <var>space</var> parameter is a String or Number that allows the result to have white space injected into it to improve human readability.</p>
+
+    <emu-clause id="sec-serializejsonproperty" type="abstract operation" aoid="SerializeJSONProperty">
+      <h1><span class="secnum">1.4.1</span> SerializeJSONProperty ( <var>state</var>, <var>key</var>, <var>holder</var> )</h1>
+      <p>The abstract operation SerializeJSONProperty takes arguments <var>state</var>, <var>key</var>, and <var>holder</var> and returns either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> either <emu-val>undefined</emu-val> or a String, or an <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">abrupt completion</a></emu-xref>. It performs the following steps when called:</p>
+      <emu-alg><ol><li>Let <var>value</var> be ?&nbsp;<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>holder</var>, <var>key</var>).</li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>value</var>) is Object or BigInt, then<ol><li>Let <var>toJSON</var> be ?&nbsp;<emu-xref aoid="GetV"><a href="https://tc39.es/ecma262/#sec-getv">GetV</a></emu-xref>(<var>value</var>, <emu-val>"toJSON"</emu-val>).</li><li>If <emu-xref aoid="IsCallable"><a href="https://tc39.es/ecma262/#sec-iscallable">IsCallable</a></emu-xref>(<var>toJSON</var>) is <emu-val>true</emu-val>, then<ol><li>Set <var>value</var> to ?&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>toJSON</var>, <var>value</var>, « <var>key</var> »).</li></ol></li></ol></li><li>If <var>state</var>.[[ReplacerFunction]] is not <emu-val>undefined</emu-val>, then<ol><li>Set <var>value</var> to ?&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>state</var>.[[ReplacerFunction]], <var>holder</var>, « <var>key</var>, <var>value</var> »).</li></ol></li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>value</var>) is Object, then<ol><li><ins>If <var>value</var> has an [[IsRawJSON]] internal slot, then</ins><ol><li><ins>Return !&nbsp;<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>value</var>, <emu-val>"rawJSON"</emu-val>).</ins></li></ol></li><li>If <var>value</var> has a [[NumberData]] internal slot, then<ol><li>Set <var>value</var> to ?&nbsp;<emu-xref aoid="ToNumber"><a href="https://tc39.es/ecma262/#sec-tonumber">ToNumber</a></emu-xref>(<var>value</var>).</li></ol></li><li>Else if <var>value</var> has a [[StringData]] internal slot, then<ol><li>Set <var>value</var> to ?&nbsp;<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>value</var>).</li></ol></li><li>Else if <var>value</var> has a [[BooleanData]] internal slot, then<ol><li>Set <var>value</var> to <var>value</var>.[[BooleanData]].</li></ol></li><li>Else if <var>value</var> has a [[BigIntData]] internal slot, then<ol><li>Set <var>value</var> to <var>value</var>.[[BigIntData]].</li></ol></li></ol></li><li>If <var>value</var> is <emu-val>null</emu-val>, return <emu-val>"null"</emu-val>.</li><li>If <var>value</var> is <emu-val>true</emu-val>, return <emu-val>"true"</emu-val>.</li><li>If <var>value</var> is <emu-val>false</emu-val>, return <emu-val>"false"</emu-val>.</li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>value</var>) is String, return <emu-xref aoid="QuoteJSONString"><a href="https://tc39.es/ecma262/#sec-quotejsonstring">QuoteJSONString</a></emu-xref>(<var>value</var>).</li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>value</var>) is Number, then<ol><li>If <var>value</var> is finite, return !&nbsp;<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>value</var>).</li><li>Return <emu-val>"null"</emu-val>.</li></ol></li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>value</var>) is BigInt, throw a <emu-val>TypeError</emu-val> exception.</li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>value</var>) is Object and <emu-xref aoid="IsCallable"><a href="https://tc39.es/ecma262/#sec-iscallable">IsCallable</a></emu-xref>(<var>value</var>) is <emu-val>false</emu-val>, then<ol><li>Let <var>isArray</var> be ?&nbsp;<emu-xref aoid="IsArray"><a href="https://tc39.es/ecma262/#sec-isarray">IsArray</a></emu-xref>(<var>value</var>).</li><li>If <var>isArray</var> is <emu-val>true</emu-val>, return ?&nbsp;<emu-xref aoid="SerializeJSONArray"><a href="https://tc39.es/ecma262/#sec-serializejsonarray">SerializeJSONArray</a></emu-xref>(<var>state</var>, <var>value</var>).</li><li>Return ?&nbsp;<emu-xref aoid="SerializeJSONObject"><a href="https://tc39.es/ecma262/#sec-serializejsonobject">SerializeJSONObject</a></emu-xref>(<var>state</var>, <var>value</var>).</li></ol></li><li>Return <emu-val>undefined</emu-val>.</li></ol></emu-alg>
+    </emu-clause>
   </emu-clause>
 </emu-clause>
 
diff --git a/spec.html b/spec.html
index 11f4499..b42720c 100644
--- a/spec.html
+++ b/spec.html
@@ -9,98 +9,191 @@
 contributors: Richard Gibson
 </pre>
 
-<emu-clause id="sec-json.parse">
-  <h1>JSON.parse ( _text_ [ , _reviver_ ] )</h1>
-  <p>The `parse` function parses a JSON text (a JSON-formatted String) and produces an ECMAScript language value. The JSON format represents literals, arrays, and objects with a syntax similar to the syntax for ECMAScript literals, Array Initializers, and Object Initializers. After parsing, JSON objects are realized as ECMAScript objects. JSON arrays are realized as ECMAScript Array instances. JSON strings, numbers, booleans, and null are realized as ECMAScript Strings, Numbers, Booleans, and *null*.</p>
-  <p>The optional _reviver_ parameter is a function that takes <del>two</del><ins>three</ins> parameters, _key_ and _value_ <ins>and a _context_ object</ins>. It can filter and transform the results. It is called with each of the _key_/_value_ pairs produced by the parse <ins>and details of their corresponding Parse Node</ins>, and its return value is used instead of the original value. If it returns what it received, the structure is not modified. If it returns *undefined* then the property is deleted from the result.</p>
-  <emu-alg>
-    1. Let _jsonString_ be ? ToString(_text_).
-    1. [id="step-json-parse-validate"] Parse StringToCodePoints(_jsonString_) as a JSON text as specified in ECMA-404. Throw a *SyntaxError* exception if it is not a valid JSON text as defined in that specification.
-    1. Let _scriptString_ be the string-concatenation of *"("*, _jsonString_, and *");"*.
-    1. [id="step-json-parse-parse"] Let _script_ be ParseText(StringToCodePoints(_scriptString_), |Script|).
-    1. NOTE: The early error rules defined in <emu-xref href="#sec-object-initializer-static-semantics-early-errors"></emu-xref> have special handling for the above invocation of ParseText.
-    1. Assert: _script_ is a Parse Node.
-    1. [id="step-json-parse-eval"] Let _completion_ be the result of <emu-meta suppress-effects="user-code">evaluating _script_</emu-meta>.
-    1. NOTE: The PropertyDefinitionEvaluation semantics defined in <emu-xref href="#sec-runtime-semantics-propertydefinitionevaluation"></emu-xref> have special handling for the above evaluation.
-    1. Let _unfiltered_ be _completion_.[[Value]].
-    1. [id="step-json-parse-assert-type"] Assert: _unfiltered_ is either a String, Number, Boolean, Null, or an Object that is defined by either an |ArrayLiteral| or an |ObjectLiteral|.
-    1. If IsCallable(_reviver_) is *true*, then
-      1. Let _root_ be OrdinaryObjectCreate(%Object.prototype%).
-      1. Let _rootName_ be the empty String.
-      1. Perform ! CreateDataPropertyOrThrow(_root_, _rootName_, _unfiltered_).
-      1. Return ? InternalizeJSONProperty(_root_, _rootName_, _reviver_<ins>, _script_</ins>).
-    1. Else,
-      1. Return _unfiltered_.
-  </emu-alg>
-  <p>The *"length"* property of the `parse` function is *2*<sub>𝔽</sub>.</p>
-  <emu-note>
-    <p>Valid JSON text is a subset of the ECMAScript |PrimaryExpression| syntax. Step <emu-xref href="#step-json-parse-validate"></emu-xref> verifies that _jsonString_ conforms to that subset, and step <emu-xref href="#step-json-parse-assert-type"></emu-xref> asserts that that parsing and evaluation returns a value of an appropriate type.</p>
-    <p>However, because <emu-xref href="#sec-runtime-semantics-propertydefinitionevaluation"></emu-xref> behaves differently during `JSON.parse`, the same source text can produce different results when evaluated as a |PrimaryExpression| rather than as JSON. Furthermore, the Early Error for duplicate *"__proto__"* properties in object literals, which likewise does not apply during `JSON.parse`, means that not all texts accepted by `JSON.parse` are valid as a |PrimaryExpression|, despite matching the grammar.</p>
-  </emu-note>
-
-  <emu-clause id="sec-internalizejsonproperty" type="abstract operation">
-    <h1>
-      InternalizeJSONProperty (
-        _holder_: an Object,
-        _name_: a String,
-        _reviver_: a function object,
-        <ins>_valNode_: a Parse Node,</ins>
-      ): either a normal completion containing an ECMAScript language value or an abrupt completion
-    </h1>
-    <dl class="header">
-    </dl>
-    <emu-note>
-      <p>This algorithm intentionally does not throw an exception if either [[Delete]] or CreateDataProperty return *false*.</p>
-    </emu-note>
-    <p>It performs the following steps when called:</p>
+<emu-clause id="sec-json-object">
+  <h1>The JSON Object</h1>
+  <p>The JSON object:</p>
+  <ul>
+    <li>is <dfn>%JSON%</dfn>.</li>
+    <li>is the initial value of the *"JSON"* property of the global object.</li>
+    <li>is an ordinary object.</li>
+    <li>contains <del>two functions, `parse` and `stringify`,</del><ins>functions</ins> that are used to parse and construct JSON texts.</li>
+    <li>has a [[Prototype]] internal slot whose value is %Object.prototype%.</li>
+    <li>does not have a [[Construct]] internal method; it cannot be used as a constructor with the `new` operator.</li>
+    <li>does not have a [[Call]] internal method; it cannot be invoked as a function.</li>
+  </ul>
+  <p>The JSON Data Interchange Format is defined in ECMA-404. The JSON interchange format used in this specification is exactly that described by ECMA-404. Conforming implementations of `JSON.parse` and `JSON.stringify` must support the exact interchange format described in the ECMA-404 specification without any deletions or extensions to the format.</p>
+
+  <ins class="block">
+    <emu-clause id="sec-json.israwjson">
+      <h1>JSON.isRawJSON ( _O_ )</h1>
+      <p>This function performs the following steps when called:</p>
+      <emu-alg>
+        1. If Type(_O_) is Object and _O_ has an [[IsRawJSON]] internal slot, return *true*.
+        1. Return *false*.
+      </emu-alg>
+    </emu-clause>
+  </ins>
+
+  <emu-clause id="sec-json.parse">
+    <h1>JSON.parse ( _text_ [ , _reviver_ ] )</h1>
+    <p>The `parse` function parses a JSON text (a JSON-formatted String) and produces an ECMAScript language value. The JSON format represents literals, arrays, and objects with a syntax similar to the syntax for ECMAScript literals, Array Initializers, and Object Initializers. After parsing, JSON objects are realized as ECMAScript objects. JSON arrays are realized as ECMAScript Array instances. JSON strings, numbers, booleans, and null are realized as ECMAScript Strings, Numbers, Booleans, and *null*.</p>
+    <p>The optional _reviver_ parameter is a function that takes <del>two</del><ins>three</ins> parameters, _key_ and _value_ <ins>and a _context_ object</ins>. It can filter and transform the results. It is called with each of the _key_/_value_ pairs produced by the parse <ins>and details of their corresponding Parse Node</ins>, and its return value is used instead of the original value. If it returns what it received, the structure is not modified. If it returns *undefined* then the property is deleted from the result.</p>
     <emu-alg>
-      1. <ins>Let _typedValNode_ be ShallowestContained of _valNode_ with argument &laquo; |NullLiteral|, |BooleanLiteral|, |NumericLiteral|, |StringLiteral|, |ArrayLiteral|, |ObjectLiteral| &raquo;.</ins>
-      1. <ins>Assert: _typedValNode_ is not ~empty~.</ins>
-      1. <ins>Let _context_ be OrdinaryObjectCreate(%Object.prototype%).</ins>
-      1. <ins>Let _sourceText_ be the source text matched by _typedValNode_.</ins>
-      1. <ins>Perform ! CreateDataPropertyOrThrow(_context_, *"source"*, CodePointsToString(_sourceText_)).</ins>
-      1. Let _val_ be ? Get(_holder_, _name_).
-      1. If Type(_val_) is Object, then
-        1. Let _isArray_ be ? IsArray(_val_).
-        1. If _isArray_ is *true*, then
-          1. <ins>Assert: _typedValNode_ is an |ArrayLiteral| Parse Node.</ins>
-          1. <ins>Let _elements_ be ArrayElementList of _typedValNode_.</ins>
-          1. <ins>Let _elementsLen_ be the number of elements in _elements_.</ins>
-          1. Let _I_ be 0.
-          1. Let _len_ be ? LengthOfArrayLike(_val_).
-          1. <ins>Assert: _len_ = _elementsLen_.</ins>
-          1. Repeat, while _I_ &lt; _len_,
-            1. Let _prop_ be ! ToString(𝔽(_I_)).
-            1. Let _newElement_ be ? InternalizeJSONProperty(_val_, _prop_, _reviver_<ins>, _elements_[_I_]</ins>).
-            1. If _newElement_ is *undefined*, then
-              1. Perform ? <emu-meta effects="user-code">_val_.[[Delete]]</emu-meta>(_prop_).
-            1. Else,
-              1. Perform ? CreateDataProperty(_val_, _prop_, _newElement_).
-            1. Set _I_ to _I_ + 1.
-        1. Else,
-          1. <ins>Assert: _typedValNode_ is an |ObjectLiteral| Parse Node.</ins>
-          1. <ins>Let _properties_ be PropertyDefinitionList of _typedValNode_.</ins>
-          1. Let _keys_ be ? EnumerableOwnPropertyNames(_val_, ~key~).
-          1. For each String _P_ of _keys_, do
-            1. <ins>Let _propertyDefinition_ be ~empty~.</ins>
-            1. <ins>For each Parse Node _candidate_ of _properties_, do</ins>
-              1. <ins>Let _propName_ be PropName of _candidate_.</ins>
-              1. <ins>If SameValue(_propName_, _P_) is *true*, set _propertyDefinition_ to _candidate_.</ins>
-            1. <ins>Assert: _propertyDefinition_ is not ~empty~.</ins>
-            1. <ins>NOTE: In the case of JSON text specifying multiple name/value pairs with the same name for a single object (such as <code>{"a":"lost","a":"kept"}</code>), the value for the corresponding property of the resulting ECMAScript object is specified by the last pair with that name.</ins>
-            1. <ins>Assert: _propertyDefinition_ is <emu-grammar>PropertyDefinition : PropertyName `:` AssignmentExpression</emu-grammar>.</ins>
-            1. <ins>Let _value_ be the |AssignmentExpression| of _propertyDefinition_.</ins>
-            1. Let _newElement_ be ? InternalizeJSONProperty(_val_, _P_, _reviver_<ins>, _value_</ins>).
-            1. If _newElement_ is *undefined*, then
-              1. Perform ? <emu-meta effects="user-code">_val_.[[Delete]]</emu-meta>(_P_).
-            1. Else,
-              1. Perform ? CreateDataProperty(_val_, _P_, _newElement_).
-      1. Return ? Call(_reviver_, _holder_, &laquo; _name_, _val_<ins>, _context_</ins> &raquo;).
+      1. Let _jsonString_ be ? ToString(_text_).
+      1. [id="step-json-parse-validate"] Parse StringToCodePoints(_jsonString_) as a JSON text as specified in ECMA-404. Throw a *SyntaxError* exception if it is not a valid JSON text as defined in that specification.
+      1. Let _scriptString_ be the string-concatenation of *"("*, _jsonString_, and *");"*.
+      1. [id="step-json-parse-parse"] Let _script_ be ParseText(StringToCodePoints(_scriptString_), |Script|).
+      1. NOTE: The early error rules defined in <emu-xref href="#sec-object-initializer-static-semantics-early-errors"></emu-xref> have special handling for the above invocation of ParseText.
+      1. Assert: _script_ is a Parse Node.
+      1. [id="step-json-parse-eval"] Let _completion_ be the result of <emu-meta suppress-effects="user-code">evaluating _script_</emu-meta>.
+      1. NOTE: The PropertyDefinitionEvaluation semantics defined in <emu-xref href="#sec-runtime-semantics-propertydefinitionevaluation"></emu-xref> have special handling for the above evaluation.
+      1. Let _unfiltered_ be _completion_.[[Value]].
+      1. [id="step-json-parse-assert-type"] Assert: _unfiltered_ is either a String, Number, Boolean, Null, or an Object that is defined by either an |ArrayLiteral| or an |ObjectLiteral|.
+      1. If IsCallable(_reviver_) is *true*, then
+        1. Let _root_ be OrdinaryObjectCreate(%Object.prototype%).
+        1. Let _rootName_ be the empty String.
+        1. Perform ! CreateDataPropertyOrThrow(_root_, _rootName_, _unfiltered_).
+        1. Return ? InternalizeJSONProperty(_root_, _rootName_, _reviver_<ins>, _script_</ins>).
+      1. Else,
+        1. Return _unfiltered_.
     </emu-alg>
-    <p>It is not permitted for a conforming implementation of `JSON.parse` to extend the JSON grammars. If an implementation wishes to support a modified or extended JSON interchange format it must do so by defining a different parse function.</p>
+    <p>The *"length"* property of the `parse` function is *2*<sub>𝔽</sub>.</p>
     <emu-note>
-      <p>In the case where there are duplicate name Strings within an object, lexically preceding values for the same key shall be overwritten.</p>
+      <p>Valid JSON text is a subset of the ECMAScript |PrimaryExpression| syntax. Step <emu-xref href="#step-json-parse-validate"></emu-xref> verifies that _jsonString_ conforms to that subset, and step <emu-xref href="#step-json-parse-assert-type"></emu-xref> asserts that that parsing and evaluation returns a value of an appropriate type.</p>
+      <p>However, because <emu-xref href="#sec-runtime-semantics-propertydefinitionevaluation"></emu-xref> behaves differently during `JSON.parse`, the same source text can produce different results when evaluated as a |PrimaryExpression| rather than as JSON. Furthermore, the Early Error for duplicate *"__proto__"* properties in object literals, which likewise does not apply during `JSON.parse`, means that not all texts accepted by `JSON.parse` are valid as a |PrimaryExpression|, despite matching the grammar.</p>
     </emu-note>
+
+    <emu-clause id="sec-internalizejsonproperty" type="abstract operation">
+      <h1>
+        InternalizeJSONProperty (
+          _holder_: an Object,
+          _name_: a String,
+          _reviver_: a function object,
+          <ins>_valNode_: a Parse Node,</ins>
+        ): either a normal completion containing an ECMAScript language value or an abrupt completion
+      </h1>
+      <dl class="header">
+      </dl>
+      <emu-note>
+        <p>This algorithm intentionally does not throw an exception if either [[Delete]] or CreateDataProperty return *false*.</p>
+      </emu-note>
+      <p>It performs the following steps when called:</p>
+      <emu-alg>
+        1. <ins>Let _typedValNode_ be ShallowestContained of _valNode_ with argument &laquo; |NullLiteral|, |BooleanLiteral|, |NumericLiteral|, |StringLiteral|, |ArrayLiteral|, |ObjectLiteral| &raquo;.</ins>
+        1. <ins>Assert: _typedValNode_ is not ~empty~.</ins>
+        1. <ins>Let _context_ be OrdinaryObjectCreate(%Object.prototype%).</ins>
+        1. <ins>Let _sourceText_ be the source text matched by _typedValNode_.</ins>
+        1. <ins>Perform ! CreateDataPropertyOrThrow(_context_, *"source"*, CodePointsToString(_sourceText_)).</ins>
+        1. Let _val_ be ? Get(_holder_, _name_).
+        1. If Type(_val_) is Object, then
+          1. Let _isArray_ be ? IsArray(_val_).
+          1. If _isArray_ is *true*, then
+            1. <ins>Assert: _typedValNode_ is an |ArrayLiteral| Parse Node.</ins>
+            1. <ins>Let _elements_ be ArrayElementList of _typedValNode_.</ins>
+            1. <ins>Let _elementsLen_ be the number of elements in _elements_.</ins>
+            1. Let _I_ be 0.
+            1. Let _len_ be ? LengthOfArrayLike(_val_).
+            1. <ins>Assert: _len_ = _elementsLen_.</ins>
+            1. Repeat, while _I_ &lt; _len_,
+              1. Let _prop_ be ! ToString(𝔽(_I_)).
+              1. Let _newElement_ be ? InternalizeJSONProperty(_val_, _prop_, _reviver_<ins>, _elements_[_I_]</ins>).
+              1. If _newElement_ is *undefined*, then
+                1. Perform ? <emu-meta effects="user-code">_val_.[[Delete]]</emu-meta>(_prop_).
+              1. Else,
+                1. Perform ? CreateDataProperty(_val_, _prop_, _newElement_).
+              1. Set _I_ to _I_ + 1.
+          1. Else,
+            1. <ins>Assert: _typedValNode_ is an |ObjectLiteral| Parse Node.</ins>
+            1. <ins>Let _properties_ be PropertyDefinitionList of _typedValNode_.</ins>
+            1. Let _keys_ be ? EnumerableOwnPropertyNames(_val_, ~key~).
+            1. For each String _P_ of _keys_, do
+              1. <ins>Let _propertyDefinition_ be ~empty~.</ins>
+              1. <ins>For each Parse Node _candidate_ of _properties_, do</ins>
+                1. <ins>Let _propName_ be PropName of _candidate_.</ins>
+                1. <ins>If SameValue(_propName_, _P_) is *true*, set _propertyDefinition_ to _candidate_.</ins>
+              1. <ins>Assert: _propertyDefinition_ is not ~empty~.</ins>
+              1. <ins>NOTE: In the case of JSON text specifying multiple name/value pairs with the same name for a single object (such as <code>{"a":"lost","a":"kept"}</code>), the value for the corresponding property of the resulting ECMAScript object is specified by the last pair with that name.</ins>
+              1. <ins>Assert: _propertyDefinition_ is <emu-grammar>PropertyDefinition : PropertyName `:` AssignmentExpression</emu-grammar>.</ins>
+              1. <ins>Let _value_ be the |AssignmentExpression| of _propertyDefinition_.</ins>
+              1. Let _newElement_ be ? InternalizeJSONProperty(_val_, _P_, _reviver_<ins>, _value_</ins>).
+              1. If _newElement_ is *undefined*, then
+                1. Perform ? <emu-meta effects="user-code">_val_.[[Delete]]</emu-meta>(_P_).
+              1. Else,
+                1. Perform ? CreateDataProperty(_val_, _P_, _newElement_).
+        1. Return ? Call(_reviver_, _holder_, &laquo; _name_, _val_<ins>, _context_</ins> &raquo;).
+      </emu-alg>
+      <p>It is not permitted for a conforming implementation of `JSON.parse` to extend the JSON grammars. If an implementation wishes to support a modified or extended JSON interchange format it must do so by defining a different parse function.</p>
+      <emu-note>
+        <p>In the case where there are duplicate name Strings within an object, lexically preceding values for the same key shall be overwritten.</p>
+      </emu-note>
+    </emu-clause>
+  </emu-clause>
+
+  <ins class="block">
+    <emu-clause id="sec-json.rawjson">
+      <h1>JSON.rawJSON ( _text_ )</h1>
+      <p>The `rawJSON` function returns an object representing raw JSON text of a string, number, boolean, or null value.</p>
+      <emu-alg>
+        1. Let _jsonString_ be ? ToString(_text_).
+        1. Throw a *SyntaxError* exception if _jsonString_ is the empty String, or if either the first or last code unit of _jsonString_ is any of 0x0009 (CHARACTER TABULATION), 0x000A (LINE FEED), 0x000D (CARRIAGE RETURN), or 0x0020 (SPACE).
+        1. Parse StringToCodePoints(_jsonString_) as a JSON text as specified in ECMA-404. Throw a *SyntaxError* exception if it is not a valid JSON text as defined in that specification, or if its outermost <code>value</code> is an <code>object</code> or <code>array</code> as defined in that specification.
+        1. Let _internalSlotsList_ be &laquo; [[IsRawJSON]] &raquo;.
+        1. Let _obj_ be OrdinaryObjectCreate(*null*, _internalSlotsList_).
+        1. Perform ! CreateDataPropertyOrThrow(_obj_, *"rawJSON"*, _jsonString_).
+        1. Perform ! SetIntegrityLevel(_obj_, ~frozen~).
+        1. Return _obj_.
+      </emu-alg>
+    </emu-clause>
+  </ins>
+
+  <emu-clause id="sec-json.stringify">
+    <h1>JSON.stringify ( _value_ [ , _replacer_ [ , _space_ ] ] )</h1>
+    <p>The `stringify` function returns a String in UTF-16 encoded JSON format representing an ECMAScript language value, or *undefined*. It can take three parameters. The _value_ parameter is an ECMAScript language value, which is usually an object or array, although it can also be a String, Boolean, Number or *null*. The optional _replacer_ parameter is either a function that alters the way objects and arrays are stringified, or an array of Strings and Numbers that acts as an inclusion list for selecting the object properties that will be stringified. The optional _space_ parameter is a String or Number that allows the result to have white space injected into it to improve human readability.</p>
+
+    <emu-clause id="sec-serializejsonproperty" type="abstract operation">
+      <h1>
+        SerializeJSONProperty (
+          _state_: unknown,
+          _key_: unknown,
+          _holder_: unknown,
+        ): either a normal completion containing either *undefined* or a String, or an abrupt completion
+      </h1>
+      <dl class="header">
+      </dl>
+      <emu-alg>
+        1. Let _value_ be ? Get(_holder_, _key_).
+        1. If Type(_value_) is Object or BigInt, then
+          1. Let _toJSON_ be ? GetV(_value_, *"toJSON"*).
+          1. If IsCallable(_toJSON_) is *true*, then
+            1. Set _value_ to ? Call(_toJSON_, _value_, &laquo; _key_ &raquo;).
+        1. If _state_.[[ReplacerFunction]] is not *undefined*, then
+          1. Set _value_ to ? Call(_state_.[[ReplacerFunction]], _holder_, &laquo; _key_, _value_ &raquo;).
+        1. If Type(_value_) is Object, then
+          1. <ins>If _value_ has an [[IsRawJSON]] internal slot, then</ins>
+            1. <ins>Return ! Get(_value_, *"rawJSON"*).</ins>
+          1. If _value_ has a [[NumberData]] internal slot, then
+            1. Set _value_ to ? ToNumber(_value_).
+          1. Else if _value_ has a [[StringData]] internal slot, then
+            1. Set _value_ to ? ToString(_value_).
+          1. Else if _value_ has a [[BooleanData]] internal slot, then
+            1. Set _value_ to _value_.[[BooleanData]].
+          1. Else if _value_ has a [[BigIntData]] internal slot, then
+            1. Set _value_ to _value_.[[BigIntData]].
+        1. If _value_ is *null*, return *"null"*.
+        1. If _value_ is *true*, return *"true"*.
+        1. If _value_ is *false*, return *"false"*.
+        1. If Type(_value_) is String, return QuoteJSONString(_value_).
+        1. If Type(_value_) is Number, then
+          1. If _value_ is finite, return ! ToString(_value_).
+          1. Return *"null"*.
+        1. If Type(_value_) is BigInt, throw a *TypeError* exception.
+        1. If Type(_value_) is Object and IsCallable(_value_) is *false*, then
+          1. Let _isArray_ be ? IsArray(_value_).
+          1. If _isArray_ is *true*, return ? SerializeJSONArray(_state_, _value_).
+          1. Return ? SerializeJSONObject(_state_, _value_).
+        1. Return *undefined*.
+      </emu-alg>
+    </emu-clause>
   </emu-clause>
 </emu-clause>