Proof
Metering
Samples, GPU-seconds and the billing rule.
- One machine-wide sample per minute → 0…60 samples per machine-hour.
- gpu_seconds ≤ samples × 60 × gpu_count (28,800 for a full 8-GPU hour).
- Zero samples bills zero (collector offline, e.g. maintenance).
- Billed GPU-seconds are capped at gpu_count × 3600 — 28,800 for an 8-GPU sled.
- billed_micro = floor(billed_gpu_seconds × rate_micro_per_gpu_hour ÷ 3600).
Metering does not prove a tenant paid. The ledger reconciles billed rent to collected USDC; one demo sled shows short-payments on purpose.