Code changes, week of 2026-09-14 – 2026-09-20 · 7 commits

What it is: Code activity
Where HEY read it: GitHub · Commits that week ↗ · Repository ↗
When it happened: In the week of Mon 2026-09-14 – Sun 2026-09-20 (UTC), dated by the source to the week
HEY first saw it: 2026-09-18 (46d ago)These are two different clocks: when the work happened, as the source dates it, and when HEY first read it. A week of code activity is one record, which HEY writes when it first sees the week and keeps up to date while the week runs, so HEY can first see it before the week ends.
What changed that week: 7 commits that week, not counting automation or merges.
Prepare QED: rules in Qed/Rules.lean proved by Aristotle, pipeline retargeted, tests listed as rehearsals 2026-09-17
Record TEST4 launch; anchor carries the full proof text and the token description names it 2026-09-15
Anonymize records: generic test token names, remove personal links and launchpad references 2026-09-15
How it is backed: Source-backed
Counts toward building: Yes. It is one of the records HEY’s activity status is built from.
Records behind it: Github repo, read 2026-09-18 ↗
What it does not say: A ship says what was shipped and where HEY read it. It is not a judgement of quality, of the team, or of what the token will do.

Follow qed to see the next change HEY records, with its evidence.

Cite this

Absolute dates in UTC and a link that does not move.

qed: Code changes, week of 2026-09-14 – 2026-09-20 · 7 commits
Happened: in the week 2026-09-14 to 2026-09-20 (UTC)
Source: GitHub, https://github.com/qedrh/qed/commits?since=2026-09-14T00%3A00%3A00.000Z&until=2026-09-21T00%3A00%3A00.000Z
Recorded by HEY Research Lab: 2026-09-18 (UTC); accessed 2026-11-03 (UTC)
Evidence ship:f6466066-792d-4a98-9d4e-762bf1d5359e: https://heyresearch.xyz/evidence/ship:f6466066-792d-4a98-9d4e-762bf1d5359e
  Receipt: https://heyresearch.xyz/api/evidence/ship%3Af6466066-792d-4a98-9d4e-762bf1d5359e

Evidence id ship:f6466066-792d-4a98-9d4e-762bf1d5359eAs data How HEY works