Deterministic IANA timezone-to-UTC interval arithmetic (24h <= t_arrival_UTC - t_vet_UTC <= 120h) + strict chronological DAG validation (Chip <= Rabies +21d/+90d) engine (.ics, .pdf, .json) built for IATA LAR, DEFRA UK, EU Pet Passport, USDA APHIS — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…