Repository navigation

Add browser proof build and proof:check runner - #908

Merged

Finesssee merged 12 commits into

mainfrom

feat/proof-mock-bridge

Oct 17, 2026

Merged

Add browser proof build and proof:check runner#908
Finesssee merged 12 commits into
mainfrom
feat/proof-mock-bridge

Commits on Oct 17, 2026
- Add mocked-IPC proof build for browser UI capture
  Factory Agent
  committed
  3ff9ac5
- Document mocked-IPC proof build
  Factory Agent
  committed
  4d11854
- Add proof:check browser scenario runner and mock coverage test
  Factory Agent
  committed
  5f7fc4c
- Document proof:check
  Factory Agent
  committed
  53ccd67
- Document browser proof rule in AGENTS.md
  Factory Agent
  committed
  493a187
- Use patched settings in proof fixture builders
  Factory Agent
  committed
  f53f173
- Harden proof:check browser launch and CDP requests
  Factory Agent
  committed
  f71ff76
- Report browser launch failures from proof:check
  Factory Agent
  committed
  561aa1c
- Clean up proof:check after setup failures
  Factory Agent
  committed
  c5e7b82
- Fail fast on closed CDP socket and document remote CDP safety
  Factory Agent
  committed
  27bc9e5
- Redact secrets in proof:check output
  Factory Agent
  committed
  e9e536c
- Move proof spend fixtures into scenarios
  Factory Agent
  committed
  3264448