diff --git a/docs/assumptions.md b/docs/assumptions.md
new file mode 100644
index 00000000..a3fecc02
--- /dev/null
+++ b/docs/assumptions.md
@@ -0,0 +1,21 @@
+# Assumptions
+
+Kube relies on a number of generally assumed invariants of Kubernetes.
+
+We document these here openly as a show to Kubernetes devs about implicit expectations, and to our users about what non-typed contracts can cause `kube` to **panic**.
+
+## Apiserver Invariants
+
+Assumed non-optional fields:
+
+- An object returned by the apiserver must have a non-empty `.metadata.name` (reflectors)
+- An object sent to admission must have a non-empty `.metadata.name` OR a non-empty `.metadata.generateName` (admission controller example)
+- Watch api contains an `.metadata.resourceVersion` for each non-error event (watcher)
+
+## Object Invariants
+
+TODO: pod/event/lease if any - can't find any relied upon ones
+
+## Kube invariants
+
+Helper functions ending in `_unchecked` have their own invariants that are documented internally.
diff --git a/mkdocs.yml b/mkdocs.yml
index 6ad654bf..c3eab4b0 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -56,6 +56,7 @@ nav:
   - kubernetes-version.md
   - architecture.md
   - adopters.md
+  - assumptions.md
 
 - Controllers:
   - controllers/intro.md