layout.check

Every path a declared layout excludes, named with the contract it violates: a tracked file under the tracked half that git's ignore rules match (state that does not travel, under a contract that excludes cache or runtime), and a file under the local half that is a byte copy of a tracked canonical file or declares the schema of a kind share/kinds.yaml calls canonical (under the manifest's `local.excludes: [canonical]`). Only what a contract declares is judged. Reads git and the local half's files; no build and no network.

query
behaviorally_verified
module layout
#layout
#governance
#two-folder

Zpřístupnění

Kde je tato jedna definice dosažitelná. Absence je explicitní: povrch, který není uveden, ji nenese.

povrch	jako
MCP	tool majordomus_layout_check
HTTP	GET /api/v1/layout/check operationId layout.check
příkazová řádka	majordomus layout check

Schémata

Kanonický vstup a výstup z typů Rustu; schéma nástroje MCP a parametry a odpovědi OpenAPI se odvozují z nich.

vstup · Prázdné

Žádný vstup.

Žádné vlastnosti: schopnost nebere žádný vstup.

JSON Schema

{
  "additionalProperties": false,
  "description": "No input.",
  "title": "Empty",
  "type": "object"
}

output · LayoutReport

The answer of the layout check: whether the halves were read, how many paths were judged, and every path a contract excludes. A report that could not read the halves never passes, so silence about a tree nobody measured cannot read as a clean tree.

use majordomus_cli::layout::LayoutReport;
let clean = LayoutReport::of(true, None, 12, Vec::new());
assert!(clean.passes);
assert_eq!(clean.checked, 12);
let unread = LayoutReport::of(false, Some("git could not start".into()), 0, Vec::new());
assert!(!unread.passes, "nothing found because nothing was read");
assert_eq!(unread.reason.as_deref(), Some("git could not start"));

vlastnost	typ	povinné	popis
checked	integer	ano	How many paths were judged.
zjištění	array	ano	Every path a contract excludes, in canonical order. Empty is the passing answer.
naměřeno	boolean	ano	Whether the halves could be read at all. `false` is not a pass.
průchody	boolean	ano	`true` when the halves were read and nothing was found.
důvod	string \| null	ne	Why they could not, when they could not.

JSON Schema

{
  "$defs": {
    "LayoutFinding": {
      "description": "One misplaced artifact: a path found in a half whose declared layout excludes it, with the\ncontract that excludes it and why, so a refusal names what to move and where it belongs.\n\nIt travels as the JSON of the `layout.check` capability, so its member names are the\nwire contract every projection reads:\n\n```\nuse majordomus_cli::layout::LayoutFinding;\nlet finding = LayoutFinding {\n    path: \".ai/local/notes/rule.md\".into(),\n    contract: \"manifest local\".into(),\n    excludes: \"canonical\".into(),\n    reason: \"a copy of .ai/repo/rules/rule.md\".into(),\n};\nlet json = serde_json::to_value(&finding).unwrap();\nassert_eq!(json[\"contract\"], \"manifest local\");\nassert_eq!(json[\"excludes\"], \"canonical\");\nlet back: LayoutFinding = serde_json::from_value(json).unwrap();\nassert_eq!(back, finding);\n```",
      "properties": {
        "contract": {
          "description": "The contract it violates: a context document's id, or `manifest local`.",
          "type": "string"
        },
        "excludes": {
          "description": "What the contract excludes that this path is.",
          "type": "string"
        },
        "path": {
          "description": "The path, repository-relative.",
          "type": "string"
        },
        "reason": {
          "description": "What the path was found to be, and how.",
          "type": "string"
        }
      },
      "required": [
        "path",
        "contract",
        "excludes",
        "reason"
      ],
      "type": "object"
    }
  },
  "description": "The answer of the layout check: whether the halves were read, how many paths were\njudged, and every path a contract excludes. A report that could not read the halves\nnever passes, so silence about a tree nobody measured cannot read as a clean tree.\n\n```\nuse majordomus_cli::layout::LayoutReport;\nlet clean = LayoutReport::of(true, None, 12, Vec::new());\nassert!(clean.passes);\nassert_eq!(clean.checked, 12);\nlet unread = LayoutReport::of(false, Some(\"git could not start\".into()), 0, Vec::new());\nassert!(!unread.passes, \"nothing found because nothing was read\");\nassert_eq!(unread.reason.as_deref(), Some(\"git could not start\"));\n```",
  "properties": {
    "checked": {
      "description": "How many paths were judged.",
      "format": "uint",
      "minimum": 0,
      "type": "integer"
    },
    "findings": {
      "description": "Every path a contract excludes, in canonical order. Empty is the passing answer.",
      "items": {
        "$ref": "#/$defs/LayoutFinding"
      },
      "type": "array"
    },
    "measured": {
      "description": "Whether the halves could be read at all. `false` is not a pass.",
      "type": "boolean"
    },
    "passes": {
      "description": "`true` when the halves were read and nothing was found.",
      "type": "boolean"
    },
    "reason": {
      "description": "Why they could not, when they could not.",
      "type": [
        "string",
        "null"
      ]
    }
  },
  "required": [
    "measured",
    "checked",
    "findings",
    "passes"
  ],
  "title": "LayoutReport",
  "type": "object"
}

Politiky

benchmark: povinné — cíl na každém transportu, který expozice deklaruje; případy jsou ty ze vstupního typu
cache: vypnuto — každé volání spustí handler

Cíle benchmarku

Odvozeno z registru pro tento repozitář: jeden požadavek na transport a případy, které poskytuje typ vstupu. Celá matice je na stránce měření výkonu.

transport	state	případy	targets
direct	pokryto	1	výchozí
mcp	pokryto	1	výchozí
http	pokryto	1	výchozí