@cratylus/canon 0.20.0 → 0.22.0

package/dist/manifest.js

@@ -9,29 +9,29 @@
 // `manifest: MANIFEST`), so a consumer projecting canon gets the design without
 // the projector containing it.
 //
-// The manifest used to live in `forge`, which meant a corpus could not
+// The manifest used to live in `forge`, which meant the canon could not
 // discover a factor without editing the projector — the thesis inverted at its
 // most load-bearing point. A projector that knows there are exactly 18 factors
 // named these 18 things is not projecting a design; it contains one.
 //
-// WHERE THE TYPO-CATCHING LIVES. The schema's `Fragment<O>` is constrained
-// `O extends string`, not `O extends Dimension`, and MUST NOT be re-tightened:
+// WHERE THE TYPO-CATCHING LIVES. The schema's `BareValue<O>` is constrained
+// `O extends string`, not `O extends Factor`, and MUST NOT be re-tightened:
 // the brand discriminates by the type ARGUMENT, so every value-level guarantee
 // (the cross-factor refusal, the `required` catch-all) holds without the
 // constraint. The one property the relaxation costs is catching a MISSPELLED
-// factor name, and it is restored HERE, by `Value<D extends Dimension>` below
-// — the corpus that owns the manifest is the only place that can know a name is
+// factor name, and it is restored HERE, by `Value<D extends Factor>` below
+// — the canon that owns the manifest is the only place that can know a name is
 // not one of its own.
 // ─────────────────────────────────────────────────────────────────────────────
 /**
- * The one runtime home for this corpus's factor metadata, in catalog order: the
+ * The one runtime home for this canon's factor metadata, in catalog order: the
  * groups (Identity, Authority, Reach, Cognition, Interface, Governance) are
  * ordered by first appearance. Every derivation below reads it, so a factor is
  * added HERE and nowhere else.
  *
- * `as const satisfies Record<string, DimensionMeta>` is LOAD-BEARING and is not
- * interchangeable with a `: Record<string, DimensionMeta>` annotation. The
- * annotation widens the keys to `string`, which collapses `Dimension` to `string`
+ * `as const satisfies Record<string, FactorMeta>` is LOAD-BEARING and is not
+ * interchangeable with a `: Record<string, FactorMeta>` annotation. The
+ * annotation widens the keys to `string`, which collapses `Factor` to `string`
  * and takes every alias, `Agent` field and arity check below down with it —
  * silently, while everything still compiles.
  */
@@ -50,7 +50,8 @@ export const MANIFEST = {
         repertoire: 'open',
         level: 'firm',
         projection: 'text',
-        slots: [{ name: 'drive' }, { name: 'stopping-rule' }],
+        // `drive` is stated only where it departs from what the role's name carries.
+        slots: [{ name: 'drive', optional: true }, { name: 'stopping-rule' }],
     },
     expertise: {
         group: 'Identity',
@@ -81,13 +82,9 @@ export const MANIFEST = {
         projection: 'text',
         slots: [
             { name: 'register' },
-            { name: 'density' },
+            { name: 'density', optional: true },
             { name: 'rationale' },
-            {
-                name: 'ordering',
-                gloss: 'the sequence a reply presents its content in',
-                optional: true,
-            },
+            { name: 'ordering', optional: true },
         ],
     },
     // Authority
@@ -98,22 +95,25 @@ export const MANIFEST = {
         level: 'firm',
         projection: 'text',
         slots: [
-            { name: 'intent', gloss: 'what is wanted and why' },
-            { name: 'priority', gloss: 'what comes first' },
+            { name: 'intent' },
+            { name: 'priority' },
             {
                 name: 'meaning',
-                gloss: 'concepts, user stories and examples, and accepting a story done',
+                precisingDefinition: 'concepts, user stories and examples, and accepting a realization',
             },
-            { name: 'constraint', gloss: 'decisions on realization' },
+            { name: 'constraint', precisingDefinition: 'decisions on realization' },
             {
                 name: 'realization',
-                gloss: 'how the work product, or the checks, are built and joined',
+                precisingDefinition: 'how the work is built, its acceptance tests included, and joined',
+            },
+            {
+                name: 'verdict',
+                precisingDefinition: "whether a realization passes its acceptance tests, and whether a change's code review approves it",
             },
-            { name: 'verdict', gloss: "whether a change's code review approves it" },
-            { name: 'release', gloss: 'making merged work available to its users' },
+            { name: 'release' },
             {
                 name: 'sign-off',
-                gloss: "the operator's, at its hold points, which are a user story's read-back, a story's plan read-back, a change it has asked to review before it joins, release, a fork that is irreversible, about value or beyond the architect's competence, and any hold point it calls: agreeing that a handoff serves its intent",
+                precisingDefinition: "the product owner's go-ahead, by default on each user story and its examples before its build and on each release; waived or delegated at the product owner's word",
                 optional: true,
             },
         ],
@@ -126,7 +126,7 @@ export const MANIFEST = {
         projection: 'text',
     },
     // Reach — what a role sees and changes. Never text, and compiled to no setting:
-    // every agent starts with the harness's default tools (decision 0142).
+    // every agent starts with the harness's default tools.
     'perception-scope': {
         group: 'Reach',
         arity: 'set',
@@ -202,34 +202,34 @@ export const MANIFEST = {
     },
 };
 /** Every factor name, in catalog order. */
-export const DIMENSION_NAMES = Object.keys(MANIFEST);
+export const FACTOR_NAMES = Object.keys(MANIFEST);
 // ── The runtime-capability vocabulary ───────────────────────────────────────
 //
-// WHICH runtime capabilities exist is this corpus's to say, exactly as WHICH
-// dimensions exist is. `@cratylus/schema` states only that a capability HAS a
+// WHICH runtime capabilities exist is this canon's to say, exactly as WHICH
+// factors exist is. `@cratylus/schema` states only that a capability HAS a
 // name (`CapabilityName`); the members live here, and `Skill` below is narrowed
-// against them so a cell naming a capability this corpus does not ship is a
+// against them so a skill naming a capability this canon does not ship is a
 // COMPILE error rather than a shim that forwards to a bin verb nobody serves.
 //
 // This retires the `schema → runtime` edge. `CapabilityName` used to read
 // `keyof Omit<RuntimePlugin, 'name'>` — schema reaching into the runtime's
 // IMPLEMENTATION INTERFACE to borrow a set of NAMES. `shape ⊥ vocabulary`: the
-// ports stay in the runtime, and the names come from the corpus. Nothing moved
+// ports stay in the runtime, and the names come from the canon. Nothing moved
 // except where the members
 // are declared.
 //
-// THE SIGN IS `RuntimeCapability`, WHICH IS WHAT SCHEMA ALREADY CALLED IT — and
+// THE TERM IS `RuntimeCapability`, WHICH IS WHAT SCHEMA ALREADY CALLED IT — and
 // that is the finding. The name was never the defect; the derivation source was.
 // The qualifier is load-bearing HERE and not in schema: in an agent catalog a
 // bare `Capability` reads as what an agent is able to do (the `expertise`
 // factor above), which is a different concept; one root would cover two.
 export const RUNTIME_CAPABILITIES = [
-    'concepts',
+    'model',
     'versionSkew',
 ];
 // ── The lifecycle-event vocabulary ──────────────────────────────────────────
 //
-// A NAME FOR A MOMENT IS A SIGNIFICATION, and signification is what this corpus is.
+// A NAME FOR A MOMENT IS A TERM, and terms are what this canon is made of.
 // That decides the home: not schema (which held 28 of these, emitted
 // from a JSON file by a generator), not runtime (which held the same 28,
 // hand-authored, identical as sets AND in order), but here — beside
@@ -239,11 +239,11 @@ export const RUNTIME_CAPABILITIES = [
 //
 // EVERY OTHER SITE DERIVES OR RECEIVES:
 //   · schema  states only that an event HAS a name (`EventName`) and narrows
-//     `HookCell` from this tuple by type argument — an undeclared event is a
-//     compile error at the cell;
+//     `HookDeclaration` from this tuple by type argument — an undeclared event is a
+//     compile error at the declaration;
 //   · forge   receives it as DATA on the plugin (`AgentPlugin.events`) and keys
 //     its own harness maps over it;
-//   · runtime receives it as CONFIGURATION THE PROJECTION EMITTED — `deploy`
+//   · runtime receives it as CONFIGURATION THE PROJECTION EMITTED — `install`
 //     writes the host config, `dispatch` validates against it.
 // Only the first is a compiler-enforced derivation; the other two cross package
 // boundaries the type system cannot, which is what `test/event-vocabulary.test.ts`
@@ -252,20 +252,20 @@ export const RUNTIME_CAPABILITIES = [
 // TWO MEMBERS NAME AN ACT RATHER THAN A HARNESS CALLBACK, and they are the reason
 // there is no tool vocabulary. `stance-guardrail-pre` bound `tool.use.pre` and then
 // narrowed it with `matcher: 'AskUserQuestion|Agent|SendMessage'` — three claude tool
-// names, on a cell whose whole claim is harness-neutrality, silently dropped by an
+// names, on a hook declaration whose whole claim is harness-neutrality, silently dropped by an
 // adapter that could not narrow it (so the hook fired on every tool call there). The
 // obvious repair — a canonical TOOL vocabulary beside this one — is a category error: harnesses share a
 // LIFECYCLE, which is closed, but their TOOL SETS are open-world (MCP servers add
 // tools at run time, users add their own), so a closed enum over them is permanently
 // incomplete and every adapter map would be near-empty.
 //
-// The vocabulary was already written in the cell's own σ*: its residue reads
+// The vocabulary was already written in the hook's own term: its precising definition reads
 // `permission-menu ⟨AskUserQuestion⟩ · dispatch-echo ⟨Agent · SendMessage⟩` — three
 // tool names already factored into TWO ACTS, four lines above the field that
-// flattened them back. The residue was the argmin and the matcher its lossy
-// projection, so the two acts are signified here and the projection is computed:
+// flattened them back. The precising definition was the argmin and the matcher its lossy
+// projection, so the two acts are named here and the projection is computed:
 //
-//   · `operator.consult.pre`   — about to put a question or a menu to the operator.
+//   · `product-owner.consult.pre` — about to put a question or a menu to the product owner.
 //     `principal.consult.pre` was the runner-up; `user.ask.pre` is rejected (`user`
 //     collides with deploy's install-scope `user`, and it is the VENDOR word while
 //     this pivot is vendor-neutral); `elicit.pre` is rejected (occupied by the
@@ -274,10 +274,10 @@ export const RUNTIME_CAPABILITIES = [
 //   · `subagent.dispatch.pre`  — about to hand work to an agent. Covers spawn AND
 //     message, and pairs as the pre-phase of `subagent.start`/`subagent.end`.
 //
-// TWO, and no third: a third act has no site in this corpus. An adapter maps each to
+// TWO, and no third: a third act has no site in this canon. An adapter maps each to
 // its native ⟨event, selector⟩ pair (`NativeBinding`); a harness that can fire the
 // act but not narrow it DECLARES that loss and the projection warns, which is what
-// closed that divergence. `matcher` no longer exists on any cell or IR shape.
+// closed that divergence. `matcher` no longer exists on any hook declaration or IR shape.
 //
 // `vcs.commit.post` IS AN ORDINARY MEMBER. It was `SubstrateEvent = CanonicalEvent |
 // 'vcs.commit.post'` — a union that existed only because the enum was closed and a
@@ -323,8 +323,8 @@ export const CANONICAL_EVENTS = [
     'subagent.end',
     // harness substrate — the working copy an agent is given
     'worktree.create',
-    // harness substrate — what the operator is asked and told
-    'operator.consult.pre',
+    // harness substrate — what the product owner is asked and told
+    'product-owner.consult.pre',
     'permission.request',
     'permission.deny',
     'notification',

package/dist/manifest.js.map

@@ -1 +1 @@
-{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../src/manifest.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,8DAA8D;AAC9D,EAAE;AACF,yEAAyE;AACzE,+EAA+E;AAC/E,kFAAkF;AAClF,iFAAiF;AACjF,mEAAmE;AACnE,gFAAgF;AAChF,+BAA+B;AAC/B,EAAE;AACF,uEAAuE;AACvE,+EAA+E;AAC/E,+EAA+E;AAC/E,qEAAqE;AACrE,EAAE;AACF,2EAA2E;AAC3E,+EAA+E;AAC/E,+EAA+E;AAC/E,yEAAyE;AACzE,6EAA6E;AAC7E,8EAA8E;AAC9E,gFAAgF;AAChF,sBAAsB;AACtB,gFAAgF;AAehF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,WAAW;IACX,IAAI,EAAE;QACJ,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,QAAQ;QACf,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,SAAS,EAAE;QACT,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;KACtD;IACD,SAAS,EAAE;QACT,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,SAAS,EAAE;QACT,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,MAAM,EAAE;QACN,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,qBAAqB,EAAE;QACrB,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,UAAU,EAAE;YACpB,EAAE,IAAI,EAAE,SAAS,EAAE;YACnB,EAAE,IAAI,EAAE,WAAW,EAAE;YACrB;gBACE,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,8CAA8C;gBACrD,QAAQ,EAAE,IAAI;aACf;SACF;KACF;IACD,YAAY;IACZ,iBAAiB,EAAE;QACjB,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,OAAO;QACnB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,wBAAwB,EAAE;YACnD,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,kBAAkB,EAAE;YAC/C;gBACE,IAAI,EAAE,SAAS;gBACf,KAAK,EACH,iEAAiE;aACpE;YACD,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,0BAA0B,EAAE;YACzD;gBACE,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,2DAA2D;aACnE;YACD,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,4CAA4C,EAAE;YACxE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,2CAA2C,EAAE;YACvE;gBACE,IAAI,EAAE,UAAU;gBAChB,KAAK,EACH,mTAAmT;gBACrT,QAAQ,EAAE,IAAI;aACf;SACF;KACF;IACD,QAAQ,EAAE;QACR,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,gFAAgF;IAChF,uEAAuE;IACvE,kBAAkB,EAAE;QAClB,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,OAAO;QACnB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,SAAS;KACtB;IACD,cAAc,EAAE;QACd,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,OAAO;QACnB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,SAAS;KACtB;IACD,YAAY;IACZ,KAAK,EAAE;QACL,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;KAC9C;IACD,MAAM,EAAE;QACN,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,YAAY;IACZ,UAAU,EAAE;QACV,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,QAAQ;QACf,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,WAAW,EAAE;QACX,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,QAAQ;QACf,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,aAAa;IACb,wEAAwE;IACxE,2EAA2E;IAC3E,wEAAwE;IACxE,yEAAyE;IACzE,UAAU,EAAE;QACV,KAAK,EAAE,YAAY;QACnB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;QAClB,QAAQ,EAAE,IAAI;KACf;IACD,wEAAwE;IACxE,mBAAmB,EAAE;QACnB,KAAK,EAAE,YAAY;QACnB,KAAK,EAAE,WAAW;QAClB,UAAU,EAAE,OAAO;QACnB,KAAK,EAAE,IAAI;QACX,UAAU,EAAE,MAAM;KACnB;IACD,UAAU,EAAE;QACV,KAAK,EAAE,YAAY;QACnB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,IAAI;QACX,UAAU,EAAE,MAAM;KACnB;CAC+C,CAAC;AASnD,2CAA2C;AAC3C,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAyB,CAAC;AA8D7E,+EAA+E;AAC/E,EAAE;AACF,6EAA6E;AAC7E,8EAA8E;AAC9E,gFAAgF;AAChF,4EAA4E;AAC5E,8EAA8E;AAC9E,EAAE;AACF,0EAA0E;AAC1E,2EAA2E;AAC3E,+EAA+E;AAC/E,+EAA+E;AAC/E,2BAA2B;AAC3B,gBAAgB;AAChB,EAAE;AACF,gFAAgF;AAChF,iFAAiF;AACjF,8EAA8E;AAC9E,0EAA0E;AAC1E,yEAAyE;AACzE,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,UAAU;IACV,aAAa;CAC+B,CAAC;AAS/C,+EAA+E;AAC/E,EAAE;AACF,oFAAoF;AACpF,qEAAqE;AACrE,yEAAyE;AACzE,oEAAoE;AACpE,kFAAkF;AAClF,gFAAgF;AAChF,iEAAiE;AACjE,EAAE;AACF,wCAAwC;AACxC,6EAA6E;AAC7E,6EAA6E;AAC7E,iCAAiC;AACjC,gFAAgF;AAChF,oCAAoC;AACpC,6EAA6E;AAC7E,+DAA+D;AAC/D,gFAAgF;AAChF,mFAAmF;AACnF,UAAU;AACV,EAAE;AACF,kFAAkF;AAClF,oFAAoF;AACpF,sFAAsF;AACtF,mFAAmF;AACnF,qFAAqF;AACrF,wGAAwG;AACxG,kFAAkF;AAClF,qFAAqF;AACrF,wDAAwD;AACxD,EAAE;AACF,6EAA6E;AAC7E,oFAAoF;AACpF,6EAA6E;AAC7E,4EAA4E;AAC5E,iFAAiF;AACjF,EAAE;AACF,oFAAoF;AACpF,oFAAoF;AACpF,mFAAmF;AACnF,+EAA+E;AAC/E,iFAAiF;AACjF,+CAA+C;AAC/C,kFAAkF;AAClF,8EAA8E;AAC9E,EAAE;AACF,qFAAqF;AACrF,mFAAmF;AACnF,mFAAmF;AACnF,8EAA8E;AAC9E,EAAE;AACF,qFAAqF;AACrF,mFAAmF;AACnF,oFAAoF;AACpF,mFAAmF;AACnF,oFAAoF;AACpF,4EAA4E;AAC5E,wBAAwB;AACxB,EAAE;AACF,0FAA0F;AAC1F,0FAA0F;AAC1F,sFAAsF;AACtF,2FAA2F;AAC3F,wFAAwF;AACxF,sFAAsF;AACtF,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,wCAAwC;IACxC,eAAe;IACf,gBAAgB;IAChB,aAAa;IACb,eAAe;IACf,UAAU;IACV,WAAW;IACX,YAAY;IACZ,yCAAyC;IACzC,mBAAmB;IACnB,qBAAqB;IACrB,+BAA+B;IAC/B,cAAc;IACd,eAAe;IACf,eAAe;IACf,kDAAkD;IAClD,gBAAgB;IAChB,eAAe;IACf,sBAAsB;IACtB,oDAAoD;IACpD,gBAAgB;IAChB,iBAAiB;IACjB,cAAc;IACd,eAAe;IACf,uBAAuB;IACvB,gBAAgB;IAChB,cAAc;IACd,yDAAyD;IACzD,iBAAiB;IACjB,0DAA0D;IAC1D,sBAAsB;IACtB,oBAAoB;IACpB,iBAAiB;IACjB,cAAc;IACd,yCAAyC;IACzC,qBAAqB;IACrB,sBAAsB;IACtB,gBAAgB;IAChB,qBAAqB;IACrB,gBAAgB;IAChB,iBAAiB;CACsB,CAAC"}
+{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../src/manifest.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,8DAA8D;AAC9D,EAAE;AACF,yEAAyE;AACzE,+EAA+E;AAC/E,kFAAkF;AAClF,iFAAiF;AACjF,mEAAmE;AACnE,gFAAgF;AAChF,+BAA+B;AAC/B,EAAE;AACF,wEAAwE;AACxE,+EAA+E;AAC/E,+EAA+E;AAC/E,qEAAqE;AACrE,EAAE;AACF,4EAA4E;AAC5E,4EAA4E;AAC5E,+EAA+E;AAC/E,yEAAyE;AACzE,6EAA6E;AAC7E,2EAA2E;AAC3E,+EAA+E;AAC/E,sBAAsB;AACtB,gFAAgF;AAehF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,WAAW;IACX,IAAI,EAAE;QACJ,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,QAAQ;QACf,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,SAAS,EAAE;QACT,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;QAClB,6EAA6E;QAC7E,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;KACtE;IACD,SAAS,EAAE;QACT,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,SAAS,EAAE;QACT,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,MAAM,EAAE;QACN,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,qBAAqB,EAAE;QACrB,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,UAAU,EAAE;YACpB,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE;YACnC,EAAE,IAAI,EAAE,WAAW,EAAE;YACrB,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE;SACrC;KACF;IACD,YAAY;IACZ,iBAAiB,EAAE;QACjB,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,OAAO;QACnB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClB,EAAE,IAAI,EAAE,UAAU,EAAE;YACpB;gBACE,IAAI,EAAE,SAAS;gBACf,mBAAmB,EACjB,kEAAkE;aACrE;YACD,EAAE,IAAI,EAAE,YAAY,EAAE,mBAAmB,EAAE,0BAA0B,EAAE;YACvE;gBACE,IAAI,EAAE,aAAa;gBACnB,mBAAmB,EACjB,kEAAkE;aACrE;YACD;gBACE,IAAI,EAAE,SAAS;gBACf,mBAAmB,EACjB,mGAAmG;aACtG;YACD,EAAE,IAAI,EAAE,SAAS,EAAE;YACnB;gBACE,IAAI,EAAE,UAAU;gBAChB,mBAAmB,EACjB,oKAAoK;gBACtK,QAAQ,EAAE,IAAI;aACf;SACF;KACF;IACD,QAAQ,EAAE;QACR,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,gFAAgF;IAChF,uDAAuD;IACvD,kBAAkB,EAAE;QAClB,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,OAAO;QACnB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,SAAS;KACtB;IACD,cAAc,EAAE;QACd,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,OAAO;QACnB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,SAAS;KACtB;IACD,YAAY;IACZ,KAAK,EAAE;QACL,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;KAC9C;IACD,MAAM,EAAE;QACN,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,YAAY;IACZ,UAAU,EAAE;QACV,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,QAAQ;QACf,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,WAAW,EAAE;QACX,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,QAAQ;QACf,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;KACnB;IACD,aAAa;IACb,wEAAwE;IACxE,2EAA2E;IAC3E,wEAAwE;IACxE,yEAAyE;IACzE,UAAU,EAAE;QACV,KAAK,EAAE,YAAY;QACnB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,MAAM;QAClB,QAAQ,EAAE,IAAI;KACf;IACD,wEAAwE;IACxE,mBAAmB,EAAE;QACnB,KAAK,EAAE,YAAY;QACnB,KAAK,EAAE,WAAW;QAClB,UAAU,EAAE,OAAO;QACnB,KAAK,EAAE,IAAI;QACX,UAAU,EAAE,MAAM;KACnB;IACD,UAAU,EAAE;QACV,KAAK,EAAE,YAAY;QACnB,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,IAAI;QACX,UAAU,EAAE,MAAM;KACnB;CAC4C,CAAC;AAShD,2CAA2C;AAC3C,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAsB,CAAC;AA8DvE,+EAA+E;AAC/E,EAAE;AACF,4EAA4E;AAC5E,2EAA2E;AAC3E,gFAAgF;AAChF,4EAA4E;AAC5E,8EAA8E;AAC9E,EAAE;AACF,0EAA0E;AAC1E,2EAA2E;AAC3E,+EAA+E;AAC/E,8EAA8E;AAC9E,2BAA2B;AAC3B,gBAAgB;AAChB,EAAE;AACF,gFAAgF;AAChF,iFAAiF;AACjF,8EAA8E;AAC9E,0EAA0E;AAC1E,yEAAyE;AACzE,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,OAAO;IACP,aAAa;CAC+B,CAAC;AAS/C,+EAA+E;AAC/E,EAAE;AACF,2EAA2E;AAC3E,qEAAqE;AACrE,yEAAyE;AACzE,oEAAoE;AACpE,kFAAkF;AAClF,gFAAgF;AAChF,iEAAiE;AACjE,EAAE;AACF,wCAAwC;AACxC,6EAA6E;AAC7E,oFAAoF;AACpF,wCAAwC;AACxC,gFAAgF;AAChF,oCAAoC;AACpC,8EAA8E;AAC9E,+DAA+D;AAC/D,gFAAgF;AAChF,mFAAmF;AACnF,UAAU;AACV,EAAE;AACF,kFAAkF;AAClF,oFAAoF;AACpF,sFAAsF;AACtF,+FAA+F;AAC/F,qFAAqF;AACrF,wGAAwG;AACxG,kFAAkF;AAClF,qFAAqF;AACrF,wDAAwD;AACxD,EAAE;AACF,4FAA4F;AAC5F,oFAAoF;AACpF,6EAA6E;AAC7E,yFAAyF;AACzF,6EAA6E;AAC7E,EAAE;AACF,4FAA4F;AAC5F,oFAAoF;AACpF,mFAAmF;AACnF,+EAA+E;AAC/E,iFAAiF;AACjF,+CAA+C;AAC/C,kFAAkF;AAClF,8EAA8E;AAC9E,EAAE;AACF,oFAAoF;AACpF,mFAAmF;AACnF,mFAAmF;AACnF,0FAA0F;AAC1F,EAAE;AACF,qFAAqF;AACrF,mFAAmF;AACnF,oFAAoF;AACpF,mFAAmF;AACnF,oFAAoF;AACpF,4EAA4E;AAC5E,wBAAwB;AACxB,EAAE;AACF,0FAA0F;AAC1F,0FAA0F;AAC1F,sFAAsF;AACtF,2FAA2F;AAC3F,wFAAwF;AACxF,sFAAsF;AACtF,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,wCAAwC;IACxC,eAAe;IACf,gBAAgB;IAChB,aAAa;IACb,eAAe;IACf,UAAU;IACV,WAAW;IACX,YAAY;IACZ,yCAAyC;IACzC,mBAAmB;IACnB,qBAAqB;IACrB,+BAA+B;IAC/B,cAAc;IACd,eAAe;IACf,eAAe;IACf,kDAAkD;IAClD,gBAAgB;IAChB,eAAe;IACf,sBAAsB;IACtB,oDAAoD;IACpD,gBAAgB;IAChB,iBAAiB;IACjB,cAAc;IACd,eAAe;IACf,uBAAuB;IACvB,gBAAgB;IAChB,cAAc;IACd,yDAAyD;IACzD,iBAAiB;IACjB,+DAA+D;IAC/D,2BAA2B;IAC3B,oBAAoB;IACpB,iBAAiB;IACjB,cAAc;IACd,yCAAyC;IACzC,qBAAqB;IACrB,sBAAsB;IACtB,gBAAgB;IAChB,qBAAqB;IACrB,gBAAgB;IAChB,iBAAiB;CACsB,CAAC"}

package/dist/operator-lexicon.d.ts

@@ -4,288 +4,288 @@ export interface OperatorEntry {
     readonly sense: string;
     /** the type signature (`name : Domain → Codomain`, or a usage schema) */
     readonly signature: string;
-    /** a cold reader, given the glyph and nothing of its sense, recovers the operation */
-    readonly coldVerified: boolean;
+    /** a fresh model, given the glyph and nothing of its sense, recovers the operation */
+    readonly freshVerified: boolean;
 }
 export declare const OPERATORS: {
     readonly '\u225C': {
         readonly sense: "defines";
         readonly signature: "name ≜ expr";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2260': {
         readonly sense: "distinct";
         readonly signature: "T × T → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u227D': {
         readonly sense: "dominates";
         readonly signature: "T × T → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u227B': {
         readonly sense: "strictly-dominates";
         readonly signature: "T × T → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2245': {
         readonly sense: "reader-isomorphic";
         readonly signature: "𝒞 × 𝒞 → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u227A': {
         readonly sense: "precedes";
         readonly signature: "T × T → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2265': {
         readonly sense: "at-least";
         readonly signature: "T × T → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2264': {
         readonly sense: "at-most";
         readonly signature: "T × T → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2261': {
         readonly sense: "identical";
         readonly signature: "T × T → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2262': {
         readonly sense: "not-identical";
         readonly signature: "T × T → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u27E8': {
         readonly sense: "tuple-open / modifier-open";
         readonly signature: "⟨a, b, …⟩ ordered record · X⟨m⟩ modifier (position-disambiguated)";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u27E9': {
         readonly sense: "tuple-close / modifier-close";
         readonly signature: "⟨a, b, …⟩ ordered record · X⟨m⟩ modifier (position-disambiguated)";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u22E1': {
         readonly sense: "does-not-dominate";
         readonly signature: "T × T → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u27FC': {
         readonly sense: "maps-to";
         readonly signature: "x ⟼ f(x)";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly 𝔹: {
         readonly sense: "Booleans";
         readonly signature: "{⊤, ⊥}";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u00AC': {
         readonly sense: "not";
         readonly signature: "Prop → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2227': {
         readonly sense: "and";
         readonly signature: "Prop × Prop → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2228': {
         readonly sense: "or";
         readonly signature: "Prop × Prop → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u22BB': {
         readonly sense: "exclusive-or";
         readonly signature: "Prop × Prop → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u21D2': {
         readonly sense: "implies";
         readonly signature: "Prop × Prop → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u21CF': {
         readonly sense: "not-implies";
         readonly signature: "Prop × Prop → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u21D4': {
         readonly sense: "iff";
         readonly signature: "Prop × Prop → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u22A5': {
         readonly sense: "contradiction";
         readonly signature: "Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2234': {
         readonly sense: "therefore";
         readonly signature: "Prop ∴ Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2235': {
         readonly sense: "because";
         readonly signature: "Prop ∵ Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2200': {
         readonly sense: "for-all";
         readonly signature: "∀ x : Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2203': {
         readonly sense: "exists";
         readonly signature: "∃ x : Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2204': {
         readonly sense: "none-exist";
         readonly signature: "∄ x : Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2208': {
         readonly sense: "member";
         readonly signature: "El × Set → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2209': {
         readonly sense: "non-member";
         readonly signature: "El × Set → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '=': {
         readonly sense: "equality-binding";
         readonly signature: "A × A → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '|': {
         readonly sense: "given ⟨such-that⟩";
         readonly signature: "A × Cond → A";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '+': {
         readonly sense: "sum-conjunction";
         readonly signature: "A × A → A";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2286': {
         readonly sense: "subset";
         readonly signature: "Set × Set → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2282': {
         readonly sense: "proper-subset";
         readonly signature: "Set × Set → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2287': {
         readonly sense: "superset";
         readonly signature: "Set × Set → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2295': {
         readonly sense: "direct-sum ⟨composition of parts into a whole⟩";
         readonly signature: "A × A → A";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u222A': {
         readonly sense: "union";
         readonly signature: "Set × Set → Set";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2229': {
         readonly sense: "intersection";
         readonly signature: "Set × Set → Set";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u22C3': {
         readonly sense: "n-ary-union";
         readonly signature: "Set[Set] → Set";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2205': {
         readonly sense: "empty";
         readonly signature: "Set";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u00D7': {
         readonly sense: "product";
         readonly signature: "Set × Set → Set";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly ℘: {
         readonly sense: "power-set";
         readonly signature: "Set → Set[Set]";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u228A': {
         readonly sense: "proper-subset";
         readonly signature: "Set × Set → Prop";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2294': {
         readonly sense: "join";
         readonly signature: "Set[El] → El";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2192': {
         readonly sense: "maps";
         readonly signature: "A → B";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u21A6': {
         readonly sense: "sends";
         readonly signature: "x ↦ y";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u21C0': {
         readonly sense: "partial-map";
         readonly signature: "A ⇀ B";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u21A3': {
         readonly sense: "injective-map";
         readonly signature: "A ↣ B";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u22A8': {
         readonly sense: "entails";
         readonly signature: "X ⊨ Y";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u21BE': {
         readonly sense: "restriction";
         readonly signature: "X ↾ Y — X narrowed to scope Y";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2218': {
         readonly sense: "compose";
         readonly signature: "(B → C) × (A → B) → (A → C)";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u00B7': {
         readonly sense: "and-list";
         readonly signature: "a · b · c";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '\u2026': {
         readonly sense: "and-so-on";
         readonly signature: "{ a, b, … }";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '@': {
         readonly sense: "resides-at / sourced-from — the authoritative on-disk or subsystem home of a fact";
         readonly signature: "fact @ location";
-        readonly coldVerified: true;
+        readonly freshVerified: true;
     };
     readonly '${}': {
         readonly sense: "esm-reference";
-        readonly signature: "${cell} — template-literal interpolation of another cell, resolved at eval";
-        readonly coldVerified: false;
+        readonly signature: "${value} — template-literal interpolation of another value, resolved at eval";
+        readonly freshVerified: false;
     };
 };