@jeger-ai/opengantry 1.1.0 → 1.1.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +4 -3
- package/dist/cli/commands/arch.js +7 -7
- package/dist/cli/commands/arch.js.map +1 -1
- package/dist/cli/commands/doctor.js +2 -2
- package/dist/cli/commands/doctor.js.map +1 -1
- package/dist/cli/commands/init.js +4 -4
- package/dist/cli/commands/init.js.map +1 -1
- package/dist/cli/commands/legislate.d.ts +1 -20
- package/dist/cli/commands/legislate.d.ts.map +1 -1
- package/dist/cli/commands/legislate.js +1 -142
- package/dist/cli/commands/legislate.js.map +1 -1
- package/dist/cli/commands/metrics.js +2 -2
- package/dist/cli/commands/metrics.js.map +1 -1
- package/dist/cli/commands/onboarding.d.ts.map +1 -1
- package/dist/cli/commands/onboarding.js +5 -3
- package/dist/cli/commands/onboarding.js.map +1 -1
- package/dist/cli/commands/runtime.js +3 -3
- package/dist/cli/commands/runtime.js.map +1 -1
- package/dist/cli/commands/upgrade.js +3 -3
- package/dist/cli/commands/upgrade.js.map +1 -1
- package/dist/cli/commands/verify.d.ts.map +1 -1
- package/dist/cli/commands/verify.js +27 -71
- package/dist/cli/commands/verify.js.map +1 -1
- package/dist/cli/lib/architecture-pointer-doctor.d.ts.map +1 -1
- package/dist/cli/lib/architecture-pointer-doctor.js +4 -3
- package/dist/cli/lib/architecture-pointer-doctor.js.map +1 -1
- package/dist/cli/lib/architecture-pointer-schema.d.ts.map +1 -1
- package/dist/cli/lib/architecture-pointer-schema.js +2 -1
- package/dist/cli/lib/architecture-pointer-schema.js.map +1 -1
- package/dist/cli/lib/audience-output.d.ts +1 -0
- package/dist/cli/lib/audience-output.d.ts.map +1 -1
- package/dist/cli/lib/audience-output.js +13 -0
- package/dist/cli/lib/audience-output.js.map +1 -1
- package/dist/cli/lib/break-glass-flow.d.ts +18 -0
- package/dist/cli/lib/break-glass-flow.d.ts.map +1 -0
- package/dist/cli/lib/break-glass-flow.js +29 -0
- package/dist/cli/lib/break-glass-flow.js.map +1 -0
- package/dist/cli/lib/cli-io.d.ts +8 -1
- package/dist/cli/lib/cli-io.d.ts.map +1 -1
- package/dist/cli/lib/cli-io.js +17 -2
- package/dist/cli/lib/cli-io.js.map +1 -1
- package/dist/cli/lib/command-reporter.d.ts +31 -0
- package/dist/cli/lib/command-reporter.d.ts.map +1 -0
- package/dist/cli/lib/command-reporter.js +100 -0
- package/dist/cli/lib/command-reporter.js.map +1 -0
- package/dist/cli/lib/doctor-integration-checks.d.ts.map +1 -1
- package/dist/cli/lib/doctor-integration-checks.js +2 -1
- package/dist/cli/lib/doctor-integration-checks.js.map +1 -1
- package/dist/cli/lib/draft-token.d.ts.map +1 -1
- package/dist/cli/lib/draft-token.js +3 -2
- package/dist/cli/lib/draft-token.js.map +1 -1
- package/dist/cli/lib/fix-hints.d.ts +0 -24
- package/dist/cli/lib/fix-hints.d.ts.map +1 -1
- package/dist/cli/lib/fix-hints.js +1 -74
- package/dist/cli/lib/fix-hints.js.map +1 -1
- package/dist/cli/lib/forbidden-scan.d.ts.map +1 -1
- package/dist/cli/lib/forbidden-scan.js +2 -2
- package/dist/cli/lib/forbidden-scan.js.map +1 -1
- package/dist/cli/lib/git-proof.d.ts.map +1 -1
- package/dist/cli/lib/git-proof.js +3 -2
- package/dist/cli/lib/git-proof.js.map +1 -1
- package/dist/cli/lib/git-repo.d.ts +9 -2
- package/dist/cli/lib/git-repo.d.ts.map +1 -1
- package/dist/cli/lib/git-repo.js +5 -4
- package/dist/cli/lib/git-repo.js.map +1 -1
- package/dist/cli/lib/gxt-error-codes.d.ts +1 -0
- package/dist/cli/lib/gxt-error-codes.d.ts.map +1 -1
- package/dist/cli/lib/gxt-error-codes.js +2 -0
- package/dist/cli/lib/gxt-error-codes.js.map +1 -1
- package/dist/cli/lib/init-tutorial.d.ts.map +1 -1
- package/dist/cli/lib/init-tutorial.js +10 -15
- package/dist/cli/lib/init-tutorial.js.map +1 -1
- package/dist/cli/lib/legislate-core.d.ts +21 -0
- package/dist/cli/lib/legislate-core.d.ts.map +1 -0
- package/dist/cli/lib/legislate-core.js +144 -0
- package/dist/cli/lib/legislate-core.js.map +1 -0
- package/dist/cli/lib/mcp-legislation-draft.d.ts +6 -0
- package/dist/cli/lib/mcp-legislation-draft.d.ts.map +1 -0
- package/dist/cli/lib/mcp-legislation-draft.js +62 -0
- package/dist/cli/lib/mcp-legislation-draft.js.map +1 -0
- package/dist/cli/lib/mcp-legislation-execute.d.ts +6 -0
- package/dist/cli/lib/mcp-legislation-execute.d.ts.map +1 -0
- package/dist/cli/lib/mcp-legislation-execute.js +43 -0
- package/dist/cli/lib/mcp-legislation-execute.js.map +1 -0
- package/dist/cli/lib/mcp-legislation-mission.d.ts +12 -0
- package/dist/cli/lib/mcp-legislation-mission.d.ts.map +1 -0
- package/dist/cli/lib/mcp-legislation-mission.js +82 -0
- package/dist/cli/lib/mcp-legislation-mission.js.map +1 -0
- package/dist/cli/lib/mcp-legislation-types.d.ts +68 -0
- package/dist/cli/lib/mcp-legislation-types.d.ts.map +1 -0
- package/dist/cli/lib/mcp-legislation-types.js +4 -0
- package/dist/cli/lib/mcp-legislation-types.js.map +1 -0
- package/dist/cli/lib/mcp-legislation.d.ts +4 -81
- package/dist/cli/lib/mcp-legislation.d.ts.map +1 -1
- package/dist/cli/lib/mcp-legislation.js +3 -180
- package/dist/cli/lib/mcp-legislation.js.map +1 -1
- package/dist/cli/lib/mcp-runtime.d.ts +3 -3
- package/dist/cli/lib/mcp-runtime.d.ts.map +1 -1
- package/dist/cli/lib/mcp-runtime.js +3 -2
- package/dist/cli/lib/mcp-runtime.js.map +1 -1
- package/dist/cli/lib/mcp-upgrade.d.ts.map +1 -1
- package/dist/cli/lib/mcp-upgrade.js +2 -1
- package/dist/cli/lib/mcp-upgrade.js.map +1 -1
- package/dist/cli/lib/mission-legislative-stub.d.ts.map +1 -1
- package/dist/cli/lib/mission-legislative-stub.js +3 -2
- package/dist/cli/lib/mission-legislative-stub.js.map +1 -1
- package/dist/cli/lib/mission-markdown.d.ts.map +1 -1
- package/dist/cli/lib/mission-markdown.js +2 -1
- package/dist/cli/lib/mission-markdown.js.map +1 -1
- package/dist/cli/lib/mission-yaml.d.ts +6 -0
- package/dist/cli/lib/mission-yaml.d.ts.map +1 -1
- package/dist/cli/lib/mission-yaml.js +6 -1
- package/dist/cli/lib/mission-yaml.js.map +1 -1
- package/dist/cli/lib/prompts-loader.d.ts +3 -0
- package/dist/cli/lib/prompts-loader.d.ts.map +1 -0
- package/dist/cli/lib/prompts-loader.js +5 -0
- package/dist/cli/lib/prompts-loader.js.map +1 -0
- package/dist/cli/lib/runtime-env.d.ts.map +1 -1
- package/dist/cli/lib/runtime-env.js +3 -2
- package/dist/cli/lib/runtime-env.js.map +1 -1
- package/dist/cli/lib/runtime-exec-orchestrator.d.ts.map +1 -1
- package/dist/cli/lib/runtime-exec-orchestrator.js +2 -1
- package/dist/cli/lib/runtime-exec-orchestrator.js.map +1 -1
- package/dist/cli/lib/start-orchestration.js +1 -1
- package/dist/cli/lib/start-orchestration.js.map +1 -1
- package/dist/cli/lib/substrate-version.d.ts.map +1 -1
- package/dist/cli/lib/substrate-version.js +4 -3
- package/dist/cli/lib/substrate-version.js.map +1 -1
- package/dist/cli/lib/teacher-identity.d.ts.map +1 -1
- package/dist/cli/lib/teacher-identity.js +4 -3
- package/dist/cli/lib/teacher-identity.js.map +1 -1
- package/dist/cli/lib/trace-evidence.d.ts +2 -11
- package/dist/cli/lib/trace-evidence.d.ts.map +1 -1
- package/dist/cli/lib/trace-evidence.js +19 -49
- package/dist/cli/lib/trace-evidence.js.map +1 -1
- package/dist/cli/lib/trace-status.d.ts +7 -0
- package/dist/cli/lib/trace-status.d.ts.map +1 -0
- package/dist/cli/lib/trace-status.js +20 -0
- package/dist/cli/lib/trace-status.js.map +1 -0
- package/dist/cli/lib/trace.d.ts +9 -0
- package/dist/cli/lib/trace.d.ts.map +1 -1
- package/dist/cli/lib/trace.js +47 -4
- package/dist/cli/lib/trace.js.map +1 -1
- package/dist/cli/lib/types.d.ts +2 -1
- package/dist/cli/lib/types.d.ts.map +1 -1
- package/dist/cli/lib/upgrade-apply.js +11 -11
- package/dist/cli/lib/upgrade-apply.js.map +1 -1
- package/dist/cli/lib/upgrade-plan.d.ts.map +1 -1
- package/dist/cli/lib/upgrade-plan.js +12 -10
- package/dist/cli/lib/upgrade-plan.js.map +1 -1
- package/dist/cli/lib/user-error.js +2 -2
- package/dist/cli/lib/user-error.js.map +1 -1
- package/dist/cli/lib/verify-engine.d.ts.map +1 -1
- package/dist/cli/lib/verify-engine.js +61 -50
- package/dist/cli/lib/verify-engine.js.map +1 -1
- package/dist/cli/lib/verify-failure-presentation.d.ts +3 -4
- package/dist/cli/lib/verify-failure-presentation.d.ts.map +1 -1
- package/dist/cli/lib/verify-failure-presentation.js +8 -45
- package/dist/cli/lib/verify-failure-presentation.js.map +1 -1
- package/dist/cli/lib/verify-present.d.ts +20 -0
- package/dist/cli/lib/verify-present.d.ts.map +1 -0
- package/dist/cli/lib/verify-present.js +123 -0
- package/dist/cli/lib/verify-present.js.map +1 -0
- package/dist/cli/lib/verify-remediation.d.ts +30 -0
- package/dist/cli/lib/verify-remediation.d.ts.map +1 -0
- package/dist/cli/lib/verify-remediation.js +122 -0
- package/dist/cli/lib/verify-remediation.js.map +1 -0
- package/dist/cli/lib/verify-result-payload.d.ts +5 -2
- package/dist/cli/lib/verify-result-payload.d.ts.map +1 -1
- package/dist/cli/lib/verify-result-payload.js +29 -7
- package/dist/cli/lib/verify-result-payload.js.map +1 -1
- package/dist/cli/lib/verify-run.d.ts +10 -0
- package/dist/cli/lib/verify-run.d.ts.map +1 -0
- package/dist/cli/lib/verify-run.js +52 -0
- package/dist/cli/lib/verify-run.js.map +1 -0
- package/dist/cli/lib/version.gen.d.ts +1 -1
- package/dist/cli/lib/version.gen.js +1 -1
- package/dist/cli/program-arch.js +2 -2
- package/dist/cli/program-arch.js.map +1 -1
- package/dist/cli/program-workflow.js +2 -2
- package/dist/cli/program-workflow.js.map +1 -1
- package/package.json +1 -1
- package/dist/cli/lib/verify-flow.d.ts +0 -23
- package/dist/cli/lib/verify-flow.d.ts.map +0 -1
- package/dist/cli/lib/verify-flow.js +0 -113
- package/dist/cli/lib/verify-flow.js.map +0 -1
- package/dist/cli/lib/verify-repair.d.ts +0 -4
- package/dist/cli/lib/verify-repair.d.ts.map +0 -1
- package/dist/cli/lib/verify-repair.js +0 -63
- package/dist/cli/lib/verify-repair.js.map +0 -1
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-present.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-present.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAKpD,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EACL,sBAAsB,EACtB,uCAAuC,EACvC,kBAAkB,GAEnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAgBtF,MAAM,UAAU,iBAAiB,CAAC,OAAsB;IACtD,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAChC,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,mBAAmB,CAAC;IACjE,CAAC;IACD,IAAI,OAAO,CAAC,IAAI;QAAE,OAAO,MAAM,CAAC;IAChC,IAAI,OAAO,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,iBAAiB,CAAC;IAC9E,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,WAAW,CAAC,OAAsB;IACzC,OAAO,eAAe,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,OAAsB,EACtB,OAAsB;IAEtB,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC/D,WAAW,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,SAAS,KAAK,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAY,EACZ,OAAsB,EACtB,OAAsB;IAEtB,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAChD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACpC,CAAC;IACD,QAAQ,CAAC,QAAQ,CAAC,GAAG,QAAQ,wDAAwD,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;IAC3G,QAAQ,CAAC,QAAQ,CAAC,aAAa,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,KAAK;QAAE,QAAQ,CAAC,QAAQ,CAAC,aAAa,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IACnE,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,UAAU,CAAC,iEAAiE,CAAC,CAAC;IAChF,CAAC;SAAM,CAAC;QACN,UAAU,CAAC,uCAAuC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,OAAsB,EACtB,UAAkB,EAClB,OAAsB,EACtB,QAAkB,EAClB,MAAyB;IAEzB,MAAM,OAAO,GAAG,uCAAuC,CACrD,IAAI,EACJ,OAAO,EACP,UAAU,EACV,OAAO,EACP,QAAQ,EACR,MAAM,CACP,CAAC;IACF,WAAW,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,SAAS,KAAK,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,OAAsB,EACtB,KAAc;IAEd,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC1C,WAAW,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAAsB,EACtB,KAAc;IAEd,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1D,IAAI,KAAK,CAAC,IAAI;YAAE,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;IACjD,CAAC;IACD,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACxC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,OAAsB,EACtB,UAAkB,EAClB,OAAsB,EACtB,MAAyB;IAEzB,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,QAAQ,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC/C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACnC,CAAC;IACD,MAAM,YAAY,GAAG,yBAAyB,CAAC;QAC7C,OAAO,EAAE,MAAM;QACf,UAAU;QACV,OAAO;QACP,IAAI;QACJ,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;KAClC,CAAC,CAAC;IACH,QAAQ,CAAC,uBAAuB,CAAC,YAAY,CAAC,CAAC;IAC/C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,CAAC,SAAS,EAAE,CAAC;AACzD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,IAAY,EACZ,OAAsB,EACtB,UAAkB,EAClB,OAAsB,EACtB,MAAyB,EACzB,cAAuB;IAEvB,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,OAAO,GAAG,MAA4B,CAAC;IAC7C,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,mBAAmB,CACrC,OAAO,CAAC,KAAK,EACb,sBAAsB,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS,CAAC,CACvF,CAAC;IAEF,QAAQ,CAAC,SAAS,CAAC,IAAI,WAAW,CAAC,UAAU,6BAA6B,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IAE3F,MAAM,CAAC,GAAG,MAAM,WAAW,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACtD,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QAChB,KAAK,EAAE,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;QACzD,IAAI;KACL,CAAC,CAAC,CAAC;IACJ,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAExE,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC;QAC9B,OAAO,EAAE,2BAA2B;QACpC,OAAO,EAAE,OAAO;KACjB,CAAC,CAAC;IAEH,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;QAC3E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,IAAI;QAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACrC,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;IAC3E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;AACnD,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,cAAc,CAAC,OAA4B,EAAE,OAAsB;IACjF,WAAW,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;AAChD,CAAC"}
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
import type { OutputAudience } from "./audience-output.js";
|
|
2
|
+
import type { GxtErrorCode } from "./gxt-error-codes.js";
|
|
3
|
+
import type { TraceFailureKind } from "./trace-failure-kind.js";
|
|
4
|
+
import type { VerifyFailurePhase, VerifyPhaseFailure } from "./verify-engine.js";
|
|
5
|
+
import type { VerifyOptions } from "./verify-types.js";
|
|
6
|
+
export interface AudienceTaggedStep {
|
|
7
|
+
audience: OutputAudience;
|
|
8
|
+
step: string;
|
|
9
|
+
}
|
|
10
|
+
export interface VerifyRemediation {
|
|
11
|
+
error_code: GxtErrorCode;
|
|
12
|
+
fix_hints: string[];
|
|
13
|
+
next_actions: string[];
|
|
14
|
+
tagged_steps?: AudienceTaggedStep[];
|
|
15
|
+
}
|
|
16
|
+
export interface VerifyHintContext {
|
|
17
|
+
root?: string;
|
|
18
|
+
missionPath: string;
|
|
19
|
+
msnId?: string;
|
|
20
|
+
workerLogPath?: string;
|
|
21
|
+
gateCommand?: string;
|
|
22
|
+
gitProofMessage?: string;
|
|
23
|
+
strictTrace?: boolean;
|
|
24
|
+
traceKind?: TraceFailureKind;
|
|
25
|
+
traceQuote?: string;
|
|
26
|
+
traceFailureReason?: string;
|
|
27
|
+
}
|
|
28
|
+
export declare function buildVerifyHintContext(failure: VerifyPhaseFailure, missionArg: string, options: Pick<VerifyOptions, "strictTrace">, root?: string, msnId?: string): VerifyHintContext;
|
|
29
|
+
export declare function hintsForVerifyPhase(phase: VerifyFailurePhase, ctx: VerifyHintContext): VerifyRemediation;
|
|
30
|
+
//# sourceMappingURL=verify-remediation.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-remediation.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-remediation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACjF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AASvD,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,MAAM,WAAW,iBAAiB;IAChC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,kBAAkB,EAC3B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,aAAa,CAAC,EAC3C,IAAI,CAAC,EAAE,MAAM,EACb,KAAK,CAAC,EAAE,MAAM,GACb,iBAAiB,CAanB;AAoGD,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,kBAAkB,EACzB,GAAG,EAAE,iBAAiB,GACrB,iBAAiB,CAenB"}
|
|
@@ -0,0 +1,122 @@
|
|
|
1
|
+
import { GXT_ERROR, mapGitProofCodeToGxt } from "./gxt-error-codes.js";
|
|
2
|
+
import { hintForTraceKind, hintGate, hintGitProof, hintTracePendingSteps, parseGitProofCode, } from "./fix-hints.js";
|
|
3
|
+
export function buildVerifyHintContext(failure, missionArg, options, root, msnId) {
|
|
4
|
+
return {
|
|
5
|
+
root,
|
|
6
|
+
missionPath: missionArg,
|
|
7
|
+
msnId,
|
|
8
|
+
workerLogPath: failure.workerLogPath,
|
|
9
|
+
gateCommand: failure.gateCommand,
|
|
10
|
+
gitProofMessage: failure.gitProofMessage ?? failure.message,
|
|
11
|
+
traceKind: failure.traceKind,
|
|
12
|
+
traceQuote: failure.traceQuote,
|
|
13
|
+
traceFailureReason: failure.traceReason,
|
|
14
|
+
strictTrace: options.strictTrace,
|
|
15
|
+
};
|
|
16
|
+
}
|
|
17
|
+
function parseMsnIdFromGitProofMessage(message) {
|
|
18
|
+
const m = message.match(/\[(MSN-\d{4})\]/);
|
|
19
|
+
return m?.[1];
|
|
20
|
+
}
|
|
21
|
+
function tagStep(audience, step) {
|
|
22
|
+
return { audience, step };
|
|
23
|
+
}
|
|
24
|
+
function verifyCmd(mission) {
|
|
25
|
+
return `gapman verify --mission ${mission}`;
|
|
26
|
+
}
|
|
27
|
+
function hintsForGitProofPhase(ctx) {
|
|
28
|
+
const mission = ctx.missionPath;
|
|
29
|
+
const verifyCmdStr = verifyCmd(mission);
|
|
30
|
+
const code = parseGitProofCode(ctx.gitProofMessage ?? "");
|
|
31
|
+
const gitCtx = {
|
|
32
|
+
root: ctx.root,
|
|
33
|
+
missionPath: mission,
|
|
34
|
+
msnId: ctx.msnId ?? parseMsnIdFromGitProofMessage(ctx.gitProofMessage ?? ""),
|
|
35
|
+
repoRelMission: mission,
|
|
36
|
+
};
|
|
37
|
+
const hint = code ? hintGitProof(code, gitCtx) : verifyCmdStr;
|
|
38
|
+
const nextActions = code === "NO_MSN_COMMITS" || code === "MISSION_FILE_NOT_MODIFIED_BY_TEACHER"
|
|
39
|
+
? [hint.split("; ")[0], 'gapman teacher set "$(git config user.email)"', verifyCmdStr]
|
|
40
|
+
: ['gapman teacher set "$(git config user.email)"', verifyCmdStr];
|
|
41
|
+
const tagged_steps = [
|
|
42
|
+
tagStep("teacher", 'gapman teacher set "$(git config user.email)"'),
|
|
43
|
+
tagStep("verifier", verifyCmdStr),
|
|
44
|
+
];
|
|
45
|
+
if (code === "NO_MSN_COMMITS" || code === "MISSION_FILE_NOT_MODIFIED_BY_TEACHER") {
|
|
46
|
+
tagged_steps.unshift(tagStep("teacher", nextActions[0]));
|
|
47
|
+
}
|
|
48
|
+
return {
|
|
49
|
+
error_code: code ? mapGitProofCodeToGxt(code) : GXT_ERROR.MISSION_UNSTAMPED,
|
|
50
|
+
fix_hints: [hint],
|
|
51
|
+
next_actions: nextActions,
|
|
52
|
+
tagged_steps,
|
|
53
|
+
};
|
|
54
|
+
}
|
|
55
|
+
function hintsForGatePhase(ctx) {
|
|
56
|
+
const mission = ctx.missionPath;
|
|
57
|
+
const verifyCmdStr = verifyCmd(mission);
|
|
58
|
+
const gate = ctx.gateCommand ?? "<gate>";
|
|
59
|
+
return {
|
|
60
|
+
error_code: GXT_ERROR.GATE_FAILED,
|
|
61
|
+
fix_hints: [hintGate(gate, mission)],
|
|
62
|
+
next_actions: [`re-run gate: ${gate}`, verifyCmdStr],
|
|
63
|
+
tagged_steps: [
|
|
64
|
+
tagStep("worker", `re-run gate: ${gate}`),
|
|
65
|
+
tagStep("verifier", verifyCmdStr),
|
|
66
|
+
],
|
|
67
|
+
};
|
|
68
|
+
}
|
|
69
|
+
function hintsForTracePendingPhase(ctx) {
|
|
70
|
+
const mission = ctx.missionPath;
|
|
71
|
+
const workerLog = ctx.workerLogPath ?? "WORKER_LOG.md";
|
|
72
|
+
const steps = hintTracePendingSteps(workerLog, mission, ctx.gateCommand);
|
|
73
|
+
return {
|
|
74
|
+
error_code: GXT_ERROR.TRACE_PENDING,
|
|
75
|
+
fix_hints: steps.slice(0, 3),
|
|
76
|
+
next_actions: steps,
|
|
77
|
+
tagged_steps: [
|
|
78
|
+
tagStep("worker", steps[0]),
|
|
79
|
+
tagStep("worker", steps[1]),
|
|
80
|
+
tagStep("worker", steps[2]),
|
|
81
|
+
tagStep("verifier", steps[3] ?? verifyCmd(mission)),
|
|
82
|
+
],
|
|
83
|
+
};
|
|
84
|
+
}
|
|
85
|
+
function hintsForTracePhase(ctx) {
|
|
86
|
+
const mission = ctx.missionPath;
|
|
87
|
+
const workerLog = ctx.workerLogPath ?? "WORKER_LOG.md";
|
|
88
|
+
const verifyCmdStr = verifyCmd(mission);
|
|
89
|
+
const traceKind = ctx.traceKind ?? "other";
|
|
90
|
+
const hints = [hintForTraceKind(traceKind, workerLog, mission, ctx.traceQuote)];
|
|
91
|
+
const errorCode = traceKind === "ambiguous"
|
|
92
|
+
? GXT_ERROR.TRACE_AMBIGUOUS
|
|
93
|
+
: traceKind === "stale_evidence"
|
|
94
|
+
? GXT_ERROR.TRACE_STALE
|
|
95
|
+
: GXT_ERROR.TRACE_MISSING;
|
|
96
|
+
return {
|
|
97
|
+
error_code: errorCode,
|
|
98
|
+
fix_hints: hints,
|
|
99
|
+
next_actions: [verifyCmdStr, `gapman verify --mission ${mission} --fix`],
|
|
100
|
+
tagged_steps: [
|
|
101
|
+
tagStep("verifier", verifyCmdStr),
|
|
102
|
+
tagStep("verifier", `gapman verify --mission ${mission} --fix`),
|
|
103
|
+
],
|
|
104
|
+
};
|
|
105
|
+
}
|
|
106
|
+
export function hintsForVerifyPhase(phase, ctx) {
|
|
107
|
+
switch (phase) {
|
|
108
|
+
case "git_proof":
|
|
109
|
+
return hintsForGitProofPhase(ctx);
|
|
110
|
+
case "gate":
|
|
111
|
+
return hintsForGatePhase(ctx);
|
|
112
|
+
case "trace_pending":
|
|
113
|
+
return hintsForTracePendingPhase(ctx);
|
|
114
|
+
case "trace":
|
|
115
|
+
return hintsForTracePhase(ctx);
|
|
116
|
+
default: {
|
|
117
|
+
const _exhaustive = phase;
|
|
118
|
+
return _exhaustive;
|
|
119
|
+
}
|
|
120
|
+
}
|
|
121
|
+
}
|
|
122
|
+
//# sourceMappingURL=verify-remediation.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-remediation.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-remediation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAMvE,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,YAAY,EACZ,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AA2BxB,MAAM,UAAU,sBAAsB,CACpC,OAA2B,EAC3B,UAAkB,EAClB,OAA2C,EAC3C,IAAa,EACb,KAAc;IAEd,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,UAAU;QACvB,KAAK;QACL,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,eAAe,EAAE,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO;QAC3D,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,kBAAkB,EAAE,OAAO,CAAC,WAAW;QACvC,WAAW,EAAE,OAAO,CAAC,WAAW;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,OAAe;IACpD,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAC3C,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAChB,CAAC;AAED,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,GAAsB;IACnD,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC;IAChC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG;QACb,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,WAAW,EAAE,OAAO;QACpB,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,6BAA6B,CAAC,GAAG,CAAC,eAAe,IAAI,EAAE,CAAC;QAC5E,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,GAAsB;IAC/C,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC;IAChC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,IAAI,QAAQ,CAAC;IACzC,OAAO;QACL,UAAU,EAAE,SAAS,CAAC,WAAW;QACjC,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,QAAQ,EAAE,gBAAgB,IAAI,EAAE,CAAC;YACzC,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC;SAClC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,GAAsB;IACvD,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC;IAChC,MAAM,SAAS,GAAG,GAAG,CAAC,aAAa,IAAI,eAAe,CAAC;IACvD,MAAM,KAAK,GAAG,qBAAqB,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;IACzE,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,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;YAC5B,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;YAC5B,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;YAC5B,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC;SACpD;KACF,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAsB;IAChD,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC;IAChC,MAAM,SAAS,GAAG,GAAG,CAAC,aAAa,IAAI,eAAe,CAAC;IACvD,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,IAAI,OAAO,CAAC;IAC3C,MAAM,KAAK,GAAa,CAAC,gBAAgB,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1F,MAAM,SAAS,GACb,SAAS,KAAK,WAAW;QACvB,CAAC,CAAC,SAAS,CAAC,eAAe;QAC3B,CAAC,CAAC,SAAS,KAAK,gBAAgB;YAC9B,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,MAAM,UAAU,mBAAmB,CACjC,KAAyB,EACzB,GAAsB;IAEtB,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,WAAW;YACd,OAAO,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACpC,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAChC,KAAK,eAAe;YAClB,OAAO,yBAAyB,CAAC,GAAG,CAAC,CAAC;QACxC,KAAK,OAAO;YACV,OAAO,kBAAkB,CAAC,GAAG,CAAC,CAAC;QACjC,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,KAAK,CAAC;YACjC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC"}
|
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
import type { GxtErrorCode } from "./gxt-error-codes.js";
|
|
2
2
|
import type { Manifest, ParsedMission } from "./types.js";
|
|
3
|
+
import { type VerifyPhaseResult } from "./verify-engine.js";
|
|
3
4
|
import type { VerifyOptions } from "./verify-types.js";
|
|
4
5
|
export interface VerifyTraceWarningJson {
|
|
5
6
|
dod_id: string;
|
|
@@ -31,11 +32,13 @@ export interface VerifyFailedPayload {
|
|
|
31
32
|
failures?: string[];
|
|
32
33
|
}
|
|
33
34
|
export type VerifyResultPayload = VerifyPassedPayload | VerifyFailedPayload;
|
|
35
|
+
/** Break-glass audit → structured pass/fail payload (no logging). */
|
|
36
|
+
export declare function buildBreakGlassPayload(root: string, mission: ParsedMission, options: VerifyOptions): VerifyResultPayload;
|
|
34
37
|
export declare function initFailurePayload(e: unknown): VerifyFailedPayload;
|
|
38
|
+
/** Map a pre-computed phase result → structured payload (no logging or re-evaluation). */
|
|
39
|
+
export declare function buildVerifyResultPayloadFromPhaseResult(root: string, mission: ParsedMission, missionArg: string, options: VerifyOptions, _manifest: Manifest, result: VerifyPhaseResult): VerifyResultPayload;
|
|
35
40
|
/** Phase evaluation → structured payload (no logging or process exit). */
|
|
36
41
|
export declare function buildVerifyResultPayload(root: string, manifest: Manifest, mission: ParsedMission, missionArg: string, options: VerifyOptions): VerifyResultPayload;
|
|
37
42
|
/** Load workspace, parse mission, assert gate — flat init failures on error. */
|
|
38
43
|
export declare function buildVerifyResultPayloadFromOptions(options: VerifyOptions): VerifyResultPayload;
|
|
39
|
-
/** @deprecated Use VerifyResultPayload — alias for MCP consumers. */
|
|
40
|
-
export type VerifyMcpResult = VerifyResultPayload;
|
|
41
44
|
//# sourceMappingURL=verify-result-payload.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-result-payload.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-result-payload.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGzD,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-result-payload.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-result-payload.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGzD,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE1D,OAAO,EAGL,KAAK,iBAAiB,EAEvB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAIvD,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,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,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;AA4C5E,qEAAqE;AACrE,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,GACrB,mBAAmB,CAcrB;AAwCD,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,OAAO,GAAG,mBAAmB,CAuBlE;AAED,0FAA0F;AAC1F,wBAAgB,uCAAuC,CACrD,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,aAAa,EACtB,SAAS,EAAE,QAAQ,EACnB,MAAM,EAAE,iBAAiB,GACxB,mBAAmB,CAOrB;AAED,0EAA0E;AAC1E,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,aAAa,EACtB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,aAAa,GACrB,mBAAmB,CAUrB;AAED,gFAAgF;AAChF,wBAAgB,mCAAmC,CAAC,OAAO,EAAE,aAAa,GAAG,mBAAmB,CAS/F"}
|
|
@@ -1,12 +1,13 @@
|
|
|
1
|
-
import
|
|
1
|
+
import { runBreakGlassAuditFlow } from "./break-glass-flow.js";
|
|
2
2
|
import { GXT_ERROR, gxtCodeFromGapmanUserError } from "./gxt-error-codes.js";
|
|
3
3
|
import { assertMissionGatePresent, parseMissionFile } from "./mission-parser.js";
|
|
4
4
|
import { isGapmanUserError } from "./user-error.js";
|
|
5
5
|
import { evaluateVerifyPhases, } from "./verify-engine.js";
|
|
6
6
|
import { verifyFailurePresentation } from "./verify-failure-presentation.js";
|
|
7
|
+
import { toPosixRel, errorMessage } from "./cli-io.js";
|
|
7
8
|
import { loadWorkspace } from "./workspace.js";
|
|
8
9
|
function missionRelPath(root, mission) {
|
|
9
|
-
return
|
|
10
|
+
return toPosixRel(root, mission.rawPath);
|
|
10
11
|
}
|
|
11
12
|
function traceWarningsJson(result) {
|
|
12
13
|
if (result.traceWarnings.length === 0)
|
|
@@ -28,18 +29,35 @@ function successPayload(root, mission, result) {
|
|
|
28
29
|
msn_id: result.proofMsnId,
|
|
29
30
|
};
|
|
30
31
|
}
|
|
32
|
+
const traceWarnings = traceWarningsJson(result);
|
|
31
33
|
return {
|
|
32
34
|
status: "passed",
|
|
33
35
|
phase: "full",
|
|
34
36
|
exit_code: 0,
|
|
35
37
|
msn_id: mission.msnId ?? undefined,
|
|
36
38
|
mission_file_path: missionRelPath(root, mission),
|
|
37
|
-
...(
|
|
39
|
+
...(traceWarnings ? { trace_warnings: traceWarnings } : {}),
|
|
38
40
|
...(result.traceEvidenceSkippedUncommitted !== undefined
|
|
39
41
|
? { trace_evidence_skipped_uncommitted: result.traceEvidenceSkippedUncommitted }
|
|
40
42
|
: {}),
|
|
41
43
|
};
|
|
42
44
|
}
|
|
45
|
+
/** Break-glass audit → structured pass/fail payload (no logging). */
|
|
46
|
+
export function buildBreakGlassPayload(root, mission, options) {
|
|
47
|
+
const outcome = runBreakGlassAuditFlow(root, mission, options);
|
|
48
|
+
if (outcome.kind === "fail") {
|
|
49
|
+
return initFailurePayload(outcome.error);
|
|
50
|
+
}
|
|
51
|
+
return {
|
|
52
|
+
status: "passed",
|
|
53
|
+
phase: "break_glass",
|
|
54
|
+
exit_code: 0,
|
|
55
|
+
msn_id: outcome.msnId,
|
|
56
|
+
mission_file_path: outcome.missionRel,
|
|
57
|
+
message: outcome.reason,
|
|
58
|
+
audit_commit: outcome.commitSha,
|
|
59
|
+
};
|
|
60
|
+
}
|
|
43
61
|
function failureFromPhase(failure, missionRel, options, root, msnId) {
|
|
44
62
|
const presentation = verifyFailurePresentation({
|
|
45
63
|
failure,
|
|
@@ -82,7 +100,7 @@ export function initFailurePayload(e) {
|
|
|
82
100
|
exit_code: e.exitCode,
|
|
83
101
|
};
|
|
84
102
|
}
|
|
85
|
-
const message =
|
|
103
|
+
const message = errorMessage(e);
|
|
86
104
|
return {
|
|
87
105
|
status: "failed",
|
|
88
106
|
phase: "init",
|
|
@@ -93,16 +111,20 @@ export function initFailurePayload(e) {
|
|
|
93
111
|
exit_code: 1,
|
|
94
112
|
};
|
|
95
113
|
}
|
|
96
|
-
/**
|
|
97
|
-
export function
|
|
114
|
+
/** Map a pre-computed phase result → structured payload (no logging or re-evaluation). */
|
|
115
|
+
export function buildVerifyResultPayloadFromPhaseResult(root, mission, missionArg, options, _manifest, result) {
|
|
98
116
|
const missionRel = missionRelPath(root, mission);
|
|
99
117
|
const msnId = mission.msnId ?? undefined;
|
|
100
|
-
const result = evaluateVerifyPhases(root, mission, options, manifest);
|
|
101
118
|
if (result.ok) {
|
|
102
119
|
return successPayload(root, mission, result);
|
|
103
120
|
}
|
|
104
121
|
return failureFromPhase(result, missionRel, options, root, msnId);
|
|
105
122
|
}
|
|
123
|
+
/** Phase evaluation → structured payload (no logging or process exit). */
|
|
124
|
+
export function buildVerifyResultPayload(root, manifest, mission, missionArg, options) {
|
|
125
|
+
const result = evaluateVerifyPhases(root, mission, options, manifest);
|
|
126
|
+
return buildVerifyResultPayloadFromPhaseResult(root, mission, missionArg, options, manifest, result);
|
|
127
|
+
}
|
|
106
128
|
/** Load workspace, parse mission, assert gate — flat init failures on error. */
|
|
107
129
|
export function buildVerifyResultPayloadFromOptions(options) {
|
|
108
130
|
try {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-result-payload.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-result-payload.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"version":3,"file":"verify-result-payload.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-result-payload.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,OAAO,EAAE,SAAS,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAC7E,OAAO,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAEjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EACL,oBAAoB,GAIrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAE7E,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAoC/C,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,+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,qEAAqE;AACrE,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,SAAS,gBAAgB,CACvB,OAA2B,EAC3B,UAAkB,EAClB,OAAsB,EACtB,IAAY,EACZ,KAAc;IAEd,MAAM,YAAY,GAAG,yBAAyB,CAAC;QAC7C,OAAO;QACP,UAAU,EAAE,UAAU;QACtB,OAAO;QACP,IAAI;QACJ,KAAK;KACN,CAAC,CAAC;IAEH,MAAM,IAAI,GAAwB;QAChC,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU,EAAE,YAAY,CAAC,UAAU;QACnC,SAAS,EAAE,YAAY,CAAC,SAAS;QACjC,YAAY,EAAE,YAAY,CAAC,YAAY;QACvC,SAAS,EAAE,YAAY,CAAC,SAAS;KAClC,CAAC;IAEF,IAAI,OAAO,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QAC7B,OAAO;YACL,GAAG,IAAI;YACP,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;SAC5E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,KAAK,OAAO,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACrD,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC,cAAc,OAAO,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,CAAU;IAC3C,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrD,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,MAAM;YACb,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,UAAU,EAAE,SAAS;YACrB,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;YACjC,YAAY,EAAE,EAAE;YAChB,SAAS,EAAE,CAAC,CAAC,QAAQ;SACtB,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,MAAM;QACb,OAAO;QACP,UAAU,EAAE,SAAS,CAAC,WAAW;QACjC,SAAS,EAAE,EAAE;QACb,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,CAAC;KACb,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,uCAAuC,CACrD,IAAY,EACZ,OAAsB,EACtB,UAAkB,EAClB,OAAsB,EACtB,SAAmB,EACnB,MAAyB;IAEzB,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,SAAS,CAAC;IACzC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,gBAAgB,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AACpE,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,wBAAwB,CACtC,IAAY,EACZ,QAAkB,EAClB,OAAsB,EACtB,UAAkB,EAClB,OAAsB;IAEtB,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtE,OAAO,uCAAuC,CAC5C,IAAI,EACJ,OAAO,EACP,UAAU,EACV,OAAO,EACP,QAAQ,EACR,MAAM,CACP,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,mCAAmC,CAAC,OAAsB;IACxE,IAAI,CAAC;QACH,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACxD,wBAAwB,CAAC,OAAO,CAAC,CAAC;QAClC,OAAO,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACrF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
import type { VerifyOptions } from "./verify-types.js";
|
|
2
|
+
export interface VerifyRunResult {
|
|
3
|
+
ok: boolean;
|
|
4
|
+
exitCode: number;
|
|
5
|
+
}
|
|
6
|
+
/**
|
|
7
|
+
* Unified verify orchestration: load workspace once, evaluate once, present by sink.
|
|
8
|
+
*/
|
|
9
|
+
export declare function runVerifyCore(options: VerifyOptions): Promise<VerifyRunResult>;
|
|
10
|
+
//# sourceMappingURL=verify-run.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-run.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-run.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGvD,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,wBAAsB,aAAa,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC,CA0CpF"}
|
|
@@ -0,0 +1,52 @@
|
|
|
1
|
+
import { assertMissionGatePresent, parseMissionFile } from "./mission-parser.js";
|
|
2
|
+
import { evaluateVerifyPhases } from "./verify-engine.js";
|
|
3
|
+
import { presentBreakGlassHuman, presentBreakGlassJson, presentFix, presentHuman, presentHumanInitFailure, presentJsonFromResult, presentJsonInitFailure, resolveVerifySink, } from "./verify-present.js";
|
|
4
|
+
import { loadWorkspace } from "./workspace.js";
|
|
5
|
+
/**
|
|
6
|
+
* Unified verify orchestration: load workspace once, evaluate once, present by sink.
|
|
7
|
+
*/
|
|
8
|
+
export async function runVerifyCore(options) {
|
|
9
|
+
const { root, manifest } = loadWorkspace();
|
|
10
|
+
const mission = parseMissionFile(root, options.mission);
|
|
11
|
+
const missionArg = options.mission;
|
|
12
|
+
const sink = resolveVerifySink(options);
|
|
13
|
+
switch (sink) {
|
|
14
|
+
case "break_glass_json":
|
|
15
|
+
return presentBreakGlassJson(root, mission, options);
|
|
16
|
+
case "break_glass_human":
|
|
17
|
+
return presentBreakGlassHuman(root, mission, options);
|
|
18
|
+
case "json": {
|
|
19
|
+
try {
|
|
20
|
+
assertMissionGatePresent(mission);
|
|
21
|
+
const result = evaluateVerifyPhases(root, mission, options, manifest);
|
|
22
|
+
return presentJsonFromResult(root, mission, missionArg, options, manifest, result);
|
|
23
|
+
}
|
|
24
|
+
catch (e) {
|
|
25
|
+
return presentJsonInitFailure(options, e);
|
|
26
|
+
}
|
|
27
|
+
}
|
|
28
|
+
case "fix_interactive":
|
|
29
|
+
case "fix_noninteractive":
|
|
30
|
+
case "human": {
|
|
31
|
+
try {
|
|
32
|
+
assertMissionGatePresent(mission);
|
|
33
|
+
}
|
|
34
|
+
catch (e) {
|
|
35
|
+
return presentHumanInitFailure(options, e);
|
|
36
|
+
}
|
|
37
|
+
const result = evaluateVerifyPhases(root, mission, options, manifest);
|
|
38
|
+
if (sink === "fix_interactive") {
|
|
39
|
+
return presentFix(root, mission, missionArg, options, result, false);
|
|
40
|
+
}
|
|
41
|
+
if (sink === "fix_noninteractive") {
|
|
42
|
+
return presentFix(root, mission, missionArg, options, result, true);
|
|
43
|
+
}
|
|
44
|
+
return presentHuman(root, mission, missionArg, options, result);
|
|
45
|
+
}
|
|
46
|
+
default: {
|
|
47
|
+
const _exhaustive = sink;
|
|
48
|
+
return _exhaustive;
|
|
49
|
+
}
|
|
50
|
+
}
|
|
51
|
+
}
|
|
52
|
+
//# sourceMappingURL=verify-run.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-run.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EACL,sBAAsB,EACtB,qBAAqB,EACrB,UAAU,EACV,YAAY,EACZ,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAO/C;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAAsB;IACxD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC;IACnC,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAExC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,kBAAkB;YACrB,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACvD,KAAK,mBAAmB;YACtB,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACxD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,CAAC;gBACH,wBAAwB,CAAC,OAAO,CAAC,CAAC;gBAClC,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;gBACtE,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YACrF,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,OAAO,sBAAsB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QACD,KAAK,iBAAiB,CAAC;QACvB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,CAAC;gBACH,wBAAwB,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,OAAO,uBAAuB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAC7C,CAAC;YACD,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;YACtE,IAAI,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC/B,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;YACvE,CAAC;YACD,IAAI,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBAClC,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACtE,CAAC;YACD,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAClE,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC"}
|
package/dist/cli/program-arch.js
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { logError, setExitCode } from "./lib/cli-io.js";
|
|
1
|
+
import { logError, setExitCode, errorMessage } from "./lib/cli-io.js";
|
|
2
2
|
import { parseArchitectureCredentialKind } from "./lib/architecture-credential.js";
|
|
3
3
|
import { runArchCredSet, runArchCredStatus, runArchCredUnset, runArchPointer, } from "./commands/arch.js";
|
|
4
4
|
export function registerArchCommands(program) {
|
|
@@ -28,7 +28,7 @@ export function registerArchCommands(program) {
|
|
|
28
28
|
kind = parseArchitectureCredentialKind(opts.kind);
|
|
29
29
|
}
|
|
30
30
|
catch (e) {
|
|
31
|
-
logError(
|
|
31
|
+
logError(errorMessage(e));
|
|
32
32
|
setExitCode(2);
|
|
33
33
|
return;
|
|
34
34
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"program-arch.js","sourceRoot":"","sources":["../../src/cli/program-arch.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;
|
|
1
|
+
{"version":3,"file":"program-arch.js","sourceRoot":"","sources":["../../src/cli/program-arch.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAmC,MAAM,kCAAkC,CAAC;AACpH,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,GACf,MAAM,oBAAoB,CAAC;AAE5B,MAAM,UAAU,oBAAoB,CAAC,OAAgB;IACnD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,mDAAmD,CAAC,CAAC;IAEtG,IAAI;SACD,OAAO,CAAC,SAAS,CAAC;SAClB,WAAW,CAAC,+CAA+C,CAAC;SAC5D,MAAM,CAAC,GAAG,EAAE;QACX,cAAc,EAAE,CAAC;IACnB,CAAC,CAAC,CAAC;IAEL,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,qEAAqE,CAAC,CAAC;IAErH,IAAI;SACD,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,qDAAqD,CAAC;SAClE,MAAM,CAAC,eAAe,EAAE,gDAAgD,CAAC;SACzE,MAAM,CAAC,CAAC,IAAuB,EAAE,EAAE;QAClC,iBAAiB,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEL,IAAI;SACD,OAAO,CAAC,KAAK,CAAC;SACd,WAAW,CAAC,6DAA6D,CAAC;SAC1E,cAAc,CAAC,eAAe,EAAE,iBAAiB,CAAC;SAClD,cAAc,CAAC,eAAe,EAAE,mCAAmC,CAAC;SACpE,MAAM,CAAC,KAAK,EAAE,IAAoC,EAAE,EAAE;QACrD,IAAI,IAAgC,CAAC;QACrC,IAAI,CAAC;YACH,IAAI,GAAG,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,WAAW,CAAC,CAAC,CAAC,CAAC;YACf,OAAO;QACT,CAAC;QACD,MAAM,cAAc,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEL,IAAI;SACD,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,iCAAiC,CAAC;SAC9C,cAAc,CAAC,eAAe,EAAE,iBAAiB,CAAC;SAClD,MAAM,CAAC,CAAC,IAAsB,EAAE,EAAE;QACjC,gBAAgB,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACP,CAAC"}
|
|
@@ -50,9 +50,9 @@ export function registerWorkflowCommands(program) {
|
|
|
50
50
|
.option("--reason <text>", "Mandatory break-glass reason (min 10 characters)")
|
|
51
51
|
.option("--commit <sha>", "Git commit to attach break-glass note (default HEAD)")
|
|
52
52
|
.option("--audit-commit", "Write break-glass audit as empty commit instead of git note")
|
|
53
|
-
.option("--fix", "Interactive remediation
|
|
53
|
+
.option("--fix", "Interactive remediation on failure (human output only; cannot combine with --json)")
|
|
54
54
|
.option("--non-interactive", "With --fix: print structured hints without prompts")
|
|
55
|
-
.option("--json", "Emit structured JSON
|
|
55
|
+
.option("--json", "Emit structured JSON (failures include fix_hints and next_actions). Incompatible with --fix.")
|
|
56
56
|
.option("--audience <role>", "Tailor output: worker|teacher|verifier|platform")
|
|
57
57
|
.action(async (opts) => {
|
|
58
58
|
await runVerify({
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"program-workflow.js","sourceRoot":"","sources":["../../src/cli/program-workflow.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAExD,MAAM,UAAU,wBAAwB,CAAC,OAAgB;IACvD,OAAO;SACJ,OAAO,CAAC,WAAW,CAAC;SACpB,WAAW,CAAC,4FAA4F,CAAC;SACzG,QAAQ,CAAC,aAAa,EAAE,iCAAiC,CAAC;SAC1D,cAAc,CAAC,YAAY,EAAE,2CAA2C,CAAC;SACzE,MAAM,CAAC,mBAAmB,EAAE,0DAA0D,CAAC;SACvF,MAAM,CAAC,mBAAmB,EAAE,+DAA+D,CAAC;SAC5F,MAAM,CAAC,cAAc,EAAE,+DAA+D,CAAC;SACvF,MAAM,CACL,sBAAsB,EACtB,gFAAgF,CACjF;SACA,MAAM,CACL,iCAAiC,EACjC,4DAA4D,CAC7D;SACA,MAAM,CAAC,KAAK,WAA0B,WAAqB;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAOlB,CAAC;QACL,IAAI,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,QAAQ,CAAC,8CAA8C,CAAC,CAAC;YACzD,WAAW,CAAC,CAAC,CAAC,CAAC;YACf,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC;YAC1B,MAAM,EAAE,IAAI;YACZ,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;SAChD,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEL,OAAO;SACJ,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CACV,2FAA2F,CAC5F;SACA,cAAc,CAAC,kBAAkB,EAAE,6BAA6B,CAAC;SACjE,MAAM,CAAC,qBAAqB,EAAE,6BAA6B,CAAC;SAC5D,MAAM,CAAC,aAAa,EAAE,oCAAoC,CAAC;SAC3D,MAAM,CAAC,eAAe,EAAE,6DAA6D,CAAC;SACtF,MAAM,CAAC,gBAAgB,EAAE,+DAA+D,CAAC;SACzF,MAAM,CAAC,uBAAuB,EAAE,iEAAiE,CAAC;SAClG,MAAM,CAAC,YAAY,EAAE,+EAA+E,CAAC;SACrG,MAAM,CAAC,eAAe,EAAE,4DAA4D,CAAC;SACrF,MAAM,CAAC,iBAAiB,EAAE,kDAAkD,CAAC;SAC7E,MAAM,CAAC,gBAAgB,EAAE,sDAAsD,CAAC;SAChF,MAAM,CAAC,gBAAgB,EAAE,6DAA6D,CAAC;SACvF,MAAM,CAAC,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"program-workflow.js","sourceRoot":"","sources":["../../src/cli/program-workflow.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAExD,MAAM,UAAU,wBAAwB,CAAC,OAAgB;IACvD,OAAO;SACJ,OAAO,CAAC,WAAW,CAAC;SACpB,WAAW,CAAC,4FAA4F,CAAC;SACzG,QAAQ,CAAC,aAAa,EAAE,iCAAiC,CAAC;SAC1D,cAAc,CAAC,YAAY,EAAE,2CAA2C,CAAC;SACzE,MAAM,CAAC,mBAAmB,EAAE,0DAA0D,CAAC;SACvF,MAAM,CAAC,mBAAmB,EAAE,+DAA+D,CAAC;SAC5F,MAAM,CAAC,cAAc,EAAE,+DAA+D,CAAC;SACvF,MAAM,CACL,sBAAsB,EACtB,gFAAgF,CACjF;SACA,MAAM,CACL,iCAAiC,EACjC,4DAA4D,CAC7D;SACA,MAAM,CAAC,KAAK,WAA0B,WAAqB;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAOlB,CAAC;QACL,IAAI,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,QAAQ,CAAC,8CAA8C,CAAC,CAAC;YACzD,WAAW,CAAC,CAAC,CAAC,CAAC;YACf,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC;YAC1B,MAAM,EAAE,IAAI;YACZ,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;SAChD,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEL,OAAO;SACJ,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CACV,2FAA2F,CAC5F;SACA,cAAc,CAAC,kBAAkB,EAAE,6BAA6B,CAAC;SACjE,MAAM,CAAC,qBAAqB,EAAE,6BAA6B,CAAC;SAC5D,MAAM,CAAC,aAAa,EAAE,oCAAoC,CAAC;SAC3D,MAAM,CAAC,eAAe,EAAE,6DAA6D,CAAC;SACtF,MAAM,CAAC,gBAAgB,EAAE,+DAA+D,CAAC;SACzF,MAAM,CAAC,uBAAuB,EAAE,iEAAiE,CAAC;SAClG,MAAM,CAAC,YAAY,EAAE,+EAA+E,CAAC;SACrG,MAAM,CAAC,eAAe,EAAE,4DAA4D,CAAC;SACrF,MAAM,CAAC,iBAAiB,EAAE,kDAAkD,CAAC;SAC7E,MAAM,CAAC,gBAAgB,EAAE,sDAAsD,CAAC;SAChF,MAAM,CAAC,gBAAgB,EAAE,6DAA6D,CAAC;SACvF,MAAM,CAAC,OAAO,EAAE,oFAAoF,CAAC;SACrG,MAAM,CAAC,mBAAmB,EAAE,oDAAoD,CAAC;SACjF,MAAM,CAAC,QAAQ,EAAE,8FAA8F,CAAC;SAChH,MAAM,CAAC,mBAAmB,EAAE,iDAAiD,CAAC;SAC9E,MAAM,CACL,KAAK,EAAE,IAgBN,EAAE,EAAE;QACH,MAAM,SAAS,CAAC;YACd,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;YACzC,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,gBAAgB,EAAE,IAAI,CAAC,MAAM;YAC7B,gBAAgB,EAAE,IAAI,CAAC,MAAM;YAC7B,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,iBAAiB,EAAE,IAAI,CAAC,cAAc;YACtC,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,QAAQ,EAAE,iBAAiB,EAAE;SAC9B,CAAC,CAAC;IACL,CAAC,CACF,CAAC;IAEJ,OAAO;SACJ,OAAO,CAAC,SAAS,CAAC;SAClB,WAAW,CAAC,uDAAuD,CAAC;SACpE,MAAM,CAAC,QAAQ,EAAE,0BAA0B,CAAC;SAC5C,MAAM,CAAC,cAAc,EAAE,mCAAmC,EAAE,MAAM,CAAC;SACnE,MAAM,CAAC,CAAC,IAAsC,EAAE,EAAE;QACjD,UAAU,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACP,CAAC"}
|
package/package.json
CHANGED
|
@@ -1,23 +0,0 @@
|
|
|
1
|
-
import type { ParsedMission } from "./types.js";
|
|
2
|
-
import { type VerifyPhaseFailure, type VerifyPhaseSuccess } from "./verify-engine.js";
|
|
3
|
-
import type { VerifyOptions } from "./verify-types.js";
|
|
4
|
-
import type { VerifyResultPayload } from "./verify-result-payload.js";
|
|
5
|
-
export declare function runVerifyBreakGlass(root: string, mission: ParsedMission, options: VerifyOptions): boolean;
|
|
6
|
-
export declare function emitVerifySuccess(result: VerifyPhaseSuccess, _missionArg: string): void;
|
|
7
|
-
export declare function emitVerifyPhaseResult(result: VerifyPhaseSuccess | VerifyPhaseFailure, missionArg: string, options?: VerifyOptions, root?: string, msnId?: string): boolean;
|
|
8
|
-
/** Run full verify (after gate present) using shared phase engine. Returns true on success. */
|
|
9
|
-
export declare function runVerifyPhasesFromEngine(root: string, mission: ParsedMission, missionArg: string, options: VerifyOptions): boolean;
|
|
10
|
-
export declare function verifyFailureToHintContext(failure: VerifyPhaseFailure, missionArg: string, options: VerifyOptions, root?: string): {
|
|
11
|
-
root: string | undefined;
|
|
12
|
-
missionPath: string;
|
|
13
|
-
workerLogPath: string;
|
|
14
|
-
gateCommand: string | undefined;
|
|
15
|
-
gitProofMessage: string | undefined;
|
|
16
|
-
traceKind: import("./trace-failure-kind.js").TraceFailureKind | undefined;
|
|
17
|
-
traceQuote: string | undefined;
|
|
18
|
-
traceFailureReason: string | undefined;
|
|
19
|
-
strictTrace: boolean | undefined;
|
|
20
|
-
};
|
|
21
|
-
export declare function emitVerifyJson(payload: VerifyResultPayload): void;
|
|
22
|
-
export declare function emitAudienceNextSteps(steps: string[], options: VerifyOptions): void;
|
|
23
|
-
//# sourceMappingURL=verify-flow.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"verify-flow.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-flow.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,EAEL,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,EACxB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAYvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEtE,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,GACrB,OAAO,CA0BT;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,GAAG,IAAI,CAqBvF;AAWD,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,kBAAkB,GAAG,kBAAkB,EAC/C,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,aAAuC,EAChD,IAAI,CAAC,EAAE,MAAM,EACb,KAAK,CAAC,EAAE,MAAM,GACb,OAAO,CAOT;AAED,+FAA+F;AAC/F,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,aAAa,GACrB,OAAO,CAIT;AAED,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,kBAAkB,EAC3B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,aAAa,EACtB,IAAI,CAAC,EAAE,MAAM;;;;;;;;;;EAad;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,mBAAmB,GAAG,IAAI,CAGjE;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI,CAanF"}
|
|
@@ -1,113 +0,0 @@
|
|
|
1
|
-
import path from "node:path";
|
|
2
|
-
import { CLI_NAME } from "./constants.js";
|
|
3
|
-
import { assertBypassSecretAuthorized, runBreakGlassAudit, validateBreakGlassReason, } from "./break-glass.js";
|
|
4
|
-
import { logFixHint } from "./fix-hints.js";
|
|
5
|
-
import { logError, logInfo, setExitCode } from "./cli-io.js";
|
|
6
|
-
import { reportUserFacingError } from "./user-error.js";
|
|
7
|
-
import { evaluateVerifyPhases, } from "./verify-engine.js";
|
|
8
|
-
import { emitVerifyFailureFromPresentation, verifyFailurePresentationForFailure, } from "./verify-failure-presentation.js";
|
|
9
|
-
import { filterNextStepsForAudience, audienceSectionTitle, formatAudienceNextStep, } from "./audience-output.js";
|
|
10
|
-
import { getOutputAudience } from "./output-context.js";
|
|
11
|
-
import { loadWorkspace } from "./workspace.js";
|
|
12
|
-
export function runVerifyBreakGlass(root, mission, options) {
|
|
13
|
-
try {
|
|
14
|
-
const reason = validateBreakGlassReason(options.breakGlassReason);
|
|
15
|
-
assertBypassSecretAuthorized(root);
|
|
16
|
-
const missionRel = path.relative(root, path.resolve(mission.rawPath)).split(path.sep).join("/");
|
|
17
|
-
const commitSha = runBreakGlassAudit(root, {
|
|
18
|
-
reason,
|
|
19
|
-
msnId: mission.msnId,
|
|
20
|
-
missionFile: missionRel,
|
|
21
|
-
commit: options.breakGlassCommit,
|
|
22
|
-
auditCommit: options.auditCommit === true,
|
|
23
|
-
});
|
|
24
|
-
logInfo(`${CLI_NAME} verify: BREAK-GLASS — all gates skipped (audited on ${commitSha})`);
|
|
25
|
-
logInfo(` reason: ${reason}`);
|
|
26
|
-
if (mission.msnId)
|
|
27
|
-
logInfo(` msn_id: ${mission.msnId}`);
|
|
28
|
-
if (options.auditCommit === true) {
|
|
29
|
-
logFixHint("git push origin HEAD # audit empty commit (no gxt-bypass note)");
|
|
30
|
-
}
|
|
31
|
-
else {
|
|
32
|
-
logFixHint("git push origin refs/notes/gxt-bypass");
|
|
33
|
-
}
|
|
34
|
-
return true;
|
|
35
|
-
}
|
|
36
|
-
catch (e) {
|
|
37
|
-
logError(e instanceof Error ? e.message : String(e));
|
|
38
|
-
setExitCode(2);
|
|
39
|
-
return false;
|
|
40
|
-
}
|
|
41
|
-
}
|
|
42
|
-
export function emitVerifySuccess(result, _missionArg) {
|
|
43
|
-
logInfo(`${CLI_NAME} verify: git-proof OK (Teacher legislation for ${result.proofMsnId})`);
|
|
44
|
-
if (result.outcome === "pre_push_stub") {
|
|
45
|
-
logInfo(`${CLI_NAME} verify: legislative stub OK (remote handoff; git-proof passed — run full verify after execution)`);
|
|
46
|
-
return;
|
|
47
|
-
}
|
|
48
|
-
logInfo(`${CLI_NAME} verify: gate passed`);
|
|
49
|
-
for (const warning of result.traceWarnings) {
|
|
50
|
-
const tag = warning.autoResolved ? "auto-resolved" : "drift";
|
|
51
|
-
logInfo(` trace: line ${tag} DoD ${warning.row.dodId} — declared ${String(warning.declaredLine)}, found ${String(warning.foundLine)}`);
|
|
52
|
-
}
|
|
53
|
-
if (result.traceEvidenceSkippedUncommitted !== undefined) {
|
|
54
|
-
logInfo(` trace evidence: ${String(result.traceEvidenceSkippedUncommitted)} uncommitted WORKER_LOG line(s) skipped stale check`);
|
|
55
|
-
}
|
|
56
|
-
logInfo(`${CLI_NAME} verify: trace mapping OK (${result.workerLogPath})`);
|
|
57
|
-
}
|
|
58
|
-
function emitVerifyFailure(failure, missionArg, options, root, msnId) {
|
|
59
|
-
if (failure.phase === "git_proof") {
|
|
60
|
-
reportUserFacingError(new Error(failure.message));
|
|
61
|
-
return;
|
|
62
|
-
}
|
|
63
|
-
const presentation = verifyFailurePresentationForFailure(failure, missionArg, options, root, msnId);
|
|
64
|
-
emitVerifyFailureFromPresentation(presentation);
|
|
65
|
-
}
|
|
66
|
-
export function emitVerifyPhaseResult(result, missionArg, options = { mission: missionArg }, root, msnId) {
|
|
67
|
-
if (!result.ok) {
|
|
68
|
-
emitVerifyFailure(result, missionArg, options, root, msnId);
|
|
69
|
-
return false;
|
|
70
|
-
}
|
|
71
|
-
emitVerifySuccess(result, missionArg);
|
|
72
|
-
return true;
|
|
73
|
-
}
|
|
74
|
-
/** Run full verify (after gate present) using shared phase engine. Returns true on success. */
|
|
75
|
-
export function runVerifyPhasesFromEngine(root, mission, missionArg, options) {
|
|
76
|
-
const { manifest } = loadWorkspace();
|
|
77
|
-
const result = evaluateVerifyPhases(root, mission, options, manifest);
|
|
78
|
-
return emitVerifyPhaseResult(result, missionArg, options, root, mission.msnId ?? undefined);
|
|
79
|
-
}
|
|
80
|
-
export function verifyFailureToHintContext(failure, missionArg, options, root) {
|
|
81
|
-
return {
|
|
82
|
-
root,
|
|
83
|
-
missionPath: missionArg,
|
|
84
|
-
workerLogPath: failure.workerLogPath,
|
|
85
|
-
gateCommand: failure.gateCommand,
|
|
86
|
-
gitProofMessage: failure.gitProofMessage,
|
|
87
|
-
traceKind: failure.traceKind,
|
|
88
|
-
traceQuote: failure.traceQuote,
|
|
89
|
-
traceFailureReason: failure.traceReason,
|
|
90
|
-
strictTrace: options.strictTrace,
|
|
91
|
-
};
|
|
92
|
-
}
|
|
93
|
-
export function emitVerifyJson(payload) {
|
|
94
|
-
logInfo(JSON.stringify(payload, null, 2));
|
|
95
|
-
if (payload.exit_code !== 0)
|
|
96
|
-
setExitCode(payload.exit_code);
|
|
97
|
-
}
|
|
98
|
-
export function emitAudienceNextSteps(steps, options) {
|
|
99
|
-
const audience = options.audience ?? getOutputAudience();
|
|
100
|
-
const filtered = filterNextStepsForAudience(audience, steps).map((step) => formatAudienceNextStep(step, audience));
|
|
101
|
-
const section = audienceSectionTitle(audience);
|
|
102
|
-
if (section && filtered.length > 0) {
|
|
103
|
-
logInfo(`${section}:`);
|
|
104
|
-
for (const step of filtered)
|
|
105
|
-
logInfo(` ${step}`);
|
|
106
|
-
}
|
|
107
|
-
else {
|
|
108
|
-
logInfo("next actions:");
|
|
109
|
-
for (const action of filtered)
|
|
110
|
-
logInfo(` ${action}`);
|
|
111
|
-
}
|
|
112
|
-
}
|
|
113
|
-
//# sourceMappingURL=verify-flow.js.map
|