Security Policy

Workflow runs for Security Policy

• test(idris2): port 7 TS test files to Idris2 (estate port 11/11)

  completed successfully:
  Security Policy#212:Commita999574pushedbyhyperpolymath
  feat/port-tests-to-idris2

  May 20, 202612h 40m 15s
  More actions for workflow run 212

• fix(licence): clear scaffold-placeholder leak (isolated; dirty repo)

  completed successfully:
  Security Policy#211:Commit679ed1epushedbyhyperpolymath
  licence-debt/03-final-placeholder

  May 19, 202612h 12m 11s
  More actions for workflow run 211

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

  completed successfully:
  Security Policy#210:Commitaa858f0pushedbyhyperpolymath
  main

  May 17, 20266h 47m 51s
  More actions for workflow run 210

• chore(ci): bump k9/a2ml validate-action pins to current main (#49)

  completed successfully:
  Security Policy#209:Commite408c5cpushedbyhyperpolymath
  main

  May 16, 20261h 17m 6s
  More actions for workflow run 209

• chore(ci): bump k9/a2ml validate-action pins to current main

  completed successfully:
  Security Policy#208:Pull request#49openedbyhyperpolymath
  chore/bump-validate-actions

  May 16, 20261h 16m 21s
  More actions for workflow run 208

• chore(ci): bump k9/a2ml validate-action pins to current main

  completed successfully:
  Security Policy#207:Commit5a01f34pushedbyhyperpolymath
  chore/bump-validate-actions

  May 16, 20261h 19m 30s
  More actions for workflow run 207

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

  completed successfully:
  Security Policy#206:Commit65b7e64pushedbyhyperpolymath
  main

  May 12, 202610h 19m 20s
  More actions for workflow run 206

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

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

  May 12, 202610h 19m 14s
  More actions for workflow run 205

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

  completed successfully:
  Security Policy#204:Commit8f20594pushedbyhyperpolymath
  ci/bump-upload-artifact-v4-sha-final

  May 12, 202610h 19m 58s
  More actions for workflow run 204

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

  completed successfully:
  Security Policy#203:Commit55261f7pushedbyhyperpolymath
  ci/bump-upload-artifact-v4-sha-final

  May 12, 202610h 19m 59s
  More actions for workflow run 203

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

  completed successfully:
  Security Policy#202:Commit55261f7pushedbyhyperpolymath
  main

  May 12, 20264h 3m 11s
  More actions for workflow run 202

• chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18)

  completed successfully:
  Security Policy#201:Commit2fb1685pushedbyhyperpolymath
  main

  Apr 27, 202646m 44s
  More actions for workflow run 201

• chore(contractiles): add bust/ + relocate k9 to svc/

  completed successfully:
  Security Policy#200:Commit0dc3a73pushedbyhyperpolymath
  main

  Apr 18, 20265h 41m 42s
  More actions for workflow run 200

• chore(contractiles): remove lust (not in 6-verb set: intend trust mus…

  completed successfully:
  Security Policy#199:Commitb496b29pushedbyhyperpolymath
  main

  Apr 18, 20262h 10m 56s
  More actions for workflow run 199

• Standardize workspace: Capitalize Justfile references in scripts and …

  completed successfully:
  Security Policy#198:Commita589658pushedbyhyperpolymath
  main

  Apr 18, 20262h 11m 0s
  More actions for workflow run 198

• chore(state): record CRG-grade update from estate sweep

  completed successfully:
  Security Policy#197:Commit8a0ea00pushedbyhyperpolymath
  main

  Apr 18, 20261m 14s
  More actions for workflow run 197

• ci: wire hypatia-scan.yml to query own Dependabot alerts

  completed successfully:
  Security Policy#196:Commit6e5564cpushedbyhyperpolymath
  main

  Apr 17, 20261h 45m 30s
  More actions for workflow run 196

• chore: estate-wide chore + stale-path sweep (2026-04-17)

  completed successfully:
  Security Policy#195:Commit853051apushedbyhyperpolymath
  main

  Apr 17, 20261h 46m 27s
  More actions for workflow run 195

• chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback

  completed successfully:
  Security Policy#194:Commit5b290d4pushedbyhyperpolymath
  main

  Apr 17, 202658m 8s
  More actions for workflow run 194

• chore: M5 CI/Workflow Sweep - final synchronisation

  completed successfully:
  Security Policy#193:Commit913a48apushedbyhyperpolymath
  main

  Apr 16, 202649m 47s
  More actions for workflow run 193

• chore: M5 CI/Workflow Sweep - add blockers and contractile.just

  completed successfully:
  Security Policy#192:Commit29d056fpushedbyhyperpolymath
  main

  Apr 15, 202612m 55s
  More actions for workflow run 192

• chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred

  completed successfully:
  Security Policy#191:Commit2e9997fpushedbyhyperpolymath
  main

  Apr 11, 20261h 35m 5s
  More actions for workflow run 191

• feat(crg): add crg-grade and crg-badge justfile recipes

  completed successfully:
  Security Policy#190:Commitab5bf4apushedbyhyperpolymath
  main

  Apr 4, 20266h 26m 14s
  More actions for workflow run 190

• ci: deploy dogfood-gate, add Groove manifest and CRG tests

  completed successfully:
  Security Policy#189:Commit33f1a95pushedbyhyperpolymath
  main

  Apr 4, 20262h 19m 37s
  More actions for workflow run 189

• docs: substantive CRG C annotation (EXPLAINME.adoc)

  completed successfully:
  Security Policy#188:Commit11294d5pushedbyhyperpolymath
  main

  Apr 4, 202647m 53s
  More actions for workflow run 188