check.benchmark |
Declares a named benchmark slice over a test record. |
check.case |
Named correctness harness. |
check.compare |
Ends a trial by independently invoking target and oracle subjects and checking their explicit typed observations. |
check.entropy.fork |
Derives a stable named entropy substream without advancing or mutating the parent identity. |
check.entropy.read |
Reads one deterministic i64 word at an explicit static or dynamic ordinal. |
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.invoke |
Ends a trial with one target-only invocation. |
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 harness or comparison body. |
check.scenario |
Named differential or target-only execution scenario. |
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. |
check.trial |
Finite runtime trial domain. |