Add atomic circuit update commands

docs/project-history-and-external-model-architecture.md

@@ -149,11 +149,18 @@ Completed foundation:
   history records atomically
 - revision appends use an expected-revision compare-and-set and reject stale
   callers without writing partial history
+- a first internal `circuit.update` command validates project/list/section
+  ownership and equipment-identifier uniqueness inside its transaction
+- circuit updates derive their inverse from the persisted pre-command row and
+  commit the domain update, inverse command, change set and revision together
+- integration tests apply the generated inverse as a new `undo` revision and
+  verify rollback for stale revisions and late history failures
 
 Remaining constraints before implementing history:
 
-- define concrete project-scoped command unions and executors independently
-  from React callbacks; the generic versioned command envelope is complete
+- extend the concrete project-scoped command union and executors beyond the
+  internal `circuit.update` slice; the generic versioned command envelope is
+  complete
 - route domain writes and revision recording through one shared project
   transaction boundary; the current revision repository only commits history
   records and the counter together