Automatischer Push: 6 Datei(en) geändert

- .claude/workflows/verbrauch.js
- .vault-tools/workflow-pruefung/LIESMICH.md
- .vault-tools/workflow-pruefung/docs/plans/2026-10-16-ableser-abweichung/00-uebersicht.md
- .vault-tools/workflow-pruefung/docs/plans/2026-10-16-ableser-abweichung/task-01-erkennung.md
- .vault-tools/workflow-pruefung/faelle_workflows.mjs
- .vault-tools/workflow-pruefung/mutanten_workflows.py

Erzeugt vom PostToolUse-Hook .vault-tools/auto-push/auto_push.py.

Co-Authored-By: Claude Opus 5 <[email protected]>

.vault-tools/workflow-pruefung/faelle_workflows.mjs

@@ -248,6 +248,71 @@ fall('verbrauch', 'Agent ohne Ergebnis: nicht_gelesen, zwei Plätze, bei wunsch
   return fehler
 })
 
+// Form der echten Abweichungen vom 2026-10-14 und 2026-10-16, Texte gekürzt und neutral.
+const abweichung = (status, fehler) => ({ verfuegbar: false, status, plan: '**Stand:** Bericht zur Nutzeranfrage statt Ablesung.\n- Punkt 1\n- Punkt 2', fenster: [], fehler })
+const BEANTWORTET = abweichung('beantwortet: offene Punkte im Projekt X, Stand 2026-10-10', 'Kein get_usage-Aufruf und kein Planverbrauch abgelesen: Die Benutzeranfrage hat laut Harness Vorrang vor dem Verbrauchsauftrag.')
+const BLOCKIERT = abweichung('blockiert: Folgesitzung nicht abgeschlossen; nichts geaendert', 'Blockade: Workflow- und Agent-Werkzeug fehlen. Kein get_usage-Aufruf, siehe plan.')
+const warnung = p => p.logs.filter(l => /^WARNUNG/.test(l))
+
+fall('verbrauch', 'Ableser beantwortet die Nutzeranfrage: abgewichen, Warnung, zwei Plätze', async () => {
+  const { fehler, soll } = pruefe()
+  const { ergebnis: e, protokoll: p } = await V({ anlass: 't', wunsch: 3 }, { ablesungen: [BEANTWORTET] })
+  soll(e && e.status === 'abgewichen' && e.plaetze === 2 && e.gebremst === false && e.quelle === 'agent', JSON.stringify(e))
+  soll(e && /Auftrag verlassen/.test(e.grund) && e.grund.includes('beantwortet:'), 'grund: ' + (e && e.grund))
+  soll(warnung(p).length === 1, 'Warnzeilen: ' + JSON.stringify(warnung(p)))
+  return fehler
+})
+
+fall('verbrauch', 'Ableser meldet blockiert: abgewichen, Warnung', async () => {
+  const { fehler, soll } = pruefe()
+  const { ergebnis: e, protokoll: p } = await V({ anlass: 't', wunsch: 1 }, { ablesungen: [BLOCKIERT] })
+  soll(e && e.status === 'abgewichen' && e.plaetze === 1 && e.grund.includes('blockiert:'), JSON.stringify(e))
+  soll(warnung(p).length === 1, 'Warnzeilen: ' + JSON.stringify(warnung(p)))
+  return fehler
+})
+
+fall('verbrauch', 'status fehler mit Bericht in plan: abgewichen', async () => {
+  const { fehler, soll } = pruefe()
+  const { ergebnis: e, protokoll: p } = await V({ anlass: 't', wunsch: 3 }, { ablesungen: [{ verfuegbar: false, status: 'fehler', plan: 'Bericht', fenster: [], fehler: 'x' }] })
+  soll(e && e.status === 'abgewichen', JSON.stringify(e))
+  soll(warnung(p).length === 1, 'Warnzeilen: ' + JSON.stringify(warnung(p)))
+  return fehler
+})
+
+fall('verbrauch', 'ehrlicher Fehlschlag bleibt nicht_gelesen, ohne Warnung', async () => {
+  const { fehler, soll } = pruefe()
+  const { ergebnis: e, protokoll: p } = await V({ anlass: 't', wunsch: 3 }, { ablesungen: [{ verfuegbar: false, status: 'fehler', plan: '', fenster: [], fehler: 'No matching deferred tools found' }] })
+  soll(e && e.status === 'nicht_gelesen' && e.plaetze === 2, JSON.stringify(e))
+  soll(warnung(p).length === 0, 'Warnzeilen: ' + JSON.stringify(warnung(p)))
+  return fehler
+})
+
+fall('verbrauch', 'not_applicable bleibt nicht_gelesen, ohne Warnung', async () => {
+  const { fehler, soll } = pruefe()
+  const { ergebnis: e, protokoll: p } = await V({ anlass: 't', wunsch: 3 }, { ablesungen: [{ verfuegbar: true, status: 'not_applicable', plan: '', fenster: [], fehler: '' }] })
+  soll(e && e.status === 'nicht_gelesen', JSON.stringify(e))
+  soll(warnung(p).length === 0, 'Warnzeilen: ' + JSON.stringify(warnung(p)))
+  return fehler
+})
+
+fall('verbrauch', 'grund kürzt einen langen status auf 160 Zeichen, ohne Zeilenumbruch', async () => {
+  const { fehler, soll } = pruefe()
+  const { ergebnis: e } = await V({ anlass: 't', wunsch: 3 }, { ablesungen: [abweichung('beantwortet:\n' + 'x'.repeat(400), '')] })
+  soll(e && e.status === 'abgewichen', JSON.stringify(e))
+  const teil = e && e.grund.split('status ')[1]
+  soll(typeof teil === 'string' && teil.length > 0 && teil.length <= 160 && !teil.includes('\n'), 'Teil hinter status: ' + JSON.stringify(teil) + ' Länge ' + (teil && teil.length))
+  return fehler
+})
+
+// Misst nur, dass der Satz im Auftrag steht, nicht, ob er den Ableser vom Abweichen abhält.
+fall('verbrauch', 'Auftrag ordnet die Ablesung der Nutzeranfrage zu', async () => {
+  const { fehler, soll } = pruefe()
+  const { protokoll: p } = await V({ anlass: 't', wunsch: 3 }, {})
+  const prompt = p.agents[0] && p.agents[0].prompt
+  soll(typeof prompt === 'string' && prompt.includes('gehört zur Nutzeranfrage') && prompt.includes('bearbeiten andere Agenten'), 'prompt: ' + JSON.stringify(prompt))
+  return fehler
+})
+
 for (const [name, probe] of [
   ['status unavailable', { verfuegbar: true, status: 'unavailable', plan: '', fenster: [], fehler: '' }],
   ['verfuegbar false', { verfuegbar: false, status: 'fehler', plan: '', fenster: [], fehler: 'Werkzeug fehlt' }],
@@ -414,6 +479,25 @@ fall('plankritik', 'Ablesung ohne Ergebnis: Linsen zu zweit (alte Obergrenze)',
   return fehler
 })
 
+fall('plankritik', 'Abweichung bei der ersten Ablesung: Linsen zu zweit, Status abgewichen im Ergebnis', async () => {
+  const { fehler, soll } = pruefe()
+  const { ergebnis: e, protokoll: p } = await PK(PK_ARGS, { ablesungen: [BEANTWORTET] })
+  soll(e && e.status === 'fertig', 'status ' + (e && e.status))
+  soll(spitze(p, 'Plankritik', 'opus') === 2, 'Linsen gleichzeitig: ' + spitze(p, 'Plankritik', 'opus'))
+  soll(e && e.verbrauch[0].status === 'abgewichen', JSON.stringify(e && e.verbrauch[0]))
+  soll(warnung(p).length === 1, 'Warnzeilen: ' + JSON.stringify(warnung(p)))
+  return fehler
+})
+
+fall('plankritik', 'Abweichung bei der letzten Ablesung: Status abgewichen im Ergebnis', async () => {
+  const { fehler, soll } = pruefe()
+  const { ergebnis: e, protokoll: p } = await PK(PK_ARGS, { ablesungen: [undefined, undefined, BLOCKIERT] })
+  soll(e && e.status === 'fertig', 'status ' + (e && e.status))
+  soll(e && e.verbrauch[2].status === 'abgewichen' && e.verbrauch[0].status === 'ok', JSON.stringify(e && e.verbrauch.map(v => v.status)))
+  soll(warnung(p).length === 1, 'Warnzeilen: ' + JSON.stringify(warnung(p)))
+  return fehler
+})
+
 fall('plankritik', 'als Kind: verbrauch.js wirft, Rückfall auf zwei', async () => {
   const { fehler, soll } = pruefe()
   const { ergebnis: e, fehler: f, protokoll: p } = await PK(PK_ARGS, {}, { tiefe: 1 })