TRANSITIVE DEPENDENCY ADJUDICATION TEST — FM-ADJ-001a ÚKOL ...
Prompt
TRANSITIVE DEPENDENCY ADJUDICATION TEST — FM-ADJ-001a ÚKOL Rozhodni pouze jednu otázku: Znamená následující pravidlo D10.1, že při invalidaci A se STALE propaguje pouze na přímé konzumenty A, nebo na celý downstream dependency closure včetně nepřímých konzumentů? TESTOVANÉ PRAVIDLO: „If an accepted finding invalidates an intermediate conclusion already used by any performed step relevant to the decision, every downstream step or artifact that consumed that conclusion becomes STALE. A STALE downstream step must be re-evaluated from the corrected conclusion, or its residual effect must be included in an explicit final limitation. Changing CURRENT CANDIDATE alone does not revalidate STALE downstream steps. FINAL STOP is inadmissible while any material STALE downstream step remains unreviewed.“ NEHODNOŤ JINÉ ČÁSTI D10.1. --- ## DEPENDENCY GRAPH A → D1 → D2 → D3 → FINAL CANDIDATE A je chybný mezizávěr. D1 přímo spotřeboval A. D2 spotřeboval pouze výstup D1. D3 spotřeboval pouze výstup D2. D1, D2 i D3 jsou decision-relevant. META-JUDGE přijme finding, který invaliduje A a stanoví B jako opravený závěr. Předpokládej: * D1 byl proveden před opravou A. * D2 byl proveden před opravou A. * D3 byl proveden před opravou A. * žádný z D2/D3 A přímo nečetl ani nepoužil jako explicitní vstup; * D2 a D3 však byly kauzálně závislé na hodnotách vzniklých z A. --- ## TŘI INTERPRETACE INTERPRETACE 1 — DIRECT CONSUMPTION „consumed that conclusion“ znamená pouze přímého konzumenta. Pak: A → D1 = STALE D2 = není automaticky STALE D3 = není automaticky STALE INTERPRETACE 2 — TRANSITIVE DEPENDENCY „downstream step or artifact that consumed that conclusion“ zahrnuje i nepřímé konzumenty v dependency graphu. Pak: A → D1 = STALE A → D2 = STALE A → D3 = STALE INTERPRETACE 3 — ITERATIVE INVALIDATION První aplikace označí D1 STALE. Po jeho re-evaluaci může nový výsledek D1 představovat opravený nebo nahrazený intermediate conclusion. Jeho konzumenti D2/D3 se následně označí STALE při další aplikaci stejného pravidla. --- ## HLAVNÍ OTÁZKY 1. Která z INTERPRETACÍ 1/2/3 je přímo vynucena textem? 2. Je text dostatečně jednoznačný k tomu, aby orchestrator musel vždy dosáhnout: A→B → D1 STALE → D1 review → D2 STALE → D2 review → D3 STALE → D3 review? 3. Je možné podle nejpřirozenějšího doslovného výkladu dojít k: A→B → D1 STALE → D1 review → FINAL STOP, zatímco D2 nebo D3 zůstaly odvozené ze starého D1? 4. Pokud existují dvě legitimní interpretace s různými výsledky, klasifikuj to jako interpretační GAP / NOT DETERMINABLE, nikoli automaticky jako COVERED. 5. Rozhodni, zda je: * FM-ADJ-001a skutečný samostatný failure mode, * nebo pouze nejednoznačnost stávajícího pravidla FM-ADJ-001. 6. NEVYŽADUJ explicitní provenance/dependency ledger. To je samostatná otázka a v tomto testu ji pouze zaznamenej jako potenciální omezení, pokud je relevantní. --- ## METODOLOGICKÁ PRAVIDLA 1. Text je primární zdroj. 2. „downstream“ nelze automaticky považovat za synonymum „transitive“. 3. „consumed that conclusion“ nelze automaticky považovat za synonymum „depends transitively on that conclusion“. 4. Naopak nesmíš ignorovat význam slova „downstream“, pokud může funkčně rozšiřovat scope. 5. Rozlišuj: * přímou spotřebu A, * nepřímou dependency na A, * re-evaluaci již STALE kroku, * nový accepted finding, * explicit final limitation. 6. Neodvozuj transitive closure pouze z toho, že je to podle tebe rozumný design. 7. Neodvozuj direct-only scope pouze z absence slova „transitive“. 8. Pokud je význam textu skutečně nejednoznačný, označ přesně tuto nejednoznačnost. 9. Neprováděj redesign promptu. 10. Argument quality > vote count. --- ## POVINNÝ VÝSTUP TRANSITIVITY VERDICT: DIRECT ONLY / TRANSITIVE / ITERATIVE / AMBIGUOUS TEST 2 STATUS: COVERED / PARTIALLY COVERED / GAP / NOT DETERMINABLE ORIGINAL FM-ADJ-001: FIXED / PARTIALLY FIXED / NOT DETERMINABLE FM-ADJ-001a: CONFIRMED / NOT CONFIRMED / INTERPRETIVE AMBIGUITY COUNTEREXAMPLE: BLOCKED / STILL POSSIBLE / NOT DETERMINABLE CRITICAL TEXT: Uveď nejvýše 3 konkrétní části pravidla, které rozhodují. TRACE: Ukaž přesně stav A, D1, D2, D3 po jednotlivých krocích. WHY: Stručný argument pro zvolenou interpretaci. STRONGEST OPPOSING INTERPRETATION: Uveď nejsilnější argument pro opačný výklad a vysvětli, zda jej text skutečně poráží. NEEDED CHANGE: NONE / CLARIFICATION / HARD RULE CONFIDENCE: LOW / MEDIUM / HIGH
