Interface: CheckEvaluationResult

Defined in: ports/runtime-executor-registry.ts:50

Verification result returned by a CheckASTNode executor in RuntimeExecutorRegistry.checks.

Indicates whether the deterministic check passed and provides actionable deficit strings when rejected.

Properties

Property	Modifier	Type	Description	Defined in
deficits	readonly	readonly string[]	Actionable deficit descriptions when ok is false.	ports/runtime-executor-registry.ts:54
ok	readonly	boolean	True when the deterministic check passed with zero deficits.	ports/runtime-executor-registry.ts:52