ui/client/features/requirement/domain/ProofCard
Pure (DOMAIN-001): the proof of a generated screen as the words and flags the Proof card draws.
Cockpit client (features), next. Source: ui/client/features/requirement/domain/ProofCard.ts.
Functions#
buildProofView()#
buildProofView(
state,result):ProofView|null
Defined in: ui/client/features/requirement/domain/ProofCard.ts:97
The Proof card, or null when the plan proves nothing.
Parameters#
state
result
Returns#
ProofView | null
chainLine()#
chainLine(
state,reason,passed,running):object
Defined in: ui/client/features/requirement/domain/ProofCard.ts:33
The chain of the screen is complete when the proof is green or explicitly skipped; the line always says which, never a plain "complete".
Parameters#
state
reason
string | null
passed
number
running
boolean
Returns#
object
complete
complete:
boolean
line
line:
string
proofStateOf()#
proofStateOf(
state):ProofState
Defined in: ui/client/features/requirement/domain/ProofCard.ts:26
The state of the card: a skip that stands wins; else the last run; else pending.