@jeger-ai/opengantry 3.1.0 → 3.2.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/dist/cli/commands/attest.d.ts +2 -1
- package/dist/cli/commands/attest.d.ts.map +1 -1
- package/dist/cli/commands/attest.js +18 -10
- package/dist/cli/commands/attest.js.map +1 -1
- package/dist/cli/commands/check-imports.d.ts.map +1 -1
- package/dist/cli/commands/check-imports.js +4 -7
- package/dist/cli/commands/check-imports.js.map +1 -1
- package/dist/cli/commands/context-feed.d.ts.map +1 -1
- package/dist/cli/commands/context-feed.js +7 -10
- package/dist/cli/commands/context-feed.js.map +1 -1
- package/dist/cli/commands/doctor.d.ts.map +1 -1
- package/dist/cli/commands/doctor.js +2 -1
- package/dist/cli/commands/doctor.js.map +1 -1
- package/dist/cli/commands/interrogate.d.ts +12 -0
- package/dist/cli/commands/interrogate.d.ts.map +1 -0
- package/dist/cli/commands/interrogate.js +62 -0
- package/dist/cli/commands/interrogate.js.map +1 -0
- package/dist/cli/commands/metrics.d.ts.map +1 -1
- package/dist/cli/commands/metrics.js +5 -8
- package/dist/cli/commands/metrics.js.map +1 -1
- package/dist/cli/commands/pin.d.ts +6 -0
- package/dist/cli/commands/pin.d.ts.map +1 -0
- package/dist/cli/commands/pin.js +31 -0
- package/dist/cli/commands/pin.js.map +1 -0
- package/dist/cli/commands/receipt.d.ts +13 -0
- package/dist/cli/commands/receipt.d.ts.map +1 -0
- package/dist/cli/commands/receipt.js +52 -0
- package/dist/cli/commands/receipt.js.map +1 -0
- package/dist/cli/commands/runtime.d.ts +1 -1
- package/dist/cli/commands/runtime.d.ts.map +1 -1
- package/dist/cli/commands/runtime.js +20 -26
- package/dist/cli/commands/runtime.js.map +1 -1
- package/dist/cli/commands/scan.d.ts.map +1 -1
- package/dist/cli/commands/scan.js +17 -15
- package/dist/cli/commands/scan.js.map +1 -1
- package/dist/cli/commands/tmvc-guard.d.ts.map +1 -1
- package/dist/cli/commands/tmvc-guard.js +8 -15
- package/dist/cli/commands/tmvc-guard.js.map +1 -1
- package/dist/cli/commands/verify.d.ts.map +1 -1
- package/dist/cli/commands/verify.js +4 -6
- package/dist/cli/commands/verify.js.map +1 -1
- package/dist/cli/lib/arch/cage/target-architecture.d.ts +1 -0
- package/dist/cli/lib/arch/cage/target-architecture.d.ts.map +1 -1
- package/dist/cli/lib/arch/cage/target-architecture.js +1 -1
- package/dist/cli/lib/arch/cage/target-architecture.js.map +1 -1
- package/dist/cli/lib/attest-mission.d.ts +9 -1
- package/dist/cli/lib/attest-mission.d.ts.map +1 -1
- package/dist/cli/lib/attest-mission.js +17 -9
- package/dist/cli/lib/attest-mission.js.map +1 -1
- package/dist/cli/lib/attestation-export.d.ts +11 -0
- package/dist/cli/lib/attestation-export.d.ts.map +1 -0
- package/dist/cli/lib/attestation-export.js +23 -0
- package/dist/cli/lib/attestation-export.js.map +1 -0
- package/dist/cli/lib/attestation-receipt.d.ts +14 -5
- package/dist/cli/lib/attestation-receipt.d.ts.map +1 -1
- package/dist/cli/lib/attestation-receipt.js +82 -40
- package/dist/cli/lib/attestation-receipt.js.map +1 -1
- package/dist/cli/lib/command-boundary.d.ts +18 -0
- package/dist/cli/lib/command-boundary.d.ts.map +1 -1
- package/dist/cli/lib/command-boundary.js +50 -4
- package/dist/cli/lib/command-boundary.js.map +1 -1
- package/dist/cli/lib/draft-token.d.ts +5 -1
- package/dist/cli/lib/draft-token.d.ts.map +1 -1
- package/dist/cli/lib/draft-token.js +19 -3
- package/dist/cli/lib/draft-token.js.map +1 -1
- package/dist/cli/lib/errors.d.ts +9 -1
- package/dist/cli/lib/errors.d.ts.map +1 -1
- package/dist/cli/lib/errors.js +31 -10
- package/dist/cli/lib/errors.js.map +1 -1
- package/dist/cli/lib/gxt-error-codes.d.ts +5 -0
- package/dist/cli/lib/gxt-error-codes.d.ts.map +1 -1
- package/dist/cli/lib/gxt-error-codes.js +8 -0
- package/dist/cli/lib/gxt-error-codes.js.map +1 -1
- package/dist/cli/lib/interrogate/answers.d.ts +8 -0
- package/dist/cli/lib/interrogate/answers.d.ts.map +1 -0
- package/dist/cli/lib/interrogate/answers.js +50 -0
- package/dist/cli/lib/interrogate/answers.js.map +1 -0
- package/dist/cli/lib/interrogate/findings.d.ts +27 -0
- package/dist/cli/lib/interrogate/findings.d.ts.map +1 -0
- package/dist/cli/lib/interrogate/findings.js +36 -0
- package/dist/cli/lib/interrogate/findings.js.map +1 -0
- package/dist/cli/lib/interrogate/gaps.d.ts +13 -0
- package/dist/cli/lib/interrogate/gaps.d.ts.map +1 -0
- package/dist/cli/lib/interrogate/gaps.js +110 -0
- package/dist/cli/lib/interrogate/gaps.js.map +1 -0
- package/dist/cli/lib/interrogate/gate-integrity.d.ts +7 -0
- package/dist/cli/lib/interrogate/gate-integrity.d.ts.map +1 -0
- package/dist/cli/lib/interrogate/gate-integrity.js +30 -0
- package/dist/cli/lib/interrogate/gate-integrity.js.map +1 -0
- package/dist/cli/lib/interrogate/run.d.ts +26 -0
- package/dist/cli/lib/interrogate/run.d.ts.map +1 -0
- package/dist/cli/lib/interrogate/run.js +43 -0
- package/dist/cli/lib/interrogate/run.js.map +1 -0
- package/dist/cli/lib/kpi-scan.d.ts.map +1 -1
- package/dist/cli/lib/kpi-scan.js +4 -3
- package/dist/cli/lib/kpi-scan.js.map +1 -1
- package/dist/cli/lib/legislate-gate-options.d.ts +9 -0
- package/dist/cli/lib/legislate-gate-options.d.ts.map +1 -0
- package/dist/cli/lib/legislate-gate-options.js +11 -0
- package/dist/cli/lib/legislate-gate-options.js.map +1 -0
- package/dist/cli/lib/legislate.d.ts +23 -12
- package/dist/cli/lib/legislate.d.ts.map +1 -1
- package/dist/cli/lib/legislate.js +61 -13
- package/dist/cli/lib/legislate.js.map +1 -1
- package/dist/cli/lib/manifest.d.ts.map +1 -1
- package/dist/cli/lib/manifest.js +10 -0
- package/dist/cli/lib/manifest.js.map +1 -1
- package/dist/cli/lib/mcp-attest.d.ts.map +1 -1
- package/dist/cli/lib/mcp-attest.js +8 -1
- package/dist/cli/lib/mcp-attest.js.map +1 -1
- package/dist/cli/lib/mcp-draft-legislation.d.ts.map +1 -1
- package/dist/cli/lib/mcp-draft-legislation.js +49 -5
- package/dist/cli/lib/mcp-draft-legislation.js.map +1 -1
- package/dist/cli/lib/mcp-execute-legislation.d.ts.map +1 -1
- package/dist/cli/lib/mcp-execute-legislation.js +6 -0
- package/dist/cli/lib/mcp-execute-legislation.js.map +1 -1
- package/dist/cli/lib/mcp-governance-shared.d.ts +7 -0
- package/dist/cli/lib/mcp-governance-shared.d.ts.map +1 -1
- package/dist/cli/lib/mcp-governance-shared.js +10 -0
- package/dist/cli/lib/mcp-governance-shared.js.map +1 -1
- package/dist/cli/lib/mcp-interrogate.d.ts +18 -0
- package/dist/cli/lib/mcp-interrogate.d.ts.map +1 -0
- package/dist/cli/lib/mcp-interrogate.js +29 -0
- package/dist/cli/lib/mcp-interrogate.js.map +1 -0
- package/dist/cli/lib/mcp-pin-mission.d.ts.map +1 -1
- package/dist/cli/lib/mcp-pin-mission.js +10 -10
- package/dist/cli/lib/mcp-pin-mission.js.map +1 -1
- package/dist/cli/lib/mcp-start-orchestration.d.ts.map +1 -1
- package/dist/cli/lib/mcp-start-orchestration.js +9 -4
- package/dist/cli/lib/mcp-start-orchestration.js.map +1 -1
- package/dist/cli/lib/mcp-tools-register.d.ts.map +1 -1
- package/dist/cli/lib/mcp-tools-register.js +22 -1
- package/dist/cli/lib/mcp-tools-register.js.map +1 -1
- package/dist/cli/lib/mission-arg.d.ts +18 -0
- package/dist/cli/lib/mission-arg.d.ts.map +1 -0
- package/dist/cli/lib/mission-arg.js +45 -0
- package/dist/cli/lib/mission-arg.js.map +1 -0
- package/dist/cli/lib/missions/formatter.d.ts.map +1 -1
- package/dist/cli/lib/missions/formatter.js +3 -0
- package/dist/cli/lib/missions/formatter.js.map +1 -1
- package/dist/cli/lib/missions/parser.d.ts +4 -0
- package/dist/cli/lib/missions/parser.d.ts.map +1 -1
- package/dist/cli/lib/missions/parser.js +36 -0
- package/dist/cli/lib/missions/parser.js.map +1 -1
- package/dist/cli/lib/org-export-config.d.ts +9 -0
- package/dist/cli/lib/org-export-config.d.ts.map +1 -0
- package/dist/cli/lib/org-export-config.js +45 -0
- package/dist/cli/lib/org-export-config.js.map +1 -0
- package/dist/cli/lib/pepper-keyring.d.ts +18 -0
- package/dist/cli/lib/pepper-keyring.d.ts.map +1 -0
- package/dist/cli/lib/pepper-keyring.js +128 -0
- package/dist/cli/lib/pepper-keyring.js.map +1 -0
- package/dist/cli/lib/perimeter.d.ts +1 -0
- package/dist/cli/lib/perimeter.d.ts.map +1 -1
- package/dist/cli/lib/perimeter.js +1 -1
- package/dist/cli/lib/perimeter.js.map +1 -1
- package/dist/cli/lib/principal-hmac.d.ts +20 -0
- package/dist/cli/lib/principal-hmac.d.ts.map +1 -0
- package/dist/cli/lib/principal-hmac.js +74 -0
- package/dist/cli/lib/principal-hmac.js.map +1 -0
- package/dist/cli/lib/receipt-attribution.d.ts +23 -0
- package/dist/cli/lib/receipt-attribution.d.ts.map +1 -0
- package/dist/cli/lib/receipt-attribution.js +113 -0
- package/dist/cli/lib/receipt-attribution.js.map +1 -0
- package/dist/cli/lib/receipt-inspect.d.ts +28 -0
- package/dist/cli/lib/receipt-inspect.d.ts.map +1 -0
- package/dist/cli/lib/receipt-inspect.js +105 -0
- package/dist/cli/lib/receipt-inspect.js.map +1 -0
- package/dist/cli/lib/receipt-signing.d.ts +18 -1
- package/dist/cli/lib/receipt-signing.d.ts.map +1 -1
- package/dist/cli/lib/receipt-signing.js +34 -8
- package/dist/cli/lib/receipt-signing.js.map +1 -1
- package/dist/cli/lib/start-orchestration.d.ts +1 -0
- package/dist/cli/lib/start-orchestration.d.ts.map +1 -1
- package/dist/cli/lib/start-orchestration.js +55 -4
- package/dist/cli/lib/start-orchestration.js.map +1 -1
- package/dist/cli/lib/tmvc-path.d.ts +2 -0
- package/dist/cli/lib/tmvc-path.d.ts.map +1 -1
- package/dist/cli/lib/tmvc-path.js +16 -0
- package/dist/cli/lib/tmvc-path.js.map +1 -1
- package/dist/cli/lib/triage-logic.d.ts +1 -0
- package/dist/cli/lib/triage-logic.d.ts.map +1 -1
- package/dist/cli/lib/triage-logic.js +3 -0
- package/dist/cli/lib/triage-logic.js.map +1 -1
- package/dist/cli/lib/types.d.ts +16 -0
- package/dist/cli/lib/types.d.ts.map +1 -1
- package/dist/cli/lib/verify-context.d.ts +15 -0
- package/dist/cli/lib/verify-context.d.ts.map +1 -0
- package/dist/cli/lib/verify-context.js +2 -0
- package/dist/cli/lib/verify-context.js.map +1 -0
- package/dist/cli/lib/verify-engine.d.ts.map +1 -1
- package/dist/cli/lib/verify-engine.js +37 -7
- package/dist/cli/lib/verify-engine.js.map +1 -1
- package/dist/cli/lib/verify-failure-normalize.d.ts.map +1 -1
- package/dist/cli/lib/verify-failure-normalize.js +14 -0
- package/dist/cli/lib/verify-failure-normalize.js.map +1 -1
- package/dist/cli/lib/verify-failure.d.ts +8 -2
- package/dist/cli/lib/verify-failure.d.ts.map +1 -1
- package/dist/cli/lib/verify-finding.d.ts +1 -1
- package/dist/cli/lib/verify-finding.d.ts.map +1 -1
- package/dist/cli/lib/verify-finding.js.map +1 -1
- package/dist/cli/lib/verify-hints.d.ts.map +1 -1
- package/dist/cli/lib/verify-hints.js +17 -0
- package/dist/cli/lib/verify-hints.js.map +1 -1
- package/dist/cli/lib/verify-interrogation.d.ts +18 -0
- package/dist/cli/lib/verify-interrogation.d.ts.map +1 -0
- package/dist/cli/lib/verify-interrogation.js +205 -0
- package/dist/cli/lib/verify-interrogation.js.map +1 -0
- package/dist/cli/lib/verify-options.d.ts +4 -2
- package/dist/cli/lib/verify-options.d.ts.map +1 -1
- package/dist/cli/lib/verify-options.js +1 -12
- package/dist/cli/lib/verify-options.js.map +1 -1
- package/dist/cli/lib/verify-payload.d.ts +7 -2
- package/dist/cli/lib/verify-payload.d.ts.map +1 -1
- package/dist/cli/lib/verify-payload.js +3 -3
- package/dist/cli/lib/verify-payload.js.map +1 -1
- package/dist/cli/lib/verify-presenters.d.ts +23 -15
- package/dist/cli/lib/verify-presenters.d.ts.map +1 -1
- package/dist/cli/lib/verify-presenters.js +49 -42
- package/dist/cli/lib/verify-presenters.js.map +1 -1
- package/dist/cli/lib/verify-receipt.d.ts +5 -1
- package/dist/cli/lib/verify-receipt.d.ts.map +1 -1
- package/dist/cli/lib/verify-receipt.js +27 -7
- package/dist/cli/lib/verify-receipt.js.map +1 -1
- package/dist/cli/lib/verify-run.d.ts +1 -0
- package/dist/cli/lib/verify-run.d.ts.map +1 -1
- package/dist/cli/lib/verify-run.js +90 -38
- package/dist/cli/lib/verify-run.js.map +1 -1
- package/dist/cli/lib/version.gen.d.ts +1 -1
- package/dist/cli/lib/version.gen.js +1 -1
- package/dist/cli/program-core.d.ts.map +1 -1
- package/dist/cli/program-core.js +52 -0
- package/dist/cli/program-core.js.map +1 -1
- package/dist/cli/program-mission.js +2 -2
- package/dist/cli/program-mission.js.map +1 -1
- package/dist/cli/program-workflow.d.ts +44 -0
- package/dist/cli/program-workflow.d.ts.map +1 -1
- package/dist/cli/program-workflow.js +69 -7
- package/dist/cli/program-workflow.js.map +1 -1
- package/package.json +1 -1
- package/templates/.gitagent/foreman/SUBSTRATE.version.json +1 -1
- package/templates/.gitagent/planner/MISSION.schema.yaml +54 -0
- package/templates/.github/workflows/gxt-attest-ingest.yml +72 -0
- package/templates/.gitignore.gxt +1 -0
- package/templates/integrations/compatibility.json +52 -16
- package/templates/scripts/gxt-pin-mission.sh +15 -2
- package/templates/scripts/gxt-runtime-env.sh +12 -6
- package/templates/scripts/validate-mcp-dogfood.mjs +56 -0
|
@@ -1,6 +1,7 @@
|
|
|
1
|
+
import type { GxtErrorCode } from "./gxt-error-codes.js";
|
|
1
2
|
import type { KpiThresholdOp } from "./types.js";
|
|
2
3
|
import type { TraceFailureKind } from "./trace.js";
|
|
3
|
-
export type VerifyFailurePhase = "git_proof" | "gate" | "defensive" | "kpi" | "trace_pending" | "trace";
|
|
4
|
+
export type VerifyFailurePhase = "git_proof" | "gate" | "defensive" | "kpi" | "trace_pending" | "trace" | "interrogation";
|
|
4
5
|
export type KpiFailureKind = "missing" | "invalid" | "stale" | "threshold" | "exit_code";
|
|
5
6
|
interface VerifyFailureBase {
|
|
6
7
|
ok: false;
|
|
@@ -51,7 +52,12 @@ export interface TraceFailure extends VerifyFailureBase {
|
|
|
51
52
|
attestationCommit?: string;
|
|
52
53
|
stalePaths?: string[];
|
|
53
54
|
}
|
|
55
|
+
export interface InterrogationFailure extends VerifyFailureBase {
|
|
56
|
+
phase: "interrogation";
|
|
57
|
+
interrogationCode: GxtErrorCode;
|
|
58
|
+
interrogationWarnings?: string[];
|
|
59
|
+
}
|
|
54
60
|
/** Discriminated on `phase` — phase-specific fields exist only on their variant. */
|
|
55
|
-
export type VerifyPhaseFailure = GitProofFailure | GateFailure | DefensiveFailure | KpiFailure | TracePendingFailure | TraceFailure;
|
|
61
|
+
export type VerifyPhaseFailure = GitProofFailure | GateFailure | DefensiveFailure | KpiFailure | TracePendingFailure | TraceFailure | InterrogationFailure;
|
|
56
62
|
export {};
|
|
57
63
|
//# sourceMappingURL=verify-failure.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-failure.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEnD,MAAM,MAAM,kBAAkB,
|
|
1
|
+
{"version":3,"file":"verify-failure.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEnD,MAAM,MAAM,kBAAkB,GAC1B,WAAW,GACX,MAAM,GACN,WAAW,GACX,KAAK,GACL,eAAe,GACf,OAAO,GACP,eAAe,CAAC;AAEpB,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,WAAW,GAAG,WAAW,CAAC;AAEzF,UAAU,iBAAiB;IACzB,EAAE,EAAE,KAAK,CAAC;IACV,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,eAAgB,SAAQ,iBAAiB;IACxD,KAAK,EAAE,WAAW,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,WAAY,SAAQ,iBAAiB;IACpD,KAAK,EAAE,MAAM,CAAC;IACd,iEAAiE;IACjE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,gBAAiB,SAAQ,iBAAiB;IACzD,KAAK,EAAE,WAAW,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,UAAW,SAAQ,iBAAiB;IACnD,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,cAAc,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,mBAAoB,SAAQ,iBAAiB;IAC5D,KAAK,EAAE,eAAe,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAa,SAAQ,iBAAiB;IACrD,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,gBAAgB,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,oBAAqB,SAAQ,iBAAiB;IAC7D,KAAK,EAAE,eAAe,CAAC;IACvB,iBAAiB,EAAE,YAAY,CAAC;IAChC,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CAClC;AAED,oFAAoF;AACpF,MAAM,MAAM,kBAAkB,GAC1B,eAAe,GACf,WAAW,GACX,gBAAgB,GAChB,UAAU,GACV,mBAAmB,GACnB,YAAY,GACZ,oBAAoB,CAAC"}
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
export declare const VERIFY_ENVELOPE_SCHEMA_VERSION: 2;
|
|
2
2
|
export type VerifyFindingSeverity = "error" | "warning";
|
|
3
|
-
export type VerifyFailedGate = "gate" | "trace" | "git_proof" | "defensive" | "kpi" | "init" | "arch";
|
|
3
|
+
export type VerifyFailedGate = "gate" | "trace" | "git_proof" | "defensive" | "kpi" | "init" | "arch" | "interrogation";
|
|
4
4
|
export interface VerifyFinding {
|
|
5
5
|
failed_gate: VerifyFailedGate;
|
|
6
6
|
offending_file: string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-finding.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-finding.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,8BAA8B,EAAG,CAAU,CAAC;AAEzD,MAAM,MAAM,qBAAqB,GAAG,OAAO,GAAG,SAAS,CAAC;AAExD,MAAM,MAAM,gBAAgB,GACxB,MAAM,GACN,OAAO,GACP,WAAW,GACX,WAAW,GACX,KAAK,GACL,MAAM,GACN,MAAM,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-finding.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-finding.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,8BAA8B,EAAG,CAAU,CAAC;AAEzD,MAAM,MAAM,qBAAqB,GAAG,OAAO,GAAG,SAAS,CAAC;AAExD,MAAM,MAAM,gBAAgB,GACxB,MAAM,GACN,OAAO,GACP,WAAW,GACX,WAAW,GACX,KAAK,GACL,MAAM,GACN,MAAM,GACN,eAAe,CAAC;AAEpB,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,gBAAgB,CAAC;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,qBAAqB,CAAC;IAChC,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,wBAAgB,aAAa,CAC3B,WAAW,EAAE,gBAAgB,EAC7B,eAAe,EAAE,MAAM,EACvB,IAAI,GAAE;IAAE,cAAc,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,qBAAqB,CAAA;CAAO,GACtF,aAAa,CAQf"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-finding.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-finding.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAU,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-finding.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-finding.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAU,CAAC;AAsBzD,MAAM,UAAU,aAAa,CAC3B,WAA6B,EAC7B,eAAuB,EACvB,OAAqF,EAAE;IAEvF,OAAO;QACL,WAAW;QACX,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,EAAE;QACzC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC;QACpB,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,OAAO;QAClC,eAAe;KAChB,CAAC;AACJ,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-hints.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-hints.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAYzD,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"verify-hints.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-hints.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAYzD,OAAO,KAAK,EASV,kBAAkB,EACnB,MAAM,qBAAqB,CAAC;AAE7B,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,cAAc,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,YAAY,CAAC;IACzB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,CAAC,EAAE,kBAAkB,EAAE,CAAC;CACrC;AAED,8FAA8F;AAC9F,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAmKD,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,kBAAkB,EAC3B,IAAI,EAAE,cAAc,GACnB,iBAAiB,CAqBnB"}
|
|
@@ -136,6 +136,21 @@ function hintsForTracePhase(failure, meta) {
|
|
|
136
136
|
],
|
|
137
137
|
};
|
|
138
138
|
}
|
|
139
|
+
function hintsForInterrogationPhase(failure, meta) {
|
|
140
|
+
const verifyCmdStr = verifyCmd(meta.missionPath);
|
|
141
|
+
return {
|
|
142
|
+
error_code: failure.interrogationCode,
|
|
143
|
+
fix_hints: [failure.message, "re-run gantry interrogate and update mission interrogation block on record"],
|
|
144
|
+
next_actions: [
|
|
145
|
+
`gantry interrogate "<intent>" --msn ${meta.msnId ?? "MSN-NNNN"} --skill-key gantry`,
|
|
146
|
+
verifyCmdStr,
|
|
147
|
+
],
|
|
148
|
+
tagged_steps: [
|
|
149
|
+
tagStep("planner", "quote operator answers verbatim in mission interrogation block"),
|
|
150
|
+
tagStep("verifier", verifyCmdStr),
|
|
151
|
+
],
|
|
152
|
+
};
|
|
153
|
+
}
|
|
139
154
|
export function hintsForVerifyPhase(failure, meta) {
|
|
140
155
|
switch (failure.phase) {
|
|
141
156
|
case "git_proof":
|
|
@@ -150,6 +165,8 @@ export function hintsForVerifyPhase(failure, meta) {
|
|
|
150
165
|
return hintsForTracePendingPhase(failure, meta);
|
|
151
166
|
case "trace":
|
|
152
167
|
return hintsForTracePhase(failure, meta);
|
|
168
|
+
case "interrogation":
|
|
169
|
+
return hintsForInterrogationPhase(failure, meta);
|
|
153
170
|
default: {
|
|
154
171
|
const _exhaustive = failure;
|
|
155
172
|
return _exhaustive;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-hints.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-hints.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,+BAA+B,EAAE,MAAM,8BAA8B,CAAC;AAC/E,OAAO,EAAE,8BAA8B,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,YAAY,EACZ,qBAAqB,EACrB,iBAAiB,EACjB,6BAA6B,GAC9B,MAAM,gBAAgB,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-hints.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-hints.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,+BAA+B,EAAE,MAAM,8BAA8B,CAAC;AAC/E,OAAO,EAAE,8BAA8B,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,YAAY,EACZ,qBAAqB,EACrB,iBAAiB,EACjB,6BAA6B,GAC9B,MAAM,gBAAgB,CAAC;AAgCxB,SAAS,OAAO,CAAC,QAAwB,EAAE,IAAY;IACrD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,SAAS,CAAC,OAAe;IAChC,OAAO,2BAA2B,OAAO,EAAE,CAAC;AAC9C,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAwB,EAAE,IAAoB;IAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC;IACjC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG;QACb,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,WAAW,EAAE,OAAO;QACpB,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,6BAA6B,CAAC,OAAO,CAAC,eAAe,CAAC;QAC3E,cAAc,EAAE,OAAO;KACxB,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;IAC9D,MAAM,WAAW,GACf,IAAI,KAAK,gBAAgB,IAAI,IAAI,KAAK,sCAAsC;QAC1E,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,EAAE,+CAA+C,EAAE,YAAY,CAAC;QACvF,CAAC,CAAC,CAAC,+CAA+C,EAAE,YAAY,CAAC,CAAC;IACtE,MAAM,YAAY,GAAyB;QACzC,OAAO,CAAC,SAAS,EAAE,+CAA+C,CAAC;QACnE,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC;KAClC,CAAC;IACF,IAAI,IAAI,KAAK,gBAAgB,IAAI,IAAI,KAAK,sCAAsC,EAAE,CAAC;QACjF,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO;QACL,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,iBAAiB;QAC3E,SAAS,EAAE,CAAC,IAAI,CAAC;QACjB,YAAY,EAAE,WAAW;QACzB,YAAY;KACb,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAoB,EAAE,IAAoB;IACnE,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC;IACjC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,IAAI,QAAQ,CAAC;IAC7C,MAAM,QAAQ,GAAG,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,KAAK,OAAO,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;IAC5E,MAAM,SAAS,GAAG,8BAA8B,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;WACrE,8BAA8B,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC,sBAAsB;QAClC,CAAC,CAAC,+BAA+B,CAAC,QAAQ,CAAC;YACzC,CAAC,CAAC,SAAS,CAAC,sBAAsB;YAClC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC;IAC5B,OAAO;QACL,UAAU,EAAE,SAAS;QACrB,SAAS,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACpC,YAAY,EAAE,CAAC,gBAAgB,IAAI,EAAE,EAAE,YAAY,CAAC;QACpD,YAAY,EAAE;YACZ,OAAO,CAAC,UAAU,EAAE,gBAAgB,IAAI,EAAE,CAAC;YAC3C,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC;SAClC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAoB;IAC/C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,kBAAkB,CAAC;QACtC,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,kBAAkB,CAAC;QACtC,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,gBAAgB,CAAC;QACpC,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,SAAS,CAAC,eAAe,CAAC;QACnC,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAyB,EAAE,IAAoB;IAC7E,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjD,OAAO;QACL,UAAU,EAAE,SAAS,CAAC,sBAAsB;QAC5C,SAAS,EAAE,CAAC,OAAO,CAAC,eAAe,EAAE,yEAAyE,CAAC;QAC/G,YAAY,EAAE,CAAC,YAAY,CAAC;QAC5B,YAAY,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,yCAAyC,CAAC,EAAE,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;KAClH,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAmB,EAAE,IAAoB;IACjE,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC;IACjC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,OAAO;QACL,UAAU,EAAE,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC;QAChD,SAAS,EAAE;YACT,yBAAyB,OAAO,EAAE;YAClC,gDAAgD;YAChD,YAAY;SACb;QACD,YAAY,EAAE,CAAC,yBAAyB,OAAO,EAAE,EAAE,YAAY,CAAC;QAChE,YAAY,EAAE;YACZ,OAAO,CAAC,UAAU,EAAE,yBAAyB,OAAO,EAAE,CAAC;YACvD,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC;SAClC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,OAA4B,EAAE,IAAoB;IACnF,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC;IACjC,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,CAAC,eAAe,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3F,OAAO;QACL,UAAU,EAAE,SAAS,CAAC,aAAa;QACnC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5B,YAAY,EAAE,KAAK;QACnB,YAAY,EAAE;YACZ,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;YAC9B,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;YAC9B,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;YAC9B,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC;SACpD;KACF,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAqB,EAAE,IAAoB;IACrE,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC;IACjC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,KAAK,GAAa;QACtB,gBAAgB,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,eAAe,EAAE,OAAO,EAAE,OAAO,CAAC,UAAU,CAAC;KAC1F,CAAC;IACF,MAAM,SAAS,GACb,OAAO,CAAC,SAAS,KAAK,WAAW;QAC/B,CAAC,CAAC,SAAS,CAAC,eAAe;QAC3B,CAAC,CAAC,OAAO,CAAC,SAAS,KAAK,gBAAgB;YACtC,CAAC,CAAC,SAAS,CAAC,WAAW;YACvB,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC;IAChC,OAAO;QACL,UAAU,EAAE,SAAS;QACrB,SAAS,EAAE,KAAK;QAChB,YAAY,EAAE,CAAC,YAAY,EAAE,2BAA2B,OAAO,QAAQ,CAAC;QACxE,YAAY,EAAE;YACZ,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC;YACjC,OAAO,CAAC,UAAU,EAAE,2BAA2B,OAAO,QAAQ,CAAC;SAChE;KACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,OAA6B,EAAE,IAAoB;IACrF,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjD,OAAO;QACL,UAAU,EAAE,OAAO,CAAC,iBAAiB;QACrC,SAAS,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,4EAA4E,CAAC;QAC1G,YAAY,EAAE;YACZ,uCAAuC,IAAI,CAAC,KAAK,IAAI,UAAU,qBAAqB;YACpF,YAAY;SACb;QACD,YAAY,EAAE;YACZ,OAAO,CAAC,SAAS,EAAE,gEAAgE,CAAC;YACpF,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC;SAClC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,OAA2B,EAC3B,IAAoB;IAEpB,QAAQ,OAAO,CAAC,KAAK,EAAE,CAAC;QACtB,KAAK,WAAW;YACd,OAAO,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC9C,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC1C,KAAK,WAAW;YACd,OAAO,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC/C,KAAK,KAAK;YACR,OAAO,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACzC,KAAK,eAAe;YAClB,OAAO,yBAAyB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAClD,KAAK,OAAO;YACV,OAAO,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC3C,KAAK,eAAe;YAClB,OAAO,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACnD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,OAAO,CAAC;YACnC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
import type { Manifest, ParsedMission } from "./types.js";
|
|
2
|
+
import type { VerifyOptions } from "./verify-options.js";
|
|
3
|
+
import type { InterrogationFailure } from "./verify-failure.js";
|
|
4
|
+
export interface InterrogationPhaseOutcome {
|
|
5
|
+
failure: InterrogationFailure | null;
|
|
6
|
+
warnings: string[];
|
|
7
|
+
}
|
|
8
|
+
export interface InterrogationPhaseInput {
|
|
9
|
+
root: string;
|
|
10
|
+
manifest: Manifest;
|
|
11
|
+
mission: ParsedMission;
|
|
12
|
+
missionRel: string;
|
|
13
|
+
options: VerifyOptions;
|
|
14
|
+
proofMsnId: string;
|
|
15
|
+
executorLogPath: string;
|
|
16
|
+
}
|
|
17
|
+
export declare function evaluateInterrogationPhase(input: InterrogationPhaseInput): InterrogationPhaseOutcome;
|
|
18
|
+
//# sourceMappingURL=verify-interrogation.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-interrogation.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-interrogation.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAEhE,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACrC,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAgOD,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,uBAAuB,GAAG,yBAAyB,CAwDpG"}
|
|
@@ -0,0 +1,205 @@
|
|
|
1
|
+
import YAML from "yaml";
|
|
2
|
+
import { GXT_ERROR } from "./gxt-error-codes.js";
|
|
3
|
+
import { gitRunOk, gitRevParse } from "./git.js";
|
|
4
|
+
import { listCommitChangedPaths, listMsnSubjectCommits, resolveMsnScanDepth, } from "./git-proof.js";
|
|
5
|
+
import { resolvePlannerEmails } from "./planner-identity.js";
|
|
6
|
+
import { isStubOperatorAnswer } from "./interrogate/answers.js";
|
|
7
|
+
import { interrogationSha256 } from "./interrogate/findings.js";
|
|
8
|
+
import { isLegislativeStub } from "./missions/formatter.js";
|
|
9
|
+
import { normalizeRepoRelativePath, pathRiskTier } from "./tmvc-path.js";
|
|
10
|
+
import { SHALLOW_HISTORY_HINT } from "./perimeter.js";
|
|
11
|
+
function interrogationFailure(executorLogPath, code, message, warnings = []) {
|
|
12
|
+
return {
|
|
13
|
+
ok: false,
|
|
14
|
+
phase: "interrogation",
|
|
15
|
+
message,
|
|
16
|
+
exitCode: 1,
|
|
17
|
+
executorLogPath,
|
|
18
|
+
interrogationCode: code,
|
|
19
|
+
...(warnings.length > 0 ? { interrogationWarnings: warnings } : {}),
|
|
20
|
+
};
|
|
21
|
+
}
|
|
22
|
+
function readMissionAtCommit(root, commit, missionRel) {
|
|
23
|
+
if (!gitRevParse(root, commit))
|
|
24
|
+
return null;
|
|
25
|
+
const r = gitRunOk(root, ["show", `${commit}:${missionRel}`]);
|
|
26
|
+
if (!r.ok)
|
|
27
|
+
return null;
|
|
28
|
+
return r.stdout;
|
|
29
|
+
}
|
|
30
|
+
function stampedInterrogationDigest(body) {
|
|
31
|
+
try {
|
|
32
|
+
const doc = YAML.parse(body);
|
|
33
|
+
if (doc.interrogation_sha256 === undefined || doc.interrogation_sha256 === null) {
|
|
34
|
+
return null;
|
|
35
|
+
}
|
|
36
|
+
if (typeof doc.interrogation_sha256 === "string") {
|
|
37
|
+
return doc.interrogation_sha256;
|
|
38
|
+
}
|
|
39
|
+
return undefined;
|
|
40
|
+
}
|
|
41
|
+
catch {
|
|
42
|
+
return undefined;
|
|
43
|
+
}
|
|
44
|
+
}
|
|
45
|
+
function compareStampedDigest(stamped, current) {
|
|
46
|
+
if (stamped === undefined) {
|
|
47
|
+
return interrogationFailure("", GXT_ERROR.INTERROGATION_MISMATCH, "cannot parse interrogation_sha256 from Planner stamp blob");
|
|
48
|
+
}
|
|
49
|
+
if (stamped === null && current === null)
|
|
50
|
+
return null;
|
|
51
|
+
if (stamped === null && current !== null) {
|
|
52
|
+
return interrogationFailure("", GXT_ERROR.INTERROGATION_MISMATCH, "interrogation block added after Planner stamp");
|
|
53
|
+
}
|
|
54
|
+
if (stamped !== null && current === null) {
|
|
55
|
+
return interrogationFailure("", GXT_ERROR.INTERROGATION_MISMATCH, "interrogation block removed after Planner stamp");
|
|
56
|
+
}
|
|
57
|
+
if (stamped !== current) {
|
|
58
|
+
return interrogationFailure("", GXT_ERROR.INTERROGATION_MISMATCH, "interrogation_sha256 changed after Planner stamp");
|
|
59
|
+
}
|
|
60
|
+
return null;
|
|
61
|
+
}
|
|
62
|
+
function resolvePlannerStampHash(root, proofMsnId, scanDepth) {
|
|
63
|
+
const plannerEmails = resolvePlannerEmails(root).emails;
|
|
64
|
+
if (plannerEmails.length === 0)
|
|
65
|
+
return null;
|
|
66
|
+
const stampRows = listMsnSubjectCommits(root, proofMsnId, resolveMsnScanDepth(scanDepth));
|
|
67
|
+
const stamp = stampRows.find((r) => plannerEmails.includes(r.authorEmail.trim().toLowerCase()));
|
|
68
|
+
return stamp?.hash ?? null;
|
|
69
|
+
}
|
|
70
|
+
function evaluatePathDrift(input) {
|
|
71
|
+
const { root, manifest, mission, missionRel, msnId, scanDepth } = input;
|
|
72
|
+
const failures = [];
|
|
73
|
+
const warnings = [];
|
|
74
|
+
const declared = new Set(mission.declaredPaths.map((p) => normalizeRepoRelativePath(p)));
|
|
75
|
+
const normMissionRel = normalizeRepoRelativePath(missionRel);
|
|
76
|
+
const stampHash = resolvePlannerStampHash(root, msnId, scanDepth);
|
|
77
|
+
// Shallow clones may yield no MSN commits; drift passes vacuously (GXT_PERIMETER_SHALLOW_HISTORY posture).
|
|
78
|
+
const rows = listMsnSubjectCommits(root, msnId, resolveMsnScanDepth(scanDepth));
|
|
79
|
+
const changed = new Set();
|
|
80
|
+
if (stampHash) {
|
|
81
|
+
for (const row of rows) {
|
|
82
|
+
for (const p of listCommitChangedPaths(root, row.hash)) {
|
|
83
|
+
const norm = normalizeRepoRelativePath(p);
|
|
84
|
+
if (row.hash === stampHash && norm === normMissionRel)
|
|
85
|
+
continue;
|
|
86
|
+
changed.add(norm);
|
|
87
|
+
}
|
|
88
|
+
}
|
|
89
|
+
}
|
|
90
|
+
else {
|
|
91
|
+
for (const row of rows) {
|
|
92
|
+
for (const p of listCommitChangedPaths(root, row.hash)) {
|
|
93
|
+
const norm = normalizeRepoRelativePath(p);
|
|
94
|
+
if (norm === normMissionRel)
|
|
95
|
+
continue;
|
|
96
|
+
changed.add(norm);
|
|
97
|
+
}
|
|
98
|
+
}
|
|
99
|
+
}
|
|
100
|
+
for (const p of changed) {
|
|
101
|
+
if (declared.has(p))
|
|
102
|
+
continue;
|
|
103
|
+
const tier = pathRiskTier(manifest, p);
|
|
104
|
+
if (tier === "Tier-3") {
|
|
105
|
+
failures.push(`${GXT_ERROR.INTERROGATION_PATH_DRIFT}: undeclared Tier-3 path touched: ${p}`);
|
|
106
|
+
}
|
|
107
|
+
else if (tier === "Tier-2") {
|
|
108
|
+
warnings.push(`undeclared Tier-2 path touched: ${p}`);
|
|
109
|
+
}
|
|
110
|
+
}
|
|
111
|
+
return { failures, warnings };
|
|
112
|
+
}
|
|
113
|
+
function validateStampedInterrogationDigest(input) {
|
|
114
|
+
const { root, proofMsnId, missionRel, mission, options, executorLogPath, warnings } = input;
|
|
115
|
+
if (isLegislativeStub(mission))
|
|
116
|
+
return null;
|
|
117
|
+
const stampHash = resolvePlannerStampHash(root, proofMsnId, options.scanDepth);
|
|
118
|
+
if (!stampHash)
|
|
119
|
+
return null;
|
|
120
|
+
const body = readMissionAtCommit(root, stampHash, missionRel);
|
|
121
|
+
if (body === null) {
|
|
122
|
+
return {
|
|
123
|
+
failure: interrogationFailure(executorLogPath, GXT_ERROR.INTERROGATION_SHALLOW_HISTORY, `${GXT_ERROR.INTERROGATION_SHALLOW_HISTORY}: cannot read mission at Planner stamp ${stampHash} — ${SHALLOW_HISTORY_HINT}`),
|
|
124
|
+
warnings,
|
|
125
|
+
};
|
|
126
|
+
}
|
|
127
|
+
const stampedDigest = stampedInterrogationDigest(body);
|
|
128
|
+
const digestFailure = compareStampedDigest(stampedDigest, mission.interrogationSha256);
|
|
129
|
+
if (digestFailure) {
|
|
130
|
+
return {
|
|
131
|
+
failure: { ...digestFailure, executorLogPath },
|
|
132
|
+
warnings,
|
|
133
|
+
};
|
|
134
|
+
}
|
|
135
|
+
return null;
|
|
136
|
+
}
|
|
137
|
+
function validateInterrogationRows(rows, mission, executorLogPath, warnings) {
|
|
138
|
+
for (const row of rows) {
|
|
139
|
+
if (isStubOperatorAnswer(row.operator_answer)) {
|
|
140
|
+
return {
|
|
141
|
+
failure: interrogationFailure(executorLogPath, GXT_ERROR.INTERROGATION_STUB, `interrogation stub answer on finding ${row.finding_id}`),
|
|
142
|
+
warnings,
|
|
143
|
+
};
|
|
144
|
+
}
|
|
145
|
+
}
|
|
146
|
+
if (!mission.interrogationSha256) {
|
|
147
|
+
return {
|
|
148
|
+
failure: interrogationFailure(executorLogPath, GXT_ERROR.INTERROGATION_MISMATCH, "mission has interrogation rows but missing interrogation_sha256"),
|
|
149
|
+
warnings,
|
|
150
|
+
};
|
|
151
|
+
}
|
|
152
|
+
const expected = interrogationSha256(rows);
|
|
153
|
+
if (expected !== mission.interrogationSha256) {
|
|
154
|
+
return {
|
|
155
|
+
failure: interrogationFailure(executorLogPath, GXT_ERROR.INTERROGATION_MISMATCH, "interrogation_sha256 does not match interrogation block"),
|
|
156
|
+
warnings,
|
|
157
|
+
};
|
|
158
|
+
}
|
|
159
|
+
return null;
|
|
160
|
+
}
|
|
161
|
+
export function evaluateInterrogationPhase(input) {
|
|
162
|
+
const { root, manifest, mission, missionRel, options, proofMsnId, executorLogPath } = input;
|
|
163
|
+
const warnings = [];
|
|
164
|
+
const rows = mission.interrogation;
|
|
165
|
+
if (options.requireInterrogation === true && rows.length === 0) {
|
|
166
|
+
return {
|
|
167
|
+
failure: interrogationFailure(executorLogPath, GXT_ERROR.INTERROGATION_REQUIRED, "mission missing required interrogation block"),
|
|
168
|
+
warnings,
|
|
169
|
+
};
|
|
170
|
+
}
|
|
171
|
+
if (rows.length === 0) {
|
|
172
|
+
return { failure: null, warnings };
|
|
173
|
+
}
|
|
174
|
+
const rowFailure = validateInterrogationRows(rows, mission, executorLogPath, warnings);
|
|
175
|
+
if (rowFailure)
|
|
176
|
+
return rowFailure;
|
|
177
|
+
const stampOutcome = validateStampedInterrogationDigest({
|
|
178
|
+
root,
|
|
179
|
+
proofMsnId,
|
|
180
|
+
missionRel,
|
|
181
|
+
mission,
|
|
182
|
+
options,
|
|
183
|
+
executorLogPath,
|
|
184
|
+
warnings,
|
|
185
|
+
});
|
|
186
|
+
if (stampOutcome)
|
|
187
|
+
return stampOutcome;
|
|
188
|
+
const drift = evaluatePathDrift({
|
|
189
|
+
root,
|
|
190
|
+
manifest,
|
|
191
|
+
mission,
|
|
192
|
+
missionRel,
|
|
193
|
+
msnId: proofMsnId,
|
|
194
|
+
scanDepth: options.scanDepth,
|
|
195
|
+
});
|
|
196
|
+
warnings.push(...drift.warnings);
|
|
197
|
+
if (drift.failures.length > 0) {
|
|
198
|
+
return {
|
|
199
|
+
failure: interrogationFailure(executorLogPath, GXT_ERROR.INTERROGATION_PATH_DRIFT, drift.failures[0], warnings),
|
|
200
|
+
warnings,
|
|
201
|
+
};
|
|
202
|
+
}
|
|
203
|
+
return { failure: null, warnings };
|
|
204
|
+
}
|
|
205
|
+
//# sourceMappingURL=verify-interrogation.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-interrogation.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-interrogation.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAEjD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EACL,sBAAsB,EACtB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAEzE,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAQtD,SAAS,oBAAoB,CAC3B,eAAuB,EACvB,IAAkB,EAClB,OAAe,EACf,WAAqB,EAAE;IAEvB,OAAO;QACL,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,eAAe;QACtB,OAAO;QACP,QAAQ,EAAE,CAAC;QACX,eAAe;QACf,iBAAiB,EAAE,IAAI;QACvB,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,qBAAqB,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,MAAc,EAAE,UAAkB;IAC3E,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;IAC9D,IAAI,CAAC,CAAC,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO,CAAC,CAAC,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAY;IAC9C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAuC,CAAC;QACnE,IAAI,GAAG,CAAC,oBAAoB,KAAK,SAAS,IAAI,GAAG,CAAC,oBAAoB,KAAK,IAAI,EAAE,CAAC;YAChF,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,oBAAoB,KAAK,QAAQ,EAAE,CAAC;YACjD,OAAO,GAAG,CAAC,oBAAoB,CAAC;QAClC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAAkC,EAClC,OAAsB;IAEtB,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,oBAAoB,CACzB,EAAE,EACF,SAAS,CAAC,sBAAsB,EAChC,2DAA2D,CAC5D,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACzC,OAAO,oBAAoB,CACzB,EAAE,EACF,SAAS,CAAC,sBAAsB,EAChC,+CAA+C,CAChD,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACzC,OAAO,oBAAoB,CACzB,EAAE,EACF,SAAS,CAAC,sBAAsB,EAChC,iDAAiD,CAClD,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,oBAAoB,CACzB,EAAE,EACF,SAAS,CAAC,sBAAsB,EAChC,kDAAkD,CACnD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAY,EACZ,UAAkB,EAClB,SAAkB;IAElB,MAAM,aAAa,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IACxD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,EAAE,UAAU,EAAE,mBAAmB,CAAC,SAAS,CAAC,CAAC,CAAC;IAC1F,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAChG,OAAO,KAAK,EAAE,IAAI,IAAI,IAAI,CAAC;AAC7B,CAAC;AAWD,SAAS,iBAAiB,CAAC,KAAqB;IAC9C,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IACxE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,cAAc,GAAG,yBAAyB,CAAC,UAAU,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAElE,2GAA2G;IAC3G,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,mBAAmB,CAAC,SAAS,CAAC,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,IAAI,SAAS,EAAE,CAAC;QACd,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,IAAI,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvD,MAAM,IAAI,GAAG,yBAAyB,CAAC,CAAC,CAAC,CAAC;gBAC1C,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,cAAc;oBAAE,SAAS;gBAChE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,IAAI,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvD,MAAM,IAAI,GAAG,yBAAyB,CAAC,CAAC,CAAC,CAAC;gBAC1C,IAAI,IAAI,KAAK,cAAc;oBAAE,SAAS;gBACtC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC9B,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,wBAAwB,qCAAqC,CAAC,EAAE,CAAC,CAAC;QAC/F,CAAC;aAAM,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,mCAAmC,CAAC,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAYD,SAAS,kCAAkC,CACzC,KAAuB;IAEvB,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC5F,IAAI,iBAAiB,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,SAAS,GAAG,uBAAuB,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAC/E,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAC9D,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO;YACL,OAAO,EAAE,oBAAoB,CAC3B,eAAe,EACf,SAAS,CAAC,6BAA6B,EACvC,GAAG,SAAS,CAAC,6BAA6B,0CAA0C,SAAS,MAAM,oBAAoB,EAAE,CAC1H;YACD,QAAQ;SACT,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,aAAa,GAAG,oBAAoB,CAAC,aAAa,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACvF,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO;YACL,OAAO,EAAE,EAAE,GAAG,aAAa,EAAE,eAAe,EAAE;YAC9C,QAAQ;SACT,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAoC,EACpC,OAAsB,EACtB,eAAuB,EACvB,QAAkB;IAElB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,oBAAoB,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;YAC9C,OAAO;gBACL,OAAO,EAAE,oBAAoB,CAC3B,eAAe,EACf,SAAS,CAAC,kBAAkB,EAC5B,wCAAwC,GAAG,CAAC,UAAU,EAAE,CACzD;gBACD,QAAQ;aACT,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC;QACjC,OAAO;YACL,OAAO,EAAE,oBAAoB,CAC3B,eAAe,EACf,SAAS,CAAC,sBAAsB,EAChC,iEAAiE,CAClE;YACD,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,QAAQ,KAAK,OAAO,CAAC,mBAAmB,EAAE,CAAC;QAC7C,OAAO;YACL,OAAO,EAAE,oBAAoB,CAC3B,eAAe,EACf,SAAS,CAAC,sBAAsB,EAChC,yDAAyD,CAC1D;YACD,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAYD,MAAM,UAAU,0BAA0B,CAAC,KAA8B;IACvE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IAC5F,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC;IAEnC,IAAI,OAAO,CAAC,oBAAoB,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/D,OAAO;YACL,OAAO,EAAE,oBAAoB,CAC3B,eAAe,EACf,SAAS,CAAC,sBAAsB,EAChC,8CAA8C,CAC/C;YACD,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACrC,CAAC;IAED,MAAM,UAAU,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;IACvF,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC;IAElC,MAAM,YAAY,GAAG,kCAAkC,CAAC;QACtD,IAAI;QACJ,UAAU;QACV,UAAU;QACV,OAAO;QACP,OAAO;QACP,eAAe;QACf,QAAQ;KACT,CAAC,CAAC;IACH,IAAI,YAAY;QAAE,OAAO,YAAY,CAAC;IAEtC,MAAM,KAAK,GAAG,iBAAiB,CAAC;QAC9B,IAAI;QACJ,QAAQ;QACR,OAAO;QACP,UAAU;QACV,KAAK,EAAE,UAAU;QACjB,SAAS,EAAE,OAAO,CAAC,SAAS;KAC7B,CAAC,CAAC;IACH,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,OAAO,EAAE,oBAAoB,CAC3B,eAAe,EACf,SAAS,CAAC,wBAAwB,EAClC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,EAClB,QAAQ,CACT;YACD,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACrC,CAAC"}
|
|
@@ -38,7 +38,9 @@ export interface VerifyOptions {
|
|
|
38
38
|
receipt?: boolean | string;
|
|
39
39
|
/** Detach-sign receipt with local SSH/GPG key (also when receipt_signature tier is warn/require). */
|
|
40
40
|
signReceipt?: boolean;
|
|
41
|
+
/** Write hub export envelope after verify (payload_b64 + signature). */
|
|
42
|
+
exportPath?: string;
|
|
43
|
+
/** Require interrogation block on mission (CI hard mode). */
|
|
44
|
+
requireInterrogation?: boolean;
|
|
41
45
|
}
|
|
42
|
-
/** Resolve the primary verify mode from CLI flags (single discriminant for sinks). */
|
|
43
|
-
export declare function resolveVerifyMode(options: VerifyOptions): VerifyMode;
|
|
44
46
|
//# sourceMappingURL=verify-options.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-options.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-options.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,iFAAiF;AACjF,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,UAAU,GAAG,aAAa,GAAG,KAAK,GAAG,MAAM,CAAC;AAEhF,MAAM,WAAW,aAAa;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,wFAAwF;IACxF,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,+CAA+C;IAC/C,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,oEAAoE;IACpE,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,6CAA6C;IAC7C,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,0EAA0E;IAC1E,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,wEAAwE;IACxE,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,2DAA2D;IAC3D,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B,uEAAuE;IACvE,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sFAAsF;IACtF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gFAAgF;IAChF,EAAE,CAAC,EAAE,OAAO,CAAC;IACb,uFAAuF;IACvF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,mGAAmG;IACnG,OAAO,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;IAC3B,qGAAqG;IACrG,WAAW,CAAC,EAAE,OAAO,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-options.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-options.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,iFAAiF;AACjF,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,UAAU,GAAG,aAAa,GAAG,KAAK,GAAG,MAAM,CAAC;AAEhF,MAAM,WAAW,aAAa;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,wFAAwF;IACxF,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,+CAA+C;IAC/C,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,oEAAoE;IACpE,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,6CAA6C;IAC7C,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,0EAA0E;IAC1E,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,wEAAwE;IACxE,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,2DAA2D;IAC3D,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B,uEAAuE;IACvE,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sFAAsF;IACtF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gFAAgF;IAChF,EAAE,CAAC,EAAE,OAAO,CAAC;IACb,uFAAuF;IACvF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,mGAAmG;IACnG,OAAO,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;IAC3B,qGAAqG;IACrG,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,wEAAwE;IACxE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,6DAA6D;IAC7D,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC"}
|
|
@@ -1,13 +1,2 @@
|
|
|
1
|
-
|
|
2
|
-
export function resolveVerifyMode(options) {
|
|
3
|
-
if (options.breakGlass === true)
|
|
4
|
-
return "break_glass";
|
|
5
|
-
if (options.prePush === true)
|
|
6
|
-
return "pre_push";
|
|
7
|
-
if (options.json === true || options.format !== undefined)
|
|
8
|
-
return "json";
|
|
9
|
-
if (options.fix === true)
|
|
10
|
-
return "fix";
|
|
11
|
-
return "normal";
|
|
12
|
-
}
|
|
1
|
+
export {};
|
|
13
2
|
//# sourceMappingURL=verify-options.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-options.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-options.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"verify-options.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-options.ts"],"names":[],"mappings":""}
|
|
@@ -18,6 +18,8 @@ export interface VerifyPassedPayload {
|
|
|
18
18
|
exit_code: 0;
|
|
19
19
|
msn_id?: string;
|
|
20
20
|
mission_file_path?: string;
|
|
21
|
+
mission_source?: "flag" | "pin";
|
|
22
|
+
receipt_path?: string;
|
|
21
23
|
message?: string;
|
|
22
24
|
audit_commit?: string;
|
|
23
25
|
trace_warnings?: VerifyTraceWarningJson[];
|
|
@@ -38,6 +40,9 @@ export interface VerifyFailedPayload {
|
|
|
38
40
|
exit_code: number;
|
|
39
41
|
envelope_schema_version: typeof VERIFY_ENVELOPE_SCHEMA_VERSION;
|
|
40
42
|
findings: VerifyFinding[];
|
|
43
|
+
mission_file_path?: string;
|
|
44
|
+
mission_source?: "flag" | "pin";
|
|
45
|
+
receipt_path?: string;
|
|
41
46
|
stdout?: string;
|
|
42
47
|
stderr?: string;
|
|
43
48
|
failures?: string[];
|
|
@@ -47,6 +52,6 @@ export declare function buildFindingsForFailure(normalized: NormalizedVerifyFail
|
|
|
47
52
|
export declare function toVerifyFailedPayload(normalized: NormalizedVerifyFailure, failure?: VerifyPhaseFailure): VerifyFailedPayload;
|
|
48
53
|
export declare function buildBreakGlassPayload(root: string, mission: ParsedMission, options: VerifyOptions): VerifyResultPayload;
|
|
49
54
|
export declare function initFailurePayload(e: unknown): VerifyFailedPayload;
|
|
50
|
-
export declare function buildVerifyResultPayloadFromPhaseResult(root: string, mission: ParsedMission,
|
|
51
|
-
export declare function buildVerifyResultPayload(root: string, manifest: Manifest, mission: ParsedMission,
|
|
55
|
+
export declare function buildVerifyResultPayloadFromPhaseResult(root: string, mission: ParsedMission, options: VerifyOptions, result: VerifyPhaseResult): VerifyResultPayload;
|
|
56
|
+
export declare function buildVerifyResultPayload(root: string, manifest: Manifest, mission: ParsedMission, options: VerifyOptions): VerifyResultPayload;
|
|
52
57
|
//# sourceMappingURL=verify-payload.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-payload.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-payload.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAEL,KAAK,iBAAiB,EAEvB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAIL,KAAK,uBAAuB,EAC7B,MAAM,+BAA+B,CAAC;AAGvC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAoB,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,8BAA8B,EAAiB,MAAM,qBAAqB,CAAC;AAGpF,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,MAAM,GAAG,eAAe,GAAG,aAAa,CAAC;IAChD,SAAS,EAAE,CAAC,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,sBAAsB,EAAE,CAAC;IAC1C,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,CAAC,EAAE,aAAa,EAAE,CAAC;IAC3B,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,kCAAkC,CAAC,EAAE,MAAM,CAAC;CAC7C;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,YAAY,CAAC;IACzB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,uBAAuB,EAAE,OAAO,8BAA8B,CAAC;IAC/D,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,MAAM,mBAAmB,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;AAE5E,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,uBAAuB,EACnC,OAAO,CAAC,EAAE,kBAAkB,GAC3B,aAAa,EAAE,CAkCjB;AAED,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,uBAAuB,EACnC,OAAO,CAAC,EAAE,kBAAkB,GAC3B,mBAAmB,CAgBrB;AA2DD,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,GACrB,mBAAmB,CAcrB;AAED,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,OAAO,GAAG,mBAAmB,CAElE;AAED,wBAAgB,uCAAuC,CACrD,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,
|
|
1
|
+
{"version":3,"file":"verify-payload.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-payload.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAEL,KAAK,iBAAiB,EAEvB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAIL,KAAK,uBAAuB,EAC7B,MAAM,+BAA+B,CAAC;AAGvC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAoB,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,8BAA8B,EAAiB,MAAM,qBAAqB,CAAC;AAGpF,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,MAAM,GAAG,eAAe,GAAG,aAAa,CAAC;IAChD,SAAS,EAAE,CAAC,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,cAAc,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IAChC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,sBAAsB,EAAE,CAAC;IAC1C,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,CAAC,EAAE,aAAa,EAAE,CAAC;IAC3B,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,kCAAkC,CAAC,EAAE,MAAM,CAAC;CAC7C;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,YAAY,CAAC;IACzB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,uBAAuB,EAAE,OAAO,8BAA8B,CAAC;IAC/D,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,cAAc,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IAChC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,MAAM,mBAAmB,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;AAE5E,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,uBAAuB,EACnC,OAAO,CAAC,EAAE,kBAAkB,GAC3B,aAAa,EAAE,CAkCjB;AAED,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,uBAAuB,EACnC,OAAO,CAAC,EAAE,kBAAkB,GAC3B,mBAAmB,CAgBrB;AA2DD,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,GACrB,mBAAmB,CAcrB;AAED,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,OAAO,GAAG,mBAAmB,CAElE;AAED,wBAAgB,uCAAuC,CACrD,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,EACtB,MAAM,EAAE,iBAAiB,GACxB,mBAAmB,CAgBrB;AAED,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,GACrB,mBAAmB,CAGrB"}
|
|
@@ -123,7 +123,7 @@ export function buildBreakGlassPayload(root, mission, options) {
|
|
|
123
123
|
export function initFailurePayload(e) {
|
|
124
124
|
return toVerifyFailedPayload(normalizeInitFailure(e));
|
|
125
125
|
}
|
|
126
|
-
export function buildVerifyResultPayloadFromPhaseResult(root, mission,
|
|
126
|
+
export function buildVerifyResultPayloadFromPhaseResult(root, mission, options, result) {
|
|
127
127
|
const missionRel = missionRelPath(root, mission);
|
|
128
128
|
if (result.ok) {
|
|
129
129
|
return successPayload(root, mission, result);
|
|
@@ -140,8 +140,8 @@ export function buildVerifyResultPayloadFromPhaseResult(root, mission, missionAr
|
|
|
140
140
|
persistRemediationSnapshot(root, toRemediationSnapshot(normalized));
|
|
141
141
|
return payload;
|
|
142
142
|
}
|
|
143
|
-
export function buildVerifyResultPayload(root, manifest, mission,
|
|
143
|
+
export function buildVerifyResultPayload(root, manifest, mission, options) {
|
|
144
144
|
const result = evaluateVerifyPhases(root, mission, options, manifest);
|
|
145
|
-
return buildVerifyResultPayloadFromPhaseResult(root, mission,
|
|
145
|
+
return buildVerifyResultPayloadFromPhaseResult(root, mission, options, result);
|
|
146
146
|
}
|
|
147
147
|
//# sourceMappingURL=verify-payload.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-payload.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-payload.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EACL,oBAAoB,GAGrB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC3B,qBAAqB,GAEtB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAC;AAI3E,OAAO,EAAE,8BAA8B,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpF,OAAO,EAAE,mCAAmC,EAAE,MAAM,4BAA4B,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-payload.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-payload.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EACL,oBAAoB,GAGrB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC3B,qBAAqB,GAEtB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAC;AAI3E,OAAO,EAAE,8BAA8B,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpF,OAAO,EAAE,mCAAmC,EAAE,MAAM,4BAA4B,CAAC;AAgDjF,MAAM,UAAU,uBAAuB,CACrC,UAAmC,EACnC,OAA4B;IAE5B,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC;IAC3D,MAAM,SAAS,GAAG,CAAC,UAAU,CAAC,KAAK,KAAK,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAqB,CAAC;IAE1G,IAAI,OAAO,EAAE,KAAK,KAAK,OAAO,EAAE,CAAC;QAC/B,OAAO;YACL,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE;gBAC3B,cAAc,EAAE,OAAO,CAAC,eAAe;gBACvC,IAAI,EAAE,CAAC;aACR,CAAC;SACH,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,EAAE,KAAK,KAAK,KAAK,EAAE,CAAC;QAC7B,OAAO;YACL,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE;gBACzB,cAAc,EAAE,OAAO,CAAC,aAAa;aACtC,CAAC;SACH,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,EAAE,KAAK,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,OAAO,EAAE,KAAK,KAAK,WAAW,EAAE,CAAC;QACnC,OAAO,CAAC,aAAa,CAAC,WAAW,EAAE,OAAO,CAAC,eAAe,IAAI,IAAI,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,OAAO,EAAE,KAAK,KAAK,WAAW,EAAE,CAAC;QACnC,OAAO,CAAC,aAAa,CAAC,WAAW,EAAE,OAAO,CAAC,eAAe,IAAI,IAAI,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,OAAO,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,UAAmC,EACnC,OAA4B;IAE5B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC9D,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,uBAAuB,EAAE,8BAA8B;QACvD,QAAQ;QACR,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,OAAsB;IAC1D,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,iBAAiB,CAAC,MAA0B;IACnD,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACxD,OAAO,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK;QACnB,aAAa,EAAE,CAAC,CAAC,YAAY;QAC7B,UAAU,EAAE,CAAC,CAAC,SAAS;QACvB,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnD,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,cAAc,CACrB,IAAY,EACZ,OAAsB,EACtB,MAA0B;IAE1B,IAAI,MAAM,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,eAAe;YACtB,SAAS,EAAE,CAAC;YACZ,OAAO,EAAE,yCAAyC;YAClD,MAAM,EAAE,MAAM,CAAC,UAAU;SAC1B,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChD,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,MAAM;QACb,SAAS,EAAE,CAAC;QACZ,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;QAClC,iBAAiB,EAAE,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC;QAChD,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,GAAG,CAAC,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC/D,CAAC,CAAC,EAAE,kBAAkB,EAAE,MAAM,CAAC,gBAAgB,EAAE;YACjD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;YACrD,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,WAAW,EAAE;YACtC,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,mBAAmB,IAAI,MAAM,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC;YACrE,CAAC,CAAC,EAAE,QAAQ,EAAE,mCAAmC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE;YAC/E,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,iBAAiB,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;YACjE,CAAC,CAAC,EAAE,kBAAkB,EAAE,MAAM,CAAC,iBAAiB,EAAE;YAClD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAC7D,CAAC,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE;YAC9C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,+BAA+B,KAAK,SAAS;YACtD,CAAC,CAAC,EAAE,kCAAkC,EAAE,MAAM,CAAC,+BAA+B,EAAE;YAChF,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAY,EACZ,OAAsB,EACtB,OAAsB;IAEtB,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,kBAAkB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,aAAa;QACpB,SAAS,EAAE,CAAC;QACZ,MAAM,EAAE,OAAO,CAAC,KAAK;QACrB,iBAAiB,EAAE,OAAO,CAAC,UAAU;QACrC,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,YAAY,EAAE,OAAO,CAAC,SAAS;KAChC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,CAAU;IAC3C,OAAO,qBAAqB,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,uCAAuC,CACrD,IAAY,EACZ,OAAsB,EACtB,OAAsB,EACtB,MAAyB;IAEzB,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,UAAU,GAAG,2BAA2B,CAAC;QAC7C,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,UAAU;QACtB,OAAO;QACP,IAAI;QACJ,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;QACjC,OAAO;KACR,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,qBAAqB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC1D,0BAA0B,CAAC,IAAI,EAAE,qBAAqB,CAAC,UAAU,CAAC,CAAC,CAAC;IACpE,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,IAAY,EACZ,QAAkB,EAClB,OAAsB,EACtB,OAAsB;IAEtB,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtE,OAAO,uCAAuC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AACjF,CAAC"}
|
|
@@ -1,30 +1,38 @@
|
|
|
1
|
-
import type {
|
|
2
|
-
import type { VerifyOptions } from "./verify-options.js";
|
|
1
|
+
import type { VerifyPresentContext } from "./verify-context.js";
|
|
3
2
|
import { type VerifyPhaseResult } from "./verify-engine.js";
|
|
4
3
|
import { type VerifyExportFormat } from "./verify-export.js";
|
|
5
4
|
import { type VerifyResultPayload } from "./verify-payload.js";
|
|
6
5
|
export type VerifySink = "break_glass_json" | "break_glass_human" | "json" | "fix_interactive" | "fix_noninteractive" | "human";
|
|
7
6
|
/** Structured export format for verify output (json default when --json). */
|
|
8
|
-
export declare function resolveVerifyExportFormat(options:
|
|
9
|
-
|
|
7
|
+
export declare function resolveVerifyExportFormat(options: {
|
|
8
|
+
format?: VerifyExportFormat;
|
|
9
|
+
json?: boolean;
|
|
10
|
+
}): VerifyExportFormat | undefined;
|
|
11
|
+
export declare function resolveVerifySink(options: {
|
|
12
|
+
breakGlass?: boolean;
|
|
13
|
+
format?: VerifyExportFormat;
|
|
14
|
+
json?: boolean;
|
|
15
|
+
fix?: boolean;
|
|
16
|
+
fixNonInteractive?: boolean;
|
|
17
|
+
}): VerifySink;
|
|
10
18
|
export interface VerifyPresentResult {
|
|
11
19
|
ok: boolean;
|
|
12
20
|
exitCode: number;
|
|
13
21
|
}
|
|
14
|
-
export declare function presentBreakGlassJson(
|
|
15
|
-
export declare function presentBreakGlassHuman(
|
|
16
|
-
export declare function presentJsonFromResult(
|
|
17
|
-
export declare function presentJsonInitFailure(
|
|
18
|
-
export declare function presentHumanInitFailure(
|
|
19
|
-
export declare function presentHuman(
|
|
20
|
-
export declare function presentFix(
|
|
21
|
-
export declare function emitVerifyJson(payload: VerifyResultPayload, options:
|
|
22
|
+
export declare function presentBreakGlassJson(ctx: VerifyPresentContext): VerifyPresentResult;
|
|
23
|
+
export declare function presentBreakGlassHuman(ctx: VerifyPresentContext): VerifyPresentResult;
|
|
24
|
+
export declare function presentJsonFromResult(ctx: VerifyPresentContext, result: VerifyPhaseResult): VerifyPresentResult;
|
|
25
|
+
export declare function presentJsonInitFailure(ctx: VerifyPresentContext, error: unknown): VerifyPresentResult;
|
|
26
|
+
export declare function presentHumanInitFailure(ctx: VerifyPresentContext, error: unknown): VerifyPresentResult;
|
|
27
|
+
export declare function presentHuman(ctx: VerifyPresentContext, result: VerifyPhaseResult): VerifyPresentResult;
|
|
28
|
+
export declare function presentFix(ctx: VerifyPresentContext, result: VerifyPhaseResult, nonInteractive: boolean): Promise<VerifyPresentResult>;
|
|
29
|
+
export declare function emitVerifyJson(payload: VerifyResultPayload, options: VerifyPresentContext["options"]): void;
|
|
22
30
|
/** One surgeon mutation pass + phase re-eval only (no nested runVerifyCore). */
|
|
23
31
|
export declare function maybeApplySurgeonAndReevaluate(input: {
|
|
24
32
|
root: string;
|
|
25
|
-
mission:
|
|
26
|
-
options:
|
|
27
|
-
manifest:
|
|
33
|
+
mission: VerifyPresentContext["mission"];
|
|
34
|
+
options: VerifyPresentContext["options"];
|
|
35
|
+
manifest: VerifyPresentContext["manifest"];
|
|
28
36
|
result: VerifyPhaseResult;
|
|
29
37
|
}): Promise<VerifyPhaseResult>;
|
|
30
38
|
//# sourceMappingURL=verify-presenters.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-presenters.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-presenters.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"verify-presenters.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-presenters.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAwB,KAAK,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAElF,OAAO,EAA6B,KAAK,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxF,OAAO,EAIL,KAAK,mBAAmB,EACzB,MAAM,qBAAqB,CAAC;AAiB7B,MAAM,MAAM,UAAU,GAClB,kBAAkB,GAClB,mBAAmB,GACnB,MAAM,GACN,iBAAiB,GACjB,oBAAoB,GACpB,OAAO,CAAC;AAEZ,6EAA6E;AAC7E,wBAAgB,yBAAyB,CAAC,OAAO,EAAE;IAAE,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,kBAAkB,GAAG,SAAS,CAIlI;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE;IACzC,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B,GAAG,UAAU,CASb;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;CAClB;AAMD,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,oBAAoB,GAAG,mBAAmB,CAIpF;AAED,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,oBAAoB,GAAG,mBAAmB,CAgBrF;AAoBD,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,oBAAoB,EACzB,MAAM,EAAE,iBAAiB,GACxB,mBAAmB,CAOrB;AAED,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,oBAAoB,EACzB,KAAK,EAAE,OAAO,GACb,mBAAmB,CASrB;AAED,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,oBAAoB,EACzB,KAAK,EAAE,OAAO,GACb,mBAAmB,CAerB;AAED,wBAAgB,YAAY,CAC1B,GAAG,EAAE,oBAAoB,EACzB,MAAM,EAAE,iBAAiB,GACxB,mBAAmB,CAmBrB;AAED,wBAAsB,UAAU,CAC9B,GAAG,EAAE,oBAAoB,EACzB,MAAM,EAAE,iBAAiB,EACzB,cAAc,EAAE,OAAO,GACtB,OAAO,CAAC,mBAAmB,CAAC,CAsC9B;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,mBAAmB,EAAE,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,GAAG,IAAI,CAE3G;AAED,gFAAgF;AAChF,wBAAsB,8BAA8B,CAAC,KAAK,EAAE;IAC1D,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACzC,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACzC,QAAQ,EAAE,oBAAoB,CAAC,UAAU,CAAC,CAAC;IAC3C,MAAM,EAAE,iBAAiB,CAAC;CAC3B,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAuC7B"}
|