feat(cli): feint checkpoint and feint reset, judged by what a client observes (#853)

.github/workflows/runtime-proof.yml

@@ -415,6 +415,13 @@ jobs:
       - name: feint run sweeps the machines it created, and only those
         run: sudo tools/conformance/run-sweep.sh http://127.0.0.1:4599
 
+      # The host half of a reset (#853). Its third assertion is the
+      # product: a reset that swept both machines would return an
+      # operator to a checkpoint whose servers answer nothing, which is
+      # worse than no reset at all.
+      - name: a reset reconciles the host and touches nothing else
+        run: sudo tools/conformance/reset-host.sh http://127.0.0.1:4599
+
       # The end of the chain the emulator exists for: a key registered through
       # the API, a server booted by the official client, a real shell on the
       # provider's own default login — three providers, three logins.

README.fr.md

@@ -666,6 +666,8 @@ n'est une étape dans le travail de qui que ce soit.
 | `feint doctor` | diagnostique l'hôte : le port, le runtime, les clients |
 | `feint env <provider>` | l'environnement dont un vrai client de ce provider a besoin |
 | `feint snapshot` | nomme l'état d'un émulateur qui tourne et y revient : `save`, `load`, `list`, `rm` |
+| `feint checkpoint` | nomme l'état d'un émulateur qui tourne : plan de contrôle, octets, et ce qu'un client peut en observer |
+| `feint reset` | revient à ce point, retire ce qu'il ne contient pas, et dit si le laboratoire a convergé |
 | `feint images` | construit les images de machines, qui portent un démon ssh pour répondre sans dépôt de paquets |
 | `feint clean` | retire les machines, réseaux et jeux de règles que l'émulateur a créés |
 | `feint version` | affiche la version |

README.md

@@ -1064,6 +1064,8 @@ workflow.
 | `feint env <provider>` | the environment a real client needs, for `eval` |
 | `feint doctor` | diagnose the host: the port, the machine runtime, the clients, the ssh trap |
 | `feint snapshot` | `save`, `load`, `list`, `rm` — name a running emulator's state and come back to it |
+| `feint checkpoint` | name the state of a running emulator — control plane, object bytes, and what a client can observe of both |
+| `feint reset` | return to that checkpoint, take down what it does not hold, and say whether the lab converged |
 | `feint serve` | serve the three emulated clouds on one port, in the foreground |
 | `feint images` | build the machine images, which carry an ssh daemon so a machine answers without a package repository |
 | `feint clean` | remove every machine, network and rule set the emulator created |