Repository navigation

Compare replayed populations by content seal instead of by retained object - #950

Closed

MaxGhenis wants to merge 76 commits into

native-scale-transportfrom

native-retention-seal

Commits on Sep 17, 2026
- Open the lane journal with what has been read and the first finding
  
  MaxGhenis
  and
  claude
  committed
  d8a6fc3
- Prove neither existing seal is the seal, with the scripts that show it
  
  MaxGhenis
  and
  claude
  committed
  64b6533
- Write the design note: the four answers, and why neither existing seal is it
  
  MaxGhenis
  and
  claude
  committed
  fa2137f
- Add the replay content seal beside the comparison it replaces
  
  MaxGhenis
  and
  claude
  committed
  5cf620e
- Drive every mutation in the replay battery through both comparison paths
  
  MaxGhenis
  and
  claude
  committed
  1b0b915
- Let a seal-only observer skip the executor's pickle detachment
  
  MaxGhenis
  and
  claude
  committed
  9bef866
- Repair a stale implementation contract this branch inherited, and guard it
  
  MaxGhenis
  and
  claude
  committed
  43fb392
- Seal each observation on arrival and retain only the declared consumers
  
  MaxGhenis
  and
  claude
  committed
  bb50765
- Battery: the refusals where both operands are equal
  
  MaxGhenis
  and
  claude
  committed
  7a4d74b
- Arm both runs: the 1/1000 after-run and the 1/15, with their gates
  
  MaxGhenis
  and
  claude
  committed
  1e16d6b
- Close five divergences an adversarial pass found in the seal
  
  MaxGhenis
  and
  claude
  committed
  9a2e602
- Retain every node population when the completion host will consume them
  
  MaxGhenis
  and
  claude
  committed
  c308fc7
- Seal exactly the object the run keeps, once per node
  
  MaxGhenis
  and
  claude
  committed
  7069f8f
- Bring the lane journal up to the implementation
  
  MaxGhenis
  and
  claude
  committed
  ad77fe3
- Record the 1/1000 after-run as launched
  
  MaxGhenis
  and
  claude
  committed
  244b7bc
- State in the design note what the adversarial pass established
  
  MaxGhenis
  and
  claude
  committed
  0bc1600
Commits on Sep 18, 2026
- Arm and record the 1/15 run behind the 1/1000
  
  MaxGhenis
  and
  claude
  committed
  0d1145c
- Add the base run's retention assertion and record the 1/10 refusal diagnostic
  
  MaxGhenis
  and
  claude
  committed
  219a09e
- Restore the prior lanes' PROGRESS.md history this lane had overwritten
  
  MaxGhenis
  and
  claude
  committed
  51ddd6a
- Cover every reachable refusal code, and emit the battery's own receipt
  
  MaxGhenis
  and
  claude
  committed
  398541b
- Make ruff check . pass on the lane's own scripts
  
  MaxGhenis
  and
  claude
  committed
  5a6a2d0
- Correct the refusal-code count: twenty-two, not eleven
  
  MaxGhenis
  and
  claude
  committed
  b5b4f04
- Add the per-file dependent-test battery, run the way CI runs the groups
  
  MaxGhenis
  and
  claude
  committed
  599acf2
- Record what the 1/10 refusal diagnostic found, and what refused the diagnostic
  
  MaxGhenis
  and
  claude
  committed
  70865a8
- Start the lane report with the sections the measurements do not gate
  
  MaxGhenis
  and
  claude
  committed
  2a6bd78
- Record the draft PR and what is still in flight
  
  MaxGhenis
  and
  claude
  committed
  e9c6fea
- Pin masked, string and datetime axes, acceptance halves included
  
  MaxGhenis
  and
  claude
  committed
  7980fbf
- Report the battery's before half, measured against branch-point sources
  
  MaxGhenis
  and
  claude
  committed
  7e78989
- Re-point the two line citations this lane's own change moved
  
  MaxGhenis
  and
  claude
  committed
  05c5429
- Tidy the rewrap and mark the three base-line citations as such
  
  MaxGhenis
  and
  claude
  committed
  bc92839
- Extend the identity receipt to the transport after-run's own head
  
  MaxGhenis
  and
  claude
  committed
  82f0b8f
- List the six codes this change adds, rather than saying none
  
  MaxGhenis
  and
  claude
  committed
  dc31dd1
- Name the ceiling that actually binds the native path, and where it sits
  
  MaxGhenis
  and
  claude
  committed
  ffa2981
- Report the ceiling that stops the 1/15 run, and how its cause was recovered
  
  MaxGhenis
  and
  claude
  committed
  954034c
- Refresh the battery section's tally from the committed receipt
  
  MaxGhenis
  and
  claude
  committed
  0c6873c
- Put the ACS ceiling to Max as a question with options
  
  MaxGhenis
  and
  claude
  committed
  d325659
- Tidy the report's opening
  
  MaxGhenis
  and
  claude
  committed
  a417b63
- Rewrap one line
  
  MaxGhenis
  and
  claude
  committed
  74c3f75
- Report the 1/1000 run: the replay is a complete pass, and peak RSS went up
  
  MaxGhenis
  and
  claude
  committed
  383065b
- Record the 1/15 start and its prediction, and ask about the RSS
  
  MaxGhenis
  and
  claude
  committed
  357560a
- Record the 1/15 refusal, and arm the diagnostic that names its cause
  
  MaxGhenis
  and
  claude
  committed
  21fb095
- Bring the lane journal up to both runs' outcomes
  
  MaxGhenis
  and
  claude
  committed
  322f2ba
- Renumber the report's last three sections, and repoint four references
  
  MaxGhenis
  and
  claude
  committed
  4879fd5
- Read this lane's measurement from the committed copy, not the throwaway tree
  
  MaxGhenis
  and
  claude
  committed
  da303cd
- Name the 1/15 refusal from the run's own raises, and correct the guard's line
  
  MaxGhenis
  and
  claude
  committed
  e3304f1
- Pin five of the six refusal codes this change adds, and make the receipt derivable
  
  MaxGhenis
  and
  claude
  committed
  a51c0b2
- Give the report the PR section the brief asks for, and its own section 2c
  
  MaxGhenis
  and
  claude
  committed
  0ae4973
- Make the identity receipt state the claim the report quotes it for
  
  MaxGhenis
  and
  claude
  committed
  6be655c
- Journal this session's findings and what remains
  
  MaxGhenis
  and
  claude
  committed
  b13ba1c
- Requote the static gates from this head's own runs
  
  MaxGhenis
  and
  claude
  committed
  3a5b76d
- Re-derive seven line citations at this head
  
  MaxGhenis
  and
  claude
  committed
  83f6e8f
- Give the brief its RSS slope, and report that it points against the change
  
  MaxGhenis
  and
  claude
  committed
  589ba83
- Cite both halves of the detachment, not one
  
  MaxGhenis
  and
  claude
  committed
  a49e3ef
- Re-derive the identity check's line, which had stayed at the base's
  
  MaxGhenis
  and
  claude
  committed
  d4b0c91
- Answer the brief's stop-condition, and repoint item 4's question
  
  MaxGhenis
  and
  claude
  committed
  167f15e
- Re-reproduce the inherited refusal at the branch point, module path proved
  
  MaxGhenis
  and
  claude
  committed
  ab5dbe3
- Record what this session re-derived, and which citations were wrong
  
  MaxGhenis
  and
  claude
  committed
  b31218d
- Correct which half of this change moves a key
  
  MaxGhenis
  and
  claude
  committed
  fe5a087
- Close three seal divergences an adversarial pass found, and the gate it broke
  
  MaxGhenis
  and
  claude
  committed
  f4b4db9
- Record the quiet-machine re-run of the 1/1000 after-run
  
  MaxGhenis
  and
  claude
  committed
  8e68f5a
- Answer four more findings: two vacuous tests, one under-stated withdrawal, two gaps
  
  MaxGhenis
  and
  claude
  committed
  6e3b309
- Restart the quiet re-run at the head that actually ships
  
  MaxGhenis
  and
  claude
  committed
  4fada58
- Record the adversarial pass, its findings and every disposition
  
  MaxGhenis
  and
  claude
  committed
  41553f4
- Journal the adversarial pass and what it changed
  
  MaxGhenis
  and
  claude
  committed
  8fb004f
- Sweep 3,852 pairs for a surviving disagreement, and rewrite answer (4)
  
  MaxGhenis
  and
  claude
  committed
  7a5c454
- Withdraw question 3, and put the process question in its place
  
  MaxGhenis
  and
  claude
  committed
  42b8c31
- Say in the caveats what this report has been wrong about
  
  MaxGhenis
  and
  claude
  committed
  3dd8eb3
- Regenerate the identity receipt at the finished head
  
  MaxGhenis
  and
  claude
  committed
  7241676
- Requote the battery from the receipt at the finished head
  
  MaxGhenis
  and
  claude
  committed
  0bad474
- Requote the graph suite and the note's battery census at this head
  
  MaxGhenis
  and
  claude
  committed
  02c8f2b
- Say that the main-only change is two commits, and what the docstring under-stated
  
  MaxGhenis
  and
  claude
  committed
  e4ac6fd
- Requote section 9's battery line and add the agreement sweep to it
  
  MaxGhenis
  and
  claude
  committed
  d180ec8
- Withdraw the design note's fourth item in place, and say it was false
  
  MaxGhenis
  and
  claude
  committed
  bc0d8fa
- Make the seeded sweep part of the proof obligation, not an afterthought
  
  MaxGhenis
  and
  claude
  committed
  db7c938
- Merge native-scale-transport (ae3955cd9) into native-retention-seal (db7c93871)
  
  MaxGhenis
  and
  claude
  committed
  68ced40
- Thread the observer detachment flag through the split executor
  
  MaxGhenis
  and
  claude
  committed
  98b6985

Commits

Commits on Sep 17, 2026

Commits on Sep 18, 2026