{"created_at":"2026-10-03T18:18:14.873180+00:00","customer_work":false,"native_dot_tested":false,"fixture":"Original deliberately flawed TableProof code; not found in a customer repository","policy":"Aware datetime instants; 0<=elapsed_seconds<TTL; future stale; finite numeric nonbooleanTTL0..3153600000; invalid inputs ValueError. No general high-stakes/deployment guarantee.","findings":[{"line":6,"quote":"return age.seconds <= ttl_seconds","issue":"Days omitted and negative timedelta normalized","reproduction":"86,401 seconds old or 86,399 seconds in future with TTL60 returnsTrue","expected":"False under stated elapsed-time/nonfuture policy","fix":"Convert both aware instants to UTC, use total_seconds, require age>=0."},{"line":6,"quote":"return age.seconds <= ttl_seconds","issue":"Exact expiry accepted","reproduction":"age60/TTL60 returnsTrue; zeroTTL/age0 returnsTrue","expected":"False under explicit exclusive expiry policy","fix":"Use age<TTL; this is a requirement choice, not universal expiration semantics."},{"line":5,"quote":"age = now - stored_at","issue":"Same-zone wall subtraction disregards DST fold","reproduction":"NewYork Nov1 2026 01:30fold0 ->01:30fold1 is3600 elapsedseconds but directsubtraction0","expected":"Stale for TTL60 under elapsed-time policy","fix":"Normalize instants to UTC before subtraction."},{"line":4,"quote":"def is_fresh(stored_at, now, ttl_seconds):","issue":"Input policy missing","reproduction":"Naive datetimes accepted; invalid/boolean/nonfiniteTTL lacks deliberatevalidation","expected":"ValueError for nonaware timestamps or invalidTTL in sample policy","fix":"Require aware standard datetimes, numeric nonboolean finite TTL0..3153600000."}],"sources":["https://docs.python.org/3/library/datetime.html#datetime.timedelta.seconds","https://docs.python.org/3/library/datetime.html#datetime.timedelta.total_seconds","https://docs.python.org/3/library/datetime.html#datetime.datetime"],"tests":"Five meaningful unittest methods:10policycases,4original defect reproductions,10invalid inputs,equivalent offsets and DST fold; only own code executed. RequiresPython3.9+ and IANA America/New_York timezone data for DST test."}