@cratylus/canon 0.17.0 → 0.19.0

package/dist/roles/{assayer.js → reviewer.js}

@@ -1,48 +1,52 @@
-// The assayer role: master design §3, the assayer column ("others I" expanded). The
-// second assayer is the assayer dispatched at frontier-other-family · max: a dispatch
-// choice, not a value of the role.
+// The reviewer role: reviews one change it did not write, before or after it joins as
+// its story's risk calls for, and hands over one review, never building or repairing
+// the work, and never reviewing a change the operator has asked to review itself, whose
+// review is the operator's (workflow: reviewer; agents 0272; workflow 0267, 0292). It
+// runs on another model family than the builders where one is available (0225, 0244),
+// and takes held-out examples directly from where the architect keeps them (0254).
 import { none } from '../dimensions/action-scope/none.js';
-import { judgmentBrief } from '../dimensions/assignment/judgment-brief.js';
+import { reviewRequest } from '../dimensions/assignment/review-request.js';
+import { handoff } from '../dimensions/autonomy/handoff.js';
 import { principal } from '../dimensions/autonomy/principal.js';
 import { decisionRationale } from '../dimensions/communication-style/decision-rationale.js';
 import { maintenance } from '../dimensions/communication-style/maintenance.js';
 import { plain } from '../dimensions/communication-style/plain.js';
 import { decides } from '../dimensions/decision-rights/decides.js';
 import { input } from '../dimensions/decision-rights/input.js';
-import { verdictPerConcept } from '../dimensions/deliverable/verdict-per-concept.js';
+import { codeReview as deliverableCodeReview } from '../dimensions/deliverable/code-review.js';
 import { inUse } from '../dimensions/evaluation/in-use.js';
-import { evaluationDesign } from '../dimensions/expertise/evaluation-design.js';
+import { softwareEngineering } from '../dimensions/expertise/software-engineering.js';
 import { testDesign } from '../dimensions/expertise/test-design.js';
 import { honesty } from '../dimensions/guardrails/honesty.js';
 import { neverRepairs } from '../dimensions/guardrails/never-repairs.js';
 import { noImplementation } from '../dimensions/guardrails/no-implementation.js';
 import { sourceOfTruth } from '../dimensions/memory/source-of-truth.js';
 import { working } from '../dimensions/memory/working.js';
-import { frontier } from '../dimensions/model/frontier.js';
+import { frontierOtherFamily } from '../dimensions/model/frontier-other-family.js';
 import { xhigh } from '../dimensions/model/xhigh.js';
 import { optimize } from '../dimensions/objective/optimize.js';
-import { verdictAccuracy } from '../dimensions/objective/verdict-accuracy.js';
+import { reviewAccuracy } from '../dimensions/objective/review-accuracy.js';
 import { conceptJournal } from '../dimensions/perception-scope/concept-journal.js';
 import { examples } from '../dimensions/perception-scope/examples.js';
 import { heldOutExamples } from '../dimensions/perception-scope/held-out-examples.js';
-import { work } from '../dimensions/perception-scope/work.js';
-import { judgment } from '../dimensions/procedure/judgment.js';
-import { assayer } from '../dimensions/role/assayer.js';
+import { workProduct } from '../dimensions/perception-scope/work-product.js';
+import { codeReview } from '../dimensions/procedure/code-review.js';
+import { reviewer } from '../dimensions/role/reviewer.js';
 import { adversarial } from '../dimensions/stance/adversarial.js';
 import { impartial } from '../dimensions/stance/impartial.js';
 import { trustButVerify } from '../dimensions/stance/trust-but-verify.js';
-export const assayerRole = {
-    name: 'assayer',
-    description: 'Judges a cut once against its examples and held-out results.',
+export const reviewerRole = {
+    name: 'reviewer',
+    description: 'Reviews one change it did not write, before or after it joins, and hands off one code review; never builds or repairs the work it reviews, and never reviews a change the operator has asked to review itself.',
     mark: null,
     values: {
-        role: [assayer],
+        role: [reviewer],
         objective: [
-            { value: verdictAccuracy, slot: 'drive' },
+            { value: reviewAccuracy, slot: 'drive' },
             { value: optimize, slot: 'stopping-rule' },
         ],
-        expertise: [evaluationDesign, testDesign],
-        procedure: [judgment],
+        expertise: [softwareEngineering, testDesign],
+        procedure: [codeReview],
         stance: [impartial, trustButVerify, adversarial],
         communicationStyle: [
             { value: plain, slot: 'register' },
@@ -55,22 +59,34 @@ export const assayerRole = {
             { value: input, slot: 'meaning' },
             { value: input, slot: 'constraint' },
             { value: input, slot: 'realization' },
-            { value: input, slot: 'check-ruling' },
             { value: decides, slot: 'verdict' },
             { value: input, slot: 'release' },
         ],
-        autonomy: [{ value: principal, note: 'in verdict' }],
-        perceptionScope: [conceptJournal, examples, heldOutExamples, work],
+        autonomy: [{ value: principal, note: 'in its code review' }, handoff],
+        perceptionScope: [
+            conceptJournal,
+            examples,
+            {
+                value: heldOutExamples,
+                note: 'taken directly from design/held-out/, never through the lead',
+            },
+            workProduct,
+        ],
         actionScope: [none],
         model: [
-            { value: frontier, slot: 'tier' },
+            { value: frontierOtherFamily, slot: 'tier' },
             { value: xhigh, slot: 'effort' },
         ],
         memory: [sourceOfTruth, working],
-        assignment: [judgmentBrief],
-        deliverable: [verdictPerConcept],
+        assignment: [
+            {
+                value: reviewRequest,
+                note: 'its held-out examples taken directly from design/held-out/, never through the lead',
+            },
+        ],
+        deliverable: [deliverableCodeReview],
         guardrails: [honesty, noImplementation, neverRepairs],
         evaluation: [inUse],
     },
 };
-//# sourceMappingURL=assayer.js.map
+//# sourceMappingURL=reviewer.js.map

package/dist/roles/reviewer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reviewer.js","sourceRoot":"","sources":["../../src/roles/reviewer.ts"],"names":[],"mappings":"AAAA,sFAAsF;AACtF,qFAAqF;AACrF,wFAAwF;AACxF,sFAAsF;AACtF,sFAAsF;AACtF,mFAAmF;AAGnF,OAAO,EAAE,IAAI,EAAE,MAAM,oCAAoC,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,4CAA4C,CAAC;AAC3E,OAAO,EAAE,OAAO,EAAE,MAAM,mCAAmC,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yDAAyD,CAAC;AAC5F,OAAO,EAAE,WAAW,EAAE,MAAM,kDAAkD,CAAC;AAC/E,OAAO,EAAE,KAAK,EAAE,MAAM,4CAA4C,CAAC;AACnE,OAAO,EAAE,OAAO,EAAE,MAAM,0CAA0C,CAAC;AACnE,OAAO,EAAE,KAAK,EAAE,MAAM,wCAAwC,CAAC;AAC/D,OAAO,EAAE,UAAU,IAAI,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AAC/F,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iDAAiD,CAAC;AACtF,OAAO,EAAE,UAAU,EAAE,MAAM,wCAAwC,CAAC;AACpE,OAAO,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,2CAA2C,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,+CAA+C,CAAC;AACjF,OAAO,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,8CAA8C,CAAC;AACnF,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,4CAA4C,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAE,MAAM,mDAAmD,CAAC;AACnF,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,qDAAqD,CAAC;AACtF,OAAO,EAAE,WAAW,EAAE,MAAM,gDAAgD,CAAC;AAC7E,OAAO,EAAE,UAAU,EAAE,MAAM,wCAAwC,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,qCAAqC,CAAC;AAClE,OAAO,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAE1E,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,UAAU;IAChB,WAAW,EACT,gNAAgN;IAClN,IAAI,EAAE,IAAI;IACV,MAAM,EAAE;QACN,IAAI,EAAE,CAAC,QAAQ,CAAC;QAChB,SAAS,EAAE;YACT,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,OAAO,EAAE;YACxC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,eAAe,EAAE;SAC3C;QACD,SAAS,EAAE,CAAC,mBAAmB,EAAE,UAAU,CAAC;QAC5C,SAAS,EAAE,CAAC,UAAU,CAAC;QACvB,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,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE;YACnC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE;SAClC;QACD,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE,OAAO,CAAC;QACrE,eAAe,EAAE;YACf,cAAc;YACd,QAAQ;YACR;gBACE,KAAK,EAAE,eAAe;gBACtB,IAAI,EAAE,8DAA8D;aACrE;YACD,WAAW;SACZ;QACD,WAAW,EAAE,CAAC,IAAI,CAAC;QACnB,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,aAAa,EAAE,OAAO,CAAC;QAChC,UAAU,EAAE;YACV;gBACE,KAAK,EAAE,aAAa;gBACpB,IAAI,EAAE,oFAAoF;aAC3F;SACF;QACD,WAAW,EAAE,CAAC,qBAAqB,CAAC;QACpC,UAAU,EAAE,CAAC,OAAO,EAAE,gBAAgB,EAAE,YAAY,CAAC;QACrD,UAAU,EAAE,CAAC,KAAK,CAAC;KACpB;CACF,CAAC"}

package/dist/rules/repo-preamble.js

@@ -18,7 +18,7 @@ export const repoPreamble = {
     kind: 'rule',
     id: 'repo-preamble',
     slug: 'repo-preamble',
-    residue: 'scope-rule ↾ workspace-root · loaded ∀ session on entry — the standing orientation: doctrine-pointers ⟨why · what · how · corpus-index ; LOCKED-immutable-grounding : source-aligns-up · ¬regenerated-from-source⟩ · working-convention ⟨conventional-commits ; header ≤100 ; commit-autonomous@natural-boundaries ; push-gated ; green-field ⟨constrains-only-where-declared ; ¬compatibility-goal⟩ ; library-first ⟨maintained · small-API · ¬workflow-engine ; wrapped behind a cratylus capability⟩ ; branching=github-flow ⟨feature-branch ← main → PR ; ¬direct-commit@main ; declared deviation⟩ ; the-check ⟨pnpm check = pre-push = CI ; build · lint · typecheck · deterministic tests ; deps declared ; omp version stated, ¬prerequisite⟩ ; history ⟨PR review ; ¬gate⟩ ; commit-own-paths ⟨by name ; ¬amend · ¬rewrite-shared⟩⟩ ; activation=scope ⟨curated source, projected + byte-locked⟩',
+    residue: 'scope-rule ↾ workspace-root · loaded ∀ session on entry — the standing orientation: doctrine-pointers ⟨why · what · how · corpus-index ; LOCKED-immutable-grounding : source-aligns-up · ¬regenerated-from-source⟩ · working-convention ⟨conventional-commits ; header ≤100 ; commit-autonomous@natural-boundaries ; push ⟨¬say-so⟩ ; green-field ⟨constrains-only-where-declared ; ¬compatibility-goal⟩ ; library-first ⟨maintained · small-API · ¬workflow-engine ; wrapped behind a cratylus capability⟩ ; branching=git-flow dev/main ⟨¬release · ¬hotfix branches ; change-branch ← dev ; local merge → dev once the check passes on the merged result ; dev → main by PR = release ↦ operator ; ¬direct-commit@main⟩ ; the-check ⟨pnpm check = pre-push = CI ; build · lint · typecheck · deterministic tests ; deps declared ; omp version stated, ¬prerequisite⟩ ; version-history ⟨review ; ¬refusal⟩ ; commit-own-paths ⟨by name ; ¬amend · ¬rewrite-shared⟩⟩ ; activation=scope ⟨curated source, projected + byte-locked⟩',
     scope: '',
     targetPath: 'AGENTS.md',
     refs: [],
@@ -36,14 +36,14 @@ export const repoPreamble = {
 ## Working conventions
 
 - Conventional Commits, header ≤100 chars (commitlint, \`commit-msg\` hook).
-- **Commit autonomously at natural boundaries — no operator approval needed.** This overrides the generic harness default ("commit only when the user asks"); do not gate commits on approval. Only \`git push\` is gated: push only when the operator asks.
+- **Commit autonomously at natural boundaries,** without asking; this overrides the generic agent harness default of committing only when the user asks. Pushing a branch needs no say-so.
 - **Green-field register:** existing code, records, and docs constrain work only where explicitly declared; compatibility is never a goal.
 - **Reach for an established library before writing or adopting machinery.** Where a well-known problem has an actively maintained, widely used library with a small API, use it; never adopt a workflow or orchestration engine. Wrap it behind cratylus's own capability, so agents learn one small cratylus API, not the library's.
-- **Branching strategy: GitHub flow.** Cut a short-lived feature branch from \`main\` for each change and merge it back into \`main\` by pull request; never commit to \`main\` directly. A session may adopt another flow for a while, such as an integration branch ahead of \`main\`, and says so when it does.
+- **Branching: Git flow's \`dev\`/\`main\` split, without release or hotfix branches.** Each change is made on a short-lived branch from \`dev\` and merged locally into \`dev\` once \`pnpm check\` passes on the merged result. Release is a pull request from \`dev\` into \`main\`, and it is the operator's. Never commit to \`main\` directly.
 - **One check:** \`pnpm check\` builds, lints, typechecks and runs the deterministic tests, and fails when any of them fails. The \`pre-push\` hook runs it, and CI runs exactly it after checkout and \`pnpm install\`, with nothing before or after. Every dependency it needs is declared in the workspace's manifests; nothing checks what else is installed.
-- **Tests cover cratylus's own deterministic code only** (decisions 0144, 0154): the check tests cratylus's code and the files it produces, never by starting omp, an agent or a model. Agent behaviour is judged in real use. The supported omp version is 18.10.2; the check neither needs nor starts omp, and after an omp upgrade the operator or the architect tries one real session by hand.
-- **History is controlled by pull-request review** (decision 0153): no hook, CI step or command refuses a change to existing records; the concept journal and the ledger stay append-only because their verbs only append.
-- **Commit only what you changed:** stage and commit your own paths by name, never everything in the tree, and never amend or rewrite history others may share.
+- **Tests cover cratylus's own deterministic code only:** the check tests cratylus's code and the files it produces, never by starting omp, an agent or a model. Agent behaviour is judged in real use. The supported omp version is 18.10.2; the check neither needs nor starts omp, and after an omp upgrade the operator or the architect tries one real session by hand.
+- **Version history is controlled by review, not by refusal:** no hook, CI step or command refuses a change to existing records; the concept journal stays append-only because its verbs only append.
+- **Commit only what you changed:** stage and commit your own paths by name, never everything in the tree, and never amend or rewrite the shared version history.
 `,
 };
 //# sourceMappingURL=repo-preamble.js.map

package/dist/rules/repo-preamble.js.map

@@ -1 +1 @@
-{"version":3,"file":"repo-preamble.js","sourceRoot":"","sources":["../../src/rules/repo-preamble.ts"],"names":[],"mappings":"AAEA,yEAAyE;AACzE,oFAAoF;AACpF,2EAA2E;AAC3E,6EAA6E;AAC7E,mFAAmF;AACnF,iFAAiF;AACjF,4EAA4E;AAC5E,mDAAmD;AACnD,EAAE;AACF,+EAA+E;AAC/E,oFAAoF;AACpF,qFAAqF;AACrF,6EAA6E;AAC7E,sFAAsF;AACtF,qFAAqF;AACrF,uFAAuF;AAEvF,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,MAAM;IACZ,EAAE,EAAE,eAAe;IACnB,IAAI,EAAE,eAAe;IACrB,OAAO,EACL,22BAA22B;IAC72B,KAAK,EAAE,EAAE;IACT,UAAU,EAAE,WAAW;IACvB,IAAI,EAAE,EAAE;IACR,OAAO,EAAE;;;;;;;;;;;;;;;;;;;;;;CAsBV;CACA,CAAC"}
+{"version":3,"file":"repo-preamble.js","sourceRoot":"","sources":["../../src/rules/repo-preamble.ts"],"names":[],"mappings":"AAEA,yEAAyE;AACzE,oFAAoF;AACpF,2EAA2E;AAC3E,6EAA6E;AAC7E,mFAAmF;AACnF,iFAAiF;AACjF,4EAA4E;AAC5E,mDAAmD;AACnD,EAAE;AACF,+EAA+E;AAC/E,oFAAoF;AACpF,qFAAqF;AACrF,6EAA6E;AAC7E,sFAAsF;AACtF,qFAAqF;AACrF,uFAAuF;AAEvF,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,MAAM;IACZ,EAAE,EAAE,eAAe;IACnB,IAAI,EAAE,eAAe;IACrB,OAAO,EACL,s+BAAs+B;IACx+B,KAAK,EAAE,EAAE;IACT,UAAU,EAAE,WAAW;IACvB,IAAI,EAAE,EAAE;IACR,OAAO,EAAE;;;;;;;;;;;;;;;;;;;;;;CAsBV;CACA,CAAC"}

package/dist/skills/create-agent/skill.js

@@ -18,7 +18,7 @@ slots           ≜ exactly one value per named slot(o) ⟨in slot order⟩
 attribute       ≜ no field on A ⟨its values are attributes of the values A holds⟩
 projection      : O → { text, binding }
 text            ≜ rendered into A's Target ⟨\`##\` group(o) · \`###\` o · one line per entry⟩
-binding         ≜ never text ⟨compiled to the harness's tool · dispatch · model-role settings⟩
+binding         ≜ never text ⟨compiled to the agent harness's tool · dispatch · model-role settings⟩
 level           ≜ the enforcement-level factor's values { advisory, firm, fixed } ⟨arity attribute⟩
 default(o)      ≜ o's level @ catalog ⟨∅ ⇒ none applies⟩
 entry(o, v)     ≜ ⟨ v, level, slot ⟨arity slots⟩, note ⟨a qualifier the design states⟩ ⟩

package/dist/skills/introspect/skill.js

@@ -4,7 +4,7 @@ export const introspect = {
     description: `use this skill when an agent needs to self-audit — compare each factor's defined values (each at its enforcement level) against the values actually in effect this session, and name the cause of every divergence.`,
     formalBlock: `A          ≜ the agent introspecting itself
 O_text     ≜ enumerate(\`###\` factor headings @ A's live Target) ⟨READ · ¬ recalled · \`##\` ≜ a group ∴ ∉ O⟩
-O_bind     ≜ enumerate(binding factors @ \`cratylus catalog\`) ⟨never text · compiled to harness tool · dispatch · model-role settings⟩
+O_bind     ≜ enumerate(binding factors @ \`cratylus catalog\`) ⟨never text · compiled to agent-harness tool · dispatch · model-role settings⟩
 O          ≜ O_text ∪ O_bind ⟨∄ fixed-list ∵ corpus declares its own catalog · enforcement-level ≜ an attribute of each entry ∴ ∉ O⟩
 |O|        ≜ |O_text| + |O_bind| ⟨the DENOMINATOR⟩
 V          ≜ the entry value-space { one-entry · entry-set · one-entry-per-slot · unobservable } ⟨entry ≜ value @ level { advisory · firm · fixed }⟩

package/dist/skills/signify/skill.js

@@ -52,17 +52,17 @@ cᵢ <_N cⱼ  ⇔  α(cᵢ) <_lex α(cⱼ)
 c ∉ dom(α) ⇒ c ∉ Anchors :
     c is no core agent dimension name or value ⇒ c is the industry's own term, used as the industry understands it ⇒ exclude, logged
     { n : circ(n,c) } = ∅ ∧ ∄ mint(c) ⇒ exclude, logged
-    ∃ cᵢ, cⱼ : α(cᵢ) = α(cⱼ) ∧ D(cᵢ) ≠ D(cⱼ) ⇒ the cut was wrong ↦ conceptualize
+    ∃ cᵢ, cⱼ : α(cᵢ) = α(cⱼ) ∧ D(cᵢ) ≠ D(cⱼ) ⇒ the partition was wrong ↦ conceptualize
         ⟨α(cᵢ), α(cⱼ) taken at DIFFERENT altitudes is still this collision⟩
 
 ∃ d : { n : ¬circ(n,c) } all fail on d ALONE ⇒ d ∉ D(c) ∧ ∃ cᵢ ≠ c : d ∈ D(cᵢ) ⟨the property hangs off the wrong noun⟩
-    ↦ conceptualize ⟨re-cut, then cᵢ names EASILY ; a losing STREAK on one d proves misattribution, ¬ that σ*(c) is scarce⟩
+    ↦ conceptualize ⟨re-partition, then cᵢ names EASILY ; a losing STREAK on one d proves misattribution, ¬ that σ*(c) is scarce⟩
 
 ¬circ(n, cᵢ) ⇒ evidence about fired(n), ¬ about cᵢ ⟨fired : Names → ℘(D) reads n ALONE⟩
     ∴ a rejection BINDS n ⟨n freed from cᵢ is ¬ thereby fit for cⱼ ; circ(n, cⱼ) re-established independently ∨ n stays rejected⟩
 
-residue(c) ≜ { d ∈ D(c) | d ∉ fired(α(c)) }
-∀ a ∈ Art : ∀ c carried by a : c enters a's body as ⟨α(c), residue(c)⟩
+residue(c) ≜ { d ∈ D(c) | d ∉ fired(α(c)) } ∪ { d ∈ fired(α(c)) | d ∉ D(c) }
+∀ a ∈ Art : ∀ c carried by a : c enters a's body as ⟨α(c), residue(c)⟩ ⟨d ∈ residue(c) ∩ D(c) stated ; d ∈ residue(c) ∧ d ∉ D(c) stated denied⟩
 residue(c) = ∅ ⇒ c enters as α(c) alone
 minimal(a) ⇔ ∄ c carried by a : a re-states fired(α(c))
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cratylus/canon",
-  "version": "0.17.0",
+  "version": "0.19.0",
   "description": "The canonical corpus of discovered optimal-signifiers — agents, skills, dimensions and rules as typed TS source. Markdown is a projection of these modules.",
   "license": "MIT",
   "engines": {
@@ -18,11 +18,11 @@
   ],
   "//test": "`test` builds FIRST because `test/runtime-shim.test.ts` drives the shipped `cratylus project` over the repository's own `cratylus.config.ts`, and that config extends `@cratylus/canon` — the PACKAGE, i.e. this package's `dist`. turbo's `test.dependsOn: [^build]` builds this package's DEPENDENCIES, never this package, so a cold clone would run the consumer path against a dist that does not exist.",
   "dependencies": {
-    "@cratylus/schema": "0.10.0"
+    "@cratylus/schema": "0.11.0"
   },
   "devDependencies": {
-    "@cratylus/forge": "0.16.0",
-    "@cratylus/runtime": "0.13.0",
+    "@cratylus/forge": "0.17.1",
+    "@cratylus/runtime": "0.17.0",
     "@cratylus/tooling": "0.0.0",
     "@types/node": "^22.0.0",
     "tsx": "^4.19.0",

package/dist/agents/assayer.d.ts

@@ -1 +0,0 @@
-export declare const assayer: import("../manifest.js").Agent;

package/dist/agents/assayer.js

@@ -1,5 +0,0 @@
-// The assayer role's generic holder: the role's vector, named for the role.
-import { holder } from '../compose.js';
-import { assayerRole } from '../roles/assayer.js';
-export const assayer = holder(assayerRole);
-//# sourceMappingURL=assayer.js.map

package/dist/agents/assayer.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"assayer.js","sourceRoot":"","sources":["../../src/agents/assayer.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAE5E,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAElD,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC"}

package/dist/dimensions/assignment/cut-brief.js

@@ -1,2 +0,0 @@
-export const cutBrief = `cut-brief ≜ a cut's concepts, examples and decisions in force, by reference`;
-//# sourceMappingURL=cut-brief.js.map

package/dist/dimensions/assignment/cut-brief.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"cut-brief.js","sourceRoot":"","sources":["../../../src/dimensions/assignment/cut-brief.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,QAAQ,GAAe,6EAA6E,CAAC"}

package/dist/dimensions/assignment/judgment-brief.js

@@ -1,2 +0,0 @@
-export const judgmentBrief = `judgment-brief ≜ the concepts, decisions, examples, held-out results and the work to judge`;
-//# sourceMappingURL=judgment-brief.js.map

package/dist/dimensions/assignment/judgment-brief.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"judgment-brief.js","sourceRoot":"","sources":["../../../src/dimensions/assignment/judgment-brief.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,aAAa,GAAe,4FAA4F,CAAC"}

package/dist/dimensions/assignment/work-package.js

@@ -1,2 +0,0 @@
-export const workPackage = `work-package ≜ the outputs it owns and their visible examples`;
-//# sourceMappingURL=work-package.js.map

package/dist/dimensions/assignment/work-package.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"work-package.js","sourceRoot":"","sources":["../../../src/dimensions/assignment/work-package.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,WAAW,GAAe,+DAA+D,CAAC"}

package/dist/dimensions/deliverable/decisions-with-reasons.d.ts

@@ -1,2 +0,0 @@
-import type { Deliverable } from '../../manifest.js';
-export declare const decisionsWithReasons: Deliverable;

package/dist/dimensions/deliverable/decisions-with-reasons.js

@@ -1,2 +0,0 @@
-export const decisionsWithReasons = `decisions-with-reasons ≜ concepts, decisions and rulings, each with its reason`;
-//# sourceMappingURL=decisions-with-reasons.js.map

package/dist/dimensions/deliverable/decisions-with-reasons.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"decisions-with-reasons.js","sourceRoot":"","sources":["../../../src/dimensions/deliverable/decisions-with-reasons.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,oBAAoB,GAAgB,gFAAgF,CAAC"}

package/dist/dimensions/deliverable/done-or-failing-case.js

@@ -1,2 +0,0 @@
-export const doneOrFailingCase = `done-or-failing-case ≜ done, or the case that still fails`;
-//# sourceMappingURL=done-or-failing-case.js.map

package/dist/dimensions/deliverable/done-or-failing-case.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"done-or-failing-case.js","sourceRoot":"","sources":["../../../src/dimensions/deliverable/done-or-failing-case.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,iBAAiB,GAAgB,2DAA2D,CAAC"}

package/dist/dimensions/deliverable/outcome-with-efficiency.d.ts

@@ -1,2 +0,0 @@
-import type { Deliverable } from '../../manifest.js';
-export declare const outcomeWithEfficiency: Deliverable;

package/dist/dimensions/deliverable/outcome-with-efficiency.js

@@ -1,2 +0,0 @@
-export const outcomeWithEfficiency = `outcome-with-efficiency ≜ each example's outcome stated in the design's own concepts, the terms the architect works in rather than those of the realization, its evidence and sources named in those same terms, with the effort it took`;
-//# sourceMappingURL=outcome-with-efficiency.js.map

package/dist/dimensions/deliverable/outcome-with-efficiency.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"outcome-with-efficiency.js","sourceRoot":"","sources":["../../../src/dimensions/deliverable/outcome-with-efficiency.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,qBAAqB,GAAgB,0OAA0O,CAAC"}

package/dist/dimensions/deliverable/verdict-per-concept.js

@@ -1,2 +0,0 @@
-export const verdictPerConcept = `verdict-per-concept ≜ accept or reject, with findings per concept`;
-//# sourceMappingURL=verdict-per-concept.js.map

package/dist/dimensions/deliverable/verdict-per-concept.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verdict-per-concept.js","sourceRoot":"","sources":["../../../src/dimensions/deliverable/verdict-per-concept.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,iBAAiB,GAAgB,mEAAmE,CAAC"}

package/dist/dimensions/objective/verdict-accuracy.js

@@ -1,2 +0,0 @@
-export const verdictAccuracy = `verdict-accuracy ≜ a judgment that is true: accepts what realizes the concept, rejects what does not`;
-//# sourceMappingURL=verdict-accuracy.js.map

package/dist/dimensions/objective/verdict-accuracy.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verdict-accuracy.js","sourceRoot":"","sources":["../../../src/dimensions/objective/verdict-accuracy.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,eAAe,GAAc,sGAAsG,CAAC"}

package/dist/dimensions/perception-scope/own-work-package.js

@@ -1,2 +0,0 @@
-export const ownWorkPackage = `own-work-package ≜ only the outputs it was assigned, with their visible examples`;
-//# sourceMappingURL=own-work-package.js.map

package/dist/dimensions/perception-scope/own-work-package.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"own-work-package.js","sourceRoot":"","sources":["../../../src/dimensions/perception-scope/own-work-package.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,cAAc,GAAoB,kFAAkF,CAAC"}

package/dist/dimensions/perception-scope/work.js

@@ -1,2 +0,0 @@
-export const work = `work ≜ the realization itself: code, documents, test output`;
-//# sourceMappingURL=work.js.map

package/dist/dimensions/perception-scope/work.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"work.js","sourceRoot":"","sources":["../../../src/dimensions/perception-scope/work.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,IAAI,GAAoB,6DAA6D,CAAC"}

package/dist/dimensions/procedure/build.js

@@ -1,2 +0,0 @@
-export const build = `build ≜ change the work until its visible examples pass`;
-//# sourceMappingURL=build.js.map

package/dist/dimensions/procedure/build.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"build.js","sourceRoot":"","sources":["../../../src/dimensions/procedure/build.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,KAAK,GAAc,yDAAyD,CAAC"}

package/dist/dimensions/procedure/freeze.js

@@ -1,2 +0,0 @@
-export const freeze = `freeze ≜ fix examples, their checks and their concepts while a build realizes them; a check is trusted only once seen to fail`;
-//# sourceMappingURL=freeze.js.map

package/dist/dimensions/procedure/freeze.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"freeze.js","sourceRoot":"","sources":["../../../src/dimensions/procedure/freeze.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,MAAM,GAAc,+HAA+H,CAAC"}

package/dist/dimensions/procedure/judgment.js

@@ -1,2 +0,0 @@
-export const judgment = `judgment ≜ judge the finished work once, when its build is green, against fixed criteria and held-out examples`;
-//# sourceMappingURL=judgment.js.map

package/dist/dimensions/procedure/judgment.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"judgment.js","sourceRoot":"","sources":["../../../src/dimensions/procedure/judgment.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,QAAQ,GAAc,gHAAgH,CAAC"}

package/dist/dimensions/procedure/whole-check.d.ts

@@ -1,2 +0,0 @@
-import type { Procedure } from '../../manifest.js';
-export declare const wholeCheck: Procedure;

package/dist/dimensions/procedure/whole-check.js

@@ -1,2 +0,0 @@
-export const wholeCheck = `whole check ≜ run every check of everything affected in one run, fixing everything it revealed in one round`;
-//# sourceMappingURL=whole-check.js.map

package/dist/dimensions/procedure/whole-check.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"whole-check.js","sourceRoot":"","sources":["../../../src/dimensions/procedure/whole-check.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,UAAU,GAAc,6GAA6G,CAAC"}

package/dist/dimensions/role/assayer.js

@@ -1,2 +0,0 @@
-export const assayer = `assayer ≜ judges a cut once against fixed criteria and the held-out results, and never builds`;
-//# sourceMappingURL=assayer.js.map

package/dist/dimensions/role/assayer.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"assayer.js","sourceRoot":"","sources":["../../../src/dimensions/role/assayer.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,OAAO,GAAS,+FAA+F,CAAC"}

package/dist/dimensions/stance/proportionate.js

@@ -1,2 +0,0 @@
-export const proportionate = `proportionate ≜ ceremony and effort scale with the size and risk of the change`;
-//# sourceMappingURL=proportionate.js.map

package/dist/dimensions/stance/proportionate.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"proportionate.js","sourceRoot":"","sources":["../../../src/dimensions/stance/proportionate.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,aAAa,GAAW,gFAAgF,CAAC"}

package/dist/roles/assayer.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"assayer.js","sourceRoot":"","sources":["../../src/roles/assayer.ts"],"names":[],"mappings":"AAAA,oFAAoF;AACpF,sFAAsF;AACtF,mCAAmC;AAGnC,OAAO,EAAE,IAAI,EAAE,MAAM,oCAAoC,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,4CAA4C,CAAC;AAC3E,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yDAAyD,CAAC;AAC5F,OAAO,EAAE,WAAW,EAAE,MAAM,kDAAkD,CAAC;AAC/E,OAAO,EAAE,KAAK,EAAE,MAAM,4CAA4C,CAAC;AACnE,OAAO,EAAE,OAAO,EAAE,MAAM,0CAA0C,CAAC;AACnE,OAAO,EAAE,KAAK,EAAE,MAAM,wCAAwC,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kDAAkD,CAAC;AACrF,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,8CAA8C,CAAC;AAChF,OAAO,EAAE,UAAU,EAAE,MAAM,wCAAwC,CAAC;AACpE,OAAO,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,2CAA2C,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,+CAA+C,CAAC;AACjF,OAAO,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,6CAA6C,CAAC;AAC9E,OAAO,EAAE,cAAc,EAAE,MAAM,mDAAmD,CAAC;AACnF,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,qDAAqD,CAAC;AACtF,OAAO,EAAE,IAAI,EAAE,MAAM,wCAAwC,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AAC/D,OAAO,EAAE,OAAO,EAAE,MAAM,+BAA+B,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,qCAAqC,CAAC;AAClE,OAAO,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAE1E,MAAM,CAAC,MAAM,WAAW,GAAa;IACnC,IAAI,EAAE,SAAS;IACf,WAAW,EAAE,8DAA8D;IAC3E,IAAI,EAAE,IAAI;IACV,MAAM,EAAE;QACN,IAAI,EAAE,CAAC,OAAO,CAAC;QACf,SAAS,EAAE;YACT,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;YACzC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,eAAe,EAAE;SAC3C;QACD,SAAS,EAAE,CAAC,gBAAgB,EAAE,UAAU,CAAC;QACzC,SAAS,EAAE,CAAC,QAAQ,CAAC;QACrB,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,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE;YACtC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE;YACnC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE;SAClC;QACD,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;QACpD,eAAe,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,eAAe,EAAE,IAAI,CAAC;QAClE,WAAW,EAAE,CAAC,IAAI,CAAC;QACnB,KAAK,EAAE;YACL,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;YACjC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE;SACjC;QACD,MAAM,EAAE,CAAC,aAAa,EAAE,OAAO,CAAC;QAChC,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,WAAW,EAAE,CAAC,iBAAiB,CAAC;QAChC,UAAU,EAAE,CAAC,OAAO,EAAE,gBAAgB,EAAE,YAAY,CAAC;QACrD,UAAU,EAAE,CAAC,KAAK,CAAC;KACpB;CACF,CAAC"}