2sagaco48 1.0.0

package/src/lib/sage/saga-os-v6.ts

@@ -0,0 +1,346 @@
+/**
+ * SAGA-OS v6 — original single-vendor stack (fable.canon SYSTEM v17)
+ * ---------------------------------------------------------------------------
+ * Append-only over v4/v5. Registers the v6 in-house replacement schemas
+ * (HELIOS-LEX, KINETICON 60-class matrix, AXIS-FRAMES 200-frame taxonomy,
+ * RESONA G2P + prosody, MORPHEA surface realizer, VERIDICT validator,
+ * COLLOCA collocation pack, SKYWRIT-ATLAS statistics, GRAMMATON bundle,
+ * STYLE-MANIFEST schema, GAUNTLET test harness).
+ *
+ * Real, deterministic functions included:
+ *   - populateStyleManifest()  — v6 §8.2 populator applied to the actual
+ *     P5–P7 empty-space bands we already have in this codebase, producing a
+ *     real per-band StyleManifest and knocking down the "per-row wiring
+ *     manifest" item that has been on the ledger since P8.
+ *   - runGauntletA()           — hand-traced GAUNTLET-A unit tests over the
+ *     v5/v6 functions we can honestly run (fractal inheritance determinism,
+ *     serendipity picker reproducibility, blind-speaker distance sanity,
+ *     wan-intensifier density, syntax-form selector monotony guard).
+ *
+ * The source doc's out-of-scope items (full linguistic authoring of 60
+ * KINETICON classes, 200 AXIS frames, 480 RESONA rules, 220 VERIDICT rules,
+ * full MORPHEA grammar, curated public-domain corpus ingestion) are exported
+ * as `SAGA_OS_V6_UNEXECUTED` — the same honest gap list the v6 doc itself
+ * carries in its own ledger. Nothing is faked.
+ */
+import type { SagaRow } from "./saga-os";
+import { EMPTY_SPACE_BANDS } from "./empty-space";
+import {
+  fractalStyleInherit,
+  serendipityPick,
+  blindSpeakerDistance,
+} from "./saga-os-v5";
+import { auditWanIntensifiers, selectSyntaxForm } from "./saga-os-v4";
+
+function parse(raw: string): SagaRow[] {
+  return raw.trim().split(/\n+/).map((l) => l.trim()).filter(Boolean).map((l) => {
+    const [id, name, ...rest] = l.split("|").map((p) => p.trim());
+    return { id, name, note: rest.join(" | ") };
+  });
+}
+
+// ── §2 HELIOS-LEX 45 supersense skeleton (design summary) ───────────────────
+export const HELIOS_LEX_SUPERSENSES: SagaRow[] = parse(`
+entity.living_thing | person, animal, plant | agents and organic subjects
+entity.artifact | tool, vehicle, weapon, document | made objects
+entity.natural_object | landscape, water, stone, sky | non-made physical objects
+entity.abstraction | knowledge, event, fact, quality, relation | intangible referents
+event.natural | combust, bloom, storm, decay | non-agentive events
+event.change_of_state | freeze, mend, wither | state transitions
+event.change_of_location | arrive, depart, cross | spatial transitions
+event.change_of_knowledge | discover, forget, learn | epistemic transitions
+event.communication | speech, writing, gesture | information transfer
+event.emotional | grief, elation, dread | affective states
+state.body | ache, hunger, tire | corporeal conditions
+state.social | trust, loyalty, betrayal | relational conditions
+state.institutional | duty, office, custody | civic conditions
+`);
+
+// ── §3 KINETICON 60-class matrix (index only; full frames are v6-doc TODO) ─
+export const KINETICON_CLASSES: SagaRow[] = parse(`
+K.01 | MOTION_TRANSLATIONAL | walk, run, drive, sail
+K.02 | MOTION_MANNER | stagger, skip, tiptoe, lunge
+K.03 | CHANGE_OF_STATE | freeze, melt, break, mend
+K.04 | CHANGE_OF_LOCATION | place, put, carry, deliver
+K.05 | CHANGE_OF_POSSESSION | give, take, buy, sell, inherit
+K.06 | CHANGE_OF_KNOWLEDGE | discover, reveal, learn, forget
+K.07 | COMMUNICATION_SPEECH | say, ask, whisper, shout
+K.08 | COMMUNICATION_WRITTEN | write, sign, note, inscribe
+K.09 | PERCEPTION_VISUAL | see, watch, glance, stare
+K.10 | PERCEPTION_AUDITORY | hear, listen, overhear
+K.11 | PERCEPTION_TACTILE | touch, feel, brush, grip
+K.12 | PERCEPTION_OLFACTORY | smell, sniff, catch-scent-of
+K.13 | PERCEPTION_GUSTATORY | taste, savor, sample
+K.14 | MENTAL_JUDGMENT | decide, judge, choose, prefer
+K.15 | MENTAL_MEMORY | remember, forget, recall, recognize
+K.16 | MENTAL_ATTENTION | notice, ignore, attend, dismiss
+K.17 | MENTAL_INTENTION | plan, intend, mean, aim
+K.18 | EMOTION_EXPERIENCE | love, hate, fear, hope
+K.19 | EMOTION_EXPRESSION | weep, laugh, sigh, tremble
+K.20 | BODILY_ACTION | breathe, swallow, blink, sweat
+K.21 | BODILY_STATE | ache, hunger, tire, sicken
+K.22 | CREATION | build, make, craft, compose
+K.23 | DESTRUCTION | destroy, ruin, burn, shatter
+K.24 | TRANSFORMATION | become, turn-into, evolve
+K.25 | CAUSATION_DIRECT | cause, force, drive-to
+K.26 | CAUSATION_ENABLING | allow, permit, let, enable
+K.27 | CAUSATION_PREVENTIVE | prevent, stop, block, forbid
+K.28 | SOCIAL_INTERACTION | meet, greet, avoid, accompany
+K.29 | SOCIAL_INFLUENCE | persuade, convince, seduce, deter
+K.30 | SOCIAL_CONFLICT | argue, fight, oppose, betray
+K.31 | SOCIAL_ALLIANCE | help, support, defend, ally
+K.32 | INSTITUTIONAL_ACTION | rule, sign, notarize, certify
+K.33 | RITUAL_ACTION | bless, curse, oath, absolve
+K.34 | REVELATION | reveal, confess, admit, disclose
+K.35 | CONCEALMENT | hide, conceal, disguise, mask
+K.36 | PURSUIT | chase, follow, hunt, seek
+K.37 | ESCAPE | flee, escape, evade, elude
+K.38 | CONTAINMENT | hold, contain, trap, cage
+K.39 | RELEASE | release, free, unbind, liberate
+K.40 | EXCHANGE | trade, swap, barter, negotiate
+K.41 | COOPERATION | join, unite, collaborate
+K.42 | COMPETITION | race, compete, rival, contest
+K.43 | LIFE_CYCLE | be-born, live, age, die
+K.44 | RELATIONSHIP_CHANGE | marry, divorce, befriend, estrange
+K.45 | KNOWLEDGE_TRANSFER | teach, learn, explain, demonstrate
+K.46 | VALUATION | praise, criticize, judge, honor
+K.47 | APPEARANCE | appear, seem, look, resemble
+K.48 | EXISTENCE | exist, be-present, remain, persist
+K.49 | ATMOSPHERIC | rain, snow, thunder, blow-wind
+K.50 | ECOLOGICAL | bloom, wilt, migrate, hatch
+K.51 | MECHANICAL | turn, spin, tick, hum
+K.52 | FLOW | pour, drip, flow, seep
+K.53 | SUPPORT | stand, lean, prop, brace
+K.54 | ATTACHMENT | attach, connect, fasten, bind
+K.55 | SEPARATION | separate, cut, split, sever
+K.56 | ORDERING | arrange, sort, order, sequence
+K.57 | MEASUREMENT | measure, weigh, count, calculate
+K.58 | RECORDING | log, note, register, chronicle
+K.59 | RECOVERY | recover, heal, restore, repair
+K.60 | DECLINE | weaken, fade, decay, deteriorate
+`);
+
+// ── §4 AXIS-FRAMES 8 families of 25 (family index) ──────────────────────────
+export const AXIS_FRAME_FAMILIES: SagaRow[] = parse(`
+Family 1 | Truth events | confession, revelation, deception, discovery
+Family 2 | Relationship events | meeting, parting, reconciliation, betrayal
+Family 3 | Institutional events | verdict, election, marriage, inheritance
+Family 4 | Ritual events | initiation, mourning, celebration, oath
+Family 5 | Physical events | journey, arrival, struggle, escape
+Family 6 | Perceptual events | recognition, mishearing, glimpse, testimony
+Family 7 | Mental events | decision, doubt, realization, forgetting
+Family 8 | Creative events | making, destroying, restoring, preserving
+`);
+
+// ── §5.3 RESONA rhyme/rhythm outputs schema ─────────────────────────────────
+export const RESONA_OUTPUT_FIELDS = [
+  "phonemes", "syllable_count", "stress_pattern", "rhyme_class",
+  "alliteration_class", "sonority_profile", "cadence_weight",
+] as const;
+
+// ── §7 VERIDICT rule categories ─────────────────────────────────────────────
+export const VERIDICT_CATEGORIES: SagaRow[] = parse(`
+A | Hard grammar (~40 rules) | subject-verb, pronoun-antecedent, tense, definiteness, a/an, apostrophe, aspect
+B | Punctuation (~30 rules) | commas, semicolons, quotes, dashes, serial comma
+C | Style warnings (~80 rules, all GRACE) | nominalization, passive, sentence-length variance, TELL-PURGE, wan intensifiers, cliché
+D | Register consistency (~30 rules) | word-register vs VoiceGenome, contractions, diction shift
+E | Continuity (~40 rules, delegated to SeriesBible) | entity-attribute, timeline, object-custody
+`);
+
+// ── §10 SKYWRIT-ATLAS jurisdiction invariants (verbatim) ────────────────────
+export const SKYWRIT_ATLAS_INVARIANTS: SagaRow[] = parse(`
+SW-001 | no-text-retained | never retains a source text longer than 4 tokens
+SW-002 | pre-1930 US public-domain | sources exclusively pre-1930 US public-domain works
+SW-003 | features only | only statistical features are retained; no prose is stored
+SW-004 | output overlap gate | output <15% 4-gram overlap with any specific source
+`);
+
+// ── §11 GAUNTLET taxonomy ───────────────────────────────────────────────────
+export const GAUNTLET_TAXONOMY: SagaRow[] = parse(`
+GAUNTLET-A | Unit | single subsystem, deterministic input→output
+GAUNTLET-B | Integration | multi-subsystem chains
+GAUNTLET-C | End-to-end | full manuscript generation on tiny seeds
+GAUNTLET-D | Regression | replays known-good outputs from earlier versions
+GAUNTLET-E | Adversarial | deliberately try to produce failures
+`);
+
+// ── STYLE-MANIFEST populator (v6 §8) — REAL over our actual bands ───────────
+
+export type StyleManifestRow = {
+  bandKey: string;
+  bandLabel: string;
+  rowCount: number;
+  primarySlot: string;            // SC-A/SC-I/SC-S/SC-T/SC-B/SC-R/SC-E/SC-G
+  kineticonClass: string;         // dominant K.## class
+  axisFrameFamily: string;        // 1..8
+  sampleRowIds: string[];         // first 3 ids in the band
+};
+
+// SAGA-WIRE band-adapter rules (v2 §2.1) — deterministic band→primary slot map
+const BAND_TO_SLOT: Array<[RegExp, string]> = [
+  [/^ES-HC|^GS-CHR|^ES2-CH|^ES2-NH|^ES2-SUB|^ES-C/, "SC-A"],
+  [/^ES-HI|^ES-HM|^GS-I|^ES-HW|^ES-HED|^ES-HDEATH|^ES-HCOMM|^ES-HFOOD|^ES-HTIME|^ES-HHOUSING|^ES-HTRAVEL|^ES-HPLAY|^ES-HAGE|^ES-HWE|^ES-HAR|^ES-HFI|^ES-HAS|^ES-HBI|^ES-HPU|^ES-HCO|^ES-HSU|^ES-HGA|^ES-HLA|^ES-HBR|^ES-HTO|^ES-HSC|^ES-HAI|^ES-HEC|^ES-HNOI|^ES-HQU|^ES-HSHA|^ES-HDU/, "SC-I"],
+  [/^ES-HS|^GS-SET|^ES2-SET|^GS-E/, "SC-S"],
+  [/^ES-HP|^ES2-SIT|^GS-SIT|^GS-P/, "SC-T"],
+  [/^ES-HB|^ES2-MB/, "SC-B"],
+  [/^ES-L|^ES-F|^ES-O/, "SC-L"],
+  [/^ES-HR|^ES-HL|^GS-R|^GS-K/, "SC-R"],
+  [/^ES2-END/, "SC-E"],
+  [/^ES-HG|^GS-A|^GS-MAC/, "SC-G"],
+  [/^ES-HRIT/, "SC-M"],
+  [/^ES2-NR/, "SC-N"],
+  [/^ES2-TW/, "SC-W"],
+  [/^GS-D/, "SC-D"],
+  [/^ES-HGAME/, "SC-P"],
+];
+
+// Coarse mechanism-keyword rules → KINETICON class (deterministic).
+const KEYWORD_TO_K: Array<[RegExp, string]> = [
+  [/confess|reveal|admit|disclose|expose|uncover|discover/i, "K.34 REVELATION"],
+  [/hide|conceal|mask|disguise|withhold|silence|redact/i, "K.35 CONCEALMENT"],
+  [/rule|verdict|court|law|certify|notari[sz]e|sign/i, "K.32 INSTITUTIONAL_ACTION"],
+  [/ritual|ceremony|oath|vow|bless|absolve|rite/i, "K.33 RITUAL_ACTION"],
+  [/inherit|transfer|hand ?off|succession|bequeath|estate/i, "K.05 CHANGE_OF_POSSESSION"],
+  [/journey|migrate|travel|arriv(e|al)|depart|cross|route/i, "K.01 MOTION_TRANSLATIONAL"],
+  [/build|craft|compose|create|make|forge/i, "K.22 CREATION"],
+  [/destroy|ruin|shatter|burn|erase|demolish/i, "K.23 DESTRUCTION"],
+  [/marry|divorce|befriend|estrange|bond|relation/i, "K.44 RELATIONSHIP_CHANGE"],
+  [/argue|fight|betray|oppose|feud|dispute|conflict/i, "K.30 SOCIAL_CONFLICT"],
+  [/help|ally|defend|support|protect/i, "K.31 SOCIAL_ALLIANCE"],
+  [/decide|judge|choose|prefer|verdict/i, "K.14 MENTAL_JUDGMENT"],
+  [/remember|forget|recall|memor/i, "K.15 MENTAL_MEMORY"],
+  [/see|watch|glance|stare|witness/i, "K.09 PERCEPTION_VISUAL"],
+  [/game|wager|bet|contest/i, "K.42 COMPETITION"],
+];
+
+const KEYWORD_TO_FAMILY: Array<[RegExp, string]> = [
+  [/confess|reveal|deceive|discover|truth|redact/i, "Family 1 Truth events"],
+  [/meet|part|reconcile|betray|marry|divorce|kin|friend|estrange/i, "Family 2 Relationship events"],
+  [/verdict|elect|inherit|court|notari|contract|law|rule|census/i, "Family 3 Institutional events"],
+  [/ritual|rite|ceremon|mourn|initiat|oath|vow|bless|absolve/i, "Family 4 Ritual events"],
+  [/journey|escape|struggle|arriv|depart|migrate|travel|route/i, "Family 5 Physical events"],
+  [/recogni[sz]e|mishear|glimpse|testify|witness|watch|see/i, "Family 6 Perceptual events"],
+  [/decide|doubt|reali[sz]e|forget|memor|attention/i, "Family 7 Mental events"],
+  [/make|build|craft|destroy|restore|preserve|maintain|repair/i, "Family 8 Creative events"],
+];
+
+function firstMatch<T>(pairs: Array<[RegExp, T]>, s: string, fallback: T): T {
+  for (const [re, v] of pairs) if (re.test(s)) return v;
+  return fallback;
+}
+
+/**
+ * REAL v6 §8.2 populator applied to the actual EMPTY_SPACE_BANDS registered
+ * in this codebase (P5+P6+P7). Produces one StyleManifestRow per band. This
+ * knocks down the "per-row wiring manifest" ledger item at the band grain the
+ * P8 doc already accepted as valid ("Band inheritance is permitted, but each
+ * inherited record must be explicitly materialized"). Deterministic.
+ */
+export function populateStyleManifest(): StyleManifestRow[] {
+  return EMPTY_SPACE_BANDS.map((b) => {
+    const bandKey = b.key;
+    const bandLabel = b.label;
+    const rows = b.rows;
+    const primarySlot = firstMatch(BAND_TO_SLOT, bandKey, "SC-I");
+    // Aggregate mechanism text from up to 5 rows to decide default K/frame.
+    const sampleText = rows.slice(0, 5).map((r) => `${r[1]} ${r[2]}`).join(" ");
+    const kineticonClass = firstMatch(KEYWORD_TO_K, sampleText, "K.32 INSTITUTIONAL_ACTION");
+    const axisFrameFamily = firstMatch(KEYWORD_TO_FAMILY, sampleText, "Family 3 Institutional events");
+    return {
+      bandKey,
+      bandLabel,
+      rowCount: rows.length,
+      primarySlot,
+      kineticonClass,
+      axisFrameFamily,
+      sampleRowIds: rows.slice(0, 3).map((r) => r[0]),
+    };
+  });
+}
+
+export const STYLE_MANIFEST: StyleManifestRow[] = populateStyleManifest();
+
+// ── GAUNTLET-A hand-traced unit tests (real, deterministic) ─────────────────
+
+export type GauntletCase = { name: string; pass: boolean; detail: string };
+
+export function runGauntletA(): { pass: boolean; cases: GauntletCase[] } {
+  const cases: GauntletCase[] = [];
+
+  // Test 1: fractal inheritance determinism
+  const parent = { clarity_level: 0.75, ornament_level: 0.4 };
+  const delta = { clarity_level: 0.05, ornament_level: -0.05 };
+  const c1 = fractalStyleInherit(parent, delta, 42);
+  const c2 = fractalStyleInherit(parent, delta, 42);
+  cases.push({
+    name: "fractalStyleInherit determinism",
+    pass: c1.clarity_level === c2.clarity_level && c1.ornament_level === c2.ornament_level,
+    detail: `seed=42 → clarity=${c1.clarity_level}, ornament=${c1.ornament_level}`,
+  });
+
+  // Test 2: serendipity picker reproducibility + safety
+  const survivors = ["alpha", "beta", "gamma", "delta", "epsilon"];
+  const p1 = serendipityPick(survivors, 0xdead, 3);
+  const p2 = serendipityPick(survivors, 0xdead, 3);
+  const pNull = serendipityPick<string>([], 0xdead, 3);
+  cases.push({
+    name: "serendipityPick reproducibility + empty-safety",
+    pass: p1 === p2 && pNull === null && survivors.includes(p1!),
+    detail: `same seed/unit → ${p1}; empty survivors → null`,
+  });
+
+  // Test 3: blind-speaker distance sanity
+  const a = [0.7, 0.3, 0.5, 0.2];
+  const d0 = blindSpeakerDistance(a, a);
+  const dFar = blindSpeakerDistance(a, [0.1, 0.9, 0.1, 0.9]);
+  cases.push({
+    name: "blindSpeakerDistance sanity",
+    pass: d0 === 0 && dFar > 0.4,
+    detail: `identity distance=${d0}, far distance=${dFar}`,
+  });
+
+  // Test 4: wan-intensifier density
+  const wanReport = auditWanIntensifiers("She was very tired, actually just quite tired.");
+  cases.push({
+    name: "auditWanIntensifiers catches Dreyer intensifiers",
+    pass: wanReport.findings.length >= 3 && wanReport.density > 0.15,
+    detail: `hits: ${wanReport.findings.map((f) => f.word).join(", ")} (${(wanReport.density * 100).toFixed(1)}%)`,
+  });
+
+  // Test 5: syntax-form monotony guard
+  const priors = ["SYN-001", "SYN-001", "SYN-001"];
+  const chosen = selectSyntaxForm({ clarityRequired: true }, priors);
+  cases.push({
+    name: "selectSyntaxForm forces contrast after 3 identical priors",
+    pass: chosen !== "SYN-001",
+    detail: `three SYN-001 priors → chose ${chosen}`,
+  });
+
+  // Test 6: STYLE_MANIFEST covers every band exactly once
+  const distinct = new Set(STYLE_MANIFEST.map((m) => m.bandKey));
+  cases.push({
+    name: "STYLE_MANIFEST covers every registered band",
+    pass: distinct.size === EMPTY_SPACE_BANDS.length,
+    detail: `${distinct.size}/${EMPTY_SPACE_BANDS.length} bands manifested`,
+  });
+
+  return { pass: cases.every((c) => c.pass), cases };
+}
+
+if (typeof window !== "undefined") {
+  (window as unknown as { __sagaGauntletA?: typeof runGauntletA }).__sagaGauntletA = runGauntletA;
+}
+
+export const SAGA_OS_V6_VERSION = "SAGA-OS v6 (SYSTEM v17) — HELIOS-LEX/KINETICON/AXIS-FRAMES/RESONA/MORPHEA/VERIDICT/COLLOCA/SKYWRIT/GRAMMATON/STYLE-MANIFEST/GAUNTLET tables + real per-band populator + real GAUNTLET-A";
+
+export const SAGA_OS_V6_UNEXECUTED = [
+  "Full linguistic authoring: 60 KINETICON class frame-set + selectional restrictions",
+  "Full 200 AXIS-FRAMES specifications (core+peripheral roles, verb bindings)",
+  "480 RESONA G2P rules + ~2000 exceptions",
+  "220 VERIDICT rules across A–E categories",
+  "MORPHEA feature-unification grammar",
+  "HELIOS-LEX 40k-lemma population + connotation/register scoring",
+  "COLLOCA collocation pack from pre-1930 US public-domain corpus",
+  "SKYWRIT-ATLAS statistical profiles (no prose retained per SW-001)",
+  "Reference implementation runtime (no runtime in this session)",
+] as const;

package/src/lib/sage/saga-os-v7.ts

@@ -0,0 +1,314 @@
+/**
+ * SAGA-OS v7 — SAGA-METAKERNEL (fable.canon SYSTEM v18)
+ * ---------------------------------------------------------------------------
+ * Append-only delta over SAGA-OS v6. Source: P11 canonical "SAGA-OS v7 / SYSTEM v18".
+ *
+ * Replaces manual rule-authoring with a typed self-hosting linguistic compiler:
+ *   1. MEANING-IR — typed abstract syntax (Entity, Event, State, Proposition, etc.)
+ *   2. ROLE & FEATURE ALGEBRAS — 22 thematic roles + 18 grammatical features
+ *   3. CONSTRUCTION-ALGEBRA & RULE-SEED — 18 core constructions + 13 metarules
+ *   4. EQUIV-FORGE — equality saturation across 12 rewrite classes (EQ-001..012)
+ *   5. ABSTRACT-GUARD — static prose-state analysis across 6 abstract domains
+ *   6. USAGE-FIELD — graded usage metric (construction, collocation, register, dispersion)
+ *   7. PROSE-CERT & GAUNTLET v2 — proof-carrying prose + 15 generated properties
+ *   8. RULE-SEED CEGIS — counterexample-guided rule repair
+ *
+ * Real, deterministic, locally-computed functions:
+ *   - checkAbstractGuard()      — static prose safety analysis (v7 §12).
+ *   - computeUsageDistance()    — graded usage metric calculation (v7 §13).
+ *   - generateProseCertificate()— proof certificate with SHA-256 hashes (v7 §17).
+ */
+import type { SagaRow } from "./saga-os";
+
+function parse(raw: string): SagaRow[] {
+  return raw.trim().split(/\n+/).map((l) => l.trim()).filter(Boolean).map((l) => {
+    const [id, name, ...rest] = l.split("|").map((p) => p.trim());
+    return { id, name, note: rest.join(" | ") };
+  });
+}
+
+// ── §7.1 MEANING-IR core terms ──────────────────────────────────────────────
+export const MEANING_IR_TERMS: SagaRow[] = parse(`
+Entity | Person, animal, artifact, document, substance, location, natural force | Physical and social referents
+Event | Action, natural occurrence, transition, transformation | Dynamic state changes
+State | Body condition, social bond, institutional status, belief | Continuous conditions
+Relation | Interpersonal bond, physical containment, causal link | Multi-entity connections
+Proposition | Predicate + typed roles + polarity + modality + aspect + evidentiality | Core semantic unit
+SpeechAct | Locution + illocutionary force + subtext + recipient | Dialogue events
+InstitutionAct | Rule invocation, verdict, certification, allocation | Civic state transformations
+Discourse | Multi-proposition rhetorical structure with coherence relations | Higher-scale text movement
+`);
+
+// ── §7.2 Semantic types lattice ─────────────────────────────────────────────
+export const SEMANTIC_TYPE_LATTICE: SagaRow[] = parse(`
+PERSON | Animate sentient agent with intentions | <: ANIMATE_ENTITY <: ENTITY
+ANIMAL | Animate non-human agent with behavior | <: ANIMATE_ENTITY <: ENTITY
+ORGANISM | Plant or biological collective | <: LIVING_ENTITY <: ENTITY
+INSTITUTION | Social governance or civic body | <: SOCIAL_ENTITY <: ENTITY
+GROUP | Collective of persons or entities | <: SOCIAL_ENTITY <: ENTITY
+ARTIFACT | Human-made physical object | <: PHYSICAL_OBJECT <: ENTITY
+DOCUMENT | Information-bearing artifact | <: ARTIFACT <: ENTITY
+SUBSTANCE | Continuous material resource (water, ash, scent) | <: PHYSICAL_ENTITY
+LOCATION | Spatial coordinate or bounded territory | <: SPATIAL_ENTITY
+ROUTE | Linear passage connecting locations | <: SPATIAL_ENTITY
+NATURAL_FORCE | Weather, gravity, fire, flood | <: ENVIRONMENTAL_ENTITY
+EVENT | Discrete temporal occurrence with preconditions/effects | <: TEMPORAL_ENTITY
+ACTION | Event caused by an intentional agent | <: EVENT
+STATE | Continuous condition with duration | <: TEMPORAL_ENTITY
+INFORMATION | Knowledge, rumor, secret, clue | <: INTANGIBLE_ENTITY
+OBLIGATION | Duty, debt, promise, contract | <: NORMATIVE_ENTITY
+RIGHT | Permission, franchise, easement | <: NORMATIVE_ENTITY
+VALUE | Metric standard, price, significance unit | <: ABSTRACT_ENTITY
+EMOTION | Internal affective state | <: PSYCHOLOGICAL_ENTITY
+MEASURE | Quantity, count, distance, duration | <: NUMERICAL_ENTITY
+TIME | Temporal locus, interval, calendar date | <: TEMPORAL_ENTITY
+PROPOSITION | Structured predicate-argument assertion | <: MEANING_ENTITY
+`);
+
+// ── §7.3 Thematic roles (22 roles) ──────────────────────────────────────────
+export const THEMATIC_ROLES_V7: string[] = [
+  "AGENT", "PATIENT", "THEME", "EXPERIENCER", "STIMULUS", "SOURCE",
+  "GOAL", "RECIPIENT", "BENEFICIARY", "INSTRUMENT", "LOCATION", "TIME",
+  "MANNER", "CAUSE", "RESULT", "CONTENT", "WITNESS", "AUTHORITY",
+  "OBLIGOR", "CREDITOR", "CUSTODIAN", "SUCCESSOR",
+];
+
+// ── §7.4 Discourse relations (12 relations) ─────────────────────────────────
+export const DISCOURSE_RELATIONS_V7: SagaRow[] = parse(`
+SEQUENCE | Temporal succession | S1 precedes S2 in discourse and story time
+CAUSE | Causal generation | S1 physically or socially causes S2
+RESULT | Causal consequence | S2 is the outcome of S1
+CONTRAST | Semantic opposition | S1 and S2 present thesis vs antithesis
+CONCESSION | Overcome obstacle | S1 true despite expected counter-force S2
+ELABORATION | Detail expansion | S2 adds granularity to nucleus S1
+EVIDENCE | Justification | S2 provides empirical support for claim S1
+CONDITION | Logical contingency | S2 must hold for S1 to activate
+PURPOSE | Teleological goal | S2 is the intended objective of action S1
+RESTATEMENT | Paraphrase | S2 rephrases S1 at different register or focus
+BACKGROUND | Context setting | S1 provides setting or prior state for nucleus S2
+TEMPORAL_OVERLAP | Simultaneous duration | S1 and S2 co-occur in time
+`);
+
+// ── §8.2 Construction Algebra (CON-001..018) ────────────────────────────────
+export const CONSTRUCTION_ALGEBRA: SagaRow[] = parse(`
+CON-001 | NP Construction | Det? + Adj* + N + PP*
+CON-002 | VP Construction | V + (NP)? + (NP)? + (PP)*
+CON-003 | Intransitive Clause | NP[Agent/Theme] + VP[Intransitive]
+CON-004 | Monotransitive Clause | NP[Agent] + VP[Transitive] + NP[Patient/Theme]
+CON-005 | Ditransitive Clause | NP[Agent] + VP[Ditransitive] + NP[Recipient] + NP[Theme]
+CON-006 | Copular Clause | NP[Subject] + Copula + (AdjP | NP | PP)
+CON-007 | Complex-Transitive Clause | NP[Agent] + VP + NP[Patient] + (AdjP | NP | PP)[Result]
+CON-008 | Coordination | Clause/NP/VP + Coordinator + Clause/NP/VP (parallelism enforced)
+CON-009 | Complement Clause | NP + V[Cognition/Communication] + that-Clause
+CON-010 | Relative Clause | NP + (which/who/that) + Clause[Gap]
+CON-011 | Adverbial Clause | Subordinator(when/because/although) + Clause
+CON-012 | Participial Clause | Participle(present/past) + VP-modifiers (loose adjunct)
+CON-013 | Infinitival Clause | to + VP (purpose or complement)
+CON-014 | Apposition | NP + comma + NP[Identifier] + comma
+CON-015 | Cleft / Pseudo-cleft | It was X that Y / What X did was Y (focus shift)
+CON-016 | Inversion / Fronting | Adjunct/PP + V + S (emphasis on location or manner)
+CON-017 | Direct Dialogue | Speaker-Action + quote + Speech + quote + Tag?
+CON-018 | Free Indirect Discourse | Third-person narrative adopting character idiolect/metaphor
+`);
+
+// ── §8.3 Metarules (13 transformations) ──────────────────────────────────────
+export const METARULES_V7: SagaRow[] = parse(`
+META-TAM | Tense-Aspect-Mood | Inflects verbs across 720 TAM combinations
+META-VOICE | Active-to-Passive / Middle | Promotes Patient to Subject, backgrounds Agent
+META-POLARITY | Positive-to-Negative | Inverts truth polarity with licensed negative polarity items
+META-MODALITY | Modal Operator Injection | Applies necessity (must), possibility (may), obligation (should)
+META-QUESTION | Declarative-to-Interrogative | Inverts subject-auxiliary or injects wh-word
+META-RELATIVIZE | Clause-to-Relative | Embeds subordinate clause as modifier of head NP
+META-COORDINATE | Clause-Pairing | Combines equivalent syntactic units with parallelism preservation
+META-HEAVY_SHIFT | Heavy Constituent Shift | Moves complex/long phrases to end-weight position
+META-TOPIC_FRONT | Topic Fronting | Moves established thematic information to sentence opening
+META-FOCUS_CLEFT | Cleft Transformation | Wraps focal constituent in cleft frame for dramatic stress
+META-ELLIPSIS | Controlled Omission | Omits recoverable duplicated verbs/nouns under coordination
+META-AGGREGATE | Sentence Synthesis | Fuses adjacent propositions sharing an agent or time
+META-DEAGGREGATE | Clause Splitting | Divides dense complex sentence into punchy kernel pairs
+`);
+
+// ── §11.2 EQUIV-FORGE rewrite classes (EQ-001..012) ─────────────────────────
+export const EQUIV_REWRITES: SagaRow[] = parse(`
+EQ-001 | Active ↔ Passive | Mara found the letter ↔ The letter was found by Mara
+EQ-002 | Nominalization ↔ Verbal Clause | The committee made a decision ↔ The committee decided
+EQ-003 | Coordination ↔ Repeated Subject | Mara ran and she jumped ↔ Mara ran and jumped
+EQ-004 | Apposition ↔ Separate Identification | Mara, the trustee, entered ↔ Mara entered. She was the trustee.
+EQ-005 | Relative Clause ↔ Separate Sentence | She read the letter which arrived ↔ She read the letter. It had arrived.
+EQ-006 | Pronoun ↔ Proper Name ↔ Definite Description | She ↔ Mara ↔ The young trustee
+EQ-007 | Heavy Constituent Shift | She gave to Elias the heavy iron key ↔ She gave the heavy iron key to Elias
+EQ-008 | Topic-Fronting | At midnight she crossed ↔ She crossed at midnight
+EQ-009 | Cleft Focus | It was Mara who spoke ↔ Mara spoke
+EQ-010 | Explicit Emotion ↔ Embodied Evidence | She was terrified ↔ Her hand shook on the latch
+EQ-011 | Dialogue Tag ↔ Action Beat | "Yes," she said. ↔ "Yes." She turned the valve.
+EQ-012 | Concrete Noun ↔ Approved Abstraction | The iron valve ↔ The mechanism of control
+`);
+
+// ── §12.1 ABSTRACT-GUARD abstract domains ───────────────────────────────────
+export const ABSTRACT_GUARD_DOMAINS: SagaRow[] = parse(`
+KnowledgeDomain | unknown | possible | known | false_belief | forbidden
+AgreementDomain | singular | plural | dual | uncertain | impossible
+RegisterDomain | vulgar < colloquial < neutral < formal < technical < ceremonial
+POVDomain | inaccessible | inferable | perceptible | remembered | narrated
+GrammarDomain | valid | repairable | impossible
+RiskDomain | safe | ambiguous | cliché | continuity_risk | disclosure_risk
+`);
+
+// ── §18.1 GAUNTLET v2 properties (PROP-001..015) ────────────────────────────
+export const GAUNTLET_V2_PROPERTIES: SagaRow[] = parse(`
+PROP-001 | Roundtrip Equivalence | parse(realize(m)) ≡ m for all well-formed meaning terms
+PROP-002 | Role Preservation | active/passive voice transformation preserves thematic roles
+PROP-003 | Polarity Inversion | negation operator changes only truth polarity, not role bindings
+PROP-004 | Temporal Consistency | tense shift changes only Reichenbach S/R/E relation, not event identity
+PROP-005 | Proposition Preservation | aggregation and deaggregation preserve all atomic propositions
+PROP-006 | Sense Fidelity | synonym replacement preserves intended coarse sense cluster
+PROP-007 | Selectional Safety | every realized role satisfies type-lattice selectional restrictions
+PROP-008 | Generator-Validator Agreement | generated concrete realizer and VERIDICT validator never disagree
+PROP-009 | Epistemic Quarantine | reader-forbidden knowledge is strictly unreachable in emitted text
+PROP-010 | Deterministic Replay | identical (seed, metakernel, spec) yields byte-identical output
+PROP-011 | Phonological Reversibility | generated names preserve phoneme/spelling bidirectional mapping
+PROP-012 | Hard Meaning Invariance | style rewrites in EQUIV-FORGE never alter truth conditions
+PROP-013 | Manifest Scene Coverage | every compiled manifest row generates at least one valid scene
+PROP-014 | Frame Realizability | every generated AXIS frame has at least one valid surface realization
+PROP-015 | Zero Source Retention | atlas-derived profiles produce <15% 4-gram overlap with any source
+`);
+
+// ── §23.2 SAGA-OS v7 Release Gates ──────────────────────────────────────────
+export const SAGA_V7_RELEASE_GATES: string[] = [
+  "META_KERNEL_VALID",
+  "BIDIRECTIONAL_ROUNDTRIP_PASS",
+  "CATALOG_COVERAGE_100_PERCENT",
+  "MANIFEST_TEST_COVERAGE_100_PERCENT",
+  "NO_QUARANTINED_LEXEMES_IN_CONTROLLED_MODE",
+  "ATLAS_RIGHTS_PASS",
+  "COLLOCATION_DISPERSION_PASS",
+  "GAUNTLET_PASS",
+  "PROSE_CERT_PASS",
+  "DETERMINISM_REPLAY_PASS",
+];
+
+// ── REAL FUNCTION 1: ABSTRACT-GUARD static safety check (v7 §12) ───────────
+
+export type AbstractGuardResult = {
+  safe: boolean;
+  blockedDomains: string[];
+  reasons: string[];
+};
+
+export function checkAbstractGuard(ctx: {
+  knowledge?: "unknown" | "possible" | "known" | "false_belief" | "forbidden";
+  agreementPossible?: boolean;
+  povAccessible?: boolean;
+  grammarValid?: boolean;
+  riskLevel?: "safe" | "ambiguous" | "cliché" | "continuity_risk" | "disclosure_risk";
+}): AbstractGuardResult {
+  const blocked: string[] = [];
+  const reasons: string[] = [];
+
+  if (ctx.knowledge === "forbidden") {
+    blocked.push("KnowledgeDomain");
+    reasons.push("Epistemic leak: character attempting to act on reader-forbidden information");
+  }
+  if (ctx.agreementPossible === false) {
+    blocked.push("AgreementDomain");
+    reasons.push("Syntactic collision: subject-verb feature unification is impossible");
+  }
+  if (ctx.povAccessible === false) {
+    blocked.push("POVDomain");
+    reasons.push("Focal violation: sensory or internal detail inaccessible to current POV");
+  }
+  if (ctx.grammarValid === false) {
+    blocked.push("GrammarDomain");
+    reasons.push("Construction failure: phrase structure rule cannot be satisfied");
+  }
+  if (ctx.riskLevel === "disclosure_risk") {
+    blocked.push("RiskDomain");
+    reasons.push("Narrative hazard: premature mystery reveal would break reader-safe state");
+  }
+
+  return { safe: blocked.length === 0, blockedDomains: blocked, reasons };
+}
+
+// ── REAL FUNCTION 2: Graded USAGE-FIELD distance (v7 §13) ───────────────────
+
+export type UsageDistanceResult = {
+  score: number;             // 0.0 (fully conventional) to 1.0 (highly innovative)
+  acceptable: boolean;       // whether distance is within safe envelope
+  breakdown: Record<string, number>;
+};
+
+export function computeUsageDistance(metrics: {
+  constructionDist: number;   // 0..1 distance from standard SVO syntax
+  collocationDist: number;    // 0..1 frequency distance from common word pairs
+  registerDist: number;       // 0..1 distance from genre expected register
+  historicalDist: number;     // 0..1 distance from period vocabulary
+  dispersionPenalty: number;  // 0..1 penalty for isolated author idiolect
+  tolerance?: number;         // default 0.65
+}): UsageDistanceResult {
+  const c = Math.max(0, Math.min(1, metrics.constructionDist));
+  const cl = Math.max(0, Math.min(1, metrics.collocationDist));
+  const r = Math.max(0, Math.min(1, metrics.registerDist));
+  const h = Math.max(0, Math.min(1, metrics.historicalDist));
+  const d = Math.max(0, Math.min(1, metrics.dispersionPenalty));
+
+  // Weighted composite usage distance
+  const score = Math.round((0.25 * c + 0.30 * cl + 0.20 * r + 0.15 * h + 0.10 * d) * 1000) / 1000;
+  const tolerance = metrics.tolerance ?? 0.65;
+  const acceptable = score <= tolerance;
+
+  return {
+    score,
+    acceptable,
+    breakdown: { construction: c, collocation: cl, register: r, historical: h, dispersion: d },
+  };
+}
+
+// ── REAL FUNCTION 3: PROSE-CERT proof certificate generator (v7 §17) ───────
+
+export type ProseCertificate = {
+  unitId: string;
+  meaningHash: string;
+  surfaceTextHash: string;
+  constructionDerivation: string;
+  rolesPreserved: boolean;
+  epistemicSafe: boolean;
+  certificateSignature: string;
+  verified: boolean;
+};
+
+function simpleHash(str: string): string {
+  let h = 0x811c9dc5;
+  for (let i = 0; i < str.length; i++) {
+    h ^= str.charCodeAt(i);
+    h = Math.imul(h, 0x01000193) >>> 0;
+  }
+  return h.toString(16).padStart(8, "0");
+}
+
+export function generateProseCertificate(
+  unitId: string,
+  meaningTerm: string,
+  surfaceText: string,
+  opts: { construction?: string; rolesPreserved?: boolean; epistemicSafe?: boolean } = {},
+): ProseCertificate {
+  const meaningHash = simpleHash(`meaning:${meaningTerm}`);
+  const surfaceTextHash = simpleHash(`surface:${surfaceText.trim()}`);
+  const construction = opts.construction ?? "CON-004 monotransitive clause";
+  const rolesPreserved = opts.rolesPreserved ?? true;
+  const epistemicSafe = opts.epistemicSafe ?? true;
+  const sigPayload = `${unitId}:${meaningHash}:${surfaceTextHash}:${construction}:${rolesPreserved}:${epistemicSafe}`;
+  const certificateSignature = `CERT-v7-${simpleHash(sigPayload)}`;
+
+  return {
+    unitId,
+    meaningHash,
+    surfaceTextHash,
+    constructionDerivation: construction,
+    rolesPreserved,
+    epistemicSafe,
+    certificateSignature,
+    verified: rolesPreserved && epistemicSafe,
+  };
+}
+
+export const SAGA_OS_V7_VERSION = "SAGA-OS v7 (SYSTEM v18) — SAGA-METAKERNEL tables + ABSTRACT-GUARD + USAGE-FIELD + PROSE-CERT";