Verathos v0.1.39 — Hard-Proof Timing Stability

Verathos v0.1.39 improves Gleipnir proof reliability for long generations on the full range of eligible GPU hardware.

What changed

• Made hard-proof deadlines follow an authenticated, epoch-latched network policy, with additional time for longer decode lengths.
• Aligned the validator request, miner replay budget, validator transport and managed HTTPS timeout to the same selected deadline.
• Preserved the previous deadline behavior when the network configuration has not activated the new timing policy.
• Kept ordinary API traffic on Gleipnir light proofs. Invalid organic responses are rejected without creating audit probation; audit penalties remain owned by validator canaries.
• Added explicit release checks for miner, validator and gateway updates from v0.1.38 to v0.1.39.

Compatibility

• Proof relations, proof wire format, signed model artifacts, tolerances, canary selection and scoring are unchanged.
• Miners and validators using the standard auto-updater will adopt v0.1.39 at a safe update boundary. Operators who disabled auto-update must update using the normal public installer or checkout flow.
• The release remains compatible with the preceding network configuration; the wider timing policy activates only through the authenticated subnet configuration.

Verification

• Focused timing and protocol suite: 262/262 passed.
• Broad proof, validator and gateway suite: 2,218 passed, 31 skipped.
• Exact generated-release gate: 310/310 passed.
• Stock A100 hard-proof lifecycle: 26.77 s prove, 8.71 s verify, 9.73 MB wire and 0.62 GiB proof-memory overhead; independent retained verification and 7/7 negative mutations passed.
• Packaging audit: 300/300 Python parses, 12/12 wheel integrity checks and 117/117 protected native dependency checks.