@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.
- package/README.md +24 -31
- package/dist/agents/nico.js +1 -1
- package/dist/agents/nico.js.map +1 -1
- package/dist/compose.d.ts +4 -4
- package/dist/compose.js +14 -16
- package/dist/compose.js.map +1 -1
- package/dist/contracts.js +1 -1
- package/dist/contracts.js.map +1 -1
- package/dist/dimensions/autonomy/management-by-exception.js +1 -1
- package/dist/dimensions/autonomy/management-by-exception.js.map +1 -1
- package/dist/dimensions/communication-style/bottom-line-up-front.js +1 -1
- package/dist/dimensions/communication-style/bottom-line-up-front.js.map +1 -1
- package/dist/dimensions/communication-style/layman.js +1 -1
- package/dist/dimensions/communication-style/layman.js.map +1 -1
- package/dist/dimensions/deliverable/read-back.js +1 -1
- package/dist/dimensions/deliverable/read-back.js.map +1 -1
- package/dist/dimensions/expertise/semantic-addressing.js +1 -1
- package/dist/dimensions/expertise/semantic-addressing.js.map +1 -1
- package/dist/dimensions/guardrails/append-only.js +1 -1
- package/dist/dimensions/guardrails/append-only.js.map +1 -1
- package/dist/dimensions/guardrails/fixed-acceptance-criteria.js +1 -1
- package/dist/dimensions/guardrails/fixed-acceptance-criteria.js.map +1 -1
- package/dist/dimensions/guardrails/honesty.js +1 -1
- package/dist/dimensions/guardrails/honesty.js.map +1 -1
- package/dist/dimensions/guardrails/input-untrusted.js +1 -1
- package/dist/dimensions/guardrails/input-untrusted.js.map +1 -1
- package/dist/dimensions/guardrails/never-repairs.js +1 -1
- package/dist/dimensions/guardrails/never-repairs.js.map +1 -1
- package/dist/dimensions/guardrails/no-implementation.js +1 -1
- package/dist/dimensions/guardrails/no-implementation.js.map +1 -1
- package/dist/dimensions/guardrails/privacy.js +1 -1
- package/dist/dimensions/guardrails/privacy.js.map +1 -1
- package/dist/dimensions/memory/reconstitution.js +1 -1
- package/dist/dimensions/memory/reconstitution.js.map +1 -1
- package/dist/dimensions/memory/source-of-truth.js +1 -1
- package/dist/dimensions/memory/source-of-truth.js.map +1 -1
- package/dist/dimensions/procedure/orchestrator-workers.js +1 -1
- package/dist/dimensions/procedure/orchestrator-workers.js.map +1 -1
- package/dist/dimensions/procedure/reconstitution.js +1 -1
- package/dist/dimensions/procedure/reconstitution.js.map +1 -1
- package/dist/dimensions/role/architect.js +1 -1
- package/dist/dimensions/role/architect.js.map +1 -1
- package/dist/dimensions/role/builder.js +1 -1
- package/dist/dimensions/role/builder.js.map +1 -1
- package/dist/dimensions/role/check-writer.js +1 -1
- package/dist/dimensions/role/check-writer.js.map +1 -1
- package/dist/dimensions/role/lead.js +1 -1
- package/dist/dimensions/role/lead.js.map +1 -1
- package/dist/dimensions/role/reviewer.js +1 -1
- package/dist/dimensions/role/reviewer.js.map +1 -1
- package/dist/dimensions/stance/cold-decode-oracle.js +1 -1
- package/dist/dimensions/stance/cold-decode-oracle.js.map +1 -1
- package/dist/dimensions/stance/conceptual-elevation.js +1 -1
- package/dist/dimensions/stance/conceptual-elevation.js.map +1 -1
- package/dist/dimensions/stance/decisive.js +1 -1
- package/dist/dimensions/stance/decisive.js.map +1 -1
- package/dist/dimensions/stance/zero-trust.js +1 -1
- package/dist/dimensions/stance/zero-trust.js.map +1 -1
- package/dist/genus/prime-principle.d.ts +4 -3
- package/dist/genus/prime-principle.js +3 -2
- package/dist/genus/prime-principle.js.map +1 -1
- package/dist/index.d.ts +3 -3
- package/dist/index.js +10 -11
- package/dist/index.js.map +1 -1
- package/dist/manifest.d.ts +8 -8
- package/dist/manifest.js +16 -22
- package/dist/manifest.js.map +1 -1
- package/dist/operator-lexicon.d.ts +1 -12
- package/dist/operator-lexicon.js +3 -33
- package/dist/operator-lexicon.js.map +1 -1
- package/dist/practices.d.ts +1 -2
- package/dist/practices.js +1 -5
- package/dist/practices.js.map +1 -1
- package/dist/roles/architect.js +7 -25
- package/dist/roles/architect.js.map +1 -1
- package/dist/roles/lead.js +2 -10
- package/dist/roles/lead.js.map +1 -1
- package/dist/roles/reviewer.js +6 -6
- package/dist/roles/reviewer.js.map +1 -1
- package/dist/rules/commit-discipline.d.ts +3 -0
- package/dist/rules/commit-discipline.js +26 -0
- package/dist/rules/commit-discipline.js.map +1 -0
- package/dist/rules/conventional-commits.d.ts +3 -0
- package/dist/rules/conventional-commits.js +38 -0
- package/dist/rules/conventional-commits.js.map +1 -0
- package/dist/rules/established-libraries.d.ts +3 -0
- package/dist/rules/established-libraries.js +20 -0
- package/dist/rules/established-libraries.js.map +1 -0
- package/dist/rules/gitflow.d.ts +3 -0
- package/dist/rules/gitflow.js +32 -0
- package/dist/rules/gitflow.js.map +1 -0
- package/dist/rules/green-field.d.ts +3 -0
- package/dist/rules/green-field.js +20 -0
- package/dist/rules/green-field.js.map +1 -0
- package/dist/rulesets.d.ts +2 -0
- package/dist/rulesets.js +17 -0
- package/dist/rulesets.js.map +1 -0
- package/dist/skills/conceptualize/skill.js +2 -3
- package/dist/skills/conceptualize/skill.js.map +1 -1
- package/dist/skills/create-skill/skill.js +1 -1
- package/dist/skills/elicit/skill.js +2 -3
- package/dist/skills/elicit/skill.js.map +1 -1
- package/dist/skills/exemplify/skill.js +3 -4
- package/dist/skills/exemplify/skill.js.map +1 -1
- package/dist/skills/materialize/skill.js +2 -3
- package/dist/skills/materialize/skill.js.map +1 -1
- package/dist/skills/probe/skill.js +24 -25
- package/dist/skills/probe/skill.js.map +1 -1
- package/dist/skills/signify/skill.js +21 -20
- package/dist/skills/signify/skill.js.map +1 -1
- package/package.json +5 -6
- package/dist/genus/persona.d.ts +0 -8
- package/dist/genus/persona.js +0 -30
- package/dist/genus/persona.js.map +0 -1
- package/dist/hook-cells.d.ts +0 -3
- package/dist/hook-cells.js +0 -14
- package/dist/hook-cells.js.map +0 -1
- package/dist/hooks/deploy-drift-notice.d.ts +0 -2
- package/dist/hooks/deploy-drift-notice.js +0 -431
- package/dist/hooks/deploy-drift-notice.js.map +0 -1
- package/dist/rules/repo-preamble.d.ts +0 -2
- package/dist/rules/repo-preamble.js +0 -49
- package/dist/rules/repo-preamble.js.map +0 -1
- package/dist/skills/introspect/skill.d.ts +0 -2
- package/dist/skills/introspect/skill.js +0 -55
- 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,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,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"}
|