"""Verified units — the trained, N/N bit-exact INT8 building blocks bundled with
DaisyChain (from the neural-gpu-verify project). Build models with VerifiedLinear
and their FORWARD compute runs through these verified units (multiply / requant /
ReLU), materialized as lookup tables for practical speed (fast=True).

These are pre-trained; users do NOT train new units — they train THROUGH them.
"""
from .qat import VerifiedLinear, load_units, build_luts
from .mul8 import NeuralMul8
from .ops import NeuralReLU8, NeuralRequant16
from . import instrument

__all__ = ["VerifiedLinear", "load_units", "build_luts",
           "NeuralMul8", "NeuralReLU8", "NeuralRequant16", "instrument"]