(WIP) Add sublayout to verification pseudocode

Signed-off-by: Aditya Sirish <[email protected]>

Author: adityasaky

ITE/10/README.adoc

@@ -230,11 +230,15 @@ func Verify(layoutEnvelope, layoutKeys, attestations, now) {
         stepAttestations := attestationsForStep(step.Name, attestations)
         for _, predicate := range step.ExpectedPredicates {
             predicateAttestations := attestationsForStepPredicate(predicate.Type, stepAttestations)
-            verifyAttestationSignatures(predicate.Functionaries, predicate.Threshold, predicateAttestations)
-            for _, attestation := range predicateAttestations {
-                applyMaterialRules(predicate.ExpectedMaterials, attestation)
-                applyProductRules(predicate.ExpectedProducts, attestation)
-                applyAttributeRules(predicate.ExpectedAttributes, attestation)
+            if predicate.Type == LAYOUT {
+                Verify(predicateAttestations[0], predicate.Functionaries, predicateAttestations[1:], now)
+            } else {
+                verifyAttestationSignatures(predicate.Functionaries, predicate.Threshold, predicateAttestations)
+                for _, attestation := range predicateAttestations {
+                    applyMaterialRules(predicate.ExpectedMaterials, attestation)
+                    applyProductRules(predicate.ExpectedProducts, attestation)
+                    applyAttributeRules(predicate.ExpectedAttributes, attestation)
+                }
             }
         }
     }