@cratylus/canon 0.20.0 → 0.22.0

package/dist/operator-lexicon.js

@@ -1,4 +1,4 @@
-// operator-lexicon — the corpus's shared operator vocabulary: the declared table `T`
+// operator-lexicon — the canon's shared operator vocabulary: the declared table `T`
 // of self-sufficient-formalism's `closed(B)`. One glyph ⇔ one sense (injective, like
 // signify on names): a glyph carries a single meaning across every fence, fixed by its
 // `sense` and pinned by its `signature`. `T` DECLARES rather than derives — the one table
@@ -8,161 +8,169 @@
 // dereferences a glyph by asking an agent to explain the artifact (the on-demand channel),
 // never a maintained doc.
 //
-// `coldVerified`: a cold reader, given the glyph and nothing of its sense, recovers the operation
-// (SIGNIFIED/COLD-BLIND). Universal math/logic notation is cold by ubiquity; `↾`/`⟨⟩` were
-// cold-surveyed against reader priors and passed. `${}` is a CODE mechanism (resolved at
+// `freshVerified`: a fresh model, given the glyph and nothing of its sense, recovers the operation.
+// Universal math/logic notation passes by ubiquity; `↾`/`⟨⟩` were surveyed by fresh readings
+// against reader priors and passed. `${}` is a CODE mechanism (resolved at
 // eval, not decoded) ⇒ false.
 export const OPERATORS = {
     // ── Definition & comparison ──────────────────────────────────────────────
-    '≜': { sense: 'defines', signature: 'name ≜ expr', coldVerified: true },
-    '≠': { sense: 'distinct', signature: 'T × T → Prop', coldVerified: true },
-    '≽': { sense: 'dominates', signature: 'T × T → Prop', coldVerified: true },
+    '≜': { sense: 'defines', signature: 'name ≜ expr', freshVerified: true },
+    '≠': { sense: 'distinct', signature: 'T × T → Prop', freshVerified: true },
+    '≽': { sense: 'dominates', signature: 'T × T → Prop', freshVerified: true },
     '≻': {
         sense: 'strictly-dominates',
         signature: 'T × T → Prop',
-        coldVerified: true,
+        freshVerified: true,
     },
     '≅': {
         sense: 'reader-isomorphic',
         signature: '𝒞 × 𝒞 → Prop',
-        coldVerified: true,
+        freshVerified: true,
     },
-    '≺': { sense: 'precedes', signature: 'T × T → Prop', coldVerified: true },
-    '≥': { sense: 'at-least', signature: 'T × T → Prop', coldVerified: true },
-    '≤': { sense: 'at-most', signature: 'T × T → Prop', coldVerified: true },
-    '≡': { sense: 'identical', signature: 'T × T → Prop', coldVerified: true },
+    '≺': { sense: 'precedes', signature: 'T × T → Prop', freshVerified: true },
+    '≥': { sense: 'at-least', signature: 'T × T → Prop', freshVerified: true },
+    '≤': { sense: 'at-most', signature: 'T × T → Prop', freshVerified: true },
+    '≡': { sense: 'identical', signature: 'T × T → Prop', freshVerified: true },
     '≢': {
         sense: 'not-identical',
         signature: 'T × T → Prop',
-        coldVerified: true,
+        freshVerified: true,
     },
     '⟨': {
         sense: 'tuple-open / modifier-open',
         signature: '⟨a, b, …⟩ ordered record · X⟨m⟩ modifier (position-disambiguated)',
-        coldVerified: true,
+        freshVerified: true,
     },
     '⟩': {
         sense: 'tuple-close / modifier-close',
         signature: '⟨a, b, …⟩ ordered record · X⟨m⟩ modifier (position-disambiguated)',
-        coldVerified: true,
+        freshVerified: true,
     },
     '⋡': {
         sense: 'does-not-dominate',
         signature: 'T × T → Prop',
-        coldVerified: true,
+        freshVerified: true,
     },
-    '⟼': { sense: 'maps-to', signature: 'x ⟼ f(x)', coldVerified: true },
-    𝔹: { sense: 'Booleans', signature: '{⊤, ⊥}', coldVerified: true },
+    '⟼': { sense: 'maps-to', signature: 'x ⟼ f(x)', freshVerified: true },
+    𝔹: { sense: 'Booleans', signature: '{⊤, ⊥}', freshVerified: true },
     // ── Propositional logic ──────────────────────────────────────────────────
-    '¬': { sense: 'not', signature: 'Prop → Prop', coldVerified: true },
-    '∧': { sense: 'and', signature: 'Prop × Prop → Prop', coldVerified: true },
-    '∨': { sense: 'or', signature: 'Prop × Prop → Prop', coldVerified: true },
+    '¬': { sense: 'not', signature: 'Prop → Prop', freshVerified: true },
+    '∧': { sense: 'and', signature: 'Prop × Prop → Prop', freshVerified: true },
+    '∨': { sense: 'or', signature: 'Prop × Prop → Prop', freshVerified: true },
     '⊻': {
         sense: 'exclusive-or',
         signature: 'Prop × Prop → Prop',
-        coldVerified: true,
+        freshVerified: true,
     },
     '⇒': {
         sense: 'implies',
         signature: 'Prop × Prop → Prop',
-        coldVerified: true,
+        freshVerified: true,
     },
     '⇏': {
         sense: 'not-implies',
         signature: 'Prop × Prop → Prop',
-        coldVerified: true,
+        freshVerified: true,
     },
-    '⇔': { sense: 'iff', signature: 'Prop × Prop → Prop', coldVerified: true },
-    '⊥': { sense: 'contradiction', signature: 'Prop', coldVerified: true },
-    '∴': { sense: 'therefore', signature: 'Prop ∴ Prop', coldVerified: true },
-    '∵': { sense: 'because', signature: 'Prop ∵ Prop', coldVerified: true },
+    '⇔': { sense: 'iff', signature: 'Prop × Prop → Prop', freshVerified: true },
+    '⊥': { sense: 'contradiction', signature: 'Prop', freshVerified: true },
+    '∴': { sense: 'therefore', signature: 'Prop ∴ Prop', freshVerified: true },
+    '∵': { sense: 'because', signature: 'Prop ∵ Prop', freshVerified: true },
     // ── Quantifiers ──────────────────────────────────────────────────────────
-    '∀': { sense: 'for-all', signature: '∀ x : Prop', coldVerified: true },
-    '∃': { sense: 'exists', signature: '∃ x : Prop', coldVerified: true },
-    '∄': { sense: 'none-exist', signature: '∄ x : Prop', coldVerified: true },
+    '∀': { sense: 'for-all', signature: '∀ x : Prop', freshVerified: true },
+    '∃': { sense: 'exists', signature: '∃ x : Prop', freshVerified: true },
+    '∄': { sense: 'none-exist', signature: '∄ x : Prop', freshVerified: true },
     // ── Sets ─────────────────────────────────────────────────────────────────
-    '∈': { sense: 'member', signature: 'El × Set → Prop', coldVerified: true },
+    '∈': { sense: 'member', signature: 'El × Set → Prop', freshVerified: true },
     '∉': {
         sense: 'non-member',
         signature: 'El × Set → Prop',
-        coldVerified: true,
+        freshVerified: true,
     },
-    // ASCII operators. Barred for years not by cold-verification but by an encoding
-    // filter in the residue grammar (`codePointAt > 0x7f`); `=` and `|` were in live
-    // use the whole time, hand-split in code. Cold-verifiability is the only bar.
+    // ASCII operators. An encoding filter in the precising-definition grammar (`codePointAt > 0x7f`)
+    // barred them for years; `=` and `|` were in live use the whole time, hand-split in code.
+    // Fresh verification is the only bar.
     '=': {
         sense: 'equality-binding',
         signature: 'A × A → Prop',
-        coldVerified: true,
+        freshVerified: true,
     },
     '|': {
         sense: 'given ⟨such-that⟩',
         signature: 'A × Cond → A',
-        coldVerified: true,
+        freshVerified: true,
     },
-    '+': { sense: 'sum-conjunction', signature: 'A × A → A', coldVerified: true },
-    '⊆': { sense: 'subset', signature: 'Set × Set → Prop', coldVerified: true },
+    '+': {
+        sense: 'sum-conjunction',
+        signature: 'A × A → A',
+        freshVerified: true,
+    },
+    '⊆': { sense: 'subset', signature: 'Set × Set → Prop', freshVerified: true },
     '⊂': {
         sense: 'proper-subset',
         signature: 'Set × Set → Prop',
-        coldVerified: true,
+        freshVerified: true,
+    },
+    '⊇': {
+        sense: 'superset',
+        signature: 'Set × Set → Prop',
+        freshVerified: true,
     },
-    '⊇': { sense: 'superset', signature: 'Set × Set → Prop', coldVerified: true },
     '⊕': {
         sense: 'direct-sum ⟨composition of parts into a whole⟩',
         signature: 'A × A → A',
-        coldVerified: true,
+        freshVerified: true,
     },
-    '∪': { sense: 'union', signature: 'Set × Set → Set', coldVerified: true },
+    '∪': { sense: 'union', signature: 'Set × Set → Set', freshVerified: true },
     '∩': {
         sense: 'intersection',
         signature: 'Set × Set → Set',
-        coldVerified: true,
+        freshVerified: true,
     },
     '⋃': {
         sense: 'n-ary-union',
         signature: 'Set[Set] → Set',
-        coldVerified: true,
+        freshVerified: true,
     },
-    '∅': { sense: 'empty', signature: 'Set', coldVerified: true },
-    '×': { sense: 'product', signature: 'Set × Set → Set', coldVerified: true },
-    ℘: { sense: 'power-set', signature: 'Set → Set[Set]', coldVerified: true },
+    '∅': { sense: 'empty', signature: 'Set', freshVerified: true },
+    '×': { sense: 'product', signature: 'Set × Set → Set', freshVerified: true },
+    ℘: { sense: 'power-set', signature: 'Set → Set[Set]', freshVerified: true },
     '⊊': {
         sense: 'proper-subset',
         signature: 'Set × Set → Prop',
-        coldVerified: true,
+        freshVerified: true,
     },
-    '⊔': { sense: 'join', signature: 'Set[El] → El', coldVerified: true },
+    '⊔': { sense: 'join', signature: 'Set[El] → El', freshVerified: true },
     // ── Maps ─────────────────────────────────────────────────────────────────
-    '→': { sense: 'maps', signature: 'A → B', coldVerified: true },
-    '↦': { sense: 'sends', signature: 'x ↦ y', coldVerified: true },
-    '⇀': { sense: 'partial-map', signature: 'A ⇀ B', coldVerified: true },
-    '↣': { sense: 'injective-map', signature: 'A ↣ B', coldVerified: true },
-    '⊨': { sense: 'entails', signature: 'X ⊨ Y', coldVerified: true },
+    '→': { sense: 'maps', signature: 'A → B', freshVerified: true },
+    '↦': { sense: 'sends', signature: 'x ↦ y', freshVerified: true },
+    '⇀': { sense: 'partial-map', signature: 'A ⇀ B', freshVerified: true },
+    '↣': { sense: 'injective-map', signature: 'A ↣ B', freshVerified: true },
+    '⊨': { sense: 'entails', signature: 'X ⊨ Y', freshVerified: true },
     '↾': {
         sense: 'restriction',
         signature: 'X ↾ Y — X narrowed to scope Y',
-        coldVerified: true,
+        freshVerified: true,
     },
     '∘': {
         sense: 'compose',
         signature: '(B → C) × (A → B) → (A → C)',
-        coldVerified: true,
+        freshVerified: true,
     },
     // ── Enumeration ──────────────────────────────────────────────────────────
-    '·': { sense: 'and-list', signature: 'a · b · c', coldVerified: true },
-    '…': { sense: 'and-so-on', signature: '{ a, b, … }', coldVerified: true },
+    '·': { sense: 'and-list', signature: 'a · b · c', freshVerified: true },
+    '…': { sense: 'and-so-on', signature: '{ a, b, … }', freshVerified: true },
     // ── Provenance / representation (ASCII) ──────────────────────────────────
     '@': {
         sense: 'resides-at / sourced-from — the authoritative on-disk or subsystem home of a fact',
         signature: 'fact @ location',
-        coldVerified: true,
+        freshVerified: true,
     },
     // ── Reference mechanism (value algebra; ASCII) ───────────────────────────
     '${}': {
         sense: 'esm-reference',
-        signature: '${cell} — template-literal interpolation of another cell, resolved at eval',
-        coldVerified: false,
+        signature: '${value} — template-literal interpolation of another value, resolved at eval',
+        freshVerified: false,
     },
 };
 //# sourceMappingURL=operator-lexicon.js.map

package/dist/operator-lexicon.js.map

@@ -1 +1 @@
-{"version":3,"file":"operator-lexicon.js","sourceRoot":"","sources":["../src/operator-lexicon.ts"],"names":[],"mappings":"AAAA,qFAAqF;AACrF,qFAAqF;AACrF,uFAAuF;AACvF,0FAA0F;AAC1F,yCAAyC;AACzC,EAAE;AACF,2FAA2F;AAC3F,2FAA2F;AAC3F,0BAA0B;AAC1B,EAAE;AACF,kGAAkG;AAClG,2FAA2F;AAC3F,yFAAyF;AACzF,8BAA8B;AAa9B,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,4EAA4E;IAC5E,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,IAAI,EAAE;IACvE,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,YAAY,EAAE,IAAI,EAAE;IACzE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,YAAY,EAAE,IAAI,EAAE;IAC1E,GAAG,EAAE;QACH,KAAK,EAAE,oBAAoB;QAC3B,SAAS,EAAE,cAAc;QACzB,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,mBAAmB;QAC1B,SAAS,EAAE,gBAAgB;QAC3B,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,YAAY,EAAE,IAAI,EAAE;IACzE,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,YAAY,EAAE,IAAI,EAAE;IACzE,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,cAAc,EAAE,YAAY,EAAE,IAAI,EAAE;IACxE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,YAAY,EAAE,IAAI,EAAE;IAC1E,GAAG,EAAE;QACH,KAAK,EAAE,eAAe;QACtB,SAAS,EAAE,cAAc;QACzB,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,4BAA4B;QACnC,SAAS,EACP,mEAAmE;QACrE,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,8BAA8B;QACrC,SAAS,EACP,mEAAmE;QACrE,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,mBAAmB;QAC1B,SAAS,EAAE,cAAc;QACzB,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,IAAI,EAAE;IACpE,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE;IAElE,4EAA4E;IAC5E,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,IAAI,EAAE;IACnE,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,oBAAoB,EAAE,YAAY,EAAE,IAAI,EAAE;IAC1E,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,oBAAoB,EAAE,YAAY,EAAE,IAAI,EAAE;IACzE,GAAG,EAAE;QACH,KAAK,EAAE,cAAc;QACrB,SAAS,EAAE,oBAAoB;QAC/B,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,SAAS;QAChB,SAAS,EAAE,oBAAoB;QAC/B,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,aAAa;QACpB,SAAS,EAAE,oBAAoB;QAC/B,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,oBAAoB,EAAE,YAAY,EAAE,IAAI,EAAE;IAC1E,GAAG,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE;IACtE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,IAAI,EAAE;IACzE,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,IAAI,EAAE;IAEvE,4EAA4E;IAC5E,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,IAAI,EAAE;IACtE,GAAG,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,IAAI,EAAE;IACrE,GAAG,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,IAAI,EAAE;IAEzE,4EAA4E;IAC5E,GAAG,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,iBAAiB,EAAE,YAAY,EAAE,IAAI,EAAE;IAC1E,GAAG,EAAE;QACH,KAAK,EAAE,YAAY;QACnB,SAAS,EAAE,iBAAiB;QAC5B,YAAY,EAAE,IAAI;KACnB;IACD,gFAAgF;IAChF,iFAAiF;IACjF,8EAA8E;IAC9E,GAAG,EAAE;QACH,KAAK,EAAE,kBAAkB;QACzB,SAAS,EAAE,cAAc;QACzB,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,mBAAmB;QAC1B,SAAS,EAAE,cAAc;QACzB,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE;IAC7E,GAAG,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,YAAY,EAAE,IAAI,EAAE;IAC3E,GAAG,EAAE;QACH,KAAK,EAAE,eAAe;QACtB,SAAS,EAAE,kBAAkB;QAC7B,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,kBAAkB,EAAE,YAAY,EAAE,IAAI,EAAE;IAC7E,GAAG,EAAE;QACH,KAAK,EAAE,gDAAgD;QACvD,SAAS,EAAE,WAAW;QACtB,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,YAAY,EAAE,IAAI,EAAE;IACzE,GAAG,EAAE;QACH,KAAK,EAAE,cAAc;QACrB,SAAS,EAAE,iBAAiB;QAC5B,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,aAAa;QACpB,SAAS,EAAE,gBAAgB;QAC3B,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE;IAC7D,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,iBAAiB,EAAE,YAAY,EAAE,IAAI,EAAE;IAC3E,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,gBAAgB,EAAE,YAAY,EAAE,IAAI,EAAE;IAC1E,GAAG,EAAE;QACH,KAAK,EAAE,eAAe;QACtB,SAAS,EAAE,kBAAkB;QAC7B,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,YAAY,EAAE,IAAI,EAAE;IAErE,4EAA4E;IAC5E,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE;IAC9D,GAAG,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE;IAC/D,GAAG,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE;IACrE,GAAG,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE;IACvE,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE;IACjE,GAAG,EAAE;QACH,KAAK,EAAE,aAAa;QACpB,SAAS,EAAE,+BAA+B;QAC1C,YAAY,EAAE,IAAI;KACnB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,SAAS;QAChB,SAAS,EAAE,6BAA6B;QACxC,YAAY,EAAE,IAAI;KACnB;IAED,4EAA4E;IAC5E,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE;IACtE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,IAAI,EAAE;IAEzE,4EAA4E;IAC5E,GAAG,EAAE;QACH,KAAK,EACH,mFAAmF;QACrF,SAAS,EAAE,iBAAiB;QAC5B,YAAY,EAAE,IAAI;KACnB;IAED,4EAA4E;IAC5E,KAAK,EAAE;QACL,KAAK,EAAE,eAAe;QACtB,SAAS,EACP,4EAA4E;QAC9E,YAAY,EAAE,KAAK;KACpB;CAC8C,CAAC"}
+{"version":3,"file":"operator-lexicon.js","sourceRoot":"","sources":["../src/operator-lexicon.ts"],"names":[],"mappings":"AAAA,oFAAoF;AACpF,qFAAqF;AACrF,uFAAuF;AACvF,0FAA0F;AAC1F,yCAAyC;AACzC,EAAE;AACF,2FAA2F;AAC3F,2FAA2F;AAC3F,0BAA0B;AAC1B,EAAE;AACF,oGAAoG;AACpG,6FAA6F;AAC7F,2EAA2E;AAC3E,8BAA8B;AAa9B,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,4EAA4E;IAC5E,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,aAAa,EAAE,IAAI,EAAE;IACxE,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,EAAE,IAAI,EAAE;IAC1E,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,EAAE,IAAI,EAAE;IAC3E,GAAG,EAAE;QACH,KAAK,EAAE,oBAAoB;QAC3B,SAAS,EAAE,cAAc;QACzB,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,mBAAmB;QAC1B,SAAS,EAAE,gBAAgB;QAC3B,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,EAAE,IAAI,EAAE;IAC1E,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,EAAE,IAAI,EAAE;IAC1E,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,EAAE,IAAI,EAAE;IACzE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,EAAE,IAAI,EAAE;IAC3E,GAAG,EAAE;QACH,KAAK,EAAE,eAAe;QACtB,SAAS,EAAE,cAAc;QACzB,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,4BAA4B;QACnC,SAAS,EACP,mEAAmE;QACrE,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,8BAA8B;QACrC,SAAS,EACP,mEAAmE;QACrE,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,mBAAmB;QAC1B,SAAS,EAAE,cAAc;QACzB,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,IAAI,EAAE;IACrE,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE;IAEnE,4EAA4E;IAC5E,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,aAAa,EAAE,IAAI,EAAE;IACpE,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,oBAAoB,EAAE,aAAa,EAAE,IAAI,EAAE;IAC3E,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,oBAAoB,EAAE,aAAa,EAAE,IAAI,EAAE;IAC1E,GAAG,EAAE;QACH,KAAK,EAAE,cAAc;QACrB,SAAS,EAAE,oBAAoB;QAC/B,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,SAAS;QAChB,SAAS,EAAE,oBAAoB;QAC/B,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,aAAa;QACpB,SAAS,EAAE,oBAAoB;QAC/B,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,oBAAoB,EAAE,aAAa,EAAE,IAAI,EAAE;IAC3E,GAAG,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE;IACvE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,aAAa,EAAE,IAAI,EAAE;IAC1E,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,aAAa,EAAE,IAAI,EAAE;IAExE,4EAA4E;IAC5E,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,IAAI,EAAE;IACvE,GAAG,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,IAAI,EAAE;IACtE,GAAG,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,IAAI,EAAE;IAE1E,4EAA4E;IAC5E,GAAG,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,iBAAiB,EAAE,aAAa,EAAE,IAAI,EAAE;IAC3E,GAAG,EAAE;QACH,KAAK,EAAE,YAAY;QACnB,SAAS,EAAE,iBAAiB;QAC5B,aAAa,EAAE,IAAI;KACpB;IACD,iGAAiG;IACjG,0FAA0F;IAC1F,sCAAsC;IACtC,GAAG,EAAE;QACH,KAAK,EAAE,kBAAkB;QACzB,SAAS,EAAE,cAAc;QACzB,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,mBAAmB;QAC1B,SAAS,EAAE,cAAc;QACzB,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,iBAAiB;QACxB,SAAS,EAAE,WAAW;QACtB,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,aAAa,EAAE,IAAI,EAAE;IAC5E,GAAG,EAAE;QACH,KAAK,EAAE,eAAe;QACtB,SAAS,EAAE,kBAAkB;QAC7B,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,UAAU;QACjB,SAAS,EAAE,kBAAkB;QAC7B,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,gDAAgD;QACvD,SAAS,EAAE,WAAW;QACtB,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,aAAa,EAAE,IAAI,EAAE;IAC1E,GAAG,EAAE;QACH,KAAK,EAAE,cAAc;QACrB,SAAS,EAAE,iBAAiB;QAC5B,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,aAAa;QACpB,SAAS,EAAE,gBAAgB;QAC3B,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE;IAC9D,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,iBAAiB,EAAE,aAAa,EAAE,IAAI,EAAE;IAC5E,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,gBAAgB,EAAE,aAAa,EAAE,IAAI,EAAE;IAC3E,GAAG,EAAE;QACH,KAAK,EAAE,eAAe;QACtB,SAAS,EAAE,kBAAkB;QAC7B,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,EAAE,IAAI,EAAE;IAEtE,4EAA4E;IAC5E,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE;IAC/D,GAAG,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE;IAChE,GAAG,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE;IACtE,GAAG,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE;IACxE,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE;IAClE,GAAG,EAAE;QACH,KAAK,EAAE,aAAa;QACpB,SAAS,EAAE,+BAA+B;QAC1C,aAAa,EAAE,IAAI;KACpB;IACD,GAAG,EAAE;QACH,KAAK,EAAE,SAAS;QAChB,SAAS,EAAE,6BAA6B;QACxC,aAAa,EAAE,IAAI;KACpB;IAED,4EAA4E;IAC5E,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,IAAI,EAAE;IACvE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,aAAa,EAAE,IAAI,EAAE;IAE1E,4EAA4E;IAC5E,GAAG,EAAE;QACH,KAAK,EACH,mFAAmF;QACrF,SAAS,EAAE,iBAAiB;QAC5B,aAAa,EAAE,IAAI;KACpB;IAED,4EAA4E;IAC5E,KAAK,EAAE;QACL,KAAK,EAAE,eAAe;QACtB,SAAS,EACP,8EAA8E;QAChF,aAAa,EAAE,KAAK;KACrB;CAC8C,CAAC"}

package/dist/roles/business-analyst.d.ts

@@ -0,0 +1,2 @@
+import type { RoleProfile } from '../compose.js';
+export declare const businessAnalystRole: RoleProfile;

package/dist/roles/business-analyst.js

@@ -0,0 +1,97 @@
+// The business analyst: holds the domain model, turning the product owner's intent into
+// concepts, user stories and examples, and confirming a realization means what was
+// intended; never decides how anything is built. It states only where cratylus departs
+// from the industry's business analyst.
+import { intent } from '../factors/assignment/intent.js';
+import { missionCommand } from '../factors/autonomy/mission-command.js';
+import { bottomLineUpFront } from '../factors/communication-style/bottom-line-up-front.js';
+import { decisionRationale } from '../factors/communication-style/decision-rationale.js';
+import { plain } from '../factors/communication-style/plain.js';
+import { decides } from '../factors/decision-rights/decides.js';
+import { input } from '../factors/decision-rights/input.js';
+import { none } from '../factors/decision-rights/none.js';
+import { recommends } from '../factors/decision-rights/recommends.js';
+import { backbrief } from '../factors/deliverable/backbrief.js';
+import { inUse } from '../factors/evaluation/in-use.js';
+import { domainModeling } from '../factors/expertise/domain-modeling.js';
+import { honesty } from '../factors/guardrails/honesty.js';
+import { domainModel } from '../factors/memory/domain-model.js';
+import { frontier } from '../factors/model/frontier.js';
+import { high } from '../factors/model/high.js';
+import { conceptualIntegrity } from '../factors/objective/conceptual-integrity.js';
+import { satisfice } from '../factors/objective/satisfice.js';
+import { cratylicContextDesign } from '../factors/procedure/cratylic-context-design.js';
+import { orchestratorWorkers } from '../factors/procedure/orchestrator-workers.js';
+import { rectificationOfNames } from '../factors/procedure/rectification-of-names.js';
+import { businessAnalyst } from '../factors/role/business-analyst.js';
+import { conceptualElevation } from '../factors/stance/conceptual-elevation.js';
+import { cratylism } from '../factors/stance/cratylism.js';
+import { decisive } from '../factors/stance/decisive.js';
+import { firstPrinciples } from '../factors/stance/first-principles.js';
+import { greenField } from '../factors/stance/green-field.js';
+import { mece } from '../factors/stance/mece.js';
+import { simplicity } from '../factors/stance/simplicity.js';
+import { tailoring } from '../factors/stance/tailoring.js';
+import { trustButVerify } from '../factors/stance/trust-but-verify.js';
+export const businessAnalystRole = {
+    name: 'business-analyst',
+    description: "Holds the domain model: turns the product owner's intent into concepts, user stories and examples, answers meaning questions, and confirms a realization means what was intended.",
+    mark: { emoji: '📋', hue: 'white' },
+    values: {
+        role: [businessAnalyst],
+        objective: [
+            { value: conceptualIntegrity, slot: 'drive' },
+            { value: satisfice, slot: 'stopping-rule' },
+        ],
+        expertise: [domainModeling],
+        procedure: [
+            cratylicContextDesign,
+            rectificationOfNames,
+            orchestratorWorkers,
+        ],
+        stance: [
+            decisive,
+            conceptualElevation,
+            cratylism,
+            firstPrinciples,
+            greenField,
+            tailoring,
+            trustButVerify,
+            simplicity,
+            mece,
+        ],
+        communicationStyle: [
+            { value: plain, slot: 'register' },
+            { value: decisionRationale, slot: 'rationale' },
+            { value: bottomLineUpFront, slot: 'ordering' },
+        ],
+        decisionRights: [
+            { value: input, slot: 'intent' },
+            { value: recommends, slot: 'priority' },
+            { value: decides, slot: 'meaning' },
+            { value: none, slot: 'constraint' },
+            { value: none, slot: 'realization' },
+            { value: none, slot: 'verdict' },
+            { value: recommends, slot: 'release' },
+            { value: recommends, slot: 'sign-off' },
+        ],
+        autonomy: [
+            {
+                value: missionCommand,
+                note: 'escalating only a fork that is irreversible, about value or beyond its competence',
+            },
+        ],
+        perceptionScope: [],
+        actionScope: [],
+        model: [
+            { value: frontier, slot: 'tier' },
+            { value: high, slot: 'effort' },
+        ],
+        memory: [domainModel],
+        assignment: [intent],
+        deliverable: [backbrief],
+        guardrails: [honesty],
+        evaluation: [inUse],
+    },
+};
+//# sourceMappingURL=business-analyst.js.map

package/dist/roles/business-analyst.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"business-analyst.js","sourceRoot":"","sources":["../../src/roles/business-analyst.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,mFAAmF;AACnF,uFAAuF;AACvF,wCAAwC;AAGxC,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wDAAwD,CAAC;AAC3F,OAAO,EAAE,iBAAiB,EAAE,MAAM,sDAAsD,CAAC;AACzF,OAAO,EAAE,KAAK,EAAE,MAAM,yCAAyC,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,MAAM,uCAAuC,CAAC;AAChE,OAAO,EAAE,KAAK,EAAE,MAAM,qCAAqC,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,oCAAoC,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,0CAA0C,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,EAAE,KAAK,EAAE,MAAM,iCAAiC,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AACzE,OAAO,EAAE,OAAO,EAAE,MAAM,kCAAkC,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8CAA8C,CAAC;AACnF,OAAO,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AAC9D,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,mBAAmB,EAAE,MAAM,8CAA8C,CAAC;AACnF,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,2CAA2C,CAAC;AAChF,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAEvE,MAAM,CAAC,MAAM,mBAAmB,GAAgB;IAC9C,IAAI,EAAE,kBAAkB;IACxB,WAAW,EACT,mLAAmL;IACrL,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE;IACnC,MAAM,EAAE;QACN,IAAI,EAAE,CAAC,eAAe,CAAC;QACvB,SAAS,EAAE;YACT,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;YAC7C,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,eAAe,EAAE;SAC5C;QACD,SAAS,EAAE,CAAC,cAAc,CAAC;QAC3B,SAAS,EAAE;YACT,qBAAqB;YACrB,oBAAoB;YACpB,mBAAmB;SACpB;QACD,MAAM,EAAE;YACN,QAAQ;YACR,mBAAmB;YACnB,SAAS;YACT,eAAe;YACf,UAAU;YACV,SAAS;YACT,cAAc;YACd,UAAU;YACV,IAAI;SACL;QACD,kBAAkB,EAAE;YAClB,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE;YAClC,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,WAAW,EAAE;YAC/C,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,UAAU,EAAE;SAC/C;QACD,cAAc,EAAE;YACd,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE;YAChC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE;YACvC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE;YACnC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YACnC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE;YACpC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;YAChC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE;YACtC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE;SACxC;QACD,QAAQ,EAAE;YACR;gBACE,KAAK,EAAE,cAAc;gBACrB,IAAI,EAAE,mFAAmF;aAC1F;SACF;QACD,eAAe,EAAE,EAAE;QACnB,WAAW,EAAE,EAAE;QACf,KAAK,EAAE;YACL,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;YACjC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;SAChC;QACD,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,UAAU,EAAE,CAAC,MAAM,CAAC;QACpB,WAAW,EAAE,CAAC,SAAS,CAAC;QACxB,UAAU,EAAE,CAAC,OAAO,CAAC;QACrB,UAAU,EAAE,CAAC,KAAK,CAAC;KACpB;CACF,CAAC"}

package/dist/roles/code-reviewer.d.ts

@@ -0,0 +1,2 @@
+import type { RoleProfile } from '../compose.js';
+export declare const codeReviewerRole: RoleProfile;

package/dist/roles/code-reviewer.js

@@ -0,0 +1,67 @@
+// The code reviewer: reviews one change it did not write against its user story's
+// acceptance criteria and examples, and hands back one code review naming each finding;
+// software engineers build and repair the work. It runs on another model family than the
+// software engineers where one is available. It states only where cratylus departs from
+// the industry's code reviewer.
+import { reviewRequest } from '../factors/assignment/review-request.js';
+import { missionCommand } from '../factors/autonomy/mission-command.js';
+import { decisionRationale } from '../factors/communication-style/decision-rationale.js';
+import { maintenance } from '../factors/communication-style/maintenance.js';
+import { plain } from '../factors/communication-style/plain.js';
+import { decides } from '../factors/decision-rights/decides.js';
+import { input } from '../factors/decision-rights/input.js';
+import { codeReview } from '../factors/deliverable/code-review.js';
+import { inUse } from '../factors/evaluation/in-use.js';
+import { honesty } from '../factors/guardrails/honesty.js';
+import { neverRepairs } from '../factors/guardrails/never-repairs.js';
+import { domainModel } from '../factors/memory/domain-model.js';
+import { frontierOtherFamily } from '../factors/model/frontier-other-family.js';
+import { xhigh } from '../factors/model/xhigh.js';
+import { optimize } from '../factors/objective/optimize.js';
+import { codeReviewer } from '../factors/role/code-reviewer.js';
+import { adversarial } from '../factors/stance/adversarial.js';
+import { impartial } from '../factors/stance/impartial.js';
+import { trustButVerify } from '../factors/stance/trust-but-verify.js';
+export const codeReviewerRole = {
+    name: 'code-reviewer',
+    description: "Reviews one change it did not write against its user story's acceptance criteria and examples, and hands back one code review naming each finding.",
+    mark: { emoji: '🔍', hue: 'red' },
+    values: {
+        role: [codeReviewer],
+        objective: [{ value: optimize, slot: 'stopping-rule' }],
+        expertise: [],
+        procedure: [],
+        stance: [impartial, trustButVerify, adversarial],
+        communicationStyle: [
+            { value: plain, slot: 'register' },
+            { value: maintenance, slot: 'density' },
+            { value: decisionRationale, slot: 'rationale' },
+        ],
+        decisionRights: [
+            { value: input, slot: 'intent' },
+            { value: input, slot: 'priority' },
+            { value: input, slot: 'meaning' },
+            { value: input, slot: 'constraint' },
+            { value: input, slot: 'realization' },
+            {
+                value: decides,
+                slot: 'verdict',
+                note: 'whether the code review approves the change',
+            },
+            { value: input, slot: 'release' },
+        ],
+        autonomy: [missionCommand],
+        perceptionScope: [],
+        actionScope: [],
+        model: [
+            { value: frontierOtherFamily, slot: 'tier' },
+            { value: xhigh, slot: 'effort' },
+        ],
+        memory: [domainModel],
+        assignment: [reviewRequest],
+        deliverable: [codeReview],
+        guardrails: [honesty, neverRepairs],
+        evaluation: [inUse],
+    },
+};
+//# sourceMappingURL=code-reviewer.js.map

package/dist/roles/code-reviewer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-reviewer.js","sourceRoot":"","sources":["../../src/roles/code-reviewer.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,wFAAwF;AACxF,yFAAyF;AACzF,wFAAwF;AACxF,gCAAgC;AAGhC,OAAO,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,sDAAsD,CAAC;AACzF,OAAO,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAC5E,OAAO,EAAE,KAAK,EAAE,MAAM,yCAAyC,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,MAAM,uCAAuC,CAAC;AAChE,OAAO,EAAE,KAAK,EAAE,MAAM,qCAAqC,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,uCAAuC,CAAC;AACnE,OAAO,EAAE,KAAK,EAAE,MAAM,iCAAiC,CAAC;AACxD,OAAO,EAAE,OAAO,EAAE,MAAM,kCAAkC,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,2CAA2C,CAAC;AAChF,OAAO,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAEvE,MAAM,CAAC,MAAM,gBAAgB,GAAgB;IAC3C,IAAI,EAAE,eAAe;IACrB,WAAW,EACT,oJAAoJ;IACtJ,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE;IACjC,MAAM,EAAE;QACN,IAAI,EAAE,CAAC,YAAY,CAAC;QACpB,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;QACvD,SAAS,EAAE,EAAE;QACb,SAAS,EAAE,EAAE;QACb,MAAM,EAAE,CAAC,SAAS,EAAE,cAAc,EAAE,WAAW,CAAC;QAChD,kBAAkB,EAAE;YAClB,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE;YAClC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE;YACvC,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,WAAW,EAAE;SAChD;QACD,cAAc,EAAE;YACd,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE;YAChC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE;YAClC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE;YACjC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;YACpC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE;YACrC;gBACE,KAAK,EAAE,OAAO;gBACd,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,6CAA6C;aACpD;YACD,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE;SAClC;QACD,QAAQ,EAAE,CAAC,cAAc,CAAC;QAC1B,eAAe,EAAE,EAAE;QACnB,WAAW,EAAE,EAAE;QACf,KAAK,EAAE;YACL,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;YAC5C,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE;SACjC;QACD,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,WAAW,EAAE,CAAC,UAAU,CAAC;QACzB,UAAU,EAAE,CAAC,OAAO,EAAE,YAAY,CAAC;QACnC,UAAU,EAAE,CAAC,KAAK,CAAC;KACpB;CACF,CAAC"}

package/dist/roles/software-engineer.d.ts

@@ -0,0 +1,2 @@
+import type { RoleProfile } from '../compose.js';
+export declare const softwareEngineerRole: RoleProfile;

package/dist/roles/software-engineer.js

@@ -0,0 +1,56 @@
+// The software engineer: realizes one task and hands back one change. It performs
+// realization (P); every other decision class is – (no part). It states only where
+// cratylus departs from the industry's software engineer.
+import { task } from '../factors/assignment/task.js';
+import { missionCommand } from '../factors/autonomy/mission-command.js';
+import { answerOnly } from '../factors/communication-style/answer-only.js';
+import { maintenance } from '../factors/communication-style/maintenance.js';
+import { plain } from '../factors/communication-style/plain.js';
+import { none } from '../factors/decision-rights/none.js';
+import { performs } from '../factors/decision-rights/performs.js';
+import { change } from '../factors/deliverable/change.js';
+import { inUse } from '../factors/evaluation/in-use.js';
+import { honesty } from '../factors/guardrails/honesty.js';
+import { frontier } from '../factors/model/frontier.js';
+import { medium } from '../factors/model/medium.js';
+import { satisfice } from '../factors/objective/satisfice.js';
+import { softwareEngineer } from '../factors/role/software-engineer.js';
+export const softwareEngineerRole = {
+    name: 'software-engineer',
+    description: 'Realizes one task and hands back one change; never writes the acceptance tests its work is judged by.',
+    mark: { emoji: '🔨', hue: 'yellow' },
+    values: {
+        role: [softwareEngineer],
+        objective: [{ value: satisfice, slot: 'stopping-rule' }],
+        expertise: [],
+        procedure: [],
+        stance: [],
+        communicationStyle: [
+            { value: plain, slot: 'register' },
+            { value: maintenance, slot: 'density' },
+            { value: answerOnly, slot: 'rationale' },
+        ],
+        decisionRights: [
+            { value: none, slot: 'intent' },
+            { value: none, slot: 'priority' },
+            { value: none, slot: 'meaning' },
+            { value: none, slot: 'constraint' },
+            { value: performs, slot: 'realization' },
+            { value: none, slot: 'verdict' },
+            { value: none, slot: 'release' },
+        ],
+        autonomy: [missionCommand],
+        perceptionScope: [],
+        actionScope: [],
+        model: [
+            { value: frontier, slot: 'tier' },
+            { value: medium, slot: 'effort' },
+        ],
+        memory: [],
+        assignment: [task],
+        deliverable: [change],
+        guardrails: [honesty],
+        evaluation: [inUse],
+    },
+};
+//# sourceMappingURL=software-engineer.js.map

package/dist/roles/software-engineer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"software-engineer.js","sourceRoot":"","sources":["../../src/roles/software-engineer.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,mFAAmF;AACnF,0DAA0D;AAG1D,OAAO,EAAE,IAAI,EAAE,MAAM,+BAA+B,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,MAAM,+CAA+C,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAC5E,OAAO,EAAE,KAAK,EAAE,MAAM,yCAAyC,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,oCAAoC,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,MAAM,wCAAwC,CAAC;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,kCAAkC,CAAC;AAC1D,OAAO,EAAE,KAAK,EAAE,MAAM,iCAAiC,CAAC;AACxD,OAAO,EAAE,OAAO,EAAE,MAAM,kCAAkC,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,sCAAsC,CAAC;AAExE,MAAM,CAAC,MAAM,oBAAoB,GAAgB;IAC/C,IAAI,EAAE,mBAAmB;IACzB,WAAW,EACT,uGAAuG;IACzG,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;IACpC,MAAM,EAAE;QACN,IAAI,EAAE,CAAC,gBAAgB,CAAC;QACxB,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;QACxD,SAAS,EAAE,EAAE;QACb,SAAS,EAAE,EAAE;QACb,MAAM,EAAE,EAAE;QACV,kBAAkB,EAAE;YAClB,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE;YAClC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE;YACvC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE;SACzC;QACD,cAAc,EAAE;YACd,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC/B,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE;YACjC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;YAChC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YACnC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE;YACxC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;YAChC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;SACjC;QACD,QAAQ,EAAE,CAAC,cAAc,CAAC;QAC1B,eAAe,EAAE,EAAE;QACnB,WAAW,EAAE,EAAE;QACf,KAAK,EAAE;YACL,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;YACjC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE;SAClC;QACD,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,CAAC,IAAI,CAAC;QAClB,WAAW,EAAE,CAAC,MAAM,CAAC;QACrB,UAAU,EAAE,CAAC,OAAO,CAAC;QACrB,UAAU,EAAE,CAAC,KAAK,CAAC;KACpB;CACF,CAAC"}

package/dist/roles/tech-lead.d.ts

@@ -0,0 +1,2 @@
+import type { RoleProfile } from '../compose.js';
+export declare const techLeadRole: RoleProfile;

package/dist/roles/tech-lead.js

@@ -0,0 +1,63 @@
+// The tech lead: holds a user story's realization, deciding how it is built, handing its
+// tasks to software engineers and its examples to the test engineer, joining the changes
+// and handing back the outcome; never decides what anything means. It states only where
+// cratylus departs from the industry's tech lead.
+import { userStory } from '../factors/assignment/user-story.js';
+import { missionCommand } from '../factors/autonomy/mission-command.js';
+import { decisionRationale } from '../factors/communication-style/decision-rationale.js';
+import { maintenance } from '../factors/communication-style/maintenance.js';
+import { plain } from '../factors/communication-style/plain.js';
+import { decides } from '../factors/decision-rights/decides.js';
+import { input } from '../factors/decision-rights/input.js';
+import { outcome } from '../factors/deliverable/outcome.js';
+import { inUse } from '../factors/evaluation/in-use.js';
+import { honesty } from '../factors/guardrails/honesty.js';
+import { domainModel } from '../factors/memory/domain-model.js';
+import { frontier } from '../factors/model/frontier.js';
+import { high } from '../factors/model/high.js';
+import { satisfice } from '../factors/objective/satisfice.js';
+import { architectureDecisionRecord } from '../factors/procedure/architecture-decision-record.js';
+import { orchestratorWorkers } from '../factors/procedure/orchestrator-workers.js';
+import { shipShowAsk } from '../factors/procedure/ship-show-ask.js';
+import { techLead } from '../factors/role/tech-lead.js';
+import { decisive } from '../factors/stance/decisive.js';
+import { tailoring } from '../factors/stance/tailoring.js';
+export const techLeadRole = {
+    name: 'tech-lead',
+    description: "Holds a user story's realization: decides how it is built, hands its tasks to software engineers and its examples to the test engineer, joins the changes, and hands back the outcome.",
+    mark: { emoji: '🧭', hue: 'blue' },
+    values: {
+        role: [techLead],
+        objective: [{ value: satisfice, slot: 'stopping-rule' }],
+        expertise: [],
+        procedure: [orchestratorWorkers, shipShowAsk, architectureDecisionRecord],
+        stance: [decisive, tailoring],
+        communicationStyle: [
+            { value: plain, slot: 'register' },
+            { value: maintenance, slot: 'density' },
+            { value: decisionRationale, slot: 'rationale' },
+        ],
+        decisionRights: [
+            { value: input, slot: 'intent' },
+            { value: input, slot: 'priority' },
+            { value: input, slot: 'meaning' },
+            { value: decides, slot: 'constraint' },
+            { value: decides, slot: 'realization' },
+            { value: input, slot: 'verdict' },
+            { value: input, slot: 'release' },
+        ],
+        autonomy: [missionCommand],
+        perceptionScope: [],
+        actionScope: [],
+        model: [
+            { value: frontier, slot: 'tier' },
+            { value: high, slot: 'effort' },
+        ],
+        memory: [domainModel],
+        assignment: [userStory],
+        deliverable: [outcome],
+        guardrails: [honesty],
+        evaluation: [inUse],
+    },
+};
+//# sourceMappingURL=tech-lead.js.map

package/dist/roles/tech-lead.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tech-lead.js","sourceRoot":"","sources":["../../src/roles/tech-lead.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,yFAAyF;AACzF,wFAAwF;AACxF,kDAAkD;AAGlD,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,sDAAsD,CAAC;AACzF,OAAO,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAC5E,OAAO,EAAE,KAAK,EAAE,MAAM,yCAAyC,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,MAAM,uCAAuC,CAAC;AAChE,OAAO,EAAE,KAAK,EAAE,MAAM,qCAAqC,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,mCAAmC,CAAC;AAC5D,OAAO,EAAE,KAAK,EAAE,MAAM,iCAAiC,CAAC;AACxD,OAAO,EAAE,OAAO,EAAE,MAAM,kCAAkC,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AAC9D,OAAO,EAAE,0BAA0B,EAAE,MAAM,sDAAsD,CAAC;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,8CAA8C,CAAC;AACnF,OAAO,EAAE,WAAW,EAAE,MAAM,uCAAuC,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAE3D,MAAM,CAAC,MAAM,YAAY,GAAgB;IACvC,IAAI,EAAE,WAAW;IACjB,WAAW,EACT,wLAAwL;IAC1L,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE;IAClC,MAAM,EAAE;QACN,IAAI,EAAE,CAAC,QAAQ,CAAC;QAChB,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;QACxD,SAAS,EAAE,EAAE;QACb,SAAS,EAAE,CAAC,mBAAmB,EAAE,WAAW,EAAE,0BAA0B,CAAC;QACzE,MAAM,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;QAC7B,kBAAkB,EAAE;YAClB,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE;YAClC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE;YACvC,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,WAAW,EAAE;SAChD;QACD,cAAc,EAAE;YACd,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE;YAChC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE;YAClC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE;YACjC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE;YACtC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE;YACvC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE;YACjC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE;SAClC;QACD,QAAQ,EAAE,CAAC,cAAc,CAAC;QAC1B,eAAe,EAAE,EAAE;QACnB,WAAW,EAAE,EAAE;QACf,KAAK,EAAE;YACL,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;YACjC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;SAChC;QACD,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,UAAU,EAAE,CAAC,SAAS,CAAC;QACvB,WAAW,EAAE,CAAC,OAAO,CAAC;QACtB,UAAU,EAAE,CAAC,OAAO,CAAC;QACrB,UAAU,EAAE,CAAC,KAAK,CAAC;KACpB;CACF,CAAC"}

package/dist/roles/test-engineer.d.ts

@@ -0,0 +1,2 @@
+import type { RoleProfile } from '../compose.js';
+export declare const testEngineerRole: RoleProfile;