140: aup's frictions written away and the apps measured again (no core change, no new opcode): lists declared together, targets together (straight when no value can read what a target changes), a list given a list value whole, abs, tick.period, hex where numbers go; lines to Python 1.47-2.04x (were 1.47-2.15x): UAX #14 176 to 169, layout 116 to 110, HTTP 148 to 146 and its last workaround gone; instructions of the four whose modules changed within 0.2%, inflate's and UAX #14's modules the same; the six specs' checks pass on the three paths, module_specs nine; RTO's checks no longer rewrite G (tick.period); the suite table's rows 5, 8 and 9

1 files changed, 1 insertions, 1 deletions

diff --git a/tests/specs/rto/README.md b/tests/specs/rto/README.md
index e090586..9cc82a2 100644
--- a/tests/specs/rto/README.md
+++ b/tests/specs/rto/README.md
@@ -3,5 +3,5 @@
 `scenarios.json` holds one scenario (seed 2, 20 segments, five timeouts) of `research/experiments/044-specs/rto_check.py`
 at tick periods of 10 and 100 ms: the events an app is given (time in ms, kind, segment) and, after each, the state the
 model of the same rules (`rto.py`) has (SRTT, RTTVAR, RTO, deadline, segments outstanding, retransmissions).
-`tests/check.py`'s `module_specs` gives the events to aup's `examples/rto.aup` (its tick and G made the period's) on
+`tests/check.py`'s `module_specs` gives the events to aup's `examples/rto.aup` (its tick made the period's; G is `tick.period`) on
 Pure's three paths.