Fix minor issues with grammar/flow/arguments in JCS Verify Proof.

index.html

@@ -884,27 +884,26 @@ <h4>Verify Proof (eddsa-jcs-2022)</h4>
 The following algorithm specifies how to verify a [=data integrity proof=] given
 an <a>secured data document</a>. Required inputs are an
 <a>secured data document</a> ([=map=] |securedDocument|). This algorithm returns
-a [=verification result=], which is a [=struct=] whose
-[=struct/items=] are:
+a [=verification result=], which is a [=struct=] whose [=struct/items=] are:
           </p>
           <dl>
             <dt>[=verification result/verified=]</dt>
             <dd>`true` or `false`</dd>
             <dt>[=verification result/verifiedDocument=]</dt>
             <dd>
-if [=verification result/verified=] is `false`, <a data-cite="INFRA#nulls">Null</a>;
-otherwise, an [=unsecured data document=]
+if [=verification result/verified=] is `true`, an [=unsecured data document=];
+otherwise <a data-cite="INFRA#nulls">Null</a>
             </dd>
           </dl>
 
           <ol class="algorithm">
             <li>
-Let |unsecuredDocument| be a copy of |securedDocument| with
-the `proof` value removed.
+Let |unsecuredDocument| be a copy of |securedDocument| with the `proof` value
+removed.
             </li>
             <li>
-Let |proofOptions| be the result of a copy of |securedDocument|.|proof| with `proofValue`
-removed.
+Let |proofOptions| be the result of a copy of |securedDocument|.|proof| with
+`proofValue` removed.
             </li>
             <li>
 Let |proofBytes| be the
@@ -927,23 +926,23 @@ <h4>Verify Proof (eddsa-jcs-2022)</h4>
             </li>
             <li>
 Let |transformedData| be the result of running the algorithm in Section
-<a href="#transformation-eddsa-jcs-2022"></a> with |unsecuredDocument| and
+[[[#transformation-eddsa-jcs-2022]]] with |unsecuredDocument| and
 |proofOptions| passed as parameters.
               </li>
             <li>
-Let |proofConfig| be the result of running the algorithm in
-Section [[[#proof-configuration-eddsa-jcs-2022]]] with
-|unsecuredDocument| and |proofOptions| passed as a parameters.
+Let |proofConfig| be the result of running the algorithm in Section
+[[[#proof-configuration-eddsa-jcs-2022]]] with |proofOptions| passed
+as the parameter.
             </li>
             <li>
 Let |hashData| be the result of running the algorithm in Section
-[[[#hashing-eddsa-jcs-2022]]] with |transformedData| and |proofConfig|
-passed as a parameters.
+[[[#hashing-eddsa-jcs-2022]]] with |transformedData| and |proofConfig| passed as
+a parameters.
             </li>
             <li>
 Let |verified:boolean| be the result of running the algorithm in Section
-[[[#proof-verification-eddsa-jcs-2022]]] algorithm on |hashData|,
-|proofBytes|, and |proofConfig|.
+[[[#proof-verification-eddsa-jcs-2022]]] algorithm on |hashData|, |proofBytes|,
+and |proofConfig|.
               </li>
               <li>
 Return a [=verification result=] with [=struct/items=]:
@@ -1049,8 +1048,7 @@ <h4>Proof Configuration (eddsa-jcs-2022)</h4>
           </p>
 
           <p>
-The required inputs to this algorithm are the <em>document</em>
-(|unsecuredDocument|) and the <em>proof options</em>
+The required inputs to this algorithm are <em>proof options</em>
 (<var>options</var>). The <em>proof options</em> MUST contain a type identifier
 for the
 <a data-cite="vc-data-integrity#dfn-cryptosuite">