@blxzer/cursor-trellis-core 0.4.2 → 0.4.3
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/index.d.ts +0 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +2 -3
- package/dist/index.js.map +1 -1
- package/dist/task/adapter-middleware.d.ts +91 -0
- package/dist/task/adapter-middleware.d.ts.map +1 -0
- package/dist/task/adapter-middleware.js +384 -0
- package/dist/task/adapter-middleware.js.map +1 -0
- package/dist/task/contract-migrate.d.ts +29 -0
- package/dist/task/contract-migrate.d.ts.map +1 -0
- package/dist/task/contract-migrate.js +207 -0
- package/dist/task/contract-migrate.js.map +1 -0
- package/dist/task/full-quality.d.ts +89 -0
- package/dist/task/full-quality.d.ts.map +1 -0
- package/dist/task/full-quality.js +379 -0
- package/dist/task/full-quality.js.map +1 -0
- package/dist/task/index.d.ts +20 -0
- package/dist/task/index.d.ts.map +1 -1
- package/dist/task/index.js +10 -0
- package/dist/task/index.js.map +1 -1
- package/dist/task/kernel-cli.d.ts +44 -0
- package/dist/task/kernel-cli.d.ts.map +1 -0
- package/dist/task/kernel-cli.js +287 -0
- package/dist/task/kernel-cli.js.map +1 -0
- package/dist/task/kernel-contract.d.ts +113 -0
- package/dist/task/kernel-contract.d.ts.map +1 -0
- package/dist/task/kernel-contract.js +332 -0
- package/dist/task/kernel-contract.js.map +1 -0
- package/dist/task/kernel-store.d.ts +99 -0
- package/dist/task/kernel-store.d.ts.map +1 -0
- package/dist/task/kernel-store.js +735 -0
- package/dist/task/kernel-store.js.map +1 -0
- package/dist/task/lite-context-pack.d.ts +71 -0
- package/dist/task/lite-context-pack.d.ts.map +1 -0
- package/dist/task/lite-context-pack.js +175 -0
- package/dist/task/lite-context-pack.js.map +1 -0
- package/dist/task/ondemand-topology.d.ts +100 -0
- package/dist/task/ondemand-topology.d.ts.map +1 -0
- package/dist/task/ondemand-topology.js +418 -0
- package/dist/task/ondemand-topology.js.map +1 -0
- package/dist/task/p36-artifact-migrate.d.ts +61 -0
- package/dist/task/p36-artifact-migrate.d.ts.map +1 -0
- package/dist/task/p36-artifact-migrate.js +336 -0
- package/dist/task/p36-artifact-migrate.js.map +1 -0
- package/dist/task/p36-wave-c.d.ts +39 -0
- package/dist/task/p36-wave-c.d.ts.map +1 -0
- package/dist/task/p36-wave-c.js +100 -0
- package/dist/task/p36-wave-c.js.map +1 -0
- package/dist/task/records.d.ts +9 -0
- package/dist/task/records.d.ts.map +1 -1
- package/dist/task/records.js +11 -0
- package/dist/task/records.js.map +1 -1
- package/package.json +1 -6
- package/dist/rpc/broker/audit.d.ts +0 -16
- package/dist/rpc/broker/audit.d.ts.map +0 -1
- package/dist/rpc/broker/audit.js +0 -33
- package/dist/rpc/broker/audit.js.map +0 -1
- package/dist/rpc/broker/in-process.d.ts +0 -62
- package/dist/rpc/broker/in-process.d.ts.map +0 -1
- package/dist/rpc/broker/in-process.js +0 -490
- package/dist/rpc/broker/in-process.js.map +0 -1
- package/dist/rpc/broker/journal.d.ts +0 -11
- package/dist/rpc/broker/journal.d.ts.map +0 -1
- package/dist/rpc/broker/journal.js +0 -17
- package/dist/rpc/broker/journal.js.map +0 -1
- package/dist/rpc/contract/errors.d.ts +0 -18
- package/dist/rpc/contract/errors.d.ts.map +0 -1
- package/dist/rpc/contract/errors.js +0 -55
- package/dist/rpc/contract/errors.js.map +0 -1
- package/dist/rpc/contract/parse.d.ts +0 -9
- package/dist/rpc/contract/parse.d.ts.map +0 -1
- package/dist/rpc/contract/parse.js +0 -144
- package/dist/rpc/contract/parse.js.map +0 -1
- package/dist/rpc/contract/topics.d.ts +0 -11
- package/dist/rpc/contract/topics.d.ts.map +0 -1
- package/dist/rpc/contract/topics.js +0 -42
- package/dist/rpc/contract/topics.js.map +0 -1
- package/dist/rpc/contract/types.d.ts +0 -54
- package/dist/rpc/contract/types.d.ts.map +0 -1
- package/dist/rpc/contract/types.js +0 -39
- package/dist/rpc/contract/types.js.map +0 -1
- package/dist/rpc/index.d.ts +0 -10
- package/dist/rpc/index.d.ts.map +0 -1
- package/dist/rpc/index.js +0 -11
- package/dist/rpc/index.js.map +0 -1
- package/dist/rpc/transport/localhost-server.d.ts +0 -36
- package/dist/rpc/transport/localhost-server.d.ts.map +0 -1
- package/dist/rpc/transport/localhost-server.js +0 -275
- package/dist/rpc/transport/localhost-server.js.map +0 -1
- package/dist/rpc/transport/websocket.d.ts +0 -20
- package/dist/rpc/transport/websocket.d.ts.map +0 -1
- package/dist/rpc/transport/websocket.js +0 -156
- package/dist/rpc/transport/websocket.js.map +0 -1
|
@@ -0,0 +1,379 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Stage 4 Full Quality contract (P28 Artifact/Quality, P29 Full Check, P30 S4).
|
|
3
|
+
*
|
|
4
|
+
* Pure helpers: resolve required_controls, AC → Evidence ledger, graded
|
|
5
|
+
* Independent Check. Does not write Kernel store or task.json. Disk field
|
|
6
|
+
* names here are an implementation choice — not a frozen Manifest schema.
|
|
7
|
+
* Fingerprints are a testable sha256 fixture, not a locked algorithm.
|
|
8
|
+
*/
|
|
9
|
+
import { createHash } from "node:crypto";
|
|
10
|
+
import fs from "node:fs";
|
|
11
|
+
import path from "node:path";
|
|
12
|
+
import { KernelError } from "./kernel-contract.js";
|
|
13
|
+
import { isPlainObject } from "./schema.js";
|
|
14
|
+
export const FULL_QUALITY_SOURCE = "full-quality-contract";
|
|
15
|
+
export const FULL_QUALITY_SCHEMA_VERSION = 1;
|
|
16
|
+
export const FULL_BASELINE_CONTROLS = [
|
|
17
|
+
"definition",
|
|
18
|
+
"execution-contract",
|
|
19
|
+
"verification-plan",
|
|
20
|
+
"evidence",
|
|
21
|
+
"independent-check",
|
|
22
|
+
];
|
|
23
|
+
export const FULL_OPTIONAL_CONTROLS = ["design"];
|
|
24
|
+
export const DEFAULT_CONTROL_SURFACES = {
|
|
25
|
+
definition: "prd.md",
|
|
26
|
+
"execution-contract": "implement.md",
|
|
27
|
+
"verification-plan": "implement.md",
|
|
28
|
+
evidence: "verify.md",
|
|
29
|
+
design: "design.md",
|
|
30
|
+
};
|
|
31
|
+
export const DESIGN_RISK_SIGNALS = [
|
|
32
|
+
"architecture",
|
|
33
|
+
"public-contract",
|
|
34
|
+
"schema",
|
|
35
|
+
"security",
|
|
36
|
+
"secret",
|
|
37
|
+
"framework-semantics",
|
|
38
|
+
"runtime-semantics",
|
|
39
|
+
];
|
|
40
|
+
const START_FILE_CONTROLS = new Set([
|
|
41
|
+
"definition",
|
|
42
|
+
"execution-contract",
|
|
43
|
+
"verification-plan",
|
|
44
|
+
"design",
|
|
45
|
+
]);
|
|
46
|
+
const ARCHIVE_FILE_CONTROLS = new Set([
|
|
47
|
+
"definition",
|
|
48
|
+
"execution-contract",
|
|
49
|
+
"verification-plan",
|
|
50
|
+
"evidence",
|
|
51
|
+
"design",
|
|
52
|
+
]);
|
|
53
|
+
const PLACEHOLDER_VALUE_RE = /^(TBD|TODO|待定|待补充|N\/?A|NA|NONE|-|\.\.\.)$/i;
|
|
54
|
+
const AC_ITEM_RE = /^\s*-\s*\[[ xX]\]\s+(.+)$/gm;
|
|
55
|
+
export function qualityFingerprint(payload) {
|
|
56
|
+
return `sha256:${createHash("sha256").update(payload, "utf8").digest("hex")}`;
|
|
57
|
+
}
|
|
58
|
+
export function resolveRequiredControls(input = {}) {
|
|
59
|
+
const rigor = input.rigor === "full" ? "full" : "lite";
|
|
60
|
+
const profile = typeof input.verificationProfile === "string" &&
|
|
61
|
+
input.verificationProfile.trim() !== ""
|
|
62
|
+
? input.verificationProfile.trim()
|
|
63
|
+
: null;
|
|
64
|
+
const riskSignals = (input.riskSignals ?? []).map((signal) => signal.trim().toLowerCase());
|
|
65
|
+
const policyRequiresDesign = input.policyRequiresDesign === true;
|
|
66
|
+
const designRequired = rigor === "full" &&
|
|
67
|
+
(policyRequiresDesign ||
|
|
68
|
+
profile === "architecture" ||
|
|
69
|
+
riskSignals.some((signal) => DESIGN_RISK_SIGNALS.includes(signal)));
|
|
70
|
+
let controls;
|
|
71
|
+
if (input.explicitControls && input.explicitControls.length > 0) {
|
|
72
|
+
controls = uniqueControls(input.explicitControls);
|
|
73
|
+
}
|
|
74
|
+
else if (rigor === "full") {
|
|
75
|
+
controls = [...FULL_BASELINE_CONTROLS];
|
|
76
|
+
if (designRequired)
|
|
77
|
+
controls.push("design");
|
|
78
|
+
}
|
|
79
|
+
else {
|
|
80
|
+
controls = ["definition", "evidence"];
|
|
81
|
+
}
|
|
82
|
+
if (designRequired && !controls.includes("design")) {
|
|
83
|
+
controls = [...controls, "design"];
|
|
84
|
+
}
|
|
85
|
+
return {
|
|
86
|
+
schema_version: FULL_QUALITY_SCHEMA_VERSION,
|
|
87
|
+
source: FULL_QUALITY_SOURCE,
|
|
88
|
+
rigor,
|
|
89
|
+
controls,
|
|
90
|
+
surfaces: {
|
|
91
|
+
...DEFAULT_CONTROL_SURFACES,
|
|
92
|
+
...(input.surfaces ?? {}),
|
|
93
|
+
},
|
|
94
|
+
resolved_from: {
|
|
95
|
+
verification_profile: profile,
|
|
96
|
+
risk_signals: riskSignals,
|
|
97
|
+
policy_requires_design: policyRequiresDesign,
|
|
98
|
+
},
|
|
99
|
+
};
|
|
100
|
+
}
|
|
101
|
+
export function parseAcceptanceItems(prdText) {
|
|
102
|
+
const items = [];
|
|
103
|
+
AC_ITEM_RE.lastIndex = 0;
|
|
104
|
+
let match;
|
|
105
|
+
let index = 0;
|
|
106
|
+
while ((match = AC_ITEM_RE.exec(prdText)) !== null) {
|
|
107
|
+
const statement = match[1]?.trim() ?? "";
|
|
108
|
+
if (!statement || PLACEHOLDER_VALUE_RE.test(statement))
|
|
109
|
+
continue;
|
|
110
|
+
index += 1;
|
|
111
|
+
items.push({ id: `AC-${index}`, statement });
|
|
112
|
+
}
|
|
113
|
+
return items;
|
|
114
|
+
}
|
|
115
|
+
export function buildAcEvidenceLedger(input) {
|
|
116
|
+
const byId = new Map(input.mappings.map((mapping) => [mapping.ac_id, mapping]));
|
|
117
|
+
const items = [];
|
|
118
|
+
for (const ac of input.acceptanceItems) {
|
|
119
|
+
const mapping = byId.get(ac.id);
|
|
120
|
+
if (!mapping || mapping.evidence_ref.trim() === "") {
|
|
121
|
+
throw new KernelError("INVALID_REQUEST", `AC → Evidence ledger missing mapping for ${ac.id}`);
|
|
122
|
+
}
|
|
123
|
+
if (PLACEHOLDER_VALUE_RE.test(mapping.evidence_ref.trim())) {
|
|
124
|
+
throw new KernelError("INVALID_REQUEST", `AC → Evidence ledger placeholder mapping for ${ac.id} (no fake-green)`);
|
|
125
|
+
}
|
|
126
|
+
items.push({
|
|
127
|
+
ac_id: ac.id,
|
|
128
|
+
evidence_ref: mapping.evidence_ref.trim(),
|
|
129
|
+
});
|
|
130
|
+
}
|
|
131
|
+
return {
|
|
132
|
+
schema_version: FULL_QUALITY_SCHEMA_VERSION,
|
|
133
|
+
items,
|
|
134
|
+
source_fingerprint: input.sourceFingerprint,
|
|
135
|
+
evidence_fingerprint: input.evidenceFingerprint,
|
|
136
|
+
tested_code_fingerprint: input.testedCodeFingerprint,
|
|
137
|
+
};
|
|
138
|
+
}
|
|
139
|
+
export function evaluateIndependentCheck(input) {
|
|
140
|
+
if (input.attemptedWrites) {
|
|
141
|
+
throw new KernelError("INVALID_REQUEST", "Independent Check is read-only; repairs return to Execute");
|
|
142
|
+
}
|
|
143
|
+
const evidence = input.evidence.trim();
|
|
144
|
+
if (input.mode === "true-independent" && !input.independentWorkerAvailable) {
|
|
145
|
+
return {
|
|
146
|
+
schema_version: FULL_QUALITY_SCHEMA_VERSION,
|
|
147
|
+
mode: "true-independent",
|
|
148
|
+
readonly: true,
|
|
149
|
+
result: "BLOCKED",
|
|
150
|
+
evidence,
|
|
151
|
+
independent_worker: false,
|
|
152
|
+
code_fingerprint: input.codeFingerprint,
|
|
153
|
+
};
|
|
154
|
+
}
|
|
155
|
+
if (evidence === "" || PLACEHOLDER_VALUE_RE.test(evidence)) {
|
|
156
|
+
throw new KernelError("INVALID_REQUEST", "Independent Check PASS/FAIL requires non-empty evidence (no fake-green)");
|
|
157
|
+
}
|
|
158
|
+
return {
|
|
159
|
+
schema_version: FULL_QUALITY_SCHEMA_VERSION,
|
|
160
|
+
mode: input.mode,
|
|
161
|
+
readonly: true,
|
|
162
|
+
result: "PASS",
|
|
163
|
+
evidence,
|
|
164
|
+
independent_worker: input.independentWorkerAvailable,
|
|
165
|
+
code_fingerprint: input.codeFingerprint,
|
|
166
|
+
};
|
|
167
|
+
}
|
|
168
|
+
export function readRequiredControls(extras) {
|
|
169
|
+
const raw = extras.required_controls;
|
|
170
|
+
if (raw === undefined || raw === null)
|
|
171
|
+
return null;
|
|
172
|
+
return normalizeRequiredControls(raw);
|
|
173
|
+
}
|
|
174
|
+
export function normalizeRequiredControls(raw) {
|
|
175
|
+
if (!isPlainObject(raw)) {
|
|
176
|
+
throw new KernelError("INVALID_REQUEST", "required_controls must be a JSON object");
|
|
177
|
+
}
|
|
178
|
+
const rigor = raw.rigor === "full" ? "full" : raw.rigor === "lite" ? "lite" : null;
|
|
179
|
+
if (rigor === null) {
|
|
180
|
+
throw new KernelError("INVALID_REQUEST", "required_controls.rigor must be lite or full");
|
|
181
|
+
}
|
|
182
|
+
const controlsIn = raw.controls;
|
|
183
|
+
const controls = Array.isArray(controlsIn)
|
|
184
|
+
? uniqueControls(controlsIn.filter((item) => typeof item === "string"))
|
|
185
|
+
: rigor === "full"
|
|
186
|
+
? [...FULL_BASELINE_CONTROLS]
|
|
187
|
+
: ["definition", "evidence"];
|
|
188
|
+
const surfaces = isPlainObject(raw.surfaces) &&
|
|
189
|
+
Object.values(raw.surfaces).every((value) => typeof value === "string")
|
|
190
|
+
? {
|
|
191
|
+
...DEFAULT_CONTROL_SURFACES,
|
|
192
|
+
...raw.surfaces,
|
|
193
|
+
}
|
|
194
|
+
: { ...DEFAULT_CONTROL_SURFACES };
|
|
195
|
+
const resolved = isPlainObject(raw.resolved_from) ? raw.resolved_from : {};
|
|
196
|
+
return {
|
|
197
|
+
schema_version: FULL_QUALITY_SCHEMA_VERSION,
|
|
198
|
+
source: FULL_QUALITY_SOURCE,
|
|
199
|
+
rigor,
|
|
200
|
+
controls,
|
|
201
|
+
surfaces,
|
|
202
|
+
resolved_from: {
|
|
203
|
+
verification_profile: typeof resolved.verification_profile === "string"
|
|
204
|
+
? resolved.verification_profile
|
|
205
|
+
: null,
|
|
206
|
+
risk_signals: Array.isArray(resolved.risk_signals)
|
|
207
|
+
? resolved.risk_signals.filter((item) => typeof item === "string")
|
|
208
|
+
: [],
|
|
209
|
+
policy_requires_design: resolved.policy_requires_design === true,
|
|
210
|
+
},
|
|
211
|
+
};
|
|
212
|
+
}
|
|
213
|
+
export function normalizeRequiredControlsInExtras(extras) {
|
|
214
|
+
if (extras.required_controls === undefined || extras.required_controls === null) {
|
|
215
|
+
extras.required_controls = resolveRequiredControls({ rigor: "lite" });
|
|
216
|
+
return;
|
|
217
|
+
}
|
|
218
|
+
extras.required_controls = normalizeRequiredControls(extras.required_controls);
|
|
219
|
+
}
|
|
220
|
+
export function assertFullQualityForPhase(taskDir, extras, phase, options = {}) {
|
|
221
|
+
const bundle = readRequiredControls(extras);
|
|
222
|
+
if (bundle?.rigor !== "full")
|
|
223
|
+
return;
|
|
224
|
+
const fileControls = phase === "start" ? START_FILE_CONTROLS : ARCHIVE_FILE_CONTROLS;
|
|
225
|
+
assertControlSurfaces(taskDir, bundle, fileControls);
|
|
226
|
+
if (phase === "start")
|
|
227
|
+
return;
|
|
228
|
+
assertArchiveEvidenceNotPlaceholder(taskDir, bundle);
|
|
229
|
+
assertAcEvidenceLedgerFresh(taskDir, bundle, extras, options);
|
|
230
|
+
assertIndependentCheckForClose(extras, options);
|
|
231
|
+
}
|
|
232
|
+
export function assertIndependentCheckGateRecord(record) {
|
|
233
|
+
const mode = readCheckMode(record.mode ?? record.assurance);
|
|
234
|
+
if (record.readonly === false) {
|
|
235
|
+
throw new KernelError("INVALID_REQUEST", "Independent Check is read-only; repairs return to Execute");
|
|
236
|
+
}
|
|
237
|
+
if (mode === "true-independent" && record.independent_worker !== true) {
|
|
238
|
+
throw new KernelError("INVALID_REQUEST", "true-independent Check cannot be satisfied without an independent worker");
|
|
239
|
+
}
|
|
240
|
+
}
|
|
241
|
+
function assertControlSurfaces(taskDir, bundle, fileControls) {
|
|
242
|
+
const seen = new Set();
|
|
243
|
+
for (const control of bundle.controls) {
|
|
244
|
+
if (!fileControls.has(control))
|
|
245
|
+
continue;
|
|
246
|
+
const relative = bundle.surfaces[control] ?? DEFAULT_CONTROL_SURFACES[control];
|
|
247
|
+
if (!relative)
|
|
248
|
+
continue;
|
|
249
|
+
if (seen.has(relative))
|
|
250
|
+
continue;
|
|
251
|
+
seen.add(relative);
|
|
252
|
+
const file = path.join(taskDir, relative);
|
|
253
|
+
if (!fs.existsSync(file)) {
|
|
254
|
+
throw new KernelError("INVALID_REQUEST", `Full required control ${control} missing surface ${relative}`);
|
|
255
|
+
}
|
|
256
|
+
const text = fs.readFileSync(file, "utf-8").trim();
|
|
257
|
+
if (text === "") {
|
|
258
|
+
throw new KernelError("INVALID_REQUEST", `Full required control ${control} has empty surface ${relative}`);
|
|
259
|
+
}
|
|
260
|
+
}
|
|
261
|
+
}
|
|
262
|
+
function assertArchiveEvidenceNotPlaceholder(taskDir, bundle) {
|
|
263
|
+
if (!bundle.controls.includes("evidence"))
|
|
264
|
+
return;
|
|
265
|
+
const relative = bundle.surfaces.evidence ?? DEFAULT_CONTROL_SURFACES.evidence;
|
|
266
|
+
const file = path.join(taskDir, relative);
|
|
267
|
+
if (!fs.existsSync(file))
|
|
268
|
+
return;
|
|
269
|
+
const text = fs.readFileSync(file, "utf-8");
|
|
270
|
+
const validation = text.match(/validation(?:\s+(?:commands?|results?|evidence))?\s*:\s*(\S[^\r\n]*)/i);
|
|
271
|
+
const value = validation?.[1]?.trim() ?? "";
|
|
272
|
+
if (!value || PLACEHOLDER_VALUE_RE.test(value)) {
|
|
273
|
+
throw new KernelError("INVALID_REQUEST", `${relative} looks like placeholder evidence (no fake-green)`);
|
|
274
|
+
}
|
|
275
|
+
}
|
|
276
|
+
function assertAcEvidenceLedgerFresh(taskDir, bundle, extras, options) {
|
|
277
|
+
const raw = extras.ac_evidence_ledger;
|
|
278
|
+
if (!isPlainObject(raw)) {
|
|
279
|
+
throw new KernelError("INVALID_REQUEST", "Full Close requires a machine-readable AC → Evidence ledger");
|
|
280
|
+
}
|
|
281
|
+
const definitionPath = bundle.surfaces.definition ?? DEFAULT_CONTROL_SURFACES.definition;
|
|
282
|
+
const evidencePath = bundle.surfaces.evidence ?? DEFAULT_CONTROL_SURFACES.evidence;
|
|
283
|
+
const prdText = readOptional(taskDir, definitionPath);
|
|
284
|
+
const acceptance = parseAcceptanceItems(prdText);
|
|
285
|
+
if (acceptance.length === 0) {
|
|
286
|
+
throw new KernelError("INVALID_REQUEST", `${definitionPath} has no Acceptance Criteria items to map`);
|
|
287
|
+
}
|
|
288
|
+
const mappings = Array.isArray(raw.items)
|
|
289
|
+
? raw.items
|
|
290
|
+
.filter(isPlainObject)
|
|
291
|
+
.map((item) => ({
|
|
292
|
+
ac_id: typeof item.ac_id === "string" ? item.ac_id : "",
|
|
293
|
+
evidence_ref: typeof item.evidence_ref === "string" ? item.evidence_ref : "",
|
|
294
|
+
}))
|
|
295
|
+
: [];
|
|
296
|
+
const currentSource = qualityFingerprint(prdText);
|
|
297
|
+
const currentEvidence = qualityFingerprint(readOptional(taskDir, evidencePath));
|
|
298
|
+
if (typeof raw.source_fingerprint === "string" &&
|
|
299
|
+
raw.source_fingerprint !== currentSource) {
|
|
300
|
+
throw new KernelError("INVALID_REQUEST", "AC → Evidence ledger is stale after Definition/code change; re-run Verify");
|
|
301
|
+
}
|
|
302
|
+
if (typeof raw.evidence_fingerprint === "string" &&
|
|
303
|
+
raw.evidence_fingerprint !== currentEvidence) {
|
|
304
|
+
throw new KernelError("INVALID_REQUEST", "AC → Evidence ledger is stale after Evidence change; re-run Verify");
|
|
305
|
+
}
|
|
306
|
+
const expectedCode = options.testedCodeFingerprint ??
|
|
307
|
+
(typeof raw.tested_code_fingerprint === "string"
|
|
308
|
+
? raw.tested_code_fingerprint
|
|
309
|
+
: undefined);
|
|
310
|
+
if (expectedCode &&
|
|
311
|
+
typeof raw.tested_code_fingerprint === "string" &&
|
|
312
|
+
raw.tested_code_fingerprint !== expectedCode) {
|
|
313
|
+
throw new KernelError("INVALID_REQUEST", "AC → Evidence ledger is stale after tested-code change; re-run Verify");
|
|
314
|
+
}
|
|
315
|
+
buildAcEvidenceLedger({
|
|
316
|
+
acceptanceItems: acceptance,
|
|
317
|
+
mappings,
|
|
318
|
+
sourceFingerprint: currentSource,
|
|
319
|
+
evidenceFingerprint: currentEvidence,
|
|
320
|
+
testedCodeFingerprint: expectedCode,
|
|
321
|
+
});
|
|
322
|
+
}
|
|
323
|
+
function assertIndependentCheckForClose(extras, options) {
|
|
324
|
+
const raw = extras.independent_check;
|
|
325
|
+
if (!isPlainObject(raw)) {
|
|
326
|
+
throw new KernelError("INVALID_REQUEST", "Full Close requires a graded Independent Check verdict");
|
|
327
|
+
}
|
|
328
|
+
if (raw.readonly === false) {
|
|
329
|
+
throw new KernelError("INVALID_REQUEST", "Independent Check is read-only; repairs return to Execute");
|
|
330
|
+
}
|
|
331
|
+
const mode = readCheckMode(raw.mode ?? raw.assurance);
|
|
332
|
+
if (mode === "true-independent" && raw.independent_worker !== true) {
|
|
333
|
+
throw new KernelError("INVALID_REQUEST", "true-independent Check cannot be satisfied without an independent worker");
|
|
334
|
+
}
|
|
335
|
+
if (raw.result === "BLOCKED") {
|
|
336
|
+
throw new KernelError("INVALID_REQUEST", "Independent Check is blocked; do not silently claim independent");
|
|
337
|
+
}
|
|
338
|
+
if (raw.result !== "PASS") {
|
|
339
|
+
throw new KernelError("INVALID_REQUEST", "Full Close requires Independent Check result PASS");
|
|
340
|
+
}
|
|
341
|
+
if (typeof raw.evidence !== "string" || raw.evidence.trim() === "") {
|
|
342
|
+
throw new KernelError("INVALID_REQUEST", "Independent Check PASS requires non-empty evidence (no fake-green)");
|
|
343
|
+
}
|
|
344
|
+
const currentCode = options.testedCodeFingerprint;
|
|
345
|
+
if (currentCode &&
|
|
346
|
+
typeof raw.code_fingerprint === "string" &&
|
|
347
|
+
raw.code_fingerprint !== currentCode) {
|
|
348
|
+
throw new KernelError("INVALID_REQUEST", "Independent Check verdict is stale after code change; return to Execute and re-check");
|
|
349
|
+
}
|
|
350
|
+
const ledger = extras.ac_evidence_ledger;
|
|
351
|
+
if (isPlainObject(ledger) &&
|
|
352
|
+
typeof ledger.tested_code_fingerprint === "string" &&
|
|
353
|
+
typeof raw.code_fingerprint === "string" &&
|
|
354
|
+
raw.code_fingerprint !== ledger.tested_code_fingerprint) {
|
|
355
|
+
throw new KernelError("INVALID_REQUEST", "Independent Check verdict is stale after code change; return to Execute and re-check");
|
|
356
|
+
}
|
|
357
|
+
}
|
|
358
|
+
function readCheckMode(value) {
|
|
359
|
+
if (value === "self-review" || value === "true-independent")
|
|
360
|
+
return value;
|
|
361
|
+
throw new KernelError("INVALID_REQUEST", "Independent Check mode must be self-review or true-independent");
|
|
362
|
+
}
|
|
363
|
+
function uniqueControls(values) {
|
|
364
|
+
const out = [];
|
|
365
|
+
for (const value of values) {
|
|
366
|
+
const id = value.trim();
|
|
367
|
+
if (!id || out.includes(id))
|
|
368
|
+
continue;
|
|
369
|
+
out.push(id);
|
|
370
|
+
}
|
|
371
|
+
return out;
|
|
372
|
+
}
|
|
373
|
+
function readOptional(taskDir, relative) {
|
|
374
|
+
const file = path.join(taskDir, relative);
|
|
375
|
+
if (!fs.existsSync(file))
|
|
376
|
+
return "";
|
|
377
|
+
return fs.readFileSync(file, "utf-8");
|
|
378
|
+
}
|
|
379
|
+
//# sourceMappingURL=full-quality.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"full-quality.js","sourceRoot":"","sources":["../../src/task/full-quality.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,MAAM,CAAC,MAAM,mBAAmB,GAAG,uBAAuB,CAAC;AAC3D,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAU,CAAC;AAEtD,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,YAAY;IACZ,oBAAoB;IACpB,mBAAmB;IACnB,UAAU;IACV,mBAAmB;CACX,CAAC;AAEX,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,QAAQ,CAAU,CAAC;AAE1D,MAAM,CAAC,MAAM,wBAAwB,GAA2B;IAC9D,UAAU,EAAE,QAAQ;IACpB,oBAAoB,EAAE,cAAc;IACpC,mBAAmB,EAAE,cAAc;IACnC,QAAQ,EAAE,WAAW;IACrB,MAAM,EAAE,WAAW;CACpB,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,cAAc;IACd,iBAAiB;IACjB,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,qBAAqB;IACrB,mBAAmB;CACX,CAAC;AAEX,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IAClC,YAAY;IACZ,oBAAoB;IACpB,mBAAmB;IACnB,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,YAAY;IACZ,oBAAoB;IACpB,mBAAmB;IACnB,UAAU;IACV,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,6CAA6C,CAAC;AAC3E,MAAM,UAAU,GAAG,6BAA6B,CAAC;AAqEjD,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,QAAsC,EAAE;IAExC,MAAM,KAAK,GAAqB,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IACzE,MAAM,OAAO,GACX,OAAO,KAAK,CAAC,mBAAmB,KAAK,QAAQ;QAC7C,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE;QACrC,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE;QAClC,CAAC,CAAC,IAAI,CAAC;IACX,MAAM,WAAW,GAAG,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3D,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAC5B,CAAC;IACF,MAAM,oBAAoB,GAAG,KAAK,CAAC,oBAAoB,KAAK,IAAI,CAAC;IACjE,MAAM,cAAc,GAClB,KAAK,KAAK,MAAM;QAChB,CAAC,oBAAoB;YACnB,OAAO,KAAK,cAAc;YAC1B,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACzB,mBAAyC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAC5D,CAAC,CAAC;IAEP,IAAI,QAAkB,CAAC;IACvB,IAAI,KAAK,CAAC,gBAAgB,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChE,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACpD,CAAC;SAAM,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;QAC5B,QAAQ,GAAG,CAAC,GAAG,sBAAsB,CAAC,CAAC;QACvC,IAAI,cAAc;YAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,cAAc,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnD,QAAQ,GAAG,CAAC,GAAG,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IAED,OAAO;QACL,cAAc,EAAE,2BAA2B;QAC3C,MAAM,EAAE,mBAAmB;QAC3B,KAAK;QACL,QAAQ;QACR,QAAQ,EAAE;YACR,GAAG,wBAAwB;YAC3B,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC;SAC1B;QACD,aAAa,EAAE;YACb,oBAAoB,EAAE,OAAO;YAC7B,YAAY,EAAE,WAAW;YACzB,sBAAsB,EAAE,oBAAoB;SAC7C;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,OAAe;IAClD,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,UAAU,CAAC,SAAS,GAAG,CAAC,CAAC;IACzB,IAAI,KAA6B,CAAC;IAClC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,CAAC,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACnD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACzC,IAAI,CAAC,SAAS,IAAI,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC;YAAE,SAAS;QACjE,KAAK,IAAI,CAAC,CAAC;QACX,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,KAAK,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAMrC;IACC,MAAM,IAAI,GAAG,IAAI,GAAG,CAClB,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAU,CAAC,CACnE,CAAC;IACF,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACnD,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,4CAA4C,EAAE,CAAC,EAAE,EAAE,CACpD,CAAC;QACJ,CAAC;QACD,IAAI,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,gDAAgD,EAAE,CAAC,EAAE,kBAAkB,CACxE,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,EAAE,CAAC,EAAE;YACZ,YAAY,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE;SAC1C,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,cAAc,EAAE,2BAA2B;QAC3C,KAAK;QACL,kBAAkB,EAAE,KAAK,CAAC,iBAAiB;QAC3C,oBAAoB,EAAE,KAAK,CAAC,mBAAmB;QAC/C,uBAAuB,EAAE,KAAK,CAAC,qBAAqB;KACrD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,KAAoC;IAEpC,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAC1B,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,2DAA2D,CAC5D,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;IACvC,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,KAAK,CAAC,0BAA0B,EAAE,CAAC;QAC3E,OAAO;YACL,cAAc,EAAE,2BAA2B;YAC3C,IAAI,EAAE,kBAAkB;YACxB,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,SAAS;YACjB,QAAQ;YACR,kBAAkB,EAAE,KAAK;YACzB,gBAAgB,EAAE,KAAK,CAAC,eAAe;SACxC,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,KAAK,EAAE,IAAI,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,yEAAyE,CAC1E,CAAC;IACJ,CAAC;IACD,OAAO;QACL,cAAc,EAAE,2BAA2B;QAC3C,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,MAAM;QACd,QAAQ;QACR,kBAAkB,EAAE,KAAK,CAAC,0BAA0B;QACpD,gBAAgB,EAAE,KAAK,CAAC,eAAe;KACxC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,MAA+B;IAE/B,MAAM,GAAG,GAAG,MAAM,CAAC,iBAAiB,CAAC;IACrC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnD,OAAO,yBAAyB,CAAC,GAAG,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,GAAY;IACpD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,yCAAyC,CAC1C,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,8CAA8C,CAC/C,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,GAAG,CAAC,QAAQ,CAAC;IAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QACxC,CAAC,CAAC,cAAc,CACZ,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CACtE;QACH,CAAC,CAAC,KAAK,KAAK,MAAM;YAChB,CAAC,CAAC,CAAC,GAAG,sBAAsB,CAAC;YAC7B,CAAC,CAAC,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;IACjC,MAAM,QAAQ,GACZ,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC3B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;QACrE,CAAC,CAAC;YACE,GAAG,wBAAwB;YAC3B,GAAI,GAAG,CAAC,QAAmC;SAC5C;QACH,CAAC,CAAC,EAAE,GAAG,wBAAwB,EAAE,CAAC;IACtC,MAAM,QAAQ,GACZ,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5D,OAAO;QACL,cAAc,EAAE,2BAA2B;QAC3C,MAAM,EAAE,mBAAmB;QAC3B,KAAK;QACL,QAAQ;QACR,QAAQ;QACR,aAAa,EAAE;YACb,oBAAoB,EAClB,OAAO,QAAQ,CAAC,oBAAoB,KAAK,QAAQ;gBAC/C,CAAC,CAAC,QAAQ,CAAC,oBAAoB;gBAC/B,CAAC,CAAC,IAAI;YACV,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;gBAChD,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAC1B,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CACnD;gBACH,CAAC,CAAC,EAAE;YACN,sBAAsB,EAAE,QAAQ,CAAC,sBAAsB,KAAK,IAAI;SACjE;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,MAA+B;IAE/B,IAAI,MAAM,CAAC,iBAAiB,KAAK,SAAS,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAChF,MAAM,CAAC,iBAAiB,GAAG,uBAAuB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACtE,OAAO;IACT,CAAC;IACD,MAAM,CAAC,iBAAiB,GAAG,yBAAyB,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,OAAe,EACf,MAA+B,EAC/B,KAAuB,EACvB,UAA8C,EAAE;IAEhD,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,MAAM,EAAE,KAAK,KAAK,MAAM;QAAE,OAAO;IAErC,MAAM,YAAY,GAAG,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,qBAAqB,CAAC;IACrF,qBAAqB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IAErD,IAAI,KAAK,KAAK,OAAO;QAAE,OAAO;IAE9B,mCAAmC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACrD,2BAA2B,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9D,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,MAA+B;IAE/B,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC;IAC5D,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;QAC9B,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,2DAA2D,CAC5D,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,kBAAkB,KAAK,IAAI,EAAE,CAAC;QACtE,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,0EAA0E,CAC3E,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAe,EACf,MAA8B,EAC9B,YAAiC;IAEjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QACzC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,wBAAwB,CAAC,OAAO,CAAC,CAAC;QAC/E,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QACjC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACnB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC1C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,yBAAyB,OAAO,oBAAoB,QAAQ,EAAE,CAC/D,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;QACnD,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YAChB,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,yBAAyB,OAAO,sBAAsB,QAAQ,EAAE,CACjE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,mCAAmC,CAC1C,OAAe,EACf,MAA8B;IAE9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO;IAClD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,IAAI,wBAAwB,CAAC,QAAQ,CAAC;IAC/E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC1C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO;IACjC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAC3B,uEAAuE,CACxE,CAAC;IACF,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC5C,IAAI,CAAC,KAAK,IAAI,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,GAAG,QAAQ,kDAAkD,CAC9D,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,OAAe,EACf,MAA8B,EAC9B,MAA+B,EAC/B,OAA2C;IAE3C,MAAM,GAAG,GAAG,MAAM,CAAC,kBAAkB,CAAC;IACtC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,6DAA6D,CAC9D,CAAC;IACJ,CAAC;IACD,MAAM,cAAc,GAClB,MAAM,CAAC,QAAQ,CAAC,UAAU,IAAI,wBAAwB,CAAC,UAAU,CAAC;IACpE,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,IAAI,wBAAwB,CAAC,QAAQ,CAAC;IACnF,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,GAAG,cAAc,0CAA0C,CAC5D,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;QACvC,CAAC,CAAC,GAAG,CAAC,KAAK;aACN,MAAM,CAAC,aAAa,CAAC;aACrB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACd,KAAK,EAAE,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YACvD,YAAY,EACV,OAAO,IAAI,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE;SACjE,CAAC,CAAC;QACP,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,aAAa,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,eAAe,GAAG,kBAAkB,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;IAChF,IACE,OAAO,GAAG,CAAC,kBAAkB,KAAK,QAAQ;QAC1C,GAAG,CAAC,kBAAkB,KAAK,aAAa,EACxC,CAAC;QACD,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IACD,IACE,OAAO,GAAG,CAAC,oBAAoB,KAAK,QAAQ;QAC5C,GAAG,CAAC,oBAAoB,KAAK,eAAe,EAC5C,CAAC;QACD,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAChB,OAAO,CAAC,qBAAqB;QAC7B,CAAC,OAAO,GAAG,CAAC,uBAAuB,KAAK,QAAQ;YAC9C,CAAC,CAAC,GAAG,CAAC,uBAAuB;YAC7B,CAAC,CAAC,SAAS,CAAC,CAAC;IACjB,IACE,YAAY;QACZ,OAAO,GAAG,CAAC,uBAAuB,KAAK,QAAQ;QAC/C,GAAG,CAAC,uBAAuB,KAAK,YAAY,EAC5C,CAAC;QACD,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,uEAAuE,CACxE,CAAC;IACJ,CAAC;IACD,qBAAqB,CAAC;QACpB,eAAe,EAAE,UAAU;QAC3B,QAAQ;QACR,iBAAiB,EAAE,aAAa;QAChC,mBAAmB,EAAE,eAAe;QACpC,qBAAqB,EAAE,YAAY;KACpC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,8BAA8B,CACrC,MAA+B,EAC/B,OAA2C;IAE3C,MAAM,GAAG,GAAG,MAAM,CAAC,iBAAiB,CAAC;IACrC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,wDAAwD,CACzD,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;QAC3B,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,2DAA2D,CAC5D,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IACtD,IAAI,IAAI,KAAK,kBAAkB,IAAI,GAAG,CAAC,kBAAkB,KAAK,IAAI,EAAE,CAAC;QACnE,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,0EAA0E,CAC3E,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,iEAAiE,CAClE,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,mDAAmD,CACpD,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnE,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,qBAAqB,CAAC;IAClD,IACE,WAAW;QACX,OAAO,GAAG,CAAC,gBAAgB,KAAK,QAAQ;QACxC,GAAG,CAAC,gBAAgB,KAAK,WAAW,EACpC,CAAC;QACD,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,sFAAsF,CACvF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,kBAAkB,CAAC;IACzC,IACE,aAAa,CAAC,MAAM,CAAC;QACrB,OAAO,MAAM,CAAC,uBAAuB,KAAK,QAAQ;QAClD,OAAO,GAAG,CAAC,gBAAgB,KAAK,QAAQ;QACxC,GAAG,CAAC,gBAAgB,KAAK,MAAM,CAAC,uBAAuB,EACvD,CAAC;QACD,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,sFAAsF,CACvF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,KAAK,KAAK,aAAa,IAAI,KAAK,KAAK,kBAAkB;QAAE,OAAO,KAAK,CAAC;IAC1E,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,gEAAgE,CACjE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,MAAyB;IAC/C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,SAAS;QACtC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,YAAY,CAAC,OAAe,EAAE,QAAgB;IACrD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC1C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACxC,CAAC"}
|
package/dist/task/index.d.ts
CHANGED
|
@@ -6,4 +6,24 @@ export type { TaskDirParts } from "./paths.js";
|
|
|
6
6
|
export { validateTaskDirName, isValidTaskDirName } from "./paths.js";
|
|
7
7
|
export type { TrellisTaskPhase } from "./phase.js";
|
|
8
8
|
export { inferTaskPhase } from "./phase.js";
|
|
9
|
+
export type { KernelPhase, KernelCondition, KernelOutcome, KernelErrorCode, KernelState, KernelIdentity, KernelAuditEvent, KernelSnapshot, KernelGates, KernelLegacyProjection, KernelCommandOp, TransitionRequest, LegacyTaskProjection, } from "./kernel-contract.js";
|
|
10
|
+
export { KERNEL_SCHEMA_VERSION, KERNEL_JSON_BASENAME, KERNEL_PHASES, KERNEL_CONDITIONS, KERNEL_OUTCOMES, KERNEL_PHASE_EDGES, KERNEL_COMMAND_OPS, KernelError, isKernelPhase, isLegalPhaseEdge, deriveStateForPhase, projectLegacyStatus, kernelPhaseToLegacyStatus, hopsToExecute, hopsToClose, } from "./kernel-contract.js";
|
|
11
|
+
export type { LitePackErrorCode, LitePackArtifact, LitePackItem, LitePackOmission, LiteContextPackRequest, LiteContextPack, } from "./lite-context-pack.js";
|
|
12
|
+
export { LITE_PACK_VERSION, LITE_PACK_SOURCE, LITE_BASELINE_MODULES, LITE_BLOCKED_ON_DEMAND_MODULES, LITE_RETRIEVAL_INTENTS, LITE_DEFAULT_MAX_ITEMS, LITE_DEFAULT_MAX_ESTIMATED_TOKENS, LiteContextPackError, isBlockedOnDemandModule, estimateLiteTokens, buildLiteContextPack, } from "./lite-context-pack.js";
|
|
13
|
+
export type { FullQualityRigor, FullQualityPhase, FullQualityControlId, IndependentCheckMode, IndependentCheckResult, ResolveRequiredControlsInput, RequiredControlsBundle, AcceptanceItem, AcEvidenceMapping, AcEvidenceLedger, IndependentCheckVerdict, EvaluateIndependentCheckInput, } from "./full-quality.js";
|
|
14
|
+
export { FULL_QUALITY_SOURCE, FULL_QUALITY_SCHEMA_VERSION, FULL_BASELINE_CONTROLS, FULL_OPTIONAL_CONTROLS, DEFAULT_CONTROL_SURFACES, DESIGN_RISK_SIGNALS, qualityFingerprint, resolveRequiredControls, parseAcceptanceItems, buildAcEvidenceLedger, evaluateIndependentCheck, readRequiredControls, normalizeRequiredControls, normalizeRequiredControlsInExtras, assertFullQualityForPhase, assertIndependentCheckGateRecord, } from "./full-quality.js";
|
|
15
|
+
export type { TopologyKind, DependencyEdgeType, Stage5CommandPhase, Stage5OndemandModule, TopologyState, DependencyEdge, DependencyGraph, OndemandTrigger, OndemandModules, DecomposeProposal, CaptureCandidate, TaskMapGraphProjection, Stage5RecordHint, } from "./ondemand-topology.js";
|
|
16
|
+
export { STAGE5_SOURCE, STAGE5_SCHEMA_VERSION, TOPOLOGY_KINDS, DEPENDENCY_EDGE_TYPES, LIFECYCLE_SLOTS, STAGE5_ONDEMAND_MODULES, ONDEMAND_OWNERS, LITE_DORMANT_ONDEMAND, topologyKindFromChildren, defaultTopology, defaultOndemandModules, defaultDependencyGraph, captureCandidate, proposeDecompose, confirmDecompose, applyRetention, assignParent, assertIntegrationAuthority, expandDependsOnToRequires, unmetRequires, projectTaskMapGraph, renderTaskMapProjection, residentOnDemandModules, activateOnDemand, normalizeTopology, normalizeDependencyGraph, normalizeOndemandModules, readTopology, readDependencyGraph, readOndemandModules, normalizeStage5InExtras, assertStage5ForPhase, normalizeStage5InExtrasAndAssert, } from "./ondemand-topology.js";
|
|
17
|
+
export type { Stage6HookEvent, RetrievalIntent, Stage6CommandPhase, ProviderReadinessStatus, EventSubscription, EventBridgeLastEvent, EventBridgeState, ProviderReadiness, MiddlewareProviders, CapabilityRouter, DispatchHookEventInput, } from "./adapter-middleware.js";
|
|
18
|
+
export { STAGE6_SOURCE, STAGE6_SCHEMA_VERSION, STAGE6_HOOK_EVENTS, RETRIEVAL_INTENTS, DEFAULT_MIDDLEWARE_PROVIDERS, OPTIONAL_CODE_INTEL_PROVIDERS, SMART_SEARCH_PROVIDER, EXTERNAL_KNOWLEDGE_CAPABILITY, defaultEventBridge, defaultMiddlewareProviders, defaultCapabilityRouter, subscribeEvent, recordHookEvent, probeSmartSearchReadiness, applySmartSearchReadiness, normalizeEventBridge, normalizeMiddlewareProviders, normalizeCapabilityRouter, readEventBridge, readMiddlewareProviders, readCapabilityRouter, requiredCapabilities, externalKnowledgeReady, normalizeStage6InExtras, assertStage6ForPhase, normalizeStage6InExtrasAndAssert, } from "./adapter-middleware.js";
|
|
19
|
+
export type { KernelReadResult, KernelTransitionResult, KernelCommandResult, KernelCreateRequest, KernelStartRequest, KernelRecordGateRequest, KernelArchiveRequest, KernelPatchRequest, } from "./kernel-store.js";
|
|
20
|
+
export { readKernel, applyKernelTransition, applyKernelCreate, applyKernelStart, applyKernelRecordGate, applyKernelArchive, applyKernelPatch, resolveTaskDir, kernelJsonPath, setKernelAfterWriteHook, } from "./kernel-store.js";
|
|
21
|
+
export type { KernelCliSuccess, KernelCliFailure, KernelCliResponse, KernelCliIo, } from "./kernel-cli.js";
|
|
22
|
+
export { handleKernelRequest, runKernelJsonCli } from "./kernel-cli.js";
|
|
23
|
+
export type { ContractMigrateFindingKind, ContractMigrateFinding, ContractMigrateReport, ScanContractMigrationOptions, } from "./contract-migrate.js";
|
|
24
|
+
export { RETIRED_TOP_LEVEL_FIELDS, RETIRED_META_FIELDS, stripRetiredExtras, stripRetiredMeta, scanContractMigration, } from "./contract-migrate.js";
|
|
25
|
+
export type { ArtifactWriteTarget, ArtifactTaskScan, ArtifactMigratePlan, PlanArtifactMigrationOptions, ApplyArtifactMigrationOptions, ApplyArtifactMigrationResult, } from "./p36-artifact-migrate.js";
|
|
26
|
+
export { P36_ARTIFACT_SOURCE, planArtifactMigration, applyArtifactMigration, formatArtifactVernacular, } from "./p36-artifact-migrate.js";
|
|
27
|
+
export type { WaveCState, WaveCPlan } from "./p36-wave-c.js";
|
|
28
|
+
export { WAVE_C_STATE_REL, WAVE_C_SCHEMA_VERSION, waveCStatePath, emptyWaveCState, readWaveCState, isWaveCConfirmed, writeWaveCConfirmed, planWaveC, formatWaveCVernacular, } from "./p36-wave-c.js";
|
|
9
29
|
//# sourceMappingURL=index.d.ts.map
|
package/dist/task/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/task/index.ts"],"names":[],"mappings":"AAKA,YAAY,EACV,iBAAiB,EACjB,eAAe,GAChB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,uBAAuB,EACvB,eAAe,EACf,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAErB,YAAY,EACV,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,cAAc,EACd,eAAe,GAChB,MAAM,cAAc,CAAC;AAEtB,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAErE,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/task/index.ts"],"names":[],"mappings":"AAKA,YAAY,EACV,iBAAiB,EACjB,eAAe,GAChB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,uBAAuB,EACvB,eAAe,EACf,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAErB,YAAY,EACV,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,cAAc,EACd,eAAe,GAChB,MAAM,cAAc,CAAC;AAEtB,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAErE,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,YAAY,EACV,WAAW,EACX,eAAe,EACf,aAAa,EACb,eAAe,EACf,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,WAAW,EACX,sBAAsB,EACtB,eAAe,EACf,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,kBAAkB,EAClB,kBAAkB,EAClB,WAAW,EACX,aAAa,EACb,gBAAgB,EAChB,mBAAmB,EACnB,mBAAmB,EACnB,yBAAyB,EACzB,aAAa,EACb,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EACV,iBAAiB,EACjB,gBAAgB,EAChB,YAAY,EACZ,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,GAChB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,8BAA8B,EAC9B,sBAAsB,EACtB,sBAAsB,EACtB,iCAAiC,EACjC,oBAAoB,EACpB,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAEhC,YAAY,EACV,gBAAgB,EAChB,gBAAgB,EAChB,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,4BAA4B,EAC5B,sBAAsB,EACtB,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAChB,uBAAuB,EACvB,6BAA6B,GAC9B,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,mBAAmB,EACnB,2BAA2B,EAC3B,sBAAsB,EACtB,sBAAsB,EACtB,wBAAwB,EACxB,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,EACpB,yBAAyB,EACzB,iCAAiC,EACjC,yBAAyB,EACzB,gCAAgC,GACjC,MAAM,mBAAmB,CAAC;AAE3B,YAAY,EACV,YAAY,EACZ,kBAAkB,EAClB,kBAAkB,EAClB,oBAAoB,EACpB,aAAa,EACb,cAAc,EACd,eAAe,EACf,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,gBAAgB,EAChB,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,cAAc,EACd,qBAAqB,EACrB,eAAe,EACf,uBAAuB,EACvB,eAAe,EACf,qBAAqB,EACrB,wBAAwB,EACxB,eAAe,EACf,sBAAsB,EACtB,sBAAsB,EACtB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,0BAA0B,EAC1B,yBAAyB,EACzB,aAAa,EACb,mBAAmB,EACnB,uBAAuB,EACvB,uBAAuB,EACvB,gBAAgB,EAChB,iBAAiB,EACjB,wBAAwB,EACxB,wBAAwB,EACxB,YAAY,EACZ,mBAAmB,EACnB,mBAAmB,EACnB,uBAAuB,EACvB,oBAAoB,EACpB,gCAAgC,GACjC,MAAM,wBAAwB,CAAC;AAEhC,YAAY,EACV,eAAe,EACf,eAAe,EACf,kBAAkB,EAClB,uBAAuB,EACvB,iBAAiB,EACjB,oBAAoB,EACpB,gBAAgB,EAChB,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,kBAAkB,EAClB,iBAAiB,EACjB,4BAA4B,EAC5B,6BAA6B,EAC7B,qBAAqB,EACrB,6BAA6B,EAC7B,kBAAkB,EAClB,0BAA0B,EAC1B,uBAAuB,EACvB,cAAc,EACd,eAAe,EACf,yBAAyB,EACzB,yBAAyB,EACzB,oBAAoB,EACpB,4BAA4B,EAC5B,yBAAyB,EACzB,eAAe,EACf,uBAAuB,EACvB,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,uBAAuB,EACvB,oBAAoB,EACpB,gCAAgC,GACjC,MAAM,yBAAyB,CAAC;AAEjC,YAAY,EACV,gBAAgB,EAChB,sBAAsB,EACtB,mBAAmB,EACnB,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,UAAU,EACV,qBAAqB,EACrB,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,uBAAuB,GACxB,MAAM,mBAAmB,CAAC;AAE3B,YAAY,EACV,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,WAAW,GACZ,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAExE,YAAY,EACV,0BAA0B,EAC1B,sBAAsB,EACtB,qBAAqB,EACrB,4BAA4B,GAC7B,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,wBAAwB,EACxB,mBAAmB,EACnB,kBAAkB,EAClB,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAE/B,YAAY,EACV,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,4BAA4B,EAC5B,6BAA6B,EAC7B,4BAA4B,GAC7B,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EACL,mBAAmB,EACnB,qBAAqB,EACrB,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,2BAA2B,CAAC;AAEnC,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE7D,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EACrB,cAAc,EACd,eAAe,EACf,cAAc,EACd,gBAAgB,EAChB,mBAAmB,EACnB,SAAS,EACT,qBAAqB,GACtB,MAAM,iBAAiB,CAAC"}
|
package/dist/task/index.js
CHANGED
|
@@ -6,4 +6,14 @@ export { TASK_RECORD_FIELD_ORDER, emptyTaskRecord, taskRecordSchema, } from "./s
|
|
|
6
6
|
export { loadTaskRecord, writeTaskRecord, } from "./records.js";
|
|
7
7
|
export { validateTaskDirName, isValidTaskDirName } from "./paths.js";
|
|
8
8
|
export { inferTaskPhase } from "./phase.js";
|
|
9
|
+
export { KERNEL_SCHEMA_VERSION, KERNEL_JSON_BASENAME, KERNEL_PHASES, KERNEL_CONDITIONS, KERNEL_OUTCOMES, KERNEL_PHASE_EDGES, KERNEL_COMMAND_OPS, KernelError, isKernelPhase, isLegalPhaseEdge, deriveStateForPhase, projectLegacyStatus, kernelPhaseToLegacyStatus, hopsToExecute, hopsToClose, } from "./kernel-contract.js";
|
|
10
|
+
export { LITE_PACK_VERSION, LITE_PACK_SOURCE, LITE_BASELINE_MODULES, LITE_BLOCKED_ON_DEMAND_MODULES, LITE_RETRIEVAL_INTENTS, LITE_DEFAULT_MAX_ITEMS, LITE_DEFAULT_MAX_ESTIMATED_TOKENS, LiteContextPackError, isBlockedOnDemandModule, estimateLiteTokens, buildLiteContextPack, } from "./lite-context-pack.js";
|
|
11
|
+
export { FULL_QUALITY_SOURCE, FULL_QUALITY_SCHEMA_VERSION, FULL_BASELINE_CONTROLS, FULL_OPTIONAL_CONTROLS, DEFAULT_CONTROL_SURFACES, DESIGN_RISK_SIGNALS, qualityFingerprint, resolveRequiredControls, parseAcceptanceItems, buildAcEvidenceLedger, evaluateIndependentCheck, readRequiredControls, normalizeRequiredControls, normalizeRequiredControlsInExtras, assertFullQualityForPhase, assertIndependentCheckGateRecord, } from "./full-quality.js";
|
|
12
|
+
export { STAGE5_SOURCE, STAGE5_SCHEMA_VERSION, TOPOLOGY_KINDS, DEPENDENCY_EDGE_TYPES, LIFECYCLE_SLOTS, STAGE5_ONDEMAND_MODULES, ONDEMAND_OWNERS, LITE_DORMANT_ONDEMAND, topologyKindFromChildren, defaultTopology, defaultOndemandModules, defaultDependencyGraph, captureCandidate, proposeDecompose, confirmDecompose, applyRetention, assignParent, assertIntegrationAuthority, expandDependsOnToRequires, unmetRequires, projectTaskMapGraph, renderTaskMapProjection, residentOnDemandModules, activateOnDemand, normalizeTopology, normalizeDependencyGraph, normalizeOndemandModules, readTopology, readDependencyGraph, readOndemandModules, normalizeStage5InExtras, assertStage5ForPhase, normalizeStage5InExtrasAndAssert, } from "./ondemand-topology.js";
|
|
13
|
+
export { STAGE6_SOURCE, STAGE6_SCHEMA_VERSION, STAGE6_HOOK_EVENTS, RETRIEVAL_INTENTS, DEFAULT_MIDDLEWARE_PROVIDERS, OPTIONAL_CODE_INTEL_PROVIDERS, SMART_SEARCH_PROVIDER, EXTERNAL_KNOWLEDGE_CAPABILITY, defaultEventBridge, defaultMiddlewareProviders, defaultCapabilityRouter, subscribeEvent, recordHookEvent, probeSmartSearchReadiness, applySmartSearchReadiness, normalizeEventBridge, normalizeMiddlewareProviders, normalizeCapabilityRouter, readEventBridge, readMiddlewareProviders, readCapabilityRouter, requiredCapabilities, externalKnowledgeReady, normalizeStage6InExtras, assertStage6ForPhase, normalizeStage6InExtrasAndAssert, } from "./adapter-middleware.js";
|
|
14
|
+
export { readKernel, applyKernelTransition, applyKernelCreate, applyKernelStart, applyKernelRecordGate, applyKernelArchive, applyKernelPatch, resolveTaskDir, kernelJsonPath, setKernelAfterWriteHook, } from "./kernel-store.js";
|
|
15
|
+
export { handleKernelRequest, runKernelJsonCli } from "./kernel-cli.js";
|
|
16
|
+
export { RETIRED_TOP_LEVEL_FIELDS, RETIRED_META_FIELDS, stripRetiredExtras, stripRetiredMeta, scanContractMigration, } from "./contract-migrate.js";
|
|
17
|
+
export { P36_ARTIFACT_SOURCE, planArtifactMigration, applyArtifactMigration, formatArtifactVernacular, } from "./p36-artifact-migrate.js";
|
|
18
|
+
export { WAVE_C_STATE_REL, WAVE_C_SCHEMA_VERSION, waveCStatePath, emptyWaveCState, readWaveCState, isWaveCConfirmed, writeWaveCConfirmed, planWaveC, formatWaveCVernacular, } from "./p36-wave-c.js";
|
|
9
19
|
//# sourceMappingURL=index.js.map
|
package/dist/task/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/task/index.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,kEAAkE;AAClE,EAAE;AACF,8DAA8D;AAO9D,OAAO,EACL,uBAAuB,EACvB,eAAe,EACf,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAOrB,OAAO,EACL,cAAc,EACd,eAAe,GAChB,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAGrE,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/task/index.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,kEAAkE;AAClE,EAAE;AACF,8DAA8D;AAO9D,OAAO,EACL,uBAAuB,EACvB,eAAe,EACf,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAOrB,OAAO,EACL,cAAc,EACd,eAAe,GAChB,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAGrE,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAkB5C,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,kBAAkB,EAClB,kBAAkB,EAClB,WAAW,EACX,aAAa,EACb,gBAAgB,EAChB,mBAAmB,EACnB,mBAAmB,EACnB,yBAAyB,EACzB,aAAa,EACb,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAW9B,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,8BAA8B,EAC9B,sBAAsB,EACtB,sBAAsB,EACtB,iCAAiC,EACjC,oBAAoB,EACpB,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAiBhC,OAAO,EACL,mBAAmB,EACnB,2BAA2B,EAC3B,sBAAsB,EACtB,sBAAsB,EACtB,wBAAwB,EACxB,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,EACpB,yBAAyB,EACzB,iCAAiC,EACjC,yBAAyB,EACzB,gCAAgC,GACjC,MAAM,mBAAmB,CAAC;AAkB3B,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,cAAc,EACd,qBAAqB,EACrB,eAAe,EACf,uBAAuB,EACvB,eAAe,EACf,qBAAqB,EACrB,wBAAwB,EACxB,eAAe,EACf,sBAAsB,EACtB,sBAAsB,EACtB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,0BAA0B,EAC1B,yBAAyB,EACzB,aAAa,EACb,mBAAmB,EACnB,uBAAuB,EACvB,uBAAuB,EACvB,gBAAgB,EAChB,iBAAiB,EACjB,wBAAwB,EACxB,wBAAwB,EACxB,YAAY,EACZ,mBAAmB,EACnB,mBAAmB,EACnB,uBAAuB,EACvB,oBAAoB,EACpB,gCAAgC,GACjC,MAAM,wBAAwB,CAAC;AAgBhC,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,kBAAkB,EAClB,iBAAiB,EACjB,4BAA4B,EAC5B,6BAA6B,EAC7B,qBAAqB,EACrB,6BAA6B,EAC7B,kBAAkB,EAClB,0BAA0B,EAC1B,uBAAuB,EACvB,cAAc,EACd,eAAe,EACf,yBAAyB,EACzB,yBAAyB,EACzB,oBAAoB,EACpB,4BAA4B,EAC5B,yBAAyB,EACzB,eAAe,EACf,uBAAuB,EACvB,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,uBAAuB,EACvB,oBAAoB,EACpB,gCAAgC,GACjC,MAAM,yBAAyB,CAAC;AAajC,OAAO,EACL,UAAU,EACV,qBAAqB,EACrB,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,uBAAuB,GACxB,MAAM,mBAAmB,CAAC;AAS3B,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AASxE,OAAO,EACL,wBAAwB,EACxB,mBAAmB,EACnB,kBAAkB,EAClB,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAW/B,OAAO,EACL,mBAAmB,EACnB,qBAAqB,EACrB,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,2BAA2B,CAAC;AAInC,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EACrB,cAAc,EACd,eAAe,EACf,cAAc,EACd,gBAAgB,EAChB,mBAAmB,EACnB,SAAS,EACT,qBAAqB,GACtB,MAAM,iBAAiB,CAAC"}
|
|
@@ -0,0 +1,44 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Stateless Kernel JSON CLI (stdin → stdout). Stage 2 write channel for
|
|
3
|
+
* Task core state: create / start / record-gate / archive / patch project
|
|
4
|
+
* the legacy task.json surface as the same command. `transition` stays the
|
|
5
|
+
* Stage 1 kernel.json-only hop (no status rewrite).
|
|
6
|
+
*/
|
|
7
|
+
import { type ContractMigrateReport } from "./contract-migrate.js";
|
|
8
|
+
import { type KernelErrorCode } from "./kernel-contract.js";
|
|
9
|
+
import { type KernelCommandResult, type KernelReadResult, type KernelTransitionResult } from "./kernel-store.js";
|
|
10
|
+
export type KernelCliSuccess = ({
|
|
11
|
+
ok: true;
|
|
12
|
+
op: "read";
|
|
13
|
+
} & KernelReadResult) | ({
|
|
14
|
+
ok: true;
|
|
15
|
+
op: "transition";
|
|
16
|
+
} & KernelTransitionResult) | ({
|
|
17
|
+
ok: true;
|
|
18
|
+
op: "create" | "start" | "record-gate" | "archive" | "patch";
|
|
19
|
+
} & KernelCommandResult) | ({
|
|
20
|
+
ok: true;
|
|
21
|
+
op: "migrate";
|
|
22
|
+
} & ContractMigrateReport);
|
|
23
|
+
export interface KernelCliFailure {
|
|
24
|
+
ok: false;
|
|
25
|
+
error: {
|
|
26
|
+
code: KernelErrorCode | "INVALID_REQUEST";
|
|
27
|
+
message: string;
|
|
28
|
+
};
|
|
29
|
+
halfConversion?: {
|
|
30
|
+
kernelPersisted: boolean;
|
|
31
|
+
projectionPersisted: boolean;
|
|
32
|
+
};
|
|
33
|
+
}
|
|
34
|
+
export type KernelCliResponse = KernelCliSuccess | KernelCliFailure;
|
|
35
|
+
export interface KernelCliIo {
|
|
36
|
+
stdin?: NodeJS.ReadableStream;
|
|
37
|
+
stdout?: NodeJS.WritableStream;
|
|
38
|
+
cwd?: string;
|
|
39
|
+
}
|
|
40
|
+
export declare function handleKernelRequest(input: unknown, options?: {
|
|
41
|
+
cwd?: string;
|
|
42
|
+
}): KernelCliResponse;
|
|
43
|
+
export declare function runKernelJsonCli(io?: KernelCliIo): Promise<number>;
|
|
44
|
+
//# sourceMappingURL=kernel-cli.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"kernel-cli.d.ts","sourceRoot":"","sources":["../../src/task/kernel-cli.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAEL,KAAK,qBAAqB,EAC3B,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAIL,KAAK,eAAe,EAErB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EASL,KAAK,mBAAmB,EAGxB,KAAK,gBAAgB,EAGrB,KAAK,sBAAsB,EAC5B,MAAM,mBAAmB,CAAC;AAE3B,MAAM,MAAM,gBAAgB,GACxB,CAAC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAAG,gBAAgB,CAAC,GAC7C,CAAC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,YAAY,CAAA;CAAE,GAAG,sBAAsB,CAAC,GACzD,CAAC;IACC,EAAE,EAAE,IAAI,CAAC;IACT,EAAE,EAAE,QAAQ,GAAG,OAAO,GAAG,aAAa,GAAG,SAAS,GAAG,OAAO,CAAC;CAC9D,GAAG,mBAAmB,CAAC,GACxB,CAAC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,SAAS,CAAA;CAAE,GAAG,qBAAqB,CAAC,CAAC;AAE1D,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,KAAK,CAAC;IACV,KAAK,EAAE;QAAE,IAAI,EAAE,eAAe,GAAG,iBAAiB,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACtE,cAAc,CAAC,EAAE;QAAE,eAAe,EAAE,OAAO,CAAC;QAAC,mBAAmB,EAAE,OAAO,CAAA;KAAE,CAAC;CAC7E;AAED,MAAM,MAAM,iBAAiB,GAAG,gBAAgB,GAAG,gBAAgB,CAAC;AAEpE,MAAM,WAAW,WAAW;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC;IAC9B,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC;IAC/B,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,OAAO,EACd,OAAO,GAAE;IAAE,GAAG,CAAC,EAAE,MAAM,CAAA;CAAO,GAC7B,iBAAiB,CAMnB;AAED,wBAAsB,gBAAgB,CAAC,EAAE,GAAE,WAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAqB5E"}
|