codec

type KATBundle struct {
	Schema  string     `json:"schema"` // "lux.math.kat.v1"
	Entries []KATEntry `json:"entries"`
}

type KATEntry struct {
	// Header carries the canonical (parameter, backend, hash-suite,
	// implementation, version) tuple every KAT must surface.
	Header params.KATHeader `json:"header"`

	// Test is the human-readable test name (e.g. "ReadUint64Slice/
	// happy-path-3-elements", "MontMul/q=PulsarQ/100-random-pairs").
	Test string `json:"test"`

	// InputHex is the hex-encoded input byte stream consumed by the
	// substrate primitive under test.
	InputHex string `json:"input_hex"`

	// OutputHex is the hex-encoded canonical output byte stream.
	OutputHex string `json:"output_hex"`

	// OutputSHA256 is the SHA-256 commitment over OutputHex's raw
	// bytes (NOT the hex string). Used as a fast cross-runtime
	// equality check; full byte-stream is in OutputHex for diffing
	// on mismatch.
	OutputSHA256 string `json:"output_sha256"`
}

type LimitError struct {
	What  string // human-readable name of the cap, e.g. "MaxUint64SliceLen"
	Limit int
	Got   uint64
}

type Limits struct {
	// MaxFrameBytes caps the total number of input bytes the Reader
	// will consume in a single decode call. Used to bound peek-ahead
	// buffers. 0 means unset and is treated as an error.
	MaxFrameBytes int

	// MaxUint16SliceLen caps the number of elements in a uint16 slice.
	MaxUint16SliceLen int
	// MaxUint32SliceLen caps the number of elements in a uint32 slice.
	MaxUint32SliceLen int
	// MaxUint64SliceLen caps the number of elements in a uint64 slice.
	MaxUint64SliceLen int

	// MaxDepth caps how deeply a recursively-shaped wire format may
	// nest before the reader rejects (Vector[Poly] etc. are 2 levels).
	MaxDepth int
}

type Reader struct {
	// contains filtered or unexported fields
}