import type { TabbedMeta } from "#types/document.types";

export const ONTOLOGY_META: TabbedMeta = {
    subtitle:
        "A canon of software architecture you can query: every principle with its relations and its repair, every term with its definition, every algorithm with its contract, the reasoning that derives them, the layers they live in and the resolution of every tension between them. Every reference one record makes to another is a link, so any record is a starting point.",
    title: "The Ontology",
    version: "1.0.0",
};

export const ONTOLOGY_ATTRIBUTION =
    "The ontology is authored and maintained by Bane's Lab as one canon and published here in full.";

export const PRINCIPLES_LABEL = "Principles";
export const LEXICON_LABEL = "Lexicon";
export const ALGORITHMS_LABEL = "Algorithms";
export const REASONING_LABEL = "Reasoning";
export const SCHEMA_LABEL = "Schema";
export const TENSIONS_LABEL = "Tensions";

export const SEARCH_PLACEHOLDER = "Filter the records by name, id, kind or relation";
export const SEARCH_LABEL = "Filter";
export const SHOWN_LABEL = "shown";
export const OF_LABEL = "of";
export const CATEGORIES_LABEL = "Sections";
export const DETAILS_LABEL = "Details";
export const DIAGRAM_LABEL = "Relations diagram";

export const CATEGORY_INTRO =
    "Every principle in this category. Each record carries its kind, its severity, the scopes it applies at and the layer it lives in, then the edge relations that join it to other records, the records that point back at it, the contracts that answer to it and the tensions it takes part in. The descriptors say how it is violated, detected, measured, repaired and enforced. Where the record carries one, an exemplar shows the shape before and after the principle is applied.";
export const DOMAIN_INTRO =
    "Every algorithm contract in this domain: its position on the derivation loop, its intent and invariant, the flow it walks, its productions as a grammar, what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and, where the record carries one, an exemplar. The diagram shows what composes what inside the domain.";

export const RESOLVES_TEXT = "The canon resolves: every edge names a record that exists and every kind is in range.";
export const UNRESOLVED_TEXT =
    "The canon does not fully resolve yet: some edge names a record that is missing, or a kind that is out of range.";

export const REQUIRES_LABEL = "Requires";
export const REINFORCES_LABEL = "Reinforces";
export const ENABLES_LABEL = "Enables";
export const TENSIONS_WITH_LABEL = "In tension with";
export const CONFLICTS_WITH_LABEL = "Conflicts with";
export const REFERENCED_BY_LABEL = "Referenced by";
export const VIOLATED_BY_LABEL = "Violated by";
export const DETECTED_BY_LABEL = "Detected by";
export const MEASURED_BY_LABEL = "Measured by";
export const REFACTORED_BY_LABEL = "Refactored by";
export const ENFORCED_BY_LABEL = "Enforced by";
export const KIND_LABEL = "Kind";
export const SEVERITY_LABEL = "Severity";
export const SCOPE_LABEL = "Scope";
export const ALIASES_LABEL = "Aliases";
export const LAYER_LABEL = "Layer";
export const CATEGORY_LABEL = "Category";
export const TERM_LABEL = "Term";
export const CONTRACT_LABEL = "Contract";
export const CONTRACTS_LABEL = "Contracts";
export const BEFORE_TITLE = "Before";
export const AFTER_TITLE = "After";
export const STAGE_LABEL = "Stage";
export const AXIS_LABEL = "Axis";
export const MATH_TYPE_LABEL = "Math type";
export const YIELDS_LABEL = "Yields";
export const META_LABEL = "Meta record";
export const INTENT_LABEL = "Intent";
export const INVARIANT_LABEL = "Invariant";
export const FLOW_TITLE = "Flow";
export const PRODUCTIONS_TITLE = "Productions";
export const COMPOSES_LABEL = "Composes";
export const COMPOSED_BY_LABEL = "Composed by";
export const DERIVED_BY_LABEL = "Named in the derivation of";
export const DETECTS_LABEL = "Detector for";
export const GROUNDED_BY_LABEL = "Grounded by";
export const FORCES_LABEL = "Forces";
export const PRINCIPLE_LABEL = "Principle";
export const GROUNDS_LABEL = "Grounds";
export const DERIVATION_LABEL = "Derivation map";
export const DOMAIN_LABEL = "Domain";
export const YES_LABEL = "yes";
export const NO_LABEL = "no";
export const NONE_LABEL = "none";
export const LIST_SEPARATOR = ", ";
export const FIELD_SEPARATOR = " · ";
export const LABEL_SEPARATOR = ": ";
export const FLOW_ARROW = " → ";
export const PRODUCTION_ARROW = " ::= ";
export const CATEGORY_CAPTION = "The relations inside this category.";
export const DOMAIN_CAPTION = "What composes what inside this domain.";