Skip to content

comline-reference: the Rust runtime answers encode/decode questions over stdio - #34

Merged
Kinflou merged 3 commits into
mainfrom
feat/comline-reference
Oct 25, 2026
Merged

Kinflou merged 3 commits into
mainfrom
feat/comline-reference

Conversation

@Kinflou

@Kinflou Kinflou commented Oct 25, 2026

Copy link
Copy Markdown
Member

Stacked on #32. Part of runtime#29 stage 1 (step R3).

  • New workspace member runtime/reference (comline-reference, publish = false): a binary plus a small lib holding the protocol, so it's tested in-process.
  • Newline-delimited JSON on stdin/stdout, in the conformance corpus's own encoding: any vector case's op/input/bytes is a valid request. A line is one request or a batch (array); the reply has the same shape and order.
  • No bytes → {id, bytes}; with bytes → {id, accept: true, input} or {id, accept: false}; otherwise not_implemented or error. A malformed line gets an error reply (id null if unparseable) and the process keeps going. EOF exits 0.
  • Extra ops: check (validates a generated type/value pair) and version (protocol: 1, crate version, ops, formats, framings).
  • tests/process.rs spawns the built binary and replays every case of every vectors/*.json, one batch per file, with run's semantics; plus a malformed-line test.
  • Docs: runtime/reference/README.md (protocol, examples, stability: ops append-only under protocol: 1), and a pointer from the conformance README.

Kinflou added 3 commits October 25, 2026 14:30
…ver stdio

A new workspace member, runtime/reference: newline-delimited JSON on stdin
and stdout, in the conformance corpus's own encoding, so any vector case is
a valid request. Requests batch, many to a line. Also `check`, for a fuzzer
to validate a generated type and value, and `version`.

The integration test replays every vector through the built binary, one
batch per file.
…efusal

`answer` reports it as a reject, which a fuzzer would count as a real one.
@Kinflou
Kinflou changed the base branch from feat/conformance-type-seed to main October 25, 2026 06:40
@Kinflou
Kinflou merged commit 6401423 into main Oct 25, 2026
6 checks passed
@Kinflou
Kinflou deleted the feat/comline-reference branch October 25, 2026 06:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant