Proof Safety

Workflow runs for Proof Safety

• ci(scratch): point the one-off lock regeneration at rsr-template-repo…

  completed successfully:
  Proof Safety#188:Commit8b0b33epushedbyhyperpolymath
  main

  Oct 20, 20262m 14s
  More actions for workflow run 188

• ci(scratch): point the one-off lock regeneration at rsr-template-repo…

  completed successfully:
  Proof Safety#187:Pull request#447synchronizebycoderabbitai[bot]Bot
  claude/new-session-th4e9w-lockregen

  Oct 20, 20261m 35s
  More actions for workflow run 187

• ci(agda): pin the Agda proofs job to ubuntu-24.04 (#445)

  completed successfully:
  Proof Safety#186:Commit4243e50pushedbyhyperpolymath
  main

  Oct 20, 20263m 14s
  More actions for workflow run 186

• ci(agda): pin the Agda proofs job to ubuntu-24.04

  completed successfully:
  Proof Safety#185:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 20262m 0s
  More actions for workflow run 185

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns …

  cancelled:
  Proof Safety#184:Commit58b448fpushedbyhyperpolymath
  main

  Oct 20, 202642s
  More actions for workflow run 184

• ci(agda): pin the Agda proofs job to ubuntu-24.04

  completed successfully:
  Proof Safety#183:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 20261m 51s
  More actions for workflow run 183

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Proof Safety#182:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 20262m 11s
  More actions for workflow run 182

• chore(ci): remove the one-off lock-regeneration workflow merged by #4…

  cancelled:
  Proof Safety#181:Commit1b04deepushedbyhyperpolymath
  main

  Oct 20, 20263m 3s
  More actions for workflow run 181

• ci(agda): pin the Agda proofs job to ubuntu-24.04

  completed successfully:
  Proof Safety#180:Pull request#445synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 20262m 0s
  More actions for workflow run 180

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Proof Safety#179:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 20262m 32s
  More actions for workflow run 179

• chore(ci): remove the one-off lock-regeneration workflow merged by #441

  completed successfully:
  Proof Safety#178:Pull request#442synchronizebyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

  Oct 20, 20262m 5s
  More actions for workflow run 178

• fix(ci): close actions.lock (Hypatia invalid_actions_lock) by moving …

  completed successfully:
  Proof Safety#177:Commit13cbda9pushedbyhyperpolymath
  main

  Oct 20, 20262m 2s
  More actions for workflow run 177

• chore(ci): remove the one-off lock-regeneration workflow merged by #441

  completed successfully:
  Proof Safety#176:Pull request#442synchronizebyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

  Oct 20, 20262m 7s
  More actions for workflow run 176

• fix(ci): close actions.lock (Hypatia invalid_actions_lock) by moving stale reusable pins upstream

  completed successfully:
  Proof Safety#175:Pull request#446openedbyhyperpolymath
  claude/stoic-brown-26h7xi

  Oct 20, 20263m 0s
  More actions for workflow run 175

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Proof Safety#174:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 20262m 16s
  More actions for workflow run 174

• ci(agda): pin the Agda proofs job to ubuntu-24.04

  completed successfully:
  Proof Safety#173:Pull request#445openedbyhyperpolymath
  claude/zen-brahmagupta-opqqle-agda-pin

  Oct 20, 20261m 49s
  More actions for workflow run 173

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Proof Safety#172:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 20, 20262m 7s
  More actions for workflow run 172

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Proof Safety#171:Pull request#444synchronizebycoderabbitai[bot]Bot
  claude/zen-brahmagupta-opqqle

  Oct 20, 20262m 11s
  More actions for workflow run 171

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Proof Safety#170:Pull request#444synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 20262m 4s
  More actions for workflow run 170

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

  completed successfully:
  Proof Safety#169:Pull request#444openedbyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 20262m 50s
  More actions for workflow run 169

• docs(decisions): lexicon v2 + hub-and-probe identity arbitration ADR,…

  completed successfully:
  Proof Safety#168:Commitc020b63pushedbyhyperpolymath
  main

  Oct 19, 20263m 18s
  More actions for workflow run 168

• fix(rest): serve API docs with ReDoc so zip leaves the tree (#440)

  completed successfully:
  Proof Safety#167:Commitd8a0185pushedbyhyperpolymath
  main

  Oct 19, 20261m 57s
  More actions for workflow run 167

• chore(ci): remove the one-off lock-regeneration workflow merged by #441

  completed successfully:
  Proof Safety#166:Pull request#442synchronizebyhyperpolymath
  claude/new-session-th4e9w-rm-scratch-wf

  Oct 19, 20261m 55s
  More actions for workflow run 166

• docs(decisions): lexicon v2 + hub-and-probe identity arbitration ADR, with the false-friend census script

  completed successfully:
  Proof Safety#165:Pull request#443synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 19, 20261m 45s
  More actions for workflow run 165

• docs(decisions): lexicon v2 + hub-and-probe identity arbitration ADR, with the false-friend census script

  completed successfully:
  Proof Safety#164:Pull request#443synchronizebycoderabbitai[bot]Bot
  claude/zen-brahmagupta-opqqle

  Oct 19, 20261m 54s
  More actions for workflow run 164