From Proposal to Proof
Proposal → Governance → Execution → Proof
What happens after a decision?
PFC does not stop at blocking or allowing an action. When an action is allowed, the system can also prove exactly how that decision was derived.
See how PFC connects explored possibilities to the final execution decision with verifiable lineage.
If you want measured hosted evidence for this boundary, see what has been proven live under governed load, mixed allow and deny traffic, and replay freshness probes.
The execution boundary governs the action. Creative lineage proves how the action was chosen.
Execution Boundary Demo
Execution Boundary Demo
AI proposes, systems can commit, and PFC governs the action before execution.
Run Demo
Reset
Run the governed path to see the deny receipt.
Without PFC
Action executes
No authority validation
System state changes
1 Request sent The refund is proposed to the execution path.
18:42:16Z
2 No authority check The system proceeds without validating delegated authority.
18:42:16Z
3 Commit occurs The refund updates system state before review.
18:42:16Z
Outcome
Action executes
No authority validation
System state changes
With PFC
Action evaluated before execution
Authority verified
Blocked before commit
1 Request sent The same refund is proposed through the governed path.
18:42:16Z
2 Authority verified PFC checks whether the actor can approve the refund.
18:42:16Z
3 Commit blocked The deny decision stops the action before state changes.
18:42:16Z
Outcome
Action evaluated before execution
Authority verified
Blocked before commit
Demo Scenario
Refund request proposed to the wrong destination account. This shows how AI execution risk emerges when outputs become actions.
request refund_payment / req_demo_7F3A91
amount $5,000 USD
decision deny
commit status blocked
Receipt Preview
{
"receipt_status": "pending_demo_run",
"decision_id": "dec_refund_20260323_19af",
"request_id": "req_demo_7F3A91",
"commit_status": "awaiting_demo_run"
}
Next Step
Verify this decision.
Review the governed path or see how the control point fits into the rest of the system.