ClusterFuzzLite PR Fuzzing

Workflow runs for ClusterFuzzLite PR Fuzzing

• Fix/verify preconditions real

  completed successfully:
  ClusterFuzzLite PR Fuzzing#32:Pull request#216synchronizebyhyperpolymath
  fix/verify-preconditions-real

  Oct 3, 20268m 3s
  More actions for workflow run 32

• fix(rust-cli): real Lean precondition checks in verification.rs (P0-5)

  completed successfully:
  ClusterFuzzLite PR Fuzzing#31:Pull request#215openedbyhyperpolymath
  fix/verify-preconditions-real

  Oct 2, 20268m 3s
  More actions for workflow run 31

• fix: close foundational shell and proof-integrity gaps

  completed successfully:
  ClusterFuzzLite PR Fuzzing#30:Pull request#193openedbyhyperpolymath
  codex/closure-sprint-20260824

  Aug 24, 202616m 26s
  More actions for workflow run 30

• Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime

  completed successfully:
  ClusterFuzzLite PR Fuzzing#29:Pull request#165synchronizebyhyperpolymath
  claude/valence-shell-151-root-a2a1kv

  Jul 17, 20268m 19s
  More actions for workflow run 29

• Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime

  completed successfully:
  ClusterFuzzLite PR Fuzzing#28:Pull request#165openedbyhyperpolymath
  claude/valence-shell-151-root-a2a1kv

  Jul 17, 20268m 9s
  More actions for workflow run 28

• infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fix (2)

  completed successfully:
  ClusterFuzzLite PR Fuzzing#27:Pull request#156synchronizebyhyperpolymath
  claude/valence-shell-151-root-a2a1kv

  Jul 2, 20267m 36s
  More actions for workflow run 27

• infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fix (2)

  failed:
  ClusterFuzzLite PR Fuzzing#26:Pull request#156synchronizebyhyperpolymath
  claude/valence-shell-151-root-a2a1kv

  Jul 2, 20267m 18s
  More actions for workflow run 26

• infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fix (2)

  failed:
  ClusterFuzzLite PR Fuzzing#25:Pull request#156openedbyhyperpolymath
  claude/valence-shell-151-root-a2a1kv

  Jul 2, 20263m 6s
  More actions for workflow run 25

• chore: audit-remediation batch — panic/unsafe, CI test-gating + coverage, doc drift

  failed:
  ClusterFuzzLite PR Fuzzing#24:Pull request#154openedbyhyperpolymath
  claude/valence-shell-151-root-a2a1kv

  Jul 1, 20263m 32s
  More actions for workflow run 24

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair)

  failed:
  ClusterFuzzLite PR Fuzzing#23:Pull request#148openedbyhyperpolymath
  chore/licence-normalisation-2026-06-24

  Jun 24, 202618h 32m 18s
  More actions for workflow run 23

• docs: sort and reorganize .gitignore, .gitattributes, .editorconfig

  failed:
  ClusterFuzzLite PR Fuzzing#22:Commita1338bdpushedbyhyperpolymath
  proofs/q5-propositional-equiv-restructure

  Jun 21, 2026Failure
  More actions for workflow run 22

• ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go…

  failed:
  ClusterFuzzLite PR Fuzzing#21:Commit5562b23pushedbyhyperpolymath
  proofs/q5-propositional-equiv-restructure

  Jun 21, 2026Failure
  More actions for workflow run 21

• Apply estate standardization: governance docs, contractiles, CI/CD cl…

  failed:
  ClusterFuzzLite PR Fuzzing#20:Commitaf7be37pushedbyhyperpolymath
  proofs/q5-propositional-equiv-restructure

  Jun 7, 2026Failure
  More actions for workflow run 20

• codex/pr132-foundational-ci

  failed:
  ClusterFuzzLite PR Fuzzing#19:Pull request#139openedbyhyperpolymath
  codex/pr132-foundational-ci

  Jun 5, 20264m 33s
  More actions for workflow run 19

• proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12)

  failed:
  ClusterFuzzLite PR Fuzzing#18:Pull request#132synchronizebyhyperpolymath
  proofs/a12-path-traversal-containment

  Jun 5, 20264m 32s
  More actions for workflow run 18

• proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12)

  failed:
  ClusterFuzzLite PR Fuzzing#17:Pull request#132synchronizebyhyperpolymath
  proofs/a12-path-traversal-containment

  Jun 4, 20263m 27s
  More actions for workflow run 17

• proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12)

  failed:
  ClusterFuzzLite PR Fuzzing#16:Pull request#132synchronizebyhyperpolymath
  proofs/a12-path-traversal-containment

  Jun 4, 20261m 40s
  More actions for workflow run 16

• proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12)

  failed:
  ClusterFuzzLite PR Fuzzing#15:Pull request#132synchronizebyhyperpolymath
  proofs/a12-path-traversal-containment

  Jun 4, 20261m 53s
  More actions for workflow run 15

• feat(fs): O_NOATIME discipline for pure-read theorems (#94 Gap 9)

  failed:
  ClusterFuzzLite PR Fuzzing#14:Pull request#120openedbyhyperpolymath
  claude/issue-94-noatime-discipline

  Jun 2, 20263m 40s
  More actions for workflow run 14

• chore(spdx): add Copyright (c) headers to AsciiDoc files (batch 3/7)

  failed:
  ClusterFuzzLite PR Fuzzing#13:Pull request#97openedbyhyperpolymath
  spdx/copyright-adoc-2026-06-01

  Jun 1, 20262h 23m 40s
  More actions for workflow run 13

• chore(spdx): add Copyright (c) headers to Rust files (batch 2/7)

  failed:
  ClusterFuzzLite PR Fuzzing#12:Pull request#96openedbyhyperpolymath
  spdx/copyright-rust-2026-06-01

  Jun 1, 20262h 9m 29s
  More actions for workflow run 12

• fix(clippy): clear 86 errors under -D warnings across impl/rust-cli/

  failed:
  ClusterFuzzLite PR Fuzzing#11:Pull request#74synchronizebyhyperpolymath
  clippy/sweep-rust-cli-2026-06-01

  Jun 1, 202624m 52s
  More actions for workflow run 11

• fix(clippy): clear 86 errors under -D warnings across impl/rust-cli/

  failed:
  ClusterFuzzLite PR Fuzzing#10:Pull request#74openedbyhyperpolymath
  clippy/sweep-rust-cli-2026-06-01

  Jun 1, 202612m 48s
  More actions for workflow run 10

• chore(rust-cli): apply cargo fmt across the workspace (44 files)

  failed:
  ClusterFuzzLite PR Fuzzing#9:Pull request#73openedbyhyperpolymath
  chore/rust-bench-fmt

  Jun 1, 20264m 9s
  More actions for workflow run 9

• feat(rust-cli): secure_delete + audit_log real impls + typed-error refactor + 15-25 prop-tests

  failed:
  ClusterFuzzLite PR Fuzzing#8:Pull request#72openedbyhyperpolymath
  feat/secure-delete-audit-log-impls

  Jun 1, 20262m 43s
  More actions for workflow run 8