Skip to content

Conformance: in-suite QUIC cases (in-memory noq loopback, RFC 9001 vectors on every target) #29

Description

@lann

Follow-up to the conformance cutover, which covers the TLS record path through the composed component. The QUIC layer's conformance-worthy behavior should also run per target through the suite:

  • RFC 9001 known answers (initial keys, ChaCha20 short-header protection, key update, retry integrity) currently run only as native cargo test on the host — never inside a wasm engine. As suite cases they run on every target, which is the point once jco targets exist (Conformance: jco targets blocked on upstream jco defects in composed p3 stream/future paths #28's fix lands V8's JIT under the same vectors as wasmtime's Cranelift): the profile's timing story is per-runtime-empirical, and so is its correctness story.
  • An in-memory noq loopback (two noq-proto endpoints under polymorph-tls-quic, datagrams exchanged through in-suite queues — no wasi:sockets, so the cases stay browser-compatible) covering handshake, bidirectional streams, and clean close.

These cases link polymorph-tls-quic into the suite rather than crossing the WIT surface — the value is engine coverage of the pure-wasm crypto stack, not composition coverage. Vector data should move (not copy) out of the native tests to avoid a drifting duplicate; unit-shaped tests of internal APIs stay put.

examples/quic-loopback (QUIC over real wasi:sockets UDP under wasmtime) stays as the transport-integration rig either way; the suite cases replace none of it.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions