check dialect

← Dialect reference

Production testbench operations.

Property	Value
Bytecode dialect ID	0x16
Registered by default	yes
Operations	22

Operations

Operation	Summary
check.benchmark	Declares a benchmark slice over a check.case.
check.case	Named correctness harness.
check.expect	Runs a pluggable custom validator over actual and expected values.
check.expect.bitwise	Requires actual and expected values to match bit-for-bit.
check.expect.close	Requires actual and expected floating-point values to be approximately equal.
check.expect.equal	Requires actual and expected values to compare equal.
check.expect.event	Requires a structured runtime event matching a provider-specific subset pattern.
check.expect.shape	Requires a shaped value to have the expected dynamic/static shape.
check.file.read.npy	Reads a typed value from an NPY fixture file.
check.file.write.npy	Writes a typed value to an NPY file according to a static output policy.
check.generate.fill	Generates a value filled with one static scalar payload.
check.generate.iota	Generates a deterministic, optionally periodic iota-shaped value.
check.generate.random.uniform	Generates a deterministic random-uniform value from a sampled seed.
check.literal	Materializes a typed scalar literal for reproducer inputs or expected values.
check.oracle.call	Calls a pluggable oracle provider for expected values.
check.param.choice	Produces one sampled integer/index parameter from an explicit choice set.
check.param.range	Produces one sampled scalar parameter from a static interval.
check.param.seed	Produces deterministic i64 seeds for randomized generators.
check.requires	Declares a provider requirement; unmet requirements skip the case.
check.return	Terminates a check.case body.
check.skip_if	Declares a provider skip predicate for exceptional environments.
check.tensor.view	Forms a dense typed alias over a byte subspan of a tensor materialized by another check value source.