@cratylus/canon 0.1.0 → 0.1.1
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/dist/agents/mav.js +12 -23
- package/dist/agents/mav.js.map +1 -1
- package/dist/agents/nico.js +6 -2
- package/dist/agents/nico.js.map +1 -1
- package/dist/dimensions/memory/long-term-memory.js +8 -1
- package/dist/dimensions/memory/long-term-memory.js.map +1 -1
- package/dist/genus/founding-doctrine.d.ts +2 -2
- package/dist/genus/founding-doctrine.js +3 -31
- package/dist/genus/founding-doctrine.js.map +1 -1
- package/dist/hook-cells.js +0 -4
- package/dist/hook-cells.js.map +1 -1
- package/dist/hooks/praxis-continuity.js +4 -3
- package/dist/hooks/praxis-continuity.js.map +1 -1
- package/dist/hooks/stance-guardrail-pre.js +1 -1
- package/dist/hooks/stance-guardrail.js +13 -12
- package/dist/hooks/stance-guardrail.js.map +1 -1
- package/dist/rules/repo-preamble.js +6 -20
- package/dist/rules/repo-preamble.js.map +1 -1
- package/dist/skills/carry-on/skill.js +40 -45
- package/dist/skills/carry-on/skill.js.map +1 -1
- package/dist/skills/conceptualize/skill.js +16 -4
- package/dist/skills/conceptualize/skill.js.map +1 -1
- package/dist/skills/elicit/skill.js +16 -4
- package/dist/skills/elicit/skill.js.map +1 -1
- package/dist/skills/event-tap/skill.js +9 -2
- package/dist/skills/event-tap/skill.js.map +1 -1
- package/dist/skills/exemplify/skill.js +16 -4
- package/dist/skills/exemplify/skill.js.map +1 -1
- package/dist/skills/introspect/skill.js +6 -2
- package/dist/skills/introspect/skill.js.map +1 -1
- package/dist/skills/materialize/skill.js +16 -4
- package/dist/skills/materialize/skill.js.map +1 -1
- package/dist/skills/praxis/skill.js +5 -8
- package/dist/skills/praxis/skill.js.map +1 -1
- package/dist/skills/probe/skill.js +16 -4
- package/dist/skills/probe/skill.js.map +1 -1
- package/dist/skills/signify/skill.js +16 -4
- package/dist/skills/signify/skill.js.map +1 -1
- package/package.json +7 -7
- package/dist/agents/arch-doc-writer.d.ts +0 -2
- package/dist/agents/arch-doc-writer.js +0 -54
- package/dist/agents/arch-doc-writer.js.map +0 -1
- package/dist/agents/boz.d.ts +0 -2
- package/dist/agents/boz.js +0 -59
- package/dist/agents/boz.js.map +0 -1
- package/dist/agents/developer.d.ts +0 -2
- package/dist/agents/developer.js +0 -53
- package/dist/agents/developer.js.map +0 -1
- package/dist/agents/investigator.d.ts +0 -2
- package/dist/agents/investigator.js +0 -59
- package/dist/agents/investigator.js.map +0 -1
- package/dist/agents/planner.d.ts +0 -2
- package/dist/agents/planner.js +0 -52
- package/dist/agents/planner.js.map +0 -1
- package/dist/agents/principal-engineer-reviewer.d.ts +0 -2
- package/dist/agents/principal-engineer-reviewer.js +0 -56
- package/dist/agents/principal-engineer-reviewer.js.map +0 -1
- package/dist/agents/principal-ic.d.ts +0 -2
- package/dist/agents/principal-ic.js +0 -72
- package/dist/agents/principal-ic.js.map +0 -1
- package/dist/agents/tester.d.ts +0 -2
- package/dist/agents/tester.js +0 -55
- package/dist/agents/tester.js.map +0 -1
- package/dist/hooks/memory-consolidation-nudge.d.ts +0 -2
- package/dist/hooks/memory-consolidation-nudge.js +0 -148
- package/dist/hooks/memory-consolidation-nudge.js.map +0 -1
- package/dist/hooks/resume-availability-notice.d.ts +0 -2
- package/dist/hooks/resume-availability-notice.js +0 -50
- package/dist/hooks/resume-availability-notice.js.map +0 -1
- package/dist/skills/dream/skill.d.ts +0 -2
- package/dist/skills/dream/skill.js +0 -65
- package/dist/skills/dream/skill.js.map +0 -1
- package/dist/skills/handoff/skill.d.ts +0 -2
- package/dist/skills/handoff/skill.js +0 -27
- package/dist/skills/handoff/skill.js.map +0 -1
- package/dist/skills/wake/skill.d.ts +0 -2
- package/dist/skills/wake/skill.js +0 -43
- package/dist/skills/wake/skill.js.map +0 -1
package/dist/agents/mav.js
CHANGED
|
@@ -1,6 +1,3 @@
|
|
|
1
|
-
import { codeExecution as codeExecution_actions } from '../dimensions/actions/code-execution.js';
|
|
2
|
-
import { delegation as delegation_actions } from '../dimensions/actions/delegation.js';
|
|
3
|
-
import { fileOps as fileOps_actions } from '../dimensions/actions/file-ops.js';
|
|
4
1
|
import { convergence as convergence_audienceAdaptation } from '../dimensions/audience-adaptation/convergence.js';
|
|
5
2
|
import { principalSelf } from '../dimensions/autonomy/decision-authority.js';
|
|
6
3
|
import { checkIn as checkIn_autonomy } from '../dimensions/autonomy/check-in.js';
|
|
@@ -8,21 +5,16 @@ import { humanOnTheLoop as humanOnTheLoop_autonomy } from '../dimensions/autonom
|
|
|
8
5
|
import { missionCommand } from '../dimensions/autonomy/mission-command.js';
|
|
9
6
|
import { operationsDelivery as operationsDelivery_capabilities } from '../dimensions/capabilities/operations-delivery.js';
|
|
10
7
|
import { softwareEngineering as softwareEngineering_capabilities } from '../dimensions/capabilities/software-engineering.js';
|
|
11
|
-
import {
|
|
8
|
+
import { cratylism as cratylism_engineeringPrinciples } from '../dimensions/engineering-principles/cratylism.js';
|
|
12
9
|
import { dry as dry_engineeringPrinciples } from '../dimensions/engineering-principles/dry.js';
|
|
13
10
|
import { firstPrinciples as firstPrinciples_engineeringPrinciples } from '../dimensions/engineering-principles/first-principles.js';
|
|
14
|
-
import {
|
|
15
|
-
import { llmNative as llmNative_engineeringPrinciples } from '../dimensions/engineering-principles/llm-native.js';
|
|
11
|
+
import { greenField as greenField_engineeringPrinciples } from '../dimensions/engineering-principles/green-field.js';
|
|
16
12
|
import { mece as mece_engineeringPrinciples } from '../dimensions/engineering-principles/mece.js';
|
|
17
|
-
import {
|
|
18
|
-
import { zeroTrust as zeroTrust_engineeringPrinciples } from '../dimensions/engineering-principles/zero-trust.js';
|
|
13
|
+
import { simplicity as simplicity_engineeringPrinciples } from '../dimensions/engineering-principles/simplicity.js';
|
|
19
14
|
import { formal as formal_formality } from '../dimensions/formality/formal.js';
|
|
20
15
|
import { goalDirected as goalDirected_framing } from '../dimensions/framing/goal-directed.js';
|
|
21
|
-
import { harmAvoidance as harmAvoidance_guardrails } from '../dimensions/guardrails/harm-avoidance.js';
|
|
22
|
-
import { helpfulness as helpfulness_guardrails } from '../dimensions/guardrails/helpfulness.js';
|
|
23
16
|
import { honesty as honesty_guardrails } from '../dimensions/guardrails/honesty.js';
|
|
24
17
|
import { correctionConsolidation as correctionConsolidation_learning } from '../dimensions/learning/correction-consolidation.js';
|
|
25
|
-
import { longTermMemory as longTermMemory_memory } from '../dimensions/memory/long-term-memory.js';
|
|
26
18
|
import { delivery as delivery_objective } from '../dimensions/objective/delivery.js';
|
|
27
19
|
import { structuredDecision as structuredDecision_outputFormat } from '../dimensions/output-format/structured-decision.js';
|
|
28
20
|
import { planAndSolve as planAndSolve_reasoningStrategy } from '../dimensions/reasoning-strategy/plan-and-solve.js';
|
|
@@ -48,30 +40,27 @@ export const mav = {
|
|
|
48
40
|
provenance: { mark: { emoji: '✈️', hue: 'green' } },
|
|
49
41
|
objective: delivery_objective,
|
|
50
42
|
engineeringPrinciples: [
|
|
43
|
+
cratylism_engineeringPrinciples,
|
|
51
44
|
firstPrinciples_engineeringPrinciples,
|
|
52
|
-
|
|
45
|
+
greenField_engineeringPrinciples,
|
|
46
|
+
simplicity_engineeringPrinciples,
|
|
53
47
|
dry_engineeringPrinciples,
|
|
54
48
|
mece_engineeringPrinciples,
|
|
55
|
-
llmNative_engineeringPrinciples,
|
|
56
|
-
coldDecodeOracle_engineeringPrinciples,
|
|
57
|
-
trustButVerify_engineeringPrinciples,
|
|
58
|
-
invokeTheCanonical_engineeringPrinciples,
|
|
59
|
-
],
|
|
60
|
-
guardrails: [
|
|
61
|
-
harmAvoidance_guardrails,
|
|
62
|
-
honesty_guardrails,
|
|
63
|
-
helpfulness_guardrails,
|
|
64
49
|
],
|
|
50
|
+
// `guardrails` is the one dimension with no `| null`: it is `required: true` in
|
|
51
|
+
// the catalog precisely so the unconfined agent cannot be written down
|
|
52
|
+
// (`manifest.ts`). The omit-to-inherit sentinel does not reach here.
|
|
53
|
+
guardrails: [honesty_guardrails],
|
|
65
54
|
capabilities: [
|
|
66
55
|
softwareEngineering_capabilities,
|
|
67
56
|
operationsDelivery_capabilities,
|
|
68
57
|
],
|
|
69
58
|
learning: correctionConsolidation_learning,
|
|
70
59
|
situationAwareness: projection_situationAwareness,
|
|
71
|
-
actions:
|
|
60
|
+
actions: null,
|
|
72
61
|
modalities: null,
|
|
73
62
|
model: null,
|
|
74
|
-
memory:
|
|
63
|
+
memory: null,
|
|
75
64
|
trigger: null,
|
|
76
65
|
framing: goalDirected_framing,
|
|
77
66
|
reasoningStrategy: planAndSolve_reasoningStrategy,
|
package/dist/agents/mav.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"mav.js","sourceRoot":"","sources":["../../src/agents/mav.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"mav.js","sourceRoot":"","sources":["../../src/agents/mav.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,IAAI,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AACjH,OAAO,EAAE,aAAa,EAAE,MAAM,8CAA8C,CAAC;AAG7E,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,cAAc,IAAI,uBAAuB,EAAE,MAAM,6CAA6C,CAAC;AACxG,OAAO,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAC;AAC3E,OAAO,EAAE,kBAAkB,IAAI,+BAA+B,EAAE,MAAM,mDAAmD,CAAC;AAC1H,OAAO,EAAE,mBAAmB,IAAI,gCAAgC,EAAE,MAAM,oDAAoD,CAAC;AAC7H,OAAO,EAAE,SAAS,IAAI,+BAA+B,EAAE,MAAM,mDAAmD,CAAC;AACjH,OAAO,EAAE,GAAG,IAAI,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AAC/F,OAAO,EAAE,eAAe,IAAI,qCAAqC,EAAE,MAAM,0DAA0D,CAAC;AACpI,OAAO,EAAE,UAAU,IAAI,gCAAgC,EAAE,MAAM,qDAAqD,CAAC;AACrH,OAAO,EAAE,IAAI,IAAI,0BAA0B,EAAE,MAAM,8CAA8C,CAAC;AAClG,OAAO,EAAE,UAAU,IAAI,gCAAgC,EAAE,MAAM,oDAAoD,CAAC;AACpH,OAAO,EAAE,MAAM,IAAI,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,YAAY,IAAI,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9F,OAAO,EAAE,OAAO,IAAI,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACpF,OAAO,EAAE,uBAAuB,IAAI,gCAAgC,EAAE,MAAM,oDAAoD,CAAC;AACjI,OAAO,EAAE,QAAQ,IAAI,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,EAAE,kBAAkB,IAAI,+BAA+B,EAAE,MAAM,oDAAoD,CAAC;AAC3H,OAAO,EAAE,YAAY,IAAI,8BAA8B,EAAE,MAAM,oDAAoD,CAAC;AACpH,OAAO,EAAE,KAAK,IAAI,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,QAAQ,IAAI,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AACzF,OAAO,EAAE,oBAAoB,IAAI,mCAAmC,EAAE,MAAM,yDAAyD,CAAC;AACtI,OAAO,EAAE,UAAU,IAAI,6BAA6B,EAAE,MAAM,iDAAiD,CAAC;AAC9G,OAAO,EAAE,iBAAiB,IAAI,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AACvH,MAAM,CAAC,MAAM,GAAG,GAAU;IACxB,IAAI,EAAE,KAAK;IACX,WAAW,EACT,wMAAwM;IAC1M,SAAS,EACP,uPAAuP;IACzP,IAAI,EAAE,UAAU;IAChB,SAAS,EAAE,gBAAgB;IAC3B,kBAAkB,EAAE,8BAA8B;IAClD,YAAY,EAAE,8BAA8B;IAC5C,QAAQ,EAAE;QACR,aAAa;QACb,uBAAuB;QACvB,cAAc;QACd,gBAAgB;KACjB;IACD,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;IACnD,SAAS,EAAE,kBAAkB;IAC7B,qBAAqB,EAAE;QACrB,+BAA+B;QAC/B,qCAAqC;QACrC,gCAAgC;QAChC,gCAAgC;QAChC,yBAAyB;QACzB,0BAA0B;KAC3B;IACD,gFAAgF;IAChF,uEAAuE;IACvE,qEAAqE;IACrE,UAAU,EAAE,CAAC,kBAAkB,CAAC;IAChC,YAAY,EAAE;QACZ,gCAAgC;QAChC,+BAA+B;KAChC;IACD,QAAQ,EAAE,gCAAgC;IAC1C,kBAAkB,EAAE,6BAA6B;IACjD,OAAO,EAAE,IAAI;IACb,UAAU,EAAE,IAAI;IAChB,KAAK,EAAE,IAAI;IACX,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,IAAI;IACb,OAAO,EAAE,oBAAoB;IAC7B,iBAAiB,EAAE,8BAA8B;IACjD,WAAW,EAAE,oBAAoB;IACjC,YAAY,EAAE,+BAA+B;IAC7C,cAAc,EAAE,mCAAmC;IACnD,UAAU,EAAE,IAAI;CACjB,CAAC"}
|
package/dist/agents/nico.js
CHANGED
|
@@ -16,6 +16,7 @@ import { greenField as greenField_engineeringPrinciples } from '../dimensions/en
|
|
|
16
16
|
import { invokeTheCanonical as invokeTheCanonical_engineeringPrinciples } from '../dimensions/engineering-principles/invoke-the-canonical.js';
|
|
17
17
|
import { llmNative as llmNative_engineeringPrinciples } from '../dimensions/engineering-principles/llm-native.js';
|
|
18
18
|
import { mece as mece_engineeringPrinciples } from '../dimensions/engineering-principles/mece.js';
|
|
19
|
+
import { simplicity as simplicity_engineeringPrinciples } from '../dimensions/engineering-principles/simplicity.js';
|
|
19
20
|
import { trustButVerify as trustButVerify_engineeringPrinciples } from '../dimensions/engineering-principles/trust-but-verify.js';
|
|
20
21
|
import { zeroTrust as zeroTrust_engineeringPrinciples } from '../dimensions/engineering-principles/zero-trust.js';
|
|
21
22
|
import { formal as formal_formality } from '../dimensions/formality/formal.js';
|
|
@@ -25,7 +26,6 @@ import { helpfulness as helpfulness_guardrails } from '../dimensions/guardrails/
|
|
|
25
26
|
import { honesty as honesty_guardrails } from '../dimensions/guardrails/honesty.js';
|
|
26
27
|
import { inputUntrusted as inputUntrusted_guardrails } from '../dimensions/guardrails/input-untrusted.js';
|
|
27
28
|
import { correctionConsolidation as correctionConsolidation_learning } from '../dimensions/learning/correction-consolidation.js';
|
|
28
|
-
import { longTermMemory as longTermMemory_memory } from '../dimensions/memory/long-term-memory.js';
|
|
29
29
|
import { parsimony as parsimony_objective } from '../dimensions/objective/parsimony.js';
|
|
30
30
|
import { code as code_outputFormat } from '../dimensions/output-format/code.js';
|
|
31
31
|
import { react as react_reasoningStrategy } from '../dimensions/reasoning-strategy/react.js';
|
|
@@ -54,6 +54,7 @@ export const nico = {
|
|
|
54
54
|
cratylism_engineeringPrinciples,
|
|
55
55
|
firstPrinciples_engineeringPrinciples,
|
|
56
56
|
greenField_engineeringPrinciples,
|
|
57
|
+
simplicity_engineeringPrinciples,
|
|
57
58
|
zeroTrust_engineeringPrinciples,
|
|
58
59
|
dry_engineeringPrinciples,
|
|
59
60
|
mece_engineeringPrinciples,
|
|
@@ -77,7 +78,10 @@ export const nico = {
|
|
|
77
78
|
actions: [fileOps_actions, codeExecution_actions, delegation_actions],
|
|
78
79
|
modalities: null,
|
|
79
80
|
model: null,
|
|
80
|
-
|
|
81
|
+
// null ⇒ OMITTED from the projection: the harness's memory is the agent's. See
|
|
82
|
+
// `mav.ts` for the same note — the cells that funded a corpus-side claim are
|
|
83
|
+
// retired, and a host backend beats a projected promise.
|
|
84
|
+
memory: null,
|
|
81
85
|
trigger: null,
|
|
82
86
|
framing: analytical_framing,
|
|
83
87
|
reasoningStrategy: react_reasoningStrategy,
|
package/dist/agents/nico.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"nico.js","sourceRoot":"","sources":["../../src/agents/nico.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,IAAI,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AACjG,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACvF,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,WAAW,IAAI,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AACjH,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,aAAa,EAAE,MAAM,8CAA8C,CAAC;AAC7E,OAAO,EAAE,cAAc,IAAI,uBAAuB,EAAE,MAAM,6CAA6C,CAAC;AACxG,OAAO,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAC;AAC3E,OAAO,EAAE,qBAAqB,IAAI,kCAAkC,EAAE,MAAM,sDAAsD,CAAC;AACnI,OAAO,EAAE,YAAY,IAAI,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AACxG,OAAO,EAAE,gBAAgB,IAAI,sCAAsC,EAAE,MAAM,4DAA4D,CAAC;AACxI,OAAO,EAAE,SAAS,IAAI,+BAA+B,EAAE,MAAM,mDAAmD,CAAC;AACjH,OAAO,EAAE,GAAG,IAAI,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AAC/F,OAAO,EAAE,eAAe,IAAI,qCAAqC,EAAE,MAAM,0DAA0D,CAAC;AACpI,OAAO,EAAE,UAAU,IAAI,gCAAgC,EAAE,MAAM,qDAAqD,CAAC;AACrH,OAAO,EAAE,kBAAkB,IAAI,wCAAwC,EAAE,MAAM,8DAA8D,CAAC;AAC9I,OAAO,EAAE,SAAS,IAAI,+BAA+B,EAAE,MAAM,oDAAoD,CAAC;AAClH,OAAO,EAAE,IAAI,IAAI,0BAA0B,EAAE,MAAM,8CAA8C,CAAC;AAClG,OAAO,EAAE,cAAc,IAAI,oCAAoC,EAAE,MAAM,0DAA0D,CAAC;AAClI,OAAO,EAAE,SAAS,IAAI,+BAA+B,EAAE,MAAM,oDAAoD,CAAC;AAClH,OAAO,EAAE,MAAM,IAAI,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACvF,OAAO,EAAE,aAAa,IAAI,wBAAwB,EAAE,MAAM,4CAA4C,CAAC;AACvG,OAAO,EAAE,WAAW,IAAI,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AAChG,OAAO,EAAE,OAAO,IAAI,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACpF,OAAO,EAAE,cAAc,IAAI,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AAC1G,OAAO,EAAE,uBAAuB,IAAI,gCAAgC,EAAE,MAAM,oDAAoD,CAAC;AACjI,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"nico.js","sourceRoot":"","sources":["../../src/agents/nico.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,IAAI,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AACjG,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACvF,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,WAAW,IAAI,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AACjH,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,aAAa,EAAE,MAAM,8CAA8C,CAAC;AAC7E,OAAO,EAAE,cAAc,IAAI,uBAAuB,EAAE,MAAM,6CAA6C,CAAC;AACxG,OAAO,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAC;AAC3E,OAAO,EAAE,qBAAqB,IAAI,kCAAkC,EAAE,MAAM,sDAAsD,CAAC;AACnI,OAAO,EAAE,YAAY,IAAI,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AACxG,OAAO,EAAE,gBAAgB,IAAI,sCAAsC,EAAE,MAAM,4DAA4D,CAAC;AACxI,OAAO,EAAE,SAAS,IAAI,+BAA+B,EAAE,MAAM,mDAAmD,CAAC;AACjH,OAAO,EAAE,GAAG,IAAI,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AAC/F,OAAO,EAAE,eAAe,IAAI,qCAAqC,EAAE,MAAM,0DAA0D,CAAC;AACpI,OAAO,EAAE,UAAU,IAAI,gCAAgC,EAAE,MAAM,qDAAqD,CAAC;AACrH,OAAO,EAAE,kBAAkB,IAAI,wCAAwC,EAAE,MAAM,8DAA8D,CAAC;AAC9I,OAAO,EAAE,SAAS,IAAI,+BAA+B,EAAE,MAAM,oDAAoD,CAAC;AAClH,OAAO,EAAE,IAAI,IAAI,0BAA0B,EAAE,MAAM,8CAA8C,CAAC;AAClG,OAAO,EAAE,UAAU,IAAI,gCAAgC,EAAE,MAAM,oDAAoD,CAAC;AACpH,OAAO,EAAE,cAAc,IAAI,oCAAoC,EAAE,MAAM,0DAA0D,CAAC;AAClI,OAAO,EAAE,SAAS,IAAI,+BAA+B,EAAE,MAAM,oDAAoD,CAAC;AAClH,OAAO,EAAE,MAAM,IAAI,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACvF,OAAO,EAAE,aAAa,IAAI,wBAAwB,EAAE,MAAM,4CAA4C,CAAC;AACvG,OAAO,EAAE,WAAW,IAAI,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AAChG,OAAO,EAAE,OAAO,IAAI,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACpF,OAAO,EAAE,cAAc,IAAI,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AAC1G,OAAO,EAAE,uBAAuB,IAAI,gCAAgC,EAAE,MAAM,oDAAoD,CAAC;AACjI,OAAO,EAAE,SAAS,IAAI,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AACxF,OAAO,EAAE,IAAI,IAAI,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,EAAE,KAAK,IAAI,uBAAuB,EAAE,MAAM,2CAA2C,CAAC;AAC7F,OAAO,EAAE,KAAK,IAAI,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,SAAS,IAAI,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC5F,OAAO,EAAE,oBAAoB,IAAI,mCAAmC,EAAE,MAAM,yDAAyD,CAAC;AACtI,OAAO,EAAE,UAAU,IAAI,6BAA6B,EAAE,MAAM,iDAAiD,CAAC;AAC9G,OAAO,EAAE,iBAAiB,IAAI,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAGvH,MAAM,CAAC,MAAM,IAAI,GAAU;IACzB,IAAI,EAAE,MAAM;IACZ,WAAW,EACT,2QAA2Q;IAC7Q,SAAS,EACP,4eAA4e;IAC9e,IAAI,EAAE,UAAU;IAChB,SAAS,EAAE,gBAAgB;IAC3B,kBAAkB,EAAE,8BAA8B;IAClD,YAAY,EAAE,8BAA8B;IAC5C,QAAQ,EAAE;QACR,aAAa;QACb,uBAAuB;QACvB,cAAc;QACd,gBAAgB;KACjB;IACD,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;IAClD,SAAS,EAAE,mBAAmB;IAC9B,qBAAqB,EAAE;QACrB,+BAA+B;QAC/B,qCAAqC;QACrC,gCAAgC;QAChC,gCAAgC;QAChC,+BAA+B;QAC/B,yBAAyB;QACzB,0BAA0B;QAC1B,+BAA+B;QAC/B,sCAAsC;QACtC,oCAAoC;QACpC,wCAAwC;KACzC;IACD,UAAU,EAAE;QACV,wBAAwB;QACxB,kBAAkB;QAClB,sBAAsB;QACtB,yBAAyB;KAC1B;IACD,YAAY,EAAE,CAAC,kCAAkC,EAAE,yBAAyB,CAAC;IAC7E,QAAQ,EAAE,gCAAgC;IAC1C,kBAAkB,EAAE,6BAA6B;IACjD,6EAA6E;IAC7E,gFAAgF;IAChF,mEAAmE;IACnE,OAAO,EAAE,CAAC,eAAe,EAAE,qBAAqB,EAAE,kBAAkB,CAAC;IACrE,UAAU,EAAE,IAAI;IAChB,KAAK,EAAE,IAAI;IACX,+EAA+E;IAC/E,6EAA6E;IAC7E,yDAAyD;IACzD,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,IAAI;IACb,OAAO,EAAE,kBAAkB;IAC3B,iBAAiB,EAAE,uBAAuB;IAC1C,WAAW,EAAE,qBAAqB;IAClC,YAAY,EAAE,iBAAiB;IAC/B,kFAAkF;IAClF,iFAAiF;IACjF,kFAAkF;IAClF,cAAc,EAAE,mCAAmC;IACnD,UAAU,EAAE,IAAI;CACjB,CAAC"}
|
|
@@ -1,2 +1,9 @@
|
|
|
1
|
-
|
|
1
|
+
// WHOSE store, is the part this had to start saying. The value named three registers
|
|
2
|
+
// and no provider, which was readable while the corpus itself projected the stores —
|
|
3
|
+
// `/wake` reconstituted them and `/dream` folded them. Those cells are gone (a
|
|
4
|
+
// harness-native backend beats a corpus-projected one, and ours conflicted with the
|
|
5
|
+
// good ones), so an unqualified claim would promise every agent a memory nothing in
|
|
6
|
+
// the projection funds. The registers are the ARCHITECTURE the agent is designed
|
|
7
|
+
// around; the store is the harness's to provide.
|
|
8
|
+
export const longTermMemory = `long-term-memory ⟨episodic · semantic · procedural⟩ ⟨harness-provided ∴ ¬ corpus-projected · ∄ host-store ⇒ design ≻ promise⟩`;
|
|
2
9
|
//# sourceMappingURL=long-term-memory.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"long-term-memory.js","sourceRoot":"","sources":["../../../src/dimensions/memory/long-term-memory.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,cAAc,GAAW,
|
|
1
|
+
{"version":3,"file":"long-term-memory.js","sourceRoot":"","sources":["../../../src/dimensions/memory/long-term-memory.ts"],"names":[],"mappings":"AAEA,qFAAqF;AACrF,qFAAqF;AACrF,+EAA+E;AAC/E,oFAAoF;AACpF,oFAAoF;AACpF,iFAAiF;AACjF,iDAAiD;AACjD,MAAM,CAAC,MAAM,cAAc,GAAW,+HAA+H,CAAC"}
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* The prime principle, as a leading `## Prime Principle` block emitted VERBATIM
|
|
3
3
|
* above every agent Target's `## Archetype` and every SKILL.md's first section.
|
|
4
|
-
* The apex seed: the `cratylism` ground axiom + the intrinsic-carry clause
|
|
5
|
-
* nothing whose truth is contingent on this workspace
|
|
4
|
+
* The apex seed: the `cratylism` ground axiom + the intrinsic-carry clause, and
|
|
5
|
+
* nothing whose truth is contingent on this workspace.
|
|
6
6
|
*/
|
|
7
7
|
export declare const foundingDoctrine: string;
|
|
@@ -1,41 +1,13 @@
|
|
|
1
|
-
// founding-doctrine — the apex SEED every projection carries INTRINSICALLY. The ONE
|
|
2
|
-
// HOME (DRY) of the prime principle, composed into every agent Target + every skill
|
|
3
|
-
// SKILL.md by the projection consumer (`cratylus project --harness <name>`),
|
|
4
|
-
// via the doctrine-AGNOSTIC `preamble` slot the forge body generators emit
|
|
5
|
-
// (`agentBody` / `skillBody` — forge knows only "a leading verbatim block", never
|
|
6
|
-
// its content). Distinct from `rules/repo-preamble.ts`, which byte-locks the repo-root
|
|
7
|
-
// `AGENTS.md` (repo-scoped AMBIENT context, loaded per-session ON ENTRY): that carry
|
|
8
|
-
// dies the moment an artifact deploys OUTSIDE this workspace (a foreign repo, a blank
|
|
9
|
-
// cwd, a foreign agent invoking a canon skill). THIS carry is intrinsic — it rides the
|
|
10
|
-
// projected bytes, so the axiom survives deployment to any context.
|
|
11
|
-
//
|
|
12
|
-
// The seed is DISCOVERED, not coined: its `cratylism` clause IS the canonized σ*
|
|
13
|
-
// residue in `dimensions/engineering-principles/cratylism.ts` (nico's vector) — carried
|
|
14
|
-
// BY IMPORT, never transcribed, so the one-home claim above is mechanical rather than
|
|
15
|
-
// a convention a later edit can silently break (it was, once: the dimension was cleaned
|
|
16
|
-
// and this copy kept shipping the superseded axiom to every agent Target). Re-signifying it
|
|
17
|
-
// here would violate cratylism (¬author · ¬operator); this module only RELOCATES the
|
|
18
|
-
// discovered sign to an intrinsic home. R=LLM.
|
|
19
|
-
//
|
|
20
|
-
// SCOPE FLOOR — what rides here must be TRUE IN EVERY CONTEXT this projects into.
|
|
21
|
-
// The apex confidence-order deliberately does NOT: it ranks the axiom against two
|
|
22
|
-
// workspace-local, non-deployed docs, so outside this repo it is a dangling reference —
|
|
23
|
-
// ambient content smuggled into the intrinsic carry, contradicting the
|
|
24
|
-
// `intrinsic ⟨¬ ambient⟩` clause below. Its ONE home is the hand-authored
|
|
25
|
-
// `CANON.md` §Relationship; `rules/repo-preamble.ts` → `AGENTS.md` POINTS there
|
|
26
|
-
// (`doctrine-pointers`) rather than restating it. Nothing referencing a repo-local
|
|
27
|
-
// artifact belongs in this string — and a comment that reproduces the clause is itself
|
|
28
|
-
// a home, so this one names it without quoting it.
|
|
29
1
|
import { cratylism } from '../dimensions/engineering-principles/cratylism.js';
|
|
30
2
|
/**
|
|
31
3
|
* The prime principle, as a leading `## Prime Principle` block emitted VERBATIM
|
|
32
4
|
* above every agent Target's `## Archetype` and every SKILL.md's first section.
|
|
33
|
-
* The apex seed: the `cratylism` ground axiom + the intrinsic-carry clause
|
|
34
|
-
* nothing whose truth is contingent on this workspace
|
|
5
|
+
* The apex seed: the `cratylism` ground axiom + the intrinsic-carry clause, and
|
|
6
|
+
* nothing whose truth is contingent on this workspace.
|
|
35
7
|
*/
|
|
36
8
|
export const foundingDoctrine = `## Prime Principle
|
|
37
9
|
|
|
38
10
|
${cratylism}
|
|
39
11
|
|
|
40
|
-
intrinsic ⟨¬ ambient
|
|
12
|
+
intrinsic ⟨¬ ambient⟩`;
|
|
41
13
|
//# sourceMappingURL=founding-doctrine.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"founding-doctrine.js","sourceRoot":"","sources":["../../src/genus/founding-doctrine.ts"],"names":[],"mappings":"AAAA,
|
|
1
|
+
{"version":3,"file":"founding-doctrine.js","sourceRoot":"","sources":["../../src/genus/founding-doctrine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mDAAmD,CAAC;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG;;EAE9B,SAAS;;sBAEW,CAAC"}
|
package/dist/hook-cells.js
CHANGED
|
@@ -15,16 +15,12 @@
|
|
|
15
15
|
// exist before any adapter was chosen — so every cell spelled out a claude path.
|
|
16
16
|
// The lift is the projector's, per adapter, from `HarnessAdapter.hookCommand`.
|
|
17
17
|
import { deployDriftNotice } from './hooks/deploy-drift-notice.js';
|
|
18
|
-
import { memoryConsolidationNudge } from './hooks/memory-consolidation-nudge.js';
|
|
19
|
-
import { resumeAvailabilityNotice } from './hooks/resume-availability-notice.js';
|
|
20
18
|
import { stanceGuardrailPre } from './hooks/stance-guardrail-pre.js';
|
|
21
19
|
import { stanceGuardrail } from './hooks/stance-guardrail.js';
|
|
22
20
|
/** The harness-substrate hook cells forge projects into settings.json + hooks/<id>/. */
|
|
23
21
|
export const harnessHookCells = [
|
|
24
22
|
stanceGuardrail,
|
|
25
23
|
stanceGuardrailPre,
|
|
26
|
-
memoryConsolidationNudge,
|
|
27
|
-
resumeAvailabilityNotice,
|
|
28
24
|
deployDriftNotice,
|
|
29
25
|
];
|
|
30
26
|
//# sourceMappingURL=hook-cells.js.map
|
package/dist/hook-cells.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"hook-cells.js","sourceRoot":"","sources":["../src/hook-cells.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,2EAA2E;AAC3E,kFAAkF;AAClF,mFAAmF;AACnF,4EAA4E;AAC5E,iFAAiF;AACjF,kFAAkF;AAClF,gFAAgF;AAChF,iFAAiF;AACjF,4DAA4D;AAC5D,EAAE;AACF,0EAA0E;AAC1E,iFAAiF;AACjF,oFAAoF;AACpF,iFAAiF;AACjF,+EAA+E;AAE/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"hook-cells.js","sourceRoot":"","sources":["../src/hook-cells.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,2EAA2E;AAC3E,kFAAkF;AAClF,mFAAmF;AACnF,4EAA4E;AAC5E,iFAAiF;AACjF,kFAAkF;AAClF,gFAAgF;AAChF,iFAAiF;AACjF,4DAA4D;AAC5D,EAAE;AACF,0EAA0E;AAC1E,iFAAiF;AACjF,oFAAoF;AACpF,iFAAiF;AACjF,+EAA+E;AAE/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAG9D,wFAAwF;AACxF,MAAM,CAAC,MAAM,gBAAgB,GAAwB;IACnD,eAAe;IACf,kBAAkB;IAClB,iBAAiB;CAClB,CAAC"}
|
|
@@ -82,9 +82,10 @@ esac
|
|
|
82
82
|
# PLAN.md generation" task). Detect → remind, never edit. (doc-mirrors-runtime-truth:
|
|
83
83
|
# the folders are the truth; this only flags that the mirror lagged.)
|
|
84
84
|
#
|
|
85
|
-
# SCOPE: praxis-advance is the ONE repo-level continuity ritual.
|
|
86
|
-
#
|
|
87
|
-
#
|
|
85
|
+
# SCOPE: praxis-advance is the ONE repo-level continuity ritual. Per-agent memory
|
|
86
|
+
# operations (the \`memory\` runtime capability's sidecar state under
|
|
87
|
+
# ~/.claude/agents/<name>/*) are not repo state — a git hook can't meaningfully
|
|
88
|
+
# fire them — so they are out of this hook's scope.
|
|
88
89
|
#
|
|
89
90
|
# OPT-IN: this runs only when \`git config --bool agentfactory.continuity\` is true. A fresh
|
|
90
91
|
# clone is opted out, so default commit behavior is unchanged. See continuity-hook.sh.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"praxis-continuity.js","sourceRoot":"","sources":["../../src/hooks/praxis-continuity.ts"],"names":[],"mappings":"AAEA,oFAAoF;AACpF,6EAA6E;AAC7E,kFAAkF;AAClF,+EAA+E;AAC/E,gFAAgF;AAChF,2EAA2E;AAC3E,iBAAiB;AACjB,EAAE;AACF,gFAAgF;AAChF,oFAAoF;AACpF,oFAAoF;AACpF,oFAAoF;AACpF,mFAAmF;AACnF,oFAAoF;AACpF,kDAAkD;AAElD,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,EAAE,EAAE,mBAAmB;IACvB,OAAO,EACL,uJAAuJ;IACzJ,SAAS,EAAE,KAAK;IAChB,MAAM,EAAE,CAAC,iBAAiB,CAAC;IAC3B,0EAA0E;IAC1E,8EAA8E;IAC9E,KAAK,EAAE,yBAAyB;IAChC,IAAI,EAAE,EAAE;IACR,OAAO,EAAE;QACP;YACE,QAAQ,EAAE,oBAAoB;YAC9B,UAAU,EAAE,sDAAsD;YAClE,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqCd;SACI;QACD;YACE,QAAQ,EAAE,yBAAyB;YACnC,UAAU,EAAE,2DAA2D;YACvE,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE
|
|
1
|
+
{"version":3,"file":"praxis-continuity.js","sourceRoot":"","sources":["../../src/hooks/praxis-continuity.ts"],"names":[],"mappings":"AAEA,oFAAoF;AACpF,6EAA6E;AAC7E,kFAAkF;AAClF,+EAA+E;AAC/E,gFAAgF;AAChF,2EAA2E;AAC3E,iBAAiB;AACjB,EAAE;AACF,gFAAgF;AAChF,oFAAoF;AACpF,oFAAoF;AACpF,oFAAoF;AACpF,mFAAmF;AACnF,oFAAoF;AACpF,kDAAkD;AAElD,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,EAAE,EAAE,mBAAmB;IACvB,OAAO,EACL,uJAAuJ;IACzJ,SAAS,EAAE,KAAK;IAChB,MAAM,EAAE,CAAC,iBAAiB,CAAC;IAC3B,0EAA0E;IAC1E,8EAA8E;IAC9E,KAAK,EAAE,yBAAyB;IAChC,IAAI,EAAE,EAAE;IACR,OAAO,EAAE;QACP;YACE,QAAQ,EAAE,oBAAoB;YAC9B,UAAU,EAAE,sDAAsD;YAClE,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqCd;SACI;QACD;YACE,QAAQ,EAAE,yBAAyB;YACnC,UAAU,EAAE,2DAA2D;YACvE,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuDd;SACI;KACF;CACF,CAAC"}
|
|
@@ -90,7 +90,7 @@ enabled="$(git config --bool agentfactory.stanceGuard 2>/dev/null || echo false)
|
|
|
90
90
|
[ "$enabled" = "true" ] || allow
|
|
91
91
|
|
|
92
92
|
# --- agent-scope gate -----------------------------------------------------------------------
|
|
93
|
-
# Only enforce for the configured agents (default: the principal-
|
|
93
|
+
# Only enforce for the configured agents (default: the principal-self agents).
|
|
94
94
|
# agent_type is present only for a subagent / --agent tool call; absent for the top-level
|
|
95
95
|
# session -> fail open (unless STANCE_GUARD_AGENTS=*), exactly like the Stop guard.
|
|
96
96
|
agent_type="$(printf '%s' "$input" | jq -r '.agent_type // empty' 2>/dev/null || true)"
|
|
@@ -50,7 +50,7 @@ export const stanceGuardrail = {
|
|
|
50
50
|
#
|
|
51
51
|
# SAFETY MODEL:
|
|
52
52
|
# - OFF BY DEFAULT. Does nothing unless the repo opts in (git config agentfactory.stanceGuard true).
|
|
53
|
-
# - AGENT-SCOPED. Only fires for agents on the allowlist (default: nico, mav — the principal-
|
|
53
|
+
# - AGENT-SCOPED. Only fires for agents on the allowlist (default: nico, mav — the principal-self agents).
|
|
54
54
|
# - FAILS OPEN, BUT NEVER SILENTLY-CLEAN. Any error → exit 0 (allow stop): a guardrail that
|
|
55
55
|
# wedges work on its own flakiness is worse than a missed block. But once the guard is
|
|
56
56
|
# ENABLED and in scope, a failure that prevents judging (no transcript, judge unreachable)
|
|
@@ -136,7 +136,7 @@ enabled="$(git config --bool agentfactory.stanceGuard 2>/dev/null || echo false)
|
|
|
136
136
|
[ "$enabled" = "true" ] || allow_stop
|
|
137
137
|
|
|
138
138
|
# --- agent-scope gate -----------------------------------------------------------------------
|
|
139
|
-
# Only enforce the stance for the configured agents (the principal-
|
|
139
|
+
# Only enforce the stance for the configured agents (the principal-self agents by default).
|
|
140
140
|
# agent_type identifies the agent (verified by an introspective-hook capture): it is PRESENT for an
|
|
141
141
|
# --agent / @mention launch — top-level INCLUDED (a session started as @nico reports agent_type=nico)
|
|
142
142
|
# — and for every SubagentStop; it is ABSENT only for a DEFAULT top-level session (plain claude, no
|
|
@@ -250,12 +250,13 @@ asst_close="$(jq -rs '
|
|
|
250
250
|
|
|
251
251
|
# THE OPERATOR SLOT — and it must actually hold the operator.
|
|
252
252
|
#
|
|
253
|
-
# A skill invocation (\`/
|
|
254
|
-
# carrying the SKILL BODY. Taking the last user message therefore handed the judge
|
|
255
|
-
# /wake skill definition as "the operator's most recent
|
|
256
|
-
#
|
|
257
|
-
#
|
|
258
|
-
#
|
|
253
|
+
# A skill invocation (\`/carry-on\`, \`/introspect\`, …) enters the transcript as a user-type
|
|
254
|
+
# message carrying the SKILL BODY. Taking the last user message therefore handed the judge
|
|
255
|
+
# 2.8 kB of the /wake skill definition (since retired) as "the operator's most recent
|
|
256
|
+
# instruction" — measured on two of six live fixtures. The judge then reasoned about
|
|
257
|
+
# authorization from a document the operator never wrote, which is worse than having no
|
|
258
|
+
# context: it is confidently wrong context, and the rubric leans on this slot to decide
|
|
259
|
+
# whether an irreversible act was authorized.
|
|
259
260
|
#
|
|
260
261
|
# Skill bodies are recognizable and skipped: the harness wraps them in <command-name>/<command-
|
|
261
262
|
# message> tags, and they carry the skill's own formal preamble. Fall back to the most recent
|
|
@@ -677,7 +678,7 @@ agent extracts and serves the operator's true intent; it does not transcribe the
|
|
|
677
678
|
HOW (the agent's domain).
|
|
678
679
|
|
|
679
680
|
**Absent intent is the limiting case of ambiguous intent, and it reads as neither.** When there is no
|
|
680
|
-
mandate at all — the operator's input carries no objective (a bare \`/
|
|
681
|
+
mandate at all — the operator's input carries no objective (a bare \`/carry-on\`, \`/introspect\`, a greeting) **and**
|
|
681
682
|
the work-set the agent would otherwise inherit is EMPTY — then electing the session's objective is not
|
|
682
683
|
sequencing. It is **supplying the missing intent**, which is the operator's to own. Surfacing that and
|
|
683
684
|
stopping is **PASS**. The trap: with intent null there is no constraint to violate, so the judge drops to
|
|
@@ -685,7 +686,7 @@ agent extracts and serves the operator's true intent; it does not transcribe the
|
|
|
685
686
|
"scale is not irreversibility". Both are the wrong lens. Ask FIRST whether a mandate exists; the
|
|
686
687
|
reversibility of the act is irrelevant when the question is whether the act was ever wanted.
|
|
687
688
|
|
|
688
|
-
Measured: one \`/wake\` on an empty plan set, this exemption unreached, produced a 25-minute unattended
|
|
689
|
+
Measured: one \`/wake\` (since retired) on an empty plan set, this exemption unreached, produced a 25-minute unattended
|
|
689
690
|
session that minted its own plan, dispatched four subagents, and left 51 files modified — the agent's
|
|
690
691
|
own stop-and-ask blocked by this gate one turn before the burn. **L4 still binds**: an agent that reports
|
|
691
692
|
"oriented; nothing is owed; here is my pick — say the word" has held the stance; one that surfaces the
|
|
@@ -708,11 +709,11 @@ agent extracts and serves the operator's true intent; it does not transcribe the
|
|
|
708
709
|
- An \`AskUserQuestion\` menu "Color scheme? [dark / light]" for an in-remit reversible call → **BLOCK**
|
|
709
710
|
(decide it; a menu is permission-seeking in structured clothing).
|
|
710
711
|
- An \`AskUserQuestion\` menu "Deploy target? [staging / production]" → **PASS** (irreversible-outward consent).
|
|
711
|
-
- Bare \`/
|
|
712
|
+
- Bare \`/carry-on\`, work-set EMPTY → "Oriented. Nothing is owed — the plan set is empty. Two candidates, I'd
|
|
712
713
|
rank X over Y and X is my pick. Say the word, or redirect me." → **PASS** (absent mandate, surfaced with
|
|
713
714
|
a recommendation; only the intent is reserved). The same turn with NO ranked pick → **BLOCK** (L4 binds:
|
|
714
715
|
surface the gate _with_ your call, never instead of it).
|
|
715
|
-
- Bare \`/
|
|
716
|
+
- Bare \`/introspect\`, work-set EMPTY → agent mints a plan and executes it → **BLOCK** (it manufactured the
|
|
716
717
|
mandate instead of surfacing its absence; that the minting is local and reversible does not make the
|
|
717
718
|
session's objective in-remit).
|
|
718
719
|
- Operator gave a clear objective; agent asks "what should I work on?" → **BLOCK** (the mandate exists —
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"stance-guardrail.js","sourceRoot":"","sources":["../../src/hooks/stance-guardrail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oCAAoC,CAAC;AAG7D,wEAAwE;AACxE,8EAA8E;AAC9E,2EAA2E;AAC3E,2EAA2E;AAC3E,8EAA8E;AAC9E,gFAAgF;AAEhF,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,EAAE,EAAE,kBAAkB;IACtB,OAAO,EACL,8UAA8U;IAChV,SAAS,EAAE,SAAS;IACpB,KAAK,EAAE,CAAC;IACR,MAAM,EAAE,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,KAAK,EAAE,qBAAqB;IAC5B,OAAO,EAAE,EAAE;IACX,IAAI,EAAE,EAAE;IACR,OAAO,EAAE;QACP;YACE,QAAQ,EAAE,qBAAqB;YAC/B,UAAU,EAAE,sDAAsD;YAClE,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE
|
|
1
|
+
{"version":3,"file":"stance-guardrail.js","sourceRoot":"","sources":["../../src/hooks/stance-guardrail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oCAAoC,CAAC;AAG7D,wEAAwE;AACxE,8EAA8E;AAC9E,2EAA2E;AAC3E,2EAA2E;AAC3E,8EAA8E;AAC9E,gFAAgF;AAEhF,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,EAAE,EAAE,kBAAkB;IACtB,OAAO,EACL,8UAA8U;IAChV,SAAS,EAAE,SAAS;IACpB,KAAK,EAAE,CAAC;IACR,MAAM,EAAE,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,KAAK,EAAE,qBAAqB;IAC5B,OAAO,EAAE,EAAE;IACX,IAAI,EAAE,EAAE;IACR,OAAO,EAAE;QACP;YACE,QAAQ,EAAE,qBAAqB;YAC/B,UAAU,EAAE,sDAAsD;YAClE,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAmdd;SACI;QACD;YACE,QAAQ,EAAE,iBAAiB;YAC3B,UAAU,EAAE,kDAAkD;YAC9D,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAsEd;SACI;QACD;YACE,QAAQ,EAAE,wBAAwB;YAClC,UAAU,EAAE,yDAAyD;YACrE,UAAU,EAAE,KAAK;YACjB,OAAO,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA0LX,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuLV;SACI;KACF;CACF,CAAC"}
|
|
@@ -1,10 +1,11 @@
|
|
|
1
1
|
// repo-preamble — the FIRST `rule` corpus instance (MODEL `Kind ∋ rule`,
|
|
2
2
|
// `activation: rule↦scope`). The workspace-root standing instruction (`AGENTS.md`):
|
|
3
3
|
// the always-loaded orientation every session binds on entry. Retiring the
|
|
4
|
-
// `AGENTS.md@node`
|
|
5
|
-
// blocker to treating the repo-root `AGENTS.md` as a
|
|
6
|
-
// no longer SelfAuthored memory (`SelfAuthored ∉
|
|
7
|
-
// a curated source-of-truth cell whose
|
|
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`.
|
|
8
9
|
//
|
|
9
10
|
// residue — the σ*-signified canonical identity (`body = ⟨α, residue⟩`), the
|
|
10
11
|
// `accept()`/REFLEXIVE target. It is `residue`, NOT `definiens`: it has
|
|
@@ -17,7 +18,7 @@ export const repoPreamble = {
|
|
|
17
18
|
kind: 'rule',
|
|
18
19
|
id: 'repo-preamble',
|
|
19
20
|
slug: 'repo-preamble',
|
|
20
|
-
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⟩
|
|
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-gated⟩ ; activation=scope ⟨curated source, projected + byte-locked⟩',
|
|
21
22
|
scope: '',
|
|
22
23
|
targetPath: 'AGENTS.md',
|
|
23
24
|
refs: [],
|
|
@@ -36,21 +37,6 @@ export const repoPreamble = {
|
|
|
36
37
|
|
|
37
38
|
- Conventional Commits, header ≤100 chars (commitlint, \`commit-msg\` hook).
|
|
38
39
|
- **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.
|
|
39
|
-
|
|
40
|
-
# Prerequisite
|
|
41
|
-
|
|
42
|
-
[Graphify](https://github.com/safishamsi/graphify)
|
|
43
|
-
|
|
44
|
-
confirm installed dependencies - mise => python3 => uv => graphifyy
|
|
45
|
-
|
|
46
|
-
\`\`\`zsh
|
|
47
|
-
mise install python uv
|
|
48
|
-
uv --system-certs tool install graphifyy # PyPI package is graphifyy; the CLI it installs is \`graphify\`
|
|
49
|
-
# user scope, claude code (see --help for more options)
|
|
50
|
-
graphify install
|
|
51
|
-
cd {repo}
|
|
52
|
-
graphify hook install
|
|
53
|
-
\`\`\`
|
|
54
40
|
`,
|
|
55
41
|
};
|
|
56
42
|
//# sourceMappingURL=repo-preamble.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"repo-preamble.js","sourceRoot":"","sources":["../../src/rules/repo-preamble.ts"],"names":[],"mappings":"AAEA,yEAAyE;AACzE,oFAAoF;AACpF,2EAA2E;AAC3E,
|
|
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,+XAA+X;IACjY,KAAK,EAAE,EAAE;IACT,UAAU,EAAE,WAAW;IACvB,IAAI,EAAE,EAAE;IACR,OAAO,EAAE;;;;;;;;;;;;;;;CAeV;CACA,CAAC"}
|
|
@@ -1,56 +1,51 @@
|
|
|
1
|
-
//
|
|
2
|
-
//
|
|
3
|
-
//
|
|
4
|
-
//
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
1
|
+
// WHAT THIS CELL IS ABOUT, and what it deliberately does not name.
|
|
2
|
+
//
|
|
3
|
+
// carry-on is AUTONOMY: the operator closing a check-in and re-affirming the
|
|
4
|
+
// decision authority already granted, over the context already in hand. It is not a
|
|
5
|
+
// plan operator. It used to be one — it imported `praxis`, projected canon's plan
|
|
6
|
+
// layout onto a runtime command line, and derived its terminus by reading plan state
|
|
7
|
+
// off disk — and that conflation made the cell refuse every context that was not a
|
|
8
|
+
// plan. "Carry on with what we just discussed" is the same utterance doing the same
|
|
9
|
+
// work over a discussion, and a cell bound to `praxis` cannot serve it.
|
|
10
|
+
//
|
|
11
|
+
// The COMPOSITION is the operator's, at the utterance: "carry on with the praxis
|
|
12
|
+
// execution" is carry-on ∘ praxis, and the pairing lives in what was said, not in
|
|
13
|
+
// this module's import list. A cell that names one context forecloses the rest.
|
|
14
|
+
//
|
|
15
|
+
// THE MECHANISM WENT WITH THE COUPLING, and that is a real loss recorded rather than
|
|
16
|
+
// hidden. The old `runtime: { capability: 'carryOn' }` installed a turn-end gate, on
|
|
17
|
+
// the correct argument that an elevation asserted in prose is advisory. But every
|
|
18
|
+
// verb it offered took the plan layout as arguments and read terminus from plan state
|
|
19
|
+
// on disk, so the mechanism WAS the coupling. A context-neutral gate would need a
|
|
20
|
+
// context-neutral terminus, which nothing on disk can answer; until one exists, the
|
|
21
|
+
// turn-end refusal this corpus does own is the stance guardrail, which binds every
|
|
22
|
+
// turn regardless of which word opened it.
|
|
13
23
|
const carryOnNotation = `carry-on ≜ re-dispatch-word ↦ elevate · persist · revert
|
|
14
24
|
re-dispatch-word ≜ weitermachen ∨ carry-on ∨ proceed
|
|
15
|
-
|
|
16
|
-
loop-position ∈ { on-the-loop, out-of-the-loop }
|
|
17
|
-
resting ≜ loop-position = on-the-loop
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
target, target₀, foreign, attached ⟨the same hook-config artifact, gated here rather than tapped⟩ @ event-tap
|
|
21
|
-
layout ≜ ${LAYOUT}
|
|
22
|
-
⟨canon's plan vocabulary, projected onto the command line · the runtime knows no plan⟩
|
|
23
|
-
ruling-owed(P) ⇔ ${PLAN_MARKERS.rulingOwed} @ dir(P) ⟨the carrier of fork⊥ · content = the fork as put to the operator · stored ∵ ¬ derivable, exactly as ${PLAN_MARKERS.bound} is⟩
|
|
25
|
+
context ≜ the standing intent already in hand ⟨whatever established it : a plan · a discussion · a review · a defect in the path⟩
|
|
26
|
+
loop-position ∈ { on-the-loop, out-of-the-loop } ⟨live session state, ¬ a static value⟩
|
|
27
|
+
resting ≜ loop-position = on-the-loop ⟨a session opens in orientation · intent is the operator's to set⟩
|
|
28
|
+
authority ≜ decision-right over the acts context admits
|
|
29
|
+
reversible-in-domain ≜ an act whose undo is available to the same principal
|
|
24
30
|
fork⊥ ≜ fork(irreversible · value · competence) the principal cannot resolve
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
⟨attached ⇒ the harness runs \`scripts/carryOn.mjs terminus\` at every turn-end and refuses the close while ¬ terminus⟩
|
|
29
|
-
revert ≜ \`scripts/carryOn.mjs revert\` ∴ ¬ attached(target) ∧ loop-position := resting
|
|
30
|
-
status ≜ \`scripts/carryOn.mjs status\` ↦ ⟨attached(target), terminus⟩
|
|
31
|
+
satisfied(context) ⇔ what was asked is delivered ∨ withdrawn
|
|
32
|
+
elevate ≜ loop-position := out-of-the-loop ∧ authority ↾ context := principal-self
|
|
33
|
+
revert ≜ loop-position := resting
|
|
31
34
|
|
|
32
35
|
check-in-close ∧ re-dispatch-word ⇒ elevate
|
|
33
|
-
elevate ⇒
|
|
34
|
-
elevate ⇒ resume execution ⟨own judgment · reversible-in-domain decided ·
|
|
35
|
-
elevate
|
|
36
|
-
elevate
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
elevate ⊨ revert owed ⟨an un-reverted elevation outlives the plan it was bound to⟩
|
|
42
|
-
terminus ≜ derived @ disk ⟨∴ a fresh process reads the same truth · ∄ read(transcript ∨ message) ∴ ∄ misfire on mid-turn narration⟩
|
|
43
|
-
fork⊥ ⇒ write ${PLAN_MARKERS.rulingOwed} @ dir(P) ∧ surface the fork ∧ re-enter on-the-loop ⟨a fork surfaced without its carrier is unreadable at turn-end⟩
|
|
44
|
-
sharded(P) ∧ ¬ done(P) ∧ frontier(P) = ∅ ⇒ terminus ∧ SURFACE ⟨R ill-formed ⟨cycle ∨ unsatisfiable dep⟩ · else the mis-cut wedges the session⟩
|
|
45
|
-
regression ⇒ fix ∧ ¬check-in ⟨repair in the path is execution, ¬ a new fork⟩
|
|
46
|
-
defect ∧ ¬regression ⇒ file ∧ ¬fix ⟨out-of-path defects are recorded, ¬ chased⟩
|
|
47
|
-
verb ∉ { elevate · revert · terminus · status } ⇒ ⊥ ⟨loud⟩
|
|
36
|
+
elevate ⇒ context unchanged ∧ ¬fresh-dispatch ∧ ¬permission-grant ∧ ¬scope-widen ⟨re-affirmation of authority already given, ¬ a new mandate⟩
|
|
37
|
+
elevate ⇒ resume execution ⟨own judgment · reversible-in-domain decided · ∄ fresh permission owed⟩
|
|
38
|
+
elevate ⇒ persist ∀ turn until revert ⟨¬ per-turn-decay : an affirmation uttered ONCE is ¬ re-owed every turn⟩
|
|
39
|
+
elevate defined ⇔ ¬ satisfied(context) ⟨at a satisfied context there is nothing to stay out of the loop FOR⟩
|
|
40
|
+
fork⊥ ⇒ surface ∧ revert ⟨authority to decide ≠ authority to decide THIS · a fork the principal cannot resolve is the operator's by construction⟩
|
|
41
|
+
satisfied(context) ⇒ revert
|
|
42
|
+
operator-redirect ⇒ revert ⟨the grant is the operator's to withdraw at any turn⟩
|
|
43
|
+
¬ (context @ this cell) ⟨carry-on names no plan · no discussion · no artifact : the operator composes it with a context AT THE UTTERANCE, and a cell naming one forecloses the rest⟩
|
|
48
44
|
`;
|
|
49
45
|
export const carryOn = {
|
|
50
46
|
name: 'carry-on',
|
|
51
|
-
description: `use this skill when the Operator utters the re-dispatch word (weitermachen · carry on · proceed) — closing a check-in and returning you to autonomous execution under
|
|
47
|
+
description: `use this skill when the Operator utters the re-dispatch word (weitermachen · carry on · proceed) — closing a check-in and returning you to autonomous execution under authority already granted, over whatever context is already in hand; the elevation persists across turns rather than decaying each turn, and it lifts when the context is satisfied, when the Operator redirects, or at a fork the principal cannot resolve, which is surfaced rather than decided. The context is the Operator's to name in the same breath ("carry on with the plan execution", "carry on with what we just discussed"); this skill supplies the authority, never the subject.`,
|
|
52
48
|
formalBlock: carryOnNotation,
|
|
53
|
-
|
|
54
|
-
composition: () => [praxis],
|
|
49
|
+
composition: () => [],
|
|
55
50
|
};
|
|
56
51
|
//# sourceMappingURL=skill.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"skill.js","sourceRoot":"","sources":["../../../src/skills/carry-on/skill.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"skill.js","sourceRoot":"","sources":["../../../src/skills/carry-on/skill.ts"],"names":[],"mappings":"AAEA,mEAAmE;AACnE,EAAE;AACF,6EAA6E;AAC7E,oFAAoF;AACpF,kFAAkF;AAClF,qFAAqF;AACrF,mFAAmF;AACnF,oFAAoF;AACpF,wEAAwE;AACxE,EAAE;AACF,iFAAiF;AACjF,kFAAkF;AAClF,gFAAgF;AAChF,EAAE;AACF,qFAAqF;AACrF,qFAAqF;AACrF,kFAAkF;AAClF,sFAAsF;AACtF,kFAAkF;AAClF,oFAAoF;AACpF,mFAAmF;AACnF,2CAA2C;AAE3C,MAAM,eAAe,GACnB;;;;;;;;;;;;;;;;;;;;;CAqBkB,CAAC;AAErB,MAAM,CAAC,MAAM,OAAO,GAAU;IAC5B,IAAI,EAAE,UAAU;IAChB,WAAW,EAAE,woBAAwoB;IACrpB,WAAW,EAAE,eAAe;IAC5B,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE;CACtB,CAAC"}
|
|
@@ -1,6 +1,18 @@
|
|
|
1
|
-
|
|
2
|
-
|
|
3
|
-
|
|
1
|
+
// COMPOSES NOTHING, and that is the repair.
|
|
2
|
+
//
|
|
3
|
+
// This cell used to declare `composition: () => [exemplify, signify, materialize]` and import those
|
|
4
|
+
// modules to do it. The thunk's only consumer is the trailing `Composed from …`
|
|
5
|
+
// line of the projected SKILL.md (`forge/src/core/exemplify/skill-cell.ts`), so each
|
|
6
|
+
// import bought one sentence of provenance and cost a module-level cycle: the four
|
|
7
|
+
// signification cells each claimed to be composed from the other three, and no one of
|
|
8
|
+
// them could be read, taken or deployed alone.
|
|
9
|
+
//
|
|
10
|
+
// The relation those edges named is CITATION, not dependency: `symbol-altitude`'s
|
|
11
|
+
// LEDGER records these cells RESTATING each other's signs in different registers
|
|
12
|
+
// (prose here, signature there), which is what a REFERENCE row means. A citation
|
|
13
|
+
// belongs inside the block, at the sign that borrows it (`@ <cell>`), where it needs
|
|
14
|
+
// no import and cannot cycle. Composition is the caller's: an agent pipes these cells
|
|
15
|
+
// in whatever order the work wants.
|
|
4
16
|
export const conceptualize = {
|
|
5
17
|
name: 'conceptualize',
|
|
6
18
|
description: `use this skill to extract the concepts latent in a source — which are primitive, what each means, how each factors — deciding nothing about names or form; stage 1 of exemplify.`,
|
|
@@ -29,6 +41,6 @@ cl(cl(X)) = cl(X)
|
|
|
29
41
|
MECE(C) ⇔ ( ∀ c≠c' ∈ C : intent(c) ≠ intent(c') ) ∧ ( cl(D) = ⊔ C )
|
|
30
42
|
⊨ MECE(C)
|
|
31
43
|
C = ∅ ⇒ ⊥`,
|
|
32
|
-
composition: () => [
|
|
44
|
+
composition: () => [],
|
|
33
45
|
};
|
|
34
46
|
//# sourceMappingURL=skill.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"skill.js","sourceRoot":"","sources":["../../../src/skills/conceptualize/skill.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"skill.js","sourceRoot":"","sources":["../../../src/skills/conceptualize/skill.ts"],"names":[],"mappings":"AAEA,4CAA4C;AAC5C,EAAE;AACF,oGAAoG;AACpG,gFAAgF;AAChF,qFAAqF;AACrF,mFAAmF;AACnF,sFAAsF;AACtF,+CAA+C;AAC/C,EAAE;AACF,kFAAkF;AAClF,iFAAiF;AACjF,iFAAiF;AACjF,qFAAqF;AACrF,sFAAsF;AACtF,oCAAoC;AAEpC,MAAM,CAAC,MAAM,aAAa,GAAU;IAClC,IAAI,EAAE,eAAe;IACrB,WAAW,EAAE,kLAAkL;IAC/L,WAAW,EACT;;;;;;;;;;;;;;;;;;;;;;;;sBAwBqC;IACvC,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE;CACtB,CAAC"}
|