PIER: An Evidence-Gated Execution Interface for Robotic Manipulation

Abstract:Generating a plausible robot action does not establish that current observations justify its execution. Motivated by exploratory observations of high-confidence visual outputs under severe occlusion, we present PIER, an execution-authorization interface that separates evidence checks, decision provenance, and stage-scoped re-observation from hardware control. The deterministic gate evaluates declared visual and tactile inputs, while its caller maintains a budget of at most one re-observation per stage. We evaluate the implementation using 1,600 threshold-grid cases and 1,200 paired synthetic traces spanning score noise, missing tactile inputs, stale observations, and falsely reassuring scores. The finite grid yields zero declared invariant violations, and a matched Boolean baseline reproduces all non-recovery decisions. Under synthetic score noise, re-observation reduces valid-state denials from 57/120 to 18/120 while increasing invalid-state proceeds from 5/120 to 7/120. Stale and falsely reassuring inputs expose limitations that threshold checks alone cannot resolve. Exploratory visual, tactile, and robot setup records provide context but do not establish physical task performance. These results characterize an inspectable authorization interface and its input-contract limitations, without claiming superiority over equivalent rule logic, calibrated tactile accuracy, or certified physical safety.

8 pages, 4 figures. Ancillary files include reproducibility code and retained experimental records

Robotics (cs.RO)

arXiv:2610.12123 [cs.RO]

(or arXiv:2610.12123v1 [cs.RO] for this version)

https://doi.org/10.48550/arXiv.2610.12123 Focus to learn more arXiv-issued DOI via DataCite (pending registration)

EVIDENCE_LEDGER.md

contract_validation/contracts/v0.1/examples/dataset_manifest.json

contract_validation/contracts/v0.1/examples/episode_001/calibration.json

contract_validation/contracts/v0.1/examples/episode_001/capture_profile.json

contract_validation/contracts/v0.1/examples/episode_001/capture_receipt.json

contract_validation/contracts/v0.1/examples/episode_001/episode_record.json

contract_validation/contracts/v0.1/examples/episode_001/evaluation.json

contract_validation/contracts/v0.1/examples/episode_001/events.jsonl

contract_validation/contracts/v0.1/examples/episode_001/route_graph.json

contract_validation/contracts/v0.1/examples/episode_001/tracks.csv

contract_validation/contracts/v0.1/schemas/calibration.schema.json

contract_validation/contracts/v0.1/schemas/capture-profile.schema.json

contract_validation/contracts/v0.1/schemas/capture-receipt.schema.json

contract_validation/contracts/v0.1/schemas/dataset-manifest.schema.json

contract_validation/contracts/v0.1/schemas/episode-record.schema.json

contract_validation/contracts/v0.1/schemas/evaluation.schema.json

contract_validation/contracts/v0.1/schemas/event.schema.json

contract_validation/contracts/v0.1/schemas/route-graph.schema.json

contract_validation/contracts/v0.1/schemas/track-record.schema.json

contract_validation/pier_contracts/__init__.py

contract_validation/pier_contracts/cli.py

contract_validation/pier_contracts/schema_check.py

contract_validation/pier_contracts/validator.py

contract_validation/references/public_datasets.json

contract_validation/test_results.json

contract_validation/test_results.txt

contract_validation/tests/test_contract.py

evidence/demo_trace_rerun.jsonl

evidence/descriptive_statistics.json

evidence/fault_campaign_rerun.json

evidence/remote/experiments/public_datasets/adapter_audit.json

evidence/remote/experiments/public_datasets/distantsky_tsfile_audit.json

evidence/remote/pier_execution/__init__.py

evidence/remote/pier_execution/demo_trace.py

evidence/remote/pier_execution/gate.py

evidence/remote/pier_execution/models.py

evidence/remote/pier_execution/simulation.py

evidence/remote/pier_execution/trace.py

evidence/remote/pier_execution/verification.py

evidence/stress_runs/stress_dnry6hfs/cases.jsonl

evidence/stress_runs/stress_dnry6hfs/summary.json

evidence/verification_rerun.json

reproduce_software.py

stress_authorization.py

(41 additional files not shown) You must enabled JavaScript to view entire file list.

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.