I1001 — Jeden typovaný graf skládá registry, které už své fakty vlastní — Prismatic Majordomus
Rozšířit odvozování grafu spustitelného souboru na typovaný, deterministický model, který skládá existující autoritativní registry — schopnosti, příkazy, routy, expozici MCP, dovednosti, pravidla, rozhodnutí, dokumenty, případy užití, měření výkonu — aniž by kterýkoli z nich přestal být autoritativní.
HOTOVO vlna 0 · p0 · profil deep-work · bezpečné paralelně
Cíl
Rozšířit odvozování grafu spustitelného souboru na typovaný, deterministický model, který skládá existující autoritativní registry — schopnosti, příkazy, routy, expozici MCP, dovednosti, pravidla, rozhodnutí, dokumenty, případy užití, měření výkonu — aniž by kterýkoli z nich přestal být autoritativní.
Proč
Jediný zdroj pravdy pro tento repozitář neznamená jeden manifest, který drží všechno; znamená, že každý subsystém zůstává autoritativní pro to, co vlastní, a jedno odvození je skládá. Každé jiné uspořádání je buď druhý inventář, nebo přepis devíti fungujících registrů.
Aktuální stav
graph.rs odvozuje závislosti pravidel, rozhodnutí a tvar vrstvy pro Cockpit a web. Registr schopností zná schopnosti. Nic obě nespojuje a žádný typ uzlu nepřesahuje obě.
Cílový stav
Jeden typovaný model drží uzly každého druhu, který repozitář už indexuje, sestavené čtením registrů cestami, které používá každý jiný volající, a pro stejné vstupy dává stejný výstup.
Rozsah
- apps/majordomus-cli/src/graph.rs
Mimo rozsah
- Nové úložiště čehokoli, co už vlastní existující registr
- Číst index mimo executor, cache a čítače, jimiž prochází každé jiné čtení
- Druhy uzlů vymyšlené zde místo převzetí těch, které vrstva už registruje
Závislosti
Žádné. Tento úkol je kořenem grafu.
Co na tom čeká
- I1002HOTOVO Relace jsou typované, odvozené ze stabilních identit a nikdy nevisí do prázdna
- I1003HOTOVO Dovednosti, pravidla, rozhodnutí, dokumenty, případy užití a měření výkonu vstupují do grafu samy za sebe
- I1004HOTOVO Dostupnost a viditelnost jsou metadata, ne podmínky v šabloně
- I1025HOTOVO Federovaný model a jeho dvě projekce jsou architektonické rozhodnutí
Kritéria přijetí
- Druhy uzlů pocházejí z druhů, které vrstva už registruje, a přidání druhu nevyžaduje novou ručně napsanou variantu v grafu
- Každý zdroj se čte přes registr, který ho vlastní, nikdy druhým průchodem souborovým systémem
- Generování nad shodným obsahem repozitáře produkuje strukturálně shodný výstup, bez závislosti na pořadí iterace, bez náhodné identity a bez časového razítka uvnitř kanonických dat
- Model odděluje definici schopnosti od jejího stavu za běhu, takže statická projekce nepotřebuje žádná pole za běhu
- Unit testy pokrývají objevování, normalizaci, deduplikaci a řazení
Validace
- cargo test --workspace --all-features
Požadované důkazy
- federated_graph
- deterministic_output
Důkazy
| pokrývá | typ | command | výsledek | u commitu |
|---|---|---|---|---|
| federated_graph | test | majordomus serve --port 0 && curl -s \"http://127.0.0.1:$PORT/api/v1/graph?id=composed\" | složený graf nad tímto repozitářem: 825 uzlů, 846 hran, 22 druhů uzlů, truncated false — registr schopností a každý indexovaný objekt v jednom modelu | 837f146 |
| deterministic_output | test | cargo test --all-features (apps/majordomus-cli) | every suite ok, 0 failed; the composition tests prove the graph does not depend on the order it read objects in, that nodes and edges come out sorted, that one kind node is shared, and that a kind nobody wrote in the derivation still becomes a kind of the graph | 837f146 |
Riziko
Složit vše zve model, který ví příliš mnoho a je pomalejší, než horká cesta dovoluje. Staví se na čteních, která se už dějí, a jeho cena se měří jako u každého jiného příkazu.
Časová osa
- zahájeno
- 2026-09-06T15:33:09Z
- ověřeno
- —
- dokončeno
- 2026-09-06T15:48:16Z
Tato tři pole, důkazy výše a stav závislostí jsou vše, z čeho se stav skládá. Neexistuje žádné pole stavu, které by s nimi mohlo být v rozporu.
Kanonický záznam: .ai/repo/project/issues/I1001.yaml. Přečtěte jej zpět pomocí majordomus plan show I1001.