Documentation (casket-ssg)

Workflow runs for Documentation (casket-ssg)

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and…

  completed successfully:
  Documentation (casket-ssg)#74:Commitbbbc433pushedbyhyperpolymath
  main

  Nov 10, 20268m 4s
  More actions for workflow run 74

• ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches

  completed successfully:
  Documentation (casket-ssg)#73:Pull request#196synchronizebyhyperpolymath
  claude/new-session-th4e9w-proof-honesty

  Nov 9, 20261h 53m 59s
  More actions for workflow run 73

• ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches

  cancelled:
  Documentation (casket-ssg)#72:Pull request#196synchronizebyhyperpolymath
  claude/new-session-th4e9w-proof-honesty

  Nov 9, 202615s
  More actions for workflow run 72

• ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches

  completed successfully:
  Documentation (casket-ssg)#71:Pull request#196synchronizebyhyperpolymath
  claude/new-session-th4e9w-proof-honesty

  Nov 9, 20261h 20m 12s
  More actions for workflow run 71

• ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches

  completed successfully:
  Documentation (casket-ssg)#70:Pull request#196synchronizebyhyperpolymath
  claude/new-session-th4e9w-proof-honesty

  Nov 9, 20261h 6m 58s
  More actions for workflow run 70

• ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches

  cancelled:
  Documentation (casket-ssg)#69:Pull request#196synchronizebyhyperpolymath
  claude/new-session-th4e9w-proof-honesty

  Nov 9, 20262m 11s
  More actions for workflow run 69

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  cancelled:
  Documentation (casket-ssg)#68:Pull request#195synchronizebyhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 202618m 24s
  More actions for workflow run 68

• ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches

  completed successfully:
  Documentation (casket-ssg)#67:Pull request#196openedbyhyperpolymath
  claude/new-session-th4e9w-proof-honesty

  Nov 9, 202645m 56s
  More actions for workflow run 67

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  cancelled:
  Documentation (casket-ssg)#66:Pull request#195synchronizebyhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 20268m 15s
  More actions for workflow run 66

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  cancelled:
  Documentation (casket-ssg)#65:Pull request#195synchronizebyhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 20266m 18s
  More actions for workflow run 65

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  cancelled:
  Documentation (casket-ssg)#64:Pull request#195synchronizebyhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 202610m 19s
  More actions for workflow run 64

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  completed successfully:
  Documentation (casket-ssg)#63:Pull request#195synchronizebyhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 202631m 49s
  More actions for workflow run 63

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  completed successfully:
  Documentation (casket-ssg)#62:Pull request#195synchronizebyhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 202619m 32s
  More actions for workflow run 62

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  completed successfully:
  Documentation (casket-ssg)#61:Pull request#195openedbyhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 202616m 40s
  More actions for workflow run 61

• fix(api)!: authenticate and authorize the GraphQL API; bind loopback …

  completed successfully:
  Documentation (casket-ssg)#60:Commit3d4e4a1pushedbyhyperpolymath
  main

  Nov 5, 202627m 23s
  More actions for workflow run 60

• fix(api)!: authenticate and authorize the GraphQL API; bind loopback by default

  completed successfully:
  Documentation (casket-ssg)#59:Pull request#192synchronizebyhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 5, 202614m 18s
  More actions for workflow run 59

• fix(api)!: authenticate and authorize the GraphQL API; bind loopback by default

  completed successfully:
  Documentation (casket-ssg)#58:Pull request#192synchronizebyhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 4, 20266m 1s
  More actions for workflow run 58

• fix(api)!: authenticate and authorize the GraphQL API; bind loopback by default

  completed successfully:
  Documentation (casket-ssg)#57:Pull request#192openedbyhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 4, 20264m 7s
  More actions for workflow run 57

• Audit estate routing and preserve the typed ECHIDNA receipt boundary …

  completed successfully:
  Documentation (casket-ssg)#56:Commiteedfdc3pushedbyhyperpolymath
  main

  Nov 3, 202632m 33s
  More actions for workflow run 56

• Audit estate routing and preserve the typed ECHIDNA receipt boundary

  completed successfully:
  Documentation (casket-ssg)#55:Pull request#191synchronizebycoderabbitai[bot]Bot
  arena/68c18146-echidnabot

  Nov 1, 20267m 4s
  More actions for workflow run 55

• Audit estate routing and preserve the typed ECHIDNA receipt boundary

  completed successfully:
  Documentation (casket-ssg)#54:Pull request#191openedbyhyperpolymath
  arena/68c18146-echidnabot

  Nov 1, 202620m 27s
  More actions for workflow run 54

• chore(dev): add mise Guix and Wolfi Podman environments (#175)

  cancelled:
  Documentation (casket-ssg)#53:Commitae52833pushedbyhyperpolymath
  main

  Oct 9, 20263s
  More actions for workflow run 53

• chore(dev): add mise Guix and Wolfi Podman environments

  cancelled:
  Documentation (casket-ssg)#52:Pull request#175openedbyhyperpolymath
  arena/a0547195-echidnabot

  Oct 9, 20263m 30s
  More actions for workflow run 52

• chore(deps): re-point trust kernel to echidna-core (#174)

  cancelled:
  Documentation (casket-ssg)#51:Commit65f2e65pushedbyhyperpolymath
  main

  Oct 9, 20261s
  More actions for workflow run 51

• chore(deps): re-point trust kernel to echidna-core

  completed successfully:
  Documentation (casket-ssg)#50:Pull request#174openedbyhyperpolymath
  arena/a0547195-echidnabot

  Oct 9, 202625m 6s
  More actions for workflow run 50