import type { Subsection } from "#types/document.types";
import { keywordsOf } from "#core/converters/grammar.converter";

export const COORDINATION_SUBSECTION: Subsection = {
    blocks: [keywordsOf("coordination")],
    content:
        "The structure a shared surface makes explicit: the surface, its records with exactly one writer each, the addressed items inside them, the typed edges between records, the states derived from those edges, the reader classes, and the one operation that posts and waits. The waiting, locking and retry tokens are the same model seen from one party's turn.",
    title: "Coordination keywords",
};

export const MACHINE_SUBSECTION: Subsection = {
    blocks: [keywordsOf("state_machine")],
    content:
        "The structure a lifetime makes explicit: which states a thing can be in and which transitions are legal. In a coordinated document a state is derived from the graph and never written, so the machine declares what may happen, not what has.",
    title: "State machine keywords",
};

export const DAG_SUBSECTION: Subsection = {
    blocks: [keywordsOf("dag")],
    content:
        "The structure a dependency graph makes explicit: what depends on what, declared by the referent and never inferred from a name. The loop spine of a document is one, and a repair edge is a back-edge on it.",
    title: "DAG keywords",
};

export const QUEUE_SUBSECTION: Subsection = {
    blocks: [keywordsOf("priority_queue")],
    content:
        "The structure a ranking makes explicit: candidates ordered by a declared worth. The branch ranking a worth gate emits is one, and the selected branch is what a peek returns.",
    title: "Priority queue keywords",
};

export const FLOWCHART_SUBSECTION: Subsection = {
    blocks: [keywordsOf("flowchart")],
    content:
        "The rendered projection of a declared structure. A flowchart shows a graph, a lifetime or a ranking to a reader; it never carries a structure the document did not declare elsewhere.",
    title: "Flowchart keywords",
};