# configuration/strings/reason.strings.ts

> 106 lines of code and 88 definitions.

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

## Definitions

- `LOOP_INTRO` (lexical_declaration, line 7, exported)
- `SUBSTRATE_INTRO` (lexical_declaration, line 8, exported)
- `REASON_LAYER_INTRO` (lexical_declaration, line 10, exported)
- `AXES_INTRO` (lexical_declaration, line 12, exported)
- `NODE_INTRO` (lexical_declaration, line 14, exported)
- `MATH_INTRO` (lexical_declaration, line 16, exported)
- `DIMENSION_INTRO` (lexical_declaration, line 18, exported)
- `LENS_INTRO` (lexical_declaration, line 20, exported)
- `MODE_INTRO` (lexical_declaration, line 22, exported)
- `REPRESENTATION_INTRO` (lexical_declaration, line 24, exported)
- `PATTERN_INTRO` (lexical_declaration, line 25, exported)
- `MODEL_INTRO` (lexical_declaration, line 26, exported)
- `UNIVERSAL_INTRO` (lexical_declaration, line 27, exported)
- `SURFACE_INTRO` (lexical_declaration, line 29, exported)
- `TECHNIQUE_INTRO` (lexical_declaration, line 30, exported)
- `INVARIANT_INTRO` (lexical_declaration, line 32, exported)
- `CELL_INTRO` (lexical_declaration, line 33, exported)
- `MAP_INTRO` (lexical_declaration, line 35, exported)
- `EDGE_INTRO` (lexical_declaration, line 37, exported)
- `QUESTION_LABEL` (lexical_declaration, line 40, exported)
- `MANDATORY_LABEL` (lexical_declaration, line 41, exported)
- `SELECTABLE_LABEL` (lexical_declaration, line 42, exported)
- `CONCEPT_LABEL` (lexical_declaration, line 43, exported)
- `DECISION_LABEL` (lexical_declaration, line 44, exported)
- `ANSWER_LABEL` (lexical_declaration, line 45, exported)
- `ROLE_LABEL` (lexical_declaration, line 46, exported)
- `NODES_LABEL` (lexical_declaration, line 47, exported)
- `AXES_LABEL` (lexical_declaration, line 48, exported)
- `PREDICATE_FAMILY_LABEL` (lexical_declaration, line 49, exported)
- `YIELDS_SHAPE_LABEL` (lexical_declaration, line 50, exported)
- `STUDIES_LABEL` (lexical_declaration, line 51, exported)
- `NATURE_LABEL` (lexical_declaration, line 52, exported)
- `UNIVERSAL_AXIS_LABEL` (lexical_declaration, line 53, exported)
- `FIELDS_LABEL` (lexical_declaration, line 54, exported)
- `SURFACES_LABEL` (lexical_declaration, line 55, exported)
- `TEST_SURFACES_LABEL` (lexical_declaration, line 56, exported)
- `DETECTORS_LABEL` (lexical_declaration, line 57, exported)
- `LENSES_LABEL` (lexical_declaration, line 58, exported)
- `SEQUENCE_TITLE` (lexical_declaration, line 59, exported)
- `SUBSUMES_LABEL` (lexical_declaration, line 60, exported)
- `DIMENSION_LABEL` (lexical_declaration, line 61, exported)
- `LENS_LABEL` (lexical_declaration, line 62, exported)
- `FAILURE_MODES_LABEL` (lexical_declaration, line 63, exported)
- `TECHNIQUES_LABEL` (lexical_declaration, line 64, exported)
- `PREDICATE_TITLE` (lexical_declaration, line 65, exported)
- `PREDICATE_GROUNDS_LABEL` (lexical_declaration, line 66, exported)
- `EVIDENCE_LABEL` (lexical_declaration, line 67, exported)
- `EVIDENCE_GROUNDS_LABEL` (lexical_declaration, line 68, exported)
- `VERDICTS_LABEL` (lexical_declaration, line 69, exported)
- `MODE_LABEL` (lexical_declaration, line 70, exported)
- `RECURSION_LABEL` (lexical_declaration, line 71, exported)
- `TRANSITION_LABEL` (lexical_declaration, line 72, exported)
- `GATE_LABEL` (lexical_declaration, line 73, exported)
- `ON_PASS_LABEL` (lexical_declaration, line 74, exported)
- `ON_FAIL_LABEL` (lexical_declaration, line 75, exported)
- `TARGET_LABEL` (lexical_declaration, line 76, exported)
- `EDGE_LABEL` (lexical_declaration, line 77, exported)
- `MATH_TYPES_LABEL` (lexical_declaration, line 78, exported)
- `MEMBERS_LABEL` (lexical_declaration, line 79, exported)
- `REQUIRED_LABEL` (lexical_declaration, line 80, exported)
- `OPTIONAL_LABEL` (lexical_declaration, line 81, exported)
- `CELL_JOIN` (lexical_declaration, line 82, exported)
- `TRANSITIONS_TITLE` (lexical_declaration, line 83, exported)
- `LOOP_SECTION_TITLE` (lexical_declaration, line 84, exported)
- `SUBSTRATE_SECTION_TITLE` (lexical_declaration, line 85, exported)
- `REASON_LAYER_TITLE` (lexical_declaration, line 86, exported)
- `AXES_TITLE` (lexical_declaration, line 87, exported)
- `NODE_TITLE` (lexical_declaration, line 88, exported)
- `MATH_TITLE` (lexical_declaration, line 89, exported)
- `DIMENSION_TITLE` (lexical_declaration, line 90, exported)
- `LENS_TITLE` (lexical_declaration, line 91, exported)
- `MODE_TITLE` (lexical_declaration, line 92, exported)
- `REPRESENTATION_TITLE` (lexical_declaration, line 93, exported)
- `PATTERN_TITLE` (lexical_declaration, line 94, exported)
- `MODEL_TITLE` (lexical_declaration, line 95, exported)
- `UNIVERSAL_TITLE` (lexical_declaration, line 96, exported)
- `SURFACE_TITLE` (lexical_declaration, line 97, exported)
- `TECHNIQUE_TITLE` (lexical_declaration, line 98, exported)
- `INVARIANT_TITLE` (lexical_declaration, line 99, exported)
- `CELL_TITLE` (lexical_declaration, line 100, exported)
- `MAP_TITLE` (lexical_declaration, line 101, exported)
- `FOUNDATION_SEQUENCE_TITLE` (lexical_declaration, line 102, exported)
- `FOUNDATION_LAYERS_TITLE` (lexical_declaration, line 103, exported)
- `INVARIANT_GROUPS_TITLE` (lexical_declaration, line 104, exported)
- `PATTERN_OPERATIONS_TITLE` (lexical_declaration, line 105, exported)
- `EDGE_TITLE` (lexical_declaration, line 106, exported)
- `LOOP_CAPTION` (lexical_declaration, line 107, exported)
- `SUBSTRATE_CAPTION` (lexical_declaration, line 108, exported)

## Source

```typescript
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 = `Every algorithm grammar is an instance of the derivation loop, which has ten stages, each on one reasoning axis, joined by transitions that sequence, gate or refute back. Each stage is listed with the contracts that run at it and the records it grounds, and the traversal is taught in <a href="${pagePath(METHODOLOGY_PAGE)}${ANCHOR_PREFIX}${LOOP_SECTION_ID}">the loop</a> on the methodology page.`;
export const SUBSTRATE_INTRO =
    "Beneath the loop lies the generative substrate, meaning 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 reasoning axes are arranged on these layers, each listed with the question it answers and the axes it holds.";
export const AXES_INTRO =
    "Each reasoning axis is a typed, terminating question on one layer, listed with the nodes a run may select on it and the contracts positioned on it.";
export const NODE_INTRO =
    "Every node on the axes is listed with 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 predicates are typed by these math types, each listed with its contracts and the domains of mathematics it draws on.";
export const DIMENSION_INTRO =
    "The ontological dimensions are what can be observed about a subject, and each is listed with the test surfaces that observe it.";
export const LENS_INTRO =
    "The analysis lenses are how a subject is seen. Each sits on one universal axis and is listed 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 =
    "Each reasoning mode is listed with the practice it names and the techniques that work in it.";
export const REPRESENTATION_INTRO = "A result can be encoded in any of these representation layers.";
export const PATTERN_INTRO = "Each pattern type is listed with the mathematical viewpoint it takes.";
export const MODEL_INTRO = "The models are sequences that restate the same cycle from different starting points.";
export const UNIVERSAL_INTRO =
    "The five universal axes are listed with the dimensions each one subsumes and the lenses that sit on it.";
export const SURFACE_INTRO = `The test surfaces are what a system can be wrong about. Each is a dimension seen through a lens, listed 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 in <a href="${tabLink(ARCHITECTURE_PAGE, COVERAGE_TAB, GRID_SECTION_ID)}">what can drift, seen through how it drifts</a>.`;
export const TECHNIQUE_INTRO =
    "Each technique a surface is observed by works in one reasoning mode and is listed with the surfaces that use it.";
export const INVARIANT_INTRO = "Each invariant the test surfaces assert is listed with the surfaces that assert it.";
export const CELL_INTRO =
    "These cells of the dimension and lens grid are not yet covered by any surface. The list is derived from the grid and the surfaces, never stored.";
export const MAP_INTRO =
    "The reasoning face carries these maps beside its records, namely the foundation sequence with 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 is listed with the record it leaves from and the record or grammar it lands on, or with 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.";
```