import { ARCHITECTURE_PAGE, METHODOLOGY_PAGE } from "#core/ids/page.ids";
import { COVERAGE_TAB, GRID_SECTION_ID } from "#core/ids/architecture.ids";
import { pagePath, tabLink } from "#assets/link.assets";
import { ANCHOR_PREFIX } from "#configuration/constants/document.constants";
import { LOOP_SECTION_ID } from "#core/ids/methodology.start.ids";

export const LOOP_INTRO = `The derivation loop every algorithm grammar is an instance of: ten stages, each on one reasoning axis, joined by transitions that either sequence, gate or refute back. Each stage names the contracts that run at it and the records it grounds, and <a href="${pagePath(METHODOLOGY_PAGE)}${ANCHOR_PREFIX}${LOOP_SECTION_ID}">the loop</a> on the methodology page teaches the traversal.`;
export const SUBSTRATE_INTRO =
    "The generative substrate beneath the loop: the cycle every node passes through, the recursion that turns emergence back into a new difference, and the math types each node yields.";
export const REASON_LAYER_INTRO =
    "The layers the reasoning axes are arranged on, each with the question it answers and the axes it holds.";
export const AXES_INTRO =
    "The reasoning axes, each a typed terminating question on one layer, with the nodes a run may select on it and the contracts positioned on it.";
export const NODE_INTRO =
    "Every node on the axes: the concept it resolves to, the question it asks, the math type it yields, the shape of its answer, its decision test and its role, and the surfaces and contracts that ground themselves in it.";
export const MATH_INTRO =
    "The math types the predicates are typed by, with the contracts of each type, and the domains of mathematics they draw on.";
export const DIMENSION_INTRO =
    "The ontological dimensions: what can be observed about a subject, each with the test surfaces that observe it.";
export const LENS_INTRO =
    "The analysis lenses: how a subject is seen, each on one universal axis, with the fields of mathematics it draws on, the surfaces and detectors it feeds and the test surfaces that see through it.";
export const MODE_INTRO = "The reasoning modes, the practice each one names and the techniques that work in it.";
export const REPRESENTATION_INTRO = "The representation layers a result can be encoded in.";
export const PATTERN_INTRO = "The pattern types and the mathematical viewpoint each one takes.";
export const MODEL_INTRO = "The models: the sequences that restate the same cycle from different starting points.";
export const UNIVERSAL_INTRO =
    "The five universal axes, the dimensions each one subsumes and the lenses that sit on it.";
export const SURFACE_INTRO = `The test surfaces: what a system can be wrong about, each a dimension seen through a lens, with the invariant that must hold, the techniques that observe it, the predicate and what grounds it, the evidence it requires and the verdicts it can return. The architecture page reads the same grid as <a href="${tabLink(ARCHITECTURE_PAGE, COVERAGE_TAB, GRID_SECTION_ID)}">what can drift, seen through how it drifts</a>.`;
export const TECHNIQUE_INTRO =
    "The techniques a surface is observed by, each in one reasoning mode, with the surfaces that use it.";
export const INVARIANT_INTRO = "The invariants the test surfaces assert, each with the surfaces that assert it.";
export const CELL_INTRO =
    "The cells of the dimension and lens grid that no surface covers yet. The list is derived from the grid and the surfaces, never stored.";
export const MAP_INTRO =
    "The maps the reasoning face carries beside its records: the foundation sequence and the math types on each of its layers, the invariant groups, and the operations a pattern admits.";
export const EDGE_INTRO =
    "Every grounding edge the reasoning face declares: the record an edge leaves from, the record or grammar it lands on, or the label it carries where it names a rule rather than a record.";

export const QUESTION_LABEL = "Question";
export const MANDATORY_LABEL = "Mandatory";
export const SELECTABLE_LABEL = "Selectable";
export const CONCEPT_LABEL = "Concept";
export const DECISION_LABEL = "Decision test";
export const ANSWER_LABEL = "Answer shape";
export const ROLE_LABEL = "Role";
export const NODES_LABEL = "Nodes";
export const AXES_LABEL = "Axes";
export const PREDICATE_FAMILY_LABEL = "Predicate family";
export const YIELDS_SHAPE_LABEL = "Yields shape";
export const STUDIES_LABEL = "Studies";
export const NATURE_LABEL = "Nature";
export const UNIVERSAL_AXIS_LABEL = "Universal axis";
export const FIELDS_LABEL = "Fields";
export const SURFACES_LABEL = "Surfaces";
export const TEST_SURFACES_LABEL = "Test surfaces";
export const DETECTORS_LABEL = "Detectors";
export const LENSES_LABEL = "Lenses";
export const SEQUENCE_TITLE = "Sequence";
export const SUBSUMES_LABEL = "Subsumes";
export const DIMENSION_LABEL = "Dimension";
export const LENS_LABEL = "Lens";
export const FAILURE_MODES_LABEL = "Failure modes";
export const TECHNIQUES_LABEL = "Techniques";
export const PREDICATE_TITLE = "Predicate";
export const PREDICATE_GROUNDS_LABEL = "Predicate grounds";
export const EVIDENCE_LABEL = "Evidence";
export const EVIDENCE_GROUNDS_LABEL = "Evidence grounds";
export const VERDICTS_LABEL = "Verdicts";
export const MODE_LABEL = "Mode";
export const RECURSION_LABEL = "Recursion";
export const TRANSITION_LABEL = "Transition";
export const GATE_LABEL = "Gate";
export const ON_PASS_LABEL = "On pass";
export const ON_FAIL_LABEL = "On fail";
export const TARGET_LABEL = "Lands on";
export const EDGE_LABEL = "Carries";
export const MATH_TYPES_LABEL = "Math types";
export const MEMBERS_LABEL = "Members";
export const REQUIRED_LABEL = "required";
export const OPTIONAL_LABEL = "optional";
export const CELL_JOIN = " through ";
export const TRANSITIONS_TITLE = "The transitions";
export const LOOP_SECTION_TITLE = "The derivation loop";
export const SUBSTRATE_SECTION_TITLE = "The substrate";
export const REASON_LAYER_TITLE = "The reasoning layers";
export const AXES_TITLE = "The axes";
export const NODE_TITLE = "The nodes";
export const MATH_TITLE = "The mathematics";
export const DIMENSION_TITLE = "The dimensions";
export const LENS_TITLE = "The lenses";
export const MODE_TITLE = "The modes";
export const REPRESENTATION_TITLE = "The representations";
export const PATTERN_TITLE = "The pattern types";
export const MODEL_TITLE = "The models";
export const UNIVERSAL_TITLE = "The universal axes";
export const SURFACE_TITLE = "The test surfaces";
export const TECHNIQUE_TITLE = "The techniques";
export const INVARIANT_TITLE = "The invariants";
export const CELL_TITLE = "The uncovered cells";
export const MAP_TITLE = "The maps";
export const FOUNDATION_SEQUENCE_TITLE = "Foundation sequence";
export const FOUNDATION_LAYERS_TITLE = "Foundation layers";
export const INVARIANT_GROUPS_TITLE = "Invariant groups";
export const PATTERN_OPERATIONS_TITLE = "Pattern operations";
export const EDGE_TITLE = "The groundings";
export const LOOP_CAPTION = "The derivation loop with its gates.";
export const SUBSTRATE_CAPTION = "The substrate cycle and its recursion.";