Repository navigation

Verify native sources once per run, not once per access and per node - #935

Closed

MaxGhenis wants to merge 46 commits into

microcosm-us-launch-integration-20260909from

native-verify-once

Closed

Verify native sources once per run, not once per access and per node#935
MaxGhenis wants to merge 46 commits into
microcosm-us-launch-integration-20260909from
native-verify-once

Commits on Sep 16, 2026
- Open the verify-once lane journal
  
  MaxGhenis
  and
  claude
  committed
  e06b0c9
- Build each column's context-digest stream with numpy, byte for byte
  
  MaxGhenis
  and
  claude
  committed
  687dae4
- Record the verify-once design before changing any capsule
  
  MaxGhenis
  and
  claude
  committed
  a65421b
- Fence ACS records with the C scanners instead of a byte loop
  
  MaxGhenis
  and
  claude
  committed
  f8b4f47
- Derive each source content key once per run, and prove them at run end
  
  MaxGhenis
  and
  claude
  committed
  124f158
- Add verification epochs to the two native capsules
  
  MaxGhenis
  and
  claude
  committed
  96423cb
- Open a verification epoch around each atomic native run
  
  MaxGhenis
  and
  claude
  committed
  3bff62f
- Start the lane report with the proofs that are already in hand
  
  MaxGhenis
  and
  claude
  committed
  7e2f1fb
- Keep the witness helper private, and re-pin its module contract
  
  MaxGhenis
  and
  claude
  committed
  d9a12e4
- Record that this stacked PR's base does not reach CI
  
  MaxGhenis
  and
  claude
  committed
  647063b
- Record the lane's second-session state before the measurement runs
  
  MaxGhenis
  and
  claude
  committed
  bf8712d
- Commit the before/after probe so the measurement can be re-run
  
  MaxGhenis
  and
  claude
  committed
  e32bb46
- Complete the lane report: measurement, proofs, pins, tests, open questions
  
  MaxGhenis
  and
  claude
  committed
  41703d5
- Reach the memo-miss refusal in a mutation test for both memoised capsules
  
  MaxGhenis
  and
  claude
  committed
  cba9d6c
- Let a memo miss raise today's refusal code, and pin that it does
  
  MaxGhenis
  and
  claude
  committed
  e36f975
- Record each run's verification epoch on the manifest both runners return
  
  MaxGhenis
  and
  claude
  committed
  d03c275
- Follow a member symlink in the source signature, as the content key does
  
  MaxGhenis
  and
  claude
  committed
  0b11356
- Pack the float stream in native order, as the loop it replaces does
  
  MaxGhenis
  and
  claude
  committed
  dd3d759
- Describe the code the way it behaves, and chain the nested refusal
  
  MaxGhenis
  and
  claude
  committed
  3451870
- Delete the dead stat helper, and state why its four twins stay
  
  MaxGhenis
  and
  claude
  committed
  2197948
- Name the test that carries mechanism 5's mutation guard, and what it misses
  
  MaxGhenis
  and
  claude
  committed
  cecf0f8
- Historicize the lane's own summary lines and open question 4
  
  MaxGhenis
  and
  claude
  committed
  4d4427c
Commits on Sep 17, 2026
- Say in the report what the code now does, and re-derive its diff stat
  
  MaxGhenis
  and
  claude
  committed
  b6cc8ee
- Re-run every group the findings touched, and paste what it printed
  
  MaxGhenis
  and
  claude
  committed
  baec266
- Give the diff stat as parts that stand still
  
  MaxGhenis
  and
  claude
  committed
  d113b0e
- Read the epoch record off the other runner too, in a test and in the probe
  
  MaxGhenis
  and
  claude
  committed
  18d64c6
- Restate #938 at the head it has now, with the mirror recorded as landed
  
  MaxGhenis
  and
  claude
  committed
  db7a3a0
- Re-derive the branch diff stat at the head the fix pass produced
  
  MaxGhenis
  and
  claude
  committed
  7046d2c
- Refuse what moves while an epoch close is validating, not after it
  
  MaxGhenis
  and
  claude
  committed
  3b052b0
- Test the epoch record in the shard that owns it, and two branches nothing reached
  
  MaxGhenis
  and
  claude
  committed
  de17ed2
- Say what the cheap tier does now, everywhere that still described the old one
  
  MaxGhenis
  and
  claude
  committed
  3b63b85
- Re-derive the branch diff stat at the head the third fix pass pushed
  
  MaxGhenis
  and
  claude
  committed
  5a2a46b
- Refuse at the outermost close what no later borrow can refuse
  
  MaxGhenis
  and
  claude
  committed
  c990689
- Say what the cheap tier does in the last place that still described the old one
  
  MaxGhenis
  and
  claude
  committed
  e8432ac
- Compare the serialized manifest between the two cold runs too
  
  MaxGhenis
  and
  claude
  committed
  d1d2923
- Say where the five removed fields actually sit, not where they nearly sit
  
  MaxGhenis
  and
  claude
  committed
  7b5c839
- Write down the window the outermost close closes, in both places that describe it
  
  MaxGhenis
  and
  claude
  committed
  69e7a87
- Say what the two-run test pins, now that it pins the document too
  
  MaxGhenis
  and
  claude
  committed
  a75d567
- List the two new close-window tests where the report lists the others
  
  MaxGhenis
  and
  claude
  committed
  5ff8898
- Take back what a refused run wrote, and say which check catches what
  
  MaxGhenis
  and
  claude
  committed
  c645b05
- Cast the integer length after the arithmetic, not before it
  
  MaxGhenis
  and
  claude
  committed
  69fe333
- Hold every caller's epoch record live, not only a dict
  
  MaxGhenis
  and
  claude
  committed
  2a5f60f
- Name the test that actually profiles the source-key helper
  
  MaxGhenis
  and
  claude
  committed
  8c58397
- Point the source-key note at the build tests that are on this branch
  
  MaxGhenis
  and
  claude
  committed
  29c8ea8
- Settle a run that leaves by exception, not only one that reaches run end
  
  MaxGhenis
  and
  claude
  committed
  0d04abf
Commits on Sep 18, 2026
- Merge the reconciled US launch integration branch (a402dfcc9) into native-verify-once (0d04abfcf)
  
  MaxGhenis
  and
  claude
  committed
  c6e38d6

Commits

Commits on Sep 16, 2026

Commits on Sep 17, 2026

Commits on Sep 18, 2026