All workflows

Workflow runs

• docs: add architecture and caught-lie diagrams to the README

  completed successfully:
  tests#14:Commit8f16adcpushedbyEricFinland
  main

  Sep 30, 20264m 58s
  More actions for workflow run 14

• fix: run checks with a fresh bytecode cache so same-second edits are …

  completed successfully:
  tests#13:Commit25ac78bpushedbyEricFinland
  main

  Sep 30, 20266m 17s
  More actions for workflow run 13

• Merge pull request #1 from EricFinland/v3-core

  failed:
  tests#12:Commitdaa0839pushedbyEricFinland
  main

  Sep 30, 20263m 25s
  More actions for workflow run 12

• Proof v3: receipts that can't be faked

  failed:
  tests#11:Pull request#1synchronizebyEricFinland
  v3-core

  Sep 30, 20262m 55s
  More actions for workflow run 11

• Proof v3: receipts that can't be faked

  failed:
  tests#10:Pull request#1synchronizebyEricFinland
  v3-core

  Sep 30, 20262m 46s
  More actions for workflow run 10

• Proof v3: receipts that can't be faked

  failed:
  tests#9:Pull request#1synchronizebyEricFinland
  v3-core

  Sep 30, 20262m 28s
  More actions for workflow run 9

• Proof v3: receipts that can't be faked

  failed:
  tests#8:Pull request#1openedbyEricFinland
  v3-core

  Sep 30, 20262m 33s
  More actions for workflow run 8

• docs: overhaul proofml README with diagrams and deep dives

  completed successfully:
  tests#7:Commit954deddpushedbyEricFinland
  main

  Jun 27, 202657s
  More actions for workflow run 7

• feat: add opt-in cost-gated verification (gating)

  completed successfully:
  tests#6:Commit18364eapushedbyEricFinland
  main

  Jun 27, 20261m 1s
  More actions for workflow run 6

• fix: platform-guard gradle wrapper tests

  completed successfully:
  tests#5:Commit8998ac4pushedbyEricFinland
  main

  Jun 12, 202650s
  More actions for workflow run 5

• merge: Proof v2.0 - config, honesty stats, agent-agnostic check, http…

  failed:
  tests#4:Commit0567dd6pushedbyEricFinland
  main

  Jun 12, 20261m 17s
  More actions for workflow run 4

• docs: skills CLI install one-liner + social preview card

  completed successfully:
  tests#3:Commit403a76cpushedbyEricFinland
  main

  Jun 12, 202640s
  More actions for workflow run 3

• docs: animated terminal demo + real-world catch example

  completed successfully:
  tests#2:Commit225ae98pushedbyEricFinland
  main

  Jun 6, 202632s
  More actions for workflow run 2

• docs: hero README, MIT license, cross-platform CI

  completed successfully:
  tests#1:Commit39d9624pushedbyEricFinland
  main

  Jun 6, 202635s
  More actions for workflow run 1