@jeger-ai/opengantry 3.1.1 → 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 +1 -0
- package/dist/cli/commands/attest.d.ts.map +1 -1
- package/dist/cli/commands/attest.js +9 -2
- package/dist/cli/commands/attest.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/receipt.d.ts +2 -0
- package/dist/cli/commands/receipt.d.ts.map +1 -1
- package/dist/cli/commands/receipt.js +8 -1
- package/dist/cli/commands/receipt.js.map +1 -1
- package/dist/cli/commands/verify.d.ts.map +1 -1
- package/dist/cli/commands/verify.js +3 -0
- 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 +4 -0
- package/dist/cli/lib/attest-mission.d.ts.map +1 -1
- package/dist/cli/lib/attest-mission.js +7 -0
- 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/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 +8 -1
- package/dist/cli/lib/errors.d.ts.map +1 -1
- package/dist/cli/lib/errors.js +28 -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 +5 -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/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-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 +5 -0
- package/dist/cli/lib/mcp-governance-shared.d.ts.map +1 -1
- 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-start-orchestration.d.ts.map +1 -1
- package/dist/cli/lib/mcp-start-orchestration.js +1 -0
- 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/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.map +1 -1
- package/dist/cli/lib/missions/parser.js +20 -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 +2 -1
- package/dist/cli/lib/receipt-inspect.d.ts.map +1 -1
- package/dist/cli/lib/receipt-inspect.js +2 -1
- package/dist/cli/lib/receipt-inspect.js.map +1 -1
- 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-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 -0
- package/dist/cli/lib/verify-options.d.ts.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.map +1 -1
- package/dist/cli/lib/verify-run.js +36 -7
- 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 +24 -1
- package/dist/cli/program-core.js.map +1 -1
- package/dist/cli/program-mission.js +1 -1
- 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 +66 -4
- 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 +1 -1
- package/templates/scripts/validate-mcp-dogfood.mjs +56 -0
|
@@ -59,6 +59,18 @@ function normalizeKpiPhase(base, failure) {
|
|
|
59
59
|
},
|
|
60
60
|
};
|
|
61
61
|
}
|
|
62
|
+
function normalizeInterrogationPhase(base, failure) {
|
|
63
|
+
return {
|
|
64
|
+
...base,
|
|
65
|
+
error_code: failure.interrogationCode,
|
|
66
|
+
headline: "verify: INTERROGATION GATE FAILED",
|
|
67
|
+
detail_lines: [
|
|
68
|
+
failure.message,
|
|
69
|
+
...(failure.interrogationWarnings ?? []),
|
|
70
|
+
],
|
|
71
|
+
failures: [failure.message],
|
|
72
|
+
};
|
|
73
|
+
}
|
|
62
74
|
function normalizeTracePendingPhase(base, failure) {
|
|
63
75
|
return {
|
|
64
76
|
...base,
|
|
@@ -114,6 +126,8 @@ export function normalizeVerifyPhaseFailure(input) {
|
|
|
114
126
|
return normalizeTracePendingPhase(base, failure);
|
|
115
127
|
case "trace":
|
|
116
128
|
return normalizeTracePhase(base, failure);
|
|
129
|
+
case "interrogation":
|
|
130
|
+
return normalizeInterrogationPhase(base, failure);
|
|
117
131
|
default: {
|
|
118
132
|
const _exhaustive = failure;
|
|
119
133
|
return _exhaustive;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-failure-normalize.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure-normalize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAE7E,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAGhD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAA2B,MAAM,mBAAmB,CAAC;AACjF,OAAO,EACL,0BAA0B,GAE3B,MAAM,yBAAyB,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-failure-normalize.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure-normalize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAE7E,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAGhD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAA2B,MAAM,mBAAmB,CAAC;AACjF,OAAO,EACL,0BAA0B,GAE3B,MAAM,yBAAyB,CAAC;AAyEjC,SAAS,sBAAsB,CAAC,IAAiC;IAC/D,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;AAC/D,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAiC,EACjC,OAAoB;IAEpB,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,qBAAqB;QAC/B,YAAY,EAAE;YACZ,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,mBAAmB,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtF,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,mBAAmB,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtF,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,cAAc,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9F;QACD,IAAI,EAAE;YACJ,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACnF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAiC,EACjC,OAAyB;IAEzB,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC;IACvC,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,gCAAgC;QAC1C,YAAY,EAAE;YACZ,MAAM;YACN,GAAG,CAAC,OAAO,CAAC,eAAe,KAAK,SAAS;gBACvC,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,UAAU,MAAM,CAAC,OAAO,CAAC,kBAAkB,IAAI,GAAG,CAAC,GAAG,CAAC;gBACrG,CAAC,CAAC,EAAE,CAAC;SACR;QACD,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAiC,EACjC,OAAmB;IAEnB,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC;IACjC,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,yBAAyB;QACnC,YAAY,EAAE;YACZ,MAAM;YACN,GAAG,CAAC,OAAO,CAAC,SAAS;gBACnB,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,KAAK,IAAI,EAAE,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,aAAa,MAAM,CAAC,OAAO,CAAC,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC;gBAClJ,CAAC,CAAC,EAAE,CAAC;YACP,WAAW,OAAO,CAAC,aAAa,EAAE;SACnC;QACD,QAAQ,EAAE,CAAC,MAAM,CAAC;QAClB,GAAG,EAAE;YACH,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzE,WAAW,EAAE,OAAO,CAAC,aAAa;SACnC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAiC,EACjC,OAA6B;IAE7B,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,OAAO,CAAC,iBAAiB;QACrC,QAAQ,EAAE,mCAAmC;QAC7C,YAAY,EAAE;YACZ,OAAO,CAAC,OAAO;YACf,GAAG,CAAC,OAAO,CAAC,qBAAqB,IAAI,EAAE,CAAC;SACzC;QACD,QAAQ,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;KAC5B,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,IAAiC,EACjC,OAA4B;IAE5B,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,GAAG,QAAQ,qFAAqF,OAAO,CAAC,eAAe,sCAAsC;QACvK,YAAY,EAAE,EAAE;KACjB,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAiC,EACjC,OAAqB;IAErB,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,sEAAsE;QAChF,YAAY,EAAE,CAAC,sBAAsB,OAAO,CAAC,WAAW,EAAE,CAAC;QAC3D,QAAQ,EAAE,CAAC,cAAc,OAAO,CAAC,WAAW,EAAE,CAAC;QAC/C,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,cAAc,OAAO,CAAC,WAAW,EAAE,CAAC,EAAE;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,IAAwB,EACxB,OAAyC,EACzC,UAAkB,EAClB,KAAyB;IAEzB,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO;YACL,iBAAiB,EAAE,UAAU,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC;YACrE,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpD,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,2BAA2B,CAAC,KAAiC;IAC3E,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC5D,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC3F,MAAM,IAAI,GAAG;QACX,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,SAAS,EAAE,OAAO,CAAC,QAAQ;QAC3B,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,SAAS,EAAE,WAAW,CAAC,SAAS;QAChC,YAAY,EAAE,WAAW,CAAC,YAAY;QACtC,YAAY,EAAE,WAAW,CAAC,YAAY;QACtC,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,IAAI,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC;KAC7D,CAAC;IAEF,QAAQ,OAAO,CAAC,KAAK,EAAE,CAAC;QACtB,KAAK,WAAW;YACd,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC;QACtC,KAAK,MAAM;YACT,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3C,KAAK,WAAW;YACd,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAChD,KAAK,KAAK;YACR,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1C,KAAK,eAAe;YAClB,OAAO,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnD,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,KAAK,eAAe;YAClB,OAAO,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACpD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,OAAO,CAAC;YACnC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,0BAA0B,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzD,OAAO;YACL,KAAK,EAAE,MAAM;YACb,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,SAAS,EAAE,KAAK,CAAC,QAAQ;YACzB,UAAU,EAAE,SAAS;YACrB,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;YACzC,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,KAAK,CAAC,OAAO;YACvB,YAAY,EAAE,EAAE;SACjB,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO;QACL,KAAK,EAAE,MAAM;QACb,OAAO;QACP,SAAS,EAAE,CAAC;QACZ,UAAU,EAAE,SAAS,CAAC,WAAW;QACjC,SAAS,EAAE,EAAE;QACb,YAAY,EAAE,EAAE;QAChB,QAAQ,EAAE,OAAO;QACjB,YAAY,EAAE,EAAE;KACjB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,UAAmC;IACvE,OAAO;QACL,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,GAAG,CAAC,UAAU,CAAC,IAAI;YACjB,CAAC,CAAC;gBACE,IAAI,EAAE;oBACJ,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM;oBAC9B,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM;oBAC9B,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,SAAS;iBACpC;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,UAAmC;IACvE,OAAO;QACL,cAAc,EAAE,0BAA0B;QAC1C,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,GAAG,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,UAAU,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnD,CAAC;AACJ,CAAC"}
|
|
@@ -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,5 +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
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"}
|
|
@@ -7,5 +7,9 @@ export declare function maybeWriteVerifyReceipt(input: {
|
|
|
7
7
|
missionArg: string;
|
|
8
8
|
options: VerifyOptions;
|
|
9
9
|
result: VerifyPhaseResult;
|
|
10
|
-
|
|
10
|
+
breakGlass?: boolean;
|
|
11
|
+
}): {
|
|
12
|
+
receiptPath: string | null;
|
|
13
|
+
exportPath: string | null;
|
|
14
|
+
};
|
|
11
15
|
//# sourceMappingURL=verify-receipt.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-receipt.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-receipt.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"verify-receipt.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-receipt.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAE5D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAchD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,aAAa,CAAC;IACvB,MAAM,EAAE,iBAAiB,CAAC;IAC1B,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB,GAAG;IAAE,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CA+C5D"}
|
|
@@ -1,6 +1,10 @@
|
|
|
1
1
|
import path from "node:path";
|
|
2
2
|
import { buildAttestationReceipt, writeAttestationReceipt, } from "./attestation-receipt.js";
|
|
3
|
+
import { writeAttestationExportEnvelope } from "./attestation-export.js";
|
|
3
4
|
import { normalizeVerifyPhaseFailure } from "./verify-failure-normalize.js";
|
|
5
|
+
function wantsReceiptOrExport(options) {
|
|
6
|
+
return options.receipt !== undefined || !!options.exportPath?.trim();
|
|
7
|
+
}
|
|
4
8
|
function resolveReceiptOutPath(options) {
|
|
5
9
|
if (options.receipt === undefined)
|
|
6
10
|
return undefined;
|
|
@@ -10,11 +14,18 @@ function resolveReceiptOutPath(options) {
|
|
|
10
14
|
return undefined;
|
|
11
15
|
}
|
|
12
16
|
export function maybeWriteVerifyReceipt(input) {
|
|
13
|
-
if (input.options
|
|
14
|
-
return null;
|
|
15
|
-
|
|
17
|
+
if (!wantsReceiptOrExport(input.options)) {
|
|
18
|
+
return { receiptPath: null, exportPath: null };
|
|
19
|
+
}
|
|
20
|
+
const verifyStatus = input.breakGlass === true ? "failed" : input.result.ok ? "passed" : "failed";
|
|
16
21
|
let errorCode;
|
|
17
|
-
if (
|
|
22
|
+
if (input.breakGlass === true) {
|
|
23
|
+
errorCode = "BREAK_GLASS";
|
|
24
|
+
if (input.options.breakGlassReason?.trim()) {
|
|
25
|
+
errorCode = `BREAK_GLASS:${input.options.breakGlassReason.trim().slice(0, 120)}`;
|
|
26
|
+
}
|
|
27
|
+
}
|
|
28
|
+
else if (!input.result.ok) {
|
|
18
29
|
const normalized = normalizeVerifyPhaseFailure({
|
|
19
30
|
failure: input.result,
|
|
20
31
|
missionArg: input.missionArg,
|
|
@@ -33,8 +44,17 @@ export function maybeWriteVerifyReceipt(input) {
|
|
|
33
44
|
errorCode,
|
|
34
45
|
sign: input.options.signReceipt === true,
|
|
35
46
|
});
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
47
|
+
let receiptPath = null;
|
|
48
|
+
if (input.options.receipt !== undefined) {
|
|
49
|
+
const explicitOut = resolveReceiptOutPath(input.options);
|
|
50
|
+
const written = writeAttestationReceipt(input.root, receipt, explicitOut);
|
|
51
|
+
receiptPath = path.resolve(input.root, written);
|
|
52
|
+
}
|
|
53
|
+
let exportPath = null;
|
|
54
|
+
const exportOut = input.options.exportPath?.trim();
|
|
55
|
+
if (exportOut) {
|
|
56
|
+
exportPath = writeAttestationExportEnvelope(input.root, receipt, exportOut);
|
|
57
|
+
}
|
|
58
|
+
return { receiptPath, exportPath };
|
|
39
59
|
}
|
|
40
60
|
//# sourceMappingURL=verify-receipt.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-receipt.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-receipt.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EACL,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAM5E,SAAS,qBAAqB,CAAC,OAAsB;IACnD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QAClE,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAChC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,
|
|
1
|
+
{"version":3,"file":"verify-receipt.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-receipt.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EACL,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAM5E,SAAS,oBAAoB,CAAC,OAAsB;IAClD,OAAO,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAsB;IACnD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QAClE,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAChC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAOvC;IACC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,YAAY,GAAG,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAClG,IAAI,SAA6B,CAAC;IAClC,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC9B,SAAS,GAAG,aAAa,CAAC;QAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAAE,IAAI,EAAE,EAAE,CAAC;YAC3C,SAAS,GAAG,eAAe,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QACnF,CAAC;IACH,CAAC;SAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QAC5B,MAAM,UAAU,GAAG,2BAA2B,CAAC;YAC7C,OAAO,EAAE,KAAK,CAAC,MAA4B;YAC3C,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,SAAS;YACvC,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;QACH,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC;IACpC,CAAC;IAED,MAAM,OAAO,GAAG,uBAAuB,CAAC;QACtC,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,YAAY;QACZ,SAAS;QACT,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,KAAK,IAAI;KACzC,CAAC,CAAC;IAEH,IAAI,WAAW,GAAkB,IAAI,CAAC;IACtC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACxC,MAAM,WAAW,GAAG,qBAAqB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QAC1E,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC;IACnD,IAAI,SAAS,EAAE,CAAC;QACd,UAAU,GAAG,8BAA8B,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AACrC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-run.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-run.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,qBAAqB,CAAC;AAe7B,YAAY,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAEhE,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;CAClB;
|
|
1
|
+
{"version":3,"file":"verify-run.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-run.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,qBAAqB,CAAC;AAe7B,YAAY,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAEhE,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;CAClB;AAsGD,+EAA+E;AAC/E,wBAAsB,aAAa,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC,CA8DpF;AAED,wBAAgB,mCAAmC,CAAC,OAAO,EAAE,aAAa,GAAG,mBAAmB,CAkB/F"}
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import { assertMissionGatePresent, parseMissionFile } from "./missions/parser.js";
|
|
2
2
|
import { emitPinnedMissionBanner, resolveMissionArg } from "./mission-arg.js";
|
|
3
3
|
import { loadWorkspace } from "./workspace.js";
|
|
4
|
-
import { evaluateVerifyPhases } from "./verify-engine.js";
|
|
4
|
+
import { evaluateVerifyPhases, resolveExecutorLogPath } from "./verify-engine.js";
|
|
5
5
|
import { buildVerifyResultPayload, initFailurePayload, } from "./verify-payload.js";
|
|
6
6
|
import { resolveVerifySink, maybeApplySurgeonAndReevaluate, presentBreakGlassHuman, presentBreakGlassJson, presentFix, presentHuman, presentHumanInitFailure, presentJsonFromResult, presentJsonInitFailure, } from "./verify-presenters.js";
|
|
7
7
|
import { maybeWriteVerifyReceipt } from "./verify-receipt.js";
|
|
@@ -25,23 +25,40 @@ function evaluateOrInitFailure(ctx) {
|
|
|
25
25
|
return { ok: false, error: e };
|
|
26
26
|
}
|
|
27
27
|
}
|
|
28
|
-
function
|
|
29
|
-
|
|
28
|
+
function breakGlassPhaseStub(ctx) {
|
|
29
|
+
return {
|
|
30
|
+
ok: true,
|
|
31
|
+
outcome: "full",
|
|
32
|
+
proofMsnId: ctx.mission.msnId ?? "MSN-0000",
|
|
33
|
+
executorLogPath: resolveExecutorLogPath(ctx.root, ctx.options),
|
|
34
|
+
traceWarnings: [],
|
|
35
|
+
};
|
|
36
|
+
}
|
|
37
|
+
function tryWriteReceiptIfRequested(ctx, phaseResult, breakGlass = false) {
|
|
38
|
+
if (!wantsReceiptOrExport(ctx.options))
|
|
30
39
|
return { ok: true };
|
|
31
40
|
try {
|
|
32
|
-
const
|
|
41
|
+
const written = maybeWriteVerifyReceipt({
|
|
33
42
|
root: ctx.root,
|
|
34
43
|
mission: ctx.mission,
|
|
35
44
|
missionArg: ctx.resolved.missionRel,
|
|
36
45
|
options: ctx.options,
|
|
37
46
|
result: phaseResult,
|
|
47
|
+
breakGlass,
|
|
38
48
|
});
|
|
39
|
-
return {
|
|
49
|
+
return {
|
|
50
|
+
ok: true,
|
|
51
|
+
receiptPath: written.receiptPath ?? undefined,
|
|
52
|
+
exportPath: written.exportPath ?? undefined,
|
|
53
|
+
};
|
|
40
54
|
}
|
|
41
55
|
catch (e) {
|
|
42
56
|
return { ok: false, error: e };
|
|
43
57
|
}
|
|
44
58
|
}
|
|
59
|
+
function wantsReceiptOrExport(options) {
|
|
60
|
+
return options.receipt !== undefined || !!options.exportPath?.trim();
|
|
61
|
+
}
|
|
45
62
|
async function resolveFinalPhaseResult(ctx, sink, initial) {
|
|
46
63
|
if (sink !== "fix_interactive" && sink !== "fix_noninteractive") {
|
|
47
64
|
return initial;
|
|
@@ -77,10 +94,22 @@ export async function runVerifyCore(options) {
|
|
|
77
94
|
const sink = resolveVerifySink(ctx.options);
|
|
78
95
|
emitMissionBinding(ctx, sink);
|
|
79
96
|
switch (sink) {
|
|
80
|
-
case "break_glass_json":
|
|
97
|
+
case "break_glass_json": {
|
|
98
|
+
const receiptWrite = tryWriteReceiptIfRequested(ctx, breakGlassPhaseStub(ctx), true);
|
|
99
|
+
if (!receiptWrite.ok) {
|
|
100
|
+
return presentJsonInitFailure(ctx, receiptWrite.error);
|
|
101
|
+
}
|
|
102
|
+
ctx.receiptPath = receiptWrite.receiptPath;
|
|
81
103
|
return presentBreakGlassJson(ctx);
|
|
82
|
-
|
|
104
|
+
}
|
|
105
|
+
case "break_glass_human": {
|
|
106
|
+
const receiptWrite = tryWriteReceiptIfRequested(ctx, breakGlassPhaseStub(ctx), true);
|
|
107
|
+
if (!receiptWrite.ok) {
|
|
108
|
+
return presentHumanInitFailure(ctx, receiptWrite.error);
|
|
109
|
+
}
|
|
110
|
+
ctx.receiptPath = receiptWrite.receiptPath;
|
|
83
111
|
return presentBreakGlassHuman(ctx);
|
|
112
|
+
}
|
|
84
113
|
case "json": {
|
|
85
114
|
const evaluated = evaluateOrInitFailure(ctx);
|
|
86
115
|
if (!evaluated.ok) {
|