Formal Verification

feat(agent): macos EDR hardening + cleanup waves + main reconcile #326

Sign in to view logs

Triggered via pull request May 25, 2026 22:25

bb-connor

synchronize #335

fix/macos-es-ne-hardening

Status Success

Total duration 2m 29s

Artifacts –

formal-verification.yml

on: pull_request

Detect core changes

Policy Verification

Differential Tests (spec vs impl)

Nightly Differential Tests (100M cases)

Lean 4 Spec Build

Aeneas Regeneration Check