VianoBugAnalysis/docs/joint-case-planning-v2.md

# Gemeinsame Planung v2: Quellen, Teilkorrekturen und Abhängigkeiten

Neue Revisionen mit `trial run --planning-mode joint` verwenden `case_plan_v2`.
Der Kontext speichert `joint_generation.version=2`. Bereits eingefrorene v1-Kontexte
und Requests bleiben unverändert und über den bisherigen Pfad wiederaufnehmbar.
Der getrennte Modus, Investigation-Loop, Tools, Budgets und Diagnose bleiben unverändert.
`docs/architecture.md` wurde nicht geändert. Syntaxreparaturen sind ein separater Ausbau.

## Quellenklassen und ausdrückliche Testerannahmen

Die dynamischen Interpretationsverträge beschränken source_ids je Aussagekategorie
auf tatsächlich vorhandene IDs der zulässigen Quellentypen. Dies gilt im Prompt und
in der fachlichen Annahme, nicht nur im Transport. Leere Quellmengen erlauben nur
leere entsprechende Aussagearrays. Testerannahmen sind in v2 ausschließlich aus
explizit typisierten tester_assumption-Quellen zugelassen. Kommentare/Beobachtungen
werden nicht allein durch ihre Verfügbarkeit zu Annahmen. Ohne solche Quellen bleibt
tester_assumptions leer. Die LLM darf eigene Schlussfolgerungen nicht dem Tester zuschreiben.

## Explizite Voraussetzungen

Jeder v2-Wire-Vorschlag enthält premises mit kind=grounded oder unverified, knappem
Text, source_ids und interpretation_paths. Grounded benötigt mindestens einen
Verweis und darf keine ungelesenen Referenzen als gelesenen Beleg ausgeben. Referenzen
müssen im Kontext und in den eigenen deklarierten Vorschlagsreferenzen existieren.
Hypothesen bleiben spekulativ; eine Voraussetzung ist keine Bestätigung des Mechanismus.
Die vollständigen Voraussetzungen und Reviews bleiben im unveränderlichen Originalcall.
Die kanonischen Vorschläge behalten den bisherigen Vertrag und erhalten nach Prüfung
nur deterministisch aufgelöste I-IDs. Übernahme/Replays prüfen den Original-Wire-Vertrag erneut.

## Lokale Beanstandungen und begrenzte Patches

Ablehnungen speichern validation_issues mit Aussage-/Feldpfad, Fehlerkategorien und
Quell-/Schemahinweisen. Korrigierbare Stellen werden aus der tatsächlichen Antwort
ermittelt: Quellenklassen, unbekannte Quellen, Schemafehler, Entity-Provenienz,
fehlende Erwartungs-Vollständigkeit und Lookup-Ungewissheit. Unbekannte/globale
Fehler und zu viele Stellen erhalten keinen frei geratenen Patchbereich.

case_plan_statement_repair_v2 verlangt nur Patches für genau die beanstandeten Stellen.
Ein Patch ersetzt eine ganze Aussage bzw. ein nötiges oberes Feld. Null darf eine
beanstandete Arrayaussage entfernen; Löschungen werden absteigend angewandt, damit
sich Indizes nicht während der Zusammensetzung verschieben. Andere Stellen können
nicht überschrieben werden. Ein fehlender oder zusätzlicher Pfad wird abgelehnt.
Es gibt keine stille Entfernung unzulässiger Quellen oder Testerbehauptungen.

Der Request enthält beanstandete Aussagen, nötige verfügbare Quellen, die vorhandenen
Hypothesen samt Voraussetzungen und deren deklarierten Interpretationsaussagen.
Er enthält keinen weiteren vollständigen Case. Kontextkomprimierung/Konsolidierung
bleiben aktiv. Source-Call und Hash binden die unveränderte Ausgangsantwort außerhalb
der Komprimierung. Danach wird die vollständig zusammengesetzte Interpretation geprüft.
Ist keine sichere Lokalisierung möglich, bleibt der bisherige begrenzte Ersatzpfad verfügbar.

## Individuelle Hypothesenprüfung

Der Korrekturaufruf muss jede Hypothese auf direkte UND implizite Abhängigkeit von
korrigierten Aussagen prüfen, auch ohne direkten Verweis auf diese Stellen. Er meldet:

- retain: begründet unabhängig, keine neue Vorschlagsfassung.
- replace: gezielt ein Ersatzvorschlag im vollständigen v2-Vertrag.
- uncertain: keine ungeprüfte Übernahme.

Der Controller lässt retain nur zu, wenn zusätzlich ALLE deklarierten Inputs exakt
unverändert sind. Bei Löschungen wird der Inhalt am Pointer verglichen, nicht nur
dessen Fortbestehen. Geänderte direkte Grundlagen erfordern Ersatz oder weitere Prüfung.
Der Controller kann versteckte Bedeutungsabhängigkeiten nicht beweisen; die semantische
Review bleibt eine fehlbare LLM-Bewertung. Fehlende Referenzen allein gelten niemals
als Nachweis von Unabhängigkeit. Alle zusammengesetzten Vorschläge durchlaufen erneut
Quellen-, Fokus-, Diversitäts-, Count- und Registry-Prüfungen.

Auch ein fehlender oder falsch geformter Review-Block verwirft einen gültigen Interpretationspatch nicht. Seine Hypothesen werden dann nicht ungeprüft übernommen.

Ist die Interpretation gültig, aber ein Kandidat noch unklar, bleibt die Interpretation
angenommen. Explizit geprüfte unabhängige Vorschläge werden in joint_retained des
kanonischen Hypothesenkontexts festgehalten. Folgeaufrufe dürfen nur die anderen Positionen
neu bearbeiten. Position/Anzahl und erhaltene Objekte sind durch Schema-const/prefixItems
UND phasenseitige Gleichheitsprüfung gesperrt. Die volle Registry wird erst nach gültigem
Gesamtergebnis veröffentlicht. Fehlt eine auswertbare Review, wird keine Unabhängigkeit
unterstellt; dann bleibt der konservative Ersatzpfad nötig.

## Persistenz und Grenzen

Original, Patch und Reviews bleiben getrennte echte Calls mit echten Usage-Werten.
Es gibt keine künstlichen LLM-Runden oder doppelte Kostenbuchung. Die Interpretation
wird deterministisch aus Original und zulässigen Patches rekonstruiert. Beim Wiederlesen
werden Quellenhash, Requesthash, Identität, Phase, Konfiguration, erlaubte Pfade und
Zusammensetzung geprüft. Die Kette ist begrenzt; direkte Selbstreferenzen und zu tiefe
Ketten werden abgelehnt. Gespeicherte Reparaturcalls werden nach einem Abbruch wiederbenutzt.

Der bestehende Korrekturversuchszähler begrenzt weiterhin Modellversuche. Transport-Retries
bleiben getrennt. Ein formaler Validierungserfolg beweist weiterhin nicht die Wahrheit
jedes Freitextsatzes. Die Begrenzung dieser Unsicherheit ist ausdrücklich Teil der Policy.

## Offline-Prüfung

Die Tests decken Quellen-Enums, fehlende Annahmenquellen, Voraussetzungscitations,
gezielte Patches, direkte Abhängigkeiten, explizite Ersatzvorschläge, unklare Reviews,
Sperren erhaltener Vorschläge, falsch geformte Modellfelder, Abbruch/Wiederaufnahme und
Import in einen neuen Workspace ab. Ein Fall des unveränderten kuratierten Fehlerkorpus
prüft die Lokalisierung der tatsächlich beobachteten Fehler. Kein bezahlter API-Test
wurde ausgeführt; Kosten und semantische Qualität sind im nächsten Realtest zu messen.


## Dependency recovery revision 1

New joint contexts freeze `joint_generation.recovery_version = 1`. Contexts without
this marker retain the earlier projection and request behavior for replay.
Valid explicit premise references are unioned into their proposal dependency lists
on a copied projection, never by editing the saved LLM answer. Only existing readable
source IDs and exact existing interpretation statement pointers are eligible. Unknown
references and grounded unread references still fail validation. No premise is promoted
from unverified to grounded, and no claim is deleted or rewritten.

Each candidate is checked independently before freezing `joint_retained` in the
hypothesis context. Initial candidates based on an already accepted interpretation
can be retained directly; after interpretation repair, explicit dependency review is
still required. Invalid candidates remain unlocked. Duplicate candidates are not locked
against a necessary diversity correction. A followup corrects only unlocked positions;
locked proposals are enforced with schema constants and local equality checks. Final
publication still validates the full set for count, grounding, primary focus and diversity.

The joint prompt repeats the required `described_behavior.verification` value. Missing
verification is not silently filled: the scoped statement correction must provide it.
The original 2026-10-20 replies and a bounded validation context are preserved in the
curated rejection corpus. Offline regression checks hashes, reference union, sibling
preservation and rejection of invented references. No paid API request was needed.


## Structural recovery revision 2

New contexts freeze `recovery_version = 2`; revision 1 and unmarked historical
contexts keep their original request/projection behavior. This revision includes
revision 1 dependency completion and sibling preservation.

One exact misplaced wrapper is recoverable: a sole top-level `hypotheses` object
containing exactly an `interpretation` object and a `hypotheses` array. These are
copied to the two intended blocks, without changing or dropping any content.
Competing top-level interpretations (even null), extra sibling keys and malformed
wrappers are never guessed away. Both recovered blocks still undergo all existing
schema, source, dependency and semantic contract checks. The original call stays
unchanged and remains the usage/provenance source during replay and import.

During a scoped entity correction, existing eligible identity/mention citations
are restored only when BOTH entity_id and reason are unchanged. Eligible references
come from the original statement and the frozen entity's matching capture/mention
provenance. New evidence is never invented. Changed claims receive no restoration;
unknown replacement sources remain present and invalid. Requests explicitly explain
which existing citations to preserve. When no reusable hypotheses exist, the request
explicitly requires an empty reviews array instead of asking to reconstruct them.

The curated `joint-nested-envelope` corpus preserves the actual rejected replies,
their hashes and bounded context. Offline tests confirm that the initial reply passes
full interpretation and hypothesis validation after lossless wrapper recovery and
existing dependency normalization. A separate regression confirms the later scoped
patch passes interpretation validation after preserving unchanged identity evidence.
No paid API request was executed to establish these results.