Repository navigation

Add execution receipt schema v1 for published results - #571

Merged

MaxGhenis merged 24 commits into

mainfrom

w4/receipt-schema-v1

Oct 15, 2026

Merged

Add execution receipt schema v1 for published results#571
MaxGhenis merged 24 commits into
mainfrom
w4/receipt-schema-v1

Commits on Oct 11, 2026
- Add execution receipt schema v1 with RFC 8785 digests
  
  MaxGhenis
  and
  claude
  committed
  f68b63a
- Fix review findings: strict digests, bindable modifiers, core in certificate
  
  MaxGhenis
  and
  claude
  committed
  2d4cb9a
- Fix round-2 review findings on execution receipt v1
  
  MaxGhenis
  and
  claude
  committed
  7df93cf
- Refuse module code that did not run; close round-3 test gaps
  
  MaxGhenis
  and
  claude
  committed
  5ec9bbf
- Type the module-source compile helpers
  
  MaxGhenis
  and
  claude
  committed
  402900a
Commits on Oct 12, 2026
- Fix round-4 review findings on execution receipt v1
  
  MaxGhenis
  and
  claude
  committed
  fe3bd83
- Record the years the dataset is projected to; flag years outside it
  
  MaxGhenis
  and
  claude
  committed
  8267786
- Fix round-5 review findings on execution receipt v1
  
  MaxGhenis
  and
  claude
  committed
  478a1e9
- Refuse modifiers that read module state the digest cannot bind
  
  MaxGhenis
  and
  claude
  committed
  77277eb
- Fix round-6 review findings on execution receipt v1
  
  MaxGhenis
  and
  claude
  committed
  6726fd1
- Bind a modifier's module by shape; compare constants with their sharing
  
  MaxGhenis
  and
  claude
  committed
  ac3b3fa
- Fix round-8 review findings: introspection, metadata and Python 3.14
  
  MaxGhenis
  and
  claude
  committed
  801283a
Commits on Oct 13, 2026
- Fix round-9 review findings: version drift, annotation readers, generics
  
  MaxGhenis
  and
  claude
  committed
  cf809bd
Commits on Oct 14, 2026
- Fix receipt build snapshots, install provenance and annotation checks
  
  committed
  bbb93a6
- Bind held annotations to their source and loaded code to its distribution
  
  committed
  48b20bf
- Hold receipt tests to how the repository happens to be installed
  
  MaxGhenis
  and
  claude
  committed
  543f57e
- Compare annotations in order and local installs by their install mode
  
  committed
  5756231
Commits on Oct 15, 2026
- Refuse editable installs and unbound generic type parameters in receipts
  
  MaxGhenis
  and
  claude
  committed
  b7a262e
- Refuse typing aliases built with a union inside measure functions
  
  MaxGhenis
  and
  claude
  committed
  603ea1f
- Resolve function-code type names conservatively and inspect forward references
  
  MaxGhenis
  and
  claude
  committed
  f5bc1b8
- Merge origin/main into w4/receipt-schema-v1
  
  Max Ghenis
  and
  claude
  committed
  64d1265
- Isolate receipt tests from import-path pollution; make the NaN test portable
  
  MaxGhenis
  and
  claude
  committed
  a53a9b2
- Fix three Python-version differences CI exposed in receipts
  
  MaxGhenis
  and
  claude
  committed
  f987df2
- Take the quoted special-form flag from the interpreter, not a typing probe
  
  MaxGhenis
  and
  claude
  committed
  71ddda8

Commits

Commits on Oct 11, 2026

Commits on Oct 12, 2026

Commits on Oct 13, 2026

Commits on Oct 14, 2026

Commits on Oct 15, 2026