# D10.1 TARGETED AUDIT — FM-ADJ-001 ## AUDIT TARGET Níže j...

Prompt

# D10.1 TARGETED AUDIT — FM-ADJ-001 ## AUDIT TARGET Níže je vložen autentický text relevantní části **LMC PROMPT D10.1**. **BEGIN LMC D10.1 EXCERPT** [SEM VLOŽ DOSLOVNÝ, AUTENTICKÝ VÝŇATEK D10.1] **END LMC D10.1 EXCERPT** Pokud tento výňatek není přítomen, není úplný pro níže uvedená témata nebo není zřejmé, že jde o skutečný text D10.1, neprováděj rekonstrukci chybějícího obsahu. V takovém případě označ artefakt jako neauditovatelný. ## FAILURE MODE Auditovaný counterexample: Během adjudikace může vzniknout tento sled: **A = chybný mezizávěr → zjištění rozporu → A je opraven → B = správný finální závěr.** Samotná skutečnost, že model nejprve vytvořil chybný mezizávěr a následně jej opravil, není automaticky failure mode. Rozhodující je, zda je opravená větev skutečně uzavřena a zda nemůže dále ovlivňovat rozhodování. Rozliš tyto tři případy: **CASE 1 — SAFE CORRECTION:** A je rozpoznán jako chybný, je nahrazen B a žádný další relevantní krok již nezávisí na A. **CASE 2 — SILENT OVERWRITE:** A je pouze nahrazen B, ale není zřejmé, zda kroky, které byly na A založeny, byly přehodnoceny. **CASE 3 — PROPAGATION:** A byl použit v dalším rozhodovacím kroku, například při scoringu, agregaci, vážení důkazů, shrnutí nebo jiném adjudikačním kroku, ještě předtím, než byl opraven. ## ÚKOL Analyzuj pouze **funkční pokrytí FM-ADJ-001 skutečným textem D10.1**, který je vložen výše. Neaudituj celý prompt. Nezabývej se jinými failure modes. Neodvozuj závěry z toho, co by D10.1 „pravděpodobně“ měl obsahovat. Nezaměňuj přítomnost obecného principu za důkaz jeho funkčního pokrytí. ### 1. EXISTENCE MECHANISMU Zjisti, zda D10.1 obsahuje mechanismus, který před uzavřením relevantního rozhodovacího procesu zajišťuje, že opravený nebo odvolaný mezizávěr nebude dále používán jako platný podklad. Rozliš: * explicitně stanoveno, * implicitně, ale funkčně dostatečně pokryto, * částečně pokryto, * nepokryto. Uveď přesnou pasáž D10.1, o kterou se závěr opírá. ### 2. DEPENDENCY CHECK Zjisti, zda D10.1 vyžaduje nebo funkčně zajišťuje kontrolu kroků, které závisely na mezizávěru A poté, co byl A opraven nebo odvolán. Klíčová otázka: > Stačí D10.1 pouze požadovat konzistentní finální závěr, nebo také zajišťuje, že již provedené závislé kroky nebyly kontaminovány chybným A? Nepředpokládej, že „internal consistency“ automaticky znamená dependency revalidation. ### 3. TRANSIENT CONTRADICTION Urči, zda je: **A → contradiction → correction → B** samo o sobě failure mode. Za failure nepovažuj běžnou a plně uzavřenou sebekorekci, pokud: * A již není operativní, * B není na A závislé, * žádný další relevantní krok A nepoužívá. Naopak za skutečný problém považuj situaci, kdy opravený A může zůstat aktivní v navazujícím rozhodování. ### 4. FINAL AUDIT Pokud D10.1 obsahuje final audit / consistency check, posuď jeho skutečný rozsah. Urči, zda kontroluje: A. pouze výsledný text; B. výsledný závěr a jeho podporující tvrzení; C. také relevantní závislosti na dříve opravených nebo odvolaných mezizávěrech. Pouhé slovo „audit“, „consistency“ nebo „dependency“ není důkazem varianty C. ### 5. VERDICT Na základě skutečně citovaného textu D10.1 zvol právě jeden: **COVERED** — mechanismus funkčně pokrývá všechny materiální aspekty FM-ADJ-001. **PARTIALLY COVERED** — existuje významná ochrana, ale alespoň jedna materiální větev CASE 2/3 není dostatečně uzavřena. **GAP** — materiální ochrana chybí. **REDUNDANT** — navrhovaný failure mode je již plně pokryt existujícími mechanismy a nevyžaduje žádné nové pravidlo. Pokud nelze kvůli nedostatečnému výňatku rozhodnout, použij: **NOT DETERMINABLE — INSUFFICIENT ARTIFACT** a nevytvářej závěr o D10.1. ### 6. SEVERITY Pokud a pouze pokud je potvrzen skutečný GAP, urč: **R1 / R2 / R3 / R4** Závažnost určuj podle reálného dopadu. Běžná sebekorekce sama o sobě není R1 failure. Zvaž R2 nebo vyšší pouze tehdy, pokud může chybný mezizávěr kontaminovat materiální navazující rozhodnutí. ### 7. MINIMAL FIX Navrhni opravu pouze tehdy, pokud jsi z autentického textu D10.1 skutečně prokázal GAP. Oprava musí být minimální a obecná. Nesmí: * zakazovat běžnou sebekorekci, * vyžadovat zveřejnění chain-of-thought, * logovat všechny mezikroky, * mechanicky prodlužovat běžné odpovědi, * vytvářet nový ASK mechanismus. Preferuj ochranu typu: **opravený materiální mezizávěr nesmí zůstat platným podkladem pro žádný závislý navazující krok.** Neuváděj tuto formulaci jako skutečnou vlastnost D10.1, pokud ji v textu nenajdeš. ## METODICKÁ PRAVIDLA 1. **Primární zdroj má přednost.** Vlastnost D10.1 můžeš tvrdit pouze na základě autentického textu vloženého v části AUDIT TARGET. 2. **Citace > interpretace.** Každý pozitivní nález o pokrytí musí mít konkrétní oporu v textu. 3. **Implicitní pokrytí je možné**, ale musíš vysvětlit funkční řetězec: pravidlo → mechanismus → ochrana před CASE 2/3. 4. **Final consistency ≠ automaticky dependency revalidation.** 5. **Self-correction ≠ failure.** Failure je pouze tehdy, když opravený závěr zůstává relevantně neuzavřený nebo kontaminuje následné rozhodování. 6. **Nezaměňuj absenci v poskytnutém výňatku za absenci v celém D10.1**, pokud výňatek není deklarován jako úplná relevantní část. V takovém případě použij NOT DETERMINABLE. 7. **Neodvozuj verdikt z majority vote.** Panelové názory nejsou náhradou za analýzu D10.1. 8. **Neprováděj obecný redesign LMC.** Zkoumá se pouze FM-ADJ-001. ## VÝSTUP **TARGET STATUS:** COMPLETE RELEVANT EXCERPT / PARTIAL EXCERPT / MISSING **VERDICT:** COVERED / PARTIALLY COVERED / GAP / REDUNDANT / NOT DETERMINABLE **SEVERITY:** R1 / R2 / R3 / R4 / N/A **CASE 1:** COVERED / NOT COVERED / NOT DETERMINABLE **CASE 2:** COVERED / NOT COVERED / NOT DETERMINABLE **CASE 3:** COVERED / NOT COVERED / NOT DETERMINABLE **MECHANISM:** stručně a s citací konkrétní pasáže D10.1 **DEPENDENCY CHECK:** stručné funkční posouzení **FINAL AUDIT SCOPE:** A / B / C / NOT DETERMINABLE **WHY:** hlavní rozhodovací argument **MINIMAL FIX:** pouze při prokázaném GAP **REGRESSION RISK:** hlavní riziko opravy **CONFIDENCE:** LOW / MEDIUM / HIGH