@sharpee/chord 3.0.0

package/ir.d.ts

@@ -0,0 +1,511 @@
+/**
+ * ir.ts — the Story IR wire types (`story language 1`).
+ *
+ * Purpose: the versioned, JSON-serializable product of Chord compilation
+ * (ADR-210: the IR is the product). Everything is resolved — entity
+ * references are canonical IDs, phrase keys are validated, event headers
+ * are segmented — but statements remain trees: the loader performs the
+ * four-phase partition (§5.4) at bind time. Nodes carry source spans for
+ * error reporting and IDE tooling.
+ *
+ * Public interface: StoryIR and every IR* type; IR_FORMAT.
+ * Owner context: @sharpee/chord owns this schema (ADR-210 Interface
+ * Contract 1, owner-confirmed 2026-07-10); @sharpee/ide-protocol re-exports
+ * it. Invariant: pure data — JSON.parse(JSON.stringify(ir)) is identity.
+ */
+import type { Span } from './span';
+/** Format stamp of this IR schema. Consumers refuse unknown formats. */
+export declare const IR_FORMAT = "story language 1";
+/** Root of a compiled story. */
+export interface StoryIR {
+    format: typeof IR_FORMAT;
+    meta: IRMeta;
+    /** The story object's declared phases (ownership package D2). */
+    story: {
+        states: string[];
+        reversible: boolean;
+    };
+    entities: IREntity[];
+    conditions: IRNamedCondition[];
+    phrases: IRPhrases;
+    verbs: IRVerbDef[];
+    hatches: IRHatch[];
+    traits: IRTraitDef[];
+    actions: IRActionDef[];
+    /** Owner-attached score identities (D12) — names are owner-qualified (`pygmy-goats.fed`). */
+    scores: IRScoreDef[];
+    sequences: IRSequenceDef[];
+    /** True when any hatch is declared — the pure-IR profile refuses these (AC-4). */
+    hasHatches: boolean;
+}
+export interface IRMeta {
+    title: string;
+    author: string;
+    /** Raw header fields (id, version, blurb, ...). */
+    fields: Record<string, string>;
+}
+export interface IREntity {
+    /** Canonical slug (lowercased name words joined with `-`). Unique. */
+    id: string;
+    /** Display name without article. */
+    name: string;
+    /** Leading article as written (`the`), or null. */
+    article: string | null;
+    aka: string[];
+    /** True for the story's player entity (`create the player`). */
+    isPlayer: boolean;
+    /** Kind-noun compositions (`a room`), in declaration order. */
+    kinds: IRComposition[];
+    /** Trait-adjective compositions (`scenery`, `dark while …`). */
+    traits: IRComposition[];
+    placement: IRPlacement | null;
+    /** Entity IDs this entity wears at start (player wears the cloak). */
+    wears: string[];
+    exits: IRExit[];
+    blockedExits: IRBlockedExit[];
+    /**
+     * Ordered state names — the entity's own `states:` line first, then every
+     * composed trait's declared set in composition order (D8 merge; one
+     * namespace per entity, collisions are load errors).
+     */
+    states: string[];
+    /**
+     * The entity's OWN `states:` line permits back-transitions (D4). Trait
+     * sets carry their own flag on IRTraitDef — the runtime resolves a
+     * `change` target's declaring set for the forward-march check.
+     */
+    statesReversible: boolean;
+    /** Phrase key of the description in the phrase table, or null. */
+    descriptionKey: string | null;
+    /**
+     * Phrase key of the `first time` (first-visit) description (Z1), or null.
+     * Rooms only — the loader binds it to `RoomTrait.initialDescription`.
+     */
+    initialDescriptionKey: string | null;
+    onClauses: IROnClause[];
+    span: Span;
+}
+export interface IRComposition {
+    name: string;
+    config: IRConfigSetting[];
+    /** Conditional composition (`dark while …`), or null. */
+    condition: IRCondition | null;
+    span: Span;
+}
+export interface IRConfigSetting {
+    /** Setting key words joined with a space (`max items`). */
+    key: string;
+    value: string;
+    /** 'name' = multi-word entity-name value (`with food the handful of feed`, Phase B). */
+    valueKind: 'number' | 'string' | 'word' | 'name';
+}
+export interface IRPlacement {
+    relation: 'in' | 'on' | 'starts-in';
+    /** Entity ID of the containing place. */
+    place: string;
+    span: Span;
+}
+export interface IRExit {
+    direction: string;
+    /** Entity ID of the destination room. */
+    to: string;
+    span: Span;
+}
+export interface IRBlockedExit {
+    direction: string;
+    phraseKey: string;
+    /** `is blocked while <cond>` — null = always blocked (grammar log 2026-07-10). */
+    condition: IRCondition | null;
+    span: Span;
+}
+export interface IROnClause {
+    /** `on` = intercept (may refuse; primary text), `after` = react (appends; ratchet D3). */
+    clauseKind: 'on' | 'after';
+    /** `, once` clause modifier — one lifetime firing (ratchet D5). */
+    once: boolean;
+    /** Action word as written (gerund), e.g. `reading`; `every-turn` for `on every turn`. */
+    action: string;
+    /** How the clause binds: target (`it`), role (`anything as the <role>`), or every turn. */
+    binding: 'it' | 'role' | 'every-turn';
+    /** Role name for role-bound clauses (validated against the action's roles). */
+    role: string | null;
+    /** `while` qualifier (every-turn clauses). */
+    condition: IRCondition | null;
+    /** Explicit `before`/`after` ordering between traits on the same action. */
+    ordering: {
+        relation: 'before' | 'after';
+        trait: string;
+    } | null;
+    /**
+     * §5.4 compiler rule: clauses on standard-semantics actions compile to
+     * ActionInterceptors; clauses on dispatch verbs (`define action`) compile
+     * to CapabilityBehaviors. Null for every-turn clauses (daemon-shaped).
+     */
+    routing: 'interceptor' | 'capability' | null;
+    /**
+     * Narration scope (decision 10, 2026-07-11): entity/trait-owned clauses
+     * are presence-scoped — the loader fires their narration only when the
+     * player shares the owner's location (performances need an audience;
+     * presence, not sight). Story-owned schedule/sequence bodies broadcast.
+     * All on-clauses are owner-attached under the ownership package, so this
+     * is always 'presence' — recorded explicitly for the loader (Phase 4) and
+     * IDE consumers.
+     */
+    narration: 'presence' | 'broadcast';
+    /**
+     * Statement tree in source order. The phase-order rule is enforced at
+     * compile time; the loader partitions this into validate/execute/report.
+     */
+    body: IRStatement[];
+    span: Span;
+}
+export interface IRPhrases {
+    /** The story's default locale (Phase A: en-US). */
+    defaultLocale: string;
+    /** locale → phrase key → phrase. */
+    locales: Record<string, Record<string, IRPhrase>>;
+}
+export interface IRPhrase {
+    /** Choice strategy for multi-variant phrases, or null for a single text (Z5 adverbs, ADR-211 Decision 4). */
+    strategy: 'randomly' | 'cycling' | 'stopping' | 'sticky' | 'first-time' | null;
+    /**
+     * Whitespace-preserving text (`define phrase X, verbatim`, grammar log
+     * 2026-07-10) — the loader must exempt it from whitespace collapse.
+     * Present only when true (additive field; format stamp unchanged).
+     */
+    verbatim?: boolean;
+    /**
+     * Trailing `while <condition>` header gate (Z2/CP1', additive like
+     * `verbatim`): at a description-marker site a presence condition compiles
+     * to ADR-209 `mentions` and anything else registers on the ADR-211 gate
+     * seam keyed `(roomId, marker)`. Absent when ungated.
+     */
+    condition?: IRCondition;
+    variants: IRPhraseVariant[];
+    span: Span;
+}
+export interface IRPhraseVariant {
+    text: string;
+    /**
+     * `{…}` marker contents appearing in the text, in order. `br` is the
+     * built-in hard line break; prose paragraphs arrive as `\n\n` in `text`.
+     */
+    markers: string[];
+}
+export interface IRNamedCondition {
+    name: string;
+    /**
+     * True when the body references `it`/`its` — an OPEN condition, usable as
+     * a selection via `any <name>` (grammar log 2026-07-11). Closed conditions
+     * are plain truth tests.
+     */
+    open: boolean;
+    condition: IRCondition;
+    span: Span;
+}
+export interface IRVerbDef {
+    verbs: string[];
+    pattern: IRPatternPart[];
+    span: Span;
+}
+export type IRPatternPart = {
+    kind: 'word';
+    word: string;
+} | {
+    kind: 'slot';
+    word: string;
+};
+export interface IRHatch {
+    name: string;
+    modulePath: string;
+    /** Target interface: dynamic-text producer, Action, or CapabilityBehavior. */
+    hatchKind: 'text' | 'action' | 'behavior';
+    span: Span;
+}
+/** `define trait` — data fields, trait-declared states, behavior clauses. */
+export interface IRTraitDef {
+    name: string;
+    data: IRTraitField[];
+    /** Trait-declared states (ratchet D8) — every composer gets the set. */
+    states: string[];
+    statesReversible: boolean;
+    /** Trait-owned scores (D12); names owner-qualified (`trait.<name>.<score>`). */
+    scores: IRScoreDef[];
+    onClauses: IROnClause[];
+    span: Span;
+}
+export interface IRTraitField {
+    /** Field name words joined with a space (`body part`). */
+    name: string;
+    type: 'entity' | 'number' | 'name' | 'one-of';
+    optional: boolean;
+    initial: string | null;
+    oneOf: string[] | null;
+}
+/** `define action` — grammar, scope constraints, requirements, refusal ladder, body. */
+export interface IRActionDef {
+    name: string;
+    patterns: IRActionPattern[];
+    constraints: Array<{
+        slot: string;
+        requirement: string;
+    }>;
+    /** `must` requirement lines (ratchet D6) — checked before the body. */
+    musts: IRMust[];
+    refusals: IRActionRefusal[];
+    /** Dispatch-miss phrase key (`otherwise refuse …`), or null. */
+    otherwise: string | null;
+    /** Action-owned scores (D12); names owner-qualified (`action.<name>.<score>`). */
+    scores: IRScoreDef[];
+    body: IRStatement[];
+    span: Span;
+}
+/** A resolved `must` requirement: refuse with the key unless the condition holds. */
+export interface IRMust {
+    condition: IRCondition;
+    phraseKey: string;
+    span: Span;
+}
+export interface IRActionPattern {
+    parts: IRPatternPart[];
+    /** `→ each …` cardinality words, or null. */
+    cardinality: string[] | null;
+}
+export type IRActionRefusal = {
+    kind: 'without';
+    slot: string;
+    phraseKey: string;
+    span: Span;
+} | {
+    kind: 'when';
+    condition: IRCondition;
+    phraseKey: string;
+    span: Span;
+};
+/** `define score <name> worth <n>` — dedup-by-identity award (ADR-129). */
+export interface IRScoreDef {
+    name: string;
+    worth: number;
+    span: Span;
+}
+/** `define sequence <name>` — chained-fuse timeline. */
+export interface IRSequenceDef {
+    /** Name words joined with a space (`closing time`). */
+    name: string;
+    /**
+     * Narration scope (decision 10): sequences are story-owned — their
+     * narration broadcasts regardless of the player's location.
+     */
+    narration: 'broadcast';
+    steps: IRSequenceStep[];
+    span: Span;
+}
+/** One step: wall-clock (`at turn N`/`N turns later`) or state anchor (D10). */
+export interface IRSequenceStep {
+    timing: 'at-turn' | 'later' | 'becomes';
+    /** Turn count for at-turn/later; 0 for becomes. */
+    turns: number;
+    /** State anchor for `becomes` steps: owner is `story` or an entity id. */
+    anchor?: {
+        owner: string;
+        state: string;
+    } | null;
+    body: IRStatement[];
+    span: Span;
+}
+export type IRStatement = {
+    kind: 'refuse';
+    phraseKey: string;
+    params: IRParam[];
+    span: Span;
+} | {
+    kind: 'phrase';
+    phraseKey: string;
+    params: IRParam[];
+    stmtWhen?: IRCondition | null;
+    span: Span;
+} | {
+    kind: 'emit';
+    event: string;
+    stmtWhen?: IRCondition | null;
+    span: Span;
+} | {
+    kind: 'set';
+    target: IRValue;
+    value: IRValue;
+    span: Span;
+} | {
+    kind: 'change';
+    entity: IRValue;
+    state: string;
+    stmtWhen?: IRCondition | null;
+    span: Span;
+} | {
+    kind: 'move';
+    entity: IRValue;
+    place: IRValue;
+    stmtWhen?: IRCondition | null;
+    span: Span;
+}
+/** `remove <entity>` (Z6, ADR-213 Q3) — out of play via `world.removeEntity`; observers fire. */
+ | {
+    kind: 'remove';
+    entity: IRValue;
+    stmtWhen?: IRCondition | null;
+    span: Span;
+} | {
+    kind: 'award';
+    expression: string[];
+    once: boolean;
+    stmtWhen?: IRCondition | null;
+    span: Span;
+} | {
+    kind: 'win';
+    phraseKey: string | null;
+    stmtWhen?: IRCondition | null;
+    span: Span;
+} | {
+    kind: 'lose';
+    phraseKey: string | null;
+    stmtWhen?: IRCondition | null;
+    span: Span;
+}
+/** `must` requirement as a body statement (ratchet D6). */
+ | {
+    kind: 'must';
+    condition: IRCondition;
+    phraseKey: string;
+    span: Span;
+}
+/** `refuse when <cond>: <key>` as a body statement (prohibition, D6). */
+ | {
+    kind: 'refuse-when';
+    condition: IRCondition;
+    phraseKey: string;
+    span: Span;
+} | {
+    kind: 'select-on';
+    subject: IRValue;
+    arms: IRSelectArm[];
+    span: Span;
+} | {
+    kind: 'select-strategy';
+    strategy: string;
+    alternatives: IRStatement[][];
+    span: Span;
+} | {
+    kind: 'ordinal';
+    ordinal: number;
+    body: IRStatement[];
+    span: Span;
+}
+/**
+ * `each <open-condition> … end each` (ratchet E3, 2026-07-12): run the
+ * body once per matching world entity in creation order, `the match`
+ * bound to that entity; empty set = no-op.
+ */
+ | {
+    kind: 'each';
+    condition: string;
+    body: IRStatement[];
+    span: Span;
+};
+export interface IRSelectArm {
+    value: string;
+    body: IRStatement[];
+    span: Span;
+}
+export interface IRParam {
+    /** Parameter name words joined with a space (`other item`). */
+    param: string;
+    value: IRValue;
+    span: Span;
+}
+export type IRValue = {
+    kind: 'literal';
+    value: string;
+    valueType: 'number' | 'string';
+} | {
+    kind: 'entity';
+    id: string;
+} | {
+    kind: 'player';
+} | {
+    kind: 'it';
+}
+/** The story object (`change the story to after-hours`, ratchet D2). */
+ | {
+    kind: 'story';
+} | {
+    kind: 'field';
+    base: IRValue;
+    field: string;
+}
+/** A grammar-slot / role context value inside an action or role clause (`the animal`, `the taker`). */
+ | {
+    kind: 'slot';
+    name: string;
+}
+/** The `each`-block binder `the match` (ratchet E3) — parallel to `it`. */
+ | {
+    kind: 'match';
+} | {
+    kind: 'symbol';
+    name: string;
+};
+export type IRCondition = {
+    kind: 'and';
+    operands: IRCondition[];
+} | {
+    kind: 'or';
+    operands: IRCondition[];
+} | {
+    kind: 'not';
+    operand: IRCondition;
+} | {
+    kind: 'chance';
+    n: number;
+} | {
+    kind: 'condition';
+    name: string;
+}
+/** The story is in the named phase (`while after-hours`, ratchet D2). */
+ | {
+    kind: 'story-state';
+    state: string;
+}
+/**
+ * `any <open-condition>` (ratchet E1, 2026-07-12): true iff some world
+ * entity satisfies the named open condition; false over the empty set.
+ */
+ | {
+    kind: 'any-of';
+    condition: string;
+}
+/**
+ * `no <open-condition>` (ratchet E2, 2026-07-12): true iff no entity
+ * satisfies the condition; true over the empty set.
+ */
+ | {
+    kind: 'none-of';
+    condition: string;
+}
+/**
+ * `<subject> must be any <open-condition>` membership (David,
+ * 2026-07-12 — P3 decision, a dated addition to the proposal's §3.5
+ * contract): the subject satisfies the named open condition (the
+ * condition's `it` bound to the subject).
+ */
+ | {
+    kind: 'satisfies';
+    subject: IRValue;
+    condition: string;
+} | {
+    kind: 'predicate';
+    /** 'can-see'/'can-reach' land with Phase B (design.md §2.7). */
+    pred: 'is' | 'is-a' | 'is-in' | 'is-here' | 'has' | 'holds' | 'wears' | 'can-see' | 'can-reach';
+    negated: boolean;
+    subject: IRValue;
+    object: IRValue;
+};
+//# sourceMappingURL=ir.d.ts.map

package/ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../../repos/sharpee_v2/packages/chord/src/ir.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAEnC,wEAAwE;AACxE,eAAO,MAAM,SAAS,qBAAqB,CAAC;AAE5C,gCAAgC;AAChC,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,OAAO,SAAS,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,iEAAiE;IACjE,KAAK,EAAE;QAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,EAAE,OAAO,CAAA;KAAE,CAAC;IACjD,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,OAAO,EAAE,SAAS,CAAC;IACnB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,OAAO,EAAE,OAAO,EAAE,CAAC;IAEnB,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,6FAA6F;IAC7F,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,kFAAkF;IAClF,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,MAAM;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAChC;AAMD,MAAM,WAAW,QAAQ;IACvB,sEAAsE;IACtE,EAAE,EAAE,MAAM,CAAC;IACX,oCAAoC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,gEAAgE;IAChE,QAAQ,EAAE,OAAO,CAAC;IAClB,+DAA+D;IAC/D,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,gEAAgE;IAChE,MAAM,EAAE,aAAa,EAAE,CAAC;IACxB,SAAS,EAAE,WAAW,GAAG,IAAI,CAAC;IAC9B,sEAAsE;IACtE,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,YAAY,EAAE,aAAa,EAAE,CAAC;IAC9B;;;;OAIG;IACH,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB;;;;OAIG;IACH,gBAAgB,EAAE,OAAO,CAAC;IAC1B,kEAAkE;IAClE,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B;;;OAGG;IACH,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,yDAAyD;IACzD,SAAS,EAAE,WAAW,GAAG,IAAI,CAAC;IAC9B,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,eAAe;IAC9B,2DAA2D;IAC3D,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,wFAAwF;IACxF,SAAS,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAC;CAClD;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,WAAW,CAAC;IACpC,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAM;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,yCAAyC;IACzC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,kFAAkF;IAClF,SAAS,EAAE,WAAW,GAAG,IAAI,CAAC;IAC9B,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,UAAU;IACzB,0FAA0F;IAC1F,UAAU,EAAE,IAAI,GAAG,OAAO,CAAC;IAC3B,mEAAmE;IACnE,IAAI,EAAE,OAAO,CAAC;IACd,yFAAyF;IACzF,MAAM,EAAE,MAAM,CAAC;IACf,2FAA2F;IAC3F,OAAO,EAAE,IAAI,GAAG,MAAM,GAAG,YAAY,CAAC;IACtC,+EAA+E;IAC/E,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,8CAA8C;IAC9C,SAAS,EAAE,WAAW,GAAG,IAAI,CAAC;IAC9B,4EAA4E;IAC5E,QAAQ,EAAE;QAAE,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACjE;;;;OAIG;IACH,OAAO,EAAE,aAAa,GAAG,YAAY,GAAG,IAAI,CAAC;IAC7C;;;;;;;;OAQG;IACH,SAAS,EAAE,UAAU,GAAG,WAAW,CAAC;IACpC;;;OAGG;IACH,IAAI,EAAE,WAAW,EAAE,CAAC;IACpB,IAAI,EAAE,IAAI,CAAC;CACZ;AAMD,MAAM,WAAW,SAAS;IACxB,mDAAmD;IACnD,aAAa,EAAE,MAAM,CAAC;IACtB,oCAAoC;IACpC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;CACnD;AAED,MAAM,WAAW,QAAQ;IACvB,6GAA6G;IAC7G,QAAQ,EAAE,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,YAAY,GAAG,IAAI,CAAC;IAC/E;;;;OAIG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,WAAW,CAAC;IACxB,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAMD,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,IAAI,EAAE,OAAO,CAAC;IACd,SAAS,EAAE,WAAW,CAAC;IACvB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,MAAM,aAAa,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE5F,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,8EAA8E;IAC9E,SAAS,EAAE,MAAM,GAAG,QAAQ,GAAG,UAAU,CAAC;IAC1C,IAAI,EAAE,IAAI,CAAC;CACZ;AAMD,6EAA6E;AAC7E,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,wEAAwE;IACxE,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,gFAAgF;IAChF,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,YAAY;IAC3B,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,QAAQ,CAAC;IAC9C,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;CACxB;AAED,wFAAwF;AACxF,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,WAAW,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1D,uEAAuE;IACvE,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,gEAAgE;IAChE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,kFAAkF;IAClF,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,IAAI,EAAE,WAAW,EAAE,CAAC;IACpB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,qFAAqF;AACrF,MAAM,WAAW,MAAM;IACrB,SAAS,EAAE,WAAW,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,6CAA6C;IAC7C,WAAW,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAChE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAE5E,2EAA2E;AAC3E,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,wDAAwD;AACxD,MAAM,WAAW,aAAa;IAC5B,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,SAAS,EAAE,WAAW,CAAC;IACvB,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,gFAAgF;AAChF,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,SAAS,GAAG,OAAO,GAAG,SAAS,CAAC;IACxC,mDAAmD;IACnD,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,MAAM,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACjD,IAAI,EAAE,WAAW,EAAE,CAAC;IACpB,IAAI,EAAE,IAAI,CAAC;CACZ;AAMD,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACpE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACnG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC1E;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC7F;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE;AAC9F,iGAAiG;GAC/F;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC9E;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACjG;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACpF;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE;AACvF,2DAA2D;GACzD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE;AACzE,yEAAyE;GACvE;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC9E;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,WAAW,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACxE;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,WAAW,EAAE,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACxF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE;AACvE;;;;GAIG;GACD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAEzE,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,WAAW,EAAE,CAAC;IACpB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,OAAO;IACtB,+DAA+D;IAC/D,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,EAAE,IAAI,CAAC;CACZ;AAMD,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,QAAQ,GAAG,QAAQ,CAAA;CAAE,GAClE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE;AAChB,wEAAwE;GACtE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AACjD,uGAAuG;GACrG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AAChC,2EAA2E;GACzE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAErC,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,WAAW,EAAE,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,WAAW,EAAE,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AACrC,yEAAyE;GACvE;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AACxC;;;GAGG;GACD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE;AACvC;;;GAGG;GACD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE;AACxC;;;;;GAKG;GACD;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAC1D;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,gEAAgE;IAChE,IAAI,EAAE,IAAI,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,KAAK,GAAG,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,WAAW,CAAC;IAChG,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;CACjB,CAAC"}

package/ir.js

@@ -0,0 +1,6 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.IR_FORMAT = void 0;
+/** Format stamp of this IR schema. Consumers refuse unknown formats. */
+exports.IR_FORMAT = 'story language 1';
+//# sourceMappingURL=ir.js.map

package/ir.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.js","sourceRoot":"","sources":["../../../repos/sharpee_v2/packages/chord/src/ir.ts"],"names":[],"mappings":";;;AAiBA,wEAAwE;AAC3D,QAAA,SAAS,GAAG,kBAAkB,CAAC"}

package/lexer.d.ts

@@ -0,0 +1,49 @@
+/**
+ * lexer.ts — the Chord line lexer.
+ *
+ * Purpose: split `.story` source into logical lines, each carrying its
+ * indentation, its raw text (prose stays opaque to the parser — design.md
+ * §5.2), and a token stream for lines the parser reads as code. Block
+ * structure (dedent/`end` termination) is the parser's job; the lexer only
+ * measures indents.
+ *
+ * Public interface: lex(), Line, Token, TokenKind.
+ * Owner context: @sharpee/chord (language frontend; browser-safe).
+ *
+ * Invariants:
+ * - Every non-blank source line yields exactly one Line, in source order.
+ * - `Line.raw` is the untrimmed source text — prose reconstruction never
+ *   loses characters the tokenizer didn't understand.
+ * - Indentation is spaces only; a tab in leading whitespace is an error
+ *   (reported once per line) and is measured as one column.
+ */
+import { DiagnosticBag } from './diagnostics';
+import { Span } from './span';
+export type TokenKind = 'word' | 'number' | 'string' | 'colon' | 'comma' | 'lparen' | 'rparen' | 'punct';
+export interface Token {
+    kind: TokenKind;
+    /** Exact source text (for strings, WITHOUT the surrounding quotes). */
+    text: string;
+    span: Span;
+}
+/** One non-blank logical line of source. */
+export interface Line {
+    /** 1-based source line number. */
+    lineNo: number;
+    /** Leading-space count (tabs count 1 and are reported as errors). */
+    indent: number;
+    /** Untrimmed source text. */
+    raw: string;
+    /** Token stream of the trimmed text. */
+    tokens: Token[];
+    /** True when a blank line (or start of file) immediately precedes this line. */
+    afterBlank: boolean;
+}
+/**
+ * Tokenize source into logical lines.
+ * @param source full `.story` text
+ * @param diagnostics receives lex errors (tabs in indentation, unterminated strings)
+ * @returns non-blank lines in source order
+ */
+export declare function lex(source: string, diagnostics: DiagnosticBag): Line[];
+//# sourceMappingURL=lexer.d.ts.map

package/lexer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.d.ts","sourceRoot":"","sources":["../../../repos/sharpee_v2/packages/chord/src/lexer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAU,MAAM,QAAQ,CAAC;AAEtC,MAAM,MAAM,SAAS,GACjB,MAAM,GACN,QAAQ,GACR,QAAQ,GACR,OAAO,GACP,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,OAAO,CAAC;AAEZ,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,4CAA4C;AAC5C,MAAM,WAAW,IAAI;IACnB,kCAAkC;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,MAAM,EAAE,MAAM,CAAC;IACf,6BAA6B;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,wCAAwC;IACxC,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,gFAAgF;IAChF,UAAU,EAAE,OAAO,CAAC;CACrB;AAKD;;;;;GAKG;AACH,wBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,GAAG,IAAI,EAAE,CAsCtE"}

package/lexer.js

@@ -0,0 +1,88 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.lex = lex;
+const span_1 = require("./span");
+const WORD_RE = /^[A-Za-zÀ-ɏ][A-Za-z0-9À-ɏ'_-]*/;
+const NUMBER_RE = /^[0-9]+(?:\.[0-9]+)*/;
+/**
+ * Tokenize source into logical lines.
+ * @param source full `.story` text
+ * @param diagnostics receives lex errors (tabs in indentation, unterminated strings)
+ * @returns non-blank lines in source order
+ */
+function lex(source, diagnostics) {
+    const lines = [];
+    const rawLines = source.split(/\r\n|\n|\r/);
+    let afterBlank = true; // start of file counts as a paragraph boundary
+    for (let i = 0; i < rawLines.length; i++) {
+        const raw = rawLines[i];
+        const lineNo = i + 1;
+        if (raw.trim() === '') {
+            afterBlank = true;
+            continue;
+        }
+        let indent = 0;
+        let col = 0;
+        while (col < raw.length && (raw[col] === ' ' || raw[col] === '\t')) {
+            if (raw[col] === '\t') {
+                diagnostics.error('lex.tab-indent', 'Tabs are not allowed in indentation — use spaces.', (0, span_1.spanOf)(lineNo, col + 1));
+            }
+            indent++;
+            col++;
+        }
+        lines.push({
+            lineNo,
+            indent,
+            raw,
+            tokens: tokenizeLine(raw, lineNo, col, diagnostics),
+            afterBlank,
+        });
+        afterBlank = false;
+    }
+    return lines;
+}
+function tokenizeLine(raw, lineNo, start, diagnostics) {
+    const tokens = [];
+    let pos = start;
+    while (pos < raw.length) {
+        const ch = raw[pos];
+        if (ch === ' ') {
+            pos++;
+            continue;
+        }
+        const column = pos + 1;
+        if (ch === '"') {
+            const close = raw.indexOf('"', pos + 1);
+            if (close === -1) {
+                // A lone quote is prose punctuation (multi-line dialogue in prose
+                // blocks, e.g. design.md §3.3 PA announcements). Positions that
+                // REQUIRE a string (header, hatch paths) diagnose at parse time.
+                tokens.push({ kind: 'punct', text: ch, span: (0, span_1.spanOf)(lineNo, column) });
+                pos++;
+            }
+            else {
+                tokens.push({ kind: 'string', text: raw.slice(pos + 1, close), span: (0, span_1.spanOf)(lineNo, column, close - pos + 1) });
+                pos = close + 1;
+            }
+            continue;
+        }
+        const rest = raw.slice(pos);
+        const word = WORD_RE.exec(rest);
+        if (word) {
+            tokens.push({ kind: 'word', text: word[0], span: (0, span_1.spanOf)(lineNo, column, word[0].length) });
+            pos += word[0].length;
+            continue;
+        }
+        const num = NUMBER_RE.exec(rest);
+        if (num) {
+            tokens.push({ kind: 'number', text: num[0], span: (0, span_1.spanOf)(lineNo, column, num[0].length) });
+            pos += num[0].length;
+            continue;
+        }
+        const single = { ':': 'colon', ',': 'comma', '(': 'lparen', ')': 'rparen' };
+        tokens.push({ kind: single[ch] ?? 'punct', text: ch, span: (0, span_1.spanOf)(lineNo, column) });
+        pos++;
+    }
+    return tokens;
+}
+//# sourceMappingURL=lexer.js.map