Mirror to Git Forges

Workflow runs for Mirror to Git Forges

• Reword JS runtime-order messages (bun, deno, pnpm, npm last resort) (…

  completed successfully:
  Mirror to Git Forges#1077:Commit4797c1bpushedbyhyperpolymath
  main

  Nov 11, 20265m 40s
  More actions for workflow run 1077

• docs(clade): uuid follows the GitHub path; qualify the prefixed-name …

  completed successfully:
  Mirror to Git Forges#1076:Commitc9ec9a1pushedbyhyperpolymath
  main

  Nov 10, 202645m 17s
  More actions for workflow run 1076

• docs(clade): uuid follows the forge path, it is not immortal (#1047)

  completed successfully:
  Mirror to Git Forges#1075:Commit2ee6ae0pushedbyhyperpolymath
  main

  Nov 10, 202616m 28s
  More actions for workflow run 1075

• docs(proofs): mark the gap-analysis summary superseded; fix the READM…

  completed successfully:
  Mirror to Git Forges#1074:Commit7a23e3fpushedbyhyperpolymath
  main

  Nov 10, 20268m 48s
  More actions for workflow run 1074

• One parsed workflow model (#971); prove RE001's egress decision and t…

  completed successfully:
  Mirror to Git Forges#1073:Commita1d8d9bpushedbyhyperpolymath
  main

  Nov 10, 20265m 2s
  More actions for workflow run 1073

• docs(proofs): align the neural-convergence plan and proof ledger with…

  completed successfully:
  Mirror to Git Forges#1072:Commit44293e7pushedbyhyperpolymath
  main

  Nov 10, 20262m 38s
  More actions for workflow run 1072

• docs(readme): make the README's claims true, and gate them in CI (#1040)

  completed successfully:
  Mirror to Git Forges#1071:Commitbae6103pushedbyhyperpolymath
  main

  Nov 10, 20265m 31s
  More actions for workflow run 1071

• build(deps): bump the actions group across 1 directory with 5 updates…

  completed successfully:
  Mirror to Git Forges#1070:Commitc5849e5pushedbyhyperpolymath
  main

  Nov 10, 20263m 23s
  More actions for workflow run 1070

• feat(verification): derive proof-ledger statuses from CI receipts; fa…

  completed successfully:
  Mirror to Git Forges#1069:Commit01c3e3dpushedbyhyperpolymath
  main

  Nov 10, 20267m 2s
  More actions for workflow run 1069

• fix(rules): SD004 is layout drift, not a blocking critical (#1044)

  completed successfully:
  Mirror to Git Forges#1068:Commit6e7dcbdpushedbyhyperpolymath
  main

  Nov 10, 20263m 32s
  More actions for workflow run 1068

• ci: cancel superseded runs of bridge-gate, governance and hypatia-sca…

  completed successfully:
  Mirror to Git Forges#1067:Commit4209a52pushedbyhyperpolymath
  main

  Nov 10, 20263m 21s
  More actions for workflow run 1067

• secret-alerts: HYP-01 verdict fields + Idris2 line contract (PROOF-PO…

  completed successfully:
  Mirror to Git Forges#1066:Commit9c8c77dpushedbyhyperpolymath
  main

  Nov 10, 20263m 23s
  More actions for workflow run 1066

• proof(actions-lock): Idris2 closure model with the corpus verdicts as…

  completed successfully:
  Mirror to Git Forges#1065:Commit47910f4pushedbyhyperpolymath
  main

  Nov 10, 20262m 51s
  More actions for workflow run 1065

• build(ci-tools): tokio 1.52.3 -> 1.53.3 (RUSTSEC-2026-0386) (#1043)

  completed successfully:
  Mirror to Git Forges#1064:Commitb2fc9d4pushedbyhyperpolymath
  main

  Nov 10, 20263m 10s
  More actions for workflow run 1064

• ci: move the oracle default and elixir-compile to OTP 28.5.0.8 (#1037)

  completed successfully:
  Mirror to Git Forges#1063:Commitb01aba6pushedbyhyperpolymath
  main

  Nov 10, 20266m 29s
  More actions for workflow run 1063

• feat(abi): model RSR capability-profile resolution in Idris2 (#1033)

  completed successfully:
  Mirror to Git Forges#1062:Commit0ae8b22pushedbyhyperpolymath
  main

  Nov 10, 20265m 2s
  More actions for workflow run 1062

• fix(neural): stop the Graph of Trust leaking trust on repeated eviden…

  completed successfully:
  Mirror to Git Forges#1061:Commit3269c7dpushedbyhyperpolymath
  main

  Nov 9, 20265m 23s
  More actions for workflow run 1061

• fix(runtime): pin OTP releases that drop credentials on cross-origin …

  completed successfully:
  Mirror to Git Forges#1060:Commit142380epushedbyhyperpolymath
  main

  Nov 9, 20265m 12s
  More actions for workflow run 1060

• docs(workflow_yaml) + test(workflow_hardening): document the reader; …

  completed successfully:
  Mirror to Git Forges#1059:Commitfb71b0dpushedbyhyperpolymath
  main

  Nov 9, 20264m 36s
  More actions for workflow run 1059

• fix(research_extensions): read on: brackets outside comments and qu…

  completed successfully:
  Mirror to Git Forges#1058:Commitbe6510fpushedbyhyperpolymath
  main

  Nov 9, 202610m 36s
  More actions for workflow run 1058

• feat(verification): re-home the Lean engineering proofs to Idris2; le…

  completed successfully:
  Mirror to Git Forges#1057:Commit49a495bpushedbyhyperpolymath
  main

  Nov 9, 20266m 0s
  More actions for workflow run 1057

• build(deps): bump the actions group across 1 directory with 4 updates…

  completed successfully:
  Mirror to Git Forges#1056:Commitc639c46pushedbyhyperpolymath
  main

  Nov 9, 20268m 30s
  More actions for workflow run 1056

• build(deps): bump rustls from 0.23.45 to 0.23.46 in /scripts/ci-tools…

  completed successfully:
  Mirror to Git Forges#1055:Commit65ee43fpushedbyhyperpolymath
  main

  Nov 9, 20268m 33s
  More actions for workflow run 1055

• fix(credentials): separate alert reads and add isolated credential ch…

  completed successfully:
  Mirror to Git Forges#1054:Commit1d48908pushedbyhyperpolymath
  main

  Nov 7, 20263m 37s
  More actions for workflow run 1054

• Adopt standards reviewer coverage and verified workflow lock (#1021)

  completed successfully:
  Mirror to Git Forges#1053:Commit41824e7pushedbyhyperpolymath
  main

  Nov 7, 20262m 39s
  More actions for workflow run 1053