From 619aab4b6774806d229ede1596357fec64460b37 Mon Sep 17 00:00:00 2001 From: Alexander Watson Date: Thu, 10 Sep 2026 12:53:31 -0700 Subject: [PATCH 1/6] docs: add agent policy prover Dev Note --- .../agent-policy-prover/approval-flow.svg | 60 ++ docs/dev-notes/index.md | 47 +- ...ning-formal-methods-agent-policy-prover.md | 599 ++++++++++++++++++ zensical.toml | 1 + 4 files changed, 698 insertions(+), 9 deletions(-) create mode 100644 docs/assets/agent-policy-prover/approval-flow.svg create mode 100644 docs/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover.md diff --git a/docs/assets/agent-policy-prover/approval-flow.svg b/docs/assets/agent-policy-prover/approval-flow.svg new file mode 100644 index 00000000..21062d6b --- /dev/null +++ b/docs/assets/agent-policy-prover/approval-flow.svg @@ -0,0 +1,60 @@ + + Agent-authored policy approval flow + A proposed policy change is checked against a formal boundary, then either rejected with a counterexample, applied, or sent for model or human review before enforcement and audit. An additional node labeled H also leads to enforcement and audit. + + + + + + + + + proposed policy change + + + within formal + boundary? + + + reject + counterexample + + + needs contextual + judgment? + + + apply + + + model / human review + + + H + + + enforce + audit + + + + no + + yes + + no + + yes + + + + diff --git a/docs/dev-notes/index.md b/docs/dev-notes/index.md index e3d4a17f..b8d03c39 100644 --- a/docs/dev-notes/index.md +++ b/docs/dev-notes/index.md @@ -31,22 +31,24 @@ hide: Latest from the team -