src

main.rs (the phases), host.rs (an HTTP client for one host), hub.rs (Hub over /_hub), laws.rs (the real laws, one by one), script.rs (the recorded requests), transcript.rs (answers as comparable text), concurrency.rs (overlapping syncs and the atomicity invariants), ids.rs (fresh household names).