# configuration/strings/keyword.fragment.strings.ts

> 47 lines of code and 8 definitions.

Tree: Site tree
Language: typescript
Layer: product
Canonical: https://banes-lab.com/anatomy/tree#file-configuration-strings-keyword-fragment-strings-ts
Source text: https://banes-lab.com/assets/sources/source.094f3ab0ea5b1e9393376834d2e01274447eadf0c94a2d45423137eb9769a5f8.generated.txt

## Definitions

- `CONTROL_SUBSECTION` (lexical_declaration, line 4, exported)
- `CONTEXT_SUBSECTION` (lexical_declaration, line 10, exported)
- `DECLARATION_SUBSECTION` (lexical_declaration, line 16, exported)
- `MODIFIER_SUBSECTION` (lexical_declaration, line 22, exported)
- `META_SUBSECTION` (lexical_declaration, line 29, exported)
- `VALIDATION_SUBSECTION` (lexical_declaration, line 36, exported)
- `REPORT_SUBSECTION` (lexical_declaration, line 43, exported)
- `INVARIANT_SUBSECTION` (lexical_declaration, line 50, exported)

## Source

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

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

export const CONTEXT_SUBSECTION: Subsection = {
    blocks: [keywordsOf("contextual")],
    content: "These prepositions and connectors state the relation between the operands of a line.",
    title: "Contextual keywords",
};

export const DECLARATION_SUBSECTION: Subsection = {
    blocks: [keywordsOf("declaration")],
    content: "These keywords declare the variables and types that hold a document's state.",
    title: "Declaration keywords",
};

export const MODIFIER_SUBSECTION: Subsection = {
    blocks: [keywordsOf("modifier")],
    content:
        "A modifier qualifies and strengthens a line inside a property. It never heads a block, because a block head states 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 state 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:
        "These tokens make up the handoff gate. They cover 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:
        "A verdict is written as a report so that a later checker can challenge it. The report's fields record 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:
        "An invariant record states 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. A record with no objector declares none, and the missing check stands as declared debt.",
    title: "Invariant keywords",
};
```