forms: form-124

One row per observed fault form. `damage` is what it does to the graph; `class` says whether code can cancel it; `record` is the full JSON file.

This data as json

id name damage class injection layer status organisation campaign cancellable_by_code reachable_by_deletion judgeable_by observations observed_absent_in name_fr legacy_line version record
form-124 Quantifier in a column right of the equation WRONG_VALUE IRREDUCIBLE FORMAT ⑦ schema migrated_unreviewed Loxyn SAS, Lyon August 2026 — observation campaign (Korela For Science) 0 no construction, registry, dated_future, closed_world 0   Quantificateur en colonne à droite de l'équation 124 1 {"id": "form-124", "version": 1, "legacy_line": 124, "name": "Quantifier in a column right of the equation", "name_fr": "Quantificateur en colonne à droite de l'équation", "origin": {"organisation": "Loxyn SAS, Lyon", "campaign": "August 2026 — observation campaign (Korela For Science)", "contact": "contact@loxyn.ai"}, "damage": "WRONG_VALUE", "class": "IRREDUCIBLE", "layer": "⑦ schema", "injection": "FORMAT", "legacy_severity": "G2", "legacy_mechanism": "M12", "status": "migrated_unreviewed", "seen": [], "specimens": {"cases": [], "counter_examples": []}, "prevention": {"cancellable_by_code": false}, "repair": {"reachable_by_deletion": "no", "note": "deletion cannot restore this; classified by judgment on 2026-09-09, not measured — the EUR-Lex loop will measure it"}, "judgeable_by": ["construction", "registry", "dated_future", "closed_world"], "history": [{"date": "2026-08-09", "event": "catalogue line 124 — GOLDEN (kept for the benchmark): irreducible or silent false", "by": "Korela For Science"}, {"date": "2026-09-09", "event": "migrated; classified damage=WRONG_VALUE injection=FORMAT (judgment, unreviewed by a second reader)", "by": "Fault Atlas migration"}]}

Links from other tables