agentskeptic 3.6.0 → 3.7.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 +8 -0
- package/config/marketing.json +2 -2
- package/dist/bootstrap/executeBootstrapPack.d.ts +8 -3
- package/dist/bootstrap/executeBootstrapPack.d.ts.map +1 -1
- package/dist/bootstrap/executeBootstrapPack.js +20 -16
- package/dist/bootstrap/executeBootstrapPack.js.map +1 -1
- package/dist/bootstrap/packActivationStages.d.ts +40 -0
- package/dist/bootstrap/packActivationStages.d.ts.map +1 -0
- package/dist/bootstrap/packActivationStages.js +58 -0
- package/dist/bootstrap/packActivationStages.js.map +1 -0
- package/dist/bootstrap/runBootstrapSubcommand.d.ts +1 -0
- package/dist/bootstrap/runBootstrapSubcommand.d.ts.map +1 -1
- package/dist/bootstrap/runBootstrapSubcommand.js +222 -6
- package/dist/bootstrap/runBootstrapSubcommand.js.map +1 -1
- package/dist/cli.js +13 -5
- package/dist/cli.js.map +1 -1
- package/dist/commercial/postVerifyOutcomeBeacon.d.ts +12 -8
- package/dist/commercial/postVerifyOutcomeBeacon.d.ts.map +1 -1
- package/dist/commercial/postVerifyOutcomeBeacon.js +16 -7
- package/dist/commercial/postVerifyOutcomeBeacon.js.map +1 -1
- package/dist/commercial/verifyOutcomeBeaconBody.d.ts +20 -4
- package/dist/commercial/verifyOutcomeBeaconBody.d.ts.map +1 -1
- package/dist/commercial/verifyOutcomeBeaconBody.js +5 -1
- package/dist/commercial/verifyOutcomeBeaconBody.js.map +1 -1
- package/dist/crossing/runCrossingSubcommand.d.ts.map +1 -1
- package/dist/crossing/runCrossingSubcommand.js +15 -7
- package/dist/crossing/runCrossingSubcommand.js.map +1 -1
- package/dist/execution-identity.v1.json +1 -1
- package/dist/loadEvents.d.ts.map +1 -1
- package/dist/loadEvents.js +13 -1
- package/dist/loadEvents.js.map +1 -1
- package/dist/publicDistribution.generated.d.ts +1 -1
- package/dist/publicDistribution.generated.js +1 -1
- package/dist/quickVerify/runQuickVerify.d.ts.map +1 -1
- package/dist/quickVerify/runQuickVerify.js +49 -2
- package/dist/quickVerify/runQuickVerify.js.map +1 -1
- package/dist/schemaLoad.d.ts +1 -1
- package/dist/schemaLoad.d.ts.map +1 -1
- package/dist/schemaLoad.js +2 -0
- package/dist/schemaLoad.js.map +1 -1
- package/dist/standardVerifyWorkflowCli.d.ts +2 -2
- package/dist/standardVerifyWorkflowCli.d.ts.map +1 -1
- package/dist/standardVerifyWorkflowCli.js +1 -1
- package/dist/standardVerifyWorkflowCli.js.map +1 -1
- package/dist/verify/batchVerifyTelemetrySubcommand.d.ts.map +1 -1
- package/dist/verify/batchVerifyTelemetrySubcommand.js +23 -3
- package/dist/verify/batchVerifyTelemetrySubcommand.js.map +1 -1
- package/dist/verify/writeContractProofArtifacts.d.ts +14 -0
- package/dist/verify/writeContractProofArtifacts.d.ts.map +1 -0
- package/dist/verify/writeContractProofArtifacts.js +18 -0
- package/dist/verify/writeContractProofArtifacts.js.map +1 -0
- package/package.json +1 -1
- package/schemas/activation-manifest-v1.schema.json +77 -0
- package/schemas/openapi-commercial-v1.yaml +1 -1
package/README.md
CHANGED
|
@@ -56,6 +56,14 @@ steps:
|
|
|
56
56
|
<!-- adoption-canonical:start -->
|
|
57
57
|
## Default path: DecisionGate before you act
|
|
58
58
|
|
|
59
|
+
Canonical **activation** from `BootstrapPackInput` v1 + a readable database URL (`agentskeptic activate` writes `proof/` under `--out` on exits 0–2; **`agentskeptic bootstrap`** is the legacy verb with the same kernel but no proof subtree — see [`docs/bootstrap-pack-normative.md`](docs/bootstrap-pack-normative.md)):
|
|
60
|
+
|
|
61
|
+
```bash
|
|
62
|
+
npx agentskeptic activate --input ./path/to/workflow-bootstrap-input.json \
|
|
63
|
+
--db ./path/to/readable.sqlite \
|
|
64
|
+
--out ./path/to/agent-pack
|
|
65
|
+
```
|
|
66
|
+
|
|
59
67
|
### Lifecycle
|
|
60
68
|
|
|
61
69
|
1. Keep **`agentskeptic/tools.json`** in version control; update when `toolId` → SQL mapping changes.
|
package/config/marketing.json
CHANGED
|
@@ -52,7 +52,7 @@
|
|
|
52
52
|
"site": {
|
|
53
53
|
"integrate": {
|
|
54
54
|
"title": "Get started",
|
|
55
|
-
"description": "
|
|
55
|
+
"description": "Bring workflow input plus a readable database URL; exit with retained pack and trusted proof artifacts under ./proof/."
|
|
56
56
|
},
|
|
57
57
|
"openGraph": {
|
|
58
58
|
"image": {
|
|
@@ -81,7 +81,7 @@
|
|
|
81
81
|
}
|
|
82
82
|
},
|
|
83
83
|
"integratePage": {
|
|
84
|
-
"packLedCommand": "npx agentskeptic
|
|
84
|
+
"packLedCommand": "npx agentskeptic activate --input ./path/to/workflow-bootstrap-input.json \\\n --db ./path/to/readable.sqlite \\\n --out ./path/to/agent-pack\n\n# Replay only (advanced): NDJSON pack you already authored\nnpx agentskeptic crossing \\\n --workflow-id YOUR_WORKFLOW_ID \\\n --events ./path/to/events.ndjson \\\n --registry ./path/to/tools.json \\\n --db ./path/to/readable.sqlite",
|
|
85
85
|
"githubDeepLink": "https://github.com/jwekavanagh/agentskeptic/blob/main/docs/integrate.md",
|
|
86
86
|
"githubFirstRunLink": "https://github.com/jwekavanagh/agentskeptic/blob/main/docs/integrate.md"
|
|
87
87
|
},
|
|
@@ -1,5 +1,9 @@
|
|
|
1
1
|
import type { WorkflowResult } from "../types.js";
|
|
2
2
|
import type { ParsedBootstrapCli } from "./bootstrapCliArgs.js";
|
|
3
|
+
export type ExecuteBootstrapPackOptions = {
|
|
4
|
+
/** Outer `activate` reserves preflight; kernel skips duplicated license reserve. Defaults to `run_here`. */
|
|
5
|
+
preflight?: "run_here" | "caller_reserved";
|
|
6
|
+
};
|
|
3
7
|
export declare function cleanupOutDirFromPath(outResolved: string): void;
|
|
4
8
|
export type ExecuteBootstrapPackSuccess = {
|
|
5
9
|
kind: "pack_ready";
|
|
@@ -8,6 +12,7 @@ export type ExecuteBootstrapPackSuccess = {
|
|
|
8
12
|
registryPath: string;
|
|
9
13
|
outResolved: string;
|
|
10
14
|
exportedToolCount: number;
|
|
15
|
+
workflowResult: WorkflowResult;
|
|
11
16
|
};
|
|
12
17
|
export type ExecuteBootstrapPackFailure = {
|
|
13
18
|
kind: "bootstrap_cli_error";
|
|
@@ -24,9 +29,9 @@ export type ExecuteBootstrapPackFailure = {
|
|
|
24
29
|
/**
|
|
25
30
|
* Core bootstrap pack build + in-process contract verify.
|
|
26
31
|
* On success (`pack_ready`), leaves `outResolved` on disk.
|
|
27
|
-
* On `verify_terminal`,
|
|
28
|
-
* On `
|
|
32
|
+
* On `verify_terminal`, retains `outResolved` (`proof/` inspectable via `agentskeptic activate`; legacy `bootstrap` never writes proof).
|
|
33
|
+
* On `bootstrap_cli_error` staging failures, callers may remove `outResolved` per cleanup rules internal to this routine.
|
|
29
34
|
*/
|
|
30
|
-
export declare function executeBootstrapPack(parsed: ParsedBootstrapCli): Promise<ExecuteBootstrapPackSuccess | ExecuteBootstrapPackFailure>;
|
|
35
|
+
export declare function executeBootstrapPack(parsed: ParsedBootstrapCli, opts?: ExecuteBootstrapPackOptions): Promise<ExecuteBootstrapPackSuccess | ExecuteBootstrapPackFailure>;
|
|
31
36
|
export declare function writeBootstrapOperationalFailure(code: string, message: string): void;
|
|
32
37
|
//# sourceMappingURL=executeBootstrapPack.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"executeBootstrapPack.d.ts","sourceRoot":"","sources":["../../src/bootstrap/executeBootstrapPack.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AASlD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAEhE,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAM/D;AAED,MAAM,MAAM,2BAA2B,GAAG;IACxC,IAAI,EAAE,YAAY,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;
|
|
1
|
+
{"version":3,"file":"executeBootstrapPack.d.ts","sourceRoot":"","sources":["../../src/bootstrap/executeBootstrapPack.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AASlD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAEhE,MAAM,MAAM,2BAA2B,GAAG;IACxC,4GAA4G;IAC5G,SAAS,CAAC,EAAE,UAAU,GAAG,iBAAiB,CAAC;CAC5C,CAAC;AAEF,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAM/D;AAED,MAAM,MAAM,2BAA2B,GAAG;IACxC,IAAI,EAAE,YAAY,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,cAAc,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,2BAA2B,GACnC;IAAE,IAAI,EAAE,qBAAqB,CAAC;IAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAC/E;IACE,IAAI,EAAE,iBAAiB,CAAC;IACxB,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;IAChB,MAAM,EAAE,cAAc,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEN;;;;;GAKG;AACH,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,kBAAkB,EAC1B,IAAI,GAAE,2BAAgC,GACrC,OAAO,CAAC,2BAA2B,GAAG,2BAA2B,CAAC,CA6LpE;AAED,wBAAgB,gCAAgC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAEpF"}
|
|
@@ -25,10 +25,10 @@ export function cleanupOutDirFromPath(outResolved) {
|
|
|
25
25
|
/**
|
|
26
26
|
* Core bootstrap pack build + in-process contract verify.
|
|
27
27
|
* On success (`pack_ready`), leaves `outResolved` on disk.
|
|
28
|
-
* On `verify_terminal`,
|
|
29
|
-
* On `
|
|
28
|
+
* On `verify_terminal`, retains `outResolved` (`proof/` inspectable via `agentskeptic activate`; legacy `bootstrap` never writes proof).
|
|
29
|
+
* On `bootstrap_cli_error` staging failures, callers may remove `outResolved` per cleanup rules internal to this routine.
|
|
30
30
|
*/
|
|
31
|
-
export async function executeBootstrapPack(parsed) {
|
|
31
|
+
export async function executeBootstrapPack(parsed, opts = {}) {
|
|
32
32
|
const outResolved = path.resolve(parsed.outPath);
|
|
33
33
|
if (existsSync(outResolved)) {
|
|
34
34
|
return {
|
|
@@ -61,20 +61,23 @@ export async function executeBootstrapPack(parsed) {
|
|
|
61
61
|
}
|
|
62
62
|
throw e;
|
|
63
63
|
}
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
|
|
64
|
+
const preflightMode = opts.preflight ?? "run_here";
|
|
65
|
+
if (preflightMode !== "caller_reserved") {
|
|
66
|
+
try {
|
|
67
|
+
await runLicensePreflightIfNeeded("verify");
|
|
68
|
+
}
|
|
69
|
+
catch (e) {
|
|
70
|
+
if (e instanceof TruthLayerError) {
|
|
71
|
+
return { kind: "bootstrap_cli_error", exitCode: 3, code: e.code, message: e.message };
|
|
72
|
+
}
|
|
73
|
+
const msg = e instanceof Error ? e.message : String(e);
|
|
74
|
+
return {
|
|
75
|
+
kind: "bootstrap_cli_error",
|
|
76
|
+
exitCode: 3,
|
|
77
|
+
code: CLI_OPERATIONAL_CODES.INTERNAL_ERROR,
|
|
78
|
+
message: formatOperationalMessage(msg),
|
|
79
|
+
};
|
|
70
80
|
}
|
|
71
|
-
const msg = e instanceof Error ? e.message : String(e);
|
|
72
|
-
return {
|
|
73
|
-
kind: "bootstrap_cli_error",
|
|
74
|
-
exitCode: 3,
|
|
75
|
-
code: CLI_OPERATIONAL_CODES.INTERNAL_ERROR,
|
|
76
|
-
message: formatOperationalMessage(msg),
|
|
77
|
-
};
|
|
78
81
|
}
|
|
79
82
|
mkdirSync(outResolved, { recursive: false });
|
|
80
83
|
const database = parsed.postgresUrl
|
|
@@ -192,6 +195,7 @@ export async function executeBootstrapPack(parsed) {
|
|
|
192
195
|
registryPath: toolsPath,
|
|
193
196
|
outResolved,
|
|
194
197
|
exportedToolCount: contractExports.length,
|
|
198
|
+
workflowResult: result,
|
|
195
199
|
};
|
|
196
200
|
}
|
|
197
201
|
const exitCode = result.status === "inconsistent" ? 1 : 2;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"executeBootstrapPack.js","sourceRoot":"","sources":["../../src/bootstrap/executeBootstrapPack.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACtE,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAChF,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EACL,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,OAAO,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AAG7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,+BAA+B,EAAE,MAAM,kCAAkC,CAAC;AACnF,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,oCAAoC,EAAE,MAAM,uCAAuC,CAAC;
|
|
1
|
+
{"version":3,"file":"executeBootstrapPack.js","sourceRoot":"","sources":["../../src/bootstrap/executeBootstrapPack.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACtE,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAChF,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EACL,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,OAAO,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AAG7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,+BAA+B,EAAE,MAAM,kCAAkC,CAAC;AACnF,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,oCAAoC,EAAE,MAAM,uCAAuC,CAAC;AAQ7F,MAAM,UAAU,qBAAqB,CAAC,WAAmB;IACvD,IAAI,CAAC;QACH,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;IAAC,MAAM,CAAC;QACP,iBAAiB;IACnB,CAAC;AACH,CAAC;AAsBD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,MAA0B,EAC1B,OAAoC,EAAE;IAEtC,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,CAAC;YACX,IAAI,EAAE,qBAAqB,CAAC,oBAAoB;YAChD,OAAO,EAAE,yBAAyB,WAAW,EAAE;SAChD,CAAC;IACJ,CAAC;IAED,IAAI,QAAgB,CAAC;IACrB,IAAI,CAAC;QACH,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,CAAC;YACX,IAAI,EAAE,qBAAqB,CAAC,eAAe;YAC3C,OAAO,EAAE,wBAAwB,GAAG,EAAE;SACvC,CAAC;IACJ,CAAC;IAED,IAAI,SAAyD,CAAC;IAC9D,IAAI,CAAC;QACH,SAAS,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACpD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QACxF,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,IAAI,UAAU,CAAC;IACnD,IAAI,aAAa,KAAK,iBAAiB,EAAE,CAAC;QACxC,IAAI,CAAC;YACH,MAAM,2BAA2B,CAAC,QAAQ,CAAC,CAAC;QAC9C,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;gBACjC,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YACxF,CAAC;YACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,OAAO;gBACL,IAAI,EAAE,qBAAqB;gBAC3B,QAAQ,EAAE,CAAC;gBACX,IAAI,EAAE,qBAAqB,CAAC,cAAc;gBAC1C,OAAO,EAAE,wBAAwB,CAAC,GAAG,CAAC;aACvC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,SAAS,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAE7C,MAAM,QAAQ,GAAyB,MAAM,CAAC,WAAW;QACvD,CAAC,CAAC,4BAA4B,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;QACjE,CAAC,CAAC,4BAA4B,CAAC,MAAM,CAAC,MAAO,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAEhE,MAAM,SAAS,GAAG,oCAAoC,CAAC,SAAS,CAAC,CAAC;IAElE,IAAI,MAA6E,CAAC;IAClF,IAAI,YAAoB,CAAC;IACzB,IAAI,eAA+F,CAAC;IACpG,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,+BAA+B,CAAC;YAChD,SAAS;YACT,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,SAAS;YAC5C,UAAU,EAAE,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;SAClF,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;QACpB,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;QAChC,eAAe,GAAG,GAAG,CAAC,eAAe,CAAC;IACxC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,qBAAqB,CAAC,WAAW,CAAC,CAAC;QACnC,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QACxF,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,CAAC;YACX,IAAI,EAAE,qBAAqB,CAAC,cAAc;YAC1C,OAAO,EAAE,wBAAwB,CAAC,GAAG,CAAC;SACvC,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAC9B,qBAAqB,CAAC,WAAW,CAAC,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,CAAC;YACX,IAAI,EAAE,qBAAqB,CAAC,wBAAwB;YACpD,OAAO,EAAE,6BAA6B,MAAM,CAAC,OAAO,oBAAoB;SACzE,CAAC;IACJ,CAAC;IACD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,qBAAqB,CAAC,WAAW,CAAC,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,CAAC;YACX,IAAI,EAAE,qBAAqB,CAAC,6BAA6B;YACzD,OAAO,EAAE,kEAAkE;SAC5E,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;IACvD,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,qBAAqB,CAAC,CAAC;IAEjE,IAAI,CAAC;QACH,mBAAmB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QAC7C,mBAAmB,CACjB,UAAU,EACV,8BAA8B,CAAC;YAC7B,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,OAAO,EAAE,eAAe;SACzB,CAAC,CACH,CAAC;QACF,mBAAmB,CAAC,eAAe,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrE,mBAAmB,CAAC,UAAU,EAAE,4BAA4B,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;IACtF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,qBAAqB,CAAC,WAAW,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,CAAC;YACX,IAAI,EAAE,qBAAqB,CAAC,cAAc;YAC1C,OAAO,EAAE,wBAAwB,CAAC,eAAe,GAAG,EAAE,CAAC;SACxD,CAAC;IACJ,CAAC;IAED,IAAI,aAAa,GAAG,EAAE,CAAC;IACvB,IAAI,MAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,cAAc,CAAC;YAC5B,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,UAAU;YACV,YAAY,EAAE,SAAS;YACvB,QAAQ;YACR,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE;gBACjB,aAAa,GAAG,CAAC,CAAC;YACpB,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,qBAAqB,CAAC,WAAW,CAAC,CAAC;QACnC,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QACxF,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,CAAC;YACX,IAAI,EAAE,qBAAqB,CAAC,cAAc;YAC1C,OAAO,EAAE,wBAAwB,CAAC,GAAG,CAAC;SACvC,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;IAC9D,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,qBAAqB,CAAC,WAAW,CAAC,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,CAAC;YACX,IAAI,EAAE,qBAAqB,CAAC,8BAA8B;YAC1D,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,MAAM,IAAI,EAAE,CAAC;SACrD,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,UAAU;YACV,YAAY,EAAE,SAAS;YACvB,WAAW;YACX,iBAAiB,EAAE,eAAe,CAAC,MAAM;YACzC,cAAc,EAAE,MAAM;SACvB,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAU,MAAM,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,QAAQ;QACR,MAAM;QACN,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,IAAY,EAAE,OAAe;IAC5E,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC"}
|
|
@@ -0,0 +1,40 @@
|
|
|
1
|
+
import type { WorkflowResult } from "../types.js";
|
|
2
|
+
import type { VerifyOutcomeActivationWire } from "../commercial/verifyOutcomeBeaconBody.js";
|
|
3
|
+
export type TrustTerminalActivation = "decision_ready" | "contract_inconsistent" | "contract_incomplete";
|
|
4
|
+
export type ActivationManifestDiskV1 = {
|
|
5
|
+
schemaVersion: 1;
|
|
6
|
+
cliCommand: "activate";
|
|
7
|
+
workflowId: string;
|
|
8
|
+
trustTerminal: TrustTerminalActivation;
|
|
9
|
+
finishedAt: string;
|
|
10
|
+
stages: readonly [
|
|
11
|
+
{
|
|
12
|
+
id: "ingest_input";
|
|
13
|
+
status: "complete" | "failed" | "skipped";
|
|
14
|
+
trustLabel: StageTrustDisk;
|
|
15
|
+
},
|
|
16
|
+
{
|
|
17
|
+
id: "provisional_infer";
|
|
18
|
+
status: "complete" | "failed" | "skipped";
|
|
19
|
+
trustLabel: StageTrustDisk;
|
|
20
|
+
},
|
|
21
|
+
{
|
|
22
|
+
id: "contract_verify";
|
|
23
|
+
status: "complete" | "failed" | "skipped";
|
|
24
|
+
trustLabel: StageTrustDisk;
|
|
25
|
+
},
|
|
26
|
+
{
|
|
27
|
+
id: "proof_export";
|
|
28
|
+
status: "complete" | "failed" | "skipped";
|
|
29
|
+
trustLabel: StageTrustDisk;
|
|
30
|
+
}
|
|
31
|
+
];
|
|
32
|
+
};
|
|
33
|
+
type StageTrustDisk = "n_a" | "provisional_pass" | "decision_ready" | "contract_inconsistent" | "contract_incomplete";
|
|
34
|
+
export declare function activationTrustTerminalFromWorkflow(result: WorkflowResult): TrustTerminalActivation;
|
|
35
|
+
export declare function buildActivationManifestDisk(workflowId: string, terminal: TrustTerminalActivation): ActivationManifestDiskV1;
|
|
36
|
+
export declare function activationWireFromManifestDisk(manifest: ActivationManifestDiskV1): VerifyOutcomeActivationWire;
|
|
37
|
+
export declare function stderrMachineLinesActivateBeforeProof(terminal: TrustTerminalActivation): string;
|
|
38
|
+
export declare function stderrMachineLineProofExport(terminal: TrustTerminalActivation): string;
|
|
39
|
+
export {};
|
|
40
|
+
//# sourceMappingURL=packActivationStages.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"packActivationStages.d.ts","sourceRoot":"","sources":["../../src/bootstrap/packActivationStages.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,0CAA0C,CAAC;AAE5F,MAAM,MAAM,uBAAuB,GAAG,gBAAgB,GAAG,uBAAuB,GAAG,qBAAqB,CAAC;AAEzG,MAAM,MAAM,wBAAwB,GAAG;IACrC,aAAa,EAAE,CAAC,CAAC;IACjB,UAAU,EAAE,UAAU,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,uBAAuB,CAAC;IACvC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,SAAS;QACf;YACE,EAAE,EAAE,cAAc,CAAC;YACnB,MAAM,EAAE,UAAU,GAAG,QAAQ,GAAG,SAAS,CAAC;YAC1C,UAAU,EAAE,cAAc,CAAC;SAC5B;QACD;YACE,EAAE,EAAE,mBAAmB,CAAC;YACxB,MAAM,EAAE,UAAU,GAAG,QAAQ,GAAG,SAAS,CAAC;YAC1C,UAAU,EAAE,cAAc,CAAC;SAC5B;QACD;YACE,EAAE,EAAE,iBAAiB,CAAC;YACtB,MAAM,EAAE,UAAU,GAAG,QAAQ,GAAG,SAAS,CAAC;YAC1C,UAAU,EAAE,cAAc,CAAC;SAC5B;QACD;YACE,EAAE,EAAE,cAAc,CAAC;YACnB,MAAM,EAAE,UAAU,GAAG,QAAQ,GAAG,SAAS,CAAC;YAC1C,UAAU,EAAE,cAAc,CAAC;SAC5B;KACF,CAAC;CACH,CAAC;AAEF,KAAK,cAAc,GACf,KAAK,GACL,kBAAkB,GAClB,gBAAgB,GAChB,uBAAuB,GACvB,qBAAqB,CAAC;AAE1B,wBAAgB,mCAAmC,CAAC,MAAM,EAAE,cAAc,GAAG,uBAAuB,CAInG;AAED,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,uBAAuB,GAAG,wBAAwB,CA+B3H;AAED,wBAAgB,8BAA8B,CAAC,QAAQ,EAAE,wBAAwB,GAAG,2BAA2B,CAU9G;AAED,wBAAgB,qCAAqC,CAAC,QAAQ,EAAE,uBAAuB,GAAG,MAAM,CAK/F;AAED,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,uBAAuB,GAAG,MAAM,CAEtF"}
|
|
@@ -0,0 +1,58 @@
|
|
|
1
|
+
export function activationTrustTerminalFromWorkflow(result) {
|
|
2
|
+
if (result.status === "complete")
|
|
3
|
+
return "decision_ready";
|
|
4
|
+
if (result.status === "inconsistent")
|
|
5
|
+
return "contract_inconsistent";
|
|
6
|
+
return "contract_incomplete";
|
|
7
|
+
}
|
|
8
|
+
export function buildActivationManifestDisk(workflowId, terminal) {
|
|
9
|
+
const finishedAt = new Date().toISOString();
|
|
10
|
+
return {
|
|
11
|
+
schemaVersion: 1,
|
|
12
|
+
cliCommand: "activate",
|
|
13
|
+
workflowId,
|
|
14
|
+
trustTerminal: terminal,
|
|
15
|
+
finishedAt,
|
|
16
|
+
stages: [
|
|
17
|
+
{
|
|
18
|
+
id: "ingest_input",
|
|
19
|
+
status: "complete",
|
|
20
|
+
trustLabel: "n_a",
|
|
21
|
+
},
|
|
22
|
+
{
|
|
23
|
+
id: "provisional_infer",
|
|
24
|
+
status: "complete",
|
|
25
|
+
trustLabel: "provisional_pass",
|
|
26
|
+
},
|
|
27
|
+
{
|
|
28
|
+
id: "contract_verify",
|
|
29
|
+
status: "complete",
|
|
30
|
+
trustLabel: terminal,
|
|
31
|
+
},
|
|
32
|
+
{
|
|
33
|
+
id: "proof_export",
|
|
34
|
+
status: "complete",
|
|
35
|
+
trustLabel: terminal,
|
|
36
|
+
},
|
|
37
|
+
],
|
|
38
|
+
};
|
|
39
|
+
}
|
|
40
|
+
export function activationWireFromManifestDisk(manifest) {
|
|
41
|
+
const stages = manifest.stages.map((row) => ({
|
|
42
|
+
id: row.id,
|
|
43
|
+
status: row.status,
|
|
44
|
+
trust_label: row.trustLabel,
|
|
45
|
+
}));
|
|
46
|
+
return {
|
|
47
|
+
trust_terminal: manifest.trustTerminal,
|
|
48
|
+
stages: stages,
|
|
49
|
+
};
|
|
50
|
+
}
|
|
51
|
+
export function stderrMachineLinesActivateBeforeProof(terminal) {
|
|
52
|
+
return (`AGENTSKEPTIC_ACTIVATION stage=provisional_infer trust_terminal=provisional_pass\n` +
|
|
53
|
+
`AGENTSKEPTIC_ACTIVATION stage=contract_verify trust_terminal=${terminal}\n`);
|
|
54
|
+
}
|
|
55
|
+
export function stderrMachineLineProofExport(terminal) {
|
|
56
|
+
return `AGENTSKEPTIC_ACTIVATION stage=proof_export path=proof trust_terminal=${terminal}\n`;
|
|
57
|
+
}
|
|
58
|
+
//# sourceMappingURL=packActivationStages.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"packActivationStages.js","sourceRoot":"","sources":["../../src/bootstrap/packActivationStages.ts"],"names":[],"mappings":"AA0CA,MAAM,UAAU,mCAAmC,CAAC,MAAsB;IACxE,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,gBAAgB,CAAC;IAC1D,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc;QAAE,OAAO,uBAAuB,CAAC;IACrE,OAAO,qBAAqB,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,UAAkB,EAAE,QAAiC;IAC/F,MAAM,UAAU,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC5C,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,UAAU;QACtB,UAAU;QACV,aAAa,EAAE,QAAQ;QACvB,UAAU;QACV,MAAM,EAAE;YACN;gBACE,EAAE,EAAE,cAAc;gBAClB,MAAM,EAAE,UAAU;gBAClB,UAAU,EAAE,KAAK;aAClB;YACD;gBACE,EAAE,EAAE,mBAAmB;gBACvB,MAAM,EAAE,UAAU;gBAClB,UAAU,EAAE,kBAAkB;aAC/B;YACD;gBACE,EAAE,EAAE,iBAAiB;gBACrB,MAAM,EAAE,UAAU;gBAClB,UAAU,EAAE,QAAQ;aACrB;YACD;gBACE,EAAE,EAAE,cAAc;gBAClB,MAAM,EAAE,UAAU;gBAClB,UAAU,EAAE,QAAQ;aACrB;SACF;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,QAAkC;IAC/E,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC3C,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,WAAW,EAAE,GAAG,CAAC,UAAU;KAC5B,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,cAAc,EAAE,QAAQ,CAAC,aAAa;QACtC,MAAM,EAAE,MAA+C;KACxD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qCAAqC,CAAC,QAAiC;IACrF,OAAO,CACL,mFAAmF;QACnF,gEAAgE,QAAQ,IAAI,CAC7E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,QAAiC;IAC5E,OAAO,wEAAwE,QAAQ,IAAI,CAAC;AAC9F,CAAC"}
|
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
import { type ParsedBootstrapCli } from "./bootstrapCliArgs.js";
|
|
2
2
|
export type { ParsedBootstrapCli };
|
|
3
3
|
export { parseBootstrapCliArgs } from "./bootstrapCliArgs.js";
|
|
4
|
+
export declare function runActivateSubcommand(args: string[]): Promise<void>;
|
|
4
5
|
export declare function runBootstrapSubcommand(args: string[]): Promise<void>;
|
|
5
6
|
//# sourceMappingURL=runBootstrapSubcommand.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"runBootstrapSubcommand.d.ts","sourceRoot":"","sources":["../../src/bootstrap/runBootstrapSubcommand.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"runBootstrapSubcommand.d.ts","sourceRoot":"","sources":["../../src/bootstrap/runBootstrapSubcommand.ts"],"names":[],"mappings":"AAeA,OAAO,EAAyB,KAAK,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AA6NvF,YAAY,EAAE,kBAAkB,EAAE,CAAC;AACnC,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAE9D,wBAAsB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAkFzE;AAED,wBAAsB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CA2D1E"}
|
|
@@ -1,10 +1,22 @@
|
|
|
1
|
+
import path from "node:path";
|
|
2
|
+
import { randomUUID } from "node:crypto";
|
|
1
3
|
import { CLI_OPERATIONAL_CODES } from "../cliOperationalCodes.js";
|
|
2
4
|
import { formatOperationalMessage } from "../failureCatalog.js";
|
|
3
5
|
import { formatDistributionFooter } from "../distributionFooter.js";
|
|
4
|
-
import { emitVerifyWorkflowCliJsonAndExitByStatus } from "../standardVerifyWorkflowCli.js";
|
|
6
|
+
import { emitVerifyWorkflowCliJsonAndExitByStatus, } from "../standardVerifyWorkflowCli.js";
|
|
5
7
|
import { TruthLayerError } from "../truthLayerError.js";
|
|
6
8
|
import { cleanupOutDirFromPath, executeBootstrapPack, writeBootstrapOperationalFailure, } from "./executeBootstrapPack.js";
|
|
7
9
|
import { parseBootstrapCliArgs } from "./bootstrapCliArgs.js";
|
|
10
|
+
import { newActivationHttpCorrelationId } from "../commercial/activationCorrelation.js";
|
|
11
|
+
import { runLicensePreflightIfNeeded } from "../commercial/licensePreflight.js";
|
|
12
|
+
import { postVerifyOutcomeBeacon } from "../commercial/postVerifyOutcomeBeacon.js";
|
|
13
|
+
import { classifyBatchVerifyWorkload } from "../commercial/verifyWorkloadClassify.js";
|
|
14
|
+
import { parseVerificationDatabaseUrl } from "../verificationDatabaseUrl.js";
|
|
15
|
+
import { buildOutcomeCertificateFromWorkflowResult } from "../outcomeCertificate.js";
|
|
16
|
+
import { loadSchemaValidator } from "../schemaLoad.js";
|
|
17
|
+
import { atomicWriteUtf8File } from "../quickVerify/atomicWrite.js";
|
|
18
|
+
import { writeContractProofArtifacts } from "../verify/writeContractProofArtifacts.js";
|
|
19
|
+
import { activationTrustTerminalFromWorkflow, activationWireFromManifestDisk, buildActivationManifestDisk, stderrMachineLineProofExport, stderrMachineLinesActivateBeforeProof, } from "./packActivationStages.js";
|
|
8
20
|
function usageBootstrap() {
|
|
9
21
|
return `Usage:
|
|
10
22
|
agentskeptic bootstrap --input <path> (--db <sqlitePath> | --postgres-url <url>) --out <path>
|
|
@@ -22,7 +34,213 @@ Exit codes:
|
|
|
22
34
|
|
|
23
35
|
Normative: docs/bootstrap-pack-normative.md`;
|
|
24
36
|
}
|
|
37
|
+
function usageActivate() {
|
|
38
|
+
return `Usage:
|
|
39
|
+
agentskeptic activate --input <path> (--db <sqlitePath> | --postgres-url <url>) --out <path>
|
|
40
|
+
|
|
41
|
+
Canonical activation: BootstrapPackInput v1 JSON + read-only database URL, provisional inference + contract replay,
|
|
42
|
+
writes exportable proof under <out>/proof/ (technical run bundle, decision bundle, activation.manifest.json) on exits 0–2.
|
|
43
|
+
|
|
44
|
+
Legacy compatibility verb: agentskeptic bootstrap (same workflow pack build; no proof/ subtree).
|
|
45
|
+
|
|
46
|
+
Exit codes:
|
|
47
|
+
0 Trusted contract-complete (trustTerminal decision_ready manifest; stdout activate envelope unless verify stdout mode)
|
|
48
|
+
1 inconsistent (trustTerminal contract_inconsistent; stderr machine activation lines then verify-style stderr)
|
|
49
|
+
2 incomplete (trustTerminal contract_incomplete)
|
|
50
|
+
2–3 Quick/pack-stage failures identical to bootstrap (activate-only row: provisional_blocked machine stderr line prefix)
|
|
51
|
+
3 Operational failure without outcome certificate path (stderr JSON envelope; no activation machine lines)
|
|
52
|
+
|
|
53
|
+
--help, -h print this message and exit 0
|
|
54
|
+
|
|
55
|
+
Normative: docs/bootstrap-pack-normative.md`;
|
|
56
|
+
}
|
|
57
|
+
function bootstrapDatabase(parsed) {
|
|
58
|
+
return parsed.postgresUrl
|
|
59
|
+
? parseVerificationDatabaseUrl(parsed.postgresUrl, process.cwd())
|
|
60
|
+
: parseVerificationDatabaseUrl(parsed.dbPath, process.cwd());
|
|
61
|
+
}
|
|
62
|
+
function terminalStatusFromCertificate(certificate) {
|
|
63
|
+
if (certificate.stateRelation === "matches_expectations")
|
|
64
|
+
return "complete";
|
|
65
|
+
if (certificate.stateRelation === "does_not_match")
|
|
66
|
+
return "inconsistent";
|
|
67
|
+
return "incomplete";
|
|
68
|
+
}
|
|
69
|
+
function shouldEmitActivationProvisionalBlockedLine(code, message) {
|
|
70
|
+
if (code === CLI_OPERATIONAL_CODES.BOOTSTRAP_QUICK_NOT_PASS ||
|
|
71
|
+
code === CLI_OPERATIONAL_CODES.BOOTSTRAP_NO_EXPORTABLE_TOOLS ||
|
|
72
|
+
code === CLI_OPERATIONAL_CODES.BOOTSTRAP_NO_TOOL_CALLS ||
|
|
73
|
+
code === CLI_OPERATIONAL_CODES.BOOTSTRAP_TOOL_CALL_ARGUMENTS_INVALID) {
|
|
74
|
+
return true;
|
|
75
|
+
}
|
|
76
|
+
if (code === CLI_OPERATIONAL_CODES.INTERNAL_ERROR && message.includes("pack write")) {
|
|
77
|
+
return true;
|
|
78
|
+
}
|
|
79
|
+
return false;
|
|
80
|
+
}
|
|
81
|
+
function validateCertificateOrExit(certificate) {
|
|
82
|
+
const validateCert = loadSchemaValidator("outcome-certificate-v1");
|
|
83
|
+
if (!validateCert(certificate)) {
|
|
84
|
+
writeBootstrapOperationalFailure(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
|
|
85
|
+
process.exit(3);
|
|
86
|
+
}
|
|
87
|
+
}
|
|
88
|
+
function writeActivationManifestAtomic(proofRoot, manifest) {
|
|
89
|
+
const validateMan = loadSchemaValidator("activation-manifest-v1");
|
|
90
|
+
const asUnknown = manifest;
|
|
91
|
+
if (!validateMan(asUnknown)) {
|
|
92
|
+
writeBootstrapOperationalFailure(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, formatOperationalMessage(`activation manifest invalid ${JSON.stringify(validateMan.errors ?? [])}`));
|
|
93
|
+
process.exit(3);
|
|
94
|
+
}
|
|
95
|
+
atomicWriteUtf8File(path.join(proofRoot, "activation.manifest.json"), `${JSON.stringify(manifest, null, 2)}\n`);
|
|
96
|
+
}
|
|
97
|
+
async function finalizeActivateTrustedExit(args) {
|
|
98
|
+
const { parsed, preflightRunId, xRequestId, workflowId, eventsPath, registryPath, outResolved, exportedToolCount, workflowResult, trustTerminal, humanStderrVerifyStyle, truthBuffered, } = args;
|
|
99
|
+
const certificate = buildOutcomeCertificateFromWorkflowResult(workflowResult, "contract_sql");
|
|
100
|
+
validateCertificateOrExit(certificate);
|
|
101
|
+
process.stderr.write(stderrMachineLinesActivateBeforeProof(trustTerminal));
|
|
102
|
+
const proofRoot = path.join(outResolved, "proof");
|
|
103
|
+
const proofRunDir = path.join(proofRoot, "run");
|
|
104
|
+
const proofDecisionDir = path.join(proofRoot, "decision");
|
|
105
|
+
writeContractProofArtifacts({
|
|
106
|
+
proofRunDir,
|
|
107
|
+
proofDecisionDir,
|
|
108
|
+
eventsPath,
|
|
109
|
+
workflowResult,
|
|
110
|
+
certificate,
|
|
111
|
+
runBundleSignKeyPath: undefined,
|
|
112
|
+
});
|
|
113
|
+
process.stderr.write(stderrMachineLineProofExport(trustTerminal));
|
|
114
|
+
const manifestDisk = buildActivationManifestDisk(workflowId, trustTerminal);
|
|
115
|
+
writeActivationManifestAtomic(proofRoot, manifestDisk);
|
|
116
|
+
const activationWire = activationWireFromManifestDisk(manifestDisk);
|
|
117
|
+
const workloadClass = classifyBatchVerifyWorkload({
|
|
118
|
+
eventsPath,
|
|
119
|
+
registryPath,
|
|
120
|
+
database: bootstrapDatabase(parsed),
|
|
121
|
+
});
|
|
122
|
+
await postVerifyOutcomeBeacon({
|
|
123
|
+
runId: preflightRunId,
|
|
124
|
+
certificate,
|
|
125
|
+
terminal_status: terminalStatusFromCertificate(certificate),
|
|
126
|
+
workload_class: workloadClass,
|
|
127
|
+
subcommand: "activate",
|
|
128
|
+
activation: activationWire,
|
|
129
|
+
xRequestId,
|
|
130
|
+
});
|
|
131
|
+
if (humanStderrVerifyStyle && truthBuffered !== undefined && truthBuffered.length > 0) {
|
|
132
|
+
process.stderr.write(`${truthBuffered}\n`);
|
|
133
|
+
process.stderr.write(formatDistributionFooter());
|
|
134
|
+
}
|
|
135
|
+
if (trustTerminal === "decision_ready") {
|
|
136
|
+
const envelope = {
|
|
137
|
+
schemaVersion: 1,
|
|
138
|
+
kind: "agentskeptic_activate_result",
|
|
139
|
+
workflowId,
|
|
140
|
+
outDir: outResolved,
|
|
141
|
+
quickVerdict: "pass",
|
|
142
|
+
verifyStatus: "complete",
|
|
143
|
+
exportedToolCount,
|
|
144
|
+
};
|
|
145
|
+
try {
|
|
146
|
+
process.stdout.write(`${JSON.stringify(envelope)}\n`);
|
|
147
|
+
}
|
|
148
|
+
catch (e) {
|
|
149
|
+
cleanupOutDirFromPath(outResolved);
|
|
150
|
+
const msg = e instanceof Error ? e.message : String(e);
|
|
151
|
+
writeBootstrapOperationalFailure(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, formatOperationalMessage(`stdout: ${msg}`));
|
|
152
|
+
process.exit(3);
|
|
153
|
+
}
|
|
154
|
+
process.exit(0);
|
|
155
|
+
return;
|
|
156
|
+
}
|
|
157
|
+
emitVerifyWorkflowCliJsonAndExitByStatus(workflowResult, {
|
|
158
|
+
consoleLog: (line) => {
|
|
159
|
+
console.log(line);
|
|
160
|
+
},
|
|
161
|
+
exit: (code) => {
|
|
162
|
+
process.exit(code);
|
|
163
|
+
},
|
|
164
|
+
});
|
|
165
|
+
}
|
|
25
166
|
export { parseBootstrapCliArgs } from "./bootstrapCliArgs.js";
|
|
167
|
+
export async function runActivateSubcommand(args) {
|
|
168
|
+
if (args.includes("--help") || args.includes("-h")) {
|
|
169
|
+
console.log(usageActivate());
|
|
170
|
+
process.exit(0);
|
|
171
|
+
}
|
|
172
|
+
let parsed;
|
|
173
|
+
try {
|
|
174
|
+
parsed = parseBootstrapCliArgs(args);
|
|
175
|
+
}
|
|
176
|
+
catch (e) {
|
|
177
|
+
if (e instanceof TruthLayerError) {
|
|
178
|
+
writeBootstrapOperationalFailure(e.code, e.message);
|
|
179
|
+
process.exit(3);
|
|
180
|
+
}
|
|
181
|
+
throw e;
|
|
182
|
+
}
|
|
183
|
+
const activationCorrelationId = newActivationHttpCorrelationId();
|
|
184
|
+
const activationRunId = process.env.AGENTSKEPTIC_RUN_ID?.trim() ||
|
|
185
|
+
process.env.WORKFLOW_VERIFIER_RUN_ID?.trim() ||
|
|
186
|
+
randomUUID();
|
|
187
|
+
let preflight;
|
|
188
|
+
try {
|
|
189
|
+
preflight = await runLicensePreflightIfNeeded("verify", {
|
|
190
|
+
runId: activationRunId,
|
|
191
|
+
xRequestId: activationCorrelationId,
|
|
192
|
+
});
|
|
193
|
+
}
|
|
194
|
+
catch (e) {
|
|
195
|
+
if (e instanceof TruthLayerError) {
|
|
196
|
+
writeBootstrapOperationalFailure(e.code, e.message);
|
|
197
|
+
process.exit(3);
|
|
198
|
+
}
|
|
199
|
+
const msg = e instanceof Error ? e.message : String(e);
|
|
200
|
+
writeBootstrapOperationalFailure(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, formatOperationalMessage(msg));
|
|
201
|
+
process.exit(3);
|
|
202
|
+
}
|
|
203
|
+
const outcome = await executeBootstrapPack(parsed, { preflight: "caller_reserved" });
|
|
204
|
+
if (outcome.kind === "bootstrap_cli_error") {
|
|
205
|
+
if (shouldEmitActivationProvisionalBlockedLine(outcome.code, outcome.message)) {
|
|
206
|
+
process.stderr.write(`AGENTSKEPTIC_ACTIVATION stage=provisional_infer trust_terminal=blocked\n`);
|
|
207
|
+
}
|
|
208
|
+
writeBootstrapOperationalFailure(outcome.code, outcome.message);
|
|
209
|
+
process.exit(outcome.exitCode);
|
|
210
|
+
return;
|
|
211
|
+
}
|
|
212
|
+
if (outcome.kind === "pack_ready") {
|
|
213
|
+
await finalizeActivateTrustedExit({
|
|
214
|
+
parsed,
|
|
215
|
+
preflightRunId: preflight.runId,
|
|
216
|
+
xRequestId: activationCorrelationId,
|
|
217
|
+
workflowId: outcome.workflowId,
|
|
218
|
+
eventsPath: outcome.eventsPath,
|
|
219
|
+
registryPath: outcome.registryPath,
|
|
220
|
+
outResolved: outcome.outResolved,
|
|
221
|
+
exportedToolCount: outcome.exportedToolCount,
|
|
222
|
+
workflowResult: outcome.workflowResult,
|
|
223
|
+
trustTerminal: activationTrustTerminalFromWorkflow(outcome.workflowResult),
|
|
224
|
+
humanStderrVerifyStyle: false,
|
|
225
|
+
truthBuffered: undefined,
|
|
226
|
+
});
|
|
227
|
+
return;
|
|
228
|
+
}
|
|
229
|
+
await finalizeActivateTrustedExit({
|
|
230
|
+
parsed,
|
|
231
|
+
preflightRunId: preflight.runId,
|
|
232
|
+
xRequestId: activationCorrelationId,
|
|
233
|
+
workflowId: outcome.result.workflowId,
|
|
234
|
+
eventsPath: path.join(outcome.outResolved, "events.ndjson"),
|
|
235
|
+
registryPath: path.join(outcome.outResolved, "tools.json"),
|
|
236
|
+
outResolved: outcome.outResolved,
|
|
237
|
+
exportedToolCount: 0,
|
|
238
|
+
workflowResult: outcome.result,
|
|
239
|
+
trustTerminal: activationTrustTerminalFromWorkflow(outcome.result),
|
|
240
|
+
humanStderrVerifyStyle: true,
|
|
241
|
+
truthBuffered: outcome.truthBuffered,
|
|
242
|
+
});
|
|
243
|
+
}
|
|
26
244
|
export async function runBootstrapSubcommand(args) {
|
|
27
245
|
if (args.includes("--help") || args.includes("-h")) {
|
|
28
246
|
console.log(usageBootstrap());
|
|
@@ -69,15 +287,13 @@ export async function runBootstrapSubcommand(args) {
|
|
|
69
287
|
}
|
|
70
288
|
process.stderr.write(`${outcome.truthBuffered}\n`);
|
|
71
289
|
process.stderr.write(formatDistributionFooter());
|
|
72
|
-
const exitWithCleanup = (code) => {
|
|
73
|
-
cleanupOutDirFromPath(outcome.outResolved);
|
|
74
|
-
process.exit(code);
|
|
75
|
-
};
|
|
76
290
|
emitVerifyWorkflowCliJsonAndExitByStatus(outcome.result, {
|
|
77
291
|
consoleLog: (line) => {
|
|
78
292
|
console.log(line);
|
|
79
293
|
},
|
|
80
|
-
exit:
|
|
294
|
+
exit: (code) => {
|
|
295
|
+
process.exit(code);
|
|
296
|
+
},
|
|
81
297
|
});
|
|
82
298
|
}
|
|
83
299
|
//# sourceMappingURL=runBootstrapSubcommand.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"runBootstrapSubcommand.js","sourceRoot":"","sources":["../../src/bootstrap/runBootstrapSubcommand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAChE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,
|
|
1
|
+
{"version":3,"file":"runBootstrapSubcommand.js","sourceRoot":"","sources":["../../src/bootstrap/runBootstrapSubcommand.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAChE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAEL,wCAAwC,GACzC,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,gCAAgC,GACjC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,qBAAqB,EAA2B,MAAM,uBAAuB,CAAC;AACvF,OAAO,EAAE,8BAA8B,EAAE,MAAM,wCAAwC,CAAC;AACxF,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAChF,OAAO,EAAE,uBAAuB,EAAE,MAAM,0CAA0C,CAAC;AACnF,OAAO,EAAE,2BAA2B,EAAE,MAAM,yCAAyC,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AAE7E,OAAO,EAAE,yCAAyC,EAA6B,MAAM,0BAA0B,CAAC;AAChH,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,0CAA0C,CAAC;AACvF,OAAO,EACL,mCAAmC,EACnC,8BAA8B,EAC9B,2BAA2B,EAC3B,4BAA4B,EAC5B,qCAAqC,GAGtC,MAAM,2BAA2B,CAAC;AAEnC,SAAS,cAAc;IACrB,OAAO;;;;;;;;;;;;;;4CAcmC,CAAC;AAC7C,CAAC;AAED,SAAS,aAAa;IACpB,OAAO;;;;;;;;;;;;;;;;;4CAiBmC,CAAC;AAC7C,CAAC;AAED,SAAS,iBAAiB,CAAC,MAA0B;IACnD,OAAO,MAAM,CAAC,WAAW;QACvB,CAAC,CAAC,4BAA4B,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;QACjE,CAAC,CAAC,4BAA4B,CAAC,MAAM,CAAC,MAAO,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,6BAA6B,CACpC,WAAiC;IAEjC,IAAI,WAAW,CAAC,aAAa,KAAK,sBAAsB;QAAE,OAAO,UAAU,CAAC;IAC5E,IAAI,WAAW,CAAC,aAAa,KAAK,gBAAgB;QAAE,OAAO,cAAc,CAAC;IAC1E,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,0CAA0C,CAAC,IAAY,EAAE,OAAe;IAC/E,IACE,IAAI,KAAK,qBAAqB,CAAC,wBAAwB;QACvD,IAAI,KAAK,qBAAqB,CAAC,6BAA6B;QAC5D,IAAI,KAAK,qBAAqB,CAAC,uBAAuB;QACtD,IAAI,KAAK,qBAAqB,CAAC,qCAAqC,EACpE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,KAAK,qBAAqB,CAAC,cAAc,IAAI,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACpF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,yBAAyB,CAAC,WAAiC;IAClE,MAAM,YAAY,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;IACnE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,gCAAgC,CAC9B,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAC1C,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CAAC,SAAiB,EAAE,QAAkC;IAC1F,MAAM,WAAW,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,QAAmB,CAAC;IACtC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5B,gCAAgC,CAC9B,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,+BAA+B,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC,CACpG,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,0BAA0B,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AAClH,CAAC;AAED,KAAK,UAAU,2BAA2B,CAAC,IAa1C;IACC,MAAM,EACJ,MAAM,EACN,cAAc,EACd,UAAU,EACV,UAAU,EACV,UAAU,EACV,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,sBAAsB,EACtB,aAAa,GACd,GAAG,IAAI,CAAC;IAET,MAAM,WAAW,GAAG,yCAAyC,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;IAC9F,yBAAyB,CAAC,WAAW,CAAC,CAAC;IAEvC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,qCAAqC,CAAC,aAAa,CAAC,CAAC,CAAC;IAE3E,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAChD,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAE1D,2BAA2B,CAAC;QAC1B,WAAW;QACX,gBAAgB;QAChB,UAAU;QACV,cAAc;QACd,WAAW;QACX,oBAAoB,EAAE,SAAS;KAChC,CAAC,CAAC;IAEH,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC,aAAa,CAAC,CAAC,CAAC;IAElE,MAAM,YAAY,GAAG,2BAA2B,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IAC5E,6BAA6B,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IACvD,MAAM,cAAc,GAAG,8BAA8B,CAAC,YAAY,CAAC,CAAC;IAEpE,MAAM,aAAa,GAAG,2BAA2B,CAAC;QAChD,UAAU;QACV,YAAY;QACZ,QAAQ,EAAE,iBAAiB,CAAC,MAAM,CAAC;KACpC,CAAC,CAAC;IACH,MAAM,uBAAuB,CAAC;QAC5B,KAAK,EAAE,cAAc;QACrB,WAAW;QACX,eAAe,EAAE,6BAA6B,CAAC,WAAW,CAAC;QAC3D,cAAc,EAAE,aAAa;QAC7B,UAAU,EAAE,UAAU;QACtB,UAAU,EAAE,cAAc;QAC1B,UAAU;KACX,CAAC,CAAC;IAEH,IAAI,sBAAsB,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,aAAa,IAAI,CAAC,CAAC;QAC3C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,wBAAwB,EAAE,CAAC,CAAC;IACnD,CAAC;IAED,IAAI,aAAa,KAAK,gBAAgB,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG;YACf,aAAa,EAAE,CAAC;YAChB,IAAI,EAAE,8BAA8B;YACpC,UAAU;YACV,MAAM,EAAE,WAAW;YACnB,YAAY,EAAE,MAAM;YACpB,YAAY,EAAE,UAAU;YACxB,iBAAiB;SAClB,CAAC;QACF,IAAI,CAAC;YACH,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,qBAAqB,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,gCAAgC,CAC9B,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,WAAW,GAAG,EAAE,CAAC,CAC3C,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,OAAO;IACT,CAAC;IAED,wCAAwC,CAAC,cAAc,EAAE;QACvD,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;YACnB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,EAAE,CAAC,IAAY,EAAQ,EAAE;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAGD,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAE9D,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,IAAc;IACxD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,MAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,MAAM,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,gCAAgC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACpD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,MAAM,uBAAuB,GAAG,8BAA8B,EAAE,CAAC;IACjE,MAAM,eAAe,GACnB,OAAO,CAAC,GAAG,CAAC,mBAAmB,EAAE,IAAI,EAAE;QACvC,OAAO,CAAC,GAAG,CAAC,wBAAwB,EAAE,IAAI,EAAE;QAC5C,UAAU,EAAE,CAAC;IAEf,IAAI,SAAmC,CAAC;IACxC,IAAI,CAAC;QACH,SAAS,GAAG,MAAM,2BAA2B,CAAC,QAAQ,EAAE;YACtD,KAAK,EAAE,eAAe;YACtB,UAAU,EAAE,uBAAuB;SACpC,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,gCAAgC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACpD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,gCAAgC,CAAC,qBAAqB,CAAC,cAAc,EAAE,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;QACtG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC,CAAC;IAErF,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC3C,IAAI,0CAA0C,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9E,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,0EAA0E,CAAC,CAAC;QACnG,CAAC;QACD,gCAAgC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAChE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/B,OAAO;IACT,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,MAAM,2BAA2B,CAAC;YAChC,MAAM;YACN,cAAc,EAAE,SAAS,CAAC,KAAK;YAC/B,UAAU,EAAE,uBAAuB;YACnC,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;YAC5C,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,aAAa,EAAE,mCAAmC,CAAC,OAAO,CAAC,cAAc,CAAC;YAC1E,sBAAsB,EAAE,KAAK;YAC7B,aAAa,EAAE,SAAS;SACzB,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,MAAM,2BAA2B,CAAC;QAChC,MAAM;QACN,cAAc,EAAE,SAAS,CAAC,KAAK;QAC/B,UAAU,EAAE,uBAAuB;QACnC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU;QACrC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,eAAe,CAAC;QAC3D,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,YAAY,CAAC;QAC1D,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,iBAAiB,EAAE,CAAC;QACpB,cAAc,EAAE,OAAO,CAAC,MAAM;QAC9B,aAAa,EAAE,mCAAmC,CAAC,OAAO,CAAC,MAAM,CAAC;QAClE,sBAAsB,EAAE,IAAI;QAC5B,aAAa,EAAE,OAAO,CAAC,aAAa;KACrC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,IAAc;IACzD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,MAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,MAAM,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,gCAAgC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACpD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG;YACf,aAAa,EAAE,CAAC;YAChB,IAAI,EAAE,+BAA+B;YACrC,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,MAAM,EAAE,OAAO,CAAC,WAAW;YAC3B,YAAY,EAAE,MAAM;YACpB,YAAY,EAAE,UAAU;YACxB,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;SAC7C,CAAC;QACF,IAAI,CAAC;YACH,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,qBAAqB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAC3C,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,gCAAgC,CAC9B,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,WAAW,GAAG,EAAE,CAAC,CAC3C,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,OAAO;IACT,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC3C,gCAAgC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAChE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/B,OAAO;IACT,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,aAAa,IAAI,CAAC,CAAC;IACnD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,wBAAwB,EAAE,CAAC,CAAC;IACjD,wCAAwC,CAAC,OAAO,CAAC,MAAM,EAAE;QACvD,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;YACnB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,EAAE,CAAC,IAAY,EAAQ,EAAE;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;KACF,CAAC,CAAC;AACL,CAAC"}
|
package/dist/cli.js
CHANGED
|
@@ -37,7 +37,7 @@ import { LICENSE_PREFLIGHT_ENABLED } from "./generated/commercialBuildFlags.js";
|
|
|
37
37
|
import { formatDistributionFooter } from "./distributionFooter.js";
|
|
38
38
|
import { postPublicVerificationReport } from "./shareReport/postPublicVerificationReport.js";
|
|
39
39
|
import { runRegistryDraftCliAndExit } from "./registryDraft/runRegistryDraftCli.js";
|
|
40
|
-
import { runBootstrapSubcommand } from "./bootstrap/runBootstrapSubcommand.js";
|
|
40
|
+
import { runActivateSubcommand, runBootstrapSubcommand } from "./bootstrap/runBootstrapSubcommand.js";
|
|
41
41
|
import { runBatchVerifyWithTelemetrySubcommand } from "./verify/batchVerifyTelemetrySubcommand.js";
|
|
42
42
|
import { runCrossingSubcommand } from "./crossing/runCrossingSubcommand.js";
|
|
43
43
|
import { runLoopSubcommand } from "./loop/runLoopSubcommand.js";
|
|
@@ -91,6 +91,12 @@ Exit codes:
|
|
|
91
91
|
}
|
|
92
92
|
function usageVerify() {
|
|
93
93
|
return `Usage:
|
|
94
|
+
agentskeptic activate --input <path> (--db <sqlitePath> | --postgres-url <url>) --out <path>
|
|
95
|
+
(canonical activation: BootstrapPackInput v1 + proof/ subtree on exits 0–2; normative docs/bootstrap-pack-normative.md)
|
|
96
|
+
|
|
97
|
+
agentskeptic bootstrap --input <path> (--db <sqlitePath> | --postgres-url <url>) --out <path>
|
|
98
|
+
(legacy compatibility: same kernel as activate without proof/ or activation manifest — see docs/bootstrap-pack-normative.md)
|
|
99
|
+
|
|
94
100
|
agentskeptic loop --workflow-id <id> --events <path> --registry <path> (--db <sqlitePath> | --postgres-url <url>)
|
|
95
101
|
[--consistency strong|eventual] [--verification-window-ms <int>] [--poll-interval-ms <int>] [--max-history-runs <int>]
|
|
96
102
|
(recommended default local truth loop; emits TRUSTED | NOT TRUSTED | UNKNOWN + auto-compare + run history)
|
|
@@ -98,9 +104,6 @@ function usageVerify() {
|
|
|
98
104
|
agentskeptic quick --input <path> (--postgres-url <url> | --db <sqlitePath>) --export-registry <path> [--emit-events <path>] [--workflow-id <id>]
|
|
99
105
|
(advanced/specialized path; structured tool activity + read-only SQL; see docs/quick-verify-normative.md)
|
|
100
106
|
|
|
101
|
-
agentskeptic bootstrap --input <path> (--db <sqlitePath> | --postgres-url <url>) --out <path>
|
|
102
|
-
(BootstrapPackInput v1 JSON → contract pack + in-process verify; see docs/bootstrap-pack-normative.md)
|
|
103
|
-
|
|
104
107
|
agentskeptic registry-draft --provider hosted_openai|local_ollama --request <registry-draft-request.json> [--out <dir>]
|
|
105
108
|
(DraftEngine assisted draft tools.json + deterministic quick-ingest NDJSON JSON to stdout — see docs/registry-draft.md)
|
|
106
109
|
|
|
@@ -1173,7 +1176,8 @@ Stdout: one JSON line (decision_bundle_validation v1).
|
|
|
1173
1176
|
}
|
|
1174
1177
|
}
|
|
1175
1178
|
async function main() {
|
|
1176
|
-
|
|
1179
|
+
/** Bash on Windows sometimes forwards argv tokens with stray `\r` from CRLF script lines */
|
|
1180
|
+
const args = process.argv.slice(2).map((a) => a.replace(/\r+$/, ""));
|
|
1177
1181
|
if (args[0] === "--version" || args[0] === "-V") {
|
|
1178
1182
|
console.log(AGENTSKEPTIC_CLI_SEMVER);
|
|
1179
1183
|
process.exit(0);
|
|
@@ -1253,6 +1257,10 @@ async function main() {
|
|
|
1253
1257
|
await runCrossingSubcommand(args.slice(1));
|
|
1254
1258
|
return;
|
|
1255
1259
|
}
|
|
1260
|
+
if (args[0] === "activate") {
|
|
1261
|
+
await runActivateSubcommand(args.slice(1));
|
|
1262
|
+
return;
|
|
1263
|
+
}
|
|
1256
1264
|
if (args[0] === "bootstrap") {
|
|
1257
1265
|
await runBootstrapSubcommand(args.slice(1));
|
|
1258
1266
|
return;
|