A.21:4.4 - Complete check set and independent results

Before aggregation, recover the complete effective required set from the profile application. Every required application is present even when it is notRun, unknown, error, or failed.

• notApplicable is allowed only when the application gives its scope or applicability reason.
• notRun never becomes abstain or pass.
• unknown and error remain visible before their explicit profile mapping.
• a failed A.20 result can prevent passage but cannot make freshness, channel, role-fit, regulatory, crossing, or another independent check inapplicable.
• evaluation work may defer an expensive check after a blocking result, but the deferred required check remains notRun in the result.

If a profile deliberately accepts known uncertainty, its mapping rule names the checked subject, tolerated uncertainty, permitted bounded action, consequence, and expiry or recheck condition. A generic neutral fold is insufficient.