insertion_failure_validate — DRIVE pegfail op

• Data kinds: table → table

• Call: import fullseye as fs; fs.ledger.insertion_failure_validate(table=None) -> 'dict' (to call the implementation directly, import pegfail; pegfail.insertion_failure_validate(table=None) -> 'dict'; from the registry, opsdrive.get("insertion_failure_validate"))

Usage

> This operator's description has not been translated yet. The original text follows as it is.

表を検証する(fail-closed): 欄の語彙・クラス名・回復名の綴り、全ペアの排他(2 行が同じ署名に当たり得ないか = 全欄で

許す集合が交わる行の組が無い)、到達性(unknown 以外の全クラスに ≥ 1 行)。

返り: `n_rows、classes_covered、classes_missing、n_signatures(語彙の直積の大きさ)、n_covered`(どれかの行に

当たる署名の数)、`coverage、overlaps`(交わる行の組 —— 空でなければ下の ValueError)。

Raises `ValueError`: 綴り違い・交わる行・届かないクラス。

References (sample data, literature)

• Sample-data catalog (download URLs / licences) — 2-D uses skimage.data (BSD/public domain) plus synthetic images; 3-D lists download URLs for real data sources (Stanford, PDS, …).

• Operator provenance and references — the sources of the research/methods this op family came from.

• The canonical algorithm (author, year) and its uses are named in the family usage guide above.

Runnable examples (verified samples that actually call this op)

• poc_peg_failure_recovery — py -3.11 examples/poc_peg_failure_recovery.py

Ops the type connects to (they accept table as input)

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

Same category (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. This per-op note is generated by tools/opdocs.py md (do not hand-edit).*

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