Skip to main content

Buildability / Receipt

Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU

This public receipt window renders only fields present in the canonical receipt object, deterministic fixture receipt, or canonical evidence receipt. Missing compute, demo, hash, signature, approval, telemetry, and adoption fields stay explicit.

Public buildability page receipt window

Ready for execution: Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU

/buildability/safe-large-scale-robust-nonlinear-mpc-in-milliseconds-via-reachability-constrained-system-level-synthesis-on-the-gpu

Build Nowready

Subject: Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU

Verdict

Build Now

Verdict is Build Now because viability and implementation proof cleared the Wave 1 scaffold thresholds.

Time to first demo

Insufficient data

No first-demo timestamp, owner estimate, or elapsed demo receipt is attached to this surface.

Compute envelope

Structured compute envelope

Insufficient data

No data, compute, hardware, memory, latency, dependency, or serving requirement receipt is attached.

Evidence ids

Receipt path

/buildability/safe-large-scale-robust-nonlinear-mpc-in-milliseconds-via-reachability-constrained-system-level-synthesis-on-the-gpu

Paper ref

safe-large-scale-robust-nonlinear-mpc-in-milliseconds-via-reachability-constrained-system-level-synthesis-on-the-gpu

arXiv id

2604.07644

Freshness

Generated at

2026-04-10T20:18:32.242Z

Evidence freshness

stale

Last verification

2026-04-10T20:18:32.242Z

Sources

4

References

0

Coverage

83%

Hash state

Lineage hash

3cef2b5c351cde43d18b3f667bbc9e4ff4509b6caff4542425098ec6a49859ae

Canonical opportunity-kernel lineage hash.

Signature state

External signature

unsigned_external

No founder, registry, pilot, or production-adoption signature is attached to this receipt.

Verification

not_verified

Verification is blocked until an external signature is provided.

Blockers

  • Missing: references

Some score or evidence fields are outside the preferred freshness window.

references

Missing proof, requirement, signature, approval, adoption, or telemetry fields are blockers and must not be inferred.

Truth Boundary

External gate remains unresolved for live deployment claims.

Buildability surfaces only report computed viability and proof receipts. They do not claim live production usage, pilot outcomes, founder sign-off, or external adoption unless explicitly sourced.