configuration/strings/kind.strings.ts

configuration/strings/kind.strings.ts is a file in Bane's Lab Site. 87 lines of code and 15 definitions.

import { ARCHITECTURE_PRINCIPLES_TAB, CANON_SECTION_ID, RECORD_KIND_SECTION_ID } from "#core/ids/architecture.ids";
import { CONTRACTS_LABEL, PRINCIPLES_LABEL, TENSIONS_LABEL } from "#configuration/strings/ontology.strings";
import { ARCHITECTURE_PAGE } from "#core/ids/page.ids";
import { TEST_SURFACES_LABEL } from "#configuration/strings/reason.strings";
import type { VocabularySectionCopy } from "#types/kind.types";
import { tabLink } from "#core/assets/link.assets";

export const KIND_INTRO = `Every record is classified by this closed kind taxonomy, listed in decision order with each kind's discriminator, what it is distinguished from, the definition openings that signal it, and how many principles and terms carry it. The reasoning behind the taxonomy is described in <a href="${tabLink(ARCHITECTURE_PAGE, ARCHITECTURE_PRINCIPLES_TAB, RECORD_KIND_SECTION_ID)}">every record has a kind</a> on the architecture page.`;
export const RANGE_INTRO = `The relation ranges say which kinds each edge relation may point at. The polarity law says that one relation, conflicts with, points only at anti-patterns, and the slots the ranges constrain are derived in <a href="${tabLink(ARCHITECTURE_PAGE, ARCHITECTURE_PRINCIPLES_TAB, CANON_SECTION_ID)}">principles are typed</a> on the architecture page.`;
export const FORCE_INTRO =
    "The algorithms and principles are joined by these canonical forces. Each force names the contracts that answer to it and the principles whose scope it is.";
export const DISCRIMINATOR_LABEL = "Discriminator";
export const DISTINGUISHES_LABEL = "Distinguished from";
export const SIGNATURES_LABEL = "Definition openings";
export const PRINCIPLES_OF_KIND_LABEL = "Principles of this kind";
export const TERMS_OF_KIND_LABEL = "Terms of this kind";
export const KINDS_IN_RANGE_LABEL = "Kinds in range";
export const CONCERNS_LABEL = "Concerns";
export const KIND_TITLE = "The kind taxonomy";
export const RANGE_SECTION_TITLE = "The relation ranges";
export const FORCE_TITLE = "The forces";
export const RANGE_CAPTION = "Which kinds each relation may point at.";

export const VOCABULARY_SECTIONS: ReadonlyMap<string, VocabularySectionCopy> = new Map([
    [
        "severity",
        {
            intro: "Each severity level is listed with its definition and the principles that carry it.",
            records: PRINCIPLES_LABEL,
            title: "Severity levels",
        },
    ],
    [
        "domain-tier",
        {
            intro: "Each domain tier is listed with its definition and the contracts whose domain carries it.",
            records: CONTRACTS_LABEL,
            title: "Domain tiers",
        },
    ],
    [
        "verdict",
        {
            intro: "Each verdict is listed with its definition and the test surfaces that can return it.",
            records: TEST_SURFACES_LABEL,
            title: "Verdicts",
        },
    ],
    [
        "predicate-type",
        {
            intro: "Each predicate type is listed with its definition and the test surfaces that use it.",
            records: TEST_SURFACES_LABEL,
            title: "Predicate types",
        },
    ],
    [
        "evidence-source",
        {
            intro: "Each evidence source is listed with its definition and the test surfaces that draw on it.",
            records: TEST_SURFACES_LABEL,
            title: "Evidence sources",
        },
    ],
    [
        "resolution-mechanism",
        {
            intro: "Each resolution mechanism is listed with its definition and the tensions it resolves.",
            records: TENSIONS_LABEL,
            title: "Resolution mechanisms",
        },
    ],
    [
        "layer-edge-kind",
        {
            intro: "Each layer edge kind is listed with its definition and the topology edges that carry it.",
            records: "Edges",
            title: "Layer edge kinds",
        },
    ],
    [
        "example-shape",
        {
            intro: "Each example shape is listed with its definition and the lexicon categories whose terms carry it.",
            records: "Lexicon categories",
            title: "Example shapes",
        },
    ],
]);