@abelxiaoxing/cadence 1.8.4 → 2.0.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.
Files changed (202) hide show
  1. package/README.md +324 -117
  2. package/THIRD_PARTY_NOTICES.md +15 -0
  3. package/agents/design-explorer.md +14 -18
  4. package/agents/diagnosis-worker.md +14 -14
  5. package/agents/implementation-worker.md +16 -17
  6. package/config/workflow-task.example.json +7 -0
  7. package/docs/remote-access.md +60 -0
  8. package/docs/reuse-and-distribution.md +44 -0
  9. package/docs/service-management.md +108 -0
  10. package/licenses/bundled-web.txt +6245 -0
  11. package/licenses/pi-web-ui-MIT.txt +21 -0
  12. package/licenses/pi-web-ui-reuse.md +22 -0
  13. package/package.json +92 -20
  14. package/src/index.ts +21 -1802
  15. package/src/native-build.ts +6 -0
  16. package/src/native-client.ts +103 -0
  17. package/src/native-export.ts +58 -0
  18. package/src/native-history.ts +359 -0
  19. package/src/operator-cli.mjs +453 -1937
  20. package/src/plan-proposal.ts +87 -0
  21. package/src/sdk-worker.mjs +549 -0
  22. package/src/service/contracts/active.ts +82 -0
  23. package/src/service/contracts/budget.ts +148 -0
  24. package/src/service/contracts/build.ts +67 -0
  25. package/src/service/contracts/capture.ts +48 -0
  26. package/src/service/contracts/core.ts +33 -0
  27. package/src/service/contracts/current.ts +261 -0
  28. package/src/service/contracts/domain.ts +68 -0
  29. package/src/service/contracts/history.ts +2245 -0
  30. package/src/service/contracts/models.ts +139 -0
  31. package/src/service/coordination.ts +862 -0
  32. package/src/service/private-files.ts +204 -0
  33. package/src/service-cli.mjs +5592 -0
  34. package/src/service-client.ts +747 -0
  35. package/src/service-contract.ts +245 -0
  36. package/src/service-host.mjs +22382 -0
  37. package/src/service-http-client.ts +425 -0
  38. package/src/service-wire.ts +372 -0
  39. package/src/task-shell.ts +1045 -0
  40. package/src/task-store.ts +479 -0
  41. package/src/task-types.ts +184 -0
  42. package/src/verification-diagnostics.ts +29 -72
  43. package/src/worker-capture.mjs +1197 -0
  44. package/src/worker-public.mjs +1753 -0
  45. package/src/worker-redaction.mjs +608 -0
  46. package/src/worker-tools.mjs +202 -0
  47. package/web/dist/assets/KaTeX_AMS-Regular.ttf +0 -0
  48. package/web/dist/assets/KaTeX_AMS-Regular.woff +0 -0
  49. package/web/dist/assets/KaTeX_AMS-Regular.woff2 +0 -0
  50. package/web/dist/assets/KaTeX_Caligraphic-Bold.ttf +0 -0
  51. package/web/dist/assets/KaTeX_Caligraphic-Bold.woff +0 -0
  52. package/web/dist/assets/KaTeX_Caligraphic-Bold.woff2 +0 -0
  53. package/web/dist/assets/KaTeX_Caligraphic-Regular.ttf +0 -0
  54. package/web/dist/assets/KaTeX_Caligraphic-Regular.woff +0 -0
  55. package/web/dist/assets/KaTeX_Caligraphic-Regular.woff2 +0 -0
  56. package/web/dist/assets/KaTeX_Fraktur-Bold.ttf +0 -0
  57. package/web/dist/assets/KaTeX_Fraktur-Bold.woff +0 -0
  58. package/web/dist/assets/KaTeX_Fraktur-Bold.woff2 +0 -0
  59. package/web/dist/assets/KaTeX_Fraktur-Regular.ttf +0 -0
  60. package/web/dist/assets/KaTeX_Fraktur-Regular.woff +0 -0
  61. package/web/dist/assets/KaTeX_Fraktur-Regular.woff2 +0 -0
  62. package/web/dist/assets/KaTeX_Main-Bold.ttf +0 -0
  63. package/web/dist/assets/KaTeX_Main-Bold.woff +0 -0
  64. package/web/dist/assets/KaTeX_Main-Bold.woff2 +0 -0
  65. package/web/dist/assets/KaTeX_Main-BoldItalic.ttf +0 -0
  66. package/web/dist/assets/KaTeX_Main-BoldItalic.woff +0 -0
  67. package/web/dist/assets/KaTeX_Main-BoldItalic.woff2 +0 -0
  68. package/web/dist/assets/KaTeX_Main-Italic.ttf +0 -0
  69. package/web/dist/assets/KaTeX_Main-Italic.woff +0 -0
  70. package/web/dist/assets/KaTeX_Main-Italic.woff2 +0 -0
  71. package/web/dist/assets/KaTeX_Main-Regular.ttf +0 -0
  72. package/web/dist/assets/KaTeX_Main-Regular.woff +0 -0
  73. package/web/dist/assets/KaTeX_Main-Regular.woff2 +0 -0
  74. package/web/dist/assets/KaTeX_Math-BoldItalic.ttf +0 -0
  75. package/web/dist/assets/KaTeX_Math-BoldItalic.woff +0 -0
  76. package/web/dist/assets/KaTeX_Math-BoldItalic.woff2 +0 -0
  77. package/web/dist/assets/KaTeX_Math-Italic.ttf +0 -0
  78. package/web/dist/assets/KaTeX_Math-Italic.woff +0 -0
  79. package/web/dist/assets/KaTeX_Math-Italic.woff2 +0 -0
  80. package/web/dist/assets/KaTeX_SansSerif-Bold.ttf +0 -0
  81. package/web/dist/assets/KaTeX_SansSerif-Bold.woff +0 -0
  82. package/web/dist/assets/KaTeX_SansSerif-Bold.woff2 +0 -0
  83. package/web/dist/assets/KaTeX_SansSerif-Italic.ttf +0 -0
  84. package/web/dist/assets/KaTeX_SansSerif-Italic.woff +0 -0
  85. package/web/dist/assets/KaTeX_SansSerif-Italic.woff2 +0 -0
  86. package/web/dist/assets/KaTeX_SansSerif-Regular.ttf +0 -0
  87. package/web/dist/assets/KaTeX_SansSerif-Regular.woff +0 -0
  88. package/web/dist/assets/KaTeX_SansSerif-Regular.woff2 +0 -0
  89. package/web/dist/assets/KaTeX_Script-Regular.ttf +0 -0
  90. package/web/dist/assets/KaTeX_Script-Regular.woff +0 -0
  91. package/web/dist/assets/KaTeX_Script-Regular.woff2 +0 -0
  92. package/web/dist/assets/KaTeX_Size1-Regular.ttf +0 -0
  93. package/web/dist/assets/KaTeX_Size1-Regular.woff +0 -0
  94. package/web/dist/assets/KaTeX_Size1-Regular.woff2 +0 -0
  95. package/web/dist/assets/KaTeX_Size2-Regular.ttf +0 -0
  96. package/web/dist/assets/KaTeX_Size2-Regular.woff +0 -0
  97. package/web/dist/assets/KaTeX_Size2-Regular.woff2 +0 -0
  98. package/web/dist/assets/KaTeX_Size3-Regular.ttf +0 -0
  99. package/web/dist/assets/KaTeX_Size3-Regular.woff +0 -0
  100. package/web/dist/assets/KaTeX_Size3-Regular.woff2 +0 -0
  101. package/web/dist/assets/KaTeX_Size4-Regular.ttf +0 -0
  102. package/web/dist/assets/KaTeX_Size4-Regular.woff +0 -0
  103. package/web/dist/assets/KaTeX_Size4-Regular.woff2 +0 -0
  104. package/web/dist/assets/KaTeX_Typewriter-Regular.ttf +0 -0
  105. package/web/dist/assets/KaTeX_Typewriter-Regular.woff +0 -0
  106. package/web/dist/assets/KaTeX_Typewriter-Regular.woff2 +0 -0
  107. package/web/dist/assets/cadence.css +2 -0
  108. package/web/dist/assets/cadence.js +7 -0
  109. package/web/dist/assets/markdown.js +296 -0
  110. package/web/dist/assets/react.js +9 -0
  111. package/web/dist/assets/rolldown-runtime.js +1 -0
  112. package/web/dist/assets/timeline-client.js +41 -0
  113. package/web/dist/assets/vis-timeline.css +1274 -0
  114. package/web/dist/assets/vis-timeline.js +32 -0
  115. package/web/dist/index.html +18 -0
  116. package/web/dist/manifest.json +505 -0
  117. package/config/plan-draft.example.json +0 -125
  118. package/config/plan-draft.multiple-tasks.example.json +0 -375
  119. package/config/plan-draft.quick.example.json +0 -78
  120. package/prompts/abel-design.md +0 -382
  121. package/prompts/abel-diagnose.md +0 -71
  122. package/prompts/abel-implement.md +0 -284
  123. package/prompts/abel-init.md +0 -52
  124. package/src/activation.ts +0 -44
  125. package/src/activity-contracts.ts +0 -82
  126. package/src/agent-registry.ts +0 -53
  127. package/src/apply-transaction.ts +0 -1437
  128. package/src/artifact-store.ts +0 -213
  129. package/src/build-windows-job.mjs +0 -95
  130. package/src/candidate-artifact.ts +0 -143
  131. package/src/candidate-context.ts +0 -289
  132. package/src/candidate-patch.ts +0 -271
  133. package/src/candidate-workspace.ts +0 -80
  134. package/src/canonical.ts +0 -16
  135. package/src/change-contract-schema.ts +0 -191
  136. package/src/change-contract.ts +0 -324
  137. package/src/change-verification.ts +0 -1617
  138. package/src/contracts.ts +0 -2466
  139. package/src/control-contracts.ts +0 -382
  140. package/src/delivery-compiler.ts +0 -1805
  141. package/src/delivery-revision.ts +0 -42
  142. package/src/design-control.ts +0 -1299
  143. package/src/design-diagnostics.ts +0 -181
  144. package/src/design-journal.ts +0 -1773
  145. package/src/directory-sync.ts +0 -36
  146. package/src/durable-contracts.ts +0 -227
  147. package/src/durable-workflow.ts +0 -822
  148. package/src/evidence-draft.ts +0 -122
  149. package/src/execution-profile.ts +0 -64
  150. package/src/execution-retention.ts +0 -77
  151. package/src/file-snapshot.ts +0 -163
  152. package/src/implement-continuation.ts +0 -559
  153. package/src/implement-graph.ts +0 -690
  154. package/src/implement-plan.ts +0 -72
  155. package/src/install-config.d.mts +0 -6
  156. package/src/isolation-backend.ts +0 -353
  157. package/src/model-source.ts +0 -22
  158. package/src/openspec-cli.ts +0 -494
  159. package/src/operator-cli-entry.mjs +0 -24
  160. package/src/operator-tools.ts +0 -309
  161. package/src/package-candidate-process.ts +0 -206
  162. package/src/package-candidate.ts +0 -24
  163. package/src/package-delivery.ts +0 -486
  164. package/src/package-state.ts +0 -320
  165. package/src/package-verification.ts +0 -635
  166. package/src/package-workflow.ts +0 -305
  167. package/src/packet-runtime.ts +0 -459
  168. package/src/phase-execution.ts +0 -2163
  169. package/src/pi-adapter.ts +0 -19
  170. package/src/plan-draft-summary.ts +0 -527
  171. package/src/plan-draft.ts +0 -502
  172. package/src/remove-path.ts +0 -32
  173. package/src/run-state.ts +0 -420
  174. package/src/run-store.ts +0 -1179
  175. package/src/safe-path.ts +0 -77
  176. package/src/scoped-grep-worker.mjs +0 -23
  177. package/src/scoped-tools.ts +0 -775
  178. package/src/single-task-draft.ts +0 -142
  179. package/src/sqlite-schema.ts +0 -171
  180. package/src/state-root.ts +0 -215
  181. package/src/storage-schema.ts +0 -360
  182. package/src/subagent-activity.ts +0 -1417
  183. package/src/subagent-process.ts +0 -476
  184. package/src/task-ledger.ts +0 -1338
  185. package/src/transport-budget.ts +0 -50
  186. package/src/verification-capability.ts +0 -1191
  187. package/src/verification-environment-io.ts +0 -389
  188. package/src/verification-environment.ts +0 -162
  189. package/src/verification-identity.ts +0 -77
  190. package/src/verification-scan.ts +0 -64
  191. package/src/windows-job-backend.ts +0 -419
  192. package/src/windows-job.c +0 -149
  193. package/src/workflow-engine.ts +0 -28
  194. package/src/workflow-policy.ts +0 -1670
  195. package/src/workflow-recovery-policy.ts +0 -97
  196. package/src/workflow-scheduling.ts +0 -105
  197. package/src/workflow-state-machine.ts +0 -4341
  198. package/src/workflow-status.ts +0 -576
  199. package/src/workspace-io-entry.mjs +0 -76
  200. package/src/workspace-io-worker.mjs +0 -1312
  201. package/src/workspace-io.ts +0 -89
  202. 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
+ }