@abelxiaoxing/cadence 1.8.3 → 2.0.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 (208) hide show
  1. package/README.md +324 -111
  2. package/THIRD_PARTY_NOTICES.md +15 -0
  3. package/agents/design-explorer.md +14 -26
  4. package/agents/diagnosis-worker.md +14 -25
  5. package/agents/implementation-worker.md +16 -35
  6. package/config/.env.example +2 -5
  7. package/config/workflow-task.example.json +7 -0
  8. package/docs/remote-access.md +60 -0
  9. package/docs/reuse-and-distribution.md +44 -0
  10. package/docs/service-management.md +108 -0
  11. package/licenses/bundled-web.txt +6245 -0
  12. package/licenses/pi-web-ui-MIT.txt +21 -0
  13. package/licenses/pi-web-ui-reuse.md +22 -0
  14. package/package.json +94 -21
  15. package/src/index.ts +22 -1807
  16. package/src/native-build.ts +6 -0
  17. package/src/native-client.ts +103 -0
  18. package/src/native-export.ts +58 -0
  19. package/src/native-history.ts +359 -0
  20. package/src/operator-cli.mjs +453 -1937
  21. package/src/plan-proposal.ts +87 -0
  22. package/src/sdk-worker.mjs +549 -0
  23. package/src/service/contracts/active.ts +82 -0
  24. package/src/service/contracts/budget.ts +148 -0
  25. package/src/service/contracts/build.ts +67 -0
  26. package/src/service/contracts/capture.ts +48 -0
  27. package/src/service/contracts/core.ts +33 -0
  28. package/src/service/contracts/current.ts +261 -0
  29. package/src/service/contracts/domain.ts +68 -0
  30. package/src/service/contracts/history.ts +2245 -0
  31. package/src/service/contracts/models.ts +139 -0
  32. package/src/service/coordination.ts +862 -0
  33. package/src/service/private-files.ts +204 -0
  34. package/src/service-cli.mjs +5592 -0
  35. package/src/service-client.ts +747 -0
  36. package/src/service-contract.ts +245 -0
  37. package/src/service-host.mjs +22382 -0
  38. package/src/service-http-client.ts +425 -0
  39. package/src/service-wire.ts +372 -0
  40. package/src/task-shell.ts +1045 -0
  41. package/src/task-store.ts +479 -0
  42. package/src/task-types.ts +184 -0
  43. package/src/verification-diagnostics.ts +29 -72
  44. package/src/worker-capture.mjs +1197 -0
  45. package/src/worker-public.mjs +1753 -0
  46. package/src/worker-redaction.mjs +608 -0
  47. package/src/worker-tools.mjs +202 -0
  48. package/web/dist/assets/KaTeX_AMS-Regular.ttf +0 -0
  49. package/web/dist/assets/KaTeX_AMS-Regular.woff +0 -0
  50. package/web/dist/assets/KaTeX_AMS-Regular.woff2 +0 -0
  51. package/web/dist/assets/KaTeX_Caligraphic-Bold.ttf +0 -0
  52. package/web/dist/assets/KaTeX_Caligraphic-Bold.woff +0 -0
  53. package/web/dist/assets/KaTeX_Caligraphic-Bold.woff2 +0 -0
  54. package/web/dist/assets/KaTeX_Caligraphic-Regular.ttf +0 -0
  55. package/web/dist/assets/KaTeX_Caligraphic-Regular.woff +0 -0
  56. package/web/dist/assets/KaTeX_Caligraphic-Regular.woff2 +0 -0
  57. package/web/dist/assets/KaTeX_Fraktur-Bold.ttf +0 -0
  58. package/web/dist/assets/KaTeX_Fraktur-Bold.woff +0 -0
  59. package/web/dist/assets/KaTeX_Fraktur-Bold.woff2 +0 -0
  60. package/web/dist/assets/KaTeX_Fraktur-Regular.ttf +0 -0
  61. package/web/dist/assets/KaTeX_Fraktur-Regular.woff +0 -0
  62. package/web/dist/assets/KaTeX_Fraktur-Regular.woff2 +0 -0
  63. package/web/dist/assets/KaTeX_Main-Bold.ttf +0 -0
  64. package/web/dist/assets/KaTeX_Main-Bold.woff +0 -0
  65. package/web/dist/assets/KaTeX_Main-Bold.woff2 +0 -0
  66. package/web/dist/assets/KaTeX_Main-BoldItalic.ttf +0 -0
  67. package/web/dist/assets/KaTeX_Main-BoldItalic.woff +0 -0
  68. package/web/dist/assets/KaTeX_Main-BoldItalic.woff2 +0 -0
  69. package/web/dist/assets/KaTeX_Main-Italic.ttf +0 -0
  70. package/web/dist/assets/KaTeX_Main-Italic.woff +0 -0
  71. package/web/dist/assets/KaTeX_Main-Italic.woff2 +0 -0
  72. package/web/dist/assets/KaTeX_Main-Regular.ttf +0 -0
  73. package/web/dist/assets/KaTeX_Main-Regular.woff +0 -0
  74. package/web/dist/assets/KaTeX_Main-Regular.woff2 +0 -0
  75. package/web/dist/assets/KaTeX_Math-BoldItalic.ttf +0 -0
  76. package/web/dist/assets/KaTeX_Math-BoldItalic.woff +0 -0
  77. package/web/dist/assets/KaTeX_Math-BoldItalic.woff2 +0 -0
  78. package/web/dist/assets/KaTeX_Math-Italic.ttf +0 -0
  79. package/web/dist/assets/KaTeX_Math-Italic.woff +0 -0
  80. package/web/dist/assets/KaTeX_Math-Italic.woff2 +0 -0
  81. package/web/dist/assets/KaTeX_SansSerif-Bold.ttf +0 -0
  82. package/web/dist/assets/KaTeX_SansSerif-Bold.woff +0 -0
  83. package/web/dist/assets/KaTeX_SansSerif-Bold.woff2 +0 -0
  84. package/web/dist/assets/KaTeX_SansSerif-Italic.ttf +0 -0
  85. package/web/dist/assets/KaTeX_SansSerif-Italic.woff +0 -0
  86. package/web/dist/assets/KaTeX_SansSerif-Italic.woff2 +0 -0
  87. package/web/dist/assets/KaTeX_SansSerif-Regular.ttf +0 -0
  88. package/web/dist/assets/KaTeX_SansSerif-Regular.woff +0 -0
  89. package/web/dist/assets/KaTeX_SansSerif-Regular.woff2 +0 -0
  90. package/web/dist/assets/KaTeX_Script-Regular.ttf +0 -0
  91. package/web/dist/assets/KaTeX_Script-Regular.woff +0 -0
  92. package/web/dist/assets/KaTeX_Script-Regular.woff2 +0 -0
  93. package/web/dist/assets/KaTeX_Size1-Regular.ttf +0 -0
  94. package/web/dist/assets/KaTeX_Size1-Regular.woff +0 -0
  95. package/web/dist/assets/KaTeX_Size1-Regular.woff2 +0 -0
  96. package/web/dist/assets/KaTeX_Size2-Regular.ttf +0 -0
  97. package/web/dist/assets/KaTeX_Size2-Regular.woff +0 -0
  98. package/web/dist/assets/KaTeX_Size2-Regular.woff2 +0 -0
  99. package/web/dist/assets/KaTeX_Size3-Regular.ttf +0 -0
  100. package/web/dist/assets/KaTeX_Size3-Regular.woff +0 -0
  101. package/web/dist/assets/KaTeX_Size3-Regular.woff2 +0 -0
  102. package/web/dist/assets/KaTeX_Size4-Regular.ttf +0 -0
  103. package/web/dist/assets/KaTeX_Size4-Regular.woff +0 -0
  104. package/web/dist/assets/KaTeX_Size4-Regular.woff2 +0 -0
  105. package/web/dist/assets/KaTeX_Typewriter-Regular.ttf +0 -0
  106. package/web/dist/assets/KaTeX_Typewriter-Regular.woff +0 -0
  107. package/web/dist/assets/KaTeX_Typewriter-Regular.woff2 +0 -0
  108. package/web/dist/assets/cadence.css +2 -0
  109. package/web/dist/assets/cadence.js +7 -0
  110. package/web/dist/assets/markdown.js +296 -0
  111. package/web/dist/assets/react.js +9 -0
  112. package/web/dist/assets/rolldown-runtime.js +1 -0
  113. package/web/dist/assets/timeline-client.js +41 -0
  114. package/web/dist/assets/vis-timeline.css +1274 -0
  115. package/web/dist/assets/vis-timeline.js +32 -0
  116. package/web/dist/index.html +18 -0
  117. package/web/dist/manifest.json +505 -0
  118. package/config/plan-draft.example.json +0 -125
  119. package/config/plan-draft.multiple-tasks.example.json +0 -375
  120. package/config/plan-draft.quick.example.json +0 -78
  121. package/config/routes.example.json +0 -39
  122. package/prompts/abel-design.md +0 -382
  123. package/prompts/abel-diagnose.md +0 -71
  124. package/prompts/abel-implement.md +0 -284
  125. package/prompts/abel-init.md +0 -52
  126. package/src/activation.ts +0 -44
  127. package/src/activity-contracts.ts +0 -82
  128. package/src/agent-registry.ts +0 -53
  129. package/src/apply-transaction.ts +0 -1437
  130. package/src/artifact-store.ts +0 -213
  131. package/src/build-windows-job.mjs +0 -95
  132. package/src/candidate-artifact.ts +0 -143
  133. package/src/candidate-patch.ts +0 -271
  134. package/src/candidate-workspace.ts +0 -80
  135. package/src/canonical.ts +0 -16
  136. package/src/change-contract-schema.ts +0 -191
  137. package/src/change-contract.ts +0 -324
  138. package/src/change-verification.ts +0 -1617
  139. package/src/child-budget.ts +0 -58
  140. package/src/child-model.ts +0 -142
  141. package/src/child-session.ts +0 -640
  142. package/src/contracts.ts +0 -2476
  143. package/src/control-contracts.ts +0 -382
  144. package/src/delivery-compiler.ts +0 -1805
  145. package/src/delivery-revision.ts +0 -42
  146. package/src/design-control.ts +0 -1299
  147. package/src/design-diagnostics.ts +0 -181
  148. package/src/design-journal.ts +0 -1773
  149. package/src/directory-sync.ts +0 -36
  150. package/src/durable-contracts.ts +0 -231
  151. package/src/durable-workflow.ts +0 -978
  152. package/src/evidence-draft.ts +0 -122
  153. package/src/execution-profile.ts +0 -64
  154. package/src/execution-retention.ts +0 -77
  155. package/src/file-snapshot.ts +0 -163
  156. package/src/implement-continuation.ts +0 -559
  157. package/src/implement-graph.ts +0 -690
  158. package/src/implement-plan.ts +0 -72
  159. package/src/install-config.d.mts +0 -6
  160. package/src/isolation-backend.ts +0 -353
  161. package/src/model-source.ts +0 -22
  162. package/src/openspec-cli.ts +0 -494
  163. package/src/operator-cli-entry.mjs +0 -24
  164. package/src/operator-tools.ts +0 -309
  165. package/src/package-candidate.ts +0 -227
  166. package/src/package-delivery.ts +0 -486
  167. package/src/package-state.ts +0 -320
  168. package/src/package-verification.ts +0 -635
  169. package/src/package-workflow.ts +0 -342
  170. package/src/packet-runtime.ts +0 -570
  171. package/src/parent-provider.ts +0 -375
  172. package/src/phase-execution.ts +0 -2259
  173. package/src/pi-adapter.ts +0 -19
  174. package/src/plan-draft-summary.ts +0 -527
  175. package/src/plan-draft.ts +0 -502
  176. package/src/remove-path.ts +0 -32
  177. package/src/route-policy.ts +0 -545
  178. package/src/run-state.ts +0 -420
  179. package/src/run-store.ts +0 -1179
  180. package/src/safe-path.ts +0 -77
  181. package/src/scoped-grep-worker.mjs +0 -23
  182. package/src/scoped-tools.ts +0 -775
  183. package/src/single-task-draft.ts +0 -142
  184. package/src/sqlite-schema.ts +0 -171
  185. package/src/state-root.ts +0 -215
  186. package/src/storage-schema.ts +0 -360
  187. package/src/subagent-activity.ts +0 -1417
  188. package/src/submit-tool.ts +0 -950
  189. package/src/task-ledger.ts +0 -1338
  190. package/src/transport-budget.ts +0 -52
  191. package/src/verification-capability.ts +0 -1191
  192. package/src/verification-environment-io.ts +0 -389
  193. package/src/verification-environment.ts +0 -162
  194. package/src/verification-identity.ts +0 -77
  195. package/src/verification-scan.ts +0 -64
  196. package/src/windows-job-backend.ts +0 -419
  197. package/src/windows-job.c +0 -149
  198. package/src/worker-broker.ts +0 -806
  199. package/src/workflow-engine.ts +0 -28
  200. package/src/workflow-policy.ts +0 -1679
  201. package/src/workflow-recovery-policy.ts +0 -97
  202. package/src/workflow-scheduling.ts +0 -105
  203. package/src/workflow-state-machine.ts +0 -4355
  204. package/src/workflow-status.ts +0 -576
  205. package/src/workspace-io-entry.mjs +0 -76
  206. package/src/workspace-io-worker.mjs +0 -1312
  207. package/src/workspace-io.ts +0 -89
  208. package/src/workspace-store.ts +0 -634
@@ -0,0 +1,204 @@
1
+ import { createHash, randomUUID } from "node:crypto";
2
+ import {
3
+ closeSync,
4
+ constants,
5
+ fstatSync,
6
+ fsyncSync,
7
+ lstatSync,
8
+ openSync,
9
+ renameSync,
10
+ type Stats,
11
+ unlinkSync,
12
+ writeFileSync,
13
+ } from "node:fs";
14
+ import { dirname, isAbsolute, join, relative, resolve, sep } from "node:path";
15
+ import { readBounded, safeDirectory } from "../task-store.ts";
16
+ import { ContractError, parseWireJson } from "./contracts/core.ts";
17
+
18
+ export const METADATA_BYTES = 16 * 1024;
19
+ export const REGISTRY_BYTES = 1024 * 1024;
20
+ export const REGISTRY_ENTRIES = 128;
21
+ export function refused(): never {
22
+ throw new ContractError("corrupt-selected");
23
+ }
24
+ export function hash(bytes: string | Buffer): string {
25
+ return createHash("sha256").update(bytes).digest("hex");
26
+ }
27
+ function privateMode(st: Stats): void {
28
+ if (
29
+ process.platform !== "win32" &&
30
+ ((st.mode & 0o077) !== 0 || (process.getuid && st.uid !== process.getuid()))
31
+ )
32
+ refused();
33
+ }
34
+ function same(a: Stats, b: Stats): boolean {
35
+ return (
36
+ a.dev === b.dev &&
37
+ a.ino === b.ino &&
38
+ a.size === b.size &&
39
+ a.ctimeMs === b.ctimeMs &&
40
+ a.mtimeMs === b.mtimeMs &&
41
+ a.mode === b.mode &&
42
+ a.uid === b.uid &&
43
+ a.nlink === b.nlink
44
+ );
45
+ }
46
+ function missing(error: unknown): boolean {
47
+ return error instanceof Error && "code" in error && error.code === "ENOENT";
48
+ }
49
+ /** Strengthens the existing helpers only inside the owned private namespace.
50
+ * Ambient ancestors retain TaskStore's canonicalization policy. No directory CAS
51
+ * or hostile-same-user guarantee; failed temporaries are deliberately preserved.
52
+ */
53
+ export class PrivateFiles {
54
+ constructor(readonly namespace: string) {}
55
+ directory(path: string, create = false): boolean {
56
+ const tail = relative(this.namespace, path);
57
+ if (isAbsolute(tail) || tail === ".." || tail.startsWith(`..${sep}`))
58
+ refused();
59
+ if (!create) {
60
+ const namespace = resolve(this.namespace);
61
+ let inside = false;
62
+ return safeDirectory(path, false, (at, st) => {
63
+ // Exact segment boundary, not a textual prefix. One synchronous walk
64
+ // checks every ambient ancestor and each existing private ancestor,
65
+ // including an unsafe parent before a missing child. Nothing is cached.
66
+ if (at === namespace) inside = true;
67
+ if (inside) privateMode(st);
68
+ });
69
+ }
70
+ let at = this.namespace;
71
+ for (const part of ["", ...tail.split(sep).filter(Boolean)]) {
72
+ if (part) at = join(at, part);
73
+ if (!safeDirectory(at, create)) return false;
74
+ privateMode(lstatSync(at));
75
+ }
76
+ return true;
77
+ }
78
+ read(path: string, maximum = METADATA_BYTES): FileSnapshot | undefined {
79
+ if (!this.directory(dirname(path))) return undefined;
80
+ let before: Stats;
81
+ try {
82
+ before = lstatSync(path);
83
+ } catch (error) {
84
+ if (missing(error)) return undefined;
85
+ return refused();
86
+ }
87
+ if (!before.isFile() || before.nlink !== 1 || before.size > maximum)
88
+ refused();
89
+ privateMode(before);
90
+ const fd = openSync(path, constants.O_RDONLY | (constants.O_NOFOLLOW ?? 0));
91
+ try {
92
+ const opened = fstatSync(fd);
93
+ if (!same(before, opened)) refused();
94
+ // Reuse the bounded no-follow reader; surround its read with descriptor and
95
+ // selected-path identity checks rather than weakening legacy behavior.
96
+ // The caller's independent maximum was already checked above. Bound the
97
+ // inner allocation to this exact selected size (+1 growth sentinel); keep
98
+ // its full ancestor/open checks and our final descriptor/path checks.
99
+ const bytes = readBounded(path, opened.size);
100
+ if (
101
+ !bytes ||
102
+ bytes.length !== opened.size ||
103
+ !same(opened, fstatSync(fd)) ||
104
+ !same(opened, lstatSync(path))
105
+ )
106
+ refused();
107
+ return { bytes, identity: hash(bytes), stamp: stamp(opened) };
108
+ } finally {
109
+ closeSync(fd);
110
+ }
111
+ }
112
+ assert(
113
+ path: string,
114
+ expected: FileSnapshot | undefined,
115
+ maximum = METADATA_BYTES,
116
+ ): void {
117
+ const current = this.read(path, maximum);
118
+ if (
119
+ current?.identity !== expected?.identity ||
120
+ current?.stamp !== expected?.stamp
121
+ )
122
+ throw new ContractError("conflict");
123
+ }
124
+ create(path: string, bytes: string, maximum = METADATA_BYTES): FileSnapshot {
125
+ if (Buffer.byteLength(bytes) > maximum) throw new ContractError("oversize");
126
+ this.directory(dirname(path), true);
127
+ const fd = openSync(path, "wx", 0o600);
128
+ try {
129
+ writeFileSync(fd, bytes);
130
+ fsyncSync(fd);
131
+ } finally {
132
+ closeSync(fd);
133
+ }
134
+ this.syncDirectory(dirname(path));
135
+ const result = this.read(path, maximum);
136
+ if (!result || result.identity !== hash(bytes)) refused();
137
+ return result;
138
+ }
139
+ replace(
140
+ path: string,
141
+ expected: FileSnapshot,
142
+ bytes: string,
143
+ maximum = METADATA_BYTES,
144
+ ): FileSnapshot {
145
+ this.assert(path, expected, maximum);
146
+ const temporary = join(dirname(path), `pending-${randomUUID()}.json`);
147
+ this.create(temporary, bytes, maximum);
148
+ this.assert(path, expected, maximum);
149
+ renameSync(temporary, path);
150
+ this.syncDirectory(dirname(path));
151
+ const result = this.read(path, maximum);
152
+ if (!result || result.identity !== hash(bytes)) refused();
153
+ return result;
154
+ }
155
+ remove(path: string, expected: FileSnapshot, maximum = METADATA_BYTES): void {
156
+ this.assert(path, expected, maximum);
157
+ unlinkSync(path);
158
+ this.syncDirectory(dirname(path));
159
+ }
160
+ private syncDirectory(path: string): void {
161
+ // POSIX available-host durability attempt. Windows ACL/directory durability
162
+ // requires its own qualification; file flush is still mandatory there.
163
+ if (process.platform === "win32") return;
164
+ const fd = openSync(path, constants.O_RDONLY | constants.O_DIRECTORY);
165
+ try {
166
+ fsyncSync(fd);
167
+ } finally {
168
+ closeSync(fd);
169
+ }
170
+ }
171
+ }
172
+ export interface FileSnapshot {
173
+ bytes: Buffer;
174
+ identity: string;
175
+ stamp: string;
176
+ }
177
+ function stamp(st: Stats): string {
178
+ return [
179
+ st.dev,
180
+ st.ino,
181
+ st.size,
182
+ st.mode,
183
+ st.uid,
184
+ st.nlink,
185
+ st.ctimeMs,
186
+ st.mtimeMs,
187
+ ].join(":");
188
+ }
189
+ export function json(
190
+ snapshot: FileSnapshot,
191
+ maximum = METADATA_BYTES,
192
+ ): unknown {
193
+ try {
194
+ return parseWireJson(
195
+ new TextDecoder("utf-8", { fatal: true }).decode(snapshot.bytes),
196
+ maximum,
197
+ );
198
+ } catch {
199
+ return refused();
200
+ }
201
+ }
202
+ export function encoded(value: unknown): string {
203
+ return `${JSON.stringify(value)}\n`;
204
+ }