Rust CLI Tests

Workflow runs for Rust CLI Tests

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate i…

  completed successfully:
  Rust CLI Tests#246:Commit48a88eapushedbyhyperpolymath
  main

  Nov 10, 20261m 39s
  More actions for workflow run 246

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#245:Pull request#223synchronizebycoderabbitai[bot]Bot
  claude/laughing-hawking-pibzji

  Nov 9, 20265m 44s
  More actions for workflow run 245

• docs(cli): Clarify Rust and Zig command behavior, errors, and proof r…

  completed successfully:
  Rust CLI Tests#244:Commit519e13apushedbycoderabbitai[bot]Bot
  claude/laughing-hawking-pibzji

  Nov 9, 20267m 45s
  More actions for workflow run 244

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#243:Pull request#223synchronizebycoderabbitai[bot]Bot
  claude/laughing-hawking-pibzji

  Nov 9, 20262m 2s
  More actions for workflow run 243

• proof(lean4): Require an existing directory parent for rmdir and prov…

  completed successfully:
  Rust CLI Tests#242:Commit18e80c5pushedbycoderabbitai[bot]Bot
  claude/laughing-hawking-pibzji

  Nov 9, 20266m 14s
  More actions for workflow run 242

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#241:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 20261h 24m 6s
  More actions for workflow run 241

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#240:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 20261h 23m 59s
  More actions for workflow run 240

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#239:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 20261h 16m 18s
  More actions for workflow run 239

• fix: drop six-system claims from the Zig and Elixir runtime output

  completed successfully:
  Rust CLI Tests#238:Commit4768a7cpushedbyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 20261h 15m 39s
  More actions for workflow run 238

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#237:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 20261h 10m 5s
  More actions for workflow run 237

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#236:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202658m 10s
  More actions for workflow run 236

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#235:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202652m 45s
  More actions for workflow run 235

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#234:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202652m 57s
  More actions for workflow run 234

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#233:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202653m 35s
  More actions for workflow run 233

• fix: drop the remaining six-system claims from the CLI and README

  completed successfully:
  Rust CLI Tests#232:Commit2cd6a56pushedbyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202646m 13s
  More actions for workflow run 232

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#231:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202642m 29s
  More actions for workflow run 231

• fix: address the third CodeRabbit review on the proof-ground-truth PR

  completed successfully:
  Rust CLI Tests#230:Commit20b9234pushedbyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202641m 54s
  More actions for workflow run 230

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#229:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202638m 9s
  More actions for workflow run 229

• fix: point remaining Isabelle/Mizar consumers at archive/proofs/

  completed successfully:
  Rust CLI Tests#228:Commit5dab827pushedbyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202639m 43s
  More actions for workflow run 228

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#227:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202643m 0s
  More actions for workflow run 227

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#226:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202641m 49s
  More actions for workflow run 226

• fix: address the second CodeRabbit review on the proof-ground-truth PR

  completed successfully:
  Rust CLI Tests#225:Commit1f570a3pushedbyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202641m 19s
  More actions for workflow run 225

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#224:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202632m 59s
  More actions for workflow run 224

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#223:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202630m 46s
  More actions for workflow run 223

• proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes

  completed successfully:
  Rust CLI Tests#222:Pull request#223synchronizebyhyperpolymath
  claude/laughing-hawking-pibzji

  Nov 9, 202625m 33s
  More actions for workflow run 222