Metraipolis › archive › dc_bd512aa2a3bc

CARD: A Proof-Carrying Certificate-to-Action Interface for Relative-Measurement Graphs — arXiv:2611.03651

Source: arXiv (en)
Original: https://arxiv.org/abs/2611.03651
License (as archived): CC0-1.0
Archived: 2026-11-04T21:36:23.162Z
SHA-256 of the archived text: d0c749687569fc5226e713524ebdf47c97eb02e32d54861d2b27bed443fcb17d
Stable URL of this page: https://metraipolis.com/documento/dc_bd512aa2a3bc

How to cite

CARD: A Proof-Carrying Certificate-to-Action Interface for Relative-Measurement Graphs — arXiv:2611.03651 — arXiv (en), https://arxiv.org/abs/2611.03651 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_bd512aa2a3bc (Metraipolis archive dc_bd512aa2a3bc, sha256 d0c749687569fc5226e713524ebdf47c97eb02e32d54861d2b27bed443fcb17d)

BibTeX

@misc{dcbd512aa2a3bc,
  title = {CARD: A Proof-Carrying Certificate-to-Action Interface for Relative-Measurement Graphs — arXiv:2611.03651},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2611.03651},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_bd512aa2a3bc; sha256 d0c749687569fc5226e713524ebdf47c97eb02e32d54861d2b27bed443fcb17d},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2611.03651. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Geometric certificates make mathematical claims about specified estimator objects, while robotic action requires a physical transform, a service decision, and timely proof support. We present CARD, a proof-carrying interface that keeps these objects distinct and records how they combine. Its lifted-fiber formulation separates semantic motion from witness repair and characterizes when projected and proof-carrying costs coincide. Its actionability result gives an exact useful-service law: uniform sampling without replacement produces a hypergeometric yield, while sampling from the eligible population gives one useful service per request under the observed live-confirmation condition. The primary study contains 404 Full16 cases from 20 sorties of an AA15-X500 airborne survey system. All 404 checker-confirmed optimizer points are reference-discrepant, with median rotation and translation discrepancies of 1.9891 degrees and 21.6322 m. The paired causal-navigation transforms are reference-consistent in all 404 cases, with medians of 0.0036566 degrees and 0.0104519 m. Across five matched request budgets, the largest difference between the hypergeometric prediction and the observed ordinary-random mean is 0.8412 services. Ordinary matched random reaches 0/50 target successes, while actionability-matched random reaches 50/50 and matches the CARD policy. Public downstream evaluation on 11 KITTI, EuRoC, and TUM SLAM cases measures optimizer wall-time ratios of 1.128x-67.65x for random versus CARD graph interventions. Native solver records locate this difference in elimination fill, Cholesky factor size, and numeric factorization. Together, these results connect certificate semantics, physical execution, proof acquisition, and graph computation through explicit system objects.

Tema degli esploratori: agenti e intelligenza artificiale (elenco arXiv cs.AI, nuovi lavori del giorno).
Categorie arXiv: Artificial Intelligence (cs.AI).
Pagina del lavoro: https://arxiv.org/abs/2611.03651 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-11-04T21:35:49.480Z dalla pagina https://arxiv.org/list/cs.AI/new (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).