Doména relací

Typovaná doména relace: stavový automat životního cyklu, kterým epizoda prochází, deklarovaný jednou ve spustitelném souboru a promítnutý sem, ne překreslovaný na každém povrchu, a identity, které tento checkout zaznamenává — repozitář, checkout, epizoda a vlastní relace providera — každá s kanonickou hodnotou a vlastním zápisem každého úložiště, protože úložiště zapisují šest věcí třemi slovy a nikdo to neřekl.

• module session_domain
• builtin
• behaviorally_verified
• 2 schopnosti

Schopnosti

Každý je složen v souboru tohoto modulu; každý má vlastní stránku.

• session_domain.identityRepozitář, checkout, otevřená epizoda a relace poskytovatele, každé s kanonickou hodnotou, kterou tento spustitelný soubor vypočte, a s vlastním zápisem každého úložiště vedle ní. Úložiště zaznamenávají repozitář někdy jako absolutní cestu .git a někdy jako URL remote, worktree jako cestu i jako digest a relaci jak jako id epizody, tak jako UUID poskytovatele; toto je povrch, který to říká, aby čtenář nikdy neporovnával dva zápisy různých věcí a nedošel k závěru, že se neshodují.query · behaviorally_verified · majordomus_session_identity · GET /api/v1/session/identity
• session_domain.machineKaždý stav, v němž epizoda může být, zda je koncový a kam se může posunout; každý přechod — open, resume, checkpoint, detach, close, recover — se stavy, mezi nimiž běží, a zda stav vůbec posouvá. Odvozeno z typů, takže diagram, který se rozchází s kódem, nemůže existovat. Na čem stroj záměrně nezávisí, je řečeno, ne ponecháno k odvození: stav úlohy, což je ADR 0052.query · behaviorally_verified · majordomus_session_machine · GET /api/v1/session/machine