HTTP API: graph

Grafy odvozené z registru a indexu: vlastní registr schopností spustitelného souboru, tvar vrstvy, závislosti pravidel, rozhodnutí a co uvedla v platnost, a případy užití a co procvičují. Kanonické uzly a hrany; renderovací knihovna je konzument, nikdy tvar.

Vykresleno z docs/generated/openapi.json, který spustitelný soubor generuje ze svého registru schopností a CI jej odmítne, je-li zastaralý. Surový dokument je na /openapi.json; běžící server servíruje stejný dokument na vlastní /openapi.json a Swagger UI na /swagger.

graph

GET /api/v1/graph graph.get

Odvodit jeden graf

Jeden graf podle id: jeho uzly a hrany se slovníky, které říkají, co znamená každý druh, soubor, z něhož byl každý uzel odvozen, a zda je výsledek acyklický. Deterministické pro daný strom a spustitelný soubor.

query
behaviorally_verified
vyžaduje se měření výkonu
cache procesu (max_entries=16)
nástroj MCP majordomus_graph

Parametry dotazu

název	typ	povinné	popis	příklady
id	string	ano	Id grafu, jak jej udává `graph.list` (`registry`, `layer`, `rules`, `adrs`, `use-cases`).	adrs: "adrs"composed: "composed"layer: "layer"product: "product"registry: "registry"rules: "rules"use-cases: "use-cases"why: "why"

Vyzkoušejte

Port je ten, který server zalogoval; 8741 je ten, o který žádá jako první. Hodnoty jsou první příklad operace.

curl -s "http://127.0.0.1:8741/api/v1/graph?id=adrs"

Testováno v apps/majordomus-cli/tests/http_serve.rs, který přehrává routu s těmito hodnotami proti serveru na skutečném socketu.

Odpovědi

status	tělo	význam
200	Graf	Odvození jednoho grafu: výsledek.
400	ErrorBody	`invalid_input`: Vstup neodpovídá schématu: parametr špatného typu, neznámý parametr nebo hodnota, kterou schopnost odmítne.
404	ErrorBody	`not_found`: Vstup pojmenovává něco, co repozitář nemá.
500	ErrorBody	`internal`: Schopnost selhala z vlastního důvodu; zpráva ho pojmenovává.
výchozí	ErrorBody	Jakékoli jiné selhání, které transport hlásí: 405 `method_not_allowed` pro jinou metodu na této cestě, 400 `invalid_input` pro tělo, které není objektem JSON.

GET /api/v1/graphs graph.list

Vypsat grafy

Každý graf, který tento spustitelný soubor odvozuje: jeho id, co ukazuje a z čeho je odvozen.

query
behaviorally_verified
vyžaduje se měření výkonu
cache vypnuta
nástroj MCP majordomus_graphs
Zdroj MCP {"name": "graphs", "uri": "majordomus://graphs"}

Žádné parametry.

Vyzkoušejte

Port je ten, který server zalogoval; 8741 je ten, o který žádá jako první. Hodnoty jsou první příklad operace.

curl -s "http://127.0.0.1:8741/api/v1/graphs"

Testováno v apps/majordomus-cli/tests/http_serve.rs, který přehrává routu s těmito hodnotami proti serveru na skutečném socketu.

Odpovědi

status	tělo	význam
200	GraphList	Vypsat grafy: výsledek.
400	ErrorBody	`invalid_input`: Vstup neodpovídá schématu: parametr špatného typu, neznámý parametr nebo hodnota, kterou schopnost odmítne.
404	ErrorBody	`not_found`: Vstup pojmenovává něco, co repozitář nemá.
500	ErrorBody	`internal`: Schopnost selhala z vlastního důvodu; zpráva ho pojmenovává.
výchozí	ErrorBody	Jakékoli jiné selhání, které transport hlásí: 405 `method_not_allowed` pro jinou metodu na této cestě, 400 `invalid_input` pro tělo, které není objektem JSON.

Schémata

Komponenty, které používají jen operace tohoto tagu. Každý řádek je pole daného typu, jeho doc komentář je popis; typ vlastněný jinou stránkou na ni odkazuje.

Hrana

object

Jedna orientovaná hrana. Oba konce jsou id uzlů téhož grafu; odvození, které konec nedokáže vyřešit, přidá externí uzel místo visící hrany.

vlastnost	typ	povinné	popis
zdroj	string	ano	Uzel, z něhož hrana vychází.
cíl	string	ano	Uzel, do něhož hrana vstupuje.
druh	string	ano	Jeden z deklarovaných druhů hran grafu.

Používá Graph

Fakt

boolean | integer (int64) | string | pole string

Jeden fakt, který uzel nese z front matter svého objektu, v tvarech, které uzel může držet.

Používá Node

Graf

object

Odvozený graf: co to je, odkud pochází, co znamenají jeho slovníky a samotné uzly a hrany.

vlastnost	typ	povinné	popis
id	string	ano	Identita, `[a-z][a-z0-9-]*`; poslední segment jeho routy.
název	string	ano	Krátký název.
popis	string	ano	Jeden odstavec: co se z toho čtenář dozví.
zdroj	string	ano	Z čeho bylo odvozeno, vlastními slovy repozitáře.
node_kinds	mapa řetězců	ano	Druh uzlu a co tento druh znamená.
edge_kinds	mapa řetězců	ano	Druh hrany k tomu, co tato hrana tvrdí.
nodes	pole Node → Node	ano	Seřazeno podle id.
hrany	pole Edge → Edge	ano	Sorted.
metadata	GraphMetadata → GraphMetadata	ano	Počty a invarianty.

Používá graph.get

GraphInfo

object

Jeden graf, který spustitelný soubor umí odvodit: co to je, bez jeho odvození.

vlastnost	typ	povinné	popis
id	string	ano	Identita.
název	string	ano	Krátký název.
popis	string	ano	Jeden odstavec.
zdroj	string	ano	Z čeho je odvozeno.

Používá GraphList

GraphList

object

Každý graf, který tento spustitelný soubor odvozuje.

vlastnost	typ	povinné	popis
počet	integer (uint)	ano	Kolik.
grafy	pole GraphInfo → GraphInfo	ano	Každý, popsaný, ale neodvozený.

Používá graph.list

GraphMetadata

object

Co potřebuje čtenář vědět o grafu jako celku, než jej nakreslí.

vlastnost	typ	povinné	popis
nodes	integer (uint)	ano	Kolik uzlů.
hrany	integer (uint)	ano	Kolik hran.
acyklický	boolean	ano	Zda hrany tvoří orientovaný acyklický graf. Odvozuje se, nikdy nedeklaruje: graf, jehož kontrakt je DAG a jehož odpověď je zde `false`, je vada v datech.
zkráceno	boolean	ano	Pravda, když odvození skončilo u `MAX_NODES` a graf je předponou toho, co repozitář drží.

Používá Graph

Uzel

object

Jeden uzel. id je v grafu unikátní; kind je to, čím jej deklaruje node_kinds grafu; route je místo, kde Cockpit ukazuje samotnou věc, pokud ji někde ukazuje.

vlastnost	typ	povinné	popis
id	string	ano	Jedinečné v rámci grafu.
druh	string	ano	Jeden z deklarovaných druhů uzlů grafu.
popisek	string	ano	Krátký štítek, který vykresluje renderer.
summary	string \| null	ne	Jeden řádek o věci, když jej zdroj drží.
route	string \| null	ne	Kde Cockpit tuto věc ukazuje, pokud ji ukazuje.
zdroj	string \| null	ne	Soubor relativně k repozitáři, z něhož byl uzel odvozen, když jej vlastní jediný soubor.
status	string \| null	ne	Stavové slovo, které definuje vlastní slovník grafu (`accepted`, `active`, `query`).
externí	boolean	ne	Pravda, když uzel zastupuje něco, co graf jmenuje, ale nedrží: odkaz, který se v tomto repozitáři nevyřeší na nic.
fakta	mapa Fact → Fact	ne	Co o objektu deklaruje jeho vlastní druh, tak jak to ověřilo jeho schéma: pole jeho front matteru, která jsou fakty o věci, a ne o samotném dokumentu. Pravidlo nese svou třídu a výrok, dovednost své vstupy a výstupy, rozhodnutí své datum — slovník, který činí každý druh užitečným, místo čtyř polí, která mají všechny druhy společně.

Používá Graph