Skip to content

Verathos v0.1.38 — Runtime and Proof Stability

Choose a tag to compare

View all tags
@Keplerteron Keplerteron released this 14 Aug 11:00
v0.1.38
a2059f9

This release improves deterministic serving on A100-class GPUs and strengthens
Gleipnir v3 verification for hybrid AWQ models.

What changed

  • Made stochastic CUDA sampling independent of batch ordering when greedy and
    sampled requests share a batch.
  • Preserved maximum-width hard-replay capture capacity after mixed-batch
    execution.
  • Added an exact authenticated fused-SwiGLU relation for nonce-selected MLP
    cells, closing a low-rate quantization ambiguity without widening proof
    tolerances.
  • Made FP16/BF16 fused-activation verification handle finite values around
    signed zero and numeric rails canonically.
  • Added full gate, up and down mutation coverage plus retained regression
    coverage for the previously failing hybrid-model layer.
  • Reduced routine canary prompt load through signed lower-heavy context
    sampling while retaining unpredictable exact maximum-context checks.
  • Added running miner and specification versions to the health response for
    straightforward update-adoption diagnostics.
  • Prevented overlapping capacity-audit selections while an earlier payload
    window is still active.
  • Aligned canary and reverse-proxy timing envelopes and added actionable miner
    diagnostics for proof, transport, timeout and receipt-delivery failures.
  • Made validator and gateway auto-updates recover when code was pulled but the
    package installation did not complete.
  • Kept previously signed Gleipnir v3 profiles verification-compatible; newly
    signed profiles select the stronger exact relation explicitly.

Compatibility and updates

  • Miner version: 0.1.38
  • Validator version: 0.1.38
  • Specification version: 0.1.38

Miners and validators running the standard auto-updater will adopt the release
at an idle update boundary. Operators who disabled auto-update should update
manually with the official installer or a clean fast-forward checkout.

No breaking inference API change is required. Existing authenticated artifacts remain
accepted; replacement model artifacts activate only after their separately
authenticated release index is published.

Verification

The release candidate passed the affected proof and version suites, real
27B A100 hard-proof generation and independent verification, retained mutation
rejections, the complete 576-case model corpus and retained replay inventory,
and the generated-public packaging and update gates.

Assets 2
Loading