forms: form-125
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-125 | Numbered theorem whose body is the claim | MISSING | IRREDUCIBLE | MOVE | ③ utterance | migrated_unreviewed | Loxyn SAS, Lyon | August 2026 — observation campaign (Korela For Science) | 0 | no | construction, curated, closed_world | 1 | Théorème numéroté dont le corps est l'affirmation | 125 | 1 | {"id": "form-125", "version": 1, "legacy_line": 125, "name": "Numbered theorem whose body is the claim", "name_fr": "Théorème numéroté dont le corps est l'affirmation", "origin": {"organisation": "Loxyn SAS, Lyon", "campaign": "August 2026 — observation campaign (Korela For Science)", "contact": "contact@loxyn.ai"}, "damage": "MISSING", "class": "IRREDUCIBLE", "layer": "③ utterance", "injection": "MOVE", "legacy_severity": "G3", "legacy_mechanism": "M8", "status": "migrated_unreviewed", "seen": [{"corpus": "observation 2026-08 (272 Europe PMC JATS articles)", "date": "2026-08-08", "observer": "house observer (LLM agent), see report", "excerpt": "MESURÉ le 08/08/2026 sur les 272 articles de (internal corpus of 272 JATS articles) : 2/272 en tout, et les DEUX dans la strate physique (2/34, soit 6 %) — phys-PMC13099575 (« Theorem 1. For a SINDy-class model with a library of functions… », puis Theorem 2) et phys-PMC13113438 (Theorem 1 à 3). ZÉRO dans les six strates biomédicales du corpus. Le comptage confirme l'annexe : la ligne est hors-biomédicale, elle n'aurait jamais été vue sans changer de discipline.", "lang": "fr", "excerpt_en": "MEASURED on 2026-08-08 on the 272 articles of the internal corpus: 2/272 in all, and BOTH in the physics stratum (2/34, i.e. 6 %) — phys-PMC13099575 (\"Theorem 1. For a SINDy-class model with a library of functions…\", then Theorem 2) and phys-PMC13113438 (Theorems 1 to 3). ZERO in the six biomedical strata of the corpus. The count confirms the annex: the line is non-biomedical, it would never have been seen without changing discipline.", "organisation": "Loxyn SAS, Lyon", "corpus_id": "corpus-europe-pmc-jats-2023-2026"}], "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", "curated", "closed_world"], "history": [{"date": "2026-08-09", "event": "catalogue line 125 — GOLDEN (kept for the benchmark): irreducible or silent false", "by": "Korela For Science"}, {"date": "2026-09-09", "event": "migrated; classified damage=MISSING injection=MOVE (judgment, unreviewed by a second reader)", "by": "Fault Atlas migration"}, {"date": "2026-09-09", "event": "internal tool paths removed from observation notes before publication; wording otherwise unchanged", "by": "Fault Atlas"}]} |