Spec
Every claim below points at a line range in a frozen contract. Drift in the source fails the continuous provenance check.
Invariants
The protocol-level guarantees that do not change within the v1.1 window.
Current invariants
Northset v1.1 is objective-task-only, STATS_V1-bound, Arbitrum One plus USDC, operator-assisted, and browser create/select-only.
Source: flagship_product_truth_contract.md, line 12; verified 2026-04-21
Chain and currency
Arbitrum One (chain id 42161); USDC at 6 decimals.
Source: live_fact_sheet.md, lines 8-11; verified 2026-04-21
Proof hierarchy
The proof hierarchy is secure-local-fixture as the default primary path, secure-local-generated as the approved fallback, and arbitrum-one-generated as non-primary pending later written signoff. No predicted or assumed live taskId; no live-mainnet-first mechanics story.
Source: flagship_proof_continuity_contract.md, lines 12-16; verified 2026-04-21
Lane scope
What the lane accepts, what it excludes, and its frozen economics envelope.
Lane boundary
The STATS_V1 cloud-cost lane is bounded to one project or account scope, one UTC day, one batch of integerized cost values, one deterministic STATS_V1 summary with proof-gated settlement, a frozen economics envelope, and one operator-assisted requestor and delegatee path.
Source: claim_scope.md, lines 22-28; verified 2026-04-21
Lane exclusions
Not a generic STATS demo, not full cloud reconciliation, not a self-serve browser settlement console, not a new verifier family, not a live-mainnet self-serve settlement claim, and not a broader delegated-work market claim.
Source: claim_scope.md, lines 30-37; verified 2026-04-21
Economics envelope
Within the STATS_V1 cloud-cost lane, the frozen economics envelope is maxRewardUSDC = 5000000, selected rewardUSDC in 1500000-5000000, and bondUSDC = 10000000 (all in USDC microunits at 6 decimals).
Source: claim_scope.md, line 26; verified 2026-04-21