TARGETED REGRESSION TEST — VARIANT B / FM-ADJ-001a ROLE Js...
Prompt
TARGETED REGRESSION TEST — VARIANT B / FM-ADJ-001a ROLE Jsi nezávislý rigorózní auditor. Posuzuj pouze LMC rule uvedené v tomto zadání a testovací případy níže. Nepoužívej žádné předchozí odpovědi jiných modelů, neodhaduj jejich verdikty a neodkazuj na většinový názor. CÍL Ověř, zda následující minimální oprava skutečně uzavírá failure mode FM-ADJ-001a bez nepřiměřeného over-invalidation nebo jiného nového materiálního problému. NEPROVÁDĚJ audit jiných částí LMC. Neprováděj redesign. Neřeš provenance/dependency ledger jako samostatný failure mode; pouze uveď, pokud jeho absence představuje praktickou omezení aplikovatelnosti pravidla. CURRENT REPAIR Nahradíme původní formulaci: "every downstream step or artifact that consumed that conclusion becomes STALE" touto formulací: "every downstream step or artifact that directly or transitively depends on that conclusion becomes STALE." Celé opravené pravidlo zní: "If an accepted finding invalidates an intermediate conclusion already used by any performed step relevant to the decision, every downstream step or artifact that directly or transitively depends on 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." INTERPRETATION CONSTRAINT Pro účely tohoto testu: • "directly or transitively depends" znamená dependency/dataflow přes již provedené kroky a jejich výstupy. • Historická spotřeba starého výstupu je relevantní; pozdější oprava upstream kroku nevymaže skutečnost, že downstream artefakt byl vytvořen na starém vstupu. • Neodvozuj další pravidla pouze z účelu systému. Text má přednost. • Nevyžaduj explicitní provenance ledger, pokud jej text pravidla neobsahuje. • Distinguish carefully between SAFETY and EFFICIENCY. Zbytečná re-evaluace není sama o sobě safety failure. • "NOT DETERMINABLE" používej tehdy, když text skutečně nedovoluje rozhodnout; nepoužívej jej místo analýzy. • Test může být INVALID, pokud je vnitřně nekonzistentní. REFERENCE GRAPH A → D1 → D2 → D3 → FINAL A je intermediate conclusion. D1 přímo využil A. D2 využil pouze výstup D1. D3 využil pouze výstup D2. Všechny kroky jsou material a decision-relevant. A je následně accepted findingem invalidováno a opraveno na B. TEST 1 — ORIGINAL COUNTEREXAMPLE Po A→B: D1 = STALE D1 je re-evaluován z B D2 = starý výstup založený na D1_old D3 = starý výstup založený na D2_old následuje FINAL STOP Musí být FINAL STOP zablokován? TEST 2 — MULTI-HOP GENERALIZATION Použij: A → D1 → D2 → D3 → D4 → D5 → FINAL Musí invalidace A označit jako STALE celý relevantní downstream closure až po D5? Uveď, zda závěr závisí pouze na grafu, nebo zda text potřebuje ještě jiný normativní mechanismus. TEST 3 — SAFE NON-DEPENDENCY Použij tento konzistentní graf: A → D1 → D2 → FINAL X → FINAL X je zcela nezávislé na A, D1 i D2 a nepoužívá žádný jejich výstup. Po invalidaci A: • D1 musí být STALE. • D2 musí být STALE. • X NESMÍ být STALE. Ověř přesně všechny tři podmínky. TEST 4 — NO-CHANGE / OVER-INVALIDATION Použij: A → D1 → D2 → FINAL A je invalidováno na B. D1 se stane STALE a je re-evaluováno z B. Re-evaluace prokáže, že D1_new = D1_old a že na výstupu D1 nevznikla žádná materiální změna. Musí D2 přesto zůstat STALE a být znovu re-evaluováno? Pokud ano: • je to pouze efficiency cost, • nebo skutečný epistemický/safety problém? Pokud ne: • kde přesně text opravě umožňuje downstream pruning? TEST 5 — LIMITATION / TERMINATION Použij: A → D1 → D2 → D3 → FINAL A je invalidováno. D1, D2 a D3 jsou STALE. D2 nelze plně re-evaluovat. Posuď dvě varianty: A) orchestrator explicitně uvede residual effect D2 v final limitation, ale D3 zůstane bez samostatné re-evaluace a bez výslovného uvedení v limitation; B) final limitation výslovně pokryje residual effect D2 i D3. Rozhodni: • zda A umožňuje FINAL STOP; • zda B umožňuje FINAL STOP; • co přesně musí limitation pokrýt; • zda existuje nějaký tichý downstream escape. MANDATORY FINAL ADJUDICATION Vyhodnoť pouze tuto opravu a těchto 5 testů. VARIANT B VERDICT: PASS / PASS WITH RESIDUAL RISK / FAIL / TEST INVALID TEST 1: BLOCKED / STILL POSSIBLE / NOT DETERMINABLE TEST 2: COVERED / PARTIALLY COVERED / GAP / NOT DETERMINABLE TEST 3: PASS / FAIL / TEST INVALID TEST 4: SAFE / EFFICIENCY COST / OVER-INVALIDATION RISK / UNSAFE / NOT DETERMINABLE TEST 5: COVERED / PARTIALLY COVERED / GAP / NOT DETERMINABLE FM-ADJ-001a: CLOSED / PARTIALLY CLOSED / OPEN / NOT DETERMINABLE NEW MATERIAL FAILURE MODE: YES / NO / NOT DETERMINABLE RESIDUAL GAP: Popiš pouze skutečný residual problém, pokud existuje. CRITICAL TEXT: Uveď maximálně 3 nejdůležitější části pravidla. TRACE: Ukaž stav A, D1, D2 a D3 po: 1. initial execution, 2. accepted finding A→B, 3. D1 re-evaluation, 4. D2/D3 review or limitation, 5. FINAL STOP test. CAUSAL ASSESSMENT: Je zjištěný výsledek způsoben přímo formulací opravy, nebo jiným aspektem testu? GENERALIZATION: Je oprava podle důkazů pouze CASE-VALIDATED, nebo STRUCTURALLY GENERALIZED? MINIMALITY: Je tato oprava stále minimální změnou nutnou k uzavření FM-ADJ-001a? RECOMMENDATION: KEEP B / MODIFY B / REJECT B MINIMAL NEXT CHANGE: Pokud doporučuješ MODIFY B, navrhni nejmenší možnou změnu v maximálně 2 větách. Pokud není změna nutná, napiš NONE. CONFIDENCE: LOW / MEDIUM / HIGH IMPORTANT 1. Neoznačuj za regresi pouhou dodatečnou práci, pokud nevede k unsafe nebo epistemically invalid final result. 2. Neoznačuj za PASS mechanismus, který funguje pouze díky nevyřčenému pravidlu. 3. Pokud B řeší celý původní FM-ADJ-001a, nepřidávej C jen proto, že obsahuje více explicitních slov. 4. Pokud najdeš nový problém, nejprve rozhodni, zda jde o: a) genuine new failure mode, b) residual ambiguity, c) efficiency cost, d) test/design defect. 5. Testovací zadání je nyní záměrně opraveno tak, aby X nemělo žádnou vazbu na A. Nezpochybňuj tuto podmínku. 6. Nepoužívej předchozí panelové výsledky jako argument. Důkaz musí vycházet z textu a aktuálních testů.
