Guard registry: a guard that runs only in its own test

package.json

@@ -26,6 +26,7 @@
     "check:framing": "tsx scripts/check-section-framing.ts",
     "check:self-input": "tsx scripts/check-self-provisioned-input.ts",
     "check:self-composed-set": "tsx scripts/check-self-composed-set.ts",
+    "check:branch-as-step": "tsx scripts/check-branch-as-step.ts",
     "check:activity-tech": "tsx scripts/check-activity-technique-overlap.ts",
     "check:prism-lenses": "tsx scripts/check-prism-lens-reachability.ts",
     "check:anchors": "tsx scripts/check-resource-anchors.ts",

scripts/guards.ts

@@ -152,6 +152,14 @@ export const GUARDS: GuardSpec[] = [
     json: false,
     proves: 'no set action builds its value out of the variable it writes',
   },
+  {
+    id: 'branch-as-step',
+    script: 'scripts/check-branch-as-step.ts',
+    npmScript: 'check:branch-as-step',
+    scope: 'corpus',
+    json: true,
+    proves: 'no protocol phase encodes a conditional branch as a step',
+  },
   {
     id: 'activity-technique-overlap',
     script: 'scripts/check-activity-technique-overlap.ts',

tests/e2e/__snapshots__/corpus-sha.json

@@ -1,4 +1,4 @@
 {
-  "corpusSha": "5f17da01a33bec58f36891d5af402231dd6d3a83",
+  "corpusSha": "fbd6f53bc8054f97ad631320d0cbe8151dfdcde9",
   "note": "Corpus commit the committed walk snapshots were generated against. Update it in the same commit that bumps the workflows submodule and re-baselines the walk (npm run baseline:stamp)."
 }