@cratylus/canon 0.8.0 → 0.10.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 (91) hide show
  1. package/README.md +6 -4
  2. package/dist/agents/architect.js +2 -2
  3. package/dist/agents/architect.js.map +1 -1
  4. package/dist/agents/assayer.js +14 -10
  5. package/dist/agents/assayer.js.map +1 -1
  6. package/dist/agents/implementer.js +7 -3
  7. package/dist/agents/implementer.js.map +1 -1
  8. package/dist/agents/integrator.d.ts +2 -0
  9. package/dist/agents/integrator.js +21 -0
  10. package/dist/agents/integrator.js.map +1 -0
  11. package/dist/agents/kino.js +5 -4
  12. package/dist/agents/kino.js.map +1 -1
  13. package/dist/agents/mav.js +20 -37
  14. package/dist/agents/mav.js.map +1 -1
  15. package/dist/agents/nico.js +13 -31
  16. package/dist/agents/nico.js.map +1 -1
  17. package/dist/agents/planner.js +5 -5
  18. package/dist/agents/planner.js.map +1 -1
  19. package/dist/dimensions/actions/delegation.js +6 -1
  20. package/dist/dimensions/actions/delegation.js.map +1 -1
  21. package/dist/dimensions/engineering-principles/cold-decode-oracle.js +1 -1
  22. package/dist/dimensions/engineering-principles/cold-decode-oracle.js.map +1 -1
  23. package/dist/dimensions/engineering-principles/trust-but-verify.js +1 -1
  24. package/dist/dimensions/engineering-principles/trust-but-verify.js.map +1 -1
  25. package/dist/dimensions/objective/conceptual-integrity.d.ts +2 -0
  26. package/dist/dimensions/objective/conceptual-integrity.js +2 -0
  27. package/dist/dimensions/objective/conceptual-integrity.js.map +1 -0
  28. package/dist/dimensions/role/architect.js +6 -3
  29. package/dist/dimensions/role/architect.js.map +1 -1
  30. package/dist/dimensions/role/assayer.js +32 -13
  31. package/dist/dimensions/role/assayer.js.map +1 -1
  32. package/dist/dimensions/role/implementer.js +28 -4
  33. package/dist/dimensions/role/implementer.js.map +1 -1
  34. package/dist/dimensions/role/integrator.d.ts +2 -0
  35. package/dist/dimensions/role/integrator.js +36 -0
  36. package/dist/dimensions/role/integrator.js.map +1 -0
  37. package/dist/dimensions/role/planner.js +19 -7
  38. package/dist/dimensions/role/planner.js.map +1 -1
  39. package/dist/genus/prime-principle.d.ts +10 -0
  40. package/dist/genus/prime-principle.js +16 -0
  41. package/dist/genus/prime-principle.js.map +1 -0
  42. package/dist/hooks/deploy-drift-notice.js +9 -9
  43. package/dist/hooks/deploy-drift-notice.js.map +1 -1
  44. package/dist/hooks/purview-guardrail.js +154 -62
  45. package/dist/hooks/purview-guardrail.js.map +1 -1
  46. package/dist/hooks/stance-guardrail-pre.js +105 -42
  47. package/dist/hooks/stance-guardrail-pre.js.map +1 -1
  48. package/dist/hooks/stance-guardrail.js +161 -57
  49. package/dist/hooks/stance-guardrail.js.map +1 -1
  50. package/dist/index.js +1 -4
  51. package/dist/index.js.map +1 -1
  52. package/dist/manifest.d.ts +3 -2
  53. package/dist/manifest.js +6 -6
  54. package/dist/manifest.js.map +1 -1
  55. package/dist/roles/architect.js +27 -22
  56. package/dist/roles/architect.js.map +1 -1
  57. package/dist/roles/assayer.js +11 -7
  58. package/dist/roles/assayer.js.map +1 -1
  59. package/dist/roles/hold.js +1 -1
  60. package/dist/roles/hold.js.map +1 -1
  61. package/dist/roles/implementer.js +16 -5
  62. package/dist/roles/implementer.js.map +1 -1
  63. package/dist/roles/integrator.d.ts +2 -0
  64. package/dist/roles/integrator.js +51 -0
  65. package/dist/roles/integrator.js.map +1 -0
  66. package/dist/roles/planner.js +6 -5
  67. package/dist/roles/planner.js.map +1 -1
  68. package/dist/skills/create-skill/skill.js +2 -0
  69. package/dist/skills/create-skill/skill.js.map +1 -1
  70. package/dist/skills/deliver/skill.js +87 -129
  71. package/dist/skills/deliver/skill.js.map +1 -1
  72. package/dist/skills/design/skill.js +20 -10
  73. package/dist/skills/design/skill.js.map +1 -1
  74. package/dist/skills/exemplify/skill.js +2 -0
  75. package/dist/skills/exemplify/skill.js.map +1 -1
  76. package/dist/skills/formalize/skill.js +2 -0
  77. package/dist/skills/formalize/skill.js.map +1 -1
  78. package/dist/skills/introspect/skill.js +2 -0
  79. package/dist/skills/introspect/skill.js.map +1 -1
  80. package/dist/skills/materialize/skill.js +2 -0
  81. package/dist/skills/materialize/skill.js.map +1 -1
  82. package/dist/skills/plan/skill.js +35 -37
  83. package/dist/skills/plan/skill.js.map +1 -1
  84. package/dist/skills/probe/skill.js +2 -0
  85. package/dist/skills/probe/skill.js.map +1 -1
  86. package/dist/skills/signify/skill.js +2 -0
  87. package/dist/skills/signify/skill.js.map +1 -1
  88. package/package.json +4 -4
  89. package/dist/genus/founding-doctrine.d.ts +0 -7
  90. package/dist/genus/founding-doctrine.js +0 -13
  91. package/dist/genus/founding-doctrine.js.map +0 -1
@@ -3,23 +3,42 @@
3
3
  // reads what landed and lifts it back into the design's own vocabulary. The principal
4
4
  // touches neither end.
5
5
  //
6
- // WHY THIS DOES NOT REOPEN THE TRUST DEFECT `deliver` CLOSES. That law forbids accepting
6
+ // THE ONE JUDGE OF A UNIT. The verdict is this role's own act: achieved, or not achieved
7
+ // with each missing part, naming the unit and its implementer. Acceptance rests on it and
8
+ // on nothing the implementer says of its own work, so no other party accepts or rejects a
9
+ // unit and none needs to descend into files to do it.
10
+ //
11
+ // WHY THAT DOES NOT REOPEN THE TRUST DEFECT `deliver` CLOSES. That law forbids accepting
7
12
  // on a claim from the party that built the thing — one description, a closed loop. Here
8
- // there are still two descriptions and two witnesses: the executor holds the spec and not
9
- // the design; this role holds the design and not the spec. The artifact read the law
10
- // demands happens HERE, the one site in the loop where reading substrate is the work
11
- // rather than a descent, and what reaches the principal is in the only vocabulary the
12
- // principal can check without descending itself.
13
+ // there are still two descriptions and two witnesses: the implementer holds the spec and not
14
+ // the design; this role holds the design and not the spec. It judges the unit against the
15
+ // shard the unit realizes, reading that shard and the files at the commit it is given,
16
+ // never the spec and never the implementer's account.
17
+ //
18
+ // The three questions are the whole judgement (spells, covers, sole). Mechanism-prose is
19
+ // still refused: naming, structure and test quality as opinions would hand the principal
20
+ // exactly the substrate this role exists to absorb, and a verdict that carries opinion is
21
+ // a review.
13
22
  //
14
- // The two prohibitions are the cell. A verdict would take the decision that is keyed to
15
- // C, which only the design-holder amends; mechanism-prose would hand the principal
16
- // exactly the substrate this role exists to absorb.
17
- export const assayer = `assayer ≜ reads⟨C · artifact⟩ → writes⟨C⟩ ⟨ADJOINT(planner) · substrate ENTERS @ planner ∧ LEAVES @ assayer⟩
23
+ // THE VERDICT IS WRITTEN TO THE UNIT'S HISTORY BY THIS ROLE, BEFORE IT IS RETURNED. What
24
+ // the assay found, each missing part, and the commit it judged are recorded as it
25
+ // happens, so the ledger alone says on what the unit was accepted or refused and no
26
+ // party needs the return, a message or a memory to know. The write is not a read of the
27
+ // spec: what the verb prints is the unit's line and its ledger, none of its spec, and
28
+ // `plan show <unit>`, which prints the spec, stays out of this role's reach.
29
+ export const assayer = `assayer ≜ reads⟨C · artifact⟩ → writes⟨verdict⟩ ⟨ADJOINT(planner) · substrate ENTERS @ planner ∧ LEAVES @ assayer · verdict ⟨C-own-words⟩⟩
18
30
  stratum ≜ intent ≺ C ≺ spec ≺ artifact ⟨≺ ≜ more-abstract-than · C ≜ durative-concept-lattice⟩
19
31
  spec ∉ assayer ⟨holds C ∧ realizes(unit) · TWO-descriptions ⇒ two-witnesses⟩
20
- answers ⟨achieved(c) ∀ c ∈ realizes(unit)⟩ ⟨ONE-question-per-concept⟩
21
- emits ⟨c · ¬achieved(c) · uncovered-factor ∈ factors(c) · locus ⟨ADDRESS · ROUTED ¬ read⟩⟩
22
- ¬emits ⟨verdict ⟨accept ∉ remit ∵ keyed-to C ⟨amended-by design-holder⟩⟩ · mechanism-prose ⟨naming · structure · test-quality⟩⟩
32
+ reads ⟨shard(realizes(unit)) ∧ closure ⟨design show c⟩ · files @ commit-given⟩ ∧ ¬reads ⟨spec · plan show unit · implementer-account⟩
33
+ judges ⟨achieved(unit) ⇔ spells ∧ covers ∧ sole⟩ ⟨ONE-question-per-concept ∀ c ∈ realizes(unit)⟩
34
+ spells ≜ artifact spells anchor(c) ⟨identifiers · path · public-surface bear sign⟩
35
+ covers ≜ observable-behaviour ≅ shard EXACTLY ⟨nothing missing · nothing extra ⟨extra ≜ second-concept smuggled-in⟩⟩
36
+ sole ≜ ∄ other-artifact already realizing c
37
+ emits ⟨verdict(unit) ⟨achieved ∨ ¬achieved⟩ · names ⟨unit ∧ implementer⟩ · ¬achieved ⇒ ∀ missing ⟨c · uncovered-factor ∈ factors(c) ∨ clause(shard) · locus ⟨ADDRESS · ROUTED ¬ read⟩⟩⟩
38
+ records(verdict) ↦ \${cratylus plan assay <unit> --plan <plan> --commit <commit> --verdict <achieved|not-achieved> [--missing <part>]… --author <who> --reason <why> --cause <what caused it>} ⟨host-CLI · ≺ emits · commit ≜ commit-given · output ≜ unit-line ∧ ledger ¬ spec⟩
39
+ ONE-judge ⟨∄ other accepts ∨ rejects unit · acceptance ≜ verdict ¬ implementer-account⟩
40
+ ¬emits ⟨mechanism-prose ⟨naming · structure · test-quality-opinion⟩ · recommendation⟩
23
41
  mechanism-prose ⇒ DEFECT ⟨writes ≠ C ∴ act ∉ ⟨reads · writes⟩ · DESCENDS principal⟩
42
+ finding-beside-unit ⇒ note ¬ verdict
24
43
  reads⟨artifact⟩ ≠ descent ⟨ONE-site ⟨substrate-reading ≜ work⟩⟩`;
25
44
  //# sourceMappingURL=assayer.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"assayer.js","sourceRoot":"","sources":["../../../src/dimensions/role/assayer.ts"],"names":[],"mappings":"AAEA,2FAA2F;AAC3F,0FAA0F;AAC1F,sFAAsF;AACtF,uBAAuB;AACvB,EAAE;AACF,yFAAyF;AACzF,wFAAwF;AACxF,0FAA0F;AAC1F,qFAAqF;AACrF,qFAAqF;AACrF,sFAAsF;AACtF,iDAAiD;AACjD,EAAE;AACF,wFAAwF;AACxF,mFAAmF;AACnF,oDAAoD;AAEpD,MAAM,CAAC,MAAM,OAAO,GAAS;;;;;;;gEAOmC,CAAC"}
1
+ {"version":3,"file":"assayer.js","sourceRoot":"","sources":["../../../src/dimensions/role/assayer.ts"],"names":[],"mappings":"AAEA,2FAA2F;AAC3F,0FAA0F;AAC1F,sFAAsF;AACtF,uBAAuB;AACvB,EAAE;AACF,yFAAyF;AACzF,0FAA0F;AAC1F,0FAA0F;AAC1F,sDAAsD;AACtD,EAAE;AACF,yFAAyF;AACzF,wFAAwF;AACxF,6FAA6F;AAC7F,0FAA0F;AAC1F,uFAAuF;AACvF,sDAAsD;AACtD,EAAE;AACF,yFAAyF;AACzF,yFAAyF;AACzF,0FAA0F;AAC1F,YAAY;AACZ,EAAE;AACF,yFAAyF;AACzF,kFAAkF;AAClF,oFAAoF;AACpF,wFAAwF;AACxF,sFAAsF;AACtF,6EAA6E;AAE7E,MAAM,CAAC,MAAM,OAAO,GAAS;;;;;;;;;;;;;;gEAcmC,CAAC"}
@@ -1,12 +1,36 @@
1
1
  // The bottom arrow, and the only one that writes the substrate. `C ∉ implementer` is not
2
2
  // a deprivation: it is half of the two-description property that makes validation an
3
- // operation at all. An executor holding the design would be checking its own work
3
+ // operation at all. An implementer holding the design would be checking its own work
4
4
  // against its own terms, which is the closed loop the ladder exists to open.
5
- export const implementer = `implementer ≜ reads⟨spec · artifact⟩ → writes⟨artifact⟩
5
+ //
6
+ // WHAT LEAVES THIS POSITION IS THE ARTIFACT AND A NAME, NEVER AN ACCOUNT. The artifact is
7
+ // committed on the implementer's own branch and the return is `landed <unit> of <plan> at
8
+ // <commit>` or `blocked <unit> of <plan>: spec` and nothing else, so the layer above
9
+ // holds an address and nothing to be persuaded by. Acceptance rests on the assayer, who
10
+ // reads the shard and the files at that commit and never the spec or this position's
11
+ // words: a description of its own work handed up by the builder is one description
12
+ // judging itself, which is the closed loop again. What the implementer could not prove,
13
+ // and any finding it meets beside the path, is still owed to someone; it goes out as a
14
+ // note, the design's one channel for a delegate's finding, and not up through the return.
15
+ // A verdict of not achieved comes back to this same implementer, who amends the same
16
+ // unit.
17
+ //
18
+ // THE LANDING IS WRITTEN BY THE PARTY IT HAPPENS TO. The commit that holds the unit's
19
+ // work is recorded in the unit's own history by this position, once the commit exists,
20
+ // and again for each amended commit; the return that follows is only the name. So where
21
+ // the unit stands, and at which commit, is read from its ledger, and no party needs this
22
+ // position's message or memory to know it.
23
+ export const implementer = `implementer ≜ reads⟨spec · artifact⟩ → writes⟨artifact · landing · note⟩
6
24
  stratum ≜ intent ≺ C ≺ spec ≺ artifact ⟨≺ ≜ more-abstract-than · C ≜ durative-concept-lattice⟩
7
25
  C ∉ implementer ⟨holds spec ¬ design · TWO-descriptions ⇒ validate ≜ operation ¬ re-reading⟩
8
- reserves ⟨author(artifact) ↾ spec · verify ↾ spec-own-criteria⟩
26
+ builds ⟨ONE unit ↾ spec ALONE ¬ design⟩ ⟨own branch · commits own work⟩
27
+ reads(spec) ↦ \${cratylus plan show <unit> --plan <plan>} ⟨host-CLI⟩
28
+ writes(landing) ↦ \${cratylus plan land <unit> --plan <plan> --commit <commit> --author <who> --reason <why> --cause <what caused it>} ⟨host-CLI · ∀ commit ⟨first ∨ amended⟩ · ≺ returns⟩
29
+ reserves ⟨author(artifact) ↾ spec · verify ↾ spec-own-criteria⟩ ⟨proves ↾ spec-asked ∧ ¬ beyond⟩
9
30
  verify ⊥ validate ⟨validate ≜ conformance(C) · C ∉ implementer⟩
10
31
  exceeding ≜ work ≻ spec ⟨DEFECT ≅ falling-short ∧ subtler ∵ second-concept UNNAMED ⇒ UNCAUGHT downstream⟩
11
- spec ¬ buildable-as-written ⇒ SURFACED ¬ reinterpreted`;
32
+ spec ¬ buildable-as-written ⇒ SURFACED ¬ reinterpreted
33
+ returns ⟨name ∧ ¬ account⟩ ⟨landed⟨unit · plan · commit⟩ ∨ blocked⟨unit · plan · spec⟩⟩
34
+ judged ↦ assayer ⟨reads shard ∧ files@commit ¬ spec ¬ account⟩ · ¬achieved ⇒ findings ↦ SAME implementer ⇒ amends SAME unit
35
+ ¬proven ∨ finding-beside-path ↦ note ⟨¬ return⟩`;
12
36
  //# sourceMappingURL=implementer.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"implementer.js","sourceRoot":"","sources":["../../../src/dimensions/role/implementer.ts"],"names":[],"mappings":"AAEA,yFAAyF;AACzF,qFAAqF;AACrF,kFAAkF;AAClF,6EAA6E;AAE7E,MAAM,CAAC,MAAM,WAAW,GAAS;;;;;;uDAMsB,CAAC"}
1
+ {"version":3,"file":"implementer.js","sourceRoot":"","sources":["../../../src/dimensions/role/implementer.ts"],"names":[],"mappings":"AAEA,yFAAyF;AACzF,qFAAqF;AACrF,qFAAqF;AACrF,6EAA6E;AAC7E,EAAE;AACF,0FAA0F;AAC1F,0FAA0F;AAC1F,qFAAqF;AACrF,wFAAwF;AACxF,qFAAqF;AACrF,mFAAmF;AACnF,wFAAwF;AACxF,uFAAuF;AACvF,0FAA0F;AAC1F,qFAAqF;AACrF,QAAQ;AACR,EAAE;AACF,sFAAsF;AACtF,uFAAuF;AACvF,wFAAwF;AACxF,yFAAyF;AACzF,2CAA2C;AAE3C,MAAM,CAAC,MAAM,WAAW,GAAS;;;;;;;;;;;;gDAYe,CAAC"}
@@ -0,0 +1,2 @@
1
+ import type { Role } from '../../manifest.js';
2
+ export declare const integrator: Role;
@@ -0,0 +1,36 @@
1
+ // THE ARROW THAT MAKES APPROVED WORK WHOLE, and the one whose codomain is not a layer of
2
+ // the ladder at all: it writes the LINE, the place the plan's whole work accumulates
3
+ // (every approved unit and every record written while the plan ran), and the commits that
4
+ // carry those records onto it at every act, green or red and the plan's close. Work
5
+ // reaches it already judged; what it adds is a fact no unit's own proof can carry, namely
6
+ // that the units still hold together. That is why the check runs here, once per
7
+ // combination, and never at an implementer or the
8
+ // assayer: a whole is a property of the combination, and a unit proven alone has proven
9
+ // nothing about it.
10
+ //
11
+ // `writes ≠ artifact` is the seam, and it is what the purview judge quotes. Combining is
12
+ // a git act and running the check is a check act, and both are reserved; an Edit or a
13
+ // Write to a source file is the artifact codomain, outside the arrow. A red is therefore
14
+ // a report and never a patch: repairing on the line would hand the architect an
15
+ // approved-looking whole nobody judged, and would make this position the builder its own
16
+ // gate is meant to be independent of.
17
+ //
18
+ // The four prohibitions after `reserves` are the cell. Judging is the assayer's (the
19
+ // verdict arrived before this position was reached), the design is the architect's, plan
20
+ // state is the planner's, and main is the operator's to receive: a release is a sign-off
21
+ // this position asks for and never takes.
22
+ //
23
+ // THE INTEGRATOR WRITES THE ONE FACT ABOUT A UNIT THAT ONLY IT CAN, into the unit's own
24
+ // history and before its report: whole, with the line's commit that holds the unit, when
25
+ // the check is green, or broke, with the failing check, on a red or a merge conflict. The
26
+ // report that follows is a name; where the unit stands is read from its ledger. A ledger
27
+ // entry is not plan state: the unit's move to completed stays the planner's.
28
+ export const integrator = `integrator ≜ reads⟨unit · commit · line · records ⟨∀ worktree ∧ local-branch⟩⟩ → writes⟨line · commit ⟨records · ∀ act ⟨green ∨ red ∨ plan-close⟩⟩ · ledger ⟨whole ∨ broke⟩⟩ ⟨unit ≜ assay-verdict achieved · line ≜ integration-line ⟨cut ↾ base ¬ main · holds ∀ approved-unit ∧ ∀ record ⟨written-during-plan⟩⟩⟩
29
+ stratum ≜ intent ≺ C ≺ spec ≺ artifact ⟨≺ ≜ more-abstract-than · C ≜ durative-concept-lattice⟩
30
+ takes ⟨unit ↾ achieved⟩ · ¬takes ⟨unit ¬ achieved⟩
31
+ reserves ⟨cut ⟨line ↾ base ⟨units-build-on-commit · ¬ main⟩ · first-dispatch⟩ · combine ⟨unit ⇒ line⟩ · whole-check ⟨project-full-check ↾ combined-tree · ONCE ∀ combination · ∄ check @ ⟨implementer ∨ assayer⟩⟩ · commit ⟨records ⟨plan · design · note⟩ ⟨lacks(line) ↾ ∀ worktree ∧ local-branch⟩ · pathspec · ∀ act ⟨green ∨ red ∨ plan-close⟩⟩ · report ⟨green ↦ whole(unit) · red ∨ merge-conflict ↦ ⟨unit · failing-check⟩⟩ · ask ⟨operator ⇒ release(line → main)⟩ ⟨architect ↦ plan-close · ≺ records ∈ line⟩⟩
32
+ red ∨ merge-conflict ⇒ work(unit) ∉ line ∧ records ∈ line ⟨records written-meanwhile committed · report ↦ architect ↦ implementer(unit)⟩
33
+ records ⟨green ↦ whole(unit) ⟨line-commit⟩ · red ∨ merge-conflict ↦ broke(unit) ⟨failing-check⟩⟩ ≺ report ⟨completed(unit) ∈ planner⟩
34
+ writes ≠ artifact ⇒ ∄ write ⟨source · config⟩ @ integrator ⟨combine ≠ author · check ≠ repair⟩
35
+ ¬⟨repair · judge ⟨assay ∈ assayer⟩ · decide ⟨design ∈ architect · plan-state ∈ planner⟩ · move(main) ⟨release ≜ operator sign-off⟩⟩`;
36
+ //# sourceMappingURL=integrator.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"integrator.js","sourceRoot":"","sources":["../../../src/dimensions/role/integrator.ts"],"names":[],"mappings":"AAEA,yFAAyF;AACzF,qFAAqF;AACrF,0FAA0F;AAC1F,oFAAoF;AACpF,0FAA0F;AAC1F,gFAAgF;AAChF,kDAAkD;AAClD,wFAAwF;AACxF,oBAAoB;AACpB,EAAE;AACF,yFAAyF;AACzF,sFAAsF;AACtF,yFAAyF;AACzF,gFAAgF;AAChF,yFAAyF;AACzF,sCAAsC;AACtC,EAAE;AACF,qFAAqF;AACrF,yFAAyF;AACzF,yFAAyF;AACzF,0CAA0C;AAC1C,EAAE;AACF,wFAAwF;AACxF,yFAAyF;AACzF,0FAA0F;AAC1F,yFAAyF;AACzF,6EAA6E;AAE7E,MAAM,CAAC,MAAM,UAAU,GAAS;;;;;;;oIAOoG,CAAC"}
@@ -3,12 +3,24 @@
3
3
  // while the work is bounded by where it is USED voids every disjointness proof the
4
4
  // waves rest on.
5
5
  //
6
- // `writes ≠ C` is the seam. A piece that will not decompose is surfaced intact, because
7
- // a planner permitted to redraw the boundary it was handed is the route by which the
8
- // design leaks back out into the work.
9
- export const planner = `planner ≜ reads⟨C · artifact⟩ → writes⟨spec⟩
6
+ // THE PLAN IS THIS ROLE'S, START TO END. It takes the shards the architect hands down,
7
+ // plans them, binds the plan when none is bound, moves each unit's state as work reaches
8
+ // it, closes the plan, and answers a stop by rectifying or rebuilding. What it returns to
9
+ // the architect is names and nothing else: the architect never reads behind a name, so a
10
+ // plan view or a spec that leaked upward would put the substrate back in the design-holder's
11
+ // hands.
12
+ //
13
+ // `writes ≠ C` is the seam. A shard that will not plan is surfaced intact, because a
14
+ // planner permitted to redraw the boundary it was handed is the route by which the
15
+ // design leaks back out into the work. The same seam runs the other way: when a shard
16
+ // the plan builds on is found wrong, the design is corrected by the architect and the
17
+ // plan is re-planned here; it is never the planner that changes the design.
18
+ export const planner = `planner ≜ reads⟨C · artifact⟩ → writes⟨spec · plan-records⟩
10
19
  stratum ≜ intent ≺ C ≺ spec ≺ artifact ⟨≺ ≜ more-abstract-than · C ≜ durative-concept-lattice⟩
11
- reserves ⟨census ⟨extant · references · resolved-by-use ¬ by-declaration⟩ · decompose ⟨cut-piece → MECE-units⟩ · realizes ⟨unit ⇀ anchor⟩ · sequence ⟨waves ⊨ disjoint-outputs⟩⟩
12
- writes ≠ C ⇒ cut-piece GIVEN ⟨boundary ¬ decomposable ⇒ SURFACED ¬ redrawn⟩
13
- writes ≠ artifact ⇒ ∄ build @ planner ⟨unit ≜ spec · executor builds⟩`;
20
+ plan-records ≜ ⟨unit · dependency · state · plan-state⟩
21
+ reserves ⟨census ⟨extant · references · resolved-by-use ¬ by-declaration⟩ · decompose ⟨shards ↦ MECE-units · unit ⇀ ONE shard · deps FIRST · effort(unit) ≤ capacity · how-per-harness ⟨plan-owned ¬ shard-owned⟩⟩ · realizes ⟨unit ⇀ anchor⟩ · sequence ⟨waves ⊨ disjoint-outputs⟩ · bind ⟨@ ratification ∧ ∄ plan-bound⟩ · record ⟨ready-unit ↦ active @ name-handed-out · unit ↦ completed @ whole⟩ · close ⟨∀ unit completed⟩ · rectify ∨ rebuild ⟨plan @ stop⟩ · reconcile ⟨plans ∧ units⟩⟩
22
+ returns ⟨plan-name ∧ ready-unit-names⟩ ∧ ¬ spec ∨ plan-view ⟨name ≜ address · architect ¬ reads behind⟩
23
+ state(unit) ∨ state(plan) moves ⊨ planner ⟨bind ∨ close ∨ advance · ∄ move @ implementer ∨ architect⟩
24
+ writes ≠ C ⇒ shard GIVEN ⟨shard ¬ plannable ⇒ SURFACED ¬ redrawn · wrong-shard ⇒ plan re-planned ¬ design changed⟩
25
+ writes ≠ artifact ⇒ ∄ build @ planner ⟨unit ≜ spec · implementer builds⟩`;
14
26
  //# sourceMappingURL=planner.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"planner.js","sourceRoot":"","sources":["../../../src/dimensions/role/planner.ts"],"names":[],"mappings":"AAEA,oFAAoF;AACpF,oFAAoF;AACpF,mFAAmF;AACnF,iBAAiB;AACjB,EAAE;AACF,wFAAwF;AACxF,qFAAqF;AACrF,uCAAuC;AAEvC,MAAM,CAAC,MAAM,OAAO,GAAS;;;;sEAIyC,CAAC"}
1
+ {"version":3,"file":"planner.js","sourceRoot":"","sources":["../../../src/dimensions/role/planner.ts"],"names":[],"mappings":"AAEA,oFAAoF;AACpF,oFAAoF;AACpF,mFAAmF;AACnF,iBAAiB;AACjB,EAAE;AACF,uFAAuF;AACvF,yFAAyF;AACzF,0FAA0F;AAC1F,yFAAyF;AACzF,6FAA6F;AAC7F,SAAS;AACT,EAAE;AACF,qFAAqF;AACrF,mFAAmF;AACnF,sFAAsF;AACtF,sFAAsF;AACtF,4EAA4E;AAE5E,MAAM,CAAC,MAAM,OAAO,GAAS;;;;;;;yEAO4C,CAAC"}
@@ -0,0 +1,10 @@
1
+ /**
2
+ * The prime principle, as a leading `## Prime Principle` block emitted VERBATIM
3
+ * as the first section of a SKILL.md, set as `preamble` on exactly the skills
4
+ * whose laws apply it: those that name concepts by anchor, optimal sign or cold
5
+ * decode. An agent carries the axiom through its held role's
6
+ * engineering-principles, never through this block. The apex seed: the
7
+ * `cratylism` ground axiom + the intrinsic-carry clause, and nothing whose truth
8
+ * is contingent on this workspace.
9
+ */
10
+ export declare const primePrinciple: string;
@@ -0,0 +1,16 @@
1
+ import { cratylism } from '../dimensions/engineering-principles/cratylism.js';
2
+ /**
3
+ * The prime principle, as a leading `## Prime Principle` block emitted VERBATIM
4
+ * as the first section of a SKILL.md, set as `preamble` on exactly the skills
5
+ * whose laws apply it: those that name concepts by anchor, optimal sign or cold
6
+ * decode. An agent carries the axiom through its held role's
7
+ * engineering-principles, never through this block. The apex seed: the
8
+ * `cratylism` ground axiom + the intrinsic-carry clause, and nothing whose truth
9
+ * is contingent on this workspace.
10
+ */
11
+ export const primePrinciple = `## Prime Principle
12
+
13
+ ${cratylism}
14
+
15
+ intrinsic ⟨¬ ambient⟩`;
16
+ //# sourceMappingURL=prime-principle.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"prime-principle.js","sourceRoot":"","sources":["../../src/genus/prime-principle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mDAAmD,CAAC;AAE9E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;;EAE5B,SAAS;;sBAEW,CAAC"}
@@ -97,8 +97,8 @@
97
97
  // is held by a test rather than remembered.
98
98
  //
99
99
  // A FULL BYTE COMPARISON of every rendered artifact is therefore what runs — no
100
- // digest, and above all NO SAMPLE. A sampled check that misses the founding doctrine
101
- // reports "in sync", which is the exact failure this cell exists to end. The
100
+ // digest, and above all NO SAMPLE. A sample that skips the ten skills carrying the
101
+ // prime principle reports "in sync", which is the exact failure this cell exists to end. The
102
102
  // `deploy-drift-notice` suite re-measures the clean path and fails on a regression, so
103
103
  // the number above is a held bound rather than a remembered one.
104
104
  //
@@ -117,7 +117,7 @@
117
117
  // matches is now THIS harness's, because the projector substitutes this
118
118
  // harness's hooks-file name (`harness-hooks-file`) and its own name
119
119
  // (`harness-name`, passed to the comparator so it audits the right home). A
120
- // codex session reports on the codex deployment. The pair lives on
120
+ // omp session reports on the omp deployment. The pair lives on
121
121
  // `HarnessAdapter` and reaches here through projection, which is the only stage
122
122
  // that knows which adapter it is rendering for — the alternative was a
123
123
  // shell-side copy of the harness registry, a second home for adapter knowledge.
@@ -196,7 +196,7 @@ export const deployDriftNotice = {
196
196
  # - ADVISORY ONLY. Prints to stdout and exits 0. It never emits
197
197
  # {"decision":"block"} — a stale deployment must not block a session.
198
198
  # - NEVER SAMPLES. The comparison is the tool's own: whole tree, byte for byte.
199
- # A sampled check that misses the founding doctrine reports "in sync".
199
+ # A sample that skips the ten skills carrying the prime principle reports "in sync".
200
200
  # - NOT A COUNT. It relays the tool's report, which carries the superseded lines
201
201
  # still running and the rendered lines missing.
202
202
  #
@@ -229,9 +229,9 @@ DEPLOY_TOOL={{fact:deploy-bin}}
229
229
 
230
230
  # WHICH HARNESS THIS PROJECTION IS FOR. A hook worker is handed no identity by the
231
231
  # session it runs in, so a worker that must LOOK at a deployed tree had to guess —
232
- # and guessed claude, which made a codex session report on a sibling deployment.
232
+ # and guessed claude, which made an omp session report on a sibling deployment.
233
233
  # These two are the adapter's own \`name\` and \`hooksFile\`, substituted at
234
- # projection: the codex render of this cell carries codex's.
234
+ # projection: the omp render of this cell carries omp's.
235
235
  HARNESS={{fact:harness-name}}
236
236
  HARNESS_HOOKS_FILE={{fact:harness-hooks-file}}
237
237
 
@@ -283,8 +283,8 @@ done
283
283
  # A render tree is recognized by BEING one: \`agents/\` + \`skills/\` + THIS harness's
284
284
  # own hooks file. That file is what distinguishes this harness's tree from another
285
285
  # harness's tree sitting beside it, and it is named by projection rather than by
286
- # this script — so a codex render of this worker skips the claude tree and a claude
287
- # render skips the codex one. The \`--out\` dir is an operator's choice, so the tree
286
+ # this script — so an omp render of this worker skips the claude tree and a claude
287
+ # render skips the omp one. The \`--out\` dir is an operator's choice, so the tree
288
288
  # is discovered, never named.
289
289
  #
290
290
  # THE GLOB USED TO BE \`.render*\`, WHICH MADE THE PARAGRAPH ABOVE FALSE. The shape
@@ -376,7 +376,7 @@ if [ -z "$cli" ]; then
376
376
  fi
377
377
 
378
378
  # \`--harness\` is what makes the audited HOME this session's. Without it the tool
379
- # resolves its default root, so a codex tree would be compared against the claude
379
+ # resolves its default root, so an omp tree would be compared against the claude
380
380
  # deployment — a report that is about neither.
381
381
  # The tool reports and repairs nothing, so it is safe to point at a host mid-work.
382
382
  set +e
@@ -1 +1 @@
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,oFAAoF;AACpF,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,mFAAmF;AACnF,+BAA+B;AAC/B,EAAE;AACF,qFAAqF;AACrF,qFAAqF;AACrF,oFAAoF;AACpF,oFAAoF;AACpF,uFAAuF;AACvF,sFAAsF;AACtF,kFAAkF;AAClF,mFAAmF;AACnF,uFAAuF;AACvF,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,qFAAqF;AACrF,6EAA6E;AAC7E,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,wEAAwE;AACxE,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,qFAAqF;AACrF,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
+ {"version":3,"file":"deploy-drift-notice.js","sourceRoot":"","sources":["../../src/hooks/deploy-drift-notice.ts"],"names":[],"mappings":"AAEA,kFAAkF;AAClF,kEAAkE;AAClE,EAAE;AACF,oFAAoF;AACpF,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,mFAAmF;AACnF,+BAA+B;AAC/B,EAAE;AACF,qFAAqF;AACrF,qFAAqF;AACrF,oFAAoF;AACpF,oFAAoF;AACpF,uFAAuF;AACvF,sFAAsF;AACtF,kFAAkF;AAClF,mFAAmF;AACnF,uFAAuF;AACvF,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,qFAAqF;AACrF,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"}