.github/workflows/scorecard.yml

Workflow runs for .github/workflows/scorecard.yml

• CNO: pc-driven machine, observable identity, real termination (#199)

  failed:
  .github/workflows/scorecard.yml#286:Commitffcfed1pushedbyhyperpolymath
  main

  Nov 10, 2026Failure
  More actions for workflow run 286

• CNO: pc-driven machine, observable identity, real termination

  failed:
  .github/workflows/scorecard.yml#285:Pull request#199bycoderabbitai[bot]Bot
  proofs/cno-pc-machine

  Nov 9, 2026Failure
  More actions for workflow run 285

• CNO: pc-driven machine, observable identity, real termination

  failed:
  .github/workflows/scorecard.yml#284:Pull request#199bycoderabbitai[bot]Bot
  proofs/cno-pc-machine

  Nov 9, 2026Failure
  More actions for workflow run 284

• CNO: pc-driven machine, observable identity, real termination

  failed:
  .github/workflows/scorecard.yml#283:Pull request#199byhyperpolymath
  proofs/cno-pc-machine

  Nov 9, 2026Failure
  More actions for workflow run 283

• CNO: pc-driven machine, observable identity, real termination

  failed:
  .github/workflows/scorecard.yml#282:Pull request#199byhyperpolymath
  proofs/cno-pc-machine

  Nov 9, 2026-1s
  More actions for workflow run 282

• proofs: scope vacuous Agda CNO fields, fix archived PROOF-STATUS paths, pin stdlib, make OND-3 writer Z3 check real

  failed:
  .github/workflows/scorecard.yml#281:Pull request#198byhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 2026Failure
  More actions for workflow run 281

• proofs: scope vacuous Agda CNO fields, fix archived PROOF-STATUS paths, pin stdlib, make OND-3 writer Z3 check real

  failed:
  .github/workflows/scorecard.yml#280:Pull request#198byhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 2026Failure
  More actions for workflow run 280

• docs(proofs): record what the active Agda CNO/OND terms actually state

  failed:
  .github/workflows/scorecard.yml#279:Pull request#197byhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 2026Failure
  More actions for workflow run 279

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#278:Scheduled
  main

  Nov 9, 2026Failure
  More actions for workflow run 278

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

  failed:
  .github/workflows/scorecard.yml#277:Commitcbe9ae9pushedbyhyperpolymath
  main

  Nov 7, 2026Failure
  More actions for workflow run 277

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

  failed:
  .github/workflows/scorecard.yml#276:Pull request#196bydependabot[bot]Bot
  dependabot/github_actions/actions-86b173927e

  Nov 6, 2026Failure
  More actions for workflow run 276

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#275:Scheduled
  main

  Nov 2, 2026Failure
  More actions for workflow run 275

• docs(proof-status): canonical active-vs-archived reconciliation table…

  failed:
  .github/workflows/scorecard.yml#274:Commit80bb4e2pushedbyhyperpolymath
  main

  Nov 1, 2026Failure
  More actions for workflow run 274

• docs(proof-status): canonical active-vs-archived reconciliation table with estate grades

  failed:
  .github/workflows/scorecard.yml#273:Pull request#195byhyperpolymath
  arena/1a7659fe-absolute-zero

  Nov 1, 2026Failure
  More actions for workflow run 273

• chore(deps): bump the actions group with 3 updates (#194)

  failed:
  .github/workflows/scorecard.yml#272:Commitbb46232pushedbyhyperpolymath
  main

  Oct 31, 2026Failure
  More actions for workflow run 272

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

  failed:
  .github/workflows/scorecard.yml#271:Pull request#194bydependabot[bot]Bot
  dependabot/github_actions/actions-ad128ebd5c

  Oct 30, 2026Failure
  More actions for workflow run 271

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#270:Scheduled
  main

  Oct 26, 2026Failure
  More actions for workflow run 270

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

  failed:
  .github/workflows/scorecard.yml#269:Commit64a47ecpushedbyhyperpolymath
  main

  Oct 23, 20268s
  More actions for workflow run 269

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

  failed:
  .github/workflows/scorecard.yml#268:Pull request#193openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 23, 20267s
  More actions for workflow run 268

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#267:Scheduled
  main

  Oct 19, 20267s
  More actions for workflow run 267

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

  failed:
  .github/workflows/scorecard.yml#266:Commite249d7fpushedbyhyperpolymath
  main

  Oct 16, 20267s
  More actions for workflow run 266

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

  failed:
  .github/workflows/scorecard.yml#265:Pull request#191openedbydependabot[bot]Bot
  dependabot/github_actions/actions-90fd21f639

  Oct 16, 20266s
  More actions for workflow run 265

• ci+docs: unify the standards pins, close the lock, underscore the arc…

  completed successfully:
  .github/workflows/scorecard.yml#264:Commitb60f227pushedbyhyperpolymath
  main

  Oct 15, 20261m 13s
  More actions for workflow run 264

• ci+docs: unify the standards pins, close the lock, underscore the archived session id

  completed successfully:
  .github/workflows/scorecard.yml#263:Pull request#190openedbyhyperpolymath
  ci/governance-repair

  Oct 15, 20261m 7s
  More actions for workflow run 263

• docs: an Applications-in-practice section (#189)

  failed:
  .github/workflows/scorecard.yml#262:Commit4471796pushedbyhyperpolymath
  main

  Oct 15, 20261m 12s
  More actions for workflow run 262