ABI codegen drift

Workflow runs for ABI codegen drift

• chore(deps): bump the actions group across 1 directory with 7 updates…

  completed successfully:
  ABI codegen drift#188:Commit5173ca7pushedbyhyperpolymath
  main

  Oct 15, 202641s
  More actions for workflow run 188

• chore(deps): bump the actions group across 1 directory with 7 updates

  completed successfully:
  ABI codegen drift#187:Pull request#926synchronizebyhyperpolymath
  dependabot/github_actions/actions-7e8019b270

  Oct 15, 202633s
  More actions for workflow run 187

• feat(cli): live detection for HYP-S010 and HYP-S011 (#924)

  completed successfully:
  ABI codegen drift#186:Commit2bc2103pushedbyhyperpolymath
  main

  Oct 15, 202628s
  More actions for workflow run 186

• chore(deps): bump the actions group across 1 directory with 7 updates

  completed successfully:
  ABI codegen drift#185:Pull request#926openedbydependabot[bot]Bot
  dependabot/github_actions/actions-7e8019b270

  Oct 15, 202626s
  More actions for workflow run 185

• feat(cli): live detection for HYP-S010 and HYP-S011

  completed successfully:
  ABI codegen drift#184:Pull request#924synchronizebycoderabbitai[bot]Bot
  rules/clade-identity-and-sha-pinning

  Oct 15, 202632s
  More actions for workflow run 184

• feat(cli): live detection for HYP-S010 and HYP-S011

  completed successfully:
  ABI codegen drift#183:Pull request#924synchronizebycoderabbitai[bot]Bot
  rules/clade-identity-and-sha-pinning

  Oct 15, 202620s
  More actions for workflow run 183

• feat(cli): live detection for HYP-S010 and HYP-S011

  completed successfully:
  ABI codegen drift#182:Pull request#924synchronizebyhyperpolymath
  rules/clade-identity-and-sha-pinning

  Oct 15, 202626s
  More actions for workflow run 182

• fix(neural): the learning cycle crashed on every run — retune and fir…

  completed successfully:
  ABI codegen drift#181:Commit99e282apushedbyhyperpolymath
  main

  Oct 15, 202636s
  More actions for workflow run 181

• fix(neural): the learning cycle crashed on every run — retune and first real training

  completed successfully:
  ABI codegen drift#180:Pull request#925openedbyhyperpolymath
  fix/neural-learning-cycle

  Oct 15, 202624s
  More actions for workflow run 180

• feat(cli): live detection for HYP-S010 and HYP-S011

  completed successfully:
  ABI codegen drift#179:Pull request#924openedbyhyperpolymath
  rules/clade-identity-and-sha-pinning

  Oct 15, 202624s
  More actions for workflow run 179

• chore(deps): bump the actions group across 1 directory with 6 updates

  completed successfully:
  ABI codegen drift#178:Pull request#921synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-b434826032

  Oct 14, 202625s
  More actions for workflow run 178

• feat(safety): quarantine retracts dependent findings; dispatch steps …

  completed successfully:
  ABI codegen drift#177:Commit5f86909pushedbyhyperpolymath
  main

  Oct 14, 20261m 5s
  More actions for workflow run 177

• feat(safety): quarantine retracts dependent findings; dispatch steps name their facts (HYP-01, PR C)

  completed successfully:
  ABI codegen drift#176:Pull request#923synchronizebyhyperpolymath
  claude/hyp-01-c-retraction

  Oct 14, 20261m 52s
  More actions for workflow run 176

• chore(deps): bump the actions group across 1 directory with 6 updates

  completed successfully:
  ABI codegen drift#175:Pull request#921synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-b434826032

  Oct 14, 202633s
  More actions for workflow run 175

• feat(safety): quarantine retracts dependent findings; dispatch steps name their facts (HYP-01, PR C)

  completed successfully:
  ABI codegen drift#174:Pull request#923openedbyhyperpolymath
  claude/hyp-01-c-retraction

  Oct 14, 202641s
  More actions for workflow run 174

• feat(findings): every finding names its support; findings.ncl enforce…

  completed successfully:
  ABI codegen drift#173:Commit988e9b7pushedbyhyperpolymath
  main

  Oct 14, 202626s
  More actions for workflow run 173

• feat(findings): every finding names its support; findings.ncl enforced in CI (HYP-01, PR B)

  completed successfully:
  ABI codegen drift#172:Pull request#922openedbyhyperpolymath
  claude/hyp-01-b-schema

  Oct 14, 20261m 44s
  More actions for workflow run 172

• chore(deps): bump the actions group across 1 directory with 6 updates

  completed successfully:
  ABI codegen drift#171:Pull request#921openedbydependabot[bot]Bot
  dependabot/github_actions/actions-b434826032

  Oct 14, 202644s
  More actions for workflow run 171

• feat(abi): verdict record names its support; Sound only from a prover…

  completed successfully:
  ABI codegen drift#170:Commitce5fc63pushedbyhyperpolymath
  main

  Oct 14, 202630s
  More actions for workflow run 170

• feat(abi): verdict record names its support; Sound only from a prover re-check (HYP-01, PR A)

  completed successfully:
  ABI codegen drift#169:Pull request#920openedbyhyperpolymath
  claude/new-session-25msjx

  Oct 14, 202629s
  More actions for workflow run 169

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

  completed successfully:
  ABI codegen drift#168:Pull request#917synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-7cbd780897

  Oct 9, 202627s
  More actions for workflow run 168

• fix(config): require HYPATIA_VERISIM_URL / HYPATIA_ECHIDNABOT_URL, no…

  completed successfully:
  ABI codegen drift#167:Commit4be38c8pushedbyhyperpolymath
  main

  Oct 8, 202623s
  More actions for workflow run 167

• fix(config): require HYPATIA_VERISIM_URL / HYPATIA_ECHIDNABOT_URL, no localhost defaults

  completed successfully:
  ABI codegen drift#166:Pull request#918openedbyhyperpolymath
  fix/require-endpoint-env

  Oct 8, 202624s
  More actions for workflow run 166

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

  completed successfully:
  ABI codegen drift#165:Pull request#917openedbydependabot[bot]Bot
  dependabot/github_actions/actions-7cbd780897

  Oct 8, 202625s
  More actions for workflow run 165

• fix(ci): relock actions.lock for Dependabot-bumped refs; codeql to v4…

  completed successfully:
  ABI codegen drift#164:Commit69cf5capushedbyhyperpolymath
  main

  Oct 8, 202627s
  More actions for workflow run 164