Terminal proof

The engine outside a browser. A RISC-V device tier and the host write the same volume byte for byte, a power cut at every byte of the log recovers, and the C surface runs on a Cortex-M4.

• The device and the host agreeA RISC-V device tier and the host write the same volume, byte for byte: 0x299bd5d0e1821fab on both.Play the recording →
• A power cut at every byteThe log is cut at each byte of its last record and every sixty-fourth byte after it. Every run opens, and none finds a record that was not there.Play the recording →
• A record round tripThirteen steps, eight records, one digest: the same run the device tier converges on.Play the recording →
• One test body, two architecturesThe same C test body linked from C and run under QEMU on a Cortex-M4 and a RISC-V core, with the same fifteen measurements on both.Play the recording →
• Three refusalsA medium that refuses a write, a worn medium, and a channel that holds a write past the end of the run.Play the recording →