PortVerdictInspect live evidence

Behavioral parity, tested—not assumed

A migration can compile—and still break behavior.

PortVerdict forks competing Nemotron migration strategies from one isolated checkpoint, attacks them with executable parity tests, and ships only evidence-backed code.

Inspect recorded live run historical evidence · freshness expired
Open development fixturekept visibly separate from recorded live evidence

Live execution is owner-only. The public application serves immutable, redacted replays and never receives sponsor credentials.

✓ No login◇ Isolated execution design! Can abstain

Current primary: authenticated recorded evidence from Token Factory, one shared Sandbox checkpoint, and Tavily Search + Extract. Exact model: nvidia/nemotron-3-super-120b-a12b. Historical replay: the seven-day freshness window has expired. This is not a claim of current service readiness.

Recorded decision path

One checkpoint. Three trials.

Recorded live
Shared Sandbox checkpointEvery candidate begins from identical statea5f4ee5a-4a9d-43ce-8e89-88eb829da30b
  1. Minimal CompatibilityEligible
    1. Model patch
    2. Sandbox
    3. 10/10 gates
    4. eligible

    10/10 deterministic gates passed · 1638 ms

  2. Prompt Schema AdaptationEligible
    1. Model patch
    2. Sandbox
    3. 10/10 gates
    4. eligible

    10/10 deterministic gates passed · 1636 ms

  3. Resilience Routing AdaptationSelected
    1. Model patch
    2. Sandbox
    3. 10/10 gates
    4. eligible

    10/10 deterministic gates passed · 1535 ms

Authenticated recorded evidence · nvidia/nemotron-3-super-120b-a12b · one measured run, not a statistical claim.

Decision contract

03
Sibling branches
10
Deterministic hard gates
01
Shared checkpoint
0
Unsupported safe-to-ship claims

A controlled migration trial

From repository to verdict without hiding the losing branches.

Models propose. Sandboxes execute. Deterministic gates decide. Every conclusion remains connected to a procedure, artifact, source revision, and hash.

  1. 01

    Resolve the real migration surface

    Inventory provider calls, schemas, streaming paths, tests, and the exact source revision before a model touches code.

  2. 02

    Fork strategies from one checkpoint

    Run competing Nemotron migration plans from identical Nebius Sandbox state so the comparison is controlled.

  3. 03

    Falsify before you select

    Build, replay behavior contracts, attack schema and tool edges, then select only an eligible branch—or abstain.

Safety is a product state

No complete evidence? No winner.

PortVerdict separates behavioral rejection from infrastructure failure. If every branch fails, times out, or loses provenance, it abstains instead of manufacturing confidence.

See the recorded verdict