@formicoidea/labre-framework-edgy 0.32.0 → 0.33.0

package/dist/profiles.js

@@ -0,0 +1,66 @@
+/**
+ * EDGY validation profiles (WS1).
+ *
+ * DATA owned by the framework, like its rules and its roles: the engine knows
+ * how to APPLY a profile, never which ones EDGY has. Adding a level of
+ * requirement is adding an entry to this array.
+ *
+ * A profile is chosen per BACKGROUND, not per document (PF9.1) — a workshop
+ * scribble and a deliverable model coexist on the same canvas with different
+ * requirements, and the choice rides on the facets diagram or board itself.
+ *
+ * Registered from the flag-gated `EdgyViewExtension`, beside the rules:
+ * switching the EDGY flag off takes the choice away with the rest of the
+ * tooling, and a board already set to `strict` simply stops being checked until
+ * it comes back — the id stays written, untouched.
+ */
+/**
+ * Sketch: every rule demoted to `audit`, so findings still reach `violations$`
+ * — a host panel and a conformance report see them — and the canvas says
+ * nothing at all.
+ *
+ * The DEFAULT, and deliberately so (PRD principle 3). EDGY is a WORKSHOP
+ * notation: elements land on the diagram in the order people say them, half the
+ * relations point the wrong way for the ten minutes it takes to argue about
+ * them, and boxes pile up in a corner before anybody sorts them into facets. A
+ * tool warning about all of that in real time would be arguing with the
+ * workshop.
+ *
+ * Being the default also means it is the one profile that WRITES NOTHING: a
+ * board on `sketch` carries no profile key, so every EDGY diagram ever drawn is
+ * on it, with no migration and no backfill.
+ */
+const sketch = {
+    id: 'edgy.sketch',
+    framework: 'edgy',
+    labelKey: 'com.labre.edgy.profile.sketch',
+    fallback: 'Sketch',
+    isDefault: true,
+    rules: {
+        'edgy.non-canonical-link': 'audit',
+        'edgy.overlapping-artefacts': 'audit',
+    },
+};
+/**
+ * Strict: the deliverable level. Both rules bite, and both severities are
+ * spelled out here rather than left absent — PF9.4 wants the answer readable in
+ * one place, and a profile that says "warning" out loud cannot be misread as
+ * "whatever the rule happens to declare this quarter".
+ *
+ * `warning` and not `blocking-overridable` for E1, though a relation outside the
+ * metamodel is exactly the statement a strict EDGY model must not contain:
+ * nothing in this library implements a blocking level, so the value would claim
+ * an effect that does not exist. When the gesture refusal lands, this is a
+ * two-word change and this file is the only one that moves.
+ */
+const strict = {
+    id: 'edgy.strict',
+    framework: 'edgy',
+    labelKey: 'com.labre.edgy.profile.strict',
+    fallback: 'Strict',
+    rules: {
+        'edgy.non-canonical-link': 'warning',
+        'edgy.overlapping-artefacts': 'warning',
+    },
+};
+export const EDGY_PROFILES = [sketch, strict];

package/dist/relation-resolver.d.ts

@@ -0,0 +1,32 @@
+import { InteractivityExtension } from '@formicoidea/labre-core/std/gfx';
+/**
+ * Turns "a connector was drawn, or one of its ends just moved" into a naming.
+ *
+ * Registered from the FLAG-GATED `EdgyViewExtension`, not from the always-on
+ * render one, and the distinction is `docs/adr/0009`'s: this is a creation
+ * tool. It authors content — it writes a role and a label into the document —
+ * and it only ever fires on an edge the flag-gated toolbox itself stamped
+ * `edgy:relation`. A board drawn while the flag was on keeps every verb it was
+ * given, painted by the always-on renderer and read by the always-on
+ * vocabulary; with the flag off nothing new is named because nothing new is
+ * being armed. Registering it always-on would mean the library kept authoring
+ * EDGY content for a host that switched EDGY off.
+ *
+ * The subscription mechanics are `EstuarineGhostManager`'s, including the part
+ * that matters: the surface is a SIGNAL, null at mount and replaced when the
+ * surface block is.
+ */
+export declare class EdgyRelationResolver extends InteractivityExtension {
+    static key: string;
+    private _subscriptions;
+    private _disposeSurfaceEffect;
+    private _pending;
+    private _candidates;
+    mounted(): void;
+    unmounted(): void;
+    private _forget;
+    private _unsubscribe;
+    private _resubscribe;
+    private _schedule;
+    private _flush;
+}

package/dist/relation-resolver.js

@@ -0,0 +1,101 @@
+import { InteractivityExtension } from '@formicoidea/labre-core/std/gfx';
+import { effect } from '@preact/signals-core';
+import { EDGY_RELATION_DELAY_MS, resolveEdgyRelations } from './relation.js';
+/**
+ * Turns "a connector was drawn, or one of its ends just moved" into a naming.
+ *
+ * Registered from the FLAG-GATED `EdgyViewExtension`, not from the always-on
+ * render one, and the distinction is `docs/adr/0009`'s: this is a creation
+ * tool. It authors content — it writes a role and a label into the document —
+ * and it only ever fires on an edge the flag-gated toolbox itself stamped
+ * `edgy:relation`. A board drawn while the flag was on keeps every verb it was
+ * given, painted by the always-on renderer and read by the always-on
+ * vocabulary; with the flag off nothing new is named because nothing new is
+ * being armed. Registering it always-on would mean the library kept authoring
+ * EDGY content for a host that switched EDGY off.
+ *
+ * The subscription mechanics are `EstuarineGhostManager`'s, including the part
+ * that matters: the surface is a SIGNAL, null at mount and replaced when the
+ * surface block is.
+ */
+export class EdgyRelationResolver extends InteractivityExtension {
+    constructor() {
+        super(...arguments);
+        this._subscriptions = [];
+        this._disposeSurfaceEffect = null;
+        this._pending = null;
+        this._candidates = new Set();
+    }
+    static { this.key = 'edgy-relation-resolver'; }
+    mounted() {
+        this._disposeSurfaceEffect = effect(() => {
+            this._resubscribe(this.gfx.surface$.value);
+        });
+    }
+    unmounted() {
+        this._disposeSurfaceEffect?.();
+        this._disposeSurfaceEffect = null;
+        this._unsubscribe();
+        this._forget();
+        super.unmounted();
+    }
+    _forget() {
+        if (this._pending)
+            clearTimeout(this._pending);
+        this._pending = null;
+        this._candidates.clear();
+    }
+    _unsubscribe() {
+        for (const subscription of this._subscriptions)
+            subscription.unsubscribe();
+        this._subscriptions = [];
+    }
+    _resubscribe(surface) {
+        this._unsubscribe();
+        // Candidates queued against the previous surface are about elements this
+        // one has never heard of.
+        this._forget();
+        if (!surface)
+            return;
+        this._subscriptions.push(surface.elementAdded.subscribe(({ id, local }) => {
+            if (!local)
+                return;
+            this._schedule(id);
+        }));
+        this._subscriptions.push(surface.elementUpdated.subscribe(({ id, props, local }) => {
+            // LOCAL only, the filter `reading.ts` documents at length: `local`
+            // partitions the fleet into one writer and N−1 silent observers with
+            // no leader election. Without it, everyone on a shared board would
+            // name the same relation the moment it synced — the same role and the
+            // same word each time, so nothing would corrupt, but each peer would
+            // get an undo entry for a gesture they did not make.
+            if (!local)
+                return;
+            // Only the two ends can turn an unnamed relation into a sentence.
+            // Every other prop — a drag, a restyle, a label edit — must not even
+            // rearm the timer.
+            if (!props || (!('source' in props) && !('target' in props)))
+                return;
+            this._schedule(id);
+        }));
+    }
+    _schedule(id) {
+        this._candidates.add(id);
+        if (this._pending)
+            clearTimeout(this._pending);
+        this._pending = setTimeout(() => {
+            this._pending = null;
+            this._flush();
+        }, EDGY_RELATION_DELAY_MS);
+    }
+    _flush() {
+        const surface = this.gfx.surface;
+        const candidates = this._candidates;
+        // Whatever happens below, what accumulated is accounted for: a set left
+        // behind would be replayed against a later, unrelated gesture.
+        this._candidates = new Set();
+        if (!surface)
+            return;
+        resolveEdgyRelations(surface, candidates);
+    }
+}

package/dist/relation.d.ts

@@ -0,0 +1,142 @@
+import { ConnectorElementModel } from '@formicoidea/labre-core/model';
+import type { XYWH } from '@formicoidea/labre-core/global/gfx';
+import type { SurfaceBlockModel } from '@formicoidea/labre-core/std/gfx';
+import { type EdgyRoleId } from './roles.js';
+/**
+ * **A relation drawn by hand names itself.**
+ *
+ * Until this module the 24 typed relations of the metamodel were born of the
+ * "EDGY dynamic" template and nowhere else: a user who wanted "this Process
+ * requires that Asset" on their own board had a plain connector, carrying no
+ * role, saying nothing, read by nothing (PO recette of 26/08/2026).
+ *
+ * ## Why ONE menu entry and not twenty-two
+ *
+ * The metamodel's 24 rows are 24 DISTINCT ordered pairs of elements, so the
+ * verb is entirely determined by the pair: there is exactly one thing a link
+ * from a Journey to a Channel can say, and it is "traverses". A palette of
+ * twenty-two verbs would therefore be twenty-two ways of asking the user a
+ * question the metamodel already answers — and twenty-one ways of getting it
+ * wrong. The toolbox arms ONE tool, stamped with the generic parent role
+ * `edgy:relation`, and this resolver reads the pair the user actually attached
+ * and writes the verb.
+ *
+ * ## What it writes, and what it refuses to write
+ *
+ * - **pair in the metamodel** → the verb's role (`EDGY_VERB_ROLE`) and the verb
+ *   as the link's visible label, in the same shape the template lays one down
+ *   (`text` + `labelXYWH` + `labelOffset`). The sentence is now legal, so E1
+ *   says nothing.
+ * - **pair known only the OTHER way round** → the role of the reversed match is
+ *   written anyway, and the edge is NOT flipped. This is deliberate: silently
+ *   turning the arrow round would overrule a gesture the user made on purpose,
+ *   and leaving the edge generic would hide the mistake behind the vaguer "not
+ *   a sentence of the metamodel". Naming it makes E1 report the precise
+ *   sentence — "a channel traverses a journey" — and `docs/adr/0010`'s M3
+ *   (`edge.invert-direction`) is one click away on the contextual toolbar. The
+ *   violation IS the affordance.
+ * - **pair in neither direction** → nothing is written. The edge keeps
+ *   `edgy:relation`, and E1 reports it as a relation the metamodel does not
+ *   declare between these two elements, which is exactly what it is.
+ * - **an end outside the alphabet** — a People node, a base Object, a plain
+ *   sticky, an element of another framework — → nothing is written and nothing
+ *   is said. Same contract as the `relation-endpoints` family: outside the
+ *   alphabet is outside the conversation (PRD principle 8).
+ *
+ * ## Once, and only from the generic towards the verb
+ *
+ * A verb role already written is never rewritten — not by this module, not
+ * ever. Re-resolution is allowed only while the edge still carries the generic
+ * role, which is what makes "drop the end on the wrong element, then move it"
+ * work without the tool fighting the hand. And nothing here ever writes
+ * `edgy:relation` back over a verb: the resolution runs one way.
+ */
+/**
+ * Recompute delay. The connector tool rewrites `target` on every pointer move
+ * of the drag, so resolving on the spot would name the relation after the FIRST
+ * element the cursor passed over — and, the naming being write-once, would then
+ * refuse to name it after the one the user actually dropped it on. Debouncing
+ * means the pair that gets read is the pair that ended up on the board.
+ *
+ * Same value as the validation engine's, and for the same reason: it is the
+ * shortest wait a human does not perceive at the end of a gesture.
+ */
+export declare const EDGY_RELATION_DELAY_MS = 120;
+/** Where the verb sits along the link. The templates' own default. */
+export declare const EDGY_RELATION_LABEL_DISTANCE = 0.5;
+/**
+ * The label BOX for a verb — `x`/`y` are re-centred on the path at the first
+ * layout, but the `w`/`h` are the box, so it has to be sized to the word or the
+ * verb wraps mid-syllable on a two-word relation like "is part of".
+ *
+ * Exported and read by `templates/index.ts` as well: the 24 relations the
+ * template draws and the ones drawn by hand have to look identical, and two
+ * copies of `verb.length * 9 + 24` is one copy too many.
+ */
+export declare function edgyVerbLabelXYWH(verb: string): XYWH;
+/** What the metamodel calls the relation between two elements. */
+export interface EdgyRelationNaming {
+    /** The verb's own role: `edgy:traverses`. */
+    role: EdgyRoleId;
+    /** The verb, which also becomes the link's visible label. */
+    verb: string;
+    /**
+     * Whether the metamodel knows this pair only the OTHER way round. The edge is
+     * named all the same and never flipped — see the note at the top of the file.
+     */
+    reversed: boolean;
+}
+/**
+ * The verb the metamodel gives an ordered pair of element roles, direct match
+ * first, reversed match second, `null` when it knows neither.
+ *
+ * Pure, and exported for the unit spec: it is the whole opinion of this module,
+ * and a function taking two strings is testable without a surface, an editor or
+ * a DI container around it.
+ */
+export declare function edgyRelationNaming(sourceRole: string | undefined, targetRole: string | undefined): EdgyRelationNaming | null;
+/**
+ * Whether this edge is a generic EDGY relation with both ends ATTACHED — the
+ * one state this module acts on.
+ *
+ * `role === EDGY_ROLE.relation` exactly, never `roleIsA`: a verb role
+ * specialises the parent, and treating it as a candidate is precisely how the
+ * resolver would start rewriting its own work. An end released over empty
+ * canvas relates nothing to nothing, so it is not a candidate either — it
+ * becomes one the moment the user drags it onto something.
+ *
+ * A LOCKED edge is left alone, the guard `edge.invert-direction` applies for
+ * the same reason: locking is the user saying "do not touch this", and a
+ * resolver that wrote to one anyway would be the one gesture on this canvas
+ * that ignores it.
+ */
+export declare function isUnnamedEdgyRelation(edge: ConnectorElementModel): boolean;
+/**
+ * The naming this edge has earned from the elements it is attached to, or
+ * `null` when there is nothing to write. Reads only; the writes are below.
+ */
+export declare function edgeRelationNaming(surface: SurfaceBlockModel, edge: ConnectorElementModel): EdgyRelationNaming | null;
+/**
+ * Write the verb onto one edge.
+ *
+ * Through `surface.updateElement` and never through `EdgelessCRUDIdentifier`,
+ * for the reason `edge.invert-direction` spells out at length: `crud`'s wrapper
+ * calls `recordLastProps`, which would make this relation's label geometry the
+ * DEFAULT for every connector drawn afterwards. Naming one relation is a
+ * statement about that relation, never a style preference.
+ */
+export declare function writeEdgyRelationName(surface: SurfaceBlockModel, edge: ConnectorElementModel, naming: EdgyRelationNaming): void;
+/**
+ * Name every edge among `ids` that has earned a name, in ONE undo step.
+ *
+ * The seam, and the only function here that writes. Two phases on purpose: the
+ * namings are decided BEFORE anything is captured, so a flush that finds
+ * nothing to say costs no undo entry at all — an empty capture would turn every
+ * stray connector into a stop on the user's way back through their own history.
+ *
+ * Read-only is checked here rather than trusted: `surface.updateElement`
+ * THROWS on a read-only store, so a resolver that did not ask would turn
+ * opening a shared board in read-only into an exception per connector drawn on
+ * it.
+ */
+export declare function resolveEdgyRelations(surface: SurfaceBlockModel, ids: Iterable<string>): EdgyRelationNaming[];

package/dist/relation.js

@@ -0,0 +1,188 @@
+import { ConnectorElementModel } from '@formicoidea/labre-core/model';
+import * as Y from 'yjs';
+import { EDGY_PAIR_TO_VERB, EDGY_ROLE, EDGY_VERB_ROLE, edgyPairKey, } from './roles.js';
+/**
+ * **A relation drawn by hand names itself.**
+ *
+ * Until this module the 24 typed relations of the metamodel were born of the
+ * "EDGY dynamic" template and nowhere else: a user who wanted "this Process
+ * requires that Asset" on their own board had a plain connector, carrying no
+ * role, saying nothing, read by nothing (PO recette of 26/08/2026).
+ *
+ * ## Why ONE menu entry and not twenty-two
+ *
+ * The metamodel's 24 rows are 24 DISTINCT ordered pairs of elements, so the
+ * verb is entirely determined by the pair: there is exactly one thing a link
+ * from a Journey to a Channel can say, and it is "traverses". A palette of
+ * twenty-two verbs would therefore be twenty-two ways of asking the user a
+ * question the metamodel already answers — and twenty-one ways of getting it
+ * wrong. The toolbox arms ONE tool, stamped with the generic parent role
+ * `edgy:relation`, and this resolver reads the pair the user actually attached
+ * and writes the verb.
+ *
+ * ## What it writes, and what it refuses to write
+ *
+ * - **pair in the metamodel** → the verb's role (`EDGY_VERB_ROLE`) and the verb
+ *   as the link's visible label, in the same shape the template lays one down
+ *   (`text` + `labelXYWH` + `labelOffset`). The sentence is now legal, so E1
+ *   says nothing.
+ * - **pair known only the OTHER way round** → the role of the reversed match is
+ *   written anyway, and the edge is NOT flipped. This is deliberate: silently
+ *   turning the arrow round would overrule a gesture the user made on purpose,
+ *   and leaving the edge generic would hide the mistake behind the vaguer "not
+ *   a sentence of the metamodel". Naming it makes E1 report the precise
+ *   sentence — "a channel traverses a journey" — and `docs/adr/0010`'s M3
+ *   (`edge.invert-direction`) is one click away on the contextual toolbar. The
+ *   violation IS the affordance.
+ * - **pair in neither direction** → nothing is written. The edge keeps
+ *   `edgy:relation`, and E1 reports it as a relation the metamodel does not
+ *   declare between these two elements, which is exactly what it is.
+ * - **an end outside the alphabet** — a People node, a base Object, a plain
+ *   sticky, an element of another framework — → nothing is written and nothing
+ *   is said. Same contract as the `relation-endpoints` family: outside the
+ *   alphabet is outside the conversation (PRD principle 8).
+ *
+ * ## Once, and only from the generic towards the verb
+ *
+ * A verb role already written is never rewritten — not by this module, not
+ * ever. Re-resolution is allowed only while the edge still carries the generic
+ * role, which is what makes "drop the end on the wrong element, then move it"
+ * work without the tool fighting the hand. And nothing here ever writes
+ * `edgy:relation` back over a verb: the resolution runs one way.
+ */
+/**
+ * Recompute delay. The connector tool rewrites `target` on every pointer move
+ * of the drag, so resolving on the spot would name the relation after the FIRST
+ * element the cursor passed over — and, the naming being write-once, would then
+ * refuse to name it after the one the user actually dropped it on. Debouncing
+ * means the pair that gets read is the pair that ended up on the board.
+ *
+ * Same value as the validation engine's, and for the same reason: it is the
+ * shortest wait a human does not perceive at the end of a gesture.
+ */
+export const EDGY_RELATION_DELAY_MS = 120;
+/** Where the verb sits along the link. The templates' own default. */
+export const EDGY_RELATION_LABEL_DISTANCE = 0.5;
+/**
+ * The label BOX for a verb — `x`/`y` are re-centred on the path at the first
+ * layout, but the `w`/`h` are the box, so it has to be sized to the word or the
+ * verb wraps mid-syllable on a two-word relation like "is part of".
+ *
+ * Exported and read by `templates/index.ts` as well: the 24 relations the
+ * template draws and the ones drawn by hand have to look identical, and two
+ * copies of `verb.length * 9 + 24` is one copy too many.
+ */
+export function edgyVerbLabelXYWH(verb) {
+    return [0, 0, verb.length * 9 + 24, 26];
+}
+/**
+ * The verb the metamodel gives an ordered pair of element roles, direct match
+ * first, reversed match second, `null` when it knows neither.
+ *
+ * Pure, and exported for the unit spec: it is the whole opinion of this module,
+ * and a function taking two strings is testable without a surface, an editor or
+ * a DI container around it.
+ */
+export function edgyRelationNaming(sourceRole, targetRole) {
+    if (sourceRole === undefined || targetRole === undefined)
+        return null;
+    const direct = EDGY_PAIR_TO_VERB[edgyPairKey(sourceRole, targetRole)];
+    if (direct !== undefined) {
+        return { role: EDGY_VERB_ROLE[direct], verb: direct, reversed: false };
+    }
+    const reversed = EDGY_PAIR_TO_VERB[edgyPairKey(targetRole, sourceRole)];
+    if (reversed !== undefined) {
+        return { role: EDGY_VERB_ROLE[reversed], verb: reversed, reversed: true };
+    }
+    return null;
+}
+/**
+ * Whether this edge is a generic EDGY relation with both ends ATTACHED — the
+ * one state this module acts on.
+ *
+ * `role === EDGY_ROLE.relation` exactly, never `roleIsA`: a verb role
+ * specialises the parent, and treating it as a candidate is precisely how the
+ * resolver would start rewriting its own work. An end released over empty
+ * canvas relates nothing to nothing, so it is not a candidate either — it
+ * becomes one the moment the user drags it onto something.
+ *
+ * A LOCKED edge is left alone, the guard `edge.invert-direction` applies for
+ * the same reason: locking is the user saying "do not touch this", and a
+ * resolver that wrote to one anyway would be the one gesture on this canvas
+ * that ignores it.
+ */
+export function isUnnamedEdgyRelation(edge) {
+    return (edge.role === EDGY_ROLE.relation &&
+        Boolean(edge.source?.id) &&
+        Boolean(edge.target?.id) &&
+        !edge.isLocked());
+}
+/**
+ * The naming this edge has earned from the elements it is attached to, or
+ * `null` when there is nothing to write. Reads only; the writes are below.
+ */
+export function edgeRelationNaming(surface, edge) {
+    if (!isUnnamedEdgyRelation(edge))
+        return null;
+    const source = surface.getElementById(edge.source.id);
+    const target = surface.getElementById(edge.target.id);
+    if (!source || !target)
+        return null;
+    return edgyRelationNaming(source.role, target.role);
+}
+/**
+ * Write the verb onto one edge.
+ *
+ * Through `surface.updateElement` and never through `EdgelessCRUDIdentifier`,
+ * for the reason `edge.invert-direction` spells out at length: `crud`'s wrapper
+ * calls `recordLastProps`, which would make this relation's label geometry the
+ * DEFAULT for every connector drawn afterwards. Naming one relation is a
+ * statement about that relation, never a style preference.
+ */
+export function writeEdgyRelationName(surface, edge, naming) {
+    surface.updateElement(edge.id, {
+        role: naming.role,
+        // The verb travels with the link as a label, exactly as the template lays
+        // it down — the role is what the engine reads, the label is what the user
+        // reads out loud to notice a sentence running backwards.
+        text: new Y.Text(naming.verb),
+        labelXYWH: edgyVerbLabelXYWH(naming.verb),
+        labelOffset: { distance: EDGY_RELATION_LABEL_DISTANCE },
+    });
+}
+/**
+ * Name every edge among `ids` that has earned a name, in ONE undo step.
+ *
+ * The seam, and the only function here that writes. Two phases on purpose: the
+ * namings are decided BEFORE anything is captured, so a flush that finds
+ * nothing to say costs no undo entry at all — an empty capture would turn every
+ * stray connector into a stop on the user's way back through their own history.
+ *
+ * Read-only is checked here rather than trusted: `surface.updateElement`
+ * THROWS on a read-only store, so a resolver that did not ask would turn
+ * opening a shared board in read-only into an exception per connector drawn on
+ * it.
+ */
+export function resolveEdgyRelations(surface, ids) {
+    if (surface.store.readonly)
+        return [];
+    const planned = [];
+    for (const id of ids) {
+        const edge = surface.getElementById(id);
+        if (!(edge instanceof ConnectorElementModel))
+            continue;
+        const naming = edgeRelationNaming(surface, edge);
+        if (naming)
+            planned.push([edge, naming]);
+    }
+    if (planned.length === 0)
+        return [];
+    // BEFORE the writes: `Store.transact` is no undo boundary, so without this
+    // the naming would be undone TOGETHER with the drag that produced it and the
+    // user would lose the link they just drew to take back a word.
+    surface.store.captureSync();
+    for (const [edge, naming] of planned) {
+        writeEdgyRelationName(surface, edge, naming);
+    }
+    return planned.map(([, naming]) => naming);
+}

package/dist/roles.d.ts

@@ -0,0 +1,108 @@
+import type { EdgyNodeKind } from '@formicoidea/labre-core/model';
+import type { RoleDefs } from '@formicoidea/labre-core/std/gfx';
+import { type EdgyElementName } from './metamodel.js';
+/**
+ * EDGY role vocabulary (WS1).
+ *
+ * A role is the semantic identity of an EDGY artefact — no rule will ever look
+ * at a shape type. Three families live here, and they answer three different
+ * questions:
+ *
+ * - the ELEMENTS: `edgy:element` at the root, the four PERSISTED kinds under it
+ *   (`people`, `outcome`, `object`, `activity` — the `EdgyNodeKind` the user
+ *   picks in the toolbox and the model stores), and the twelve OFFICIAL
+ *   elements of the metamodel under their own kind;
+ * - the BACKGROUNDS: `edgy:background`, specialised by the facets diagram and
+ *   the blank board — the two frames a finding can be attributed to;
+ * - the RELATIONS: `edgy:relation`, specialised by ONE ROLE PER CANONICAL VERB.
+ *
+ * Hierarchy is DATA (`parent`), never TS inheritance: a rule written on
+ * `edgy:element` covers `edgy:purpose` for free (see `roleIsA`), which is what
+ * lets `edgy.overlapping-artefacts` be one line rather than a matrix of
+ * sixteen.
+ *
+ * ## Why a role per VERB, and not one `edgy:relation`
+ *
+ * EDGY's grammar is not "these two things may be linked", it is "content
+ * EXPRESSES purpose". A single relation role could only ever check the pair,
+ * and would happily accept a link labelled "expresses" drawn between a task and
+ * a channel — the exact mistake the metamodel exists to prevent. One role per
+ * verb makes the sentence itself the unit the engine checks, through the
+ * `relation-endpoints` family: source, edge, target, all three named by role.
+ *
+ * Tier 1 of `docs/adr/0010` applies to every one of them: the SOURCE is the
+ * subject of the verb, the TARGET its object. The verb travels with the link as
+ * a visible label too — that is presentation, and it stays; the role is what
+ * the engine reads.
+ *
+ * ## Compatibility
+ *
+ * Nothing is backfilled. An EDGY board drawn before today carries elements and
+ * connectors with no role, so it is never evaluated and never says a word — the
+ * same promise every role in this library has made (PRD principle 8).
+ */
+/** The twelve official elements of the metamodel, by name. */
+export type EdgyElementRole = EdgyElementName;
+/** The static half of the vocabulary — everything not derived from a verb. */
+export type EdgyStaticRole = 'element' | EdgyNodeKind | 'background' | 'facets' | 'board' | 'relation' | EdgyElementRole;
+export type EdgyRoleId = `edgy:${string}`;
+/** Role ids, keyed by the name used at the creation sites. */
+export declare const EDGY_ROLE: {
+    readonly element: "edgy:element";
+    readonly people: "edgy:people";
+    readonly outcome: "edgy:outcome";
+    readonly object: "edgy:object";
+    readonly activity: "edgy:activity";
+    readonly purpose: "edgy:purpose";
+    readonly capability: "edgy:capability";
+    readonly task: "edgy:task";
+    readonly story: "edgy:story";
+    readonly process: "edgy:process";
+    readonly journey: "edgy:journey";
+    readonly content: "edgy:content";
+    readonly asset: "edgy:asset";
+    readonly channel: "edgy:channel";
+    readonly organisation: "edgy:organisation";
+    readonly product: "edgy:product";
+    readonly brand: "edgy:brand";
+    readonly background: "edgy:background";
+    readonly facets: "edgy:facets";
+    readonly board: "edgy:board";
+    readonly relation: "edgy:relation";
+};
+/**
+ * Role id per canonical verb, DERIVED from {@link EDGY_DYNAMIC_RELATIONS}.
+ *
+ * Derived rather than restated: the metamodel is written once (`./metamodel.ts`)
+ * and the template that draws it, the vocabulary that names it and the rule that
+ * checks it all read the same table. `requires` appears on three rows and gets
+ * ONE role — a verb is a verb wherever it is spoken, and the three sentences it
+ * belongs to are three triplets, not three roles.
+ */
+export declare const EDGY_VERB_ROLE: Readonly<Record<string, EdgyRoleId>>;
+/**
+ * Key of an ORDERED pair of element roles: `edgy:process edgy:capability`.
+ *
+ * A SPACE separates them, and not `-`, `:` or `>`: a role id already contains a
+ * colon and may contain a dash (`edgy:is-part-of`), and a separator that can
+ * occur inside a value is a lookup table with collisions waiting in it. No role
+ * id has ever contained whitespace — `verbRoleId` above replaces it on the one
+ * family that could.
+ */
+export declare const edgyPairKey: (source: string, target: string) => string;
+/**
+ * Ordered pair of ELEMENT roles → the canonical verb the metamodel gives it,
+ * DERIVED from {@link EDGY_DYNAMIC_RELATIONS}.
+ *
+ * The metamodel's 24 rows are 24 DISTINCT ordered pairs, so the verb of a
+ * relation is entirely determined by which two elements it runs between: there
+ * is never a choice to offer. That is what lets the toolbox ship ONE "Relation"
+ * entry instead of twenty-two, and what `./relation.ts` reads to name a
+ * hand-drawn link after the pair the user attached it to.
+ *
+ * Derived, never restated — same contract as {@link EDGY_VERB_ROLE}: a relation
+ * added to `./metamodel.ts` becomes nameable by hand without anybody editing
+ * this file.
+ */
+export declare const EDGY_PAIR_TO_VERB: Readonly<Record<string, string>>;
+export declare const EDGY_ROLES: RoleDefs;