[ PROOF SURFACE / ENCODING ]
ZPE-Robotics Orbit Surface
The orbit composition is a review reference. Production claims are constrained to the robotics dossier anchors.
imported augmented route
ZPE-Robotics imported proof console
visual panel
zpe-robotics-lab-interface-radical
interactive module
Orbit Packet Inspector
Command, motion, package, and blocker surfaces stay separated while the visual orbit is scrubbed.
- mode
- pose
- frame
- F05
- weight
- 046
related surfaces
Dossier, Source, License, Portfolio
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
- lane.what_we_prove
- lane.verification
- lane.proof_anchors
dossier proof files
Authority Files
- proofs/ENGINEERING_BLOCKERS.md :: VERIFIED
- proofs/narrow_claim/NARROW_CLAIM_GATE.json :: VERIFIED
- proofs/enterprise_benchmark/GATE_VERDICTS.json :: VERIFIED
- proofs/red_team/red_team_report.json :: VERIFIED
- proofs/release_candidate/clean_clone_result.json :: VERIFIED
- 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