[ PROOF SURFACE / ENCODING ]

ZPE-Robotics Orbit Surface

The orbit composition is a review reference. Production claims are constrained to the robotics dossier anchors.

visual panel

zpe-robotics-lab-interface-radical

Transparent industrial robot arm locked inside a black lab-interface cabinet.
Radical robotics lab-interface fixture generated for product dossier pages. ZPE-Robotics

interactive module

Orbit Packet Inspector

Command, motion, package, and blocker surfaces stay separated while the visual orbit is scrubbed.

command 46 receipt
mode
pose
frame
F05
weight
046

source metadata

Branch And Path

branch
origin/codex/kv-3d-local-refine-handoff
ref
origin/codex/kv-3d-local-refine-handoff
path
/work/robotics-orbit?asset=r1-22-robotics
authority
proofs/ENGINEERING_BLOCKERS.md
commit
c7ded78e9aea
route
/proof/zpe-robotics-orbit/

what it shows

Captures the robotics orbit review composition as a visual reference.

  • Spectral wire transport with directional reasoning layer for robot action sequences
  • Search operates on decoded motion streams via PrimitiveIndex
  • Red-team resilience: 4 attacks withstand, 1 fails, 1 partially withstands, 1 remains open
  • VLA tokenization aligns with vision-language-action model input formats

what it does not claim

The orbit composition is a review reference. Production claims are constrained to the robotics dossier anchors.

  • Full release readiness
  • Bit-exact .zpbot round-trip replay
  • B3 benchmark gate pass
  • Red-team attack 3 lossless qualification

proof anchors

Surface Anchors

  1. lane.what_we_prove
  2. lane.verification
  3. lane.proof_anchors

dossier proof files

Authority Files

  1. proofs/ENGINEERING_BLOCKERS.md :: VERIFIED
  2. proofs/narrow_claim/NARROW_CLAIM_GATE.json :: VERIFIED
  3. proofs/enterprise_benchmark/GATE_VERDICTS.json :: VERIFIED
  4. proofs/red_team/red_team_report.json :: VERIFIED
  5. proofs/release_candidate/clean_clone_result.json :: VERIFIED
  6. proofs/release_candidate/it04_parity_matrix_result.json :: VERIFIED

dossier metrics

Declared Values

COMPRESSION
187.13׆
LeRobot real-data benchmark; full baselines in Competitive Benchmarks section
ENCODE_P50
0.11 ms
per 1 000 frames, gate B4 PASS
DECODE_P50
0.089 ms
per 1 000 frames, gate B5 PASS
BENCHMARK_GATES
4/5
3 datasets, 3 families; B3 (bit-exact) fails