Application availability

Verification Boundary

This suite exercises application licensing through its declared function or structural boundary. Its implementation is present at the pinned source revision, and this register records no execution result.

What This Suite Proves

The checks evaluate controlled licence windows, effective exceptions and operational inputs, including exact time boundaries and the separate HQ rule. The scenario bindings name the attributed outcomes.

What It Does Not Prove

Local execution does not establish deployed infrastructure, live commercial-provider configuration or authorization-cache completion. Registration and an implemented suite do not establish a passing result.

Real Dependencies and Test Doubles

The production logic under assertion is real. Boundary cases control the clock.

Must Not Be Doubled

The production function, registry or builder under assertion remains real.