@cratylus/canon 0.19.0 → 0.20.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (126) hide show
  1. package/README.md +24 -31
  2. package/dist/agents/nico.js +1 -1
  3. package/dist/agents/nico.js.map +1 -1
  4. package/dist/compose.d.ts +4 -4
  5. package/dist/compose.js +14 -16
  6. package/dist/compose.js.map +1 -1
  7. package/dist/contracts.js +1 -1
  8. package/dist/contracts.js.map +1 -1
  9. package/dist/dimensions/autonomy/management-by-exception.js +1 -1
  10. package/dist/dimensions/autonomy/management-by-exception.js.map +1 -1
  11. package/dist/dimensions/communication-style/bottom-line-up-front.js +1 -1
  12. package/dist/dimensions/communication-style/bottom-line-up-front.js.map +1 -1
  13. package/dist/dimensions/communication-style/layman.js +1 -1
  14. package/dist/dimensions/communication-style/layman.js.map +1 -1
  15. package/dist/dimensions/deliverable/read-back.js +1 -1
  16. package/dist/dimensions/deliverable/read-back.js.map +1 -1
  17. package/dist/dimensions/expertise/semantic-addressing.js +1 -1
  18. package/dist/dimensions/expertise/semantic-addressing.js.map +1 -1
  19. package/dist/dimensions/guardrails/append-only.js +1 -1
  20. package/dist/dimensions/guardrails/append-only.js.map +1 -1
  21. package/dist/dimensions/guardrails/fixed-acceptance-criteria.js +1 -1
  22. package/dist/dimensions/guardrails/fixed-acceptance-criteria.js.map +1 -1
  23. package/dist/dimensions/guardrails/honesty.js +1 -1
  24. package/dist/dimensions/guardrails/honesty.js.map +1 -1
  25. package/dist/dimensions/guardrails/input-untrusted.js +1 -1
  26. package/dist/dimensions/guardrails/input-untrusted.js.map +1 -1
  27. package/dist/dimensions/guardrails/never-repairs.js +1 -1
  28. package/dist/dimensions/guardrails/never-repairs.js.map +1 -1
  29. package/dist/dimensions/guardrails/no-implementation.js +1 -1
  30. package/dist/dimensions/guardrails/no-implementation.js.map +1 -1
  31. package/dist/dimensions/guardrails/privacy.js +1 -1
  32. package/dist/dimensions/guardrails/privacy.js.map +1 -1
  33. package/dist/dimensions/memory/reconstitution.js +1 -1
  34. package/dist/dimensions/memory/reconstitution.js.map +1 -1
  35. package/dist/dimensions/memory/source-of-truth.js +1 -1
  36. package/dist/dimensions/memory/source-of-truth.js.map +1 -1
  37. package/dist/dimensions/procedure/orchestrator-workers.js +1 -1
  38. package/dist/dimensions/procedure/orchestrator-workers.js.map +1 -1
  39. package/dist/dimensions/procedure/reconstitution.js +1 -1
  40. package/dist/dimensions/procedure/reconstitution.js.map +1 -1
  41. package/dist/dimensions/role/architect.js +1 -1
  42. package/dist/dimensions/role/architect.js.map +1 -1
  43. package/dist/dimensions/role/builder.js +1 -1
  44. package/dist/dimensions/role/builder.js.map +1 -1
  45. package/dist/dimensions/role/check-writer.js +1 -1
  46. package/dist/dimensions/role/check-writer.js.map +1 -1
  47. package/dist/dimensions/role/lead.js +1 -1
  48. package/dist/dimensions/role/lead.js.map +1 -1
  49. package/dist/dimensions/role/reviewer.js +1 -1
  50. package/dist/dimensions/role/reviewer.js.map +1 -1
  51. package/dist/dimensions/stance/cold-decode-oracle.js +1 -1
  52. package/dist/dimensions/stance/cold-decode-oracle.js.map +1 -1
  53. package/dist/dimensions/stance/conceptual-elevation.js +1 -1
  54. package/dist/dimensions/stance/conceptual-elevation.js.map +1 -1
  55. package/dist/dimensions/stance/decisive.js +1 -1
  56. package/dist/dimensions/stance/decisive.js.map +1 -1
  57. package/dist/dimensions/stance/zero-trust.js +1 -1
  58. package/dist/dimensions/stance/zero-trust.js.map +1 -1
  59. package/dist/genus/prime-principle.d.ts +4 -3
  60. package/dist/genus/prime-principle.js +3 -2
  61. package/dist/genus/prime-principle.js.map +1 -1
  62. package/dist/index.d.ts +3 -3
  63. package/dist/index.js +10 -11
  64. package/dist/index.js.map +1 -1
  65. package/dist/manifest.d.ts +8 -8
  66. package/dist/manifest.js +16 -22
  67. package/dist/manifest.js.map +1 -1
  68. package/dist/operator-lexicon.d.ts +1 -12
  69. package/dist/operator-lexicon.js +3 -33
  70. package/dist/operator-lexicon.js.map +1 -1
  71. package/dist/practices.d.ts +1 -2
  72. package/dist/practices.js +1 -5
  73. package/dist/practices.js.map +1 -1
  74. package/dist/roles/architect.js +7 -25
  75. package/dist/roles/architect.js.map +1 -1
  76. package/dist/roles/lead.js +2 -10
  77. package/dist/roles/lead.js.map +1 -1
  78. package/dist/roles/reviewer.js +6 -6
  79. package/dist/roles/reviewer.js.map +1 -1
  80. package/dist/rules/commit-discipline.d.ts +3 -0
  81. package/dist/rules/commit-discipline.js +26 -0
  82. package/dist/rules/commit-discipline.js.map +1 -0
  83. package/dist/rules/conventional-commits.d.ts +3 -0
  84. package/dist/rules/conventional-commits.js +38 -0
  85. package/dist/rules/conventional-commits.js.map +1 -0
  86. package/dist/rules/established-libraries.d.ts +3 -0
  87. package/dist/rules/established-libraries.js +20 -0
  88. package/dist/rules/established-libraries.js.map +1 -0
  89. package/dist/rules/gitflow.d.ts +3 -0
  90. package/dist/rules/gitflow.js +32 -0
  91. package/dist/rules/gitflow.js.map +1 -0
  92. package/dist/rules/green-field.d.ts +3 -0
  93. package/dist/rules/green-field.js +20 -0
  94. package/dist/rules/green-field.js.map +1 -0
  95. package/dist/rulesets.d.ts +2 -0
  96. package/dist/rulesets.js +17 -0
  97. package/dist/rulesets.js.map +1 -0
  98. package/dist/skills/conceptualize/skill.js +2 -3
  99. package/dist/skills/conceptualize/skill.js.map +1 -1
  100. package/dist/skills/create-skill/skill.js +1 -1
  101. package/dist/skills/elicit/skill.js +2 -3
  102. package/dist/skills/elicit/skill.js.map +1 -1
  103. package/dist/skills/exemplify/skill.js +3 -4
  104. package/dist/skills/exemplify/skill.js.map +1 -1
  105. package/dist/skills/materialize/skill.js +2 -3
  106. package/dist/skills/materialize/skill.js.map +1 -1
  107. package/dist/skills/probe/skill.js +24 -25
  108. package/dist/skills/probe/skill.js.map +1 -1
  109. package/dist/skills/signify/skill.js +21 -20
  110. package/dist/skills/signify/skill.js.map +1 -1
  111. package/package.json +5 -6
  112. package/dist/genus/persona.d.ts +0 -8
  113. package/dist/genus/persona.js +0 -30
  114. package/dist/genus/persona.js.map +0 -1
  115. package/dist/hook-cells.d.ts +0 -3
  116. package/dist/hook-cells.js +0 -14
  117. package/dist/hook-cells.js.map +0 -1
  118. package/dist/hooks/deploy-drift-notice.d.ts +0 -2
  119. package/dist/hooks/deploy-drift-notice.js +0 -431
  120. package/dist/hooks/deploy-drift-notice.js.map +0 -1
  121. package/dist/rules/repo-preamble.d.ts +0 -2
  122. package/dist/rules/repo-preamble.js +0 -49
  123. package/dist/rules/repo-preamble.js.map +0 -1
  124. package/dist/skills/introspect/skill.d.ts +0 -2
  125. package/dist/skills/introspect/skill.js +0 -55
  126. package/dist/skills/introspect/skill.js.map +0 -1
@@ -1 +0,0 @@
1
- {"version":3,"file":"deploy-drift-notice.js","sourceRoot":"","sources":["../../src/hooks/deploy-drift-notice.ts"],"names":[],"mappings":"AAEA,kFAAkF;AAClF,kEAAkE;AAClE,EAAE;AACF,uFAAuF;AACvF,qFAAqF;AACrF,gFAAgF;AAChF,sFAAsF;AACtF,0EAA0E;AAC1E,mFAAmF;AACnF,gFAAgF;AAChF,qFAAqF;AACrF,EAAE;AACF,sFAAsF;AACtF,sFAAsF;AACtF,qFAAqF;AACrF,iFAAiF;AACjF,8BAA8B;AAC9B,EAAE;AACF,qFAAqF;AACrF,sFAAsF;AACtF,oFAAoF;AACpF,uFAAuF;AACvF,kFAAkF;AAClF,2BAA2B;AAC3B,EAAE;AACF,sFAAsF;AACtF,oFAAoF;AACpF,kEAAkE;AAClE,EAAE;AACF,mFAAmF;AACnF,oFAAoF;AACpF,kFAAkF;AAClF,kFAAkF;AAClF,oFAAoF;AACpF,oFAAoF;AACpF,4FAA4F;AAC5F,+BAA+B;AAC/B,EAAE;AACF,qFAAqF;AACrF,mFAAmF;AACnF,qFAAqF;AACrF,oFAAoF;AACpF,wFAAwF;AACxF,uCAAuC;AACvC,EAAE;AACF,uFAAuF;AACvF,qFAAqF;AACrF,uFAAuF;AACvF,wFAAwF;AACxF,wFAAwF;AACxF,yFAAyF;AACzF,yFAAyF;AACzF,yFAAyF;AACzF,0FAA0F;AAC1F,wFAAwF;AACxF,0BAA0B;AAC1B,EAAE;AACF,sFAAsF;AACtF,mFAAmF;AACnF,yFAAyF;AACzF,oFAAoF;AACpF,uEAAuE;AACvE,EAAE;AACF,mFAAmF;AACnF,8CAA8C;AAC9C,gFAAgF;AAChF,2EAA2E;AAC3E,EAAE;AACF,qFAAqF;AACrF,oFAAoF;AACpF,qFAAqF;AACrF,8BAA8B;AAC9B,gDAAgD;AAChD,gDAAgD;AAChD,oFAAoF;AACpF,6EAA6E;AAC7E,qFAAqF;AACrF,kFAAkF;AAClF,sFAAsF;AACtF,oFAAoF;AACpF,EAAE;AACF,sFAAsF;AACtF,mFAAmF;AACnF,wFAAwF;AACxF,gDAAgD;AAChD,gDAAgD;AAChD,qFAAqF;AACrF,sFAAsF;AACtF,sFAAsF;AACtF,wFAAwF;AACxF,qFAAqF;AACrF,sFAAsF;AACtF,sFAAsF;AACtF,4CAA4C;AAC5C,EAAE;AACF,gFAAgF;AAChF,mFAAmF;AACnF,6FAA6F;AAC7F,uFAAuF;AACvF,iEAAiE;AACjE,EAAE;AACF,qFAAqF;AACrF,iFAAiF;AACjF,mFAAmF;AACnF,iFAAiF;AACjF,EAAE;AACF,sFAAsF;AACtF,+EAA+E;AAC/E,kFAAkF;AAClF,iFAAiF;AACjF,gDAAgD;AAChD,qFAAqF;AACrF,oFAAoF;AACpF,6EAA6E;AAC7E,yEAAyE;AACzE,iFAAiF;AACjF,oEAAoE;AACpE,qFAAqF;AACrF,4EAA4E;AAC5E,qFAAqF;AACrF,gFAAgF;AAChF,gFAAgF;AAChF,kFAAkF;AAClF,mFAAmF;AACnF,kFAAkF;AAClF,mFAAmF;AACnF,kFAAkF;AAClF,EAAE;AACF,oFAAoF;AACpF,iFAAiF;AACjF,sFAAsF;AACtF,2DAA2D;AAC3D,EAAE;AACF,+EAA+E;AAC/E,uFAAuF;AACvF,kFAAkF;AAClF,4EAA4E;AAC5E,oFAAoF;AACpF,oFAAoF;AACpF,6BAA6B;AAE7B,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,EAAE,EAAE,qBAAqB;IACzB,OAAO,EACL,i8BAAi8B;IACn8B,SAAS,EAAE,SAAS;IACpB,MAAM,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,KAAK,EAAE,wBAAwB;IAC/B,OAAO,EAAE,EAAE;IACX,IAAI,EAAE,EAAE;IACR,MAAM,EAAE;QACN;YACE,EAAE,EAAE,OAAO;YACX,IAAI,EAAE,oVAAoV;SAC3V;QACD;YACE,EAAE,EAAE,YAAY;YAChB,4EAA4E;YAC5E,sEAAsE;YACtE,IAAI,EAAE,qNAAqN;SAC5N;QACD;YACE,EAAE,EAAE,eAAe;YACnB,IAAI,EAAE,sQAAsQ;SAC7Q;KACF;IACD,OAAO,EAAE;QACP;YACE,QAAQ,EAAE,wBAAwB;YAClC,UAAU,EAAE,yDAAyD;YACrE,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiQd;SACI;KACF;CACF,CAAC"}
@@ -1,2 +0,0 @@
1
- import type { RuleCell } from '@cratylus/schema';
2
- export declare const repoPreamble: RuleCell;
@@ -1,49 +0,0 @@
1
- // repo-preamble — the FIRST `rule` corpus instance (MODEL `Kind ∋ rule`,
2
- // `activation: rule↦scope`). The workspace-root standing instruction (`AGENTS.md`):
3
- // the always-loaded orientation every session binds on entry. Retiring the
4
- // `AGENTS.md@node` memory-sink route (no cell routes a record to a node/plan
5
- // `AGENTS.md`) removed the sole blocker to treating the repo-root `AGENTS.md` as a
6
- // byte-locked rule TARGET — it is no longer SelfAuthored memory (`SelfAuthored ∉
7
- // Target` no longer applies), so it is a curated source-of-truth cell whose
8
- // `content` projects + byte-locks to `/AGENTS.md`.
9
- //
10
- // residue — the σ*-signified canonical identity (`body = ⟨α, residue⟩`), the
11
- // `accept()`/REFLEXIVE target. It is `residue`, NOT `definiens`: it has
12
- // already paid the `∖ fired(α)` subtraction (`schema/src/rule-cell.ts`).
13
- // content — the VERBATIM directive payload, regenerated to `targetPath` by
14
- // `project-targets` and byte-locked by `test/hook-rule-boundary.test.ts`.
15
- // `content`, NOT `body`: `body(c) = ⟨α, residue⟩` is the whole cell, and
16
- // this is the sibling of `HookWorker.content` (`schema/src/rule-cell.ts`).
17
- export const repoPreamble = {
18
- kind: 'rule',
19
- id: 'repo-preamble',
20
- slug: 'repo-preamble',
21
- 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⟩',
22
- scope: '',
23
- targetPath: 'AGENTS.md',
24
- refs: [],
25
- content: `# AGENTS
26
-
27
- **CRITICAL INVARIANT:** You **MUST Read** these documents upon session-start:
28
-
29
- - [\`CANON.md\`](./CANON.md) — **overview and primer**
30
- - [\`CRATYLISM\`](./packages/canon/src/genus/prime-principle.ts) — The First Principle (**LOCKED**)
31
- - [\`VISION.md\`](./VISION.md) — **why** the canon exists
32
- - [\`MODEL.md\`](./MODEL.md) — **what** exists: conceptual objectives and acceptance criteria
33
- - [\`ENGINE.md\`](./ENGINE.md) — **how** primitives are discovered, validated, and projected
34
- - [\`ARCHITECTURE\`](./ARCHITECTURE.md) — purpose and relationship of the packages, and the seams that separate their concerns.
35
-
36
- ## Working conventions
37
-
38
- - Conventional Commits, header ≤100 chars (commitlint, \`commit-msg\` hook).
39
- - **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.
40
- - **Green-field register:** existing code, records, and docs constrain work only where explicitly declared; compatibility is never a goal.
41
- - **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.
42
- - **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.
43
- - **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.
44
- - **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.
45
- - **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.
46
- - **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.
47
- `,
48
- };
49
- //# sourceMappingURL=repo-preamble.js.map
@@ -1 +0,0 @@
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,s+BAAs+B;IACx+B,KAAK,EAAE,EAAE;IACT,UAAU,EAAE,WAAW;IACvB,IAAI,EAAE,EAAE;IACR,OAAO,EAAE;;;;;;;;;;;;;;;;;;;;;;CAsBV;CACA,CAAC"}
@@ -1,2 +0,0 @@
1
- import type { Skill } from '../../manifest.js';
2
- export declare const introspect: Skill;
@@ -1,55 +0,0 @@
1
- import { primePrinciple } from '../../genus/prime-principle.js';
2
- export const introspect = {
3
- name: 'introspect',
4
- 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.`,
5
- formalBlock: `A ≜ the agent introspecting itself
6
- O_text ≜ enumerate(\`###\` factor headings @ A's live Target) ⟨READ · ¬ recalled · \`##\` ≜ a group ∴ ∉ O⟩
7
- O_bind ≜ enumerate(binding factors @ \`cratylus catalog\`) ⟨never text · compiled to agent-harness tool · dispatch · model-role settings⟩
8
- O ≜ O_text ∪ O_bind ⟨∄ fixed-list ∵ corpus declares its own catalog · enforcement-level ≜ an attribute of each entry ∴ ∉ O⟩
9
- |O| ≜ |O_text| + |O_bind| ⟨the DENOMINATOR⟩
10
- V ≜ the entry value-space { one-entry · entry-set · one-entry-per-slot · unobservable } ⟨entry ≜ value @ level { advisory · firm · fixed }⟩
11
- src_def ≜ A's in-prompt \`###\` Target factors ∪ agent/<A>.md ⟨front-matter ↦ O_bind⟩ ⟨the entries held per factor⟩
12
- src_rt ≜ runtime sources observed this session { live tool/action-set · live dispatchable agents · live model · system-prompt-as-given · autonomy-mode + transient-elevation · deployed front-matter⟨color · mark⟩ · env · granted-permissions }
13
- addresses : O → concept @ A's identity ⟨name · description · mark · key ≜ ∅⟩ ∪ each factor's role ⟨the concept the fragment must express⟩
14
-
15
- def : O → V @ src_def
16
- rt : O → V @ src_rt
17
- decode : O → concept ≜ decode_cold(def(o)) ⟨isolated tool-less read of the declared sign · its own priors · zero project-causes⟩
18
- why : div → causes
19
-
20
- harness-override ≜ runtime substituted the value ⟨tool-gating · model-pin · env⟩
21
- deploy-drift ≜ deployed def ≠ source vector ⟨stale ∨ partial deploy⟩
22
- profile-projection ≜ def projected at a reader/profile that reshaped the value
23
- transient-elevation ≜ a session act flipped it ⟨autonomy human-in-the-loop ↦ human-on-the-loop⟩
24
- composer-dropped ≜ projection dropped a facet ⟨the color/mark regression class⟩
25
- env-conditioned ≜ a host/env fact changed the effective value
26
- unobservable ≜ runtime value ¬ inspectable ∴ report-as-such ∧ ¬ guess
27
- misnomer ≜ def faithfully in effect yet the wrong sign for its concept ⟨match(o) ∧ ¬ signifies(o) · a signification defect at def, ¬ a configuration one; the class that hides when rt conforms to a def that is itself mis-signified⟩
28
- K_cfg ≜ { harness-override · deploy-drift · profile-projection · transient-elevation · composer-dropped · env-conditioned · unobservable }
29
- causes ≜ K_cfg ∪ { misnomer }
30
-
31
- ∀ o ∈ O : rt(o) @ src_rt
32
- ¬ ( rt ≜ def )
33
- match(o) ≜ def(o) ≅ rt(o) ⟨values ∧ their levels⟩
34
- signifies(o) ≜ decode(o) ≅ addresses(o)
35
- sound(o) ≜ match(o) ∧ signifies(o)
36
- div ≜ { o ∈ O | ¬ sound(o) }
37
- ¬ match(o) ⇒ why(o) ∈ K_cfg
38
- match(o) ∧ ¬ signifies(o) ⇒ why(o) = misnomer
39
- why(o) ∈ causes , o ∈ div
40
- row(o) ≜ ⟨ o, def(o), rt(o), match(o), signifies(o), why(o) ↾ o ∈ div ⟩
41
- summary ≜ { ⟨ o, why(o) ⟩ | o ∈ div }
42
- report ≜ ⟨ |O|, { row(o) | o ∈ O }, summary ⟩ ⟨|O| STATED⟩
43
- introspect(A) ≜ report
44
- |{ row(o) }| ≠ |O| ⇒ ⊥
45
- rt(o) ⊨ EXERCISED ⟨¬ inferred-from-absence⟩
46
- ¬ exercised(o) ⇒ why(o) = unobservable ∧ why(o) ≠ harness-override
47
-
48
- ¬ edit(agent/<A>.md) ∧ ¬ redeploy ∧ ¬ mint(V)
49
- why(o) ∈ K_cfg ⇒ reconcile @ { create-agent · deploy }
50
- why(o) = misnomer ⇒ reconcile @ signify ≺ { create-agent · deploy }
51
- O · causes @ live-anatomy`,
52
- composition: () => [],
53
- preamble: primePrinciple,
54
- };
55
- //# sourceMappingURL=skill.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"skill.js","sourceRoot":"","sources":["../../../src/skills/introspect/skill.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAGhE,MAAM,CAAC,MAAM,UAAU,GAAU;IAC/B,IAAI,EAAE,YAAY;IAClB,WAAW,EAAE,qNAAqN;IAClO,WAAW,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iCA8CqC;IAClD,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE;IACrB,QAAQ,EAAE,cAAc;CACzB,CAAC"}