Proofs (Solo-core)

Workflow runs for Proofs (Solo-core)

• fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) …

  completed successfully:
  Proofs (Solo-core)#52:Commit108628cpushedbyhyperpolymath
  main

  Sep 20, 202654m 49s
  More actions for workflow run 52

• fix(ci): reconcile the workflows with actions.lock (gh-actions-lock)

  completed successfully:
  Proofs (Solo-core)#51:Pull request#195openedbyhyperpolymath
  fix/sha-pin-actions

  Sep 20, 202634m 26s
  More actions for workflow run 51

• fix(ci): unbreak workflow YAML and add a complete actions.lock (#176)

  completed successfully:
  Proofs (Solo-core)#50:Commitd281bb3pushedbyhyperpolymath
  main

  Aug 27, 202634m 35s
  More actions for workflow run 50

• fix(ci): unbreak workflow YAML and add a complete actions.lock

  completed successfully:
  Proofs (Solo-core)#49:Pull request#176openedbyhyperpolymath
  fix/workflow-dependency-locking

  Aug 27, 202633m 10s
  More actions for workflow run 49

• refactor: migrate Markdown to AsciiDoc (#172)

  completed successfully:
  Proofs (Solo-core)#48:Commite23250bpushedbyhyperpolymath
  main

  Aug 24, 202646m 32s
  More actions for workflow run 48

• refactor: migrate Markdown to AsciiDoc

  completed successfully:
  Proofs (Solo-core)#47:Pull request#172openedbyhyperpolymath
  refactor/md-to-adoc

  Aug 24, 202645m 38s
  More actions for workflow run 47

• licence: normalise the tree to MPL-2.0 (code) / CC-BY-SA-4.0 (docs), …

  completed successfully:
  Proofs (Solo-core)#46:Commit9587d2bpushedbyhyperpolymath
  main

  Aug 7, 20267m 51s
  More actions for workflow run 46

• licence: normalise the tree to MPL-2.0 (code) / CC-BY-SA-4.0 (docs), two-line SPDX

  completed successfully:
  Proofs (Solo-core)#45:Pull request#161openedbyhyperpolymath
  licence/mpl-ccbysa-normalisation

  Aug 7, 20268m 0s
  More actions for workflow run 45

• chore(deps): bump the github-actions group with 9 updates (#138)

  completed successfully:
  Proofs (Solo-core)#44:Commit3d8892bpushedbyhyperpolymath
  main

  Jul 21, 202619m 53s
  More actions for workflow run 44

• chore(deps): bump the github-actions group with 9 updates

  completed successfully:
  Proofs (Solo-core)#43:Pull request#138openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-00eee191ea

  Jul 21, 202623m 56s
  More actions for workflow run 43

• feat: @safe-gated verified resource checking + n-ary/global session r…

  completed successfully:
  Proofs (Solo-core)#42:Commitcaf3b81pushedbyhyperpolymath
  main

  Jun 27, 20267m 4s
  More actions for workflow run 42

• feat: @safe-gated verified resource checking + n-ary/global session runtimes

  completed successfully:
  Proofs (Solo-core)#41:Pull request#127openedbyhyperpolymath
  claude/dreamy-hypatia-O8XHo

  Jun 27, 20267m 39s
  More actions for workflow run 41

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) …

  completed successfully:
  Proofs (Solo-core)#40:Commite0e5b3apushedbyhyperpolymath
  main

  Jun 24, 202618h 53m 19s
  More actions for workflow run 40

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair)

  completed successfully:
  Proofs (Solo-core)#39:Pull request#125openedbyhyperpolymath
  chore/licence-normalisation-2026-06-24

  Jun 24, 202611h 16m 7s
  More actions for workflow run 39

• proof(coupling): close impl⇄spec couplings #1–#4 by differential conf…

  completed successfully:
  Proofs (Solo-core)#38:Commit949b5edpushedbyhyperpolymath
  main

  Jun 21, 20267m 39s
  More actions for workflow run 38

• proof(coupling): close impl⇄spec couplings #1–#4 by differential conformance; #5 by-design

  completed successfully:
  Proofs (Solo-core)#37:Pull request#121synchronizebyhyperpolymath
  claude/dreamy-hypatia-O8XHo

  Jun 21, 20267m 35s
  More actions for workflow run 37

• proof(coupling): close impl⇄spec couplings #1–#4 by differential conformance; #5 by-design

  failed:
  Proofs (Solo-core)#36:Pull request#121openedbyhyperpolymath
  claude/dreamy-hypatia-O8XHo

  Jun 21, 20267m 27s
  More actions for workflow run 36

• proof(solo-core/idris): close preservation (#108) — total, hole-free …

  failed:
  Proofs (Solo-core)#35:Commit4be6d02pushedbyhyperpolymath
  main

  Jun 21, 20267m 17s
  More actions for workflow run 35

• proof(solo-core/idris): close preservation (#108) — total, hole-free

  failed:
  Proofs (Solo-core)#34:Pull request#120synchronizebyhyperpolymath
  claude/dreamy-hypatia-O8XHo

  Jun 21, 20267m 38s
  More actions for workflow run 34

• docs(proofs): update STATUS registry — htSubst complete + substLemma0…

  completed successfully:
  Proofs (Solo-core)#33:Commit89e3facpushedbyhyperpolymath
  main

  Jun 20, 20267m 21s
  More actions for workflow run 33

• Idris htSubst COMPLETE (all 15 cases) + substLemma0 — substitution layer of #108

  completed successfully:
  Proofs (Solo-core)#32:Pull request#119openedbyhyperpolymath
  claude/dreamy-hypatia-O8XHo

  Jun 20, 20267m 24s
  More actions for workflow run 32

• docs: AFFIRMATION + Musts/Intends/Wishes status + next-session handof…

  completed successfully:
  Proofs (Solo-core)#31:Commit8d32863pushedbyhyperpolymath
  main

  Jun 19, 20268m 49s
  More actions for workflow run 31

• Idris htSubst structure (b-erasure solved, 10/15) + AFFIRMATION & status docs

  completed successfully:
  Proofs (Solo-core)#30:Pull request#118openedbyhyperpolymath
  claude/dreamy-hypatia-O8XHo

  Jun 19, 20267m 35s
  More actions for workflow run 30

• feat(my-qtt): QTT verified-core checker — faithful Rust port of Coq R…

  completed successfully:
  Proofs (Solo-core)#29:Commitf2eff3bpushedbyhyperpolymath
  main

  Jun 18, 20267m 10s
  More actions for workflow run 29

• QTT fundamentals coupling: my-qtt verified-core checker + Idris substitution-algebra slices

  completed successfully:
  Proofs (Solo-core)#28:Pull request#116synchronizebyhyperpolymath
  claude/dreamy-hypatia-O8XHo

  Jun 17, 20267m 38s
  More actions for workflow run 28