Workflow Security Linter

Workflow runs for Workflow Security Linter

• Merge branch 'main' into claude/new-session-up7579

  completed successfully:
  Workflow Security Linter#80:Commit6920c80pushedbyhyperpolymath
  claude/new-session-up7579

  Nov 10, 202612s
  More actions for workflow run 80

• Merge branch 'main' into claude/census-prefer-proof-status

  completed successfully:
  Workflow Security Linter#79:Commitbd1dbd9pushedbyhyperpolymath
  claude/census-prefer-proof-status

  Nov 10, 202611s
  More actions for workflow run 79

• Merge branch 'main' into claude/census-status-doc-preference

  completed successfully:
  Workflow Security Linter#78:Commit9feac9apushedbyhyperpolymath
  claude/census-status-doc-preference

  Nov 10, 202610s
  More actions for workflow run 78

• Merge branch 'main' into claude/gracious-darwin-vkgj6l

  completed successfully:
  Workflow Security Linter#77:Commitf41b86cpushedbyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 10, 202648s
  More actions for workflow run 77

• Merge pull request #38 from hyperpolymath/claude/serene-sagan-un5t4q

  completed successfully:
  Workflow Security Linter#76:Commitf7f996epushedbyhyperpolymath
  main

  Nov 9, 20262m 44s
  More actions for workflow run 76

• fix(census): name a repo's PROOF-STATUS, not its PROOF-NEEDS, as status_doc

  completed successfully:
  Workflow Security Linter#75:Pull request#23synchronizebyhyperpolymath
  claude/census-status-doc-preference

  Nov 9, 202644m 52s
  More actions for workflow run 75

• fix(census): name a repo's PROOF-STATUS, not its PROOF-NEEDS, as status_doc

  cancelled:
  Workflow Security Linter#74:Pull request#23synchronizebyhyperpolymath
  claude/census-status-doc-preference

  Nov 9, 202622m 23s
  More actions for workflow run 74

• census: tell customised template files from boilerplate by blob

  completed successfully:
  Workflow Security Linter#73:Pull request#20synchronizebyhyperpolymath
  claude/nice-tesla-539nnf

  Nov 9, 202642m 58s
  More actions for workflow run 73

• census: see proofs written in Rust (Creusot/Pearlite, Verus), rank status docs

  completed successfully:
  Workflow Security Linter#72:Pull request#31synchronizebyhyperpolymath
  claude/census-rust-proofs

  Nov 9, 202639m 50s
  More actions for workflow run 72

• feat(registry): proposed theorem-level claims registry deriving PWG from home receipts (ADR 0004)

  completed successfully:
  Workflow Security Linter#71:Pull request#38openedbyhyperpolymath
  claude/serene-sagan-un5t4q

  Nov 9, 202641m 39s
  More actions for workflow run 71

• feat(registry): proposed theorem-level claims registry that derives P…

  completed successfully:
  Workflow Security Linter#70:Commit31d7710pushedbyhyperpolymath
  claude/serene-sagan-un5t4q

  Nov 9, 202639m 15s
  More actions for workflow run 70

• fix(census): comment-aware proof-holes.sh, Idris2 undefined-declaration axioms; refresh 13 rows

  completed successfully:
  Workflow Security Linter#69:Pull request#27synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202639m 32s
  More actions for workflow run 69

• fix(census): comment-aware proof-holes.sh, Idris2 undefined-declaration axioms; refresh 13 rows

  cancelled:
  Workflow Security Linter#68:Pull request#27synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 20261m 38s
  More actions for workflow run 68

• census: see proofs written in Rust (Creusot/Pearlite, Verus), rank status docs

  completed successfully:
  Workflow Security Linter#67:Pull request#31synchronizebyhyperpolymath
  claude/census-rust-proofs

  Nov 9, 202639m 4s
  More actions for workflow run 67

• fix(census): name a repo's PROOF-STATUS, not its PROOF-NEEDS, as status_doc

  completed successfully:
  Workflow Security Linter#66:Pull request#23synchronizebyhyperpolymath
  claude/census-status-doc-preference

  Nov 9, 202630m 1s
  More actions for workflow run 66

• docs(census): refresh ECHIDNA and proof-burrower; Verus rules; prefer…

  completed successfully:
  Workflow Security Linter#65:Commitd35fce4pushedbyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Nov 9, 202628m 59s
  More actions for workflow run 65

• fix(census): comment-aware proof-holes.sh, Idris2 undefined-declaration axioms; refresh 13 rows

  cancelled:
  Workflow Security Linter#64:Pull request#27synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202617m 53s
  More actions for workflow run 64

• census: partial refresh with provenance; reconciliation targets

  completed successfully:
  Workflow Security Linter#63:Pull request#24synchronizebyhyperpolymath
  claude/funny-faraday-rp3su1

  Nov 9, 202627m 58s
  More actions for workflow run 63

• fix(census): name a repo's PROOF-STATUS, not its PROOF-NEEDS, as status_doc

  cancelled:
  Workflow Security Linter#62:Pull request#23synchronizebyhyperpolymath
  claude/census-status-doc-preference

  Nov 9, 202620m 51s
  More actions for workflow run 62

• fix(census): pick the proof-status ledger, and keep rows with an empty template list

  completed successfully:
  Workflow Security Linter#61:Pull request#25synchronizebyhyperpolymath
  claude/new-session-ywdrth-status-doc

  Nov 9, 202627m 54s
  More actions for workflow run 61

• census: see proofs written in Rust (Creusot/Pearlite, Verus), rank status docs

  cancelled:
  Workflow Security Linter#60:Pull request#31openedbyhyperpolymath
  claude/census-rust-proofs

  Nov 9, 202628m 16s
  More actions for workflow run 60

• census: see proofs written in Rust (Creusot/Pearlite, Verus), rank st…

  completed successfully:
  Workflow Security Linter#59:Commit7b1e096pushedbyhyperpolymath
  claude/census-rust-proofs

  Nov 9, 202626m 9s
  More actions for workflow run 59

• fix(census): name a repo's PROOF-STATUS, not its PROOF-NEEDS, as status_doc

  cancelled:
  Workflow Security Linter#58:Pull request#23synchronizebyhyperpolymath
  claude/census-status-doc-preference

  Nov 9, 20266m 56s
  More actions for workflow run 58

• census: partial refresh with provenance; reconciliation targets

  completed successfully:
  Workflow Security Linter#57:Pull request#24synchronizebyhyperpolymath
  claude/funny-faraday-rp3su1

  Nov 9, 202620m 23s
  More actions for workflow run 57

• fix(census): comment-aware proof-holes.sh, Idris2 undefined-declaration axioms; refresh 13 rows

  completed successfully:
  Workflow Security Linter#56:Pull request#27openedbyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202619m 58s
  More actions for workflow run 56