.github/workflows/hypatia-scan.yml

Workflow runs for .github/workflows/hypatia-scan.yml

• proofs: scope vacuous Agda CNO fields, fix archived PROOF-STATUS path…

  failed:
  .github/workflows/hypatia-scan.yml#442:Commitad69ddfpushedbyhyperpolymath
  main

  Nov 10, 2026Failure
  More actions for workflow run 442

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

  failed:
  .github/workflows/hypatia-scan.yml#441:Pull request#198byhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 10, 2026Failure
  More actions for workflow run 441

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

  failed:
  .github/workflows/hypatia-scan.yml#440:Commitffcfed1pushedbyhyperpolymath
  main

  Nov 10, 2026Failure
  More actions for workflow run 440

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

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

  Nov 9, 2026Failure
  More actions for workflow run 439

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

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

  Nov 9, 2026Failure
  More actions for workflow run 438

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

  failed:
  .github/workflows/hypatia-scan.yml#437:Pull request#199byhyperpolymath
  proofs/cno-pc-machine

  Nov 9, 2026Failure
  More actions for workflow run 437

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

  failed:
  .github/workflows/hypatia-scan.yml#436:Pull request#199byhyperpolymath
  proofs/cno-pc-machine

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

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

  failed:
  .github/workflows/hypatia-scan.yml#435:Pull request#198byhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 2026Failure
  More actions for workflow run 435

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

  failed:
  .github/workflows/hypatia-scan.yml#434:Pull request#198byhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 2026Failure
  More actions for workflow run 434

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

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

  Nov 9, 2026Failure
  More actions for workflow run 433

• .github/workflows/hypatia-scan.yml

  failed:
  .github/workflows/hypatia-scan.yml#432:Scheduled
  main

  Nov 8, 2026Failure
  More actions for workflow run 432

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

  failed:
  .github/workflows/hypatia-scan.yml#431:Commitcbe9ae9pushedbyhyperpolymath
  main

  Nov 7, 2026Failure
  More actions for workflow run 431

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

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

  Nov 6, 2026Failure
  More actions for workflow run 430

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

  failed:
  .github/workflows/hypatia-scan.yml#429:Commit80bb4e2pushedbyhyperpolymath
  main

  Nov 1, 2026Failure
  More actions for workflow run 429

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

  failed:
  .github/workflows/hypatia-scan.yml#428:Pull request#195byhyperpolymath
  arena/1a7659fe-absolute-zero

  Nov 1, 2026Failure
  More actions for workflow run 428

• .github/workflows/hypatia-scan.yml

  failed:
  .github/workflows/hypatia-scan.yml#427:Scheduled
  main

  Nov 1, 2026Failure
  More actions for workflow run 427

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

  failed:
  .github/workflows/hypatia-scan.yml#426:Commitbb46232pushedbyhyperpolymath
  main

  Oct 31, 2026Failure
  More actions for workflow run 426

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

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

  Oct 30, 2026Failure
  More actions for workflow run 425

• .github/workflows/hypatia-scan.yml

  failed:
  .github/workflows/hypatia-scan.yml#424:Scheduled
  main

  Oct 25, 20266s
  More actions for workflow run 424

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

  failed:
  .github/workflows/hypatia-scan.yml#423:Commit64a47ecpushedbyhyperpolymath
  main

  Oct 23, 20267s
  More actions for workflow run 423

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

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

  Oct 23, 20266s
  More actions for workflow run 422

• .github/workflows/hypatia-scan.yml

  failed:
  .github/workflows/hypatia-scan.yml#421:Scheduled
  main

  Oct 18, 20267s
  More actions for workflow run 421

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

  failed:
  .github/workflows/hypatia-scan.yml#420:Commite249d7fpushedbyhyperpolymath
  main

  Oct 16, 20268s
  More actions for workflow run 420

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

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

  Oct 16, 20267s
  More actions for workflow run 419

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

  completed successfully:
  .github/workflows/hypatia-scan.yml#418:Commitb60f227pushedbyhyperpolymath
  main

  Oct 15, 20262m 46s
  More actions for workflow run 418