openjdk version "21.0.11" 2026-04-21 LTS
OpenJDK Runtime Environment Corretto-21.0.11.10.1 (build 21.0.11+10-LTS)
OpenJDK 64-Bit Server VM Corretto-21.0.11.10.1 (build 21.0.11+10-LTS, mixed mode, sharing)
javac 21.0.11
PASS v1 migration preserves baseline and creates empty overlay
PASS extension overlap refused
PASS failed extension keeps old commitment and contract intact
PASS failed change replay retained
PASS extension adjacent to next rental accepted
PASS extension retains original quote
PASS new two-hour revision quoted
PASS successful change replay skips new clock and writes
PASS old to new identity trace
PASS old commitment released only on successful replacement
PASS same operation changed payload rejected
PASS occupied substitute refused
PASS failed swap preserves original equipment
PASS fresh overlay with released substitute accepts swap
PASS new contract names substitute
PASS old contract still names original equipment
PASS retroactive price stored as delta
PASS price adjustment does not overwrite v1 records
PASS effective total includes adjustment
PASS price replay appends no duplicate
PASS second adjustment measured from effective total
PASS signed adjustments retain prior records
PASS cross currency reprice rejected
PASS replacement after reprice explicit policy gap
PASS old core reads baseline but cannot retain overlay semantics
PASS trusted v2 snapshot preserves adjustment history on restore
PASS restored overlay still recognizes original correction replay
COST version=2 rewritten-v1-facts=0 new-change-receipts=2 adjustment-rows=2 original-total=Money[amount=12.50, currency=CNY] effective-total=Money[amount=10.00, currency=CNY]
RESULT chapter39 checks=27
