Repository navigation

Derive graph source identities once per run and stream column digests from buffers - #938

Merged

MaxGhenis merged 16 commits into

mainfrom

graph-verify-once-main

Sep 17, 2026

Merged

Derive graph source identities once per run and stream column digests from buffers#938
MaxGhenis merged 16 commits into
mainfrom
graph-verify-once-main

Commits on Sep 16, 2026
- Build each column's context-digest stream with numpy, byte for byte
  
  MaxGhenis
  and
  claude
  committed
  a904fa4
- Derive each source content key once per run, and prove them at run end
  
  MaxGhenis
  and
  claude
  committed
  873b0e9
- Say where the executor actually checks that a source moved
  
  MaxGhenis
  and
  claude
  committed
  3f38fc3
- Add the changelog fragment for the graph verify-once change
  
  MaxGhenis
  and
  claude
  committed
  8ea4844
Commits on Sep 17, 2026
- Carry a run's verification epoch onto the manifest it returns
  
  MaxGhenis
  and
  claude
  committed
  6206b4a
- Follow a member symlink in the source signature, as the content key does
  
  MaxGhenis
  and
  claude
  committed
  d87196c
- Pack the float stream in native order, as the loop it replaces does
  
  MaxGhenis
  and
  claude
  committed
  284252e
- Say what the stat-preserving rewrite test actually exercises
  
  MaxGhenis
  and
  claude
  committed
  1884d7f
- Test the verification-epoch record this PR adds
  
  MaxGhenis
  and
  claude
  committed
  33f3150
- Compare the serialized manifest between the two cold runs too
  
  MaxGhenis
  and
  claude
  committed
  ec2b7b4
- Say where the five removed fields actually sit, not where they nearly sit
  
  MaxGhenis
  and
  claude
  committed
  522dc44
- Take back what a refused run wrote, and say which check catches what
  
  MaxGhenis
  and
  claude
  committed
  7e01782
- Cast the integer length after the arithmetic, not before it
  
  MaxGhenis
  and
  claude
  committed
  d1f4058
- Hold every caller's epoch record live, not only a dict
  
  MaxGhenis
  and
  claude
  committed
  e0fe5bd
- Name the test that actually profiles the source-key helper
  
  MaxGhenis
  and
  claude
  committed
  46dee2b
- Settle a run that leaves by exception, not only one that reaches run end
  
  MaxGhenis
  and
  claude
  committed
  efe9cb6

Commits

Commits on Sep 16, 2026

Commits on Sep 17, 2026