Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit history

Commits on Oct 8, 2026

• ci: prove runtime closure gate behavior

  hippoley

  committed
  c514928View commit details

  Copy full SHA for c514928

  View code at this pointBrowse repository at this point

• ci: exercise packaged runtime closure profile

  hippoley

  committed
  58bd2d9View commit details

  Copy full SHA for 58bd2d9

  View code at this pointBrowse repository at this point

• feat: standalone fixture-only Outcome Witness consumer CLI (#191)

  Show description for de53d65
  hippoley

  authored
  de53d65View commit details

  Copy full SHA for de53d65

  View code at this pointBrowse repository at this point

• experiment: executable Outcome Witness vectors separate ACK from observed outcome (#185)

  Show description for a7946c4
  hippoley

  authored
  a7946c4View commit details

  Copy full SHA for a7946c4

  View code at this pointBrowse repository at this point

• ci: allow configure-pages to enable missing GitHub Pages site (#179)

  hippoley

  authored
  80aecf8View commit details

  Copy full SHA for 80aecf8

  View code at this pointBrowse repository at this point

• fix: make Proof Lab self-contained and deploy via GitHub Pages (#173)

  Show description for 136ae00
  hippoley

  authored
  136ae00View commit details

  Copy full SHA for 136ae00

  View code at this pointBrowse repository at this point

• Probe AVERA v0 cross-language numeric canonicalization (#168)

  Show description for 24a28aa
  hippoley

  authored
  24a28aaView commit details

  Copy full SHA for 24a28aa

  View code at this pointBrowse repository at this point

Commits on Oct 7, 2026

• feat: detect event-driven drift in external governance evidence

  Show description for 71b16b2
  hippoley

  authored
  71b16b2View commit details

  Copy full SHA for 71b16b2

  View code at this pointBrowse repository at this point

• feat: bind in-toto conformance receipts to an independent checker

  Show description for e64c787
  hippoley

  authored
  e64c787View commit details

  Copy full SHA for e64c787

  View code at this pointBrowse repository at this point

• feat: consume in-toto conformance manifests with lifecycle-bound receipts

  Show description for 918631c
  hippoley

  authored
  918631cView commit details

  Copy full SHA for 918631c

  View code at this pointBrowse repository at this point

• fix: preserve Bluefin reconstruction uncertainty (#132)

  Show description for 8f367e8
  hippoley

  authored
  8f367e8View commit details

  Copy full SHA for 8f367e8

  View code at this pointBrowse repository at this point

• feat: publish Bluefin flagship causal proof on latest runtime

  Show description for 88eafc7
  hippoley

  authored
  88eafc7View commit details

  Copy full SHA for 88eafc7

  View code at this pointBrowse repository at this point

• feat: route Bluefin QEMU evidence through generic causal core (#121)

  Show description for ee576f7
  hippoley

  authored
  ee576f7View commit details

  Copy full SHA for ee576f7

  View code at this pointBrowse repository at this point

Commits on Oct 6, 2026

• ci: attest effective lifecycle receipts with Sigstore

  Show description for 125b722
  hippoley

  authored
  125b722View commit details

  Copy full SHA for 125b722

  View code at this pointBrowse repository at this point

• feat: make lifecycle decisions independently auditable

  Show description for 6d49d67
  hippoley

  authored
  6d49d67View commit details

  Copy full SHA for 6d49d67

  View code at this pointBrowse repository at this point

• feat: publish effective lifecycle receipts

  Show description for 1db42e2
  hippoley

  authored
  1db42e2View commit details

  Copy full SHA for 1db42e2

  View code at this pointBrowse repository at this point

• feat: resolve live evidence freshness from upstream PR candidates

  Show description for 528e2ce
  hippoley

  authored
  528e2ceView commit details

  Copy full SHA for 528e2ce

  View code at this pointBrowse repository at this point

• feat: enforce cross-domain Reality Contracts

  Show description for 8296ba0
  hippoley

  authored
  8296ba0View commit details

  Copy full SHA for 8296ba0

  View code at this pointBrowse repository at this point

• reality: Bluefin #4539 controlled causal replay and oracle applicability

  Show description for add9e1e
  hippoley

  authored
  add9e1eView commit details

  Copy full SHA for add9e1e

  View code at this pointBrowse repository at this point

Commits on Sep 28, 2026

• feat: make oracle scope explicit for green-but-wrong evidence (#97)

  Show description for 6355bbb
  hippoley

  authored
  6355bbbView commit details

  Copy full SHA for 6355bbb

  View code at this pointBrowse repository at this point

Commits on Sep 26, 2026

• fix: make Proof Lab Pages build independently testable

  Show description for efc3aff
  hippoley

  authored
  efc3affView commit details

  Copy full SHA for efc3aff

  View code at this pointBrowse repository at this point

• chore: make GitHub Pages CounterProof-native

  Show description for 0ef5148
  hippoley

  authored
  0ef5148View commit details

  Copy full SHA for 0ef5148

  View code at this pointBrowse repository at this point

• release: prepare PyPI Trusted Publishing

  Show description for 520c579
  hippoley

  authored
  520c579View commit details

  Copy full SHA for 520c579

  View code at this pointBrowse repository at this point

• feat: add scoped zero-config local proof check

  Show description for ccb7137
  hippoley

  authored
  ccb7137View commit details

  Copy full SHA for ccb7137

  View code at this pointBrowse repository at this point

• docs: capture reviewer work in Reality Probe intake

  hippoley

  authored
  a9401b9View commit details

  Copy full SHA for a9401b9

  View code at this pointBrowse repository at this point

Commits on Sep 24, 2026

• docs: ask Reality Probe submitters for the authoritative oracle

  hippoley

  authored
  a02044aView commit details

  Copy full SHA for a02044a

  View code at this pointBrowse repository at this point

• community: add one-PR-per-probe Reality Lab intake

  hippoley

  committed
  13f1cceView commit details

  Copy full SHA for 13f1cce

  View code at this pointBrowse repository at this point

• ci: verify Reality Lab ships in clean CounterProof installs

  hippoley

  committed
  b17dfa5View commit details

  Copy full SHA for b17dfa5

  View code at this pointBrowse repository at this point

• feat: one-command CounterProof onboarding with honest witness semantics

  Show description for b99f2d9
  hippoley

  authored
  b99f2d9View commit details

  Copy full SHA for b99f2d9

  View code at this pointBrowse repository at this point

Commits on Sep 23, 2026

• fix: skip Pages deployment cleanly until the site is enabled

  hippoley

  committed
  623bd22View commit details

  Copy full SHA for 623bd22

  View code at this pointBrowse repository at this point

• community: add Counterproof counterexample challenge issue template

  hippoley

  committed
  f328dacView commit details

  Copy full SHA for f328dac

  View code at this pointBrowse repository at this point

• Counterproof: prove agent PR fixes before you trust them

  Show description for f7d2f06
  hippoley

  authored
  f7d2f06View commit details

  Copy full SHA for f7d2f06

  View code at this pointBrowse repository at this point

Commits on Sep 17, 2026

• Fix CI and deploy static skill review demo

  hippoley

  committed
  4f71433View commit details

  Copy full SHA for 4f71433

  View code at this pointBrowse repository at this point

Commits on May 26, 2026

• feat: initial release of Skill Factory v0.1.0

  Show description for 24b3152
  hippoley

  committed
  24b3152View commit details

  Copy full SHA for 24b3152

  View code at this pointBrowse repository at this point

Loading