Source file wire.ml

(* Wire: Dependent Data Descriptions for EverParse 3D *)

module Staged = Staged
module UInt32 = UInt32
module UInt63 = UInt63
module Action = Action
module Param = Param
module Field = Field
module Codec = Codec
module Everparse = Everparse
include Types

type bitfield = U8 | U16 | U16be | U32 | U32be
type param = Types.param

let param_name (p : param) = p.param_name
let param_is_mutable (p : param) = p.mutable_

let param_c_type (p : param) =
  let (Types.Pack_typ t) = p.param_typ in
  Types.c_type_of t

let _field_ref = Types.ref
let map ~decode ~encode inner = Types.map decode encode inner

let bool (b : Stdlib.Bool.t) : _ Types.expr =
  if b then Types.true_ else Types.false_

let bit = Types.bool
let empty = Types.unit
let size = Types.field_wire_size
let lookup = Types.cases

(* IEEE 754 predicates compile to bit-mask checks over the float's bit
   pattern (which [build_populate] stores into [int_array] for float fields).
   We use shift-based forms instead of the natural [v & 0x7FF0_..._0000]
   because that mask exceeds OCaml's 62-bit signed [int] range and renders
   as a negative literal that 3D rejects. Shifting the exponent down to the
   low bits and comparing against a small constant keeps every literal
   fitting in 31 bits and produces identical [(v >> N) & M] / [== M] checks
   on both wire's OCaml decoder and EverParse's verified C decoder. *)
type float_layout = { exp_shift : int; exp_max : int; mant_mask : int }

let float_layout_of (typ : float Types.typ) =
  match typ with
  | Float32 _ -> { exp_shift = 23; exp_max = 0xFF; mant_mask = 0x007F_FFFF }
  | Float64 _ ->
      { exp_shift = 52; exp_max = 0x7FF; mant_mask = 0x000F_FFFF_FFFF_FFFF }
  | _ -> invalid_arg "Wire: not a float field"

let is_finite (f : float Field.t) : bool Types.expr =
  let r = Field.ref f in
  let { exp_shift; exp_max; _ } = float_layout_of (Field.typ f) in
  Expr.(Land (Lsr (r, Int exp_shift), Int exp_max) <> Int exp_max)

let is_nan (f : float Field.t) : bool Types.expr =
  let r = Field.ref f in
  let { exp_shift; exp_max; mant_mask } = float_layout_of (Field.typ f) in
  Expr.(
    Land (Lsr (r, Int exp_shift), Int exp_max) = Int exp_max
    && Land (r, Int mant_mask) <> Int 0)

let codec (c : 'r Codec.t) : 'r typ =
  let codec_decode = Codec.embed_decode c in
  let codec_encode = Codec.embed_encode c in
  let codec_field_readers = Codec.field_readers c in
  let codec_struct = Codec.to_struct c in
  let codec_size_of_value = Codec.size_of_value c in
  match Codec.wire_size_info c with
  | `Fixed n ->
      Codec
        {
          codec_name = Codec.name c;
          codec_decode;
          codec_encode;
          codec_fixed_size = Some n;
          codec_size_of = (fun _buf _off -> n);
          codec_size_of_value;
          codec_field_readers;
          codec_struct;
        }
  | `Variable size_of ->
      Codec
        {
          codec_name = Codec.name c;
          codec_decode;
          codec_encode;
          codec_fixed_size = None;
          codec_size_of = size_of;
          codec_size_of_value;
          codec_field_readers;
          codec_struct;
        }

type ('elt, 'seq) seq_map = ('elt, 'seq) Types.seq_map =
  | Seq_map : {
      empty : 'b;
      add : 'b -> 'elt -> 'b;
      finish : 'b -> 'seq;
      iter : ('elt -> unit) -> 'seq -> unit;
    }
      -> ('elt, 'seq) seq_map

let seq_list = Types.seq_list
let array_seq = Types.array_seq

let rest_bytes (total : (int, _) Param.t) =
  Types.byte_array ~size:Types.(Sub (Param_ref total, Sizeof_this))

let bits ?(bit_order = Types.Msb_first) ~width bf =
  let base =
    match bf with
    | U8 -> Types.bf_uint8
    | U16 -> Types.bf_uint16
    | U16be -> Types.bf_uint16be
    | U32 -> Types.bf_uint32
    | U32be -> Types.bf_uint32be
  in
  Types.bits ~bit_order ~width base

module Expr = struct
  include Types.Expr

  let true_ = Types.true_
  let false_ = Types.false_
  let bool b = if b then Types.true_ else Types.false_
end

module Reader = Bytesrw.Bytes.Reader
module Slice = Bytesrw.Bytes.Slice

exception Validation_error = Parse_error

let[@inline] check_eof len need =
  if need > len then
    raise (Parse_error (Unexpected_eof { expected = need; got = len }))

(* The single decoder kernel. Bytes-based, returns [(value, end_off)].
   All types handled here -- no fallback. Expressions are evaluated in
   [Eval.empty] (no field bindings); types using [Ref]/[Sizeof_this]/
   [Field_pos] only make sense inside a [Struct], which goes through
   [Codec.validator_of_struct] where the int-array context is wired up. *)
(* Helpers extracted from [parse_direct] to keep the dispatch readable
   and short. Each handles one composite case. *)

let parse_all_zeros buf off len =
  let n = len - off in
  let s = Bytes.sub_string buf off n in
  let rec check i =
    if i >= n then s
    else if s.[i] <> '\000' then
      raise (Parse_error (All_zeros_failed { offset = off + i }))
    else check (i + 1)
  in
  (check 0, len)

let parse_codec_typ codec_decode fixed_size size_of buf off len =
  let sz =
    match fixed_size with
    | Some n -> n
    | None -> (
        (* A variable-size codec computes its span by reading length / gate
           fields from the buffer; on a buffer too short to hold them, that read
           is out of bounds. Convert the [Invalid_argument] into a clean eof, the
           same guard [Codec.decode]'s checked path applies, so [of_string] on a
           truncated input returns [Error _] instead of crashing. *)
        try size_of buf off
        with Invalid_argument _ ->
          raise (Parse_error (Unexpected_eof { expected = len + 1; got = len }))
        )
  in
  check_eof len (off + sz);
  (codec_decode buf off, off + sz)

(* Only a closed enum enforces membership; an open enum names known codes but
   accepts any value. [Codec.decode] gates on [closed] the same way, so the two
   decode paths agree on an unlisted code. *)
let check_enum_membership ~closed cases v =
  if closed then begin
    let valid = List.map snd cases in
    if not (List.mem v valid) then
      raise (Parse_error (Invalid_enum { value = v; valid }))
  end

let parse_struct_typ s buf off len =
  let v = Codec.validator_of_struct s in
  let sz = Codec.struct_size_of v buf off in
  check_eof len (off + sz);
  Codec.validate_struct v buf off;
  ((), off + sz)

let rec parse_direct : type a. a typ -> bytes -> int -> int -> a * int =
 fun typ buf off len ->
  match typ with
  | Uint8 ->
      check_eof len (off + 1);
      (Bytes.get_uint8 buf off, off + 1)
  | Uint16 Little ->
      check_eof len (off + 2);
      (Bytes.get_uint16_le buf off, off + 2)
  | Uint16 Big ->
      check_eof len (off + 2);
      (Bytes.get_uint16_be buf off, off + 2)
  | Uint32 Little ->
      check_eof len (off + 4);
      (UInt32.le buf off, off + 4)
  | Uint32 Big ->
      check_eof len (off + 4);
      (UInt32.be buf off, off + 4)
  | Uint63 Little ->
      check_eof len (off + 8);
      (UInt63.le buf off, off + 8)
  | Uint63 Big ->
      check_eof len (off + 8);
      (UInt63.be buf off, off + 8)
  | Uint64 Little ->
      check_eof len (off + 8);
      (Bytes.get_int64_le buf off, off + 8)
  | Uint64 Big ->
      check_eof len (off + 8);
      (Bytes.get_int64_be buf off, off + 8)
  | Int8 ->
      check_eof len (off + 1);
      (Bytes.get_int8 buf off, off + 1)
  | Int16 Little ->
      check_eof len (off + 2);
      (Bytes.get_int16_le buf off, off + 2)
  | Int16 Big ->
      check_eof len (off + 2);
      (Bytes.get_int16_be buf off, off + 2)
  | Int32 Little ->
      check_eof len (off + 4);
      (Int32.to_int (Bytes.get_int32_le buf off), off + 4)
  | Int32 Big ->
      check_eof len (off + 4);
      (Int32.to_int (Bytes.get_int32_be buf off), off + 4)
  | Int64 Little ->
      check_eof len (off + 8);
      (Bytes.get_int64_le buf off, off + 8)
  | Int64 Big ->
      check_eof len (off + 8);
      (Bytes.get_int64_be buf off, off + 8)
  | Float32 Little ->
      check_eof len (off + 4);
      (Int32.float_of_bits (Bytes.get_int32_le buf off), off + 4)
  | Float32 Big ->
      check_eof len (off + 4);
      (Int32.float_of_bits (Bytes.get_int32_be buf off), off + 4)
  | Float64 Little ->
      check_eof len (off + 8);
      (Int64.float_of_bits (Bytes.get_int64_le buf off), off + 8)
  | Float64 Big ->
      check_eof len (off + 8);
      (Int64.float_of_bits (Bytes.get_int64_be buf off), off + 8)
  | Uint_var { size; endian } ->
      let n = Eval.expr Eval.empty size in
      check_eof len (off + n);
      (Uint_var.read endian buf off n, off + n)
  | Bits { width; base; bit_order } ->
      let sz = Bitfield.byte_size base in
      check_eof len (off + sz);
      let total = Bitfield.total_bits base in
      let word = Bitfield.read_word base buf off in
      (Bitfield.extract ~bit_order ~total ~bits_used:0 ~width word, off + sz)
  | Unit -> ((), off)
  | All_bytes -> (Bytes.sub_string buf off (len - off), len)
  | All_zeros -> parse_all_zeros buf off len
  | Zeroterm ->
      let nul = Codec.zeroterm_nul_pos buf ~first:off ~limit:len in
      (Bytes.sub_string buf off (nul - off), nul + 1)
  | Zeroterm_at_most { size } ->
      let n = Eval.expr Eval.empty size in
      check_eof len (off + n);
      let nul = Codec.zeroterm_nul_pos buf ~first:off ~limit:(off + n) in
      (Bytes.sub_string buf off (nul - off), off + n)
  | Byte_array { size } ->
      let n = Eval.expr Eval.empty size in
      check_eof len (off + n);
      (Bytes.sub_string buf off n, off + n)
  | Byte_array_where { size; elt_var; cond } ->
      let n = Eval.expr Eval.empty size in
      check_eof len (off + n);
      for i = 0 to n - 1 do
        let v = Bytes.get_uint8 buf (off + i) in
        if not (Eval.expr (Eval.bind elt_var v Eval.empty) cond) then
          raise (Parse_error (Constraint_failed "byte_array_where: per-byte"))
      done;
      (Bytes.sub_string buf off n, off + n)
  | Byte_slice { size } ->
      let n = Eval.expr Eval.empty size in
      check_eof len (off + n);
      (Slice.make_or_eod buf ~first:off ~length:n, off + n)
  | Single_elem { size; elem; at_most = _ } ->
      let n = Eval.expr Eval.empty size in
      check_eof len (off + n);
      let v, _ = parse_direct elem buf off (off + n) in
      (v, off + n)
  | Map { inner; decode; _ } ->
      let v, off' = parse_direct inner buf off len in
      (decode v, off')
  | Where { cond; inner } -> parse_where inner cond buf off len
  | Enum { base; cases; closed; _ } ->
      let v, off' = parse_direct base buf off len in
      check_enum_membership ~closed cases v;
      (v, off')
  | Codec { codec_decode; codec_fixed_size; codec_size_of; _ } ->
      parse_codec_typ codec_decode codec_fixed_size codec_size_of buf off len
  | Struct s -> parse_struct_typ s buf off len
  | Casetype { cases; tag; _ } -> parse_casetype tag cases buf off len
  | Optional { present; inner } ->
      if Eval.expr Eval.empty present then
        let v, off' = parse_direct inner buf off len in
        (Some v, off')
      else (None, off)
  | Optional_or { present; inner; default } ->
      if Eval.expr Eval.empty present then parse_direct inner buf off len
      else (default, off)
  | Array { len = len_expr; elem; seq } ->
      let n = Eval.expr Eval.empty len_expr in
      parse_array_loop ~elem ~seq buf off len ~n
  | Repeat { size; elem; seq } ->
      let budget = Eval.expr Eval.empty size in
      parse_repeat_loop ~elem ~seq buf off len ~budget
  | Type_ref _ -> failwith "type_ref requires a type registry"
  | Qualified_ref _ -> failwith "qualified_ref requires a type registry"
  | Apply _ -> failwith "apply requires a type registry"

and parse_where : type a. a typ -> bool expr -> bytes -> int -> int -> a * int =
 fun inner cond buf off len ->
  let v, off' = parse_direct inner buf off len in
  if Eval.expr Eval.empty cond then (v, off')
  else raise (Parse_error (Constraint_failed "where clause"))

and parse_casetype : type a k.
    k typ -> (a, k) case_branch list -> bytes -> int -> int -> a * int =
 fun tag cases buf off len ->
  let tag_val, off' = parse_direct tag buf off len in
  let rec find_case = function
    | [] -> raise (Parse_error (Constraint_failed "casetype: no matching case"))
    | Case_branch { cb_tag = Some expected; cb_inner; cb_inject; _ } :: rest ->
        if expected = tag_val then
          let body, off'' = parse_direct cb_inner buf off' len in
          (cb_inject tag_val body, off'')
        else find_case rest
    | Case_branch { cb_tag = None; cb_inner; cb_inject; _ } :: _ ->
        let body, off'' = parse_direct cb_inner buf off' len in
        (cb_inject tag_val body, off'')
  in
  find_case cases

and parse_array_loop : type elt seq.
    elem:elt typ ->
    seq:(elt, seq) seq_map ->
    bytes ->
    int ->
    int ->
    n:int ->
    seq * int =
 fun ~elem ~seq:(Seq_map s) buf off len ~n ->
  let rec loop acc off' i =
    if i >= n then (s.finish acc, off')
    else
      let v, off'' = parse_direct elem buf off' len in
      loop (s.add acc v) off'' (i + 1)
  in
  loop s.empty off 0

and parse_repeat_loop : type elt seq.
    elem:elt typ ->
    seq:(elt, seq) seq_map ->
    bytes ->
    int ->
    int ->
    budget:int ->
    seq * int =
 fun ~elem ~seq:(Seq_map s) buf off len ~budget ->
  let start = off in
  let rec loop acc off' =
    if off' - start >= budget then (s.finish acc, off')
    else
      let v, off'' = parse_direct elem buf off' len in
      loop (s.add acc v) off''
  in
  loop s.empty off

exception Parse_error = Parse_error

let of_string_exn typ s =
  let buf = Bytes.unsafe_of_string s in
  fst (parse_direct typ buf 0 (Bytes.length buf))

let of_string typ s =
  match of_string_exn typ s with
  | v -> Ok v
  | exception Parse_error e -> Error e

let of_bytes_exn typ b = fst (parse_direct typ b 0 (Bytes.length b))

let of_bytes typ b =
  match of_bytes_exn typ b with v -> Ok v | exception Parse_error e -> Error e

let drain_reader reader =
  let buf = Buffer.create 256 in
  let rec loop () =
    let slice = Reader.read reader in
    if Slice.is_eod slice then Buffer.to_bytes buf
    else begin
      Buffer.add_subbytes buf (Slice.bytes slice) (Slice.first slice)
        (Slice.length slice);
      loop ()
    end
  in
  loop ()

let rec typ_consumes_rest : type a. a typ -> bool = function
  | All_bytes | All_zeros -> true
  | Map { inner; _ } -> typ_consumes_rest inner
  | Where { inner; _ } -> typ_consumes_rest inner
  | Enum { base; _ } -> typ_consumes_rest base
  | Optional { inner; _ } -> typ_consumes_rest inner
  | Optional_or { inner; _ } -> typ_consumes_rest inner
  | Array { elem; _ } -> typ_consumes_rest elem
  | Repeat { elem; _ } -> typ_consumes_rest elem
  | Codec { codec_struct; _ } | Struct codec_struct ->
      struct_consumes_rest codec_struct
  | Casetype { tag; cases; _ } ->
      typ_consumes_rest tag
      || List.exists
           (fun (Case_branch { cb_inner; _ }) -> typ_consumes_rest cb_inner)
           cases
  | Apply { typ; _ } -> typ_consumes_rest typ
  | Single_elem _ -> false
  | _ -> false

and struct_consumes_rest (s : struct_) =
  List.exists (fun (Field f) -> typ_consumes_rest f.field_typ) s.fields

let push_back_bytes reader bytes first (length : int) =
  if length > 0 then Reader.push_back reader (Slice.make bytes ~first ~length)

let read_exact reader (n : int) =
  let buf = Bytes.create n in
  let rec loop off =
    if off >= n then buf
    else
      let slice = Reader.read reader in
      if Slice.is_eod slice then begin
        push_back_bytes reader buf 0 off;
        raise (Parse_error (Unexpected_eof { expected = n; got = off }))
      end
      else
        let slice_len = Slice.length slice in
        let need = n - off in
        let take = Int.min need slice_len in
        Bytes.blit (Slice.bytes slice) (Slice.first slice) buf off take;
        (if slice_len > take then
           match Slice.drop take slice with
           | None -> assert false
           | Some rest -> Reader.push_back reader rest);
        loop (off + take)
  in
  loop 0

(* Parse [bytes] and keep the reader transactional: on success push back the
   bytes past the decoded value, on parse error push back everything so the
   reader is restored to its position before the failed decode. *)
let parse_or_rewind typ reader bytes len =
  match parse_direct typ bytes 0 len with
  | v, off ->
      push_back_bytes reader bytes off (len - off);
      v
  | exception Parse_error e ->
      push_back_bytes reader bytes 0 len;
      raise (Parse_error e)

let missing_more_input = function
  | Unexpected_eof _ -> true
  (* must match the message raised by [Codec.zeroterm_nul_pos] *)
  | Constraint_failed "zeroterm: missing NUL terminator" -> true
  | _ -> false

let of_reader_incremental typ reader =
  let buf = Buffer.create 256 in
  let rec loop () =
    let bytes = Buffer.to_bytes buf in
    let len = Bytes.length bytes in
    let read_more on_eod =
      let slice = Reader.read reader in
      if Slice.is_eod slice then on_eod ()
      else begin
        Buffer.add_subbytes buf (Slice.bytes slice) (Slice.first slice)
          (Slice.length slice);
        loop ()
      end
    in
    match parse_direct typ bytes 0 len with
    | v, off ->
        push_back_bytes reader bytes off (len - off);
        v
    | exception Parse_error e when missing_more_input e ->
        read_more (fun () ->
            push_back_bytes reader bytes 0 len;
            raise (Parse_error e))
    | exception Parse_error e ->
        push_back_bytes reader bytes 0 len;
        raise (Parse_error e)
    | exception Invalid_argument _ ->
        read_more (fun () ->
            push_back_bytes reader bytes 0 len;
            raise
              (Parse_error (Unexpected_eof { expected = len + 1; got = len })))
  in
  loop ()

let of_reader_exn typ reader =
  if typ_consumes_rest typ then
    let bytes = drain_reader reader in
    parse_or_rewind typ reader bytes (Bytes.length bytes)
  else
    match Types.field_wire_size typ with
    | Some n ->
        let bytes = read_exact reader n in
        parse_or_rewind typ reader bytes n
    | None -> of_reader_incremental typ reader

let of_reader typ reader =
  match of_reader_exn typ reader with
  | v -> Ok v
  | exception Parse_error e -> Error e
(* Binary encoding with Bytesrw.Bytes.Writer *)

module Writer = Bytesrw.Bytes.Writer

(* Encoder state *)
(* Buffered encoder -- writes accumulate in o, flushed as a single Slice.t.
   Mirrors the decoder's destructured-slice pattern. *)
type encoder = {
  writer : Writer.t;
  o : bytes;
  o_max : int;
  mutable o_next : int;
}

let o_size = 4096

let encoder writer =
  { writer; o = Bytes.create o_size; o_max = o_size - 1; o_next = 0 }

let[@inline] flush enc =
  if enc.o_next > 0 then begin
    Writer.write enc.writer (Slice.make enc.o ~first:0 ~length:enc.o_next);
    enc.o_next <- 0
  end

let[@inline] ensure enc n = if enc.o_next + n > enc.o_max + 1 then flush enc

let[@inline] write_byte enc b =
  ensure enc 1;
  Bytes.set_uint8 enc.o enc.o_next b;
  enc.o_next <- enc.o_next + 1

let[@inline] write_int8 enc v =
  ensure enc 1;
  Bytes.set_int8 enc.o enc.o_next v;
  enc.o_next <- enc.o_next + 1

let[@inline] write_int16_le enc v =
  ensure enc 2;
  Bytes.set_int16_le enc.o enc.o_next v;
  enc.o_next <- enc.o_next + 2

let[@inline] write_int16_be enc v =
  ensure enc 2;
  Bytes.set_int16_be enc.o enc.o_next v;
  enc.o_next <- enc.o_next + 2

let[@inline] write_uint16_le enc v =
  ensure enc 2;
  Bytes.set_uint16_le enc.o enc.o_next v;
  enc.o_next <- enc.o_next + 2

let[@inline] write_uint16_be enc v =
  ensure enc 2;
  Bytes.set_uint16_be enc.o enc.o_next v;
  enc.o_next <- enc.o_next + 2

let[@inline] write_int32_le enc v =
  ensure enc 4;
  Bytes.set_int32_le enc.o enc.o_next v;
  enc.o_next <- enc.o_next + 4

let[@inline] write_int32_be enc v =
  ensure enc 4;
  Bytes.set_int32_be enc.o enc.o_next v;
  enc.o_next <- enc.o_next + 4

let[@inline] write_uint32_le enc v =
  ensure enc 4;
  UInt32.set_le enc.o enc.o_next v;
  enc.o_next <- enc.o_next + 4

let[@inline] write_uint32_be enc v =
  ensure enc 4;
  UInt32.set_be enc.o enc.o_next v;
  enc.o_next <- enc.o_next + 4

let[@inline] write_int64_le enc v =
  ensure enc 8;
  Bytes.set_int64_le enc.o enc.o_next v;
  enc.o_next <- enc.o_next + 8

let[@inline] write_int64_be enc v =
  ensure enc 8;
  Bytes.set_int64_be enc.o enc.o_next v;
  enc.o_next <- enc.o_next + 8

let[@inline] write_uint63_le enc v =
  ensure enc 8;
  UInt63.set_le enc.o enc.o_next v;
  enc.o_next <- enc.o_next + 8

let[@inline] write_uint63_be enc v =
  ensure enc 8;
  UInt63.set_be enc.o enc.o_next v;
  enc.o_next <- enc.o_next + 8

let write_string enc s =
  let len = String.length s in
  if len <= enc.o_max + 1 - enc.o_next then begin
    (* Fits in current buffer *)
    Bytes.blit_string s 0 enc.o enc.o_next len;
    enc.o_next <- enc.o_next + len
  end
  else begin
    (* Flush current buffer, then write string directly *)
    flush enc;
    Writer.write_string enc.writer s
  end

let encode_codec ~encode ~fixed_size ~size_of_value v enc =
  let sz = match fixed_size with Some n -> n | None -> size_of_value v in
  let tmp = Bytes.create sz in
  let _ : int = encode v tmp 0 in
  write_string enc (Bytes.unsafe_to_string tmp)

(* The single encoder kernel. Writes [v] to [enc]. Top-level expressions
   are evaluated in [Eval.empty]; [Struct] is rejected (encode goes
   through [Codec.encode] for records). *)
let rec encode_into : type a. a typ -> a -> encoder -> unit =
 fun typ v enc ->
  match typ with
  | Uint8 -> write_byte enc v
  | Uint16 Little -> write_uint16_le enc v
  | Uint16 Big -> write_uint16_be enc v
  | Uint32 Little -> write_uint32_le enc v
  | Uint32 Big -> write_uint32_be enc v
  | Uint63 Little -> write_uint63_le enc v
  | Uint63 Big -> write_uint63_be enc v
  | Uint64 Little -> write_int64_le enc v
  | Uint64 Big -> write_int64_be enc v
  | Int8 -> write_int8 enc v
  | Int16 Little -> write_int16_le enc v
  | Int16 Big -> write_int16_be enc v
  | Int32 Little -> write_int32_le enc (Int32.of_int v)
  | Int32 Big -> write_int32_be enc (Int32.of_int v)
  | Int64 Little -> write_int64_le enc v
  | Int64 Big -> write_int64_be enc v
  | Float32 Little -> write_int32_le enc (Int32.bits_of_float v)
  | Float32 Big -> write_int32_be enc (Int32.bits_of_float v)
  | Float64 Little -> write_int64_le enc (Int64.bits_of_float v)
  | Float64 Big -> write_int64_be enc (Int64.bits_of_float v)
  | Uint_var { size; endian } ->
      let n = Eval.expr Eval.empty size in
      ensure enc n;
      Uint_var.write endian enc.o enc.o_next n v;
      enc.o_next <- enc.o_next + n
  | Bits { width; base; bit_order } -> (
      let mask = (1 lsl width) - 1 in
      let total = Bitfield.total_bits base in
      let shift = Bitfield.shift ~bit_order ~total ~bits_used:0 ~width in
      let masked = (v land mask) lsl shift in
      match base with
      | U8 -> write_byte enc masked
      | U16 Little -> write_uint16_le enc masked
      | U16 Big -> write_uint16_be enc masked
      | U32 Little -> write_int32_le enc (Int32.of_int masked)
      | U32 Big -> write_int32_be enc (Int32.of_int masked))
  | Unit -> ()
  | All_bytes -> write_string enc v
  | All_zeros -> write_string enc v
  | Zeroterm ->
      if String.contains v '\000' then
        invalid_arg "Wire.encode: zeroterm string contains a NUL byte";
      write_string enc v;
      write_byte enc 0
  | Zeroterm_at_most { size } ->
      if String.contains v '\000' then
        invalid_arg "Wire.encode: zeroterm string contains a NUL byte";
      let n = Eval.expr Eval.empty size in
      let len = String.length v in
      if len + 1 > n then
        Fmt.invalid_arg
          "Wire.encode: zeroterm string needs %d bytes but region is %d"
          (len + 1) n;
      write_string enc v;
      (* Remaining bytes = NUL terminator plus any trailing padding. *)
      for _ = len to n - 1 do
        write_byte enc 0
      done
  | Where { inner; _ } -> encode_into inner v enc
  | Array { elem; seq = Seq_map seq; _ } ->
      seq.iter (fun elem_v -> encode_into elem elem_v enc) v
  | Byte_array _ -> write_string enc v
  | Byte_array_where { elt_var; cond; _ } ->
      String.iteri
        (fun i c ->
          let n = Char.code c in
          if not (Eval.expr (Eval.bind elt_var n Eval.empty) cond) then
            Fmt.invalid_arg
              "byte_array_where: byte %d=0x%02x violates constraint" i n)
        v;
      write_string enc v
  | Byte_slice _ ->
      let src = Slice.bytes v in
      let off = Slice.first v in
      let len = Slice.length v in
      write_string enc (Bytes.sub_string src off len)
  | Single_elem { size; elem; _ } ->
      let n = Eval.expr Eval.empty size in
      encode_into elem v enc;
      let inner_sz = Types.size_of_typ_value elem v in
      for _ = inner_sz to n - 1 do
        write_byte enc 0
      done
  | Enum { base; _ } -> encode_into base v enc
  | Map { inner; encode; _ } -> encode_into inner (encode v) enc
  | Codec { codec_encode; codec_fixed_size; codec_size_of_value; _ } ->
      encode_codec ~encode:codec_encode ~fixed_size:codec_fixed_size
        ~size_of_value:codec_size_of_value v enc
  | Optional { present; inner } ->
      if Eval.expr Eval.empty present then encode_into inner (Option.get v) enc
  | Optional_or { present; inner; _ } ->
      if Eval.expr Eval.empty present then encode_into inner v enc
  | Repeat { elem; seq = Seq_map seq; _ } ->
      seq.iter (fun elem_v -> encode_into elem elem_v enc) v
  | Casetype { tag; cases; _ } -> encode_casetype tag cases v enc
  | Struct _ -> failwith "struct encoding: use Codec.encode"
  | Type_ref _ -> failwith "type_ref requires a type registry"
  | Qualified_ref _ -> failwith "qualified_ref requires a type registry"
  | Apply _ -> failwith "apply requires a type registry"

and encode_casetype : type a k.
    k typ -> (a, k) case_branch list -> a -> encoder -> unit =
 fun tag cases v enc ->
  let rec find_case = function
    | [] -> failwith "casetype encoding: no matching case"
    | Case_branch { cb_inner; cb_project; _ } :: rest -> (
        match cb_project v with
        | Some (t, body) ->
            encode_into tag t enc;
            encode_into cb_inner body enc
        | None -> find_case rest)
  in
  find_case cases

let to_writer typ v writer =
  let enc = encoder writer in
  encode_into typ v enc;
  flush enc

(* Direct-to-bytes encode: no Writer, no Buffer, no encoder.
   For fixed-size types, allocates only the output bytes. *)
(* Helpers extracted from [encode_direct] to keep the dispatch readable. *)

let encode_bits buf off v width base bit_order =
  let mask = (1 lsl width) - 1 in
  let total = Bitfield.total_bits base in
  let shift = Bitfield.shift ~bit_order ~total ~bits_used:0 ~width in
  let masked = (v land mask) lsl shift in
  match base with
  | U8 ->
      Bytes.set_uint8 buf off masked;
      off + 1
  | U16 Little ->
      Bytes.set_uint16_le buf off masked;
      off + 2
  | U16 Big ->
      Bytes.set_uint16_be buf off masked;
      off + 2
  | U32 Little ->
      Bytes.set_int32_le buf off (Int32.of_int masked);
      off + 4
  | U32 Big ->
      Bytes.set_int32_be buf off (Int32.of_int masked);
      off + 4

(* Variable-size fallback: encode via the writer kernel into a Buffer,
   then blit. Used by [encode_direct]'s catch-all. *)
let encode_via_writer typ buf off v =
  let tmp = Buffer.create 64 in
  let writer = Writer.of_buffer tmp in
  let enc = encoder writer in
  encode_into typ v enc;
  flush enc;
  let s = Buffer.contents tmp in
  let n = String.length s in
  Bytes.blit_string s 0 buf off n;
  off + n

let rec encode_direct : type a. a typ -> bytes -> int -> a -> int =
 fun typ buf off v ->
  match typ with
  | Uint8 ->
      Bytes.set_uint8 buf off v;
      off + 1
  | Uint16 Little ->
      Bytes.set_uint16_le buf off v;
      off + 2
  | Uint16 Big ->
      Bytes.set_uint16_be buf off v;
      off + 2
  | Uint32 Little ->
      UInt32.set_le buf off v;
      off + 4
  | Uint32 Big ->
      UInt32.set_be buf off v;
      off + 4
  | Uint63 Little ->
      UInt63.set_le buf off v;
      off + 8
  | Uint63 Big ->
      UInt63.set_be buf off v;
      off + 8
  | Uint64 Little ->
      Bytes.set_int64_le buf off v;
      off + 8
  | Uint64 Big ->
      Bytes.set_int64_be buf off v;
      off + 8
  | Uint_var { size = Int n; endian } ->
      Uint_var.write endian buf off n v;
      off + n
  | Uint_var _ -> failwith "encode_direct: Uint_var with dynamic size"
  | Bits { width; base; bit_order } ->
      encode_bits buf off v width base bit_order
  | Unit -> off
  | All_bytes ->
      let n = String.length v in
      Bytes.blit_string v 0 buf off n;
      off + n
  | All_zeros ->
      let n = String.length v in
      Bytes.blit_string v 0 buf off n;
      off + n
  | Byte_array { size = Int n } -> Codec.blit_string_padded n buf off v
  | Byte_slice { size = Int n } -> Codec.blit_slice_padded n buf off v
  | Single_elem { size = Int n; elem; at_most = _ } ->
      let off' = encode_direct elem buf off v in
      if off' < off + n then Bytes.fill buf off' (off + n - off') '\x00';
      off + n
  | Map { inner; encode; _ } -> encode_direct inner buf off (encode v)
  | Where { inner; _ } -> encode_direct inner buf off v
  | Enum { base; _ } -> encode_direct base buf off v
  | Codec { codec_encode; _ } -> codec_encode v buf off
  | _ -> encode_via_writer typ buf off v

let to_bytes typ v =
  match field_wire_size typ with
  | Some n ->
      let buf = Bytes.create n in
      ignore (encode_direct typ buf 0 v);
      buf
  | None ->
      let buf = Buffer.create 64 in
      let writer = Writer.of_buffer buf in
      to_writer typ v writer;
      Buffer.to_bytes buf

let to_string typ v = Bytes.unsafe_to_string (to_bytes typ v)

type 'r codec = 'r Codec.t

let pp_value (type r) (c : r Codec.t) ppf (v : r) =
  let buf = to_bytes (codec c) v in
  let readers = Codec.field_readers c in
  Fmt.pf ppf "@[<hv 2>%s {" (Codec.name c);
  List.iter
    (fun (name, reader) -> Fmt.pf ppf "@ %s = %d;" name (reader buf 0))
    readers;
  Fmt.pf ppf "@ }@]"

module Ascii = Ascii

module Private = struct
  module UInt32 = UInt32
  module UInt63 = UInt63
  module Types = Types
  module Eval = Eval
  module Bitfield = Bitfield
  module Uint_var = Uint_var

  let param_name = param_name
  let param_is_mutable = param_is_mutable
  let param_c_type = param_c_type
  let ml_type_of = Types.ml_type_of
  let c_type_of = Types.c_type_of
end