Security Policy

Workflow runs for Security Policy

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  completed successfully:
  Security Policy#178:Pull request#74synchronizebycoderabbitai[bot]Bot
  claude/lucid-hopper-wvkv5e

  Nov 9, 20265m 46s
  More actions for workflow run 178

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  completed successfully:
  Security Policy#177:Pull request#74synchronizebyhyperpolymath
  claude/lucid-hopper-wvkv5e

  Nov 9, 202639m 13s
  More actions for workflow run 177

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  cancelled:
  Security Policy#176:Pull request#74openedbyhyperpolymath
  claude/lucid-hopper-wvkv5e

  Nov 9, 202615m 34s
  More actions for workflow run 176

• chore(deps): bump the actions group with 2 updates (#73)

  completed successfully:
  Security Policy#175:Commit2246caapushedbyhyperpolymath
  main

  Nov 8, 202610s
  More actions for workflow run 175

• chore(deps): bump the actions group with 2 updates

  completed successfully:
  Security Policy#174:Pull request#73openedbydependabot[bot]Bot
  dependabot/github_actions/actions-26b05f84a5

  Nov 8, 202611s
  More actions for workflow run 174

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.…

  completed successfully:
  Security Policy#173:Commit213fe71pushedbyhyperpolymath
  main

  Nov 2, 20269s
  More actions for workflow run 173

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.1 in the actions group

  completed successfully:
  Security Policy#172:Pull request#72openedbydependabot[bot]Bot
  dependabot/github_actions/actions-8997878c64

  Nov 1, 202610s
  More actions for workflow run 172

• chore(deps): bump github/codeql-action from 4.39.0 to 4.39.1 in the a…

  completed successfully:
  Security Policy#171:Commit5aec56epushedbyhyperpolymath
  main

  Oct 25, 20268s
  More actions for workflow run 171

• chore(deps): bump github/codeql-action from 4.39.0 to 4.39.1 in the actions group

  completed successfully:
  Security Policy#170:Pull request#71openedbydependabot[bot]Bot
  dependabot/github_actions/actions-00a1a19959

  Oct 25, 20269s
  More actions for workflow run 170

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the a…

  completed successfully:
  Security Policy#169:Commit2200e6dpushedbyhyperpolymath
  main

  Oct 18, 20269s
  More actions for workflow run 169

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the actions group

  completed successfully:
  Security Policy#168:Pull request#70openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 18, 20268s
  More actions for workflow run 168

• Security Policy

  completed successfully:
  Security Policy#167:byhyperpolymath
  main

  Oct 11, 20269s
  More actions for workflow run 167

• chore(deps): bump the actions group with 4 updates

  completed successfully:
  Security Policy#166:Pull request#69openedbydependabot[bot]Bot
  dependabot/github_actions/actions-cde91ae882

  Oct 11, 20267s
  More actions for workflow run 166

• feat: land the contractiles tree vendored in reposystem (147 files, i…

  completed successfully:
  Security Policy#165:Commita0b5619pushedbyhyperpolymath
  main

  Oct 9, 202610s
  More actions for workflow run 165

• feat: land the contractiles tree vendored in reposystem (147 files, incl. the contractile CLI)

  completed successfully:
  Security Policy#164:Pull request#68openedbyhyperpolymath
  feat/land-vendored-contractiles

  Oct 9, 20269s
  More actions for workflow run 164

• docs(contractile): spec-first bundle — audit, RFC-0001, ADR-0002 (no …

  completed successfully:
  Security Policy#163:Commitd440161pushedbyhyperpolymath
  main

  Oct 4, 202614s
  More actions for workflow run 163

• docs(contractile): spec-first bundle — audit, RFC-0001, ADR-0002 (no CLI exists; ratification requested)

  completed successfully:
  Security Policy#162:Pull request#67openedbyhyperpolymath
  arena/01a103ff-contractiles

  Oct 4, 202619s
  More actions for workflow run 162

• docs: add Signed commits section to CONTRIBUTING (#66)

  completed successfully:
  Security Policy#161:Commitc8ae464pushedbyhyperpolymath
  main

  Oct 1, 202624m 27s
  More actions for workflow run 161

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  Security Policy#160:Pull request#66openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202611m 25s
  More actions for workflow run 160

• chore(deps): bump github/codeql-action from 4.38.0 to 4.38.2 in the a…

  completed successfully:
  Security Policy#159:Commit50f41adpushedbyhyperpolymath
  main

  Sep 27, 20267s
  More actions for workflow run 159

• chore(deps): bump github/codeql-action from 4.38.0 to 4.38.2 in the actions group

  completed successfully:
  Security Policy#158:Pull request#65openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Sep 27, 20268s
  More actions for workflow run 158

• fix(ci): reconcile actions.lock so the lockfile validates (#64)

  completed successfully:
  Security Policy#157:Commit9351d28pushedbyhyperpolymath
  main

  Sep 21, 20264h 18m 51s
  More actions for workflow run 157

• fix(ci): reconcile actions.lock so the lockfile validates

  completed successfully:
  Security Policy#156:Pull request#64openedbyhyperpolymath
  fix/lockfile-reconcile

  Sep 21, 20264h 18m 14s
  More actions for workflow run 156

• fix(gates): gate on the DEED grammar, per the template and standards#…

  cancelled:
  Security Policy#155:Commitda66010pushedbyhyperpolymath
  main

  Sep 21, 202643m 38s
  More actions for workflow run 155

• fix(gates): gate on the DEED grammar, per the template and standards#837

  completed successfully:
  Security Policy#154:Pull request#63synchronizebyhyperpolymath
  fix/deed-gate-grammar

  Sep 21, 20263h 15m 8s
  More actions for workflow run 154