Scorecards supply-chain security

Workflow runs for Scorecards supply-chain security

• fix(ci): repair doc-truthing guard after #614's .md→.adoc migration (…

  completed successfully:
  Scorecards supply-chain security#612:Commit33a4bfbpushedbyhyperpolymath
  main

  Jun 21, 202644s
  More actions for workflow run 612

• Feat/solo core metatheory proofs (#614)

  completed successfully:
  Scorecards supply-chain security#611:Commit39299c3pushedbyhyperpolymath
  main

  Jun 21, 202621m 6s
  More actions for workflow run 611

• fix(codegen): uniform heap representation for variants — fixes mixed-…

  completed successfully:
  Scorecards supply-chain security#610:Commit2aa00ffpushedbyhyperpolymath
  main

  Jun 21, 20264m 30s
  More actions for workflow run 610

• fix(codegen): support nested patterns inside tuple patterns (WASM)

  completed successfully:
  Scorecards supply-chain security#609:Commit0f8e6c5pushedbyhyperpolymath
  main

  Jun 21, 202610m 1s
  More actions for workflow run 609

• fix(js-codegen): don't re-declare preamble Option/Result constructors

  completed successfully:
  Scorecards supply-chain security#608:Commita3e0661pushedbyhyperpolymath
  main

  Jun 21, 202613m 5s
  More actions for workflow run 608

• docs: author the proof-needs inventory (P-/F-/K- obligation series) (…

  completed successfully:
  Scorecards supply-chain security#607:Commiteae71fdpushedbyhyperpolymath
  main

  Jun 21, 202631s
  More actions for workflow run 607

• ci: actions/checkout v7.0.0 with consistent SHA-pin comments (superse…

  completed successfully:
  Scorecards supply-chain security#606:Commit57040fcpushedbyhyperpolymath
  main

  Jun 21, 202634s
  More actions for workflow run 606

• Scorecards supply-chain security

  completed successfully:
  Scorecards supply-chain security#605:deletedbyhyperpolymath
  Jun 21, 202640s
  More actions for workflow run 605

• chore: refresh stale CI notes + sync drifted Deno fixtures (#608)

  completed successfully:
  Scorecards supply-chain security#604:Commit48ef42fpushedbyhyperpolymath
  main

  Jun 20, 202638s
  More actions for workflow run 604

• fix(codegen-deno): don't re-declare preamble Option/Result constructo…

  completed successfully:
  Scorecards supply-chain security#603:Commit2efe0e3pushedbyhyperpolymath
  main

  Jun 20, 202638s
  More actions for workflow run 603

• ci: fix standalone-CI fallout — SHA-pin actions, de-trip secret scann…

  completed successfully:
  Scorecards supply-chain security#602:Commitc7922cfpushedbyhyperpolymath
  main

  Jun 20, 202644s
  More actions for workflow run 602

• ci: make CI standalone (drop estate reusable workflows + third-party …

  failed at startup:
  Scorecards supply-chain security#601:Commit873ad6dpushedbyhyperpolymath
  main

  Jun 20, 2026Startup failure
  More actions for workflow run 601

• fix(codegen): #138 — link imported enum constructors into codegen (#602)

  failed at startup:
  Scorecards supply-chain security#600:Commitac98c81pushedbyhyperpolymath
  main

  Jun 20, 20262s
  More actions for workflow run 600

• docs(faces): record established faces and same-cube grounding

  failed at startup:
  Scorecards supply-chain security#599:Commit9851215pushedbyhyperpolymath
  main

  Jun 18, 202618s
  More actions for workflow run 599

• Scorecards supply-chain security

  failed at startup:
  Scorecards supply-chain security#598:Scheduled
  main

  Jun 15, 20261s
  More actions for workflow run 598

• fix(parser): #558 — honest-reject removed assume(...); fix misnamed f…

  failed at startup:
  Scorecards supply-chain security#597:Commit58dc2a0pushedbyhyperpolymath
  main

  Jun 14, 20261s
  More actions for workflow run 597

• fix(interp): #555 interpreter residual — multi-shot resume loud-fail …

  failed at startup:
  Scorecards supply-chain security#596:Commit7f5c8d7pushedbyhyperpolymath
  main

  Jun 14, 20261s
  More actions for workflow run 596

• fix(codegen): close #556 — async CPS table-miss loud-fail fence (#596)

  failed at startup:
  Scorecards supply-chain security#595:Commit187f21apushedbyhyperpolymath
  main

  Jun 14, 20261s
  More actions for workflow run 595

• fix(borrow): close #554 use-after-move through a callee-returned borr…

  failed at startup:
  Scorecards supply-chain security#594:Commit9bf8d57pushedbyhyperpolymath
  main

  Jun 14, 2026Startup failure
  More actions for workflow run 594

• docs: consolidated session overview — migration corpus + string/float…

  failed at startup:
  Scorecards supply-chain security#593:Commit43df11fpushedbyhyperpolymath
  main

  Jun 14, 20261s
  More actions for workflow run 593

• compiler: implement the float wall — Float binops + typed locals lowe…

  failed at startup:
  Scorecards supply-chain security#592:Commited04217pushedbyhyperpolymath
  main

  Jun 14, 20261s
  More actions for workflow run 592

• compiler+harness: string-wall cleanup + affine-parity String-arg supp…

  failed at startup:
  Scorecards supply-chain security#591:Commit2218100pushedbyhyperpolymath
  main

  Jun 14, 20261s
  More actions for workflow run 591

• migration: 3 straggler brains + corpus-sweep capstone (cluster C15) (…

  failed at startup:
  Scorecards supply-chain security#590:Commitc3ebe69pushedbyhyperpolymath
  main

  Jun 14, 20261s
  More actions for workflow run 590

• ci: bump actions/checkout from 4.1.7 to 6.0.3 (#577)

  failed at startup:
  Scorecards supply-chain security#589:Commit897bb73pushedbyhyperpolymath
  main

  Jun 14, 20261s
  More actions for workflow run 589

• migration: 12 integer-brain kernels from idaptik sense-heavy sweep (c…

  failed at startup:
  Scorecards supply-chain security#588:Commit8cf748bpushedbyhyperpolymath
  main

  Jun 14, 2026Startup failure
  More actions for workflow run 588