Skip to content

test(rfc64): align live gate timeout window - #2048

Open
branarakic wants to merge 3 commits into
codex/rfc64-m1-public-priorityfrom
codex/rfc64-m1-live-gate-timeout
Open

test(rfc64): align live gate timeout window#2048
branarakic wants to merge 3 commits into
codex/rfc64-m1-public-priorityfrom
codex/rfc64-m1-live-gate-timeout

Conversation

@branarakic

@branarakic branarakic commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

User impact

A valid testnet synchronization that takes longer than two minutes no longer fails the M1 proof harness before the exact VM/SWM observation is returned. The gate remains bounded and fail-closed: the shipped live launcher owns the 25-minute policy, passes it explicitly to the generic process bridge, and still supports an explicit override.

Before

sequenceDiagram
  participant G as M1 gate
  participant A as Testnet adapter
  participant E as Edge node
  G->>A: synchronize-edge
  A->>E: Durable and SWM catch-up
  E-->>A: Catch-up complete
  G--xA: 120-second outer timeout
  A-->>G: Late exact snapshot
  G-->>G: Reject unknown sequence
Loading

After

sequenceDiagram
  participant L as Live launcher
  participant G as Generic process bridge
  participant A as Testnet adapter
  participant E as Edge node
  L->>G: Explicit 25-minute live bound
  G->>A: synchronize-edge
  A->>E: Durable and SWM catch-up
  E-->>A: Catch-up complete
  A->>E: Read exact VM and SWM state
  E-->>A: Exact snapshot
  A-->>G: Sequence-bound result within live bound
  G-->>L: Continue live-cold-restart proof
Loading

Validation

  • pnpm test:m1:rfc64-selective-coverage:unit
  • node --experimental-strip-types --test devnet/rfc64-m1-selective-coverage/live-launcher-config.test.ts
  • pnpm typecheck:m1:rfc64-selective-coverage
  • git diff --check

Stack

Base: #2047 (codex/rfc64-m1-public-priority)

Comment thread devnet/rfc64-m1-selective-coverage/process-runtime.test.ts Outdated
Comment thread devnet/rfc64-m1-selective-coverage/process-runtime.ts Outdated

@otReviewAgent otReviewAgent left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review Agent completed this review and found no issues.

@otReviewAgent otReviewAgent left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review Agent completed this review and found no issues.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants