x80_diff_run
Compare outputs of a guest program and a host reference implementation on identical inputs, with declared normalization, to verify byte-for-byte equivalence.
Instructions
Run the same inputs through a guest program and a host reference implementation and compare the outputs byte for byte under a declared normalization. Built for the case 80un proves: the same algorithm shipped as a CP/M .COM and as Python.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| guest | Yes | ||
| inputs | Yes | ||
| compare | No | bytes | |
| normalize | No | An ENUM, never a boolean. Measured on a 23-member ARC: without normalization, diff -rq reports 46 'Only in' lines and 0 matches. With ['lowercase_names','pad_to_record'], 23 of 23 match. | |
| reference | Yes | ||
| timeout_ms | No | Covers the guest run and the reference command together. Both are killed by process group. |