Deterministic governed code-change demo: workspace-scoped writes, four policy gates, local audit evidence.

Alice — a fail-closed job-search agent: deterministic location/travel gates run before the LLM, and an unparseable model reply resolves to NOT-FIT, never FIT. The model only scores roles that are already viable.

NodeProof: portable proof supervisor for coding agents; one prompt starts the loop, deterministic gates prove the app works.