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

export const CONTROL_SUBSECTION: Subsection = {
    blocks: [keywordsOf("control_flow")],
    content: "Flow control structures that mirror programming constructs.",
    title: "Control flow keywords",
};

export const CONTEXT_SUBSECTION: Subsection = {
    blocks: [keywordsOf("contextual")],
    content: "Prepositions and connectors that establish relationships.",
    title: "Contextual keywords",
};

export const DECLARATION_SUBSECTION: Subsection = {
    blocks: [keywordsOf("declaration")],
    content: "Variable and type declarations for state management.",
    title: "Declaration keywords",
};

export const MODIFIER_SUBSECTION: Subsection = {
    blocks: [keywordsOf("modifier")],
    content:
        "Qualifiers inside a property. A modifier strengthens a line; it never heads a block, because a block head stated no set, no parties and no objector, and the invariant record carries all three.",
    title: "Modifier keywords",
};

export const META_SUBSECTION: Subsection = {
    blocks: [keywordsOf("meta")],
    content:
        "The meta block and the node tags: what the document is for, which source grounds which, what it trusts, what it may touch and what it declares outside itself, and how far repair may recurse.",
    title: "Meta keywords",
};

export const VALIDATION_SUBSECTION: Subsection = {
    blocks: [keywordsOf("validation")],
    content:
        "The tokens of the handoff gate: a check with its evidence and the population it was measured over, the refusal before a write, the standing of the read set, and the three verdicts with unknown routed to blocked.",
    title: "Validation keywords",
};

export const REPORT_SUBSECTION: Subsection = {
    blocks: [keywordsOf("report")],
    content:
        "The fields of a report, the representation a verdict becomes so a later checker can challenge it: what was measured, over what, from which inputs, and whether the three termination conditions coincide.",
    title: "Report keywords",
};

export const INVARIANT_SUBSECTION: Subsection = {
    blocks: [keywordsOf("invariant")],
    content:
        "The invariant record: a property in a form that could be false, the set it quantifies over, the parties it binds, and the objector that would disagree if it stopped holding, or none as declared debt.",
    title: "Invariant keywords",
};