@rsaglobaltech/specgate 0.14.6 → 0.15.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +24 -0
- package/dist/packages/core/src/domain/ForeignSpec.js +55 -0
- package/dist/packages/core/src/domain/ForeignSpec.js.map +1 -0
- package/dist/packages/core/src/domain/OpenSpecReader.js +225 -0
- package/dist/packages/core/src/domain/OpenSpecReader.js.map +1 -0
- package/dist/packages/core/src/domain/VerifyClaims.js +113 -0
- package/dist/packages/core/src/domain/VerifyClaims.js.map +1 -0
- package/dist/scripts/agents/commands.js +4 -1
- package/dist/scripts/agents/commands.js.map +1 -1
- package/dist/scripts/agents/init.js +16 -1
- package/dist/scripts/agents/init.js.map +1 -1
- package/dist/scripts/cli/commands/quality/VerifyCommand.js +333 -0
- package/dist/scripts/cli/commands/quality/VerifyCommand.js.map +1 -0
- package/dist/scripts/lib/surface.js +11 -0
- package/dist/scripts/lib/surface.js.map +1 -1
- package/dist/scripts/verify.js +11 -0
- package/dist/scripts/verify.js.map +1 -0
- package/package.json +1 -1
package/CHANGELOG.md
CHANGED
|
@@ -8,6 +8,30 @@ The release process is in [`docs/release-process.md`](docs/release-process.md).
|
|
|
8
8
|
|
|
9
9
|
## [Unreleased]
|
|
10
10
|
|
|
11
|
+
## [0.15.0] — 2026-10-08
|
|
12
|
+
|
|
13
|
+
### Changed
|
|
14
|
+
|
|
15
|
+
- **The agent slash command `/specgate:verify` is now `/specgate:check`**, the
|
|
16
|
+
name of the command it runs. `specgate verify` is the OpenSpec check below,
|
|
17
|
+
and two things called "verify" doing different things is one too many.
|
|
18
|
+
`specgate update` moves `.claude/commands/specgate/verify.md` (and the older
|
|
19
|
+
`csda/verify.md`) to `check.md`, keeping the team's edits.
|
|
20
|
+
|
|
21
|
+
### Added
|
|
22
|
+
|
|
23
|
+
- **`specgate verify` — gate what OpenSpec calls done** (ADR-0030). Reads
|
|
24
|
+
`openspec/` in place, without writing to it. An archived change claims the
|
|
25
|
+
current scenarios of every requirement it added or modified. The check
|
|
26
|
+
fails while one of them has no test naming its id
|
|
27
|
+
(`openspec:<capability>/<requirement>/<scenario>`), while the suite is red
|
|
28
|
+
(`--run`), or after a scenario's text changed since `--record` pinned it.
|
|
29
|
+
`--since <ref>` gates only claims made after the ref, so adopting it never
|
|
30
|
+
fails a project for its past. `--ids` prints the ids to name; `--format
|
|
31
|
+
github` annotates the spec lines; `actions/verify` runs it on pull requests.
|
|
32
|
+
Read against OpenSpec's own repository: 747 scenarios, 108 claims, including
|
|
33
|
+
its archived history from before the structured format.
|
|
34
|
+
|
|
11
35
|
## [0.14.6] — 2026-10-08
|
|
12
36
|
|
|
13
37
|
### Fixed
|
|
@@ -0,0 +1,55 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* A specification Specgate did not write, read into the one shape the
|
|
4
|
+
* verification rules understand (ADR-0030).
|
|
5
|
+
*
|
|
6
|
+
* Each tool says three things in its own words: what must hold (a
|
|
7
|
+
* requirement), how you would know (an acceptance criterion — a scenario), and
|
|
8
|
+
* that it is done (a ticked task, an archived change). A reader turns those
|
|
9
|
+
* words into `ForeignRequirement`, `ForeignCriterion` and `ForeignClaim`; the
|
|
10
|
+
* rules in `VerifyClaims` never see a format.
|
|
11
|
+
*
|
|
12
|
+
* Pure: readers receive file contents, never paths to open.
|
|
13
|
+
*/
|
|
14
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
15
|
+
exports.slug = slug;
|
|
16
|
+
exports.namesId = namesId;
|
|
17
|
+
exports.idsNamedIn = idsNamedIn;
|
|
18
|
+
/** `Path configuration for supported tools` → `path-configuration-for-supported-tools`. */
|
|
19
|
+
function slug(text) {
|
|
20
|
+
return String(text || "")
|
|
21
|
+
.toLowerCase()
|
|
22
|
+
.normalize("NFKD")
|
|
23
|
+
.replace(/[̀-ͯ]/g, "")
|
|
24
|
+
.replace(/[^a-z0-9]+/g, "-")
|
|
25
|
+
.replace(/^-+|-+$/g, "");
|
|
26
|
+
}
|
|
27
|
+
/** Does `source` name `id` as a whole token — not as a prefix of a longer id? */
|
|
28
|
+
function namesId(source, id) {
|
|
29
|
+
let from = 0;
|
|
30
|
+
for (;;) {
|
|
31
|
+
const at = source.indexOf(id, from);
|
|
32
|
+
if (at === -1)
|
|
33
|
+
return false;
|
|
34
|
+
const after = source.charAt(at + id.length);
|
|
35
|
+
const next = source.charAt(at + id.length + 1);
|
|
36
|
+
const before = at > 0 ? source.charAt(at - 1) : "";
|
|
37
|
+
// An id ends at anything that cannot continue it: `/a-b` must not match
|
|
38
|
+
// inside `/a-bc` or `/a-b/c`, nor `US1.2` inside `US1.25` or `US1` inside
|
|
39
|
+
// `US1.2`. A full stop ends a sentence; followed by a digit it continues.
|
|
40
|
+
const continues = /[a-z0-9/-]/i.test(after) || (after === "." && /[0-9]/.test(next));
|
|
41
|
+
if (!continues && !/[a-z0-9:/-]/i.test(before))
|
|
42
|
+
return true;
|
|
43
|
+
from = at + 1;
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
/** Every `openspec:…` / `speckit:…` id a source mentions, for orphan detection. */
|
|
47
|
+
function idsNamedIn(source) {
|
|
48
|
+
const out = new Set();
|
|
49
|
+
const re = /\b(openspec|speckit):[a-z0-9][a-z0-9/._-]*[a-z0-9]/gi;
|
|
50
|
+
let m;
|
|
51
|
+
while ((m = re.exec(source)) !== null)
|
|
52
|
+
out.add(m[0]);
|
|
53
|
+
return [...out];
|
|
54
|
+
}
|
|
55
|
+
//# sourceMappingURL=ForeignSpec.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ForeignSpec.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/ForeignSpec.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;AAmEH,oBAOC;AAGD,0BAeC;AAGD,gCAMC;AAnCD,2FAA2F;AAC3F,SAAgB,IAAI,CAAC,IAAY;IAC/B,OAAO,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;SACtB,WAAW,EAAE;SACb,SAAS,CAAC,MAAM,CAAC;SACjB,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,iFAAiF;AACjF,SAAgB,OAAO,CAAC,MAAc,EAAE,EAAU;IAChD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,SAAS,CAAC;QACR,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACpC,IAAI,EAAE,KAAK,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,wEAAwE;QACxE,0EAA0E;QAC1E,0EAA0E;QAC1E,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,IAAI,CAAC,SAAS,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5D,IAAI,GAAG,EAAE,GAAG,CAAC,CAAC;IAChB,CAAC;AACH,CAAC;AAED,mFAAmF;AACnF,SAAgB,UAAU,CAAC,MAAc;IACvC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,EAAE,GAAG,sDAAsD,CAAC;IAClE,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI;QAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AAClB,CAAC"}
|
|
@@ -0,0 +1,225 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* OpenSpec, read in place (ADR-0030).
|
|
4
|
+
*
|
|
5
|
+
* openspec/specs/<capability>/spec.md the current specification
|
|
6
|
+
* openspec/changes/<change>/specs/<capability>/spec.md a change's delta
|
|
7
|
+
* openspec/changes/<change>/tasks.md its task list
|
|
8
|
+
* openspec/changes/archive/<date>-<change>/… a change that shipped
|
|
9
|
+
*
|
|
10
|
+
* ```markdown
|
|
11
|
+
* ### Requirement: Path configuration for supported tools
|
|
12
|
+
* The `AI_TOOLS` array SHALL include `skillsDir` …
|
|
13
|
+
* #### Scenario: Claude Code paths defined
|
|
14
|
+
* - **WHEN** looking up the `claude` tool
|
|
15
|
+
* - **THEN** `skillsDir` SHALL be `.claude`
|
|
16
|
+
* ```
|
|
17
|
+
*
|
|
18
|
+
* OpenSpec names requirements and scenarios; it numbers neither. The id is
|
|
19
|
+
* built from the names: `openspec:<capability>/<slug(requirement)>/<slug(scenario)>`,
|
|
20
|
+
* where a nested capability keeps its path (`time-attendance/clock-punches`).
|
|
21
|
+
*
|
|
22
|
+
* Its claim of done is the archive: a change moved under `changes/archive/`
|
|
23
|
+
* has been applied to the specification, and every requirement its delta
|
|
24
|
+
* ADDED or MODIFIED is claimed. What it owes is judged against the scenarios
|
|
25
|
+
* the current specification holds for that requirement — the archive records
|
|
26
|
+
* what changed then; the specification is what holds now.
|
|
27
|
+
*
|
|
28
|
+
* An active change with every task ticked is a claim too, but OpenSpec itself
|
|
29
|
+
* has not called it finished until it is archived, so it is reported, not
|
|
30
|
+
* gated.
|
|
31
|
+
*/
|
|
32
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
33
|
+
exports.isOpenSpecProject = isOpenSpecProject;
|
|
34
|
+
exports.readOpenSpec = readOpenSpec;
|
|
35
|
+
const ForeignSpec_1 = require("./ForeignSpec");
|
|
36
|
+
const ROOT = "openspec/";
|
|
37
|
+
// A capability may be nested — `specs/time-attendance/clock-punches/spec.md`
|
|
38
|
+
// (OpenSpec 1.14). Reading one level only skipped those files silently, which
|
|
39
|
+
// is the one thing this reader must never do; found by the verify pilot.
|
|
40
|
+
const MAIN_SPEC = /^openspec\/specs\/(.+)\/spec\.md$/;
|
|
41
|
+
const DELTA_SPEC = /^openspec\/changes\/(archive\/)?([^/]+)\/specs\/(.+)\/spec\.md$/;
|
|
42
|
+
const TASKS = /^openspec\/changes\/(archive\/)?([^/]+)\/tasks\.md$/;
|
|
43
|
+
const REQUIREMENT = /^###\s+Requirement:\s*(.+?)\s*$/;
|
|
44
|
+
const SCENARIO = /^####\s+Scenario:\s*(.+?)\s*$/;
|
|
45
|
+
const DELTA_SECTION = /^##\s+(ADDED|MODIFIED|REMOVED|RENAMED)\b/i;
|
|
46
|
+
const FENCE = /^\s*(```|~~~)/;
|
|
47
|
+
/** The requirements of one spec file, with the delta section each sits in. */
|
|
48
|
+
function requirementBlocks(source) {
|
|
49
|
+
const lines = source.replace(/\r\n/g, "\n").split("\n");
|
|
50
|
+
const out = [];
|
|
51
|
+
let section = "";
|
|
52
|
+
let fenced = false;
|
|
53
|
+
let req = null;
|
|
54
|
+
let scn = null;
|
|
55
|
+
lines.forEach((text, i) => {
|
|
56
|
+
if (FENCE.test(text))
|
|
57
|
+
fenced = !fenced;
|
|
58
|
+
if (fenced) {
|
|
59
|
+
(scn ? scn.body : req ? req.body : []).push(text);
|
|
60
|
+
return;
|
|
61
|
+
}
|
|
62
|
+
const sec = DELTA_SECTION.exec(text);
|
|
63
|
+
if (sec) {
|
|
64
|
+
section = sec[1].toUpperCase();
|
|
65
|
+
req = null;
|
|
66
|
+
scn = null;
|
|
67
|
+
return;
|
|
68
|
+
}
|
|
69
|
+
const r = REQUIREMENT.exec(text);
|
|
70
|
+
if (r) {
|
|
71
|
+
req = { name: r[1], line: i + 1, body: [], scenarios: [], section };
|
|
72
|
+
scn = null;
|
|
73
|
+
out.push(req);
|
|
74
|
+
return;
|
|
75
|
+
}
|
|
76
|
+
const s = SCENARIO.exec(text);
|
|
77
|
+
if (s && req) {
|
|
78
|
+
scn = { name: s[1], line: i + 1, body: [] };
|
|
79
|
+
req.scenarios.push(scn);
|
|
80
|
+
return;
|
|
81
|
+
}
|
|
82
|
+
// Any other heading at level 1–3 closes the requirement.
|
|
83
|
+
if (/^#{1,3}\s/.test(text)) {
|
|
84
|
+
req = null;
|
|
85
|
+
scn = null;
|
|
86
|
+
return;
|
|
87
|
+
}
|
|
88
|
+
(scn ? scn.body : req ? req.body : []).push(text);
|
|
89
|
+
});
|
|
90
|
+
return out;
|
|
91
|
+
}
|
|
92
|
+
function toRequirement(capability, file, block) {
|
|
93
|
+
const requirementId = `openspec:${capability}/${(0, ForeignSpec_1.slug)(block.name)}`;
|
|
94
|
+
const seen = new Map();
|
|
95
|
+
const criteria = block.scenarios.map((s) => {
|
|
96
|
+
const base = (0, ForeignSpec_1.slug)(s.name);
|
|
97
|
+
const n = (seen.get(base) || 0) + 1;
|
|
98
|
+
seen.set(base, n);
|
|
99
|
+
return {
|
|
100
|
+
id: `${requirementId}/${n === 1 ? base : `${base}-${n}`}`,
|
|
101
|
+
requirementId,
|
|
102
|
+
title: s.name,
|
|
103
|
+
text: [s.name, ...s.body].join("\n").trim(),
|
|
104
|
+
file,
|
|
105
|
+
line: s.line,
|
|
106
|
+
};
|
|
107
|
+
});
|
|
108
|
+
return { id: requirementId, title: block.name, file, line: block.line, criteria };
|
|
109
|
+
}
|
|
110
|
+
/** Every task line, and whether it is ticked. */
|
|
111
|
+
function tasksIn(source) {
|
|
112
|
+
return source
|
|
113
|
+
.replace(/\r\n/g, "\n")
|
|
114
|
+
.split("\n")
|
|
115
|
+
.map((l) => /^\s*[-*]\s+\[([ xX])\]\s+/.exec(l))
|
|
116
|
+
.filter((m) => m !== null)
|
|
117
|
+
.map((m) => ({ done: m[1].toLowerCase() === "x" }));
|
|
118
|
+
}
|
|
119
|
+
function isOpenSpecProject(paths) {
|
|
120
|
+
return paths.some((p) => MAIN_SPEC.test(p) || DELTA_SPEC.test(p));
|
|
121
|
+
}
|
|
122
|
+
function readOpenSpec(files) {
|
|
123
|
+
const problems = [];
|
|
124
|
+
const requirements = [];
|
|
125
|
+
const byId = new Map();
|
|
126
|
+
for (const f of files) {
|
|
127
|
+
const m = MAIN_SPEC.exec(f.path);
|
|
128
|
+
if (!m)
|
|
129
|
+
continue;
|
|
130
|
+
const blocks = requirementBlocks(f.source);
|
|
131
|
+
if (blocks.length === 0) {
|
|
132
|
+
problems.push({
|
|
133
|
+
file: f.path,
|
|
134
|
+
line: 1,
|
|
135
|
+
message: "no `### Requirement:` heading found — the file does not read as an OpenSpec spec",
|
|
136
|
+
});
|
|
137
|
+
continue;
|
|
138
|
+
}
|
|
139
|
+
for (const b of blocks) {
|
|
140
|
+
const req = toRequirement(m[1], f.path, b);
|
|
141
|
+
requirements.push(req);
|
|
142
|
+
byId.set(req.id, req);
|
|
143
|
+
}
|
|
144
|
+
}
|
|
145
|
+
const changes = new Map();
|
|
146
|
+
const changeFor = (archived, name) => {
|
|
147
|
+
const key = `${archived ? "archive/" : ""}${name}`;
|
|
148
|
+
let c = changes.get(key);
|
|
149
|
+
if (!c) {
|
|
150
|
+
const dir = `${ROOT}changes/${key}`;
|
|
151
|
+
c = { archived, name, deltas: [], tasks: null, tasksFile: `${dir}/tasks.md`, dir };
|
|
152
|
+
changes.set(key, c);
|
|
153
|
+
}
|
|
154
|
+
return c;
|
|
155
|
+
};
|
|
156
|
+
for (const f of files) {
|
|
157
|
+
const d = DELTA_SPEC.exec(f.path);
|
|
158
|
+
if (d) {
|
|
159
|
+
let blocks = requirementBlocks(f.source);
|
|
160
|
+
if (blocks.length > 0 && !blocks.some((b) => b.section)) {
|
|
161
|
+
// Before delta-based changes (OpenSpec, August 2025) a change carried
|
|
162
|
+
// the capability's whole future spec. Every requirement in it is what
|
|
163
|
+
// the change delivered — read as ADDED, not as an unreadable delta.
|
|
164
|
+
blocks = blocks.map((b) => ({ ...b, section: "ADDED" }));
|
|
165
|
+
}
|
|
166
|
+
else if (blocks.length === 0 &&
|
|
167
|
+
!d[1] &&
|
|
168
|
+
!/^##\s+(ADDED|MODIFIED|REMOVED|RENAMED)\b/im.test(f.source)) {
|
|
169
|
+
// Archived history older than OpenSpec's structured format (free-form
|
|
170
|
+
// "## Core Requirements" prose, 2025) has nothing to verify and is not
|
|
171
|
+
// the project's current state; only a change in flight is an error.
|
|
172
|
+
problems.push({
|
|
173
|
+
file: f.path,
|
|
174
|
+
line: 1,
|
|
175
|
+
message: "no `### Requirement:` and no `## ADDED|MODIFIED|REMOVED|RENAMED Requirements` section — the file does not read as an OpenSpec delta",
|
|
176
|
+
});
|
|
177
|
+
}
|
|
178
|
+
changeFor(Boolean(d[1]), d[2]).deltas.push({ capability: d[3], file: f.path, blocks });
|
|
179
|
+
continue;
|
|
180
|
+
}
|
|
181
|
+
const t = TASKS.exec(f.path);
|
|
182
|
+
if (t)
|
|
183
|
+
changeFor(Boolean(t[1]), t[2]).tasks = tasksIn(f.source);
|
|
184
|
+
}
|
|
185
|
+
const claims = [];
|
|
186
|
+
for (const c of [...changes.values()].sort((a, b) => a.dir.localeCompare(b.dir))) {
|
|
187
|
+
const allTicked = Boolean(c.tasks && c.tasks.length > 0 && c.tasks.every((t) => t.done));
|
|
188
|
+
if (!c.archived && !allTicked)
|
|
189
|
+
continue; // work in progress claims nothing
|
|
190
|
+
const criteria = new Set();
|
|
191
|
+
const unresolved = [];
|
|
192
|
+
let first = null;
|
|
193
|
+
for (const delta of c.deltas) {
|
|
194
|
+
for (const b of delta.blocks) {
|
|
195
|
+
if (b.section !== "ADDED" && b.section !== "MODIFIED")
|
|
196
|
+
continue;
|
|
197
|
+
first = first || { file: delta.file, line: b.line };
|
|
198
|
+
const id = `openspec:${delta.capability}/${(0, ForeignSpec_1.slug)(b.name)}`;
|
|
199
|
+
// Shipped: judged against the current spec. In flight: the delta is
|
|
200
|
+
// the only text there is.
|
|
201
|
+
const req = c.archived ? byId.get(id) : toRequirement(delta.capability, delta.file, b);
|
|
202
|
+
if (!req) {
|
|
203
|
+
unresolved.push({
|
|
204
|
+
ref: id,
|
|
205
|
+
why: `"${b.name}" is not in openspec/specs/${delta.capability}/spec.md — removed or renamed since`,
|
|
206
|
+
});
|
|
207
|
+
continue;
|
|
208
|
+
}
|
|
209
|
+
for (const k of req.criteria)
|
|
210
|
+
criteria.add(k.id);
|
|
211
|
+
}
|
|
212
|
+
}
|
|
213
|
+
claims.push({
|
|
214
|
+
label: `${c.archived ? "archived change" : "change, every task ticked"} ${c.name}`,
|
|
215
|
+
file: first ? first.file : c.tasksFile,
|
|
216
|
+
line: first ? first.line : 1,
|
|
217
|
+
finished: c.archived,
|
|
218
|
+
criteria: [...criteria],
|
|
219
|
+
unresolved,
|
|
220
|
+
datedBy: c.dir,
|
|
221
|
+
});
|
|
222
|
+
}
|
|
223
|
+
return { format: "openspec", requirements, claims, problems };
|
|
224
|
+
}
|
|
225
|
+
//# sourceMappingURL=OpenSpecReader.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"OpenSpecReader.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/OpenSpecReader.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;;AA0GH,8CAEC;AAED,oCAgHC;AA5ND,+CAQuB;AAEvB,MAAM,IAAI,GAAG,WAAW,CAAC;AACzB,6EAA6E;AAC7E,8EAA8E;AAC9E,yEAAyE;AACzE,MAAM,SAAS,GAAG,mCAAmC,CAAC;AACtD,MAAM,UAAU,GAAG,iEAAiE,CAAC;AACrF,MAAM,KAAK,GAAG,qDAAqD,CAAC;AAEpE,MAAM,WAAW,GAAG,iCAAiC,CAAC;AACtD,MAAM,QAAQ,GAAG,+BAA+B,CAAC;AACjD,MAAM,aAAa,GAAG,2CAA2C,CAAC;AAClE,MAAM,KAAK,GAAG,eAAe,CAAC;AAS9B,8EAA8E;AAC9E,SAAS,iBAAiB,CAAC,MAAc;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,GAAG,GAAuC,EAAE,CAAC;IACnD,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,GAAG,GAAyC,IAAI,CAAC;IACrD,IAAI,GAAG,GAAsC,IAAI,CAAC;IAClD,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACxB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,GAAG,CAAC,MAAM,CAAC;QACvC,IAAI,MAAM,EAAE,CAAC;YACX,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,GAAG,EAAE,CAAC;YACR,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YAC/B,GAAG,GAAG,IAAI,CAAC;YACX,GAAG,GAAG,IAAI,CAAC;YACX,OAAO;QACT,CAAC;QACD,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,EAAE,CAAC;YACN,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;YACpE,GAAG,GAAG,IAAI,CAAC;YACX,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACd,OAAO;QACT,CAAC;QACD,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;YACb,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;YAC5C,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,yDAAyD;QACzD,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,GAAG,GAAG,IAAI,CAAC;YACX,GAAG,GAAG,IAAI,CAAC;YACX,OAAO;QACT,CAAC;QACD,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,UAAkB,EAAE,IAAY,EAAE,KAAY;IACnE,MAAM,aAAa,GAAG,YAAY,UAAU,IAAI,IAAA,kBAAI,EAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IACnE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,QAAQ,GAAuB,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC7D,MAAM,IAAI,GAAG,IAAA,kBAAI,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClB,OAAO;YACL,EAAE,EAAE,GAAG,aAAa,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE;YACzD,aAAa;YACb,KAAK,EAAE,CAAC,CAAC,IAAI;YACb,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;YAC3C,IAAI;YACJ,IAAI,EAAE,CAAC,CAAC,IAAI;SACb,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC;AACpF,CAAC;AAED,iDAAiD;AACjD,SAAS,OAAO,CAAC,MAAc;IAC7B,OAAO,MAAM;SACV,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC;SACtB,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;SAC/C,MAAM,CAAC,CAAC,CAAC,EAAwB,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;SAC/C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,SAAgB,iBAAiB,CAAC,KAAwB;IACxD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAgB,YAAY,CAAC,KAA4B;IACvD,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,YAAY,GAAyB,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAA8B,CAAC;IAEnD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,kFAAkF;aAC5F,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAC3C,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAWD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,SAAS,GAAG,CAAC,QAAiB,EAAE,IAAY,EAAU,EAAE;QAC5D,MAAM,GAAG,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC;QACnD,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,GAAG,GAAG,GAAG,IAAI,WAAW,GAAG,EAAE,CAAC;YACpC,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,GAAG,WAAW,EAAE,GAAG,EAAE,CAAC;YACnF,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACtB,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC;YACN,IAAI,MAAM,GAAG,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACzC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxD,sEAAsE;gBACtE,sEAAsE;gBACtE,oEAAoE;gBACpE,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;YAC3D,CAAC;iBAAM,IACL,MAAM,CAAC,MAAM,KAAK,CAAC;gBACnB,CAAC,CAAC,CAAC,CAAC,CAAC;gBACL,CAAC,4CAA4C,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAC5D,CAAC;gBACD,sEAAsE;gBACtE,uEAAuE;gBACvE,oEAAoE;gBACpE,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,IAAI,EAAE,CAAC;oBACP,OAAO,EACL,qIAAqI;iBACxI,CAAC,CAAC;YACL,CAAC;YACD,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YACvF,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC;YAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACjF,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzF,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,SAAS;YAAE,SAAS,CAAC,kCAAkC;QAC3E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,UAAU,GAAwC,EAAE,CAAC;QAC3D,IAAI,KAAK,GAA0C,IAAI,CAAC;QACxD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAC7B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC7B,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU;oBAAE,SAAS;gBAChE,KAAK,GAAG,KAAK,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;gBACpD,MAAM,EAAE,GAAG,YAAY,KAAK,CAAC,UAAU,IAAI,IAAA,kBAAI,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1D,oEAAoE;gBACpE,0BAA0B;gBAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBACvF,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,UAAU,CAAC,IAAI,CAAC;wBACd,GAAG,EAAE,EAAE;wBACP,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,8BAA8B,KAAK,CAAC,UAAU,qCAAqC;qBACnG,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ;oBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QACD,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,2BAA2B,IAAI,CAAC,CAAC,IAAI,EAAE;YAClF,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;YACtC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5B,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC;YACvB,UAAU;YACV,OAAO,EAAE,CAAC,CAAC,GAAG;SACf,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAChE,CAAC"}
|
|
@@ -0,0 +1,113 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* Does what the other tool calls done have evidence behind it? (ADR-0030)
|
|
4
|
+
*
|
|
5
|
+
* The rules of `specgate verify`, over a `ForeignSpec` and the project's test
|
|
6
|
+
* sources. Pure: the caller reads files, runs the suite, consults git and the
|
|
7
|
+
* lock, and hands the facts in.
|
|
8
|
+
*
|
|
9
|
+
* | Code | Fails when | Gate or report |
|
|
10
|
+
* |---|---|---|
|
|
11
|
+
* | V1 | a finished claim covers a criterion no test names | gate |
|
|
12
|
+
* | V2 | the test command fails (decided by the caller) | gate |
|
|
13
|
+
* | V3 | a claimed criterion's text changed since it was verified | gate |
|
|
14
|
+
* | V4 | a claim refers to something the spec does not have | gate for a claim the tool cannot have meant; report when the spec moved on |
|
|
15
|
+
* | V5 | a spec file does not read as its format | gate |
|
|
16
|
+
* | V6 | a test names an id that does not exist | report |
|
|
17
|
+
* | V7 | criteria no claim covers and no test names | report |
|
|
18
|
+
*
|
|
19
|
+
* A claim is gated when it is finished and, under `--since`, new. An
|
|
20
|
+
* unfinished claim, or one older than `--since`, is reported: adopting the
|
|
21
|
+
* check never turns a project red for work done before it (ADR-0023).
|
|
22
|
+
*/
|
|
23
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
24
|
+
exports.verifyClaims = verifyClaims;
|
|
25
|
+
const Diagnostic_1 = require("./Diagnostic");
|
|
26
|
+
const ForeignSpec_1 = require("./ForeignSpec");
|
|
27
|
+
function verifyClaims(facts) {
|
|
28
|
+
const { spec, tests } = facts;
|
|
29
|
+
const status = [];
|
|
30
|
+
for (const p of spec.problems) {
|
|
31
|
+
status.push((0, Diagnostic_1.error)("V5_unreadable", `${p.file}:${p.line} — ${p.message}`, {
|
|
32
|
+
file: p.file,
|
|
33
|
+
line: p.line,
|
|
34
|
+
fix: "Fix the file so its own tool reads it, or tell `verify` which format it is with `--from`.",
|
|
35
|
+
}));
|
|
36
|
+
}
|
|
37
|
+
const criteria = new Map(spec.requirements.flatMap((r) => r.criteria.map((c) => [c.id, c])));
|
|
38
|
+
const testsNaming = (id) => tests.filter((t) => (0, ForeignSpec_1.namesId)(t.source, id)).map((t) => t.path);
|
|
39
|
+
const claims = [];
|
|
40
|
+
const proved = new Set();
|
|
41
|
+
for (const claim of spec.claims) {
|
|
42
|
+
const fresh = !facts.freshClaims || facts.freshClaims.has(claim.datedBy);
|
|
43
|
+
const gated = claim.finished && fresh;
|
|
44
|
+
const results = claim.criteria.map((id) => ({ id, tests: testsNaming(id) }));
|
|
45
|
+
claims.push({ label: claim.label, file: claim.file, gated, criteria: results });
|
|
46
|
+
const where = { file: claim.file, line: claim.line };
|
|
47
|
+
for (const r of results) {
|
|
48
|
+
if (r.tests.length === 0) {
|
|
49
|
+
const message = `${claim.label} claims ${r.id}, and no test names it.`;
|
|
50
|
+
status.push(gated
|
|
51
|
+
? (0, Diagnostic_1.error)("V1_unproved_claim", message, {
|
|
52
|
+
...where,
|
|
53
|
+
target: r.id,
|
|
54
|
+
fix: `Write a test that proves it and names \`${r.id}\` — a comment is enough.`,
|
|
55
|
+
})
|
|
56
|
+
: (0, Diagnostic_1.info)("V1_unproved_claim", `${message} (not gated: ${claim.finished ? "before --since" : "not finished"})`, {
|
|
57
|
+
...where,
|
|
58
|
+
target: r.id,
|
|
59
|
+
}));
|
|
60
|
+
continue;
|
|
61
|
+
}
|
|
62
|
+
const criterion = criteria.get(r.id);
|
|
63
|
+
const recorded = facts.lock && facts.lock.get(r.id);
|
|
64
|
+
if (gated && criterion && recorded && facts.hash && facts.hash(criterion.text) !== recorded) {
|
|
65
|
+
status.push((0, Diagnostic_1.error)("V3_criterion_changed", `${r.id} changed after it was verified; its tests prove the old text.`, {
|
|
66
|
+
file: criterion.file,
|
|
67
|
+
line: criterion.line,
|
|
68
|
+
target: r.id,
|
|
69
|
+
fix: "Check the tests against the new text, then record it again with `specgate verify --record`.",
|
|
70
|
+
}));
|
|
71
|
+
continue;
|
|
72
|
+
}
|
|
73
|
+
if (gated)
|
|
74
|
+
proved.add(r.id);
|
|
75
|
+
}
|
|
76
|
+
for (const u of claim.unresolved) {
|
|
77
|
+
const message = `${claim.label} refers to ${u.ref}: ${u.why}.`;
|
|
78
|
+
status.push(gated && facts.strictReferences
|
|
79
|
+
? (0, Diagnostic_1.error)("V4_unknown_reference", message, { ...where, target: u.ref })
|
|
80
|
+
: (0, Diagnostic_1.warning)("V4_unknown_reference", message, { ...where, target: u.ref }));
|
|
81
|
+
}
|
|
82
|
+
}
|
|
83
|
+
// Orphans: a test naming an id of this format that does not exist.
|
|
84
|
+
const prefix = `${spec.format === "spec-kit" ? "speckit" : spec.format}:`;
|
|
85
|
+
const known = new Set([...criteria.keys(), ...spec.requirements.map((r) => r.id)]);
|
|
86
|
+
for (const c of spec.claims)
|
|
87
|
+
c.criteria.forEach((id) => known.add(id));
|
|
88
|
+
for (const t of tests) {
|
|
89
|
+
for (const id of (0, ForeignSpec_1.idsNamedIn)(t.source)) {
|
|
90
|
+
if (id.startsWith(prefix) && !known.has(id)) {
|
|
91
|
+
status.push((0, Diagnostic_1.warning)("V6_orphan_name", `${t.path} names ${id}, which the specification does not have.`, {
|
|
92
|
+
file: t.path,
|
|
93
|
+
target: id,
|
|
94
|
+
fix: "Renamed or removed in the spec? Update the test to the current id (`specgate verify --ids`).",
|
|
95
|
+
}));
|
|
96
|
+
}
|
|
97
|
+
}
|
|
98
|
+
}
|
|
99
|
+
const named = [...criteria.keys()].filter((id) => testsNaming(id).length > 0).length;
|
|
100
|
+
const claimed = new Set(spec.claims.flatMap((c) => c.criteria));
|
|
101
|
+
const loose = [...criteria.keys()].filter((id) => !claimed.has(id) && testsNaming(id).length === 0);
|
|
102
|
+
if (loose.length > 0) {
|
|
103
|
+
status.push((0, Diagnostic_1.info)("V7_unclaimed_coverage", `${loose.length} of ${criteria.size} criteria are neither claimed done nor named by a test.`));
|
|
104
|
+
}
|
|
105
|
+
return {
|
|
106
|
+
format: spec.format,
|
|
107
|
+
claims,
|
|
108
|
+
coverage: { named, total: criteria.size },
|
|
109
|
+
proved: [...proved],
|
|
110
|
+
status,
|
|
111
|
+
};
|
|
112
|
+
}
|
|
113
|
+
//# sourceMappingURL=VerifyClaims.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"VerifyClaims.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/VerifyClaims.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;;AAmCH,oCAuHC;AAvJD,6CAAoD;AACpD,+CAAuF;AA+BvF,SAAgB,YAAY,CAAC,KAAkB;IAC7C,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC9B,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CACT,IAAA,kBAAK,EAAC,eAAe,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE;YAC3D,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,GAAG,EAAE,2FAA2F;SACjG,CAAC,CACH,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,MAAM,WAAW,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,qBAAO,EAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAElG,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACzE,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC;QACtC,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QAEhF,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;QACrD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,OAAO,GAAG,GAAG,KAAK,CAAC,KAAK,WAAW,CAAC,CAAC,EAAE,yBAAyB,CAAC;gBACvE,MAAM,CAAC,IAAI,CACT,KAAK;oBACH,CAAC,CAAC,IAAA,kBAAK,EAAC,mBAAmB,EAAE,OAAO,EAAE;wBAClC,GAAG,KAAK;wBACR,MAAM,EAAE,CAAC,CAAC,EAAE;wBACZ,GAAG,EAAE,2CAA2C,CAAC,CAAC,EAAE,2BAA2B;qBAChF,CAAC;oBACJ,CAAC,CAAC,IAAA,iBAAI,EACF,mBAAmB,EACnB,GAAG,OAAO,gBAAgB,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc,GAAG,EAC/E;wBACE,GAAG,KAAK;wBACR,MAAM,EAAE,CAAC,CAAC,EAAE;qBACb,CACF,CACN,CAAC;gBACF,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACpD,IAAI,KAAK,IAAI,SAAS,IAAI,QAAQ,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC5F,MAAM,CAAC,IAAI,CACT,IAAA,kBAAK,EACH,sBAAsB,EACtB,GAAG,CAAC,CAAC,EAAE,+DAA+D,EACtE;oBACE,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,MAAM,EAAE,CAAC,CAAC,EAAE;oBACZ,GAAG,EAAE,6FAA6F;iBACnG,CACF,CACF,CAAC;gBACF,SAAS;YACX,CAAC;YACD,IAAI,KAAK;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9B,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,GAAG,KAAK,CAAC,KAAK,cAAc,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC;YAC/D,MAAM,CAAC,IAAI,CACT,KAAK,IAAI,KAAK,CAAC,gBAAgB;gBAC7B,CAAC,CAAC,IAAA,kBAAK,EAAC,sBAAsB,EAAE,OAAO,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;gBACrE,CAAC,CAAC,IAAA,oBAAO,EAAC,sBAAsB,EAAE,OAAO,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAC1E,CAAC;QACJ,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;IAC1E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;QAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,EAAE,IAAI,IAAA,wBAAU,EAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC5C,MAAM,CAAC,IAAI,CACT,IAAA,oBAAO,EACL,gBAAgB,EAChB,GAAG,CAAC,CAAC,IAAI,UAAU,EAAE,0CAA0C,EAC/D;oBACE,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,MAAM,EAAE,EAAE;oBACV,GAAG,EAAE,8FAA8F;iBACpG,CACF,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;IACrF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CACvC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,CACzD,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,CAAC,IAAI,CACT,IAAA,iBAAI,EACF,uBAAuB,EACvB,GAAG,KAAK,CAAC,MAAM,OAAO,QAAQ,CAAC,IAAI,yDAAyD,CAC7F,CACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,MAAM;QACN,QAAQ,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE;QACzC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC;QACnB,MAAM;KACP,CAAC;AACJ,CAAC"}
|
|
@@ -49,7 +49,10 @@ exports.STEPS = [
|
|
|
49
49
|
],
|
|
50
50
|
},
|
|
51
51
|
{
|
|
52
|
-
|
|
52
|
+
// Was `verify` until 0.15, when `specgate verify` became the OpenSpec
|
|
53
|
+
// check (ADR-0030); the slash command takes the name of what it runs.
|
|
54
|
+
// `specgate update` moves files generated under the old name.
|
|
55
|
+
name: "check",
|
|
53
56
|
summary: "Run the gate: specs, links, coverage and the project's tests.",
|
|
54
57
|
when: "After every change, and before saying the work is done.",
|
|
55
58
|
run: ["specgate check --json"],
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"commands.js","sourceRoot":"","sources":["../../../scripts/agents/commands.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AAEU,QAAA,KAAK,GAAG;IACnB;QACE,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,oDAAoD;QAC7D,IAAI,EAAE,2CAA2C;QACjD,GAAG,EAAE,CAAC,wBAAwB,CAAC;QAC/B,QAAQ,EAAE;YACR,kFAAkF;YAClF,uFAAuF;YACvF,wEAAwE;SACzE;KACF;IACD;QACE,IAAI,EAAE,KAAK;QACX,OAAO,EAAE,sEAAsE;QAC/E,IAAI,EAAE,+DAA+D;QACrE,GAAG,EAAE,CAAC,iDAAiD,CAAC;QACxD,QAAQ,EAAE;YACR,gHAAgH;YAChH,qJAAqJ;YACrJ,0CAA0C;SAC3C;KACF;IACD;QACE,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,2DAA2D;QACpE,IAAI,EAAE,8DAA8D;QACpE,GAAG,EAAE,CAAC,wBAAwB,EAAE,2CAA2C,CAAC;QAC5E,QAAQ,EAAE;YACR,oDAAoD;YACpD,6JAA6J;YAC7J,4FAA4F;YAC5F,6DAA6D;SAC9D;KACF;IACD;QACE,IAAI,EAAE,
|
|
1
|
+
{"version":3,"file":"commands.js","sourceRoot":"","sources":["../../../scripts/agents/commands.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AAEU,QAAA,KAAK,GAAG;IACnB;QACE,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,oDAAoD;QAC7D,IAAI,EAAE,2CAA2C;QACjD,GAAG,EAAE,CAAC,wBAAwB,CAAC;QAC/B,QAAQ,EAAE;YACR,kFAAkF;YAClF,uFAAuF;YACvF,wEAAwE;SACzE;KACF;IACD;QACE,IAAI,EAAE,KAAK;QACX,OAAO,EAAE,sEAAsE;QAC/E,IAAI,EAAE,+DAA+D;QACrE,GAAG,EAAE,CAAC,iDAAiD,CAAC;QACxD,QAAQ,EAAE;YACR,gHAAgH;YAChH,qJAAqJ;YACrJ,0CAA0C;SAC3C;KACF;IACD;QACE,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,2DAA2D;QACpE,IAAI,EAAE,8DAA8D;QACpE,GAAG,EAAE,CAAC,wBAAwB,EAAE,2CAA2C,CAAC;QAC5E,QAAQ,EAAE;YACR,oDAAoD;YACpD,6JAA6J;YAC7J,4FAA4F;YAC5F,6DAA6D;SAC9D;KACF;IACD;QACE,sEAAsE;QACtE,sEAAsE;QACtE,8DAA8D;QAC9D,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,+DAA+D;QACxE,IAAI,EAAE,yDAAyD;QAC/D,GAAG,EAAE,CAAC,uBAAuB,CAAC;QAC9B,QAAQ,EAAE;YACR,kEAAkE;YAClE,kFAAkF;YAClF,yFAAyF;SAC1F;KACF;IACD;QACE,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,uCAAuC;QAChD,IAAI,EAAE,+DAA+D;QACrE,GAAG,EAAE,CAAC,yCAAyC,CAAC;QAChD,QAAQ,EAAE;YACR,2GAA2G;YAC3G,0EAA0E;SAC3E;KACF;IACD;QACE,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,mEAAmE;QAC5E,IAAI,EAAE,qFAAqF;QAC3F,GAAG,EAAE;YACH,iCAAiC;YACjC,8CAA8C;YAC9C,2CAA2C;SAC5C;QACD,QAAQ,EAAE;YACR,4JAA4J;YAC5J,iEAAiE;YACjE,mIAAmI;SACpI;KACF;IACD;QACE,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,8CAA8C;QACvD,IAAI,EAAE,sDAAsD;QAC5D,GAAG,EAAE;YACH,6CAA6C;YAC7C,+CAA+C;YAC/C,4CAA4C;SAC7C;QACD,QAAQ,EAAE;YACR,oEAAoE;YACpE,+FAA+F;SAChG;KACF;IACD;QACE,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,gEAAgE;QACzE,IAAI,EAAE,2CAA2C;QACjD,GAAG,EAAE,CAAC,eAAe,EAAE,uBAAuB,CAAC;QAC/C,QAAQ,EAAE;YACR,yGAAyG;YACzG,4GAA4G;SAC7G;KACF;CACF,CAAC;AAEF,0EAA0E;AAC7D,QAAA,aAAa,GAAG;IAC3B,qHAAqH;IACrH,kKAAkK;IAClK,2GAA2G;IAC3G,iFAAiF;IACjF,2HAA2H;CAC5H,CAAC"}
|
|
@@ -44,7 +44,7 @@ var __importStar = (this && this.__importStar) || (function () {
|
|
|
44
44
|
};
|
|
45
45
|
})();
|
|
46
46
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
47
|
-
exports.DEFAULT_TOOLS = exports.ALL_TOOLS = exports.TOOLS = exports.AGENT_NAMESPACE = void 0;
|
|
47
|
+
exports.DEFAULT_TOOLS = exports.RENAMED_COMMANDS = exports.ALL_TOOLS = exports.TOOLS = exports.AGENT_NAMESPACE = void 0;
|
|
48
48
|
exports.slashCommandBody = slashCommandBody;
|
|
49
49
|
exports.instructionsBody = instructionsBody;
|
|
50
50
|
exports.mcpServerConfig = mcpServerConfig;
|
|
@@ -378,10 +378,25 @@ function renamedPaths() {
|
|
|
378
378
|
seen.add(old);
|
|
379
379
|
pairs.push([old, file.path]);
|
|
380
380
|
}
|
|
381
|
+
// A slash command renamed since: its file moves too, from either
|
|
382
|
+
// namespace — `csda/verify.md` and `specgate/verify.md` → `specgate/check.md`.
|
|
383
|
+
for (const [was, now] of exports.RENAMED_COMMANDS) {
|
|
384
|
+
if (parts[parts.length - 1] !== `${now}.md`)
|
|
385
|
+
continue;
|
|
386
|
+
for (const base of [file.path, old]) {
|
|
387
|
+
const before = path.join(path.dirname(base), `${was}.md`);
|
|
388
|
+
if (!seen.has(before)) {
|
|
389
|
+
seen.add(before);
|
|
390
|
+
pairs.push([before, file.path]);
|
|
391
|
+
}
|
|
392
|
+
}
|
|
393
|
+
}
|
|
381
394
|
}
|
|
382
395
|
}
|
|
383
396
|
return pairs;
|
|
384
397
|
}
|
|
398
|
+
/** Slash commands renamed after they shipped: [old name, new name]. */
|
|
399
|
+
exports.RENAMED_COMMANDS = [["verify", "check"]];
|
|
385
400
|
/** What `--tool` defaults to: everything that belongs inside a project. */
|
|
386
401
|
exports.DEFAULT_TOOLS = exports.ALL_TOOLS.filter((t) => !exports.TOOLS[t].optIn);
|
|
387
402
|
function usage() {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"init.js","sourceRoot":"","sources":["../../../scripts/agents/init.ts"],"names":[],"mappings":";;AACA;;;;;;;;;GASG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BH,4CA0BC;AAED,4CA+BC;AA6ID,0CAMC;AAiGD,oCAsBC;AA6BD,8BAuBC;AAED,oBAgHC;AAxgBD,4CAA8B;AAC9B,gDAAkC;AAElC,sDAAwD;AACxD,oDAAkE;AAClE,wCAAwD;AACxD,yCAAkD;AAElD,MAAM,KAAK,GACT,OAAO,CAAC,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC;AAC5F,MAAM,CAAC,GAAG;IACR,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;IAC7B,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;IAC5B,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;IAC3B,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;IAC9B,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;CAC9B,CAAC;AAEF;;;;;GAKG;AACU,QAAA,eAAe,GAAG,UAAU,CAAC;AAC1C,MAAM,aAAa,GAAG,MAAM,CAAC;AAE7B,iFAAiF;AAEjF,SAAgB,gBAAgB,CAAC,IAAI;IACnC,OAAO;QACL,KAAK;QACL,gBAAgB,IAAI,CAAC,OAAO,EAAE;QAC9B,KAAK;QACL,EAAE;QACF,MAAM,uBAAe,IAAI,IAAI,CAAC,IAAI,EAAE;QACpC,EAAE;QACF,IAAI,CAAC,OAAO;QACZ,EAAE;QACF,iBAAiB,IAAI,CAAC,IAAI,EAAE;QAC5B,EAAE;QACF,QAAQ;QACR,EAAE;QACF,SAAS;QACT,GAAG,IAAI,CAAC,GAAG;QACX,KAAK;QACL,EAAE;QACF,aAAa;QACb,EAAE;QACF,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,EAAE;QACF,uFAAuF;QACvF,oFAAoF;QACpF,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAgB,gBAAgB,CAAC,KAAK;IACpC,OAAO;QACL,KAAK,KAAK,EAAE;QACZ,EAAE;QACF,uEAAuE;QACvE,uFAAuF;QACvF,EAAE;QACF,oBAAoB;QACpB,EAAE;QACF,GAAG,wBAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,EAAE;QACF,aAAa;QACb,EAAE;QACF,GAAG,gBAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACtB,OAAO,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,EAAE;YAC9B,EAAE;YACF,aAAa,CAAC,CAAC,IAAI,EAAE;YACrB,EAAE;YACF,SAAS;YACT,GAAG,CAAC,CAAC,GAAG;YACR,KAAK;YACL,EAAE;SACH,CAAC;QACF,yBAAyB;QACzB,EAAE;QACF,yHAAyH;QACzH,gFAAgF;QAChF,6EAA6E;QAC7E,0BAA0B;QAC1B,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,cAAc;IACrB,OAAO;QACL,KAAK;QACL,gEAAgE;QAChE,mBAAmB;QACnB,KAAK;QACL,EAAE;QACF,GAAG,wBAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,EAAE;QACF,sFAAsF;QACtF,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,2DAA2D;AAC3D,SAAS,UAAU;IACjB,IAAI,CAAC;QACH,2EAA2E;QAC3E,uEAAuE;QACvE,OAAO,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC;IAC/F,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,OAAO,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,iBAAiB,CAAC,OAAe;IACxC,MAAM,QAAQ,GAAG;QACf,IAAI,EAAE,uBAAe;QACrB,WAAW,EAAE,yBAAyB;QACtC,WAAW,EACT,qFAAqF;YACrF,8DAA8D;QAChE,OAAO;QACP,OAAO,EAAE,KAAK;QACd,QAAQ,EAAE,CAAC,yBAAyB,EAAE,KAAK,EAAE,SAAS,EAAE,cAAc,CAAC;QACvE,QAAQ,EAAE,2CAA2C;KACtD,CAAC;IAEF,MAAM,KAAK,GAAG;QACZ,KAAK,EAAE;YACL,IAAI,EAAE;gBACJ;oBACE,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,SAAS;4BACf,OAAO,EAAE,oDAAoD;yBAC9D;qBACF;iBACF;aACF;SACF;KACF,CAAC;IAEF,MAAM,GAAG,GAAG,eAAe,EAAE,CAAC;IAE9B,OAAO;QACL,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,aAAa,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;QAC9E,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE;QACjE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE;QAC1C,GAAG,gBAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,uBAAe,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC;YAC5D,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC;SAC9B,CAAC,CAAC;QACH,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,EAAE;QAC1E,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE;KAChD,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,cAAc;IACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;IACzE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,+BAA+B,QAAQ,gBAAgB;YACrD,wDAAwD,CAC3D,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AAE/E,SAAS,YAAY;IACnB,OAAO;QACL,KAAK,uBAAe,uBAAuB;QAC3C,EAAE;QACF,gFAAgF;QAChF,sEAAsE;QACtE,+CAA+C;QAC/C,EAAE;QACF,iBAAiB;QACjB,EAAE;QACF,OAAO,gBAAK,CAAC,MAAM,uBAAuB,gBAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,uBAAe,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAC7G,sEAAsE;QACtE,gEAAgE;QAChE,8EAA8E;QAC9E,kEAAkE;QAClE,EAAE;QACF,2CAA2C;QAC3C,EAAE;QACF,4EAA4E;QAC5E,8EAA8E;QAC9E,yEAAyE;QACzE,+EAA+E;QAC/E,+BAA+B;QAC/B,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,eAAe;IAC7B,OAAO;QACL,UAAU,EAAE;YACV,aAAa,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,yBAAyB,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE;SAC3F;KACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACU,QAAA,KAAK,GAAG;IACnB,MAAM,EAAE;QACN,KAAK,EAAE,aAAa;QACpB,KAAK,EAAE,GAAG,EAAE,CAAC;YACX,GAAG,gBAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACnB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,uBAAe,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC;gBACvE,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC;aAC9B,CAAC,CAAC;YACH,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,CAAC,oBAAoB,CAAC,EAAE;SACxE;KACF;IACD,eAAe,EAAE;QACf,KAAK,EAAE,oBAAoB;QAC3B,wEAAwE;QACxE,6CAA6C;QAC7C,KAAK,EAAE,IAAI;QACX,KAAK,EAAE,GAAG,EAAE,CAAC,iBAAiB,CAAC,UAAU,EAAE,CAAC;KAC7C;IACD,MAAM,EAAE;QACN,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,GAAG,EAAE,CAAC;YACX,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,uBAAe,MAAM,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,EAAE;SAC9F;KACF;IACD,OAAO,EAAE;QACP,KAAK,EAAE,gBAAgB;QACvB,KAAK,EAAE,GAAG,EAAE,CAAC;YACX;gBACE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,yBAAyB,CAAC;gBACrD,QAAQ,EAAE,gBAAgB,CAAC,sBAAsB,CAAC;aACnD;SACF;KACF;IACD,QAAQ,EAAE;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,GAAG,EAAE,CAAC;YACX;gBACE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,GAAG,uBAAe,KAAK,CAAC;gBAC9D,QAAQ,EAAE,cAAc,EAAE;aAC3B;SACF;KACF;IACD,KAAK,EAAE;QACL,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,gBAAgB,CAAC,aAAa,CAAC,EAAE,CAAC;KACrF;IACD,MAAM,EAAE;QACN,KAAK,EAAE,YAAY;QACnB,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,CAAC,oBAAoB,CAAC,EAAE,CAAC;KACvF;IACD,KAAK,EAAE;QACL,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,GAAG,EAAE,CAAC;YACX,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,uBAAe,KAAK,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,EAAE;SACxF;KACF;IACD,KAAK,EAAE;QACL,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,CAAC,oBAAoB,CAAC,EAAE,CAAC;KACvF;IACD,WAAW,EAAE;QACX,KAAK,EAAE,aAAa;QACpB,4EAA4E;QAC5E,yEAAyE;QACzE,EAAE;QACF,2EAA2E;QAC3E,yEAAyE;QACzE,0EAA0E;QAC1E,qEAAqE;QACrE,4EAA4E;QAC5E,qBAAqB;QACrB,EAAE;QACF,yEAAyE;QACzE,gEAAgE;QAChE,2DAA2D;QAC3D,KAAK,EAAE,GAAG,EAAE,CAAC;YACX,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,uBAAe,KAAK,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,EAAE;YAC5F,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,iBAAiB,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC,EAAE;SACrF;KACF;CACF,CAAC;AAEW,QAAA,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,aAAK,CAAC,CAAC;AAE5C;;;;;GAKG;AACH,SAAgB,YAAY;IAC1B,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,iBAAS,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,aAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxC,MAAM,GAAG,GAAG,KAAK;iBACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,KAAK,uBAAe;gBACnB,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,uBAAe,GAAG,CAAC;oBACnC,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,uBAAe,CAAC,MAAM,CAAC;oBACjD,CAAC,CAAC,CAAC,CACR;iBACA,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClB,IAAI,GAAG,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAC9D,QAAA,aAAa,GAAG,iBAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAatE,SAAS,KAAK;IACZ,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,iBAAiB,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,wCAAwC,CAAC,CAAC,KAAK,MAAM;QAC3G,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,KAAK,IAAI;QAC9B,qGAAqG;QACrG,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,KAAK,IAAI;QAC9B,OAAO,iBAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,qCAAqC,CAAC,CAAC,KAAK,MAAM;QACrF,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,KAAK,IAAI;QAC9B,OAAO,CAAC,CAAC,GAAG,wDAAwD,CAAC,CAAC,KAAK,IAAI;QAC/E,OAAO,CAAC,CAAC,GAAG,6DAA6D,CAAC,CAAC,KAAK,MAAM,CACzF,CAAC;AACJ,CAAC;AAED,SAAgB,SAAS,CAAC,IAAI;IAC5B,MAAM,IAAI,GAAsB;QAC9B,KAAK,EAAE,qBAAa;QACpB,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,KAAK;QACb,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,KAAK;KACZ,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAClC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;iBACnB,KAAK,CAAC,GAAG,CAAC;iBACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;iBAClC,MAAM,CAAC,OAAO,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,CAAC,KAAK,eAAe,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAAE,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;aACxE,IAAI,CAAC,KAAK,WAAW;YAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;aAC1C,IAAI,CAAC,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;aACvC,IAAI,CAAC,KAAK,QAAQ;YAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;aACrC,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;YAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;aACnD,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAgB,IAAI,CAAC,IAAI;IACvB,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,EAAE,GAAG,IAAA,eAAO,EAAC,IAAI,CAAC,IAAI,IAAI,IAAA,iBAAS,EAAC,IAAI,CAAC,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAEpC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,KAAK,EAAE,CAAC;QACR,OAAO,CAAC,IAAI,CAAC,YAAI,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE;YACnB,IAAA,mBAAK,EAAC,cAAc,EAAE,iBAAiB,IAAI,CAAC,OAAO,EAAE,EAAE;gBACrD,MAAM,EAAE,IAAI,CAAC,OAAO;gBACpB,GAAG,EAAE,2DAA2D;aACjE,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE;YACnB,IAAA,mBAAK,EAAC,cAAc,EAAE,oBAAoB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE;gBAClE,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC;gBAC7B,GAAG,EAAE,cAAc,iBAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;aAC3C,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAED,IAAI,UAAU,CAAC;IACf,IAAI,CAAC;QACH,UAAU,GAAG,IAAA,gCAAiB,EAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE;YACnB,IAAA,mBAAK,EAAC,mBAAmB,EAAE,IAAA,0BAAY,EAAC,GAAG,CAAC,EAAE;gBAC5C,GAAG,EAAE,+DAA+D;aACrE,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,EAAE,CAAC;IACnB,MAAM,OAAO,GAAG,EAAE,CAAC;IACnB,MAAM,WAAW,GAAG,EAAE,CAAC;IAEvB,6EAA6E;IAC7E,2EAA2E;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,aAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,KAAK;gBAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;gBAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,CAAC;QACC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAErC,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC1B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC1D,WAAW,CAAC,IAAI,CACd,IAAA,qBAAO,EAAC,mBAAmB,EAAE,GAAG,IAAI,CAAC,IAAI,mCAAmC,EAAE;oBAC5E,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,GAAG,EAAE,uEAAuE;iBAC7E,CAAC,CACH,CAAC;gBACF,SAAS;YACX,CAAC;YAED,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACjB,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBACxD,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,EAAE,CAAC,IAAI,CACL;QACE,MAAM,EAAE;YACN,UAAU;YACV,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,OAAO;YACP,OAAO;SACR;QACD,MAAM,EAAE,WAAW;KACpB,EACD,GAAG,EAAE;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;QACnD,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,OAAO,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,MAAM,CACtF,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAC1F,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,qBAAqB,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAChF,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,OAAO,CAAC,CAAC,GAAG,+CAA+C,CAAC,CAAC,KAAK,IAAI,CACvE,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,OAAO,CAAC,CAAC,GAAG,iCAAiC,CAAC,CAAC,KAAK,IAAI,uBAAe,WAAW,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,KAAK,MAAM,CAC7H,CAAC;IACJ,CAAC,CACF,CAAC;IACF,OAAO,CAAC,IAAI,CAAC,YAAI,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;IAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"init.js","sourceRoot":"","sources":["../../../scripts/agents/init.ts"],"names":[],"mappings":";;AACA;;;;;;;;;GASG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BH,4CA0BC;AAED,4CA+BC;AA6ID,0CAMC;AAiGD,oCAkCC;AAgCD,8BAuBC;AAED,oBAgHC;AAvhBD,4CAA8B;AAC9B,gDAAkC;AAElC,sDAAwD;AACxD,oDAAkE;AAClE,wCAAwD;AACxD,yCAAkD;AAElD,MAAM,KAAK,GACT,OAAO,CAAC,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC;AAC5F,MAAM,CAAC,GAAG;IACR,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;IAC7B,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;IAC5B,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;IAC3B,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;IAC9B,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;CAC9B,CAAC;AAEF;;;;;GAKG;AACU,QAAA,eAAe,GAAG,UAAU,CAAC;AAC1C,MAAM,aAAa,GAAG,MAAM,CAAC;AAE7B,iFAAiF;AAEjF,SAAgB,gBAAgB,CAAC,IAAI;IACnC,OAAO;QACL,KAAK;QACL,gBAAgB,IAAI,CAAC,OAAO,EAAE;QAC9B,KAAK;QACL,EAAE;QACF,MAAM,uBAAe,IAAI,IAAI,CAAC,IAAI,EAAE;QACpC,EAAE;QACF,IAAI,CAAC,OAAO;QACZ,EAAE;QACF,iBAAiB,IAAI,CAAC,IAAI,EAAE;QAC5B,EAAE;QACF,QAAQ;QACR,EAAE;QACF,SAAS;QACT,GAAG,IAAI,CAAC,GAAG;QACX,KAAK;QACL,EAAE;QACF,aAAa;QACb,EAAE;QACF,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,EAAE;QACF,uFAAuF;QACvF,oFAAoF;QACpF,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAgB,gBAAgB,CAAC,KAAK;IACpC,OAAO;QACL,KAAK,KAAK,EAAE;QACZ,EAAE;QACF,uEAAuE;QACvE,uFAAuF;QACvF,EAAE;QACF,oBAAoB;QACpB,EAAE;QACF,GAAG,wBAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,EAAE;QACF,aAAa;QACb,EAAE;QACF,GAAG,gBAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACtB,OAAO,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,EAAE;YAC9B,EAAE;YACF,aAAa,CAAC,CAAC,IAAI,EAAE;YACrB,EAAE;YACF,SAAS;YACT,GAAG,CAAC,CAAC,GAAG;YACR,KAAK;YACL,EAAE;SACH,CAAC;QACF,yBAAyB;QACzB,EAAE;QACF,yHAAyH;QACzH,gFAAgF;QAChF,6EAA6E;QAC7E,0BAA0B;QAC1B,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,cAAc;IACrB,OAAO;QACL,KAAK;QACL,gEAAgE;QAChE,mBAAmB;QACnB,KAAK;QACL,EAAE;QACF,GAAG,wBAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,EAAE;QACF,sFAAsF;QACtF,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,2DAA2D;AAC3D,SAAS,UAAU;IACjB,IAAI,CAAC;QACH,2EAA2E;QAC3E,uEAAuE;QACvE,OAAO,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC;IAC/F,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,OAAO,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,iBAAiB,CAAC,OAAe;IACxC,MAAM,QAAQ,GAAG;QACf,IAAI,EAAE,uBAAe;QACrB,WAAW,EAAE,yBAAyB;QACtC,WAAW,EACT,qFAAqF;YACrF,8DAA8D;QAChE,OAAO;QACP,OAAO,EAAE,KAAK;QACd,QAAQ,EAAE,CAAC,yBAAyB,EAAE,KAAK,EAAE,SAAS,EAAE,cAAc,CAAC;QACvE,QAAQ,EAAE,2CAA2C;KACtD,CAAC;IAEF,MAAM,KAAK,GAAG;QACZ,KAAK,EAAE;YACL,IAAI,EAAE;gBACJ;oBACE,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,SAAS;4BACf,OAAO,EAAE,oDAAoD;yBAC9D;qBACF;iBACF;aACF;SACF;KACF,CAAC;IAEF,MAAM,GAAG,GAAG,eAAe,EAAE,CAAC;IAE9B,OAAO;QACL,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,aAAa,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;QAC9E,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE;QACjE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE;QAC1C,GAAG,gBAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,uBAAe,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC;YAC5D,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC;SAC9B,CAAC,CAAC;QACH,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,EAAE;QAC1E,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE;KAChD,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,cAAc;IACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;IACzE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,+BAA+B,QAAQ,gBAAgB;YACrD,wDAAwD,CAC3D,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AAE/E,SAAS,YAAY;IACnB,OAAO;QACL,KAAK,uBAAe,uBAAuB;QAC3C,EAAE;QACF,gFAAgF;QAChF,sEAAsE;QACtE,+CAA+C;QAC/C,EAAE;QACF,iBAAiB;QACjB,EAAE;QACF,OAAO,gBAAK,CAAC,MAAM,uBAAuB,gBAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,uBAAe,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAC7G,sEAAsE;QACtE,gEAAgE;QAChE,8EAA8E;QAC9E,kEAAkE;QAClE,EAAE;QACF,2CAA2C;QAC3C,EAAE;QACF,4EAA4E;QAC5E,8EAA8E;QAC9E,yEAAyE;QACzE,+EAA+E;QAC/E,+BAA+B;QAC/B,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,eAAe;IAC7B,OAAO;QACL,UAAU,EAAE;YACV,aAAa,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,yBAAyB,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE;SAC3F;KACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACU,QAAA,KAAK,GAAG;IACnB,MAAM,EAAE;QACN,KAAK,EAAE,aAAa;QACpB,KAAK,EAAE,GAAG,EAAE,CAAC;YACX,GAAG,gBAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACnB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,uBAAe,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC;gBACvE,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC;aAC9B,CAAC,CAAC;YACH,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,CAAC,oBAAoB,CAAC,EAAE;SACxE;KACF;IACD,eAAe,EAAE;QACf,KAAK,EAAE,oBAAoB;QAC3B,wEAAwE;QACxE,6CAA6C;QAC7C,KAAK,EAAE,IAAI;QACX,KAAK,EAAE,GAAG,EAAE,CAAC,iBAAiB,CAAC,UAAU,EAAE,CAAC;KAC7C;IACD,MAAM,EAAE;QACN,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,GAAG,EAAE,CAAC;YACX,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,uBAAe,MAAM,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,EAAE;SAC9F;KACF;IACD,OAAO,EAAE;QACP,KAAK,EAAE,gBAAgB;QACvB,KAAK,EAAE,GAAG,EAAE,CAAC;YACX;gBACE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,yBAAyB,CAAC;gBACrD,QAAQ,EAAE,gBAAgB,CAAC,sBAAsB,CAAC;aACnD;SACF;KACF;IACD,QAAQ,EAAE;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,GAAG,EAAE,CAAC;YACX;gBACE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,GAAG,uBAAe,KAAK,CAAC;gBAC9D,QAAQ,EAAE,cAAc,EAAE;aAC3B;SACF;KACF;IACD,KAAK,EAAE;QACL,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,gBAAgB,CAAC,aAAa,CAAC,EAAE,CAAC;KACrF;IACD,MAAM,EAAE;QACN,KAAK,EAAE,YAAY;QACnB,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,CAAC,oBAAoB,CAAC,EAAE,CAAC;KACvF;IACD,KAAK,EAAE;QACL,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,GAAG,EAAE,CAAC;YACX,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,uBAAe,KAAK,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,EAAE;SACxF;KACF;IACD,KAAK,EAAE;QACL,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,CAAC,oBAAoB,CAAC,EAAE,CAAC;KACvF;IACD,WAAW,EAAE;QACX,KAAK,EAAE,aAAa;QACpB,4EAA4E;QAC5E,yEAAyE;QACzE,EAAE;QACF,2EAA2E;QAC3E,yEAAyE;QACzE,0EAA0E;QAC1E,qEAAqE;QACrE,4EAA4E;QAC5E,qBAAqB;QACrB,EAAE;QACF,yEAAyE;QACzE,gEAAgE;QAChE,2DAA2D;QAC3D,KAAK,EAAE,GAAG,EAAE,CAAC;YACX,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,uBAAe,KAAK,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,EAAE;YAC5F,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,iBAAiB,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC,EAAE;SACrF;KACF;CACF,CAAC;AAEW,QAAA,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,aAAK,CAAC,CAAC;AAE5C;;;;;GAKG;AACH,SAAgB,YAAY;IAC1B,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,iBAAS,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,aAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxC,MAAM,GAAG,GAAG,KAAK;iBACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,KAAK,uBAAe;gBACnB,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,uBAAe,GAAG,CAAC;oBACnC,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,uBAAe,CAAC,MAAM,CAAC;oBACjD,CAAC,CAAC,CAAC,CACR;iBACA,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClB,IAAI,GAAG,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/B,CAAC;YACD,iEAAiE;YACjE,+EAA+E;YAC/E,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,wBAAgB,EAAE,CAAC;gBAC1C,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,GAAG,GAAG,KAAK;oBAAE,SAAS;gBACtD,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;oBACpC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,CAAC;oBAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBACtB,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;wBACjB,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;oBAClC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uEAAuE;AAC1D,QAAA,gBAAgB,GAAoC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAEvF,2EAA2E;AAC9D,QAAA,aAAa,GAAG,iBAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAatE,SAAS,KAAK;IACZ,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,iBAAiB,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,wCAAwC,CAAC,CAAC,KAAK,MAAM;QAC3G,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,KAAK,IAAI;QAC9B,qGAAqG;QACrG,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,KAAK,IAAI;QAC9B,OAAO,iBAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,qCAAqC,CAAC,CAAC,KAAK,MAAM;QACrF,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,KAAK,IAAI;QAC9B,OAAO,CAAC,CAAC,GAAG,wDAAwD,CAAC,CAAC,KAAK,IAAI;QAC/E,OAAO,CAAC,CAAC,GAAG,6DAA6D,CAAC,CAAC,KAAK,MAAM,CACzF,CAAC;AACJ,CAAC;AAED,SAAgB,SAAS,CAAC,IAAI;IAC5B,MAAM,IAAI,GAAsB;QAC9B,KAAK,EAAE,qBAAa;QACpB,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,KAAK;QACb,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,KAAK;KACZ,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAClC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;iBACnB,KAAK,CAAC,GAAG,CAAC;iBACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;iBAClC,MAAM,CAAC,OAAO,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,CAAC,KAAK,eAAe,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAAE,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;aACxE,IAAI,CAAC,KAAK,WAAW;YAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;aAC1C,IAAI,CAAC,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;aACvC,IAAI,CAAC,KAAK,QAAQ;YAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;aACrC,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;YAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;aACnD,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAgB,IAAI,CAAC,IAAI;IACvB,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,EAAE,GAAG,IAAA,eAAO,EAAC,IAAI,CAAC,IAAI,IAAI,IAAA,iBAAS,EAAC,IAAI,CAAC,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAEpC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,KAAK,EAAE,CAAC;QACR,OAAO,CAAC,IAAI,CAAC,YAAI,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE;YACnB,IAAA,mBAAK,EAAC,cAAc,EAAE,iBAAiB,IAAI,CAAC,OAAO,EAAE,EAAE;gBACrD,MAAM,EAAE,IAAI,CAAC,OAAO;gBACpB,GAAG,EAAE,2DAA2D;aACjE,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE;YACnB,IAAA,mBAAK,EAAC,cAAc,EAAE,oBAAoB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE;gBAClE,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC;gBAC7B,GAAG,EAAE,cAAc,iBAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;aAC3C,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAED,IAAI,UAAU,CAAC;IACf,IAAI,CAAC;QACH,UAAU,GAAG,IAAA,gCAAiB,EAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE;YACnB,IAAA,mBAAK,EAAC,mBAAmB,EAAE,IAAA,0BAAY,EAAC,GAAG,CAAC,EAAE;gBAC5C,GAAG,EAAE,+DAA+D;aACrE,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,EAAE,CAAC;IACnB,MAAM,OAAO,GAAG,EAAE,CAAC;IACnB,MAAM,WAAW,GAAG,EAAE,CAAC;IAEvB,6EAA6E;IAC7E,2EAA2E;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,aAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,KAAK;gBAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;gBAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,CAAC;QACC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAErC,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC1B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC1D,WAAW,CAAC,IAAI,CACd,IAAA,qBAAO,EAAC,mBAAmB,EAAE,GAAG,IAAI,CAAC,IAAI,mCAAmC,EAAE;oBAC5E,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,GAAG,EAAE,uEAAuE;iBAC7E,CAAC,CACH,CAAC;gBACF,SAAS;YACX,CAAC;YAED,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACjB,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBACxD,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,EAAE,CAAC,IAAI,CACL;QACE,MAAM,EAAE;YACN,UAAU;YACV,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,OAAO;YACP,OAAO;SACR;QACD,MAAM,EAAE,WAAW;KACpB,EACD,GAAG,EAAE;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;QACnD,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,OAAO,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,MAAM,CACtF,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAC1F,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,qBAAqB,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAChF,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,OAAO,CAAC,CAAC,GAAG,+CAA+C,CAAC,CAAC,KAAK,IAAI,CACvE,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,OAAO,CAAC,CAAC,GAAG,iCAAiC,CAAC,CAAC,KAAK,IAAI,uBAAe,WAAW,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,KAAK,MAAM,CAC7H,CAAC;IACJ,CAAC,CACF,CAAC;IACF,OAAO,CAAC,IAAI,CAAC,YAAI,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;IAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,333 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* `specgate verify` — what another tool calls done, gated on evidence
|
|
4
|
+
* (ADR-0030, docs/specs/verify-foreign-specs.md).
|
|
5
|
+
*
|
|
6
|
+
* Reads the other tool's files read-only, runs the rules in `VerifyClaims`,
|
|
7
|
+
* and writes nothing outside `.specgate/`. The facts the rules need and a
|
|
8
|
+
* pure module cannot gather — files, git history, the test run, the lock —
|
|
9
|
+
* are gathered here.
|
|
10
|
+
*/
|
|
11
|
+
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
12
|
+
if (k2 === undefined) k2 = k;
|
|
13
|
+
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
14
|
+
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
15
|
+
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
16
|
+
}
|
|
17
|
+
Object.defineProperty(o, k2, desc);
|
|
18
|
+
}) : (function(o, m, k, k2) {
|
|
19
|
+
if (k2 === undefined) k2 = k;
|
|
20
|
+
o[k2] = m[k];
|
|
21
|
+
}));
|
|
22
|
+
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
|
|
23
|
+
Object.defineProperty(o, "default", { enumerable: true, value: v });
|
|
24
|
+
}) : function(o, v) {
|
|
25
|
+
o["default"] = v;
|
|
26
|
+
});
|
|
27
|
+
var __importStar = (this && this.__importStar) || (function () {
|
|
28
|
+
var ownKeys = function(o) {
|
|
29
|
+
ownKeys = Object.getOwnPropertyNames || function (o) {
|
|
30
|
+
var ar = [];
|
|
31
|
+
for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
|
|
32
|
+
return ar;
|
|
33
|
+
};
|
|
34
|
+
return ownKeys(o);
|
|
35
|
+
};
|
|
36
|
+
return function (mod) {
|
|
37
|
+
if (mod && mod.__esModule) return mod;
|
|
38
|
+
var result = {};
|
|
39
|
+
if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
|
|
40
|
+
__setModuleDefault(result, mod);
|
|
41
|
+
return result;
|
|
42
|
+
};
|
|
43
|
+
})();
|
|
44
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
45
|
+
exports.VerifyCommand = void 0;
|
|
46
|
+
exports.parseArgs = parseArgs;
|
|
47
|
+
exports.readSpec = readSpec;
|
|
48
|
+
exports.hashCriterion = hashCriterion;
|
|
49
|
+
const fs = __importStar(require("node:fs"));
|
|
50
|
+
const path = __importStar(require("node:path"));
|
|
51
|
+
const crypto = __importStar(require("node:crypto"));
|
|
52
|
+
const node_child_process_1 = require("node:child_process");
|
|
53
|
+
const command_1 = require("../../../lib/command");
|
|
54
|
+
const agent_1 = require("../../../lib/agent");
|
|
55
|
+
const diagnostics_1 = require("../../../lib/diagnostics");
|
|
56
|
+
const project_root_1 = require("../../../lib/project-root");
|
|
57
|
+
const DerivedMatrixSources_1 = require("../../../../packages/core/src/infrastructure/DerivedMatrixSources");
|
|
58
|
+
const OpenSpecReader_1 = require("../../../../packages/core/src/domain/OpenSpecReader");
|
|
59
|
+
const VerifyClaims_1 = require("../../../../packages/core/src/domain/VerifyClaims");
|
|
60
|
+
const LOCK = path.join(".specgate", "verify.lock");
|
|
61
|
+
const FORMATS = ["openspec"];
|
|
62
|
+
function usage() {
|
|
63
|
+
return ("Usage:\n" +
|
|
64
|
+
' specgate verify [--from openspec] [--project-dir <dir>] [--run] [--test-cmd "<cmd>"]\n' +
|
|
65
|
+
" [--since <git-ref>] [--record] [--ids] [--json | --format github]\n\n" +
|
|
66
|
+
"Reads another tool's specification in place and fails while something it\n" +
|
|
67
|
+
"calls done has no test naming each criterion it covers (ADR-0030).\n\n" +
|
|
68
|
+
" --from <format> openspec. Detected when omitted.\n" +
|
|
69
|
+
" --run Run the test command too; a failing suite fails the check.\n" +
|
|
70
|
+
" --test-cmd <cmd> The suite to run (default: `npm test` when package.json has one).\n" +
|
|
71
|
+
" --since <ref> Gate only claims made after this git ref; older ones are reported.\n" +
|
|
72
|
+
" --record After a green run, record the verified criteria in .specgate/verify.lock.\n" +
|
|
73
|
+
" --ids Print every criterion id, to name in tests.\n" +
|
|
74
|
+
" --format github GitHub Actions annotations on the spec lines.\n");
|
|
75
|
+
}
|
|
76
|
+
function parseArgs(argv) {
|
|
77
|
+
const o = {
|
|
78
|
+
projectDir: ".",
|
|
79
|
+
from: "",
|
|
80
|
+
run: false,
|
|
81
|
+
testCmd: "",
|
|
82
|
+
since: "",
|
|
83
|
+
record: false,
|
|
84
|
+
ids: false,
|
|
85
|
+
json: (0, agent_1.wantsJson)(argv),
|
|
86
|
+
format: "text",
|
|
87
|
+
};
|
|
88
|
+
for (let i = 0; i < argv.length; i += 1) {
|
|
89
|
+
const a = argv[i];
|
|
90
|
+
const value = () => {
|
|
91
|
+
const v = argv[++i];
|
|
92
|
+
if (v === undefined)
|
|
93
|
+
throw new Error(`${a} needs a value`);
|
|
94
|
+
return v;
|
|
95
|
+
};
|
|
96
|
+
if (a === "--project-dir")
|
|
97
|
+
o.projectDir = value();
|
|
98
|
+
else if (a === "--from")
|
|
99
|
+
o.from = value();
|
|
100
|
+
else if (a === "--run")
|
|
101
|
+
o.run = true;
|
|
102
|
+
else if (a === "--test-cmd")
|
|
103
|
+
o.testCmd = value();
|
|
104
|
+
else if (a === "--since")
|
|
105
|
+
o.since = value();
|
|
106
|
+
else if (a === "--record")
|
|
107
|
+
o.record = true;
|
|
108
|
+
else if (a === "--ids")
|
|
109
|
+
o.ids = true;
|
|
110
|
+
else if (a === "--json")
|
|
111
|
+
o.format = "json";
|
|
112
|
+
else if (a === "--format") {
|
|
113
|
+
const f = value();
|
|
114
|
+
if (f !== "text" && f !== "github" && f !== "json")
|
|
115
|
+
throw new Error(`unknown --format ${f}`);
|
|
116
|
+
o.format = f;
|
|
117
|
+
}
|
|
118
|
+
else if (a === "--help" || a === "-h") {
|
|
119
|
+
process.stdout.write(usage());
|
|
120
|
+
process.exit(0);
|
|
121
|
+
}
|
|
122
|
+
else
|
|
123
|
+
throw new Error(`unknown argument ${a}`);
|
|
124
|
+
}
|
|
125
|
+
if (o.from && !FORMATS.includes(o.from)) {
|
|
126
|
+
throw new Error(`--from ${o.from}: supported formats are ${FORMATS.join(", ")}`);
|
|
127
|
+
}
|
|
128
|
+
return o;
|
|
129
|
+
}
|
|
130
|
+
function walk(root, rel, out) {
|
|
131
|
+
let entries;
|
|
132
|
+
try {
|
|
133
|
+
entries = fs.readdirSync(path.join(root, rel), { withFileTypes: true });
|
|
134
|
+
}
|
|
135
|
+
catch {
|
|
136
|
+
return;
|
|
137
|
+
}
|
|
138
|
+
for (const e of entries) {
|
|
139
|
+
const child = rel ? `${rel}/${e.name}` : e.name;
|
|
140
|
+
if (e.isDirectory())
|
|
141
|
+
walk(root, child, out);
|
|
142
|
+
else if (e.isFile() && e.name.endsWith(".md"))
|
|
143
|
+
out.push(child);
|
|
144
|
+
}
|
|
145
|
+
}
|
|
146
|
+
function readSpec(projectDir, from) {
|
|
147
|
+
const paths = [];
|
|
148
|
+
walk(projectDir, "openspec", paths);
|
|
149
|
+
if (from === "openspec" || (!from && (0, OpenSpecReader_1.isOpenSpecProject)(paths))) {
|
|
150
|
+
const files = paths.map((p) => ({
|
|
151
|
+
path: p,
|
|
152
|
+
source: fs.readFileSync(path.join(projectDir, p), "utf8"),
|
|
153
|
+
}));
|
|
154
|
+
return (0, OpenSpecReader_1.readOpenSpec)(files);
|
|
155
|
+
}
|
|
156
|
+
return null;
|
|
157
|
+
}
|
|
158
|
+
function git(projectDir, args) {
|
|
159
|
+
return (0, node_child_process_1.spawnSync)("git", args, { cwd: projectDir, encoding: "utf8" });
|
|
160
|
+
}
|
|
161
|
+
/** The claims whose dating path did not exist at `ref`. */
|
|
162
|
+
function freshClaims(projectDir, spec, ref) {
|
|
163
|
+
const ok = git(projectDir, ["rev-parse", "--verify", "--quiet", `${ref}^{commit}`]);
|
|
164
|
+
if (ok.status !== 0)
|
|
165
|
+
throw new Error(`--since ${ref}: not a commit in this repository`);
|
|
166
|
+
const fresh = new Set();
|
|
167
|
+
for (const c of spec.claims) {
|
|
168
|
+
const tree = git(projectDir, ["ls-tree", ref, "--", c.datedBy]);
|
|
169
|
+
if ((tree.stdout || "").trim() === "")
|
|
170
|
+
fresh.add(c.datedBy);
|
|
171
|
+
}
|
|
172
|
+
return fresh;
|
|
173
|
+
}
|
|
174
|
+
function hashCriterion(text) {
|
|
175
|
+
const normal = text.replace(/\s+/g, " ").trim();
|
|
176
|
+
return crypto.createHash("sha256").update(normal).digest("hex").slice(0, 16);
|
|
177
|
+
}
|
|
178
|
+
function readLock(projectDir) {
|
|
179
|
+
try {
|
|
180
|
+
const doc = JSON.parse(fs.readFileSync(path.join(projectDir, LOCK), "utf8"));
|
|
181
|
+
return new Map(Object.entries(doc.criteria || {}).map(([k, v]) => [k, String(v.hash)]));
|
|
182
|
+
}
|
|
183
|
+
catch {
|
|
184
|
+
return new Map();
|
|
185
|
+
}
|
|
186
|
+
}
|
|
187
|
+
function writeLock(projectDir, spec, proved) {
|
|
188
|
+
const file = path.join(projectDir, LOCK);
|
|
189
|
+
let doc = { version: 1, criteria: {} };
|
|
190
|
+
try {
|
|
191
|
+
doc = JSON.parse(fs.readFileSync(file, "utf8"));
|
|
192
|
+
}
|
|
193
|
+
catch {
|
|
194
|
+
// a first record
|
|
195
|
+
}
|
|
196
|
+
const head = (git(projectDir, ["rev-parse", "HEAD"]).stdout || "").trim() || null;
|
|
197
|
+
const texts = new Map(spec.requirements.flatMap((r) => r.criteria.map((c) => [c.id, c.text])));
|
|
198
|
+
for (const id of [...proved].sort()) {
|
|
199
|
+
const text = texts.get(id);
|
|
200
|
+
if (text !== undefined)
|
|
201
|
+
doc.criteria[id] = { hash: hashCriterion(text), commit: head };
|
|
202
|
+
}
|
|
203
|
+
fs.mkdirSync(path.dirname(file), { recursive: true });
|
|
204
|
+
fs.writeFileSync(file, `${JSON.stringify(doc, null, 2)}\n`, "utf8");
|
|
205
|
+
}
|
|
206
|
+
function defaultTestCmd(projectDir) {
|
|
207
|
+
try {
|
|
208
|
+
const pkg = JSON.parse(fs.readFileSync(path.join(projectDir, "package.json"), "utf8"));
|
|
209
|
+
if (pkg.scripts && pkg.scripts.test)
|
|
210
|
+
return "npm test";
|
|
211
|
+
}
|
|
212
|
+
catch {
|
|
213
|
+
// not a node project
|
|
214
|
+
}
|
|
215
|
+
return "";
|
|
216
|
+
}
|
|
217
|
+
function renderText(result) {
|
|
218
|
+
const gated = result.claims.filter((c) => c.gated);
|
|
219
|
+
const out = process.stdout;
|
|
220
|
+
out.write(`\n specgate verify — ${result.format}\n\n`);
|
|
221
|
+
out.write(` ${result.claims.length} claim(s) of done, ${gated.length} gated · ` +
|
|
222
|
+
`${result.coverage.named}/${result.coverage.total} criteria named by a test\n\n`);
|
|
223
|
+
for (const d of result.status) {
|
|
224
|
+
const mark = d.severity === "error" ? "✖" : d.severity === "warning" ? "▲" : "ℹ";
|
|
225
|
+
out.write(` ${mark} ${d.message}\n`);
|
|
226
|
+
if (d.fix && d.severity === "error")
|
|
227
|
+
out.write(` fix: ${d.fix}\n`);
|
|
228
|
+
}
|
|
229
|
+
const errors = result.status.filter((d) => d.severity === "error").length;
|
|
230
|
+
if (errors === 0 && gated.length === 0) {
|
|
231
|
+
out.write(`\n ✔ Nothing to gate: no finished claim of done${result.claims.length ? " is new" : ""}. ` +
|
|
232
|
+
`${result.claims.length - gated.length} older or unfinished claim(s) reported above.\n`);
|
|
233
|
+
return;
|
|
234
|
+
}
|
|
235
|
+
out.write(errors === 0
|
|
236
|
+
? `\n ✔ Every gated claim of done is named by a test.\n` +
|
|
237
|
+
` A test that names a criterion is evidence it ran, not proof it asserts the right thing.\n`
|
|
238
|
+
: `\n ✖ ${errors} problem(s) with what is called done.\n`);
|
|
239
|
+
}
|
|
240
|
+
function renderGithub(status) {
|
|
241
|
+
for (const d of status) {
|
|
242
|
+
if (d.severity === "info")
|
|
243
|
+
continue;
|
|
244
|
+
const level = d.severity === "error" ? "error" : "warning";
|
|
245
|
+
const where = d.file ? ` file=${d.file}${d.line ? `,line=${d.line}` : ""}` : "";
|
|
246
|
+
process.stdout.write(`::${level}${where},title=${d.code}::${d.message.replace(/\n/g, " ")}\n`);
|
|
247
|
+
}
|
|
248
|
+
}
|
|
249
|
+
class VerifyCommand extends command_1.BaseCommand {
|
|
250
|
+
execute() {
|
|
251
|
+
let o;
|
|
252
|
+
const io0 = (0, agent_1.agentIo)((0, agent_1.wantsJson)(this.args));
|
|
253
|
+
try {
|
|
254
|
+
o = parseArgs(this.args);
|
|
255
|
+
}
|
|
256
|
+
catch (err) {
|
|
257
|
+
io0.usage({ verify: null }, [
|
|
258
|
+
(0, diagnostics_1.error)("verify_usage", err.message, { fix: "specgate verify --help" }),
|
|
259
|
+
]);
|
|
260
|
+
}
|
|
261
|
+
const io = (0, agent_1.agentIo)(o.format === "json" || o.json);
|
|
262
|
+
const opts = o;
|
|
263
|
+
const projectDir = (0, project_root_1.resolveProjectDir)(opts.projectDir);
|
|
264
|
+
const spec = readSpec(projectDir, opts.from);
|
|
265
|
+
if (!spec) {
|
|
266
|
+
io.fail({ verify: null }, [
|
|
267
|
+
(0, diagnostics_1.error)("verify_no_spec", `No OpenSpec specification found in ${projectDir}.`, {
|
|
268
|
+
fix: "Run it at the root of a project with an `openspec/` directory, or pass --project-dir.",
|
|
269
|
+
}),
|
|
270
|
+
]);
|
|
271
|
+
}
|
|
272
|
+
if (opts.ids) {
|
|
273
|
+
if (io.json) {
|
|
274
|
+
io.emit({ verify: { ids: spec.requirements } });
|
|
275
|
+
return;
|
|
276
|
+
}
|
|
277
|
+
for (const r of spec.requirements) {
|
|
278
|
+
process.stdout.write(`${r.id} ${r.title}\n`);
|
|
279
|
+
for (const c of r.criteria)
|
|
280
|
+
process.stdout.write(` ${c.id} ${c.title}\n`);
|
|
281
|
+
}
|
|
282
|
+
return;
|
|
283
|
+
}
|
|
284
|
+
let fresh;
|
|
285
|
+
try {
|
|
286
|
+
fresh = opts.since ? freshClaims(projectDir, spec, opts.since) : undefined;
|
|
287
|
+
}
|
|
288
|
+
catch (err) {
|
|
289
|
+
io.usage({ verify: null }, [(0, diagnostics_1.error)("verify_since", err.message)]);
|
|
290
|
+
}
|
|
291
|
+
const tests = (0, DerivedMatrixSources_1.readDerivationSources)(projectDir).tests;
|
|
292
|
+
const result = (0, VerifyClaims_1.verifyClaims)({
|
|
293
|
+
spec: spec,
|
|
294
|
+
tests,
|
|
295
|
+
freshClaims: fresh,
|
|
296
|
+
lock: readLock(projectDir),
|
|
297
|
+
hash: hashCriterion,
|
|
298
|
+
});
|
|
299
|
+
if (opts.run) {
|
|
300
|
+
const cmd = opts.testCmd || defaultTestCmd(projectDir);
|
|
301
|
+
if (!cmd) {
|
|
302
|
+
result.status.push((0, diagnostics_1.error)("V2_failing_suite", "--run was given and no test command is known.", {
|
|
303
|
+
fix: 'Pass --test-cmd "<the command that runs the suite>".',
|
|
304
|
+
}));
|
|
305
|
+
}
|
|
306
|
+
else {
|
|
307
|
+
const r = (0, node_child_process_1.spawnSync)(cmd, {
|
|
308
|
+
cwd: projectDir,
|
|
309
|
+
shell: true,
|
|
310
|
+
stdio: io.json ? "pipe" : "inherit",
|
|
311
|
+
});
|
|
312
|
+
if (r.status !== 0) {
|
|
313
|
+
result.status.push((0, diagnostics_1.error)("V2_failing_suite", `\`${cmd}\` failed (exit ${r.status}); a red suite proves nothing done.`));
|
|
314
|
+
}
|
|
315
|
+
}
|
|
316
|
+
}
|
|
317
|
+
const failed = result.status.some((d) => d.severity === "error");
|
|
318
|
+
if (opts.record && !failed)
|
|
319
|
+
writeLock(projectDir, spec, result.proved);
|
|
320
|
+
if (opts.format === "github") {
|
|
321
|
+
renderGithub(result.status);
|
|
322
|
+
process.exitCode = failed ? 1 : 0;
|
|
323
|
+
return;
|
|
324
|
+
}
|
|
325
|
+
// Exit through exitCode, not process.exit: a large JSON document piped to
|
|
326
|
+
// another process must drain first (golden_app finding #33).
|
|
327
|
+
const { status, ...payload } = result;
|
|
328
|
+
io.emit({ verify: payload, status }, () => renderText(result));
|
|
329
|
+
process.exitCode = failed ? 1 : 0;
|
|
330
|
+
}
|
|
331
|
+
}
|
|
332
|
+
exports.VerifyCommand = VerifyCommand;
|
|
333
|
+
//# sourceMappingURL=VerifyCommand.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"VerifyCommand.js","sourceRoot":"","sources":["../../../../../scripts/cli/commands/quality/VerifyCommand.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkDH,8BAwCC;AAgBD,4BAWC;AAkBD,sCAGC;AAxID,4CAA8B;AAC9B,gDAAkC;AAClC,oDAAsC;AACtC,2DAA+C;AAC/C,kDAAmD;AACnD,8CAAwD;AACxD,0DAAkE;AAClE,4DAA8D;AAC9D,4GAA0G;AAE1G,wFAG6D;AAC7D,oFAAoG;AAEpG,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;AACnD,MAAM,OAAO,GAAG,CAAC,UAAU,CAAU,CAAC;AActC,SAAS,KAAK;IACZ,OAAO,CACL,UAAU;QACV,0FAA0F;QAC1F,yFAAyF;QACzF,4EAA4E;QAC5E,wEAAwE;QACxE,wDAAwD;QACxD,kFAAkF;QAClF,yFAAyF;QACzF,0FAA0F;QAC1F,iGAAiG;QACjG,mEAAmE;QACnE,qEAAqE,CACtE,CAAC;AACJ,CAAC;AAED,SAAgB,SAAS,CAAC,IAAc;IACtC,MAAM,CAAC,GAAkB;QACvB,UAAU,EAAE,GAAG;QACf,IAAI,EAAE,EAAE;QACR,GAAG,EAAE,KAAK;QACV,OAAO,EAAE,EAAE;QACX,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,KAAK;QACb,GAAG,EAAE,KAAK;QACV,IAAI,EAAE,IAAA,iBAAS,EAAC,IAAI,CAAC;QACrB,MAAM,EAAE,MAAM;KACf,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,KAAK,GAAG,GAAG,EAAE;YACjB,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;YAC3D,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,IAAI,CAAC,KAAK,eAAe;YAAE,CAAC,CAAC,UAAU,GAAG,KAAK,EAAE,CAAC;aAC7C,IAAI,CAAC,KAAK,QAAQ;YAAE,CAAC,CAAC,IAAI,GAAG,KAAK,EAAE,CAAC;aACrC,IAAI,CAAC,KAAK,OAAO;YAAE,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC;aAChC,IAAI,CAAC,KAAK,YAAY;YAAE,CAAC,CAAC,OAAO,GAAG,KAAK,EAAE,CAAC;aAC5C,IAAI,CAAC,KAAK,SAAS;YAAE,CAAC,CAAC,KAAK,GAAG,KAAK,EAAE,CAAC;aACvC,IAAI,CAAC,KAAK,UAAU;YAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;aACtC,IAAI,CAAC,KAAK,OAAO;YAAE,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC;aAChC,IAAI,CAAC,KAAK,QAAQ;YAAE,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC;aACtC,IAAI,CAAC,KAAK,UAAU,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,KAAK,EAAE,CAAC;YAClB,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;YAC7F,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QACf,CAAC;aAAM,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACxC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;YAC9B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;;YAAM,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,IAAI,CAAE,OAA6B,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,2BAA2B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,IAAI,CAAC,IAAY,EAAE,GAAW,EAAE,GAAa;IACpD,IAAI,OAAoB,CAAC;IACzB,IAAI,CAAC;QACH,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAChD,IAAI,CAAC,CAAC,WAAW,EAAE;YAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;aACvC,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC;AACH,CAAC;AAED,SAAgB,QAAQ,CAAC,UAAkB,EAAE,IAAY;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IACpC,IAAI,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,IAAI,IAAA,kCAAiB,EAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/D,MAAM,KAAK,GAAiB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5C,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC;SAC1D,CAAC,CAAC,CAAC;QACJ,OAAO,IAAA,6BAAY,EAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,GAAG,CAAC,UAAkB,EAAE,IAAc;IAC7C,OAAO,IAAA,8BAAS,EAAC,KAAK,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,2DAA2D;AAC3D,SAAS,WAAW,CAAC,UAAkB,EAAE,IAAiB,EAAE,GAAW;IACrE,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC;IACpF,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,GAAG,mCAAmC,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,aAAa,CAAC,IAAY;IACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAChD,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,QAAQ,CAAC,UAAkB;IAClC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7E,OAAO,IAAI,GAAG,CACZ,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAgB,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CACvF,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,GAAG,EAAE,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,UAAkB,EAAE,IAAiB,EAAE,MAAyB;IACjF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,GAAG,GAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC5C,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,CAAC;IAAC,MAAM,CAAC;QACP,iBAAiB;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC;IAClF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/F,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,SAAS;YAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACzF,CAAC;IACD,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,cAAc,CAAC,UAAkB;IACxC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACvF,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI;YAAE,OAAO,UAAU,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,qBAAqB;IACvB,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CAAC,MAAoB;IACtC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,GAAG,CAAC,KAAK,CAAC,yBAAyB,MAAM,CAAC,MAAM,MAAM,CAAC,CAAC;IACxD,GAAG,CAAC,KAAK,CACP,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,sBAAsB,KAAK,CAAC,MAAM,WAAW;QACpE,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,+BAA+B,CACnF,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QACjF,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO;YAAE,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IAC1E,IAAI,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,GAAG,CAAC,KAAK,CACP,oDAAoD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI;YAC3F,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,iDAAiD,CAC1F,CAAC;QACF,OAAO;IACT,CAAC;IACD,GAAG,CAAC,KAAK,CACP,MAAM,KAAK,CAAC;QACV,CAAC,CAAC,wDAAwD;YACtD,gGAAgG;QACpG,CAAC,CAAC,UAAU,MAAM,yCAAyC,CAC9D,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,MAAoB;IACxC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,QAAQ,KAAK,MAAM;YAAE,SAAS;QACpC,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3D,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,GAAG,KAAK,UAAU,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACjG,CAAC;AACH,CAAC;AAED,MAAa,aAAc,SAAQ,qBAAW;IACrC,OAAO;QACZ,IAAI,CAAgB,CAAC;QACrB,MAAM,GAAG,GAAG,IAAA,eAAO,EAAC,IAAA,iBAAS,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1C,IAAI,CAAC;YACH,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE;gBAC1B,IAAA,mBAAK,EAAC,cAAc,EAAE,GAAG,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,wBAAwB,EAAE,CAAC;aACtE,CAAC,CAAC;QACL,CAAC;QACD,MAAM,EAAE,GAAG,IAAA,eAAO,EAAC,CAAE,CAAC,MAAM,KAAK,MAAM,IAAI,CAAE,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,CAAE,CAAC;QAChB,MAAM,UAAU,GAAG,IAAA,gCAAiB,EAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEtD,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE;gBACxB,IAAA,mBAAK,EAAC,gBAAgB,EAAE,sCAAsC,UAAU,GAAG,EAAE;oBAC3E,GAAG,EAAE,uFAAuF;iBAC7F,CAAC;aACH,CAAC,CAAC;QACL,CAAC;QAED,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACb,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;gBACZ,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,IAAK,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBACjD,OAAO;YACT,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,IAAK,CAAC,YAAY,EAAE,CAAC;gBACnC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;gBAC9C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;oBAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;YAC9E,CAAC;YACD,OAAO;QACT,CAAC;QAED,IAAI,KAA8B,CAAC;QACnC,IAAI,CAAC;YACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,IAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9E,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,IAAA,mBAAK,EAAC,cAAc,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnE,CAAC;QAED,MAAM,KAAK,GAAG,IAAA,4CAAqB,EAAC,UAAU,CAAC,CAAC,KAAK,CAAC;QACtD,MAAM,MAAM,GAAG,IAAA,2BAAY,EAAC;YAC1B,IAAI,EAAE,IAAK;YACX,KAAK;YACL,WAAW,EAAE,KAAK;YAClB,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC;YAC1B,IAAI,EAAE,aAAa;SACpB,CAAC,CAAC;QAEH,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACb,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,IAAI,cAAc,CAAC,UAAU,CAAC,CAAC;YACvD,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,MAAM,CAAC,MAAM,CAAC,IAAI,CAChB,IAAA,mBAAK,EAAC,kBAAkB,EAAE,+CAA+C,EAAE;oBACzE,GAAG,EAAE,sDAAsD;iBAC5D,CAAC,CACH,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,GAAG,IAAA,8BAAS,EAAC,GAAG,EAAE;oBACvB,GAAG,EAAE,UAAU;oBACf,KAAK,EAAE,IAAI;oBACX,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;iBACpC,CAAC,CAAC;gBACH,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACnB,MAAM,CAAC,MAAM,CAAC,IAAI,CAChB,IAAA,mBAAK,EACH,kBAAkB,EAClB,KAAK,GAAG,mBAAmB,CAAC,CAAC,MAAM,qCAAqC,CACzE,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QACjE,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;YAAE,SAAS,CAAC,UAAU,EAAE,IAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QAExE,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC7B,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC5B,OAAO,CAAC,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClC,OAAO;QACT,CAAC;QACD,0EAA0E;QAC1E,6DAA6D;QAC7D,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,EAAE,GAAG,MAAM,CAAC;QACtC,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/D,OAAO,CAAC,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;CACF;AA3FD,sCA2FC"}
|
|
@@ -177,6 +177,17 @@ exports.SURFACE = [
|
|
|
177
177
|
},
|
|
178
178
|
json: { key: "check", gate: true, args: "[dir]" },
|
|
179
179
|
},
|
|
180
|
+
{
|
|
181
|
+
name: "verify",
|
|
182
|
+
script: ["verify.js"],
|
|
183
|
+
help: {
|
|
184
|
+
group: "core",
|
|
185
|
+
icon: "🔎",
|
|
186
|
+
summary: "Gate what OpenSpec calls done on tests that name each criterion (ADR-0030).",
|
|
187
|
+
},
|
|
188
|
+
json: { key: "verify", gate: true },
|
|
189
|
+
mcp: false,
|
|
190
|
+
},
|
|
180
191
|
{
|
|
181
192
|
name: "matrix",
|
|
182
193
|
editsContract: true,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"surface.js","sourceRoot":"","sources":["../../../scripts/lib/surface.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;;;AA0mBH,oCAEC;AAGD,0CAMC;AAOD,4CAkBC;AAOD,4BAcC;AAGD,oCAmBC;AAOD,gDAEC;AAKD,4BAoBC;AAztBD;;;GAGG;AACU,QAAA,WAAW,GAAG;IACzB,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE;IACtC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE;IACtC,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,kBAAkB,EAAE;IAC5C,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,kBAAkB,EAAE;IAC5C,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE;CACnC,CAAC;AAEF,8DAA8D;AACjD,QAAA,WAAW,GAAG;IACzB,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE;IACpC,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE;CACpC,CAAC;AAiGW,QAAA,OAAO,GAAc;IAChC;QACE,IAAI,EAAE,MAAM;QACZ,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,iBAAiB,CAAC;QAC3B,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,6EAA6E;SACvF;QACD,QAAQ,EAAE;YACR,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,uEAAuE;SACjF;KACF;IACD;QACE,IAAI,EAAE,OAAO;QACb,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,kBAAkB,CAAC;QAC5B,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,mEAAmE;SAC7E;QACD,wEAAwE;KACzE;IACD;QACE,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,CAAC,YAAY,CAAC;QACtB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,sEAAsE;SAChF;QACD,kEAAkE;KACnE;IACD;QACE,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,kEAAkE;SAC5E;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE;KACpC;IACD;QACE,yEAAyE;QACzE,2EAA2E;QAC3E,wEAAwE;QACxE,2EAA2E;QAC3E,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,CAAC,uBAAuB,CAAC;QACjC,GAAG,EAAE,KAAK;QACV,0EAA0E;QAC1E,mEAAmE;KACpE;IACD;QACE,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,mEAAmE;SAC7E;QACD,QAAQ,EAAE;YACR,KAAK,EAAE,OAAO;YACd,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,4EAA4E;SACtF;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;KACrC;IACD;QACE,IAAI,EAAE,IAAI;QACV,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,CAAC,YAAY,CAAC;gBACtB,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,+DAA+D;iBACzE;aACF;SACF;KACF;IACD;QACE,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC;QACzB,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,4DAA4D;iBACtE;aACF;YACD,EAAE,IAAI,EAAE,MAAM,EAAE;YAChB,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClB,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;SAC5E;KACF;IACD;QACE,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,CAAC,UAAU,CAAC;QACpB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,sEAAsE;SAChF;QACD,QAAQ,EAAE;YACR,KAAK,EAAE,OAAO;YACd,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,oDAAoD;SAC9D;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;KAClD;IACD;QACE,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,uEAAuE;SACjF;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE;QACnC,GAAG,EAAE,KAAK;KACX;IACD;QACE,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,CAAC,mBAAmB,CAAC;QAC7B,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EACL,iHAAiH;SACpH;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;QACtD,GAAG,EAAE,kBAAkB;KACxB;IACD;QACE,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,uBAAuB,CAAC;QACjC,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,qDAAqD;SAC/D;KACF;IACD;QACE,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,SAAS,CAAC;QACnB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,6DAA6D;SACvE;QACD,0EAA0E;QAC1E,uEAAuE;QACvE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE;QAClC,GAAG,EAAE,MAAM;KACZ;IACD;QACE,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,qEAAqE;SAC/E;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;KACrC;IACD;QACE,IAAI,EAAE,MAAM;QACZ,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,SAAS,CAAC;QACnB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,gEAAgE;SAC1E;QACD,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,iCAAiC,EAAE;QAC7F,IAAI,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE;QACxD,GAAG,EAAE,uBAAuB;KAC7B;IACD;QACE,IAAI,EAAE,KAAK;QACX,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,QAAQ,CAAC;QAClB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,4EAA4E;SACtF;QACD,QAAQ,EAAE;YACR,KAAK,EAAE,OAAO;YACd,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,yDAAyD;SACnE;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE;KAC3D;IACD;QACE,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,CAAC,QAAQ,CAAC;QAClB,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE;YACrD,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE;YAC5D,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE;YAC5D,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE;YAC1D,EAAE,IAAI,EAAE,MAAM,EAAE;SACjB;QACD,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,2EAA2E;SACrF;QACD,yEAAyE;QACzE,2EAA2E;KAC5E;IACD;QACE,IAAI,EAAE,KAAK;QACX,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,QAAQ,CAAC;QAClB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,2DAA2D;SACrE;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC5B,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;YAClD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;YACvD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YACpE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;YAC3D,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YACvE,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YAC5F,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE;YACxF,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;SAC3F;QACD,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EACL,yFAAyF;SAC5F;QACD,wEAAwE;QACxE,oEAAoE;QACpE,qEAAqE;KACtE;IAED;QACE,IAAI,EAAE,MAAM;QACZ,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,CAAC,cAAc,CAAC;gBACxB,QAAQ,EAAE,CAAC;gBACX,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,gEAAgE;iBAC1E;aACF;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,CAAC,cAAc,CAAC;gBACxB,QAAQ,EAAE,CAAC;gBACX,GAAG,EAAE,WAAW;gBAChB,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,mEAAmE;iBAC7E;aACF;YACD;gBACE,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,CAAC,eAAe,CAAC;gBACzB,QAAQ,EAAE,CAAC;gBACX,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,oDAAoD;iBAC9D;aACF;YACD;gBACE,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,CAAC,gBAAgB,CAAC;gBAC1B,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,wDAAwD;iBAClE;aACF;SACF;KACF;IAED;QACE,IAAI,EAAE,SAAS;QACf,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,KAAK;gBACX,aAAa,EAAE,IAAI;gBACnB,MAAM,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;gBAC7B,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,GAAG;oBACT,OAAO,EAAE,uDAAuD;iBACjE;aACF;YACD;gBACE,IAAI,EAAE,QAAQ;gBACd,aAAa,EAAE,IAAI;gBACnB,MAAM,EAAE,CAAC,SAAS,EAAE,WAAW,CAAC;gBAChC,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,GAAG;oBACT,OAAO,EAAE,uCAAuC;iBACjD;aACF;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,aAAa,EAAE,IAAI;gBACnB,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;gBAC9B,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,mEAAmE;iBAC7E;aACF;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;gBAC9B,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,kEAAkE;iBAC5E;gBACD,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE;aACtC;YACD;gBACE,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,CAAC,SAAS,EAAE,eAAe,CAAC;gBACpC,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,+DAA+D;iBACzE;aACF;SACF;KACF;IAED;QACE,IAAI,EAAE,SAAS;QACf,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,KAAK;gBACX,aAAa,EAAE,IAAI;gBACnB,MAAM,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;gBAC7B,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,0EAA0E;iBACpF;gBACD,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE;aAC7D;YACD;gBACE,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;gBAC7B,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,+DAA+D;iBACzE;aACF;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,aAAa,EAAE,IAAI;gBACnB,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;gBAC9B,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,qDAAqD;iBAC/D;aACF;YACD;gBACE,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,CAAC,SAAS,EAAE,WAAW,CAAC;gBAChC,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,gFAAgF;iBAC1F;gBACD,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;aACrC;SACF;KACF;IAED;QACE,IAAI,EAAE,QAAQ;QACd,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,gBAAgB,CAAC,EAAE;YAC5C,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;YACvD,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;YACvD,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;SACzD;QACD,IAAI,EAAE;YACJ,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,gEAAgE;SAC1E;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;gBAC7B,IAAI,EAAE;oBACJ,KAAK,EAAE,IAAI;oBACX,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,6DAA6D;iBACvE;aACF;SACF;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,IAAI,EAAE;YACJ,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,wEAAwE;SAClF;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC5B,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC1F,IAAI,EAAE;YACJ,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,sDAAsD;SAChE;KACF;IACD;QACE,IAAI,EAAE,YAAY;QAClB,MAAM,EAAE,CAAC,eAAe,CAAC;QACzB,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAClE,IAAI,EAAE;YACJ,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,+CAA+C;SACzD;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,IAAI,EAAE;YACJ,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,0EAA0E;SACpF;KACF;IACD;QACE,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC;QAC9C,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,OAAO;gBACb,GAAG,EAAE,KAAK;gBACV,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,uEAAuE;iBACjF;aACF;YACD;gBACE,IAAI,EAAE,SAAS;gBACf,GAAG,EAAE,KAAK;gBACV,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,kDAAkD;iBAC5D;aACF;SACF;KACF;CACF,CAAC;AAEF,iFAAiF;AAEjF,0DAA0D;AAC1D,SAAgB,YAAY;IAC1B,OAAO,eAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,yEAAyE;AACzE,SAAgB,eAAe;IAC7B,MAAM,GAAG,GAAG,EAAE,CAAC;IACf,KAAK,MAAM,OAAO,IAAI,eAAO,EAAE,CAAC;QAC9B,IAAI,OAAO,CAAC,WAAW;YAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAgB,gBAAgB;IAC9B,MAAM,IAAI,GAAG,EAAE,CAAC;IAChB,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC;YACR,OAAO,EAAE,GAAG,UAAU,GAAG,IAAI,IAAI,IAAI,EAAE;YACvC,YAAY,EAAE,IAAI,CAAC,GAAG;YACtB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;SACzB,CAAC,CAAC;IACL,CAAC,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,eAAO,EAAE,CAAC;QAC9B,IAAI,OAAO,CAAC,IAAI;YAAE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACnD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAC5C,IAAI,GAAG,CAAC,IAAI;gBAAE,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAgB,QAAQ;IACtB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,mBAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,GAAG,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,CAAC,KAAK,SAAS,KAAK,GAAG,CAAC,CAAC;QAC1F,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,eAAO,EAAE,CAAC;QAC9B,IAAI,OAAO,CAAC,IAAI;YAAE,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAClD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAC5C,IAAI,GAAG,CAAC,IAAI;gBAAE,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,OAAO,mBAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,gDAAgD;AAChD,SAAgB,YAAY;IAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,mBAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5D,KAAK,MAAM,OAAO,IAAI,eAAO,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO,CAAC,QAAQ;YAAE,SAAS;QAChC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CAAC,wCAAwC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,OAAO,CAAC,IAAI;YACnB,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;YAC3B,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;YACjC,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK;SAC9B,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,mBAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED;;;;GAIG;AACH,SAAgB,kBAAkB;IAChC,OAAO,eAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;AACnD,CAAC;AAED;;GAEG;AACH,SAAgB,QAAQ;IACtB,MAAM,GAAG,GAAG,EAAE,CAAC;IACf,KAAK,MAAM,OAAO,IAAI,eAAO,EAAE,CAAC;QAC9B,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;YACxB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;gBACtC,IAAI,OAAO,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,CAAC,GAAG,KAAK,KAAK;oBAAE,SAAS;gBACzD,MAAM,QAAQ,GACZ,CAAC,OAAO,GAAG,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;oBAC/C,YAAY,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC5D,GAAG,CAAC,QAAQ,CAAC,GAAG,GAAG,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;YAChD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,OAAO,CAAC,GAAG,KAAK,KAAK;gBAAE,SAAS;YACpC,MAAM,QAAQ,GACZ,CAAC,OAAO,OAAO,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBACvD,YAAY,OAAO,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAChD,GAAG,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
|
|
1
|
+
{"version":3,"file":"surface.js","sourceRoot":"","sources":["../../../scripts/lib/surface.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;;;AAqnBH,oCAEC;AAGD,0CAMC;AAOD,4CAkBC;AAOD,4BAcC;AAGD,oCAmBC;AAOD,gDAEC;AAKD,4BAoBC;AApuBD;;;GAGG;AACU,QAAA,WAAW,GAAG;IACzB,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE;IACtC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE;IACtC,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,kBAAkB,EAAE;IAC5C,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,kBAAkB,EAAE;IAC5C,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE;CACnC,CAAC;AAEF,8DAA8D;AACjD,QAAA,WAAW,GAAG;IACzB,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE;IACpC,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE;CACpC,CAAC;AAiGW,QAAA,OAAO,GAAc;IAChC;QACE,IAAI,EAAE,MAAM;QACZ,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,iBAAiB,CAAC;QAC3B,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,6EAA6E;SACvF;QACD,QAAQ,EAAE;YACR,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,uEAAuE;SACjF;KACF;IACD;QACE,IAAI,EAAE,OAAO;QACb,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,kBAAkB,CAAC;QAC5B,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,mEAAmE;SAC7E;QACD,wEAAwE;KACzE;IACD;QACE,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,CAAC,YAAY,CAAC;QACtB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,sEAAsE;SAChF;QACD,kEAAkE;KACnE;IACD;QACE,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,kEAAkE;SAC5E;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE;KACpC;IACD;QACE,yEAAyE;QACzE,2EAA2E;QAC3E,wEAAwE;QACxE,2EAA2E;QAC3E,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,CAAC,uBAAuB,CAAC;QACjC,GAAG,EAAE,KAAK;QACV,0EAA0E;QAC1E,mEAAmE;KACpE;IACD;QACE,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,mEAAmE;SAC7E;QACD,QAAQ,EAAE;YACR,KAAK,EAAE,OAAO;YACd,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,4EAA4E;SACtF;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;KACrC;IACD;QACE,IAAI,EAAE,IAAI;QACV,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,CAAC,YAAY,CAAC;gBACtB,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,+DAA+D;iBACzE;aACF;SACF;KACF;IACD;QACE,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC;QACzB,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,4DAA4D;iBACtE;aACF;YACD,EAAE,IAAI,EAAE,MAAM,EAAE;YAChB,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClB,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;SAC5E;KACF;IACD;QACE,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,CAAC,UAAU,CAAC;QACpB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,sEAAsE;SAChF;QACD,QAAQ,EAAE;YACR,KAAK,EAAE,OAAO;YACd,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,oDAAoD;SAC9D;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;KAClD;IACD;QACE,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,6EAA6E;SACvF;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE;QACnC,GAAG,EAAE,KAAK;KACX;IACD;QACE,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,uEAAuE;SACjF;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE;QACnC,GAAG,EAAE,KAAK;KACX;IACD;QACE,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,CAAC,mBAAmB,CAAC;QAC7B,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EACL,iHAAiH;SACpH;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;QACtD,GAAG,EAAE,kBAAkB;KACxB;IACD;QACE,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,uBAAuB,CAAC;QACjC,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,qDAAqD;SAC/D;KACF;IACD;QACE,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,SAAS,CAAC;QACnB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,6DAA6D;SACvE;QACD,0EAA0E;QAC1E,uEAAuE;QACvE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE;QAClC,GAAG,EAAE,MAAM;KACZ;IACD;QACE,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,qEAAqE;SAC/E;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;KACrC;IACD;QACE,IAAI,EAAE,MAAM;QACZ,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,SAAS,CAAC;QACnB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,gEAAgE;SAC1E;QACD,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,iCAAiC,EAAE;QAC7F,IAAI,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE;QACxD,GAAG,EAAE,uBAAuB;KAC7B;IACD;QACE,IAAI,EAAE,KAAK;QACX,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,QAAQ,CAAC;QAClB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,4EAA4E;SACtF;QACD,QAAQ,EAAE;YACR,KAAK,EAAE,OAAO;YACd,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,yDAAyD;SACnE;QACD,IAAI,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE;KAC3D;IACD;QACE,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,CAAC,QAAQ,CAAC;QAClB,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE;YACrD,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE;YAC5D,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE;YAC5D,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE;YAC1D,EAAE,IAAI,EAAE,MAAM,EAAE;SACjB;QACD,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,2EAA2E;SACrF;QACD,yEAAyE;QACzE,2EAA2E;KAC5E;IACD;QACE,IAAI,EAAE,KAAK;QACX,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,QAAQ,CAAC;QAClB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,2DAA2D;SACrE;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC5B,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;YAClD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;YACvD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YACpE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;YAC3D,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YACvE,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YAC5F,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE;YACxF,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;SAC3F;QACD,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,IAAI;YACV,OAAO,EACL,yFAAyF;SAC5F;QACD,wEAAwE;QACxE,oEAAoE;QACpE,qEAAqE;KACtE;IAED;QACE,IAAI,EAAE,MAAM;QACZ,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,CAAC,cAAc,CAAC;gBACxB,QAAQ,EAAE,CAAC;gBACX,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,gEAAgE;iBAC1E;aACF;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,CAAC,cAAc,CAAC;gBACxB,QAAQ,EAAE,CAAC;gBACX,GAAG,EAAE,WAAW;gBAChB,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,mEAAmE;iBAC7E;aACF;YACD;gBACE,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,CAAC,eAAe,CAAC;gBACzB,QAAQ,EAAE,CAAC;gBACX,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,oDAAoD;iBAC9D;aACF;YACD;gBACE,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,CAAC,gBAAgB,CAAC;gBAC1B,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,wDAAwD;iBAClE;aACF;SACF;KACF;IAED;QACE,IAAI,EAAE,SAAS;QACf,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,KAAK;gBACX,aAAa,EAAE,IAAI;gBACnB,MAAM,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;gBAC7B,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,GAAG;oBACT,OAAO,EAAE,uDAAuD;iBACjE;aACF;YACD;gBACE,IAAI,EAAE,QAAQ;gBACd,aAAa,EAAE,IAAI;gBACnB,MAAM,EAAE,CAAC,SAAS,EAAE,WAAW,CAAC;gBAChC,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,GAAG;oBACT,OAAO,EAAE,uCAAuC;iBACjD;aACF;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,aAAa,EAAE,IAAI;gBACnB,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;gBAC9B,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,mEAAmE;iBAC7E;aACF;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;gBAC9B,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,kEAAkE;iBAC5E;gBACD,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE;aACtC;YACD;gBACE,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,CAAC,SAAS,EAAE,eAAe,CAAC;gBACpC,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,+DAA+D;iBACzE;aACF;SACF;KACF;IAED;QACE,IAAI,EAAE,SAAS;QACf,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,KAAK;gBACX,aAAa,EAAE,IAAI;gBACnB,MAAM,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;gBAC7B,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,0EAA0E;iBACpF;gBACD,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE;aAC7D;YACD;gBACE,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;gBAC7B,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,+DAA+D;iBACzE;aACF;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,aAAa,EAAE,IAAI;gBACnB,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;gBAC9B,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,qDAAqD;iBAC/D;aACF;YACD;gBACE,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,CAAC,SAAS,EAAE,WAAW,CAAC;gBAChC,IAAI,EAAE;oBACJ,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,gFAAgF;iBAC1F;gBACD,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;aACrC;SACF;KACF;IAED;QACE,IAAI,EAAE,QAAQ;QACd,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,gBAAgB,CAAC,EAAE;YAC5C,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;YACvD,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;YACvD,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;SACzD;QACD,IAAI,EAAE;YACJ,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,gEAAgE;SAC1E;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;gBAC7B,IAAI,EAAE;oBACJ,KAAK,EAAE,IAAI;oBACX,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,6DAA6D;iBACvE;aACF;SACF;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,IAAI,EAAE;YACJ,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,wEAAwE;SAClF;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC5B,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC1F,IAAI,EAAE;YACJ,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,sDAAsD;SAChE;KACF;IACD;QACE,IAAI,EAAE,YAAY;QAClB,MAAM,EAAE,CAAC,eAAe,CAAC;QACzB,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAClE,IAAI,EAAE;YACJ,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,+CAA+C;SACzD;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,IAAI,EAAE;YACJ,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,0EAA0E;SACpF;KACF;IACD;QACE,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC;QAC9C,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,OAAO;gBACb,GAAG,EAAE,KAAK;gBACV,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,uEAAuE;iBACjF;aACF;YACD;gBACE,IAAI,EAAE,SAAS;gBACf,GAAG,EAAE,KAAK;gBACV,IAAI,EAAE;oBACJ,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,OAAO,EAAE,kDAAkD;iBAC5D;aACF;SACF;KACF;CACF,CAAC;AAEF,iFAAiF;AAEjF,0DAA0D;AAC1D,SAAgB,YAAY;IAC1B,OAAO,eAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,yEAAyE;AACzE,SAAgB,eAAe;IAC7B,MAAM,GAAG,GAAG,EAAE,CAAC;IACf,KAAK,MAAM,OAAO,IAAI,eAAO,EAAE,CAAC;QAC9B,IAAI,OAAO,CAAC,WAAW;YAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAgB,gBAAgB;IAC9B,MAAM,IAAI,GAAG,EAAE,CAAC;IAChB,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC;YACR,OAAO,EAAE,GAAG,UAAU,GAAG,IAAI,IAAI,IAAI,EAAE;YACvC,YAAY,EAAE,IAAI,CAAC,GAAG;YACtB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;SACzB,CAAC,CAAC;IACL,CAAC,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,eAAO,EAAE,CAAC;QAC9B,IAAI,OAAO,CAAC,IAAI;YAAE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACnD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAC5C,IAAI,GAAG,CAAC,IAAI;gBAAE,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAgB,QAAQ;IACtB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,mBAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,GAAG,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,CAAC,KAAK,SAAS,KAAK,GAAG,CAAC,CAAC;QAC1F,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,eAAO,EAAE,CAAC;QAC9B,IAAI,OAAO,CAAC,IAAI;YAAE,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAClD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAC5C,IAAI,GAAG,CAAC,IAAI;gBAAE,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,OAAO,mBAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,gDAAgD;AAChD,SAAgB,YAAY;IAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,mBAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5D,KAAK,MAAM,OAAO,IAAI,eAAO,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO,CAAC,QAAQ;YAAE,SAAS;QAChC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CAAC,wCAAwC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,OAAO,CAAC,IAAI;YACnB,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;YAC3B,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;YACjC,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK;SAC9B,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,mBAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED;;;;GAIG;AACH,SAAgB,kBAAkB;IAChC,OAAO,eAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;AACnD,CAAC;AAED;;GAEG;AACH,SAAgB,QAAQ;IACtB,MAAM,GAAG,GAAG,EAAE,CAAC;IACf,KAAK,MAAM,OAAO,IAAI,eAAO,EAAE,CAAC;QAC9B,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;YACxB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;gBACtC,IAAI,OAAO,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,CAAC,GAAG,KAAK,KAAK;oBAAE,SAAS;gBACzD,MAAM,QAAQ,GACZ,CAAC,OAAO,GAAG,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;oBAC/C,YAAY,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC5D,GAAG,CAAC,QAAQ,CAAC,GAAG,GAAG,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;YAChD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,OAAO,CAAC,GAAG,KAAK,KAAK;gBAAE,SAAS;YACpC,MAAM,QAAQ,GACZ,CAAC,OAAO,OAAO,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBACvD,YAAY,OAAO,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAChD,GAAG,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
#!/usr/bin/env node
|
|
2
|
+
"use strict";
|
|
3
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
4
|
+
exports.parseArgs = exports.VerifyCommand = void 0;
|
|
5
|
+
const VerifyCommand_1 = require("./cli/commands/quality/VerifyCommand");
|
|
6
|
+
Object.defineProperty(exports, "VerifyCommand", { enumerable: true, get: function () { return VerifyCommand_1.VerifyCommand; } });
|
|
7
|
+
Object.defineProperty(exports, "parseArgs", { enumerable: true, get: function () { return VerifyCommand_1.parseArgs; } });
|
|
8
|
+
if (require.main === module) {
|
|
9
|
+
new VerifyCommand_1.VerifyCommand(process.argv.slice(2)).execute();
|
|
10
|
+
}
|
|
11
|
+
//# sourceMappingURL=verify.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../scripts/verify.ts"],"names":[],"mappings":";;;;AACA,wEAAgF;AAEvE,8FAFA,6BAAa,OAEA;AAAE,0FAFA,yBAAS,OAEA;AAEjC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;IAC5B,IAAI,6BAAa,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AACrD,CAAC"}
|