Commits

Branch selector

main

User selector

All users

Datepicker

All time

Commit history

Commits on Sep 8, 2026

• probes: the citation gap is not robust to age, and now that has a receipt

  Show description for 5951929
  

  agora-builder

  and

  claude

  committed
  5951929View commit details

  Copy full SHA for 5951929

  Browse repository at this point

• gate: the humanizer runs last, enforced instead of remembered

  Show description for 48990c7
  

  agora-builder

  and

  claude

  committed
  48990c7View commit details

  Copy full SHA for 48990c7

  Browse repository at this point

• probes: this answers an open question, it does not retract a published claim

  Show description for da72ac2
  

  agora-builder

  and

  claude

  committed
  da72ac2View commit details

  Copy full SHA for da72ac2

  Browse repository at this point

• probes: the evicted rows are a random sample of the index, not a measured loss

  Show description for ad6dca6
  

  agora-builder

  and

  claude

  committed
  ad6dca6View commit details

  Copy full SHA for ad6dca6

  Browse repository at this point

• probes: a control pinned to 54, and the row that departed into a different archive block

  Show description for fdafa0e
  

  agora-builder

  and

  claude

  committed
  fdafa0eView commit details

  Copy full SHA for fdafa0e

  Browse repository at this point

• trim: four checks that could not fail, and a branch that could not run

  Show description for 573d9c4
  

  agora-builder

  and

  claude

  committed
  573d9c4View commit details

  Copy full SHA for 573d9c4

  Browse repository at this point

• memory-index: one definition of "index file", because the wrong one shipped in seven places

  Show description for 191af56
  

  agora-builder

  and

  claude

  committed
  191af56View commit details

  Copy full SHA for 191af56

  Browse repository at this point

• probes: our two published resurrections rest on an inference the data cannot check

  Show description for a235607
  

  agora-builder

  and

  claude

  committed
  a235607View commit details

  Copy full SHA for a235607

  Browse repository at this point

• trim: address rows, not lines, and give every row that leaves its own decision

  Show description for 99115f1
  

  agora-builder

  and

  claude

  committed
  99115f1View commit details

  Copy full SHA for 99115f1

  Browse repository at this point

• probes: a prefix filter on "memory" hid a data row, and the cohort we published was 16

  Show description for 34da8f3
  

  agora-builder

  and

  claude

  committed
  34da8f3View commit details

  Copy full SHA for 34da8f3

  Browse repository at this point

• handoff: the session's state, written because the memory store could not take it

  Show description for d2a5057
  

  agora-builder

  and

  claude

  committed
  d2a5057View commit details

  Copy full SHA for d2a5057

  Browse repository at this point

• probes: re-creation as a false-retirement signal, and the cohort it cannot reach

  Show description for 19848e7
  

  agora-builder

  and

  claude

  committed
  19848e7View commit details

  Copy full SHA for 19848e7

  Browse repository at this point

• probes: packing the index to fit a line cap evicted rows nobody judged

  Show description for 913bea6
  

  agora-builder

  and

  claude

  committed
  913bea6View commit details

  Copy full SHA for 913bea6

  Browse repository at this point

• merge: bring main's erasure and schema work onto the integration branch

  Show description for 61bbd79
  

  agora-builder

  and

  claude

  committed
  61bbd79View commit details

  Copy full SHA for 61bbd79

  Browse repository at this point

• edrn: the letter I nearly sent told a co-author not to do what he had already not done

  Show description for a9befc8
  

  agora-builder

  and

  claude

  committed
  a9befc8View commit details

  Copy full SHA for a9befc8

  Browse repository at this point

• edrn: his retraction is right, and it must not take the s=1 orbit result with it

  Show description for 6341da0
  

  agora-builder

  and

  claude

  committed
  6341da0View commit details

  Copy full SHA for 6341da0

  Browse repository at this point

• 91188: the retirement criterion was in our own commit messages the whole time

  Show description for a058082
  

  agora-builder

  and

  claude

  committed
  a058082View commit details

  Copy full SHA for a058082

  Browse repository at this point

• probes: every date in that table was the snapshot's, not the event's

  Show description for 75538b6
  

  agora-builder

  and

  claude

  committed
  75538b6View commit details

  Copy full SHA for 75538b6

  Browse repository at this point

• probes: the retirement shape is measurable, and the reference question is void

  Show description for 4bcb43b
  

  agora-builder

  and

  claude

  committed
  4bcb43bView commit details

  Copy full SHA for 4bcb43b

  Browse repository at this point

• gate: a proportional tier, and a skill run in session counts as evidence

  Show description for bfc8f05
  

  agora-builder

  and

  claude

  committed
  bfc8f05View commit details

  Copy full SHA for bfc8f05

  Browse repository at this point

• erasure: the same connection-lifetime error three times, and the last inside its own fix

  Show description for 10b7799
  

  agora-builder

  and

  claude

  committed
  10b7799View commit details

  Copy full SHA for 10b7799

  Browse repository at this point

• erasure: the same connection-lifetime error three times, and the last one was inside its own fix

  Show description for 68d04ca
  

  agora-builder

  and

  claude

  committed
  68d04caView commit details

  Copy full SHA for 68d04ca

  Browse repository at this point

• erasure: correct four published claims and two receipts that reported success without working

  Show description for e0c4d1a
  

  agora-builder

  and

  claude

  committed
  e0c4d1aView commit details

  Copy full SHA for e0c4d1a

  Browse repository at this point

• erasure: four published claims corrected, and two receipts that reported success without working

  Show description for 6d6b639
  

  agora-builder

  and

  claude

  committed
  6d6b639View commit details

  Copy full SHA for 6d6b639

  Browse repository at this point

• witness: inspeximus log at 2026-09-08T10:03Z

  

  agora-witness

  committed
  abf94a9View commit details

  Copy full SHA for abf94a9

  Browse repository at this point

• erasure_v0: correct a published claim about an experiment that was never run

  Show description for 58490f5
  

  agora-builder

  and

  claude

  committed
  58490f5View commit details

  Copy full SHA for 58490f5

  Browse repository at this point

• erasure_v0: I published a claim about an experiment I never ran

  Show description for 7db6ace
  

  agora-builder

  and

  claude

  committed
  7db6aceView commit details

  Copy full SHA for 7db6ace

  Browse repository at this point

• erasure_v0: the sender's own queue is an erasure target, and it leaks

  Show description for 38005bf
  

  agora-builder

  and

  claude

  committed
  38005bfView commit details

  Copy full SHA for 38005bf

  Browse repository at this point

• erasure_v0: name the sender's queue as a target, and take the length bound from the thread

  Show description for 7b80e4b
  

  agora-builder

  and

  claude

  committed
  7b80e4bView commit details

  Copy full SHA for 7b80e4b

  Browse repository at this point

• probes: the store that leaked is ours, and it is the sender's own queue

  Show description for 7d0573e
  

  agora-builder

  and

  claude

  committed
  7d0573eView commit details

  Copy full SHA for 7d0573e

  Browse repository at this point

• probes: the filename was the accusation, and the control could not fail

  Show description for 888511e
  

  agora-builder

  and

  claude

  committed
  888511eView commit details

  Copy full SHA for 888511e

  Browse repository at this point

• probes: rename the file whose name was the accusation, and give it an arm that can fail

  Show description for db664cb
  

  agora-builder

  and

  claude

  committed
  db664cbView commit details

  Copy full SHA for db664cb

  Browse repository at this point

• pregate: it could not see a discussion, so it refused every claim headed for one

  Show description for aec9858
  

  agora-builder

  and

  claude

  committed
  aec9858View commit details

  Copy full SHA for aec9858

  Browse repository at this point

• erasure_v0: publish the draft deletion contract and its counter-example probe

  Show description for 9f35d5e
  

  agora-builder

  and

  claude

  committed
  9f35d5eView commit details

  Copy full SHA for 9f35d5e

  Browse repository at this point

• erasure_v0: the deletion contract, and the partner who says erased and still answers

  Show description for 634e9b3
  

  agora-builder

  and

  claude

  committed
  634e9b3View commit details

  Copy full SHA for 634e9b3

  Browse repository at this point