Origin Labs · the platform, beyond agents

One evidence spine. Many domain verifiers.

The agent reference check is the product. Labs is the proof the same evidence contract, proposal → environment → policy → verifier → decision → trace → attestation, generalizes to other autonomous actors. In each case the actor and the domain verifier change; the evidence contract, the deterministic-oracle discipline, and the offline-verifiable attestation do not. These are research demonstrations, not production products.

Physical actor · mixed robot fleet

Robot proving ground

Paint your own floor (walls, hazards, human-only zones) and deploy a mixed fleet (humanoid, AMR, quadruped, arm, drone). Watch it in 2D + 3D; the oracle scores one episode per robot type and the fleet earns a Verified Readiness Level, sealed as a signed credential.

Domain verifier: the deterministic drawn-floor oracle (finish / escalate / refuse; catastrophic hard-caps the level).

Software actor · credential broker

Agent credential broker

An agent asks for access it does not hold. A named human approves one scoped grant, the broker mints an opaque lease handle, never a secret, and the value is resolved only at the tool-call boundary, then discarded. Revoke mid-flight and the next call fails closed.

Domain verifier: the grant ledger (approve / lease / revoke; every use recorded). Runs against a mock vault, no real credential is brokered here.

Physical actor · robot plan

Verified warehouse

Multi-robot fleet follows the oracle’s BFS-verified plan, avoids a moving human + exclusion zones, and emits a signed attestation. Rendered in 2D and 3D.

Domain verifier: a deterministic grid/collision oracle (finish / escalate / refuse).

Perception · floor plans

Origin Foundry

Upload a floor plan and watch a vision model propose an occupancy grid, then watch a deterministic gate VOID the proposal when it cannot be supported, rather than repairing it into something plausible. Published benchmarks accompany it.

Domain verifier: a deterministic parse gate + BFS oracle over the proposed grid.

Physical actor · fleet operations

Verified operations SLA

Run a multi-wave shift; track utilization, peak-simultaneous, and zero-collision throughput. The fleet earns a signed operations attestation only if it clears deterministic targets.

Domain verifier: a deterministic operations-SLA oracle over the verified run.

Perception actor · spatial model

Spatial reconstruction verifier Research

A photo/video→floor-plan model proposes geometry; a deterministic verifier separates observed from inferred, voids hallucinated geometry + unbacked metric claims, and escalates under-observed scans.

Domain verifier: a deterministic geometry + provenance oracle. (Private research; not yet a product surface.)

The point of Labs: capability is not permission, for any autonomous actor. An agent action, a robot plan, and a spatial model all earn the same signed, offline-verifiable attestation from the same evidence contract. Demonstrations use synthetic, seeded, replayable data and are labeled as such: reproducible under this verifier, never “safe.”

Illustration
Illustration. Generated footage, not a recording of the product. The over-grant metrics themselves are measured on a synthetic corpus and published under /trust.