GitHub Pages (Ddraig SSG)

Workflow runs for GitHub Pages (Ddraig SSG)

• fix(deploy): replace the pasted stopgap runbook with a fail-closed sc…

  completed successfully:
  GitHub Pages (Ddraig SSG)#129:Commitf546ee9pushedbyhyperpolymath
  main

  Nov 10, 20264m 43s
  More actions for workflow run 129

• fix(trust): one trust kernel; Level 4 needs a certificate, Level 5 ne…

  completed successfully:
  GitHub Pages (Ddraig SSG)#128:Commita261ac6pushedbyhyperpolymath
  main

  Nov 9, 20262m 6s
  More actions for workflow run 128

• fix(abi): CapnSchemas proved its claims about implicit variables; qua…

  completed successfully:
  GitHub Pages (Ddraig SSG)#127:Commit72112a9pushedbyhyperpolymath
  main

  Nov 9, 20264m 24s
  More actions for workflow run 127

• fix(ci): pin panic-attack f2a6a70 so the static analysis scan can com…

  completed successfully:
  GitHub Pages (Ddraig SSG)#126:Commit43b5cfbpushedbyhyperpolymath
  main

  Nov 9, 20263m 8s
  More actions for workflow run 126

• chore(ci): cargo fmt, rmcp RustSec bump, gitleaks false positive at s…

  completed successfully:
  GitHub Pages (Ddraig SSG)#125:Commit65216a2pushedbyhyperpolymath
  main

  Nov 9, 20263m 5s
  More actions for workflow run 125

• fix(ci): restore main's red checks (rmcp RustSec, rustfmt, Hypatia Zi…

  completed successfully:
  GitHub Pages (Ddraig SSG)#124:Commitc09903apushedbyhyperpolymath
  main

  Nov 9, 20265m 54s
  More actions for workflow run 124

• docs(proofs): refresh PROOF-STATUS against the 2026-11-09 audit and P…

  completed successfully:
  GitHub Pages (Ddraig SSG)#123:Commitf385a6dpushedbyhyperpolymath
  main

  Nov 9, 20264m 56s
  More actions for workflow run 123

• proof(agda): real E9 composition soundness in the gated meta-checker;…

  completed successfully:
  GitHub Pages (Ddraig SSG)#122:Commita3043d0pushedbyhyperpolymath
  main

  Nov 9, 20264m 23s
  More actions for workflow run 122

• W0 split: server.rs, main.rs and the Justfile split by area, held to …

  completed successfully:
  GitHub Pages (Ddraig SSG)#121:Commit3c06ac3pushedbyhyperpolymath
  main

  Nov 9, 202610m 44s
  More actions for workflow run 121

• CI-4: make every allow-fail unit blocking or remove it; Containerfile…

  completed successfully:
  GitHub Pages (Ddraig SSG)#120:Commitcea26cdpushedbyhyperpolymath
  main

  Nov 9, 20263m 12s
  More actions for workflow run 120

• fix(k9): validate K9 with the canonical validator; bring every K9 rec…

  completed successfully:
  GitHub Pages (Ddraig SSG)#119:Commit2e51291pushedbyhyperpolymath
  main

  Nov 9, 20261m 42s
  More actions for workflow run 119

• fix(test): stop executable fixtures racing ETXTBSY under parallel tes…

  completed successfully:
  GitHub Pages (Ddraig SSG)#118:Commitd059264pushedbyhyperpolymath
  main

  Nov 9, 20261m 7s
  More actions for workflow run 118

• proof(agda): model the speculative CAS + cancel-token race; replace t…

  completed successfully:
  GitHub Pages (Ddraig SSG)#117:Commit2cb8cebpushedbyhyperpolymath
  main

  Nov 9, 20261m 6s
  More actions for workflow run 117

• Document verification integration status separately from prover decla…

  completed successfully:
  GitHub Pages (Ddraig SSG)#116:Commit2ab7574pushedbyhyperpolymath
  main

  Nov 7, 20261m 12s
  More actions for workflow run 116

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-…

  completed successfully:
  GitHub Pages (Ddraig SSG)#115:Commita81467bpushedbyhyperpolymath
  main

  Nov 5, 20262m 27s
  More actions for workflow run 115

• fix(deploy): containment stopgap for api.nesy-prover.dev (#461)

  completed successfully:
  GitHub Pages (Ddraig SSG)#114:Commit3e7a9b6pushedbyhyperpolymath
  main

  Nov 5, 20268m 3s
  More actions for workflow run 114

• fix(ci): call standards reusables at metadatastician/standards (#458)

  completed successfully:
  GitHub Pages (Ddraig SSG)#113:Commitb12522apushedbyhyperpolymath
  main

  Nov 5, 20261m 6s
  More actions for workflow run 113

• fix(deps): resolve RUSTSEC-2026-0433 in the root lockfile (#460)

  completed successfully:
  GitHub Pages (Ddraig SSG)#112:Commit0211aa0pushedbyhyperpolymath
  main

  Nov 5, 20268m 2s
  More actions for workflow run 112

• chore(deps): bump rustls from 0.23.45 to 0.23.46 in /fuzz in the carg…

  completed successfully:
  GitHub Pages (Ddraig SSG)#111:Commit6dbfea5pushedbyhyperpolymath
  main

  Nov 4, 20264m 52s
  More actions for workflow run 111

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

  completed successfully:
  GitHub Pages (Ddraig SSG)#110:Commit430cf1dpushedbyhyperpolymath
  main

  Nov 4, 20263m 39s
  More actions for workflow run 110

• fix(deps): resolve RUSTSEC-2026-0414 in the root lockfile (#457)

  completed successfully:
  GitHub Pages (Ddraig SSG)#109:Commit744c86cpushedbyhyperpolymath
  main

  Nov 3, 20262m 56s
  More actions for workflow run 109

• proofs: require full Agda safe/cubical-compatible mode in dogfood and…

  completed successfully:
  GitHub Pages (Ddraig SSG)#108:Commit1576370pushedbyhyperpolymath
  main

  Nov 2, 20261m 7s
  More actions for workflow run 108

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (sta…

  completed successfully:
  GitHub Pages (Ddraig SSG)#107:Commit916b769pushedbyhyperpolymath
  main

  Oct 27, 20261m 1s
  More actions for workflow run 107

• fix(corpus): the octad test's SCHEME path broke cargo check on main…

  completed successfully:
  GitHub Pages (Ddraig SSG)#106:Commitc03386bpushedbyhyperpolymath
  main

  Oct 22, 20262m 27s
  More actions for workflow run 106

• corpus: structural cross-prover identity keys + 256-dim structural em…

  completed successfully:
  GitHub Pages (Ddraig SSG)#105:Commite8e93f5pushedbyhyperpolymath
  main

  Oct 22, 20262m 7s
  More actions for workflow run 105