fullseye

insertion_failure_validate — DRIVE pegfail op

使い方

表を検証する(fail-closed): 欄の語彙・クラス名・回復名の綴り、全ペアの排他(2 行が同じ署名に当たり得ないか = 全欄で 許す集合が交わる行の組が無い)、到達性(unknown 以外の全クラスに ≥ 1 行)。

返り: n_rows、classes_covered、classes_missing、n_signatures(語彙の直積の大きさ)、n_covered(どれかの行に 当たる署名の数)、coverage、overlaps(交わる行の組 —— 空でなければ下の ValueError)。 Raises ValueError: 綴り違い・交わる行・届かないクラス。

参考(サンプルデータ・文献)

実行できる例(この op を実際に呼ぶ検証済みサンプル)

型が繋がる次の op(table を入力に取れる)

course_layout · course_occupancy · course_contains · world_build · world_camera · world_move · lidar_scan · rss_longitudinal_same

同カテゴリ(pegfail)

insertion_failure_table · insertion_signature · insertion_failure_classify · insertion_recovery_primitive · jamming_parallelogram_planar · jamming_force_check · wedging_risk · insertion_stall_detect


Provenance: pegfail.py — DRIVE operator registry. この per-op ノートは tools/opdocs.py md が自動生成(手編集しない)。

© 2026 Kazufumi Furuse — Fullseye operator documentation. Licensed under Apache-2.0.