Záměr přežije relace a providery, kteří ho realizují, a uzavřená práce nepřebíjí důkazy

Zdůvodnění

Záměr říká, co se musí stát pravdou, a plán říká, které úkoly jej realizují, ale samotná práce se odehrává v epizodách: okno Claude Code zahájí úlohu, předá ji a okno Codexu ji dokončí. Kdyby odpověď na „co tato relace realizuje“ žila v relaci, skončila by s relací; kdyby žila v poli, které vyplňuje agent, byla by tak dobrá jako paměť agenta. A kdyby „práce je uzavřena“ směla stát za „záměr je pravdivý“, regrese po uzavření by nebyla nikdy vidět.

Každý fakt, který původ potřebuje, už zaznamenává něco, co nezávisí na tom, že si ho worker pamatuje: ledger označí každou úlohu, předávku a přechod plánu její epizodou, úvodní řádek epizody jmenuje jejího poskytovatele, uzavřený záznam relace uvádí úkoly, které pohnul, a nárok peera jmenuje jeho rozsah. Spojení nad nimi je původ a je poctivé jen tehdy, když odkaz uhodnutý z překrývajících se cest není nikdy ukázán jako odkaz, který člověk deklaroval.

Požadované chování

• intent_realization.work (majordomus intent realization, GET /api/v1/intents/realization, majordomus_intent_realization) spojuje každou úlohu ledgeru, uzavřený záznam relace a claim peera se záměry, které realizují, přes úkol a milník, a nic nezapisuje.
• Každý odkaz nese via a provenance: declared, když práce cituje úkol, observed, když jej přesunula její epizoda, derived, když jej pojmenovává její větev, inferred jen tehdy, když neexistuje nic silnějšího a rozsah otevřeného úkolu se překrývá. Jeden odkaz na úkol, ten nejsilnější.
• Záznam úlohy a předávka mohou nést, co pracovník pojmenoval při start — issue, intent, exemption s jeho důvodem — a dva piny, plan_revision a evidence_standing, což jsou hashe, na něž intents.binding odpovědělo a pozdější čtení je porovná (ADR 0111). Nenesou žádnou fázi, verdikt, kritérium ani stav důkazů: jméno je deklarace a pin je otázka k opětovnému položení, a ani jedno není odpověď. Úkol, který úloha pojmenovala, je odkaz declared, stejně jako úkol citovaný v jejím názvu.
• session.started nese provider a provider_session, když epizodu otevřel poskytovatel, takže uzavřená epizoda si poskytovatele ponechá.
• Každý záměr hlásí své nesplněná kritéria s úkoly, které každému slouží, prací a poskytovateli, kteří jej realizují, a svůj drift: closed_work_contradicted, closed_work_unproven, criterion_closed_unmet a — kde se fáze a verdikt rozcházejí (ADR 0107), jednou za záměr — evidence_ahead_of_plan (verdikt je satisfied, zatímco fáze je planned nebo executing) a closed_work_not_satisfied (každý milník DONE a verdikt unsatisfied nebo unknown, s uvedením každého kritéria, které jej zdržuje, s jeho druhem důkazu a stavem). Živá práce, která neslouží žádnému záměru, je varování work_serves_no_intent.
• intent_realization.explain (majordomus intent explain <id>) uvádí, proč záměr stojí tam, kde stojí, větu po větě, ze stejných odvození.
• Kontrola intent-realization spouští majordomus intent realization, který skončí kódem 10 při jakémkoli closed_work_contradicted.

Chování při selhání

majordomus intent realization vypíše každý nález s jeho úrovní, kódem, předmětem, zprávou a příkazem k reprodukci a skončí s kódem 10, když záměr, jehož všechny milníky jsou DONE, má kritérium, jehož zaznamenaný běh selhává nebo je zastaralý (closed_work_contradicted). Každý jiný drift — closed_work_unproven, criterion_closed_unmet, evidence_ahead_of_plan, closed_work_not_satisfied — a work_serves_no_intent je varování: vypíše se s kódem a příkazem k reprodukci, nikdy ne s kódem 10. Záměr, který neexistuje, je odmítnut jménem, nikdy ne prázdnou odpovědí.

Ověření

test/cases/388_an_intent_is_realised_across_providers_and_held_to_reality.sh provádí smyčku celým životním cyklem: epizoda Claude Code přes vlastní hook relace a epizoda Codexu přes vstupní bod relace přenesou jednu úlohu přes předávku; uzavření všech úkolů i milníku, zatímco jeden případ selhává, nechá záměr verifying s kódem 10; oprava ho splní; porušení chování splnění opět odebere; oprava ho vrátí; a soubor záměru je po celou dobu bajtově shodný. apps/majordomus-cli/tests/intent_realization.rs dokazuje původ každého druhu odkazu a že příkazový řádek, HTTP i MCP odpovídají na totéž spojení. test/cases/367_an_intent_is_satisfied_only_by_evidence.sh dokazuje evidence_ahead_of_plan, dokud je milník otevřený, a jeho absenci po uzavření; test/cases/895_a_finished_task_does_not_satisfy_an_intent.sh dokazuje closed_work_not_satisfied s uvedením kritéria po dokončeném finish. test/cases/960_a_task_starts_bound_to_what_it_serves.sh dokazuje, že záznam navázané úlohy obsahuje názvy a piny a žádný řádek samotného záměru, a test/cases/961_a_resumed_task_is_told_its_intent_moved.sh, že předávka obsahuje totéž a že pin, který se tělo pokusí zapsat, je odmítnut.