@mirnoorata/codexa 0.5.1 → 0.6.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.
Files changed (60) hide show
  1. package/README.md +46 -5
  2. package/dist/artifacts.js +4 -3
  3. package/dist/artifacts.js.map +1 -1
  4. package/dist/cli.js +60 -1
  5. package/dist/cli.js.map +1 -1
  6. package/dist/codex-contract.js +1 -1
  7. package/dist/eval/scoring.js +3 -0
  8. package/dist/eval/scoring.js.map +1 -1
  9. package/dist/eval/types.d.ts +1 -0
  10. package/dist/eval.js +13 -0
  11. package/dist/eval.js.map +1 -1
  12. package/dist/init.d.ts +3 -0
  13. package/dist/init.js +7 -1
  14. package/dist/init.js.map +1 -1
  15. package/dist/mcp/compaction.js +60 -0
  16. package/dist/mcp/compaction.js.map +1 -1
  17. package/dist/mcp/envelope.js +11 -4
  18. package/dist/mcp/envelope.js.map +1 -1
  19. package/dist/mcp/tool-registry.d.ts +19 -7
  20. package/dist/mcp/tool-registry.js +16 -3
  21. package/dist/mcp/tool-registry.js.map +1 -1
  22. package/dist/mcp/tools.d.ts +1 -1
  23. package/dist/mcp/tools.js +59 -30
  24. package/dist/mcp/tools.js.map +1 -1
  25. package/dist/mcp-repo-root.js +0 -40
  26. package/dist/mcp-repo-root.js.map +1 -1
  27. package/dist/mcp.js +1 -1
  28. package/dist/mcp.js.map +1 -1
  29. package/dist/policy-pack.d.ts +37 -0
  30. package/dist/policy-pack.js +274 -0
  31. package/dist/policy-pack.js.map +1 -0
  32. package/dist/prove.d.ts +78 -0
  33. package/dist/prove.js +395 -0
  34. package/dist/prove.js.map +1 -0
  35. package/dist/query/post-edit.js +2 -203
  36. package/dist/query/post-edit.js.map +1 -1
  37. package/dist/query/required-checks.d.ts +13 -0
  38. package/dist/query/required-checks.js +61 -0
  39. package/dist/query/required-checks.js.map +1 -0
  40. package/dist/query/test-plan.d.ts +1 -0
  41. package/dist/query/test-plan.js +111 -31
  42. package/dist/query/test-plan.js.map +1 -1
  43. package/dist/query/verification-display.d.ts +12 -0
  44. package/dist/query/verification-display.js +150 -0
  45. package/dist/query/verification-display.js.map +1 -0
  46. package/dist/query-data.js +6 -1
  47. package/dist/query-data.js.map +1 -1
  48. package/dist/session-memory/derivation.js +3 -0
  49. package/dist/session-memory/derivation.js.map +1 -1
  50. package/dist/types.d.ts +19 -2
  51. package/dist/types.js.map +1 -1
  52. package/integrations/.claude-plugin/marketplace.json +1 -1
  53. package/integrations/claude-code/.claude-plugin/plugin.json +1 -1
  54. package/integrations/claude-code/README.md +8 -1
  55. package/integrations/claude-code/commands/codexa-prove.md +12 -0
  56. package/integrations/claude-code/scripts/cmd/prove.sh +17 -0
  57. package/integrations/claude-code/tests/cmd-smoke.sh +21 -0
  58. package/package.json +1 -1
  59. package/plugins/codexa/.codex-plugin/plugin.json +1 -1
  60. package/plugins/codexa/skills/codexa/SKILL.md +2 -1
@@ -0,0 +1,150 @@
1
+ import path from "node:path";
2
+ export function sanitizeCommandReportForDisplay(report, repoRoot) {
3
+ return {
4
+ ...report,
5
+ command: sanitizeCommandText(report.command, repoRoot),
6
+ cwd: sanitizePathField(report.cwd, repoRoot),
7
+ packageManager: sanitizeSummary(report.packageManager, repoRoot),
8
+ workspace: sanitizeSummary(report.workspace, repoRoot),
9
+ packageRoot: sanitizePathField(report.packageRoot, repoRoot),
10
+ packageName: sanitizeSummary(report.packageName, repoRoot),
11
+ scriptName: sanitizeSummary(report.scriptName, repoRoot),
12
+ stdoutSummary: sanitizeSummary(report.stdoutSummary, repoRoot),
13
+ stderrSummary: sanitizeSummary(report.stderrSummary, repoRoot),
14
+ outputSummary: sanitizeSummary(report.outputSummary, repoRoot),
15
+ args: sanitizeCommandArgs(report.args, repoRoot),
16
+ runner: sanitizeRunnerForDisplay(report.runner, repoRoot)
17
+ };
18
+ }
19
+ export function sanitizeCommandEnvelopeForDisplay(envelope, repoRoot) {
20
+ return {
21
+ ...envelope,
22
+ command: sanitizeCommandText(envelope.command, repoRoot),
23
+ cwd: sanitizePathField(envelope.cwd, repoRoot),
24
+ packageManager: sanitizeSummary(envelope.packageManager, repoRoot),
25
+ workspace: sanitizeSummary(envelope.workspace, repoRoot),
26
+ packageRoot: sanitizePathField(envelope.packageRoot, repoRoot),
27
+ packageName: sanitizeSummary(envelope.packageName, repoRoot),
28
+ scriptName: sanitizeSummary(envelope.scriptName, repoRoot),
29
+ stdoutSummary: sanitizeSummary(envelope.stdoutSummary, repoRoot),
30
+ stderrSummary: sanitizeSummary(envelope.stderrSummary, repoRoot),
31
+ outputSummary: sanitizeSummary(envelope.outputSummary, repoRoot),
32
+ args: sanitizeCommandArgs(envelope.args, repoRoot) ?? []
33
+ };
34
+ }
35
+ export function sanitizeCoverageForDisplay(entry, repoRoot) {
36
+ return {
37
+ ...entry,
38
+ command: sanitizeCommandText(entry.command, repoRoot),
39
+ source: sanitizeSummary(entry.source, repoRoot) ?? entry.source,
40
+ scope: sanitizePathField(entry.scope, repoRoot),
41
+ targetPath: sanitizePathField(entry.targetPath, repoRoot),
42
+ details: entry.details.map((detail) => sanitizeSummary(detail, repoRoot) ?? "").filter(Boolean),
43
+ outputSummary: sanitizeSummary(entry.outputSummary, repoRoot),
44
+ commandEnvelope: entry.commandEnvelope ? sanitizeCommandEnvelopeForDisplay(entry.commandEnvelope, repoRoot) : undefined
45
+ };
46
+ }
47
+ export function sanitizeLedgerForDisplay(entry, repoRoot) {
48
+ return {
49
+ ...entry,
50
+ command: entry.command ? sanitizeCommandText(entry.command, repoRoot) : undefined,
51
+ evidence: entry.evidence.map((item) => sanitizeSummary(item, repoRoot) ?? "").filter(Boolean)
52
+ };
53
+ }
54
+ export function sanitizeCommandText(value, repoRoot) {
55
+ return sanitizeSummary(value, repoRoot) ?? "";
56
+ }
57
+ export function sanitizeSummary(value, repoRoot) {
58
+ const clean = redactSecretText(value)
59
+ ?.replaceAll(repoRoot, "<repo>")
60
+ .replace(/__outside_repo__:[^\s;|)]+/gu, "__outside_repo__:<outside-repo>")
61
+ .replace(/(^|[\s([,{])\/[^\s;|)\]'",]+/gu, "$1<abs-path>")
62
+ .replace(/(^|[\s([,{])(?:\.\.?\/)[^\s;|)\]'",]+/gu, "$1<rel-path>")
63
+ .replace(/\s+/gu, " ")
64
+ .trim();
65
+ if (!clean) {
66
+ return undefined;
67
+ }
68
+ return clean.length > 500 ? `${clean.slice(0, 497)}...` : clean;
69
+ }
70
+ export function sanitizePathField(value, repoRoot) {
71
+ if (!value) {
72
+ return undefined;
73
+ }
74
+ if (value.startsWith("__outside_repo__:")) {
75
+ return "__outside_repo__:<outside-repo>";
76
+ }
77
+ if (value === "." || value === "./") {
78
+ return ".";
79
+ }
80
+ if (value === ".." || value.startsWith("../")) {
81
+ return "<outside-repo>";
82
+ }
83
+ if (value.startsWith("./")) {
84
+ const relative = normalizePathLike(value);
85
+ return relative === "." ? "." : `<repo>/${relative}`;
86
+ }
87
+ if (path.isAbsolute(value)) {
88
+ const relative = path.relative(repoRoot, value);
89
+ if (relative === "") {
90
+ return "<repo>";
91
+ }
92
+ return !relative.startsWith("..") && !path.isAbsolute(relative) ? `<repo>/${relative.split(path.sep).join("/")}` : "<outside-repo>";
93
+ }
94
+ return sanitizeSummary(value, repoRoot);
95
+ }
96
+ function sanitizeRunnerForDisplay(runner, repoRoot) {
97
+ if (!runner) {
98
+ return undefined;
99
+ }
100
+ return {
101
+ ...runner,
102
+ cwdRealpath: sanitizePathField(runner.cwdRealpath, repoRoot) ?? runner.cwdRealpath,
103
+ targetRealpaths: runner.targetRealpaths.map((target) => sanitizePathField(target, repoRoot) ?? target),
104
+ allowedBy: runner.allowedBy.map((reason) => sanitizeSummary(reason, repoRoot) ?? reason),
105
+ skippedReason: sanitizeSummary(runner.skippedReason, repoRoot)
106
+ };
107
+ }
108
+ function sanitizeCommandArgs(args, repoRoot) {
109
+ if (!args) {
110
+ return undefined;
111
+ }
112
+ let redactNext = false;
113
+ return args.map((arg) => {
114
+ if (redactNext) {
115
+ redactNext = false;
116
+ return "<redacted>";
117
+ }
118
+ if (isSecretFlag(arg) && !arg.includes("=")) {
119
+ redactNext = true;
120
+ return sanitizeSummary(arg, repoRoot) ?? "";
121
+ }
122
+ return sanitizeSummary(redactSecretArg(arg), repoRoot) ?? "";
123
+ });
124
+ }
125
+ function redactSecretText(value) {
126
+ return value
127
+ ?.replace(/(^|[\s([,{])((?:--?[a-z0-9-]*(?:token|secret|password|passwd|pwd|api[-_]?key|access[-_]?key|auth|credential|cookie)[a-z0-9-]*)(?:=|\s+))([^\s;|)\]'",]+)/giu, "$1$2<redacted>")
128
+ .replace(/(\b[A-Z_]*(?:TOKEN|SECRET|PASSWORD|PASSWD|PWD|API_?KEY|ACCESS_?KEY|AUTH|CREDENTIAL|COOKIE)[A-Z0-9_]*=)([^\s;|)\]'",]+)/gu, "$1<redacted>")
129
+ .replace(/\b(Bearer)\s+[A-Za-z0-9._~+/-]+=*/giu, "$1 <redacted>");
130
+ }
131
+ function redactSecretArg(value) {
132
+ if (/^Bearer\s+/iu.test(value)) {
133
+ return "Bearer <redacted>";
134
+ }
135
+ if (isSecretFlag(value) && value.includes("=")) {
136
+ return value.replace(/=.*/u, "=<redacted>");
137
+ }
138
+ if (/^(?:[A-Z_]*(?:TOKEN|SECRET|PASSWORD|PASSWD|PWD|API_?KEY|ACCESS_?KEY|AUTH|CREDENTIAL|COOKIE)[A-Z0-9_]*)=/iu.test(value)) {
139
+ return value.replace(/=.*/u, "=<redacted>");
140
+ }
141
+ return value;
142
+ }
143
+ function isSecretFlag(value) {
144
+ return /^--?[a-z0-9-]*(?:token|secret|password|passwd|pwd|api-?key|access-?key|auth|credential|cookie)[a-z0-9-]*(?:=.*)?$/iu.test(value);
145
+ }
146
+ function normalizePathLike(value) {
147
+ const normalized = value.replace(/\\/gu, "/");
148
+ return normalized.startsWith("./") ? normalized.slice(2) || "." : normalized;
149
+ }
150
+ //# sourceMappingURL=verification-display.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"verification-display.js","sourceRoot":"","sources":["../../src/query/verification-display.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAM7B,MAAM,UAAU,+BAA+B,CAAiC,MAAS,EAAE,QAAgB;IACzG,OAAO;QACL,GAAG,MAAM;QACT,OAAO,EAAE,mBAAmB,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC;QACtD,GAAG,EAAE,iBAAiB,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC;QAC5C,cAAc,EAAE,eAAe,CAAC,MAAM,CAAC,cAAc,EAAE,QAAQ,CAAC;QAChE,SAAS,EAAE,eAAe,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC;QACtD,WAAW,EAAE,iBAAiB,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC;QAC5D,WAAW,EAAE,eAAe,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC;QAC1D,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC;QACxD,aAAa,EAAE,eAAe,CAAC,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC;QAC9D,aAAa,EAAE,eAAe,CAAC,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC;QAC9D,aAAa,EAAE,eAAe,CAAC,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC;QAC9D,IAAI,EAAE,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC;QAChD,MAAM,EAAE,wBAAwB,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,QAAqC,EAAE,QAAgB;IACvG,OAAO;QACL,GAAG,QAAQ;QACX,OAAO,EAAE,mBAAmB,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;QACxD,GAAG,EAAE,iBAAiB,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;QAC9C,cAAc,EAAE,eAAe,CAAC,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC;QAClE,SAAS,EAAE,eAAe,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;QACxD,WAAW,EAAE,iBAAiB,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC;QAC9D,WAAW,EAAE,eAAe,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC;QAC5D,UAAU,EAAE,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;QAC1D,aAAa,EAAE,eAAe,CAAC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC;QAChE,aAAa,EAAE,eAAe,CAAC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC;QAChE,aAAa,EAAE,eAAe,CAAC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC;QAChE,IAAI,EAAE,mBAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;KACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAA2B,EAAE,QAAgB;IACtF,OAAO;QACL,GAAG,KAAK;QACR,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC;QACrD,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,MAAM;QAC/D,KAAK,EAAE,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC;QAC/C,UAAU,EAAE,iBAAiB,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC;QACzD,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QAC/F,aAAa,EAAE,eAAe,CAAC,KAAK,CAAC,aAAa,EAAE,QAAQ,CAAC;QAC7D,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,iCAAiC,CAAC,KAAK,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;KACxH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAA8B,EAAE,QAAgB;IACvF,OAAO;QACL,GAAG,KAAK;QACR,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QACjF,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;KAC9F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,QAAgB;IACjE,OAAO,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAyB,EAAE,QAAgB;IACzE,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC;QACnC,EAAE,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC;SAC/B,OAAO,CAAC,8BAA8B,EAAE,iCAAiC,CAAC;SAC1E,OAAO,CAAC,gCAAgC,EAAE,cAAc,CAAC;SACzD,OAAO,CAAC,yCAAyC,EAAE,cAAc,CAAC;SAClE,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;SACrB,IAAI,EAAE,CAAC;IACV,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAyB,EAAE,QAAgB;IAC3E,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC1C,OAAO,iCAAiC,CAAC;IAC3C,CAAC;IACD,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9C,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC1C,OAAO,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,QAAQ,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAChD,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;YACpB,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC;IACtI,CAAC;IACD,OAAO,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,wBAAwB,CAAC,MAA0C,EAAE,QAAgB;IAC5F,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,GAAG,MAAM;QACT,WAAW,EAAE,iBAAiB,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,WAAW;QAClF,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC;QACtG,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC;QACxF,aAAa,EAAE,eAAe,CAAC,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAA0B,EAAE,QAAgB;IACvE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACtB,IAAI,UAAU,EAAE,CAAC;YACf,UAAU,GAAG,KAAK,CAAC;YACnB,OAAO,YAAY,CAAC;QACtB,CAAC;QACD,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5C,UAAU,GAAG,IAAI,CAAC;YAClB,OAAO,eAAe,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC9C,CAAC;QACD,OAAO,eAAe,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAyB;IACjD,OAAO,KAAK;QACV,EAAE,OAAO,CAAC,6JAA6J,EAAE,gBAAgB,CAAC;SACzL,OAAO,CAAC,0HAA0H,EAAE,cAAc,CAAC;SACnJ,OAAO,CAAC,sCAAsC,EAAE,eAAe,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,2GAA2G,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5H,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,qHAAqH,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3I,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC9C,OAAO,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;AAC/E,CAAC"}
@@ -1,4 +1,4 @@
1
- const typedCompactionModes = new Set(["context_pack", "task_brief", "focus_brief", "session_context", "change_plan", "post_edit_review", "test_plan"]);
1
+ const typedCompactionModes = new Set(["context_pack", "task_brief", "focus_brief", "session_context", "change_plan", "post_edit_review", "test_plan", "proof_card"]);
2
2
  export function asCodexaQueryData(value, inferredMode) {
3
3
  const record = queryRecord(value);
4
4
  if (!record) {
@@ -22,6 +22,8 @@ export function asCodexaQueryData(value, inferredMode) {
22
22
  return isPostEditReviewData(data) ? data : undefined;
23
23
  case "test_plan":
24
24
  return isTestPlanData(data) ? data : undefined;
25
+ case "proof_card":
26
+ return isProofCardData(data) ? data : undefined;
25
27
  default:
26
28
  return undefined;
27
29
  }
@@ -103,6 +105,9 @@ function isTestPlanData(value) {
103
105
  "testsNotRun"
104
106
  ]);
105
107
  }
108
+ function isProofCardData(value) {
109
+ return arraysOrUndefined(value, ["readFirst", "trustPosture", "nextCommands", "gaps"]);
110
+ }
106
111
  function arraysOrUndefined(value, keys) {
107
112
  return keys.every((key) => value[key] === undefined || Array.isArray(value[key]));
108
113
  }
@@ -1 +1 @@
1
- {"version":3,"file":"query-data.js","sourceRoot":"","sources":["../src/query-data.ts"],"names":[],"mappings":"AAEA,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAkB,CAAC,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,iBAAiB,EAAE,aAAa,EAAE,kBAAkB,EAAE,WAAW,CAAC,CAAC,CAAC;AAExK,MAAM,UAAU,iBAAiB,CAAC,KAAc,EAAE,YAAqB;IACrE,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,YAAY,CAAC,CAAC;IAC3E,IAAI,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,CAAC;IACjC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,cAAc,CAAC;QACpB,KAAK,YAAY;YACf,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAA0B,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7E,KAAK,aAAa,CAAC;QACnB,KAAK,iBAAiB;YACpB,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAuB,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,KAAK,aAAa;YAChB,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAuB,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,KAAK,kBAAkB;YACrB,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAA2B,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/E,KAAK,WAAW;YACd,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAqB,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IAC1D,OAAO,IAAI,EAAE,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,oBAAoB,CAAC,GAAG,CAAC,KAAwB,CAAC,CAAC,CAAC,CAAE,KAAyB,CAAC,CAAC,CAAC,SAAS,CAAC;AACrG,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA8B;IACzD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,WAAW,CAAC,CAAC,CAAC;AACxL,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA8B;IACtD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA8B;IACtD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,SAAS,EAAE,wBAAwB,EAAE,0BAA0B,CAAC,CAAC,CAAC;AAC1K,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA8B;IAC1D,OAAO,iBAAiB,CAAC,KAAK,EAAE;QAC9B,OAAO;QACP,sBAAsB;QACtB,eAAe;QACf,uBAAuB;QACvB,sBAAsB;QACtB,gBAAgB;QAChB,yBAAyB;QACzB,0BAA0B;QAC1B,cAAc;QACd,iBAAiB;QACjB,uBAAuB;QACvB,YAAY;QACZ,eAAe;QACf,eAAe;QACf,OAAO;QACP,uBAAuB;QACvB,iCAAiC;QACjC,aAAa;QACb,mBAAmB;QACnB,UAAU;QACV,aAAa;QACb,mBAAmB;QACnB,kBAAkB;QAClB,cAAc;QACd,SAAS;QACT,sBAAsB;QACtB,oBAAoB;QACpB,oBAAoB;QACpB,sBAAsB;QACtB,iBAAiB;QACjB,WAAW;QACX,gBAAgB;QAChB,kBAAkB;QAClB,cAAc;QACd,aAAa;QACb,sBAAsB;QACtB,0BAA0B;KAC3B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,KAA8B;IACpD,OAAO,iBAAiB,CAAC,KAAK,EAAE;QAC9B,cAAc;QACd,gBAAgB;QAChB,gBAAgB;QAChB,kBAAkB;QAClB,QAAQ;QACR,OAAO;QACP,sBAAsB;QACtB,sBAAsB;QACtB,yBAAyB;QACzB,kBAAkB;QAClB,2BAA2B;QAC3B,oBAAoB;QACpB,aAAa;KACd,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,KAA8B,EAAE,IAAc;IACvE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAAiC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtH,CAAC"}
1
+ {"version":3,"file":"query-data.js","sourceRoot":"","sources":["../src/query-data.ts"],"names":[],"mappings":"AAEA,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAkB,CAAC,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,iBAAiB,EAAE,aAAa,EAAE,kBAAkB,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC;AAEtL,MAAM,UAAU,iBAAiB,CAAC,KAAc,EAAE,YAAqB;IACrE,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,YAAY,CAAC,CAAC;IAC3E,IAAI,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,CAAC;IACjC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,cAAc,CAAC;QACpB,KAAK,YAAY;YACf,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAA0B,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7E,KAAK,aAAa,CAAC;QACnB,KAAK,iBAAiB;YACpB,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAuB,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,KAAK,aAAa;YAChB,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAuB,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,KAAK,kBAAkB;YACrB,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAA2B,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/E,KAAK,WAAW;YACd,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAqB,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE,KAAK,YAAY;YACf,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAsB,CAAC,CAAC,CAAC,SAAS,CAAC;QACrE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IAC1D,OAAO,IAAI,EAAE,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,oBAAoB,CAAC,GAAG,CAAC,KAAwB,CAAC,CAAC,CAAC,CAAE,KAAyB,CAAC,CAAC,CAAC,SAAS,CAAC;AACrG,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA8B;IACzD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,WAAW,CAAC,CAAC,CAAC;AACxL,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA8B;IACtD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA8B;IACtD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,SAAS,EAAE,wBAAwB,EAAE,0BAA0B,CAAC,CAAC,CAAC;AAC1K,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA8B;IAC1D,OAAO,iBAAiB,CAAC,KAAK,EAAE;QAC9B,OAAO;QACP,sBAAsB;QACtB,eAAe;QACf,uBAAuB;QACvB,sBAAsB;QACtB,gBAAgB;QAChB,yBAAyB;QACzB,0BAA0B;QAC1B,cAAc;QACd,iBAAiB;QACjB,uBAAuB;QACvB,YAAY;QACZ,eAAe;QACf,eAAe;QACf,OAAO;QACP,uBAAuB;QACvB,iCAAiC;QACjC,aAAa;QACb,mBAAmB;QACnB,UAAU;QACV,aAAa;QACb,mBAAmB;QACnB,kBAAkB;QAClB,cAAc;QACd,SAAS;QACT,sBAAsB;QACtB,oBAAoB;QACpB,oBAAoB;QACpB,sBAAsB;QACtB,iBAAiB;QACjB,WAAW;QACX,gBAAgB;QAChB,kBAAkB;QAClB,cAAc;QACd,aAAa;QACb,sBAAsB;QACtB,0BAA0B;KAC3B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,KAA8B;IACpD,OAAO,iBAAiB,CAAC,KAAK,EAAE;QAC9B,cAAc;QACd,gBAAgB;QAChB,gBAAgB;QAChB,kBAAkB;QAClB,QAAQ;QACR,OAAO;QACP,sBAAsB;QACtB,sBAAsB;QACtB,yBAAyB;QACzB,kBAAkB;QAClB,2BAA2B;QAC3B,oBAAoB;QACpB,aAAa;KACd,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,KAA8B;IACrD,OAAO,iBAAiB,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,iBAAiB,CAAC,KAA8B,EAAE,IAAc;IACvE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAAiC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtH,CAAC"}
@@ -139,6 +139,9 @@ export function derivedEntriesForTool(toolName, data, scope) {
139
139
  const commandCount = arrayLength(record.verificationCommands);
140
140
  const testsNotRun = arrayLength(record.testsNotRun);
141
141
  const provenanceVersion = verificationProvenanceVersion(record.verificationProvenance);
142
+ if (record.actionability === "needs_target" || (testCount === 0 && commandCount === 0 && ledgerCounts.total === 0)) {
143
+ return [];
144
+ }
142
145
  return [
143
146
  {
144
147
  kind: "verification",
@@ -1 +1 @@
1
- {"version":3,"file":"derivation.js","sourceRoot":"","sources":["../../src/session-memory/derivation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEtF,MAAM,UAAU,2BAA2B,CAAC,QAAgB,EAAE,IAAa;IACzE,IAAI,QAAQ,KAAK,aAAa,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;IACpF,OAAO,aAAa,EAAE,MAAM,KAAK,kBAAkB,IAAI,aAAa,EAAE,QAAQ,KAAK,KAAK,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,QAAgB,EAChB,IAAa,EACb,KAAuE;IAEvE,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,MAAM,GAAG,IAA+B,CAAC;IAC/C,IAAI,QAAQ,KAAK,aAAa,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,MAAM,eAAe,GAAG,aAAa,EAAE,MAAM,KAAK,kBAAkB,IAAI,aAAa,EAAE,QAAQ,KAAK,KAAK,CAAC;QAC1G,MAAM,MAAM,GAAG,OAAO,QAAQ,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAClF,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAC5F,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC;QAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,kBAAkB,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACnH,MAAM,oBAAoB,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACzH,IAAI,eAAe,EAAE,CAAC;YACpB,OAAO;gBACL;oBACE,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,wBAAwB,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;oBAClI,OAAO,EAAE,8GAA8G;oBACvH,UAAU,EAAE,gBAAgB;oBAC5B,UAAU,EAAE,SAAS;oBACrB,YAAY,EAAE,SAAS;oBACvB,KAAK;iBACN;aACF,CAAC;QACJ,CAAC;QACD,OAAO;YACL;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,wBAAwB,MAAM,IAAI,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBAChI,OAAO,EAAE,wBAAwB,WAAW,0BAA0B,MAAM,CAAC,CAAC,CAAC,QAAQ,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG;gBACvG,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK;aACN;YACD,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC3B,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,WAAoB;wBAC1B,GAAG,EAAE,yBAAyB,MAAM,IAAI,QAAQ,CAAC,kBAAkB,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;wBAC9G,OAAO,EAAE,gCAAgC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,cAAc,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG;wBAC3J,UAAU,EAAE,gBAAyB;wBACrC,UAAU,EAAE,SAAkB;wBAC9B,YAAY,EAAE,SAAkB;wBAChC,KAAK,EAAE;4BACL,GAAG,KAAK;4BACR,KAAK,EAAE,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC;yBACtF;qBACF;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,SAAS,GAAG,CAAC,IAAI,kBAAkB,GAAG,CAAC,IAAI,oBAAoB,GAAG,CAAC;gBACrE,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,cAAuB;wBAC7B,GAAG,EAAE,4BAA4B,MAAM,IAAI,QAAQ,CAAC,oBAAoB,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;wBAC7L,OAAO,EAAE,sBAAsB,SAAS,oBAAoB,kBAAkB,2BAA2B,oBAAoB,uBAAuB;wBACpJ,UAAU,EAAE,gBAAyB;wBACrC,UAAU,EAAE,SAAkB;wBAC9B,YAAY,EAAE,SAAkB;wBAChC,KAAK;qBACN;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,KAAK,kBAAkB,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAChF,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;QACxD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACpD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACpD,MAAM,kBAAkB,GAAG,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC7D,MAAM,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;QACjE,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAAO,EAAE,kBAAkB,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAAC;QACpG,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,IAAI,OAAO,EAAE,WAAW,CAAC,CAAC;QAC7E,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,CAAC,iBAAiB,IAAI,OAAO,EAAE,iBAAiB,CAAC,CAAC;QAC/F,MAAM,iBAAiB,GAAG,6BAA6B,CAAC,MAAM,CAAC,sBAAsB,IAAI,OAAO,EAAE,sBAAsB,CAAC,CAAC;QAC1H,MAAM,aAAa,GAAG,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1D,OAAO;YACL;gBACE,IAAI,EAAE,cAAc;gBACpB,GAAG,EAAE,iCAAiC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBACrJ,OAAO,EAAE,4BAA4B,OAAO,KAAK,UAAU,qBAAqB,gBAAgB,0CAA0C,YAAY,CAAC,OAAO,IAAI,YAAY,CAAC,KAAK,WAAW;gBAC/L,OAAO,EAAE,SAAS,CAChB;oBACE,kBAAkB,YAAY,CAAC,OAAO,YAAY,YAAY,CAAC,MAAM,oBAAoB,YAAY,CAAC,aAAa,iBAAiB,YAAY,CAAC,UAAU,EAAE;oBAC7J,YAAY,YAAY,oBAAoB,kBAAkB,EAAE;oBAChE,iBAAiB,CAAC,CAAC,CAAC,6BAA6B,iBAAiB,EAAE,CAAC,CAAC,CAAC,SAAS;iBACjF;qBACE,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;qBAClD,IAAI,CAAC,IAAI,CAAC,EACb,iBAAiB,CAClB;gBACD,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK,EAAE,aAAa;aACrB;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,6BAA6B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBACnJ,OAAO,EAAE,gCAAgC,OAAO,GAAG;gBACnD,OAAO,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;gBACxF,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK,EAAE,aAAa;aACrB;YACD,GAAG,CAAC,UAAU,GAAG,CAAC,IAAI,gBAAgB,GAAG,CAAC;gBACxC,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,MAAe;wBACrB,GAAG,EAAE,yBAAyB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;wBACzL,OAAO,EAAE,0BAA0B,UAAU,wBAAwB,gBAAgB,8BAA8B;wBACnH,OAAO,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;wBAC3F,UAAU,EAAE,gBAAyB;wBACrC,UAAU,EAAE,SAAkB;wBAC9B,YAAY,EAAE,SAAkB;wBAChC,KAAK,EAAE,aAAa;qBACrB;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC;IACC,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,YAAY,GAAG,kBAAkB,CAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC;QAC1E,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;QAC9D,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACpD,MAAM,iBAAiB,GAAG,6BAA6B,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;QACzF,OAAO;YACL;gBACE,IAAI,EAAE,cAAc;gBACpB,GAAG,EAAE,0BAA0B,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBACnH,OAAO,EAAE,yBAAyB,SAAS,oBAAoB,YAAY,iDAAiD,YAAY,CAAC,UAAU,IAAI,YAAY,CAAC,KAAK,yBAAyB;gBAClM,OAAO,EAAE,SAAS,CAChB;oBACE,eAAe,WAAW,EAAE;oBAC5B,kBAAkB,YAAY,CAAC,OAAO,YAAY,YAAY,CAAC,MAAM,oBAAoB,YAAY,CAAC,aAAa,iBAAiB,YAAY,CAAC,UAAU,EAAE;oBAC7J,iBAAiB,CAAC,CAAC,CAAC,6BAA6B,iBAAiB,EAAE,CAAC,CAAC,CAAC,SAAS;iBACjF;qBACE,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;qBAClD,IAAI,CAAC,IAAI,CAAC,EACb,iBAAiB,CAClB;gBACD,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK;aACN;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAClD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACzD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACrC,MAAM,IAAI,CAAC,CAAC;QACd,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;YAC7C,aAAa,IAAI,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;YAC1C,UAAU,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,aAAa,GAAG,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC;AACjI,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAuE,EACvE,MAA+B;IAE/B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACzE,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;IACrF,MAAM,SAAS,GAAG,OAAO,OAAO,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,MAAM,WAAW,GAAG,OAAO,OAAO,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACjF,MAAM,UAAU,GAAG,OAAO,QAAQ,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,YAAY,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IACvJ,MAAM,YAAY,GAAG,OAAO,YAAY,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5F,MAAM,IAAI,GAAuB;QAC/B,GAAG,KAAK,CAAC,IAAI;QACb,GAAG,CAAC,SAAS;YACX,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,SAAkB;oBACxB,EAAE,EAAE,SAAS;oBACb,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC1D,YAAY,EAAE,SAAkB;oBAChC,UAAU,EAAE,SAAkB;iBAC/B;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,UAAU;YACZ,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,UAAmB;oBACzB,EAAE,EAAE,UAAU;oBACd,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC5D,YAAY,EAAE,SAAkB;oBAChC,UAAU,EAAE,SAAkB;iBAC/B;aACF;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IACF,OAAO;QACL,GAAG,KAAK;QACR,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,KAAc;IACnD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,KAAK,CAAC,yBAAyB,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1H,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa;IAC/C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7K,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAa,EAAE,KAAkB;IACnE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,aAAa,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACpH,MAAM,IAAI,GAAG,IAAI,GAAG,EAA4B,CAAC;IACjD,MAAM,OAAO,GAAG,CAAC,QAAgB,EAAE,OAAwB,MAAM,EAAE,EAAE;QACnE,MAAM,UAAU,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YACpD,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,YAAY,EAAE,SAAS;YACvB,UAAU,EAAE,IAAI,CAAC,UAAU;SAC5B,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,SAAkB,EAAE,aAAsB,EAAE,EAAE;QAC/D,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,OAAO,aAAa,KAAK,QAAQ,EAAE,CAAC;YACvE,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,SAAS,CAAC,IAAI,aAAa,EAAE,CAAC,CAAC;QACpF,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,YAAY,EAAE,SAAS;YACvB,UAAU,EAAE,MAAM,CAAC,UAAU;SAC9B,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,KAAa,EAAE,EAAE;QAC9C,IAAI,IAAI,CAAC,IAAI,IAAI,kBAAkB,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC1F,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3C,OAAO,CAAC,KAAK,CAAC,CAAC;YACjB,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACzB,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACpC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAClG,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;YACzC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YACvC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;gBACpD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC7B,OAAO,CAAC,IAAI,CAAC,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;gBAC7C,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC7B,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACxB,CAAC;qBAAM,CAAC;oBACN,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,YAAY,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACjH,MAAM,GAAG,GAAqB;gBAC5B,IAAI,EAAE,UAAU;gBAChB,EAAE,EAAE,MAAM,CAAC,EAAE;gBACb,IAAI,EAAE,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;gBACxF,YAAY,EAAE,SAAS;gBACvB,UAAU,EAAE,SAAS;aACtB,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,oBAAoB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/F,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACzB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACf,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AAC5G,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,QAAgB,EAAE,IAAwB,EAAE,KAAe,EAAE,OAAiB,EAAE,KAAe;IAC3H,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,aAAa,IAAI,CAAC,MAAM,SAAS,CAAC,CAAC;IAC7D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,UAAU,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,YAAY,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,UAAU,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAa;IAC9C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC9B,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAClF,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;IACnC,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;IAClC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAChJ,CAAC;AAED,SAAS,MAAM,CAAC,GAAqB;IACnC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,UAAU,CAAC,IAAwB;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4B,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,UAAU,GAAG;YACjB,GAAG,GAAG;YACN,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;SACrD,CAAC;QACF,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,SAAS,CAAC,KAAa,EAAE,KAAa;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnD,OAAO,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AAC7F,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9E,CAAC"}
1
+ {"version":3,"file":"derivation.js","sourceRoot":"","sources":["../../src/session-memory/derivation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEtF,MAAM,UAAU,2BAA2B,CAAC,QAAgB,EAAE,IAAa;IACzE,IAAI,QAAQ,KAAK,aAAa,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;IACpF,OAAO,aAAa,EAAE,MAAM,KAAK,kBAAkB,IAAI,aAAa,EAAE,QAAQ,KAAK,KAAK,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,QAAgB,EAChB,IAAa,EACb,KAAuE;IAEvE,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,MAAM,GAAG,IAA+B,CAAC;IAC/C,IAAI,QAAQ,KAAK,aAAa,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,MAAM,eAAe,GAAG,aAAa,EAAE,MAAM,KAAK,kBAAkB,IAAI,aAAa,EAAE,QAAQ,KAAK,KAAK,CAAC;QAC1G,MAAM,MAAM,GAAG,OAAO,QAAQ,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAClF,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAC5F,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC;QAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,kBAAkB,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACnH,MAAM,oBAAoB,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACzH,IAAI,eAAe,EAAE,CAAC;YACpB,OAAO;gBACL;oBACE,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,wBAAwB,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;oBAClI,OAAO,EAAE,8GAA8G;oBACvH,UAAU,EAAE,gBAAgB;oBAC5B,UAAU,EAAE,SAAS;oBACrB,YAAY,EAAE,SAAS;oBACvB,KAAK;iBACN;aACF,CAAC;QACJ,CAAC;QACD,OAAO;YACL;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,wBAAwB,MAAM,IAAI,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBAChI,OAAO,EAAE,wBAAwB,WAAW,0BAA0B,MAAM,CAAC,CAAC,CAAC,QAAQ,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG;gBACvG,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK;aACN;YACD,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC3B,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,WAAoB;wBAC1B,GAAG,EAAE,yBAAyB,MAAM,IAAI,QAAQ,CAAC,kBAAkB,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;wBAC9G,OAAO,EAAE,gCAAgC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,cAAc,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG;wBAC3J,UAAU,EAAE,gBAAyB;wBACrC,UAAU,EAAE,SAAkB;wBAC9B,YAAY,EAAE,SAAkB;wBAChC,KAAK,EAAE;4BACL,GAAG,KAAK;4BACR,KAAK,EAAE,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC;yBACtF;qBACF;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,SAAS,GAAG,CAAC,IAAI,kBAAkB,GAAG,CAAC,IAAI,oBAAoB,GAAG,CAAC;gBACrE,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,cAAuB;wBAC7B,GAAG,EAAE,4BAA4B,MAAM,IAAI,QAAQ,CAAC,oBAAoB,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;wBAC7L,OAAO,EAAE,sBAAsB,SAAS,oBAAoB,kBAAkB,2BAA2B,oBAAoB,uBAAuB;wBACpJ,UAAU,EAAE,gBAAyB;wBACrC,UAAU,EAAE,SAAkB;wBAC9B,YAAY,EAAE,SAAkB;wBAChC,KAAK;qBACN;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,KAAK,kBAAkB,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAChF,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;QACxD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACpD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACpD,MAAM,kBAAkB,GAAG,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC7D,MAAM,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;QACjE,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAAO,EAAE,kBAAkB,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAAC;QACpG,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,IAAI,OAAO,EAAE,WAAW,CAAC,CAAC;QAC7E,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,CAAC,iBAAiB,IAAI,OAAO,EAAE,iBAAiB,CAAC,CAAC;QAC/F,MAAM,iBAAiB,GAAG,6BAA6B,CAAC,MAAM,CAAC,sBAAsB,IAAI,OAAO,EAAE,sBAAsB,CAAC,CAAC;QAC1H,MAAM,aAAa,GAAG,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1D,OAAO;YACL;gBACE,IAAI,EAAE,cAAc;gBACpB,GAAG,EAAE,iCAAiC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBACrJ,OAAO,EAAE,4BAA4B,OAAO,KAAK,UAAU,qBAAqB,gBAAgB,0CAA0C,YAAY,CAAC,OAAO,IAAI,YAAY,CAAC,KAAK,WAAW;gBAC/L,OAAO,EAAE,SAAS,CAChB;oBACE,kBAAkB,YAAY,CAAC,OAAO,YAAY,YAAY,CAAC,MAAM,oBAAoB,YAAY,CAAC,aAAa,iBAAiB,YAAY,CAAC,UAAU,EAAE;oBAC7J,YAAY,YAAY,oBAAoB,kBAAkB,EAAE;oBAChE,iBAAiB,CAAC,CAAC,CAAC,6BAA6B,iBAAiB,EAAE,CAAC,CAAC,CAAC,SAAS;iBACjF;qBACE,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;qBAClD,IAAI,CAAC,IAAI,CAAC,EACb,iBAAiB,CAClB;gBACD,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK,EAAE,aAAa;aACrB;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,6BAA6B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBACnJ,OAAO,EAAE,gCAAgC,OAAO,GAAG;gBACnD,OAAO,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;gBACxF,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK,EAAE,aAAa;aACrB;YACD,GAAG,CAAC,UAAU,GAAG,CAAC,IAAI,gBAAgB,GAAG,CAAC;gBACxC,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,MAAe;wBACrB,GAAG,EAAE,yBAAyB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;wBACzL,OAAO,EAAE,0BAA0B,UAAU,wBAAwB,gBAAgB,8BAA8B;wBACnH,OAAO,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;wBAC3F,UAAU,EAAE,gBAAyB;wBACrC,UAAU,EAAE,SAAkB;wBAC9B,YAAY,EAAE,SAAkB;wBAChC,KAAK,EAAE,aAAa;qBACrB;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC;IACE,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,YAAY,GAAG,kBAAkB,CAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC;QAC1E,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;QAC9D,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACpD,MAAM,iBAAiB,GAAG,6BAA6B,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;QACxF,IAAI,MAAM,CAAC,aAAa,KAAK,cAAc,IAAI,CAAC,SAAS,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,YAAY,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YACnH,OAAO,EAAE,CAAC;QACZ,CAAC;QACF,OAAO;YACN;gBACE,IAAI,EAAE,cAAc;gBACpB,GAAG,EAAE,0BAA0B,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;gBACnH,OAAO,EAAE,yBAAyB,SAAS,oBAAoB,YAAY,iDAAiD,YAAY,CAAC,UAAU,IAAI,YAAY,CAAC,KAAK,yBAAyB;gBAClM,OAAO,EAAE,SAAS,CAChB;oBACE,eAAe,WAAW,EAAE;oBAC5B,kBAAkB,YAAY,CAAC,OAAO,YAAY,YAAY,CAAC,MAAM,oBAAoB,YAAY,CAAC,aAAa,iBAAiB,YAAY,CAAC,UAAU,EAAE;oBAC7J,iBAAiB,CAAC,CAAC,CAAC,6BAA6B,iBAAiB,EAAE,CAAC,CAAC,CAAC,SAAS;iBACjF;qBACE,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;qBAClD,IAAI,CAAC,IAAI,CAAC,EACb,iBAAiB,CAClB;gBACD,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,SAAS;gBACvB,KAAK;aACN;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAClD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACzD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACrC,MAAM,IAAI,CAAC,CAAC;QACd,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;YAC7C,aAAa,IAAI,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;YAC1C,UAAU,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,aAAa,GAAG,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC;AACjI,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAuE,EACvE,MAA+B;IAE/B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACzE,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;IACrF,MAAM,SAAS,GAAG,OAAO,OAAO,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,MAAM,WAAW,GAAG,OAAO,OAAO,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACjF,MAAM,UAAU,GAAG,OAAO,QAAQ,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,YAAY,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IACvJ,MAAM,YAAY,GAAG,OAAO,YAAY,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5F,MAAM,IAAI,GAAuB;QAC/B,GAAG,KAAK,CAAC,IAAI;QACb,GAAG,CAAC,SAAS;YACX,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,SAAkB;oBACxB,EAAE,EAAE,SAAS;oBACb,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC1D,YAAY,EAAE,SAAkB;oBAChC,UAAU,EAAE,SAAkB;iBAC/B;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,UAAU;YACZ,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,UAAmB;oBACzB,EAAE,EAAE,UAAU;oBACd,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC5D,YAAY,EAAE,SAAkB;oBAChC,UAAU,EAAE,SAAkB;iBAC/B;aACF;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IACF,OAAO;QACL,GAAG,KAAK;QACR,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,KAAc;IACnD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,KAAK,CAAC,yBAAyB,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1H,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa;IAC/C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7K,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAa,EAAE,KAAkB;IACnE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,aAAa,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACpH,MAAM,IAAI,GAAG,IAAI,GAAG,EAA4B,CAAC;IACjD,MAAM,OAAO,GAAG,CAAC,QAAgB,EAAE,OAAwB,MAAM,EAAE,EAAE;QACnE,MAAM,UAAU,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YACpD,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,YAAY,EAAE,SAAS;YACvB,UAAU,EAAE,IAAI,CAAC,UAAU;SAC5B,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,SAAkB,EAAE,aAAsB,EAAE,EAAE;QAC/D,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,OAAO,aAAa,KAAK,QAAQ,EAAE,CAAC;YACvE,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,SAAS,CAAC,IAAI,aAAa,EAAE,CAAC,CAAC;QACpF,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,YAAY,EAAE,SAAS;YACvB,UAAU,EAAE,MAAM,CAAC,UAAU;SAC9B,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,KAAa,EAAE,EAAE;QAC9C,IAAI,IAAI,CAAC,IAAI,IAAI,kBAAkB,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC1F,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3C,OAAO,CAAC,KAAK,CAAC,CAAC;YACjB,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACzB,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACpC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAClG,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;YACzC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YACvC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;gBACpD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC7B,OAAO,CAAC,IAAI,CAAC,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;gBAC7C,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC7B,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACxB,CAAC;qBAAM,CAAC;oBACN,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,YAAY,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACjH,MAAM,GAAG,GAAqB;gBAC5B,IAAI,EAAE,UAAU;gBAChB,EAAE,EAAE,MAAM,CAAC,EAAE;gBACb,IAAI,EAAE,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;gBACxF,YAAY,EAAE,SAAS;gBACvB,UAAU,EAAE,SAAS;aACtB,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,oBAAoB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/F,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACzB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACf,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AAC5G,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,QAAgB,EAAE,IAAwB,EAAE,KAAe,EAAE,OAAiB,EAAE,KAAe;IAC3H,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,aAAa,IAAI,CAAC,MAAM,SAAS,CAAC,CAAC;IAC7D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,UAAU,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,YAAY,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,UAAU,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAa;IAC9C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC9B,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAClF,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;IACnC,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;IAClC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAChJ,CAAC;AAED,SAAS,MAAM,CAAC,GAAqB;IACnC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,UAAU,CAAC,IAAwB;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4B,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,UAAU,GAAG;YACjB,GAAG,GAAG;YACN,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;SACrD,CAAC;QACF,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,SAAS,CAAC,KAAa,EAAE,KAAa;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnD,OAAO,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AAC7F,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9E,CAAC"}
package/dist/types.d.ts CHANGED
@@ -453,7 +453,7 @@ export interface ComplexityReviewData extends QueryObject {
453
453
  items: ComplexityReviewItem[];
454
454
  invariants: string[];
455
455
  }
456
- export type QueryResultMode = "context_pack" | "task_brief" | "focus_brief" | "session_context" | "change_plan" | "post_edit_review" | "test_plan" | "repo_map" | "search" | "find_context" | "symbol_context" | "impact" | "diff_impact" | "callers" | "callees" | "dependency_path" | "workflow_path" | "placeholder_report" | "session_memory" | "freshness";
456
+ export type QueryResultMode = "context_pack" | "task_brief" | "focus_brief" | "session_context" | "change_plan" | "post_edit_review" | "test_plan" | "repo_map" | "search" | "find_context" | "symbol_context" | "impact" | "diff_impact" | "callers" | "callees" | "dependency_path" | "workflow_path" | "placeholder_report" | "session_memory" | "freshness" | "proof_card";
457
457
  export interface BaseQueryData {
458
458
  mode: QueryResultMode;
459
459
  task?: string;
@@ -585,6 +585,10 @@ export interface PostEditReviewData extends BaseQueryData {
585
585
  }
586
586
  export interface TestPlanData extends BaseQueryData {
587
587
  mode: "test_plan";
588
+ actionability?: string;
589
+ targetFiles?: string[];
590
+ unindexedTargetFiles?: string[];
591
+ rejectedTargetFiles?: string[];
588
592
  changedFiles?: string[];
589
593
  changedEntries?: ChangedFileEntry[];
590
594
  changedSymbols?: CompactChangedSymbol[];
@@ -600,7 +604,20 @@ export interface TestPlanData extends BaseQueryData {
600
604
  verificationLedger?: VerificationLedgerEntry[];
601
605
  testsNotRun?: TestRecommendation[];
602
606
  }
603
- export type CodexaQueryData = ContextPacketData | FocusBriefData | ChangePlanData | PostEditReviewData | TestPlanData;
607
+ export interface ProofCardData extends BaseQueryData {
608
+ mode: "proof_card";
609
+ actionability?: string;
610
+ repoRoot?: string;
611
+ freshness?: QueryObject;
612
+ readFirst?: QueryObject[];
613
+ snapshot?: QueryObject;
614
+ verification?: QueryObject;
615
+ policies?: QueryObject;
616
+ trustPosture?: string[];
617
+ nextCommands?: string[];
618
+ gaps?: string[];
619
+ }
620
+ export type CodexaQueryData = ContextPacketData | FocusBriefData | ChangePlanData | PostEditReviewData | TestPlanData | ProofCardData;
604
621
  export type ChangeType = "style" | "api" | "behavior" | "rename" | "delete" | "unknown";
605
622
  export interface ContextPackInput {
606
623
  task?: string;
package/dist/types.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AA63BA,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAU,CAAC;AACjE,MAAM,CAAC,MAAM,gDAAgD,GAAG,qBAAqB,CAAC;AACtF,MAAM,CAAC,MAAM,6CAA6C,GAAG,qBAAqB,CAAC;AACnF,MAAM,CAAC,MAAM,2BAA2B,GAAG,wBAAwB,CAAC;AAUpE,MAAM,CAAC,MAAM,+BAA+B,GAA2B;IACrE,aAAa,EAAE,sCAAsC;IACrD,yBAAyB,EAAE,yBAAyB;IACpD,gCAAgC,EAAE,gDAAgD;IAClF,6BAA6B,EAAE,6CAA6C;IAC5E,yBAAyB,EAAE,2BAA2B;CACvD,CAAC"}
1
+ {"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAg5BA,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAU,CAAC;AACjE,MAAM,CAAC,MAAM,gDAAgD,GAAG,qBAAqB,CAAC;AACtF,MAAM,CAAC,MAAM,6CAA6C,GAAG,qBAAqB,CAAC;AACnF,MAAM,CAAC,MAAM,2BAA2B,GAAG,wBAAwB,CAAC;AAUpE,MAAM,CAAC,MAAM,+BAA+B,GAA2B;IACrE,aAAa,EAAE,sCAAsC;IACrD,yBAAyB,EAAE,yBAAyB;IACpD,gCAAgC,EAAE,gDAAgD;IAClF,6BAA6B,EAAE,6CAA6C;IAC5E,yBAAyB,EAAE,2BAA2B;CACvD,CAAC"}
@@ -8,7 +8,7 @@
8
8
  "name": "codexa",
9
9
  "source": "./claude-code",
10
10
  "description": "Codexa for Claude Code. MCP server exposes evidence-backed repo context tools; SessionStart injects repo context, PreToolUse saves an implicit pre-edit baseline, Stop runs the post-edit drift review and surfaces blocking drift to the model. Slash commands wrap the codexa CLI.",
11
- "version": "0.5.1",
11
+ "version": "0.6.0",
12
12
  "category": "development",
13
13
  "tags": [
14
14
  "codexa",
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "codexa",
3
- "version": "0.5.1",
3
+ "version": "0.6.0",
4
4
  "description": "Codexa for Claude Code. MCP server exposes evidence-backed repo context tools; SessionStart injects repo context, PreToolUse saves an implicit pre-edit baseline, Stop runs the post-edit drift review and surfaces blocking drift to the model. Slash commands wrap the codexa CLI.",
5
5
  "author": {
6
6
  "name": "Codexa"
@@ -42,6 +42,7 @@ Slash commands available to Claude:
42
42
  | ------------------ | ------------------------------------ |
43
43
  | `/codexa-status` | `codexa status <repo>` |
44
44
  | `/codexa-brief` | `codexa brief <repo> --diff` |
45
+ | `/codexa-prove` | `codexa prove <repo> --diff` |
45
46
  | `/codexa-plan` | `codexa change-plan --save-snapshot` |
46
47
  | `/codexa-review` | `codexa post-edit-review` |
47
48
  | `/codexa-impact` | `codexa impact` / `diff-impact` |
@@ -60,7 +61,7 @@ They do not maintain a separate index, ranking layer, planner, or source-editing
60
61
  path. The primary Codexa path stays:
61
62
 
62
63
  ```text
63
- session_context -> task_brief -> change_plan(saveSnapshot) -> post_edit_review -> test_plan
64
+ session_context -> task_brief -> change_plan(saveSnapshot) -> post_edit_review -> test_plan -> proof_card
64
65
  ```
65
66
 
66
67
  Use `symbol_context`, `impact`, `callers`, and `callees` when Claude needs to
@@ -80,6 +81,12 @@ Treat `codexa/integrations/` as a local Claude Code plugin marketplace. It
80
81
  ships inside the npm package, so both a git checkout and an npm install work
81
82
  as the marketplace source.
82
83
 
84
+ For a repo that should be ready for both proof cards and Claude hook guidance:
85
+
86
+ ```bash
87
+ codexa init <repo> --claude-md --policy-pack
88
+ ```
89
+
83
90
  ### Quick, supported path (persistent)
84
91
 
85
92
  From a Claude Code session:
@@ -0,0 +1,12 @@
1
+ ---
2
+ description: Print a Codexa proof card for the current repo and task
3
+ argument-hint: "[task description]"
4
+ disable-model-invocation: true
5
+ allowed-tools: Bash(bash:*)
6
+ ---
7
+
8
+ Ask Codexa for a compact proof card. It reports freshness, dirty-tree state,
9
+ read-first files, saved change-plan snapshot status, verification commands that
10
+ would earn credit, local policy-pack status, trust posture, and remaining gaps.
11
+
12
+ !`bash "${CLAUDE_PLUGIN_ROOT}/scripts/cmd/prove.sh" "$ARGUMENTS"`
@@ -0,0 +1,17 @@
1
+ #!/usr/bin/env bash
2
+ set -u
3
+ CMD_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd -P)"
4
+ # shellcheck source=lib.sh
5
+ . "$CMD_DIR/lib.sh"
6
+
7
+ raw_args="${1-}"
8
+
9
+ repo="$(cmd_require_codexa_repo)" || exit 1
10
+ cmd_require_codexa_cli
11
+
12
+ cli_args=(prove "$repo" --diff)
13
+ if [[ -n "$raw_args" ]]; then
14
+ cli_args+=(--task "$raw_args")
15
+ fi
16
+
17
+ exec "$NODE_BIN" "$CODEXA_CLI" "${cli_args[@]}"
@@ -156,6 +156,27 @@ else
156
156
  fail "brief passes the full task string through --task, preserving spaces" "rc=$LAST_RC stdout='$LAST_STDOUT'"
157
157
  fi
158
158
 
159
+ # ---------- prove ----------
160
+ section "prove.sh"
161
+
162
+ run_cmd "prove.sh" "" "$REPO"
163
+ if [[ $LAST_RC -eq 0 ]] && printf '%s' "$LAST_STDOUT" | grep -Fxq "ARG: prove" \
164
+ && printf '%s' "$LAST_STDOUT" | grep -Fxq "ARG: --diff"; then
165
+ pass "prove with no arguments prints a repo proof card"
166
+ else
167
+ fail "prove with no arguments prints a repo proof card" "rc=$LAST_RC stdout='$LAST_STDOUT'"
168
+ fi
169
+
170
+ PROVE_TASK="fix behavior; rm -rf /"
171
+ run_cmd "prove.sh" "$PROVE_TASK" "$REPO"
172
+ if [[ $LAST_RC -eq 0 ]] && printf '%s' "$LAST_STDOUT" | grep -Fxq "ARG: prove" \
173
+ && printf '%s' "$LAST_STDOUT" | grep -Fxq "ARG: $PROVE_TASK" \
174
+ && ! printf '%s' "$LAST_STDOUT" | grep -q "^rm: "; then
175
+ pass "prove treats the full argument string as task text"
176
+ else
177
+ fail "prove treats the full argument string as task text" "rc=$LAST_RC stdout='$LAST_STDOUT'"
178
+ fi
179
+
159
180
  # ---------- plan ----------
160
181
  section "plan.sh"
161
182
 
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@mirnoorata/codexa",
3
- "version": "0.5.1",
3
+ "version": "0.6.0",
4
4
  "mcpName": "io.github.mirnoorata/codexa",
5
5
  "description": "Codex-native codebase intelligence context compiler and query-only MCP server.",
6
6
  "keywords": [
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "codexa",
3
- "version": "0.5.1",
3
+ "version": "0.6.0",
4
4
  "description": "Codex-native codebase intelligence workflows, MCP setup, and edit accountability for repositories indexed by Codexa.",
5
5
  "author": {
6
6
  "name": "Codexa maintainers",
@@ -10,7 +10,7 @@ Use this skill when a task involves understanding, editing, reviewing, or verify
10
10
  ## Operating Rules
11
11
 
12
12
  1. Resolve the active repository first. If the repo has `.codex/config.toml`, use the project-local Codexa MCP server. If the MCP server is unavailable, run the equivalent `codexa` CLI command from the repository.
13
- 2. Primary Codexa path: `session_context -> search(if target unclear) -> task_brief -> change_plan(saveSnapshot) -> post_edit_review -> test_plan`.
13
+ 2. Primary Codexa path: `session_context -> search(if target unclear) -> task_brief -> change_plan(saveSnapshot) -> post_edit_review -> test_plan -> proof_card`.
14
14
  3. For broad tasks, call `session_context` first. If the target is unclear or `actionability` says `needs_target`, `raw_search_better`, or `raw_search_sufficient`, use first-class `search` or ask for an explicit target before planning edits.
15
15
  4. For code edits, debugging, reviews, or non-trivial refactors, call `search` first when the target is unclear; otherwise call `task_brief` before reading or editing source.
16
16
  5. For symbol-level changes, call `symbol_context` or `impact` when you need callers, callees, implementations, tests, risks, edge evidence, or the next exact Codexa tool.
@@ -38,6 +38,7 @@ codexa impact . --symbol "<symbol_or_stable_id>"
38
38
  codexa change-plan . --task "<task>" --save-snapshot --task-id "<task_id>"
39
39
  codexa post-edit-review . --task-id "<task_id>" --ran-command "<command>"
40
40
  codexa test-plan .
41
+ codexa prove . --task "<task>" --task-id "<task_id>" --ran-command "<command>"
41
42
  codexa serve . --transport http --host 127.0.0.1 --port 8729
42
43
  ```
43
44