Interface: BaseCheckASTNode<TType, THandle>
Defined in: ast/base/base-check-ast-node.ts:12
Domain-agnostic base AST node contract for deterministic verification checks (CheckASTNode).
Executed at actor beforeStop gates, scoped rule enforcement points, and branch reconciliation boundaries via RuntimeExecutorRegistry.checks[node.type].
Extended by
FsRegexCheckNodeGitCleanWorkingTreeNodeLocalCommandCheckNodeLocalStreamCheckNodeFsRegexCheckNodeGitCleanWorkingTreeNodeLocalCommandCheckNodeLocalStreamCheckNode
Type Parameters
| Type Parameter | Default type | Description |
|---|---|---|
TType extends string | string | String-literal discriminant identifying the check implementation. |
THandle | unknown | Isolation scope handle type inspected by the check. |
Properties
| Property | Modifier | Type | Description | Defined in |
|---|---|---|---|---|
__handleBrand? | readonly | BivariantCallback<[handle: THandle], void> | Phantom type brand binding the check to its compatible scope handle type. | ast/base/base-check-ast-node.ts:18 |
id | readonly | string | Logical identifier of the check instance. | ast/base/base-check-ast-node.ts:16 |
type | readonly | TType | Unique string-literal discriminant of the check node. | ast/base/base-check-ast-node.ts:14 |