Záměr
Co se musí stát pravdou nad milníky, které to realizují: výrok každého záměru, invarianty a kritéria splnění, jeho fáze odvozená ze stavu milníků plánu, stav každého kritéria odvozený z ledgeru důkazů a jeho verdikt odvozený z těchto kritérií samotných. Nic se neukládá a nic nepřechází; záměr přidaný pod model projektu je zodpovězen vším tímto bez registrace kdekoli.
Co se musí stát pravdou nad milníky, které to realizují: výrok každého záměru, invarianty a kritéria splnění, jeho fáze odvozená ze stavu milníků plánu, stav každého kritéria odvozený z ledgeru důkazů a jeho verdikt odvozený z těchto kritérií samotných. Nic se neukládá a nic nepřechází; záměr přidaný pod model projektu je zodpovězen vším tímto bez registrace kdekoli.
- module intents
- builtin
- behaviorally_verified
- 7 schopností
Schopnosti
Každý je složen v souboru tohoto modulu; každý má vlastní stránku.
intents.bindingNa co se úloha ptá, než začne (ADR 0111): pro úkol, který práce provádí, záměr, jemuž slouží, cesty, kterých se dotkne, nebo třídu výjimky s důvodem dává jeden stav — `bound`, když práce slouží kritériu živého záměru přes odkazy, které preflight přijímá, `maintenance`, když její úkoly leží pod milníky, které žádný živý záměr nejmenuje, `exempt`, když je třída taková, kterou politika deklaruje pod `intent.exemptions` a byl uveden důvod, jinak `refused`, každé odmítnutí s příčinou: vlastních sedm preflightu a nothing_named, unknown_intent, intent_retired, intent_has_no_open_work, issue_outside_intent, ambiguous_intent (samotné cesty zasáhly více než jeden záměr), unknown_exemption, exemption_without_reason, exemption_names_work. Odpověď nese, co bylo jmenováno, vyřešené úkoly a záměry s tím, co každý záměr od workera žádá, poznámku, když cesty leží mimo rozsah jmenovaného úkolu, a dva piny, které pozdější čtenář porovná: `plan_revision`, který se pohne, když se upraví záměr, odkaz nebo kritika, a `evidence_standing`, který se pohne, když se změní stav důkazů sloužícího kritéria. Nic se neukládá.query · behaviorally_verified · majordomus_intent_binding · GET /api/v1/intents/bindingintents.coveragePlán čtený proti záměrům (ADR 0073): každé kritérium každého živého záměru s živými úkoly, které mu slouží, milníky, do nichž patří, a jeho silou — pokryto, slabě pokryto, když žádný sloužící úkol nevyžaduje důkazy, pozorováno, když zaznamenaná mezera viděla, že už platí, nebo nepokryto, když nic v plánu nezpůsobí, že bude platit — a každý úkol s důvodem, proč existuje: kritéria, kterým slouží, údržba pod milníkem, který nepojmenovává žádný záměr, nebo nevysvětleno pod milníkem, který realizuje záměr.query · behaviorally_verified · majordomus_intent_coverage · GET /api/v1/intents/coverageintents.listKaždý záměr, který model projektu deklaruje, každý se stavem, který plán odvozuje pro jeho milníky, stavem důkazů za každým kritériem uspokojení, fází, kterou tyto dva odvozují — declared, planned, executing, verifying nebo satisfied, případně cancelled či superseded, když to záznam říká — a verdiktem, který odvozují samotná kritéria (ADR 0107): satisfied, když je splněno každé kritérium, unsatisfied, když není splněno kritérium testu nebo tvrzení, unknown, když jsou nesplněna jen kritéria příkazu či nasazení nebo žádné není deklarováno, s kritérii, která jej zdržují.query · behaviorally_verified · majordomus_intents · GET /api/v1/intentsintents.preflightPro úkol, který práce provádí, nebo cesty, kterých se dotkne, jeden verdikt: `serves`, když žádný úkol není zamítnut a alespoň jeden slouží kritériu živého záměru prostřednictvím vazby, která platí, a plán každého takového záměru prošel kritikou bez otevřeného blokujícího zjištění (úkoly posouzené jako údržba vedle něj verdikt nemění); `maintenance`, když úkoly spadají pod milníky, které žádný živý záměr nejmenuje, a nesloužily ničemu, jak to `intent validate` dovoluje; jinak `refused`, každé zamítnutí s úkolem a příčinou — unknown_issue, no_issue_covers_paths, issue_serves_nothing, serves_another_intent, serves_unknown_criterion, intent_not_critiqued, open_blocking_finding — v režimu cest je posouzen každý úkol a vrácen nejhorší verdikt. Odpověď nese, pro dosažené záměry a žádné jiné, výrok, obsloužená kritéria s živým stavem jejich důkazů, invarianty, necíle a řízení, kritiku s jejími otevřenými blokujícími zjištěními a zaznamenanou mezeru omezenou na tato kritéria.query · behaviorally_verified · majordomus_intent_preflight · GET /api/v1/intents/preflightintents.proposeZapíše nový záznam záměru pod `.ai/repo/project/intents/` z prohlášení, co se musí stát pravdou, s volitelným titulkem (první řádek prohlášení, když chybí) a id (slug titulku, když chybí). Záznam nejmenuje žádný milník, kritérium ani invariant: jeho stupeň se odvodí jako `declared`, `intent validate` hlásí obě absence jako varování, ne selhání, a žádná práce mu nemůže sloužit, dokud není naplánován (ADR 0144). O jeho postavení se neukládá nic. Existující záznam se odmítne, nikdy nepřepíše, a soubor se objeví celý, nebo vůbec. Odpověď jmenuje identitu a soubor; `intents.record` odpoví odvozeným stupněm, jakmile jej index drží.command · experimental · majordomus_intent_propose · POST /api/v1/intents/proposeintents.recordJeden záměr celý: jeho tvrzení a invarianty tak, jak byly napsány, každý milník se stavem, který plán odvodí, každé kritérium splnění se stavem jeho důkazů a příkazem, který ho reprodukuje, fáze a verdikt, který odvodí samotná kritéria, s kritérii, která ho drží zpátky. Vlastní soubor záznamu zůstává na `majordomus://intent/<id>`.query · behaviorally_verified · majordomus_intent_record · GET /api/v1/intents/recordintents.validateKaždý nález nad záměry: záměr nejmenující žádný milník nebo kritérium, milník, který se nevyřeší, kritérium bez reference na důkazy nebo s referencí na něco, co tento repozitář nedrží, governance, která se nevyřeší, nástupce, který není záměr, název souboru, který nesouhlasí s jeho id — každé je selhání — a milník, kterému neslouží žádný záměr, je varování.query · behaviorally_verified · majordomus_intent_validate · GET /api/v1/intents/validate