Close and reopen infrastructure synthesis

Verification Boundary

This suite exercises the named rules or declaration assertions with supplied inputs. Its bindings do not claim end-to-end execution.

What This Suite Proves

CDK assertions inspect the two workflow definitions, task-function aliases, invoke grants, aging wait state, failure alarms and supplied workflow addresses.

What It Does Not Prove

This register records assertion scope without claiming a passing run or complete coverage of every rule and scenario variant.

Real Dependencies and Test Doubles

The infrastructure declaration is synthesized locally with CDK assertions. AWS resources and state machines are not deployed or invoked.

Must Not Be Doubled

The rule, mapping or declaration under assertion must run unchanged; supplied inputs do not substitute for its behavior.