Verification

Generated from public report-related SDK types. Rule details are split into Verification rules and JSON contracts into Report outputs.

Export	Kind	Source	Summary
`Finding`	interface	`sdk/ts/src/ops.ts`	Single verification finding, optionally tied to a resolved segment index.
`Report`	interface	`sdk/ts/src/ops.ts`	Verification result containing all findings emitted by enabled rules.
`Severity`	type	`sdk/ts/src/ops.ts`	Severity level for a verification finding.
`ToolpathMeta`	interface	`sdk/ts/src/ops.ts`	Optional provenance and invariant metadata attached to a resolved toolpath.

`Finding`

export interface Finding

Single verification finding, optionally tied to a resolved segment index.

Field	Type	Required	Summary
`rule`	`string`	Yes	Stable rule identifier, such as `bounds` or `peak-acceleration`.
`severity`	`Severity`	Yes	Whether the finding blocks the contract or is advisory.
`segment`	`number \| null`	Yes	Zero-based segment index, or null when the finding is global.
`message`	`string`	Yes	Human-readable finding details.

export interface Report

Verification result containing all findings emitted by enabled rules.

Field	Type	Required	Summary
`findings`	`Finding[]`	Yes	Declared in the public API.

export type Severity = 'error' | 'warning'

Severity level for a verification finding.

export interface ToolpathMeta

Optional provenance and invariant metadata attached to a resolved toolpath.

Field	Type	Required	Summary
`generator`	`string`	No	Name of the generator or pipeline that produced the toolpath.
`units`	`string`	No	Coordinate and unit convention, normally millimeters.
`source_hash`	`string`	No	Stable source hash when the toolpath was derived from an external artifact.
`invariants`	`string[]`	No	Human-readable invariants the toolpath is expected to satisfy.