patch states: +frozen

README.md

@@ -34,12 +34,35 @@
 
 ### patch states
 
-* applied: contained in main
+* applied: contained in main, frozen
 * unreviewed: not in main, active
 * rejected/abandoned: not in main, inactive
 * submitted is equal to {unreviewed or abandoned}
 * unsubmitted
 
+Patches can be frozen (when they are a linked to a single snapshot),
+or be not-frozen (when they are linked to a command which gets automatically rebased)
+
+```rust
+enum PatchAct {
+    Frozen(Snapshot),
+    Dynamic(Command),
+}
+
+enum PatchInject {
+    InStable,
+    InMain,
+    Unreviewed,
+    Abandoned,
+    Unsubmitted,
+}
+
+struct PatchState {
+    inj: PatchInject,
+    act: PatchAct,
+}
+```
+
 ### CLI user interface
 
 reviewed changes all have two identifiers: their publishing (-> "unreviewed") revision (`pub#[0-9]+`)