insertion_failure_validate — DRIVE `pegfail` op

• Datenarten: table → table

• Aufruf: import fullseye as fs; fs.ledger.insertion_failure_validate(table=None) -> 'dict' (die Implementierung direkt: import pegfail; pegfail.insertion_failure_validate(table=None) -> 'dict'; aus dem Register: opsdrive.get("insertion_failure_validate"))

Verwendung

> Für diesen Operator gibt es noch keine Übersetzung. Es folgt der Originaltext unverändert.

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

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

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

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

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

Referenzen (Beispieldaten, Literatur)

• Katalog der Beispieldaten (Download-URLs / Lizenzen) — 2-D nutzt skimage.data (BSD/Public Domain) plus synthetische Bilder, 3-D nennt Download-URLs echter Datenquellen (Stanford, PDS, …).

• Herkunft und Literatur der Operatoren — die Quellen der Forschung/Verfahren, auf denen diese Operatorfamilie beruht.

• Der kanonische Algorithmus (Autor, Jahr) und seine Anwendungen stehen im Familienleitfaden oben.

Ausführbare Beispiele (verifizierte Samples, die diesen Operator wirklich aufrufen)

• poc_peg_failure_recovery — py -3.11 examples/poc_peg_failure_recovery.py

Typkompatible Folge-Operatoren (nehmen `table` als Eingabe)

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

Gleiche Kategorie (`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. Diese Notiz wird von tools/opdocs.py md erzeugt (nicht von Hand bearbeiten).*

insertion_failure_validate — DRIVE pegfail op