add Rung 4 behavioral oracle: five network specimens (single happy/failure, all-at-once all-success, partial default-fail, or-nothing resilience), a deterministic loopback test server (netserver.c, drops unknown paths), an independent C reference (net_ref.c), and the run.sh harness; all five match the reference, 25/25 deterministic, Rungs 1-3 still bit/byte-identical
$ koh steal kepr.uk/vision@70f2377efc28
·
parent: 89063821cad5
discussion
log in to leave a comment.