OCapN flush proof

Workflow runs for OCapN flush proof

• proof(ocapn): mechanize op:flush per-reference FIFO in Lean 4 + Veil

  completed successfully:
  OCapN flush proof#4:Pull request#3249synchronizebykumavis
  claude/ocapn-flush-veil-proof

  May 9, 202610m 40s
  More actions for workflow run 4

• proof(ocapn): mechanize op:flush per-reference FIFO in Lean 4 + Veil

  completed successfully:
  OCapN flush proof#3:Pull request#3249synchronizebykumavis
  claude/ocapn-flush-veil-proof

  May 9, 20268m 7s
  More actions for workflow run 3

• proof(ocapn): mechanize op:flush per-reference FIFO in Lean 4 + Veil

  failed:
  OCapN flush proof#2:Pull request#3249synchronizebykumavis
  claude/ocapn-flush-veil-proof

  May 9, 202616s
  More actions for workflow run 2

• proof(ocapn): mechanize op:flush per-reference FIFO in Lean 4 + Veil

  failed:
  OCapN flush proof#1:Pull request#3249synchronizebykumavis
  claude/ocapn-flush-veil-proof

  May 8, 202613s
  More actions for workflow run 1