Fix age invariant: derive age arithmetically + verify final regen

5607db3

Running

verified

frankyy03 commited on Jun 5