update

diff --git a/doc/todo/git-annex_proxies.mdwn b/doc/todo/git-annex_proxies.mdwn
index d2684fe314121a34b89da4ca739be38d070e5cf4..51ef17adcb9b2f1050aab5aa5cfccded7eceefa0 100644 (file)
--- a/doc/todo/git-annex_proxies.mdwn
+++ b/doc/todo/git-annex_proxies.mdwn
@@ -38,6 +38,17 @@ Planned schedule of work:
   limitations, or add locking and make it detect when it was interrupted
   and re-run the sim from the start to resume.
 
+## completed items for September's work on proving behavior of preferred content
+
+* Static analysis to detect "not present", "not balanced", and similar
+  unstable preferred content expressions and avoid problems with them.
+* Implemented `git-annex sim` command.
+* Simulated a variety of repository networks, and random preferred content
+  expressions, checking that a stable state is always reached.
+* Fix bug that prevented anything being stored in an empty
+  repository whose preferred content expression uses sizebalanced.
+  (Identified via `git-annex sim`)
+
 ## items deferred until later for balanced preferred content and maxsize tracking
 
 * The assistant is using NoLiveUpdate, but it should be posssible to plumb