Commits

Branch selector

main

User selector

All users

Datepicker

All time

Commit history

Commits on Oct 8, 2026

• test: pin runtime closure interop evidence cases

  hippoley

  committed
  15a51cdView commit details

  Copy full SHA for 15a51cd

  Browse repository at this point

• test: pin runtime closure evidence semantics

  hippoley

  committed
  a33f005View commit details

  Copy full SHA for a33f005

  Browse repository at this point

• feat: add runtime closure evidence evaluator

  hippoley

  committed
  16b803dView commit details

  Copy full SHA for 16b803d

  Browse repository at this point

• interop: pin NOA observer-relationship conformance semantics (#190)

  Show description for fc5c008
  hippoley

  authored
  fc5c008View commit details

  Copy full SHA for fc5c008

  Browse 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

  Browse repository at this point

• docs: define outcome witness interop and trust-boundary promotion gates (#189)

  hippoley

  authored
  88febbcView commit details

  Copy full SHA for 88febbc

  Browse repository at this point

• interop: add conservative evidence-relationship envelope v0.1 (#188)

  Show description for c84abfa
  hippoley

  authored
  c84abfaView commit details

  Copy full SHA for c84abfa

  Browse repository at this point

• fix: reject unnamed observer authorities in outcome witness fixtures (#187)

  hippoley

  authored
  66baa66View commit details

  Copy full SHA for 66baa66

  Browse repository at this point

• fix: fail closed on malformed or unbound outcome witness evidence (#186)

  hippoley

  authored
  07408a8View commit details

  Copy full SHA for 07408a8

  Browse 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

  Browse repository at this point

• interop: refuse inferred WindowPilot physical-outcome bindings (#184)

  Show description for 2bba685
  hippoley

  authored
  2bba685View commit details

  Copy full SHA for 2bba685

  Browse repository at this point

• docs: point every Proof Lab entry to live Pages and clarify evidence boundaries (#183)

  hippoley

  authored
  5870067View commit details

  Copy full SHA for 5870067

  Browse repository at this point

• feat: add experimental external-outcome evidence vectors and validator (#181)

  Show description for 359a054
  hippoley

  authored
  359a054View commit details

  Copy full SHA for 359a054

  Browse repository at this point

• test: align Proof Lab contracts with Pages redirect shell (#182)

  Show description for 2ebd2fa
  hippoley

  authored
  2ebd2faView commit details

  Copy full SHA for 2ebd2fa

  Browse 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

  Browse repository at this point

• docs: preserve real identity-binding interop finding (#176)

  hippoley

  authored
  58485fcView commit details

  Copy full SHA for 58485fc

  Browse repository at this point

• web: route Proof Lab root to reliable self-contained experience (#177)

  hippoley

  authored
  16e9b77View commit details

  Copy full SHA for 16e9b77

  Browse 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

  Browse repository at this point

• Freeze external execution evidence admission boundary (#174)

  Show description for 71cfce1
  hippoley

  authored
  71cfce1View commit details

  Copy full SHA for 71cfce1

  Browse 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

  Browse repository at this point

• docs: advance agent-done credential to working interop

  Show description for f6af8fd
  hippoley

  authored
  f6af8fdView commit details

  Copy full SHA for f6af8fd

  Browse repository at this point

• feat: admit real external execution receipts without claim inflation

  Show description for 747eb61
  hippoley

  authored
  747eb61View commit details

  Copy full SHA for 747eb61

  Browse repository at this point

• docs: advance claimproof credential to implemented consumer

  Show description for 9ddc1f6
  hippoley

  authored
  9ddc1f6View commit details

  Copy full SHA for 9ddc1f6

  Browse repository at this point

• feat: consume a candidate-bound claimproof durable ClaimBasis

  Show description for 799e651
  hippoley

  authored
  799e651View commit details

  Copy full SHA for 799e651

  Browse repository at this point

Commits on Oct 7, 2026

• docs: classify third-party evidence credentials by strength

  Show description for 4994b5c
  hippoley

  authored
  4994b5cView commit details

  Copy full SHA for 4994b5c

  Browse repository at this point

• docs: add a durable external-evidence credential ledger

  Show description for b79fa19
  hippoley

  authored
  b79fa19View commit details

  Copy full SHA for b79fa19

  Browse repository at this point

• fix: invalidate governance assessments when issue discussions move

  Show description for 5bab3e6
  hippoley

  authored
  5bab3e6View commit details

  Copy full SHA for 5bab3e6

  Browse repository at this point

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

  Show description for 71b16b2
  hippoley

  authored
  71b16b2View commit details

  Copy full SHA for 71b16b2

  Browse repository at this point

• fix: expire stale governance evidence assessments

  Show description for bcdc13a
  hippoley

  authored
  bcdc13aView commit details

  Copy full SHA for bcdc13a

  Browse repository at this point

• docs: pressure-test ITE #63 against OpenFab Generation evidence

  hippoley

  authored
  0aa97e0View commit details

  Copy full SHA for 0aa97e0

  Browse repository at this point

• docs: define CounterProof's ITE #63 evidence-admission boundary

  hippoley

  authored
  79280d8View commit details

  Copy full SHA for 79280d8

  Browse repository at this point

• feat: refuse phantom external-verifier conformance evidence

  Show description for 6b73377
  hippoley

  authored
  6b73377View commit details

  Copy full SHA for 6b73377

  Browse repository at this point

• fix: make in-toto statement byte identity mechanically verifiable

  Show description for 989dbd6
  hippoley

  authored
  989dbd6View commit details

  Copy full SHA for 989dbd6

  Browse repository at this point

• fix: disambiguate cross-verifier revision provenance

  Show description for 8236cb2
  hippoley

  authored
  8236cb2View commit details

  Copy full SHA for 8236cb2

  Browse 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

  Browse repository at this point