Security Policy

Workflow runs for Security Policy

• ci(idris2): bump pinned version 0.7.0 -> 0.8.0

  completed successfully:
  Security Policy#163:Commitef172eepushedbyhyperpolymath
  ci/idris2-bump-0.8.0-2026-05-20

  May 20, 202611h 9m 59s
  More actions for workflow run 163

• fix(ci): build Hypatia escript from repo root (estate dogfood drift)

  completed successfully:
  Security Policy#162:Commitf3b85fcpushedbyhyperpolymath
  main

  May 17, 20263h 38m 2s
  More actions for workflow run 162

• fix(ci): rsr-antipattern.yml duplicate heredoc (#15)

  completed successfully:
  Security Policy#161:Commit508d6c9pushedbyhyperpolymath
  main

  May 14, 20266h 25m 59s
  More actions for workflow run 161

• fix(ci): rsr-antipattern.yml duplicate heredoc

  completed successfully:
  Security Policy#160:Pull request#15synchronizebyhyperpolymath
  fix/ci-rsr-and-setup-beam-2026-05-14

  May 14, 20261h 23m 28s
  More actions for workflow run 160

• fix(ci): repair corrupted rsr-antipattern.yml on this branch

  completed successfully:
  Security Policy#159:Commitca568f4pushedbyhyperpolymath
  fix/ci-rsr-and-setup-beam-2026-05-14

  May 14, 20261h 30m 20s
  More actions for workflow run 159

• fix(ci): rsr-antipattern.yml duplicate heredoc

  completed successfully:
  Security Policy#158:Pull request#15openedbyhyperpolymath
  fix/ci-rsr-and-setup-beam-2026-05-14

  May 14, 202657m 11s
  More actions for workflow run 158

• fix(ci): rsr-antipattern.yml duplicate heredoc

  completed successfully:
  Security Policy#157:Commitd39677dpushedbyhyperpolymath
  fix/ci-rsr-and-setup-beam-2026-05-14

  May 14, 202659m 26s
  More actions for workflow run 157

• ci: bump actions/upload-artifact SHA to current v4 (#14)

  completed successfully:
  Security Policy#156:Commit33610cbpushedbyhyperpolymath
  main

  May 13, 202612h 57m 34s
  More actions for workflow run 156

• ci: bump actions/upload-artifact SHA to current v4

  completed successfully:
  Security Policy#155:Pull request#14openedbyhyperpolymath
  ci/bump-upload-artifact-v4-sha-final

  May 13, 202613h 3m 9s
  More actions for workflow run 155

• ci: bump actions/upload-artifact SHA to current v4

  completed successfully:
  Security Policy#154:Commit3203842pushedbyhyperpolymath
  ci/bump-upload-artifact-v4-sha-final

  May 13, 202613h 4m 40s
  More actions for workflow run 154

• ci: SHA-pin hyperpolymath validate-actions in dogfood-gate

  completed successfully:
  Security Policy#153:Commitc8866dfpushedbyhyperpolymath
  ci/bump-upload-artifact-v4-sha-final

  May 13, 202613h 4m 38s
  More actions for workflow run 153

• ci: SHA-pin hyperpolymath validate-actions in dogfood-gate

  completed successfully:
  Security Policy#152:Commitc8866dfpushedbyhyperpolymath
  main

  May 12, 20263h 18m 36s
  More actions for workflow run 152

• fix(ci): remove invalid job-level hashFiles call from secret-scanner.yml

  completed successfully:
  Security Policy#151:Commitf05e055pushedbyhyperpolymath
  main

  May 12, 202652s
  More actions for workflow run 151

• ci(architecture-enforcement): resolve #11 + #12 (#13)

  completed successfully:
  Security Policy#150:Commit94f783dpushedbyhyperpolymath
  main

  May 11, 202657s
  More actions for workflow run 150

• ci(architecture-enforcement): resolve #11 + #12

  completed successfully:
  Security Policy#149:Pull request#13openedbyhyperpolymath
  claude/resolve-pr-10-6Ij9k

  May 11, 20263m 30s
  More actions for workflow run 149

• ci(architecture-enforcement): close #11 and #12

  completed successfully:
  Security Policy#148:Commit2b1a6d7pushedbyhyperpolymath
  claude/resolve-pr-10-6Ij9k

  May 11, 20262m 52s
  More actions for workflow run 148

• ci: unblock Idris 2 verification on every PR (#10)

  completed successfully:
  Security Policy#147:Commitac4e0b7pushedbyhyperpolymath
  main

  May 11, 202648s
  More actions for workflow run 147

• ci: unblock Idris 2 verification on every PR

  completed successfully:
  Security Policy#146:Commit95e0b3apushedbyhyperpolymath
  claude/resolve-pr-10-6Ij9k

  May 11, 20265m 21s
  More actions for workflow run 146

• ci: unblock Idris 2 verification on every PR

  completed successfully:
  Security Policy#145:Pull request#10openedbyhyperpolymath
  ci-fix-cache-and-idris-setup

  May 11, 202611s
  More actions for workflow run 145

• ci: unblock Idris 2 verification on every PR

  completed successfully:
  Security Policy#144:Commit89b7f41pushedbyhyperpolymath
  ci-fix-cache-and-idris-setup

  May 11, 202610s
  More actions for workflow run 144

• feat(api): align Safe* surface with idaptik #8 (#9)

  completed successfully:
  Security Policy#143:Commit5b0292bpushedbyhyperpolymath
  main

  May 11, 202611s
  More actions for workflow run 143

• feat(api): align Safe* surface with idaptik #8

  completed successfully:
  Security Policy#142:Pull request#9synchronizebyhyperpolymath
  issue-58-api-surface

  May 11, 202618s
  More actions for workflow run 142

• fix(SafeInput): unblock Idris 2 build after module registration

  completed successfully:
  Security Policy#141:Commitb7d958epushedbyhyperpolymath
  issue-58-api-surface

  May 11, 202611s
  More actions for workflow run 141

• feat(api): align Safe* surface with idaptik #8

  completed successfully:
  Security Policy#140:Pull request#9openedbyhyperpolymath
  issue-58-api-surface

  May 11, 202610s
  More actions for workflow run 140

• feat(api): align Safe* surface with idaptik #8

  completed successfully:
  Security Policy#139:Commitbdb1863pushedbyhyperpolymath
  issue-58-api-surface

  May 11, 202614s
  More actions for workflow run 139