@abelxiaoxing/cadence 1.8.4 → 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.
- package/README.md +324 -117
- package/THIRD_PARTY_NOTICES.md +15 -0
- package/agents/design-explorer.md +14 -18
- package/agents/diagnosis-worker.md +14 -14
- package/agents/implementation-worker.md +16 -17
- package/config/workflow-task.example.json +7 -0
- package/docs/remote-access.md +60 -0
- package/docs/reuse-and-distribution.md +44 -0
- package/docs/service-management.md +108 -0
- package/licenses/bundled-web.txt +6245 -0
- package/licenses/pi-web-ui-MIT.txt +21 -0
- package/licenses/pi-web-ui-reuse.md +22 -0
- package/package.json +94 -21
- package/src/index.ts +21 -1802
- package/src/native-build.ts +6 -0
- package/src/native-client.ts +103 -0
- package/src/native-export.ts +58 -0
- package/src/native-history.ts +359 -0
- package/src/operator-cli.mjs +453 -1937
- package/src/plan-proposal.ts +87 -0
- package/src/sdk-worker.mjs +549 -0
- package/src/service/contracts/active.ts +82 -0
- package/src/service/contracts/budget.ts +148 -0
- package/src/service/contracts/build.ts +67 -0
- package/src/service/contracts/capture.ts +48 -0
- package/src/service/contracts/core.ts +33 -0
- package/src/service/contracts/current.ts +261 -0
- package/src/service/contracts/domain.ts +68 -0
- package/src/service/contracts/history.ts +2245 -0
- package/src/service/contracts/models.ts +139 -0
- package/src/service/coordination.ts +862 -0
- package/src/service/private-files.ts +204 -0
- package/src/service-cli.mjs +5592 -0
- package/src/service-client.ts +747 -0
- package/src/service-contract.ts +245 -0
- package/src/service-host.mjs +22382 -0
- package/src/service-http-client.ts +425 -0
- package/src/service-wire.ts +372 -0
- package/src/task-shell.ts +1045 -0
- package/src/task-store.ts +479 -0
- package/src/task-types.ts +184 -0
- package/src/verification-diagnostics.ts +29 -72
- package/src/worker-capture.mjs +1197 -0
- package/src/worker-public.mjs +1753 -0
- package/src/worker-redaction.mjs +608 -0
- package/src/worker-tools.mjs +202 -0
- package/web/dist/assets/KaTeX_AMS-Regular.ttf +0 -0
- package/web/dist/assets/KaTeX_AMS-Regular.woff +0 -0
- package/web/dist/assets/KaTeX_AMS-Regular.woff2 +0 -0
- package/web/dist/assets/KaTeX_Caligraphic-Bold.ttf +0 -0
- package/web/dist/assets/KaTeX_Caligraphic-Bold.woff +0 -0
- package/web/dist/assets/KaTeX_Caligraphic-Bold.woff2 +0 -0
- package/web/dist/assets/KaTeX_Caligraphic-Regular.ttf +0 -0
- package/web/dist/assets/KaTeX_Caligraphic-Regular.woff +0 -0
- package/web/dist/assets/KaTeX_Caligraphic-Regular.woff2 +0 -0
- package/web/dist/assets/KaTeX_Fraktur-Bold.ttf +0 -0
- package/web/dist/assets/KaTeX_Fraktur-Bold.woff +0 -0
- package/web/dist/assets/KaTeX_Fraktur-Bold.woff2 +0 -0
- package/web/dist/assets/KaTeX_Fraktur-Regular.ttf +0 -0
- package/web/dist/assets/KaTeX_Fraktur-Regular.woff +0 -0
- package/web/dist/assets/KaTeX_Fraktur-Regular.woff2 +0 -0
- package/web/dist/assets/KaTeX_Main-Bold.ttf +0 -0
- package/web/dist/assets/KaTeX_Main-Bold.woff +0 -0
- package/web/dist/assets/KaTeX_Main-Bold.woff2 +0 -0
- package/web/dist/assets/KaTeX_Main-BoldItalic.ttf +0 -0
- package/web/dist/assets/KaTeX_Main-BoldItalic.woff +0 -0
- package/web/dist/assets/KaTeX_Main-BoldItalic.woff2 +0 -0
- package/web/dist/assets/KaTeX_Main-Italic.ttf +0 -0
- package/web/dist/assets/KaTeX_Main-Italic.woff +0 -0
- package/web/dist/assets/KaTeX_Main-Italic.woff2 +0 -0
- package/web/dist/assets/KaTeX_Main-Regular.ttf +0 -0
- package/web/dist/assets/KaTeX_Main-Regular.woff +0 -0
- package/web/dist/assets/KaTeX_Main-Regular.woff2 +0 -0
- package/web/dist/assets/KaTeX_Math-BoldItalic.ttf +0 -0
- package/web/dist/assets/KaTeX_Math-BoldItalic.woff +0 -0
- package/web/dist/assets/KaTeX_Math-BoldItalic.woff2 +0 -0
- package/web/dist/assets/KaTeX_Math-Italic.ttf +0 -0
- package/web/dist/assets/KaTeX_Math-Italic.woff +0 -0
- package/web/dist/assets/KaTeX_Math-Italic.woff2 +0 -0
- package/web/dist/assets/KaTeX_SansSerif-Bold.ttf +0 -0
- package/web/dist/assets/KaTeX_SansSerif-Bold.woff +0 -0
- package/web/dist/assets/KaTeX_SansSerif-Bold.woff2 +0 -0
- package/web/dist/assets/KaTeX_SansSerif-Italic.ttf +0 -0
- package/web/dist/assets/KaTeX_SansSerif-Italic.woff +0 -0
- package/web/dist/assets/KaTeX_SansSerif-Italic.woff2 +0 -0
- package/web/dist/assets/KaTeX_SansSerif-Regular.ttf +0 -0
- package/web/dist/assets/KaTeX_SansSerif-Regular.woff +0 -0
- package/web/dist/assets/KaTeX_SansSerif-Regular.woff2 +0 -0
- package/web/dist/assets/KaTeX_Script-Regular.ttf +0 -0
- package/web/dist/assets/KaTeX_Script-Regular.woff +0 -0
- package/web/dist/assets/KaTeX_Script-Regular.woff2 +0 -0
- package/web/dist/assets/KaTeX_Size1-Regular.ttf +0 -0
- package/web/dist/assets/KaTeX_Size1-Regular.woff +0 -0
- package/web/dist/assets/KaTeX_Size1-Regular.woff2 +0 -0
- package/web/dist/assets/KaTeX_Size2-Regular.ttf +0 -0
- package/web/dist/assets/KaTeX_Size2-Regular.woff +0 -0
- package/web/dist/assets/KaTeX_Size2-Regular.woff2 +0 -0
- package/web/dist/assets/KaTeX_Size3-Regular.ttf +0 -0
- package/web/dist/assets/KaTeX_Size3-Regular.woff +0 -0
- package/web/dist/assets/KaTeX_Size3-Regular.woff2 +0 -0
- package/web/dist/assets/KaTeX_Size4-Regular.ttf +0 -0
- package/web/dist/assets/KaTeX_Size4-Regular.woff +0 -0
- package/web/dist/assets/KaTeX_Size4-Regular.woff2 +0 -0
- package/web/dist/assets/KaTeX_Typewriter-Regular.ttf +0 -0
- package/web/dist/assets/KaTeX_Typewriter-Regular.woff +0 -0
- package/web/dist/assets/KaTeX_Typewriter-Regular.woff2 +0 -0
- package/web/dist/assets/cadence.css +2 -0
- package/web/dist/assets/cadence.js +7 -0
- package/web/dist/assets/markdown.js +296 -0
- package/web/dist/assets/react.js +9 -0
- package/web/dist/assets/rolldown-runtime.js +1 -0
- package/web/dist/assets/timeline-client.js +41 -0
- package/web/dist/assets/vis-timeline.css +1274 -0
- package/web/dist/assets/vis-timeline.js +32 -0
- package/web/dist/index.html +18 -0
- package/web/dist/manifest.json +505 -0
- package/config/plan-draft.example.json +0 -125
- package/config/plan-draft.multiple-tasks.example.json +0 -375
- package/config/plan-draft.quick.example.json +0 -78
- package/prompts/abel-design.md +0 -382
- package/prompts/abel-diagnose.md +0 -71
- package/prompts/abel-implement.md +0 -284
- package/prompts/abel-init.md +0 -52
- package/src/activation.ts +0 -44
- package/src/activity-contracts.ts +0 -82
- package/src/agent-registry.ts +0 -53
- package/src/apply-transaction.ts +0 -1437
- package/src/artifact-store.ts +0 -213
- package/src/build-windows-job.mjs +0 -95
- package/src/candidate-artifact.ts +0 -143
- package/src/candidate-context.ts +0 -289
- package/src/candidate-patch.ts +0 -271
- package/src/candidate-workspace.ts +0 -80
- package/src/canonical.ts +0 -16
- package/src/change-contract-schema.ts +0 -191
- package/src/change-contract.ts +0 -324
- package/src/change-verification.ts +0 -1617
- package/src/contracts.ts +0 -2466
- package/src/control-contracts.ts +0 -382
- package/src/delivery-compiler.ts +0 -1805
- package/src/delivery-revision.ts +0 -42
- package/src/design-control.ts +0 -1299
- package/src/design-diagnostics.ts +0 -181
- package/src/design-journal.ts +0 -1773
- package/src/directory-sync.ts +0 -36
- package/src/durable-contracts.ts +0 -227
- package/src/durable-workflow.ts +0 -822
- package/src/evidence-draft.ts +0 -122
- package/src/execution-profile.ts +0 -64
- package/src/execution-retention.ts +0 -77
- package/src/file-snapshot.ts +0 -163
- package/src/implement-continuation.ts +0 -559
- package/src/implement-graph.ts +0 -690
- package/src/implement-plan.ts +0 -72
- package/src/install-config.d.mts +0 -6
- package/src/isolation-backend.ts +0 -353
- package/src/model-source.ts +0 -22
- package/src/openspec-cli.ts +0 -494
- package/src/operator-cli-entry.mjs +0 -24
- package/src/operator-tools.ts +0 -309
- package/src/package-candidate-process.ts +0 -206
- package/src/package-candidate.ts +0 -24
- package/src/package-delivery.ts +0 -486
- package/src/package-state.ts +0 -320
- package/src/package-verification.ts +0 -635
- package/src/package-workflow.ts +0 -305
- package/src/packet-runtime.ts +0 -459
- package/src/phase-execution.ts +0 -2163
- package/src/pi-adapter.ts +0 -19
- package/src/plan-draft-summary.ts +0 -527
- package/src/plan-draft.ts +0 -502
- package/src/remove-path.ts +0 -32
- package/src/run-state.ts +0 -420
- package/src/run-store.ts +0 -1179
- package/src/safe-path.ts +0 -77
- package/src/scoped-grep-worker.mjs +0 -23
- package/src/scoped-tools.ts +0 -775
- package/src/single-task-draft.ts +0 -142
- package/src/sqlite-schema.ts +0 -171
- package/src/state-root.ts +0 -215
- package/src/storage-schema.ts +0 -360
- package/src/subagent-activity.ts +0 -1417
- package/src/subagent-process.ts +0 -476
- package/src/task-ledger.ts +0 -1338
- package/src/transport-budget.ts +0 -50
- package/src/verification-capability.ts +0 -1191
- package/src/verification-environment-io.ts +0 -389
- package/src/verification-environment.ts +0 -162
- package/src/verification-identity.ts +0 -77
- package/src/verification-scan.ts +0 -64
- package/src/windows-job-backend.ts +0 -419
- package/src/windows-job.c +0 -149
- package/src/workflow-engine.ts +0 -28
- package/src/workflow-policy.ts +0 -1670
- package/src/workflow-recovery-policy.ts +0 -97
- package/src/workflow-scheduling.ts +0 -105
- package/src/workflow-state-machine.ts +0 -4341
- package/src/workflow-status.ts +0 -576
- package/src/workspace-io-entry.mjs +0 -76
- package/src/workspace-io-worker.mjs +0 -1312
- package/src/workspace-io.ts +0 -89
- 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
|
+
}
|