Combined readiness verdict and effects

Verification Boundary

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

Pure assertions combine required and advisory outcomes into readiness, retain summary counts and order the described monthly and year-end effects.

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

The suite calls pure rules, mappings or declarations with supplied inputs and test contexts. No deployed workflow is exercised.

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

Show evidence (sources, provenance, origins, pinned commits)