kuilt-conformance/us.tractat.kuilt.conformance/ObligationDeclaration/NotApplicable

NotApplicable

sealed interface NotApplicable : ObligationDeclaration

The obligation does not apply to this fabric or this harness by design — not a shortfall, and not something to "fix". Two arms, split by whether the claim can be demonstrated here; the split is deliberate, because collapsing them would price the demonstrable case at the undemonstrable one's rate and hand every future harness the cheaper arm.

Inheritors

ContractDiffers

NotConstructible

Types

ContractDiffers

data class ContractDiffers(val reason: String) : ObligationDeclaration.NotApplicable

The event is injectable here, and the fabric deliberately answers it differently from what the obligation requires.

NotConstructible

data class NotConstructible(val reason: String) : ObligationDeclaration.NotApplicable

The event cannot be constructed under this harness's topology at all.

Properties

reason

abstract val reason: String

Why, in prose a reviewer can check against the fabric. Non-blank, enforced.