@maycombhq/atticus 2.0.0-beta.2 → 2.0.0-beta.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/bin.js +2 -2
- package/dist/{chunk-MVZVGYXH.js → chunk-2OC7ZEJL.js} +3 -3
- package/dist/{chunk-5KLGBXG5.js → chunk-2OUJJQN5.js} +16 -16
- package/dist/{chunk-BOHJZTEQ.js → chunk-3BSRA5O4.js} +7 -7
- package/dist/{chunk-CSZ4C5N6.js → chunk-3JAPYUGG.js} +3 -3
- package/dist/{chunk-IHMLFRVV.js → chunk-426TNDXJ.js} +8 -8
- package/dist/{chunk-7ZUIMTOU.js → chunk-42Y3B5Y5.js} +15 -15
- package/dist/{chunk-S3QNRWYR.js → chunk-4JQ42JQ7.js} +8 -8
- package/dist/{chunk-PCOCACY3.js → chunk-4MMBSUID.js} +13 -13
- package/dist/{chunk-GLUX4EEP.js → chunk-4UL6IZXB.js} +7 -7
- package/dist/{chunk-UNM6ZOKP.js → chunk-4VN6VYX3.js} +11 -11
- package/dist/{chunk-2BFCZ3RK.js → chunk-5DNIOQ4N.js} +14 -14
- package/dist/{chunk-JGZCG5VM.js → chunk-5EX245DC.js} +5 -5
- package/dist/{chunk-WVPJSRRJ.js → chunk-5IEP3QCU.js} +13 -13
- package/dist/{chunk-NXFPS2LR.js → chunk-5JHJOGML.js} +7 -7
- package/dist/{chunk-J4K3KVLD.js → chunk-7IVSMCEN.js} +13 -13
- package/dist/{chunk-CKSITVS4.js → chunk-7MPR7BKQ.js} +8 -8
- package/dist/{chunk-4NDAAFQT.js → chunk-A4M64ENV.js} +2 -2
- package/dist/{chunk-652QWTLZ.js → chunk-A57MG35V.js} +2 -2
- package/dist/{chunk-UGLN7QHV.js → chunk-A7ILPMEI.js} +8 -8
- package/dist/{chunk-6IU67AEK.js → chunk-A7VLPRPK.js} +9 -9
- package/dist/{chunk-AVJDSJ2F.js → chunk-AECBF2FU.js} +2 -2
- package/dist/{chunk-W5BVQF44.js → chunk-ATWY4PMW.js} +11 -11
- package/dist/{chunk-3C7EYRFZ.js → chunk-C2BQDTZ7.js} +1 -1
- package/dist/{chunk-RVH5SUW5.js → chunk-CBJQ2IJP.js} +2 -2
- package/dist/{chunk-CR3MTH32.js → chunk-CBZSCNVZ.js} +3 -3
- package/dist/{chunk-Z6LF7HQN.js → chunk-CDIQHFMT.js} +2 -2
- package/dist/{chunk-FITWGOJ2.js → chunk-CEU5OL24.js} +3 -3
- package/dist/{chunk-6BNC6EQ4.js → chunk-CLBP7W64.js} +17 -17
- package/dist/{chunk-O3WI5KWW.js → chunk-CMV7TGU6.js} +1 -1
- package/dist/{chunk-YISXLPHN.js → chunk-CYH7ETZR.js} +6 -6
- package/dist/{chunk-7FBGJFEE.js → chunk-D27D7JMR.js} +8 -8
- package/dist/{chunk-MGYZM27B.js → chunk-DFM5HAO6.js} +8 -8
- package/dist/{chunk-SJRGMG6A.js → chunk-DXMPLH2J.js} +18 -18
- package/dist/{chunk-T6XQL73F.js → chunk-DZSYGNBR.js} +15 -15
- package/dist/{chunk-RRTKKSLQ.js → chunk-E7BIDVTR.js} +2 -2
- package/dist/{chunk-ZCJDOK2S.js → chunk-EFTGREBJ.js} +13 -13
- package/dist/{chunk-VN3DP4LQ.js → chunk-ELRRU4KM.js} +16 -16
- package/dist/{chunk-M766ZJ6W.js → chunk-EOVFOBYT.js} +17 -17
- package/dist/{chunk-IPKHE5D6.js → chunk-EXOHT6F2.js} +2 -2
- package/dist/{chunk-JCZIKA4C.js → chunk-F5HXZJEM.js} +2 -2
- package/dist/{chunk-7SW2QWLU.js → chunk-F6WC54UQ.js} +8 -8
- package/dist/{chunk-ABWHYWNI.js → chunk-F7OCT2IE.js} +2 -2
- package/dist/{chunk-JZU3H6UQ.js → chunk-FOW6IGGQ.js} +21 -21
- package/dist/{chunk-DPZHZQKE.js → chunk-FYF5FORG.js} +2 -2
- package/dist/{chunk-XY3P7JW7.js → chunk-G6UODAMO.js} +2 -2
- package/dist/{chunk-W3BQAZ3Q.js → chunk-GFUTEG6O.js} +8 -8
- package/dist/{chunk-A3GY6SOA.js → chunk-GHVDC5ZI.js} +11 -11
- package/dist/{chunk-BKVWTZ6A.js → chunk-GQOOGNXG.js} +17 -17
- package/dist/{chunk-3HI6Z55Y.js → chunk-GSYU3VSL.js} +2 -2
- package/dist/{chunk-XPCM366L.js → chunk-HC5QNGJL.js} +4 -4
- package/dist/{chunk-FQXYPF7E.js → chunk-HVNTX2LG.js} +1 -1
- package/dist/{chunk-HITVBIJS.js → chunk-HZRLKGBN.js} +6 -6
- package/dist/{chunk-V2YTAIQO.js → chunk-I3JTKE3S.js} +1 -1
- package/dist/{chunk-DKJA76CJ.js → chunk-I6PIWS6R.js} +8 -8
- package/dist/{chunk-NE2W3OO7.js → chunk-IAPL2CJD.js} +15 -15
- package/dist/{chunk-T2UYZSCQ.js → chunk-IEPIXEHZ.js} +14 -14
- package/dist/{chunk-ICY36XCH.js → chunk-IJY4PBEL.js} +13 -13
- package/dist/{chunk-FHH4I4ZV.js → chunk-IKCUZCPH.js} +4 -4
- package/dist/{chunk-MMOSZPWJ.js → chunk-IZC2GXW3.js} +1 -1
- package/dist/{chunk-5WG5YP4T.js → chunk-J7AUTYY2.js} +9 -9
- package/dist/{chunk-DHPACDG7.js → chunk-JCXUDBZY.js} +4 -4
- package/dist/{chunk-6M5NK3K3.js → chunk-JIRFOWM5.js} +2 -2
- package/dist/{chunk-6QSERWXH.js → chunk-JTFSP7NM.js} +13 -13
- package/dist/{chunk-VYDBJ73M.js → chunk-JWYG444T.js} +9 -9
- package/dist/{chunk-EFHQ3TWP.js → chunk-KJPMEAI4.js} +73 -5
- package/dist/{chunk-6D2CQ5II.js → chunk-LDERDSCO.js} +15 -15
- package/dist/{chunk-TDD55CJH.js → chunk-LQSHRO6E.js} +4 -4
- package/dist/{chunk-4BN53TG3.js → chunk-LYLPQV6U.js} +16 -15
- package/dist/{chunk-K65BJIMT.js → chunk-MDCWBWZ4.js} +13 -13
- package/dist/{chunk-3USYZGRF.js → chunk-MESQ7MKL.js} +16 -16
- package/dist/{chunk-EBEW3XXQ.js → chunk-MNITN3NP.js} +3 -3
- package/dist/{chunk-ZNCEKR4J.js → chunk-NDQLNMHF.js} +3 -3
- package/dist/{chunk-AIOQPLA5.js → chunk-NEV5Q2Q2.js} +4 -4
- package/dist/{chunk-T6AIP7H5.js → chunk-NMRI4H7W.js} +2 -2
- package/dist/{chunk-QRAOANID.js → chunk-NZCSMNDA.js} +11 -11
- package/dist/{chunk-RTEYOSJY.js → chunk-O4OPABY2.js} +10 -10
- package/dist/{chunk-OT2O76OS.js → chunk-O5YCAEUA.js} +5 -5
- package/dist/{chunk-7AVHLZGD.js → chunk-O7DS75HM.js} +18 -18
- package/dist/{chunk-2VHF7OXM.js → chunk-OAUMP5UG.js} +1 -1
- package/dist/{chunk-6J5OKA4Y.js → chunk-OCIQFELL.js} +9 -9
- package/dist/{chunk-7EKXJZ2Y.js → chunk-OIIFN6QA.js} +1 -1
- package/dist/{chunk-TYAID7B7.js → chunk-OIQLQNR3.js} +16 -16
- package/dist/{chunk-CEXSU4S6.js → chunk-OSW6U7XJ.js} +8 -8
- package/dist/{chunk-HVUPKCGJ.js → chunk-OXSOOV3G.js} +2 -2
- package/dist/{chunk-TXLH6WHQ.js → chunk-P7AWNXGH.js} +4 -4
- package/dist/{chunk-YY6ZQQBP.js → chunk-PLPKQQH7.js} +4 -4
- package/dist/{chunk-DE76JROX.js → chunk-PTB7FQO6.js} +9 -9
- package/dist/{chunk-7WD63HU2.js → chunk-PTM2MSLG.js} +3 -3
- package/dist/{chunk-OLQJTJJU.js → chunk-Q3HOFXZJ.js} +1 -1
- package/dist/{chunk-4WBVUHXN.js → chunk-QDXRNUXJ.js} +11 -11
- package/dist/{chunk-YYQN46FY.js → chunk-QM26WR3D.js} +16 -16
- package/dist/{chunk-GBRFVT63.js → chunk-QMN7OPJO.js} +18 -18
- package/dist/{chunk-C6EKFH7J.js → chunk-QNGTVGA5.js} +1 -1
- package/dist/{chunk-RUVFXE2L.js → chunk-QVFIEIG4.js} +8 -8
- package/dist/{chunk-42EVSKME.js → chunk-REX5VKDS.js} +13 -13
- package/dist/{chunk-2DIQQJCB.js → chunk-RHUDKXZI.js} +8 -8
- package/dist/{chunk-D46WUV3T.js → chunk-RLQXENLF.js} +12 -12
- package/dist/{chunk-JMSCMUCA.js → chunk-RSVCXXR7.js} +6 -6
- package/dist/{chunk-L24C55VN.js → chunk-RTEW25XX.js} +2 -2
- package/dist/{chunk-AA6YULYB.js → chunk-RVJX43TZ.js} +1 -1
- package/dist/{chunk-EYWIDJFU.js → chunk-S3ALLKNL.js} +2 -2
- package/dist/{chunk-PCVDV3UZ.js → chunk-ST3FDY3V.js} +4 -4
- package/dist/{chunk-2ANOROX3.js → chunk-SUXZLPK4.js} +4 -4
- package/dist/{chunk-MC3H7736.js → chunk-SWMTB4YJ.js} +14 -0
- package/dist/{chunk-5GGOLAKC.js → chunk-SWSMLAM3.js} +16 -16
- package/dist/{chunk-N7IXEHK3.js → chunk-TCNDZ2DU.js} +6 -6
- package/dist/{chunk-E36QOJMD.js → chunk-TOZB5WKB.js} +15 -15
- package/dist/{chunk-R6XF6UR3.js → chunk-TWFGMB2I.js} +2 -2
- package/dist/{chunk-CPA6HPVR.js → chunk-TWHXB23E.js} +7 -7
- package/dist/{chunk-B2WLAWNJ.js → chunk-UKSLCJXA.js} +2 -2
- package/dist/{chunk-RZPYKDWS.js → chunk-UYS6WI5B.js} +1 -1
- package/dist/{chunk-A7UPUQFY.js → chunk-VEQYIF3A.js} +74 -73
- package/dist/{chunk-NN2ZQEB4.js → chunk-VF7QVUSU.js} +17 -17
- package/dist/{chunk-6JUBZBMW.js → chunk-VHRCYSRY.js} +1 -1
- package/dist/{chunk-64EQYWCA.js → chunk-VJ445BDO.js} +7 -7
- package/dist/{chunk-XAKWMCXI.js → chunk-VTVOHGCA.js} +2 -2
- package/dist/{chunk-27NKUS3X.js → chunk-VUHWQZ2R.js} +6 -6
- package/dist/{chunk-ZVM6AKKM.js → chunk-VXJQIEKX.js} +3 -3
- package/dist/{chunk-PAMPPUR6.js → chunk-VZDFEIMR.js} +6 -1
- package/dist/{chunk-UBBC2XSG.js → chunk-WAL4YKC6.js} +7 -7
- package/dist/{chunk-GDLULHTC.js → chunk-WJBYZ6E2.js} +6 -6
- package/dist/{chunk-QZSX3F7C.js → chunk-WJKOWAK2.js} +17 -15
- package/dist/{chunk-66YVAGGM.js → chunk-WPJ36T2R.js} +12 -12
- package/dist/{chunk-KEM4SDDP.js → chunk-WRGI2YDI.js} +2 -2
- package/dist/{chunk-2BF2EYJV.js → chunk-WYFIXP54.js} +1 -1
- package/dist/{chunk-R77KLRB3.js → chunk-X3E7VCYN.js} +11 -11
- package/dist/{chunk-I4JRCD6M.js → chunk-X56AKULG.js} +9 -9
- package/dist/{chunk-ONLS5QA5.js → chunk-XOJGWO3E.js} +8 -8
- package/dist/{chunk-6JCPI55B.js → chunk-XTGHJH4A.js} +3 -3
- package/dist/{chunk-LR3R6Z2A.js → chunk-XZS7MDIL.js} +4 -4
- package/dist/{chunk-2RMYG36Q.js → chunk-Y6DO45QO.js} +5 -5
- package/dist/{chunk-4BKGMUIK.js → chunk-YD52KDIY.js} +16 -16
- package/dist/{chunk-XPTOBS2D.js → chunk-YI57W6DD.js} +17 -17
- package/dist/{chunk-GT4I4ZWM.js → chunk-YIPT3QYL.js} +10 -10
- package/dist/{chunk-JIITQXFB.js → chunk-YKXXPSL3.js} +71 -71
- package/dist/{chunk-Q4D5X7QB.js → chunk-Z3JYKHOY.js} +9 -9
- package/dist/{chunk-23W7VWKR.js → chunk-Z5NXGHVR.js} +2 -2
- package/dist/{chunk-EDS2L2LD.js → chunk-ZZ6TRP5V.js} +18 -18
- package/dist/files.json +343 -343
- package/package.json +4 -4
|
@@ -13,20 +13,20 @@ import {
|
|
|
13
13
|
readReviewed,
|
|
14
14
|
reviewedProblemsOf,
|
|
15
15
|
writeVerifyFiles
|
|
16
|
-
} from "./chunk-
|
|
17
|
-
import "./chunk-
|
|
16
|
+
} from "./chunk-CBZSCNVZ.js";
|
|
17
|
+
import "./chunk-CMV7TGU6.js";
|
|
18
18
|
import {
|
|
19
19
|
dirSource,
|
|
20
20
|
frameworkFacts,
|
|
21
21
|
frameworksToLearn,
|
|
22
22
|
verifyFacts
|
|
23
|
-
} from "./chunk-
|
|
23
|
+
} from "./chunk-VZDFEIMR.js";
|
|
24
24
|
import {
|
|
25
25
|
NoRoomError,
|
|
26
26
|
roomGuard,
|
|
27
27
|
streamFacts
|
|
28
28
|
} from "./chunk-EPTBZ3GP.js";
|
|
29
|
-
import "./chunk-
|
|
29
|
+
import "./chunk-KJPMEAI4.js";
|
|
30
30
|
import "./chunk-GQ4N4WKF.js";
|
|
31
31
|
import {
|
|
32
32
|
factsDirOf,
|
|
@@ -157,7 +157,7 @@ async function verifyCommand(root, repo, o, io) {
|
|
|
157
157
|
if (o.json) {
|
|
158
158
|
let written2;
|
|
159
159
|
if (o.write && !failed) {
|
|
160
|
-
const { writeFactsIntoCatalog: writeFactsIntoCatalog2 } = await import("./chunk-
|
|
160
|
+
const { writeFactsIntoCatalog: writeFactsIntoCatalog2 } = await import("./chunk-4MMBSUID.js");
|
|
161
161
|
written2 = await writeFactsIntoCatalog2(root, repo, report.accepted, { dir, command: `atticus verify ${repo} --write` }, { ...io, out: () => void 0 });
|
|
162
162
|
if (!written2)
|
|
163
163
|
return 1;
|
|
@@ -261,7 +261,7 @@ async function verifyCommand(root, repo, o, io) {
|
|
|
261
261
|
io.out(`When the read is complete: atticus verify ${repo} --write puts the facts in the catalog, the flows in specs/${repo}/, and renders the map.`);
|
|
262
262
|
return 0;
|
|
263
263
|
}
|
|
264
|
-
const { writeFactsIntoCatalog } = await import("./chunk-
|
|
264
|
+
const { writeFactsIntoCatalog } = await import("./chunk-4MMBSUID.js");
|
|
265
265
|
const written = await writeFactsIntoCatalog(root, repo, report.accepted, { dir, command: `atticus verify ${repo} --write`, verbose: o.verbose === true }, io);
|
|
266
266
|
return written ? 0 : 1;
|
|
267
267
|
}
|
|
@@ -6,11 +6,11 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
|
|
|
6
6
|
import {
|
|
7
7
|
boundedId,
|
|
8
8
|
opt
|
|
9
|
-
} from "./chunk-
|
|
9
|
+
} from "./chunk-Z5NXGHVR.js";
|
|
10
10
|
import {
|
|
11
11
|
curatedAliases,
|
|
12
12
|
resolveNames
|
|
13
|
-
} from "./chunk-
|
|
13
|
+
} from "./chunk-OIIFN6QA.js";
|
|
14
14
|
import {
|
|
15
15
|
DATA_RULE,
|
|
16
16
|
INSTRUCTION_RULES,
|
|
@@ -5,10 +5,10 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
|
|
|
5
5
|
var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
|
|
6
6
|
import {
|
|
7
7
|
metarepoToolBox
|
|
8
|
-
} from "./chunk-
|
|
8
|
+
} from "./chunk-VXJQIEKX.js";
|
|
9
9
|
import {
|
|
10
10
|
CONTEXT_TOOLS
|
|
11
|
-
} from "./chunk-
|
|
11
|
+
} from "./chunk-NMRI4H7W.js";
|
|
12
12
|
import {
|
|
13
13
|
TOOL_LIMITS,
|
|
14
14
|
ToolSession,
|
|
@@ -7,7 +7,7 @@ import {
|
|
|
7
7
|
INPUTS_SOURCE,
|
|
8
8
|
INPUTS_SOURCE_ID,
|
|
9
9
|
inputsPages
|
|
10
|
-
} from "./chunk-
|
|
10
|
+
} from "./chunk-F7OCT2IE.js";
|
|
11
11
|
import {
|
|
12
12
|
judgingRuntime
|
|
13
13
|
} from "./chunk-BWZ77RQT.js";
|
|
@@ -16,7 +16,7 @@ import {
|
|
|
16
16
|
} from "./chunk-VOGCSYOI.js";
|
|
17
17
|
import {
|
|
18
18
|
readCatalog
|
|
19
|
-
} from "./chunk-
|
|
19
|
+
} from "./chunk-VUHWQZ2R.js";
|
|
20
20
|
import {
|
|
21
21
|
checkoutGitWiki,
|
|
22
22
|
coverage,
|
|
@@ -28,10 +28,10 @@ import {
|
|
|
28
28
|
syncSources,
|
|
29
29
|
toApiCoverage,
|
|
30
30
|
writeSnapshots
|
|
31
|
-
} from "./chunk-
|
|
31
|
+
} from "./chunk-RTEW25XX.js";
|
|
32
32
|
import {
|
|
33
33
|
createGit
|
|
34
|
-
} from "./chunk-
|
|
34
|
+
} from "./chunk-KJPMEAI4.js";
|
|
35
35
|
import {
|
|
36
36
|
Sources,
|
|
37
37
|
fileJudgments,
|
|
@@ -11,7 +11,7 @@ import {
|
|
|
11
11
|
import {
|
|
12
12
|
loadPlanContext,
|
|
13
13
|
parseStory
|
|
14
|
-
} from "./chunk-
|
|
14
|
+
} from "./chunk-7MPR7BKQ.js";
|
|
15
15
|
import {
|
|
16
16
|
docOf,
|
|
17
17
|
fingerprint,
|
|
@@ -20,16 +20,16 @@ import {
|
|
|
20
20
|
roundsOf,
|
|
21
21
|
sectionLines,
|
|
22
22
|
writeFinding
|
|
23
|
-
} from "./chunk-
|
|
23
|
+
} from "./chunk-GSYU3VSL.js";
|
|
24
24
|
import {
|
|
25
25
|
changeFolder
|
|
26
|
-
} from "./chunk-
|
|
26
|
+
} from "./chunk-G6UODAMO.js";
|
|
27
27
|
import {
|
|
28
28
|
baseClonePath,
|
|
29
29
|
changeWorktreesDir,
|
|
30
30
|
readChangeRepos,
|
|
31
31
|
worktreePath
|
|
32
|
-
} from "./chunk-
|
|
32
|
+
} from "./chunk-KJPMEAI4.js";
|
|
33
33
|
import {
|
|
34
34
|
buildContextPack,
|
|
35
35
|
toRunSummary
|
|
@@ -18702,6 +18702,8 @@ function clientOf(type, method, names, source) {
|
|
|
18702
18702
|
};
|
|
18703
18703
|
}
|
|
18704
18704
|
function addConstant(c, owner, name2, value2, source) {
|
|
18705
|
+
if (name2 === "serialVersionUID")
|
|
18706
|
+
return;
|
|
18705
18707
|
c.constants[`${owner}.${name2}`] = { value: value2, source };
|
|
18706
18708
|
if (/service/i.test(owner))
|
|
18707
18709
|
c.serviceIds.push(`${owner}.${name2}`);
|
|
@@ -19410,6 +19412,18 @@ async function houseDependencies(repo, groups) {
|
|
|
19410
19412
|
for (const block of select(pom, "project/properties"))
|
|
19411
19413
|
for (const p of block.children)
|
|
19412
19414
|
props.set(p.name, p.text.trim());
|
|
19415
|
+
const parentVersion = selectText(pom, "project/parent/version")?.text.trim();
|
|
19416
|
+
const ownVersion = selectText(pom, "project/version")?.text.trim() || parentVersion;
|
|
19417
|
+
const builtIn = {
|
|
19418
|
+
"project.parent.version": parentVersion,
|
|
19419
|
+
"parent.version": parentVersion,
|
|
19420
|
+
"project.version": ownVersion,
|
|
19421
|
+
version: ownVersion,
|
|
19422
|
+
"pom.version": ownVersion
|
|
19423
|
+
};
|
|
19424
|
+
for (const [k, v] of Object.entries(builtIn))
|
|
19425
|
+
if (v && !props.has(k))
|
|
19426
|
+
props.set(k, v);
|
|
19413
19427
|
const fill = (v) => v.replace(/\$\{([\w.-]+)\}/g, (s, k) => props.get(k) ?? s);
|
|
19414
19428
|
for (const d of select(pom, "//dependency")) {
|
|
19415
19429
|
const group = selectText(d, "groupId")?.text;
|
|
@@ -6,24 +6,24 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
|
|
|
6
6
|
import {
|
|
7
7
|
prepareKnowledgeBench,
|
|
8
8
|
runKnowledgeBench
|
|
9
|
-
} from "./chunk-
|
|
10
|
-
import "./chunk-
|
|
11
|
-
import "./chunk-
|
|
12
|
-
import "./chunk-
|
|
13
|
-
import "./chunk-
|
|
9
|
+
} from "./chunk-TWHXB23E.js";
|
|
10
|
+
import "./chunk-3BSRA5O4.js";
|
|
11
|
+
import "./chunk-2OC7ZEJL.js";
|
|
12
|
+
import "./chunk-WRGI2YDI.js";
|
|
13
|
+
import "./chunk-SUXZLPK4.js";
|
|
14
14
|
import "./chunk-65NYPGRC.js";
|
|
15
15
|
import {
|
|
16
16
|
table
|
|
17
17
|
} from "./chunk-VOGCSYOI.js";
|
|
18
18
|
import {
|
|
19
19
|
codeFactRecords
|
|
20
|
-
} from "./chunk-
|
|
20
|
+
} from "./chunk-7MPR7BKQ.js";
|
|
21
21
|
import "./chunk-L6SGQIR3.js";
|
|
22
|
-
import "./chunk-
|
|
23
|
-
import "./chunk-
|
|
22
|
+
import "./chunk-GSYU3VSL.js";
|
|
23
|
+
import "./chunk-G6UODAMO.js";
|
|
24
24
|
import "./chunk-4AK7IBVP.js";
|
|
25
25
|
import "./chunk-7JUKDRSZ.js";
|
|
26
|
-
import "./chunk-
|
|
26
|
+
import "./chunk-VUHWQZ2R.js";
|
|
27
27
|
import {
|
|
28
28
|
askKnowledge,
|
|
29
29
|
conflictLine,
|
|
@@ -49,13 +49,13 @@ import {
|
|
|
49
49
|
tagList,
|
|
50
50
|
writeKnowledge,
|
|
51
51
|
writeReview
|
|
52
|
-
} from "./chunk-
|
|
53
|
-
import "./chunk-
|
|
54
|
-
import "./chunk-
|
|
55
|
-
import "./chunk-
|
|
56
|
-
import "./chunk-
|
|
57
|
-
import "./chunk-
|
|
58
|
-
import "./chunk-
|
|
52
|
+
} from "./chunk-RTEW25XX.js";
|
|
53
|
+
import "./chunk-VZDFEIMR.js";
|
|
54
|
+
import "./chunk-Z5NXGHVR.js";
|
|
55
|
+
import "./chunk-OIIFN6QA.js";
|
|
56
|
+
import "./chunk-SWMTB4YJ.js";
|
|
57
|
+
import "./chunk-NMRI4H7W.js";
|
|
58
|
+
import "./chunk-KJPMEAI4.js";
|
|
59
59
|
import "./chunk-GQ4N4WKF.js";
|
|
60
60
|
import {
|
|
61
61
|
RuntimeConfigError,
|
|
@@ -10,10 +10,10 @@ import {
|
|
|
10
10
|
scoreRepo,
|
|
11
11
|
scoreSpecs,
|
|
12
12
|
scoreVerifier
|
|
13
|
-
} from "./chunk-
|
|
13
|
+
} from "./chunk-TWHXB23E.js";
|
|
14
14
|
import {
|
|
15
15
|
readCatalog
|
|
16
|
-
} from "./chunk-
|
|
16
|
+
} from "./chunk-VUHWQZ2R.js";
|
|
17
17
|
import {
|
|
18
18
|
ScanVerifyProposal,
|
|
19
19
|
external_exports,
|
|
@@ -113,7 +113,7 @@ var pct = (x) => `${Math.round(x * 100)}%`;
|
|
|
113
113
|
async function benchRun(o, io) {
|
|
114
114
|
try {
|
|
115
115
|
const { dir, cache, repos } = await load(o);
|
|
116
|
-
const { main } = await import("./chunk-
|
|
116
|
+
const { main } = await import("./chunk-VEQYIF3A.js");
|
|
117
117
|
const quiet = { out: () => {
|
|
118
118
|
}, err: () => {
|
|
119
119
|
} };
|
|
@@ -433,7 +433,7 @@ function printSpecScores(scores, none, passes, cache, io) {
|
|
|
433
433
|
async function benchSurvey(o, io) {
|
|
434
434
|
try {
|
|
435
435
|
const { cache, repos } = await load(o);
|
|
436
|
-
const { main } = await import("./chunk-
|
|
436
|
+
const { main } = await import("./chunk-VEQYIF3A.js");
|
|
437
437
|
const quiet = { out: () => {
|
|
438
438
|
}, err: () => {
|
|
439
439
|
} };
|
|
@@ -481,7 +481,7 @@ $1- ${mode}`), "utf8");
|
|
|
481
481
|
async function benchVerify(o, io, deps = {}) {
|
|
482
482
|
try {
|
|
483
483
|
const { cache, repos } = await load(o);
|
|
484
|
-
const { main } = await import("./chunk-
|
|
484
|
+
const { main } = await import("./chunk-VEQYIF3A.js");
|
|
485
485
|
const quiet = { out: () => {
|
|
486
486
|
}, err: () => {
|
|
487
487
|
} };
|
|
@@ -508,7 +508,7 @@ async function benchVerify(o, io, deps = {}) {
|
|
|
508
508
|
const capture = { out: (l) => lines.push(l), err: (l) => lines.push(l) };
|
|
509
509
|
let code;
|
|
510
510
|
if (deps.runtime) {
|
|
511
|
-
const { scanVerify } = await import("./chunk-
|
|
511
|
+
const { scanVerify } = await import("./chunk-QM26WR3D.js");
|
|
512
512
|
code = await scanVerify(path, path, {}, { runtime: deps.runtime, ...deps.now ? { now: deps.now } : {} }, capture);
|
|
513
513
|
} else
|
|
514
514
|
code = await main(["scan", "verify", path, "--root", path, ...o.mode ? ["--mode", o.mode] : []], capture);
|
|
@@ -11,26 +11,26 @@ import {
|
|
|
11
11
|
releaseNotesCommand,
|
|
12
12
|
releasePlanCommand,
|
|
13
13
|
releaseSecurityCommand
|
|
14
|
-
} from "./chunk-
|
|
15
|
-
import "./chunk-
|
|
16
|
-
import "./chunk-
|
|
14
|
+
} from "./chunk-A57MG35V.js";
|
|
15
|
+
import "./chunk-3BSRA5O4.js";
|
|
16
|
+
import "./chunk-2OC7ZEJL.js";
|
|
17
17
|
import "./chunk-BWZ77RQT.js";
|
|
18
|
-
import "./chunk-
|
|
18
|
+
import "./chunk-SUXZLPK4.js";
|
|
19
19
|
import "./chunk-65NYPGRC.js";
|
|
20
|
-
import "./chunk-
|
|
20
|
+
import "./chunk-7MPR7BKQ.js";
|
|
21
21
|
import "./chunk-L6SGQIR3.js";
|
|
22
|
-
import "./chunk-
|
|
23
|
-
import "./chunk-
|
|
22
|
+
import "./chunk-GSYU3VSL.js";
|
|
23
|
+
import "./chunk-G6UODAMO.js";
|
|
24
24
|
import "./chunk-4AK7IBVP.js";
|
|
25
25
|
import "./chunk-7JUKDRSZ.js";
|
|
26
|
-
import "./chunk-
|
|
27
|
-
import "./chunk-
|
|
28
|
-
import "./chunk-
|
|
29
|
-
import "./chunk-
|
|
30
|
-
import "./chunk-
|
|
31
|
-
import "./chunk-
|
|
32
|
-
import "./chunk-
|
|
33
|
-
import "./chunk-
|
|
26
|
+
import "./chunk-VUHWQZ2R.js";
|
|
27
|
+
import "./chunk-RTEW25XX.js";
|
|
28
|
+
import "./chunk-VZDFEIMR.js";
|
|
29
|
+
import "./chunk-Z5NXGHVR.js";
|
|
30
|
+
import "./chunk-OIIFN6QA.js";
|
|
31
|
+
import "./chunk-SWMTB4YJ.js";
|
|
32
|
+
import "./chunk-NMRI4H7W.js";
|
|
33
|
+
import "./chunk-KJPMEAI4.js";
|
|
34
34
|
import "./chunk-GQ4N4WKF.js";
|
|
35
35
|
import "./chunk-CNUKCS2T.js";
|
|
36
36
|
import "./chunk-S2A7YC3Q.js";
|
|
@@ -5,11 +5,11 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
|
|
|
5
5
|
var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
|
|
6
6
|
import {
|
|
7
7
|
readCatalog
|
|
8
|
-
} from "./chunk-
|
|
8
|
+
} from "./chunk-VUHWQZ2R.js";
|
|
9
9
|
import {
|
|
10
10
|
readDiagram,
|
|
11
11
|
reconcile
|
|
12
|
-
} from "./chunk-
|
|
12
|
+
} from "./chunk-OIIFN6QA.js";
|
|
13
13
|
import {
|
|
14
14
|
loadOrgPack,
|
|
15
15
|
orgPackDirOf,
|
|
@@ -7,10 +7,10 @@ import {
|
|
|
7
7
|
cliMarkdown,
|
|
8
8
|
gradeDialect,
|
|
9
9
|
kindsMarkdown
|
|
10
|
-
} from "./chunk-
|
|
10
|
+
} from "./chunk-WRGI2YDI.js";
|
|
11
11
|
import {
|
|
12
12
|
generateTests
|
|
13
|
-
} from "./chunk-
|
|
13
|
+
} from "./chunk-SUXZLPK4.js";
|
|
14
14
|
import {
|
|
15
15
|
DEFAULT_DONE,
|
|
16
16
|
DESIGN_FORMAT,
|
|
@@ -33,19 +33,19 @@ import {
|
|
|
33
33
|
storySteps,
|
|
34
34
|
unfence,
|
|
35
35
|
writesField
|
|
36
|
-
} from "./chunk-
|
|
36
|
+
} from "./chunk-7MPR7BKQ.js";
|
|
37
37
|
import {
|
|
38
38
|
DesignScreen
|
|
39
39
|
} from "./chunk-L6SGQIR3.js";
|
|
40
40
|
import {
|
|
41
41
|
BUILT_IN_CHECKS,
|
|
42
42
|
runCritic
|
|
43
|
-
} from "./chunk-
|
|
43
|
+
} from "./chunk-GSYU3VSL.js";
|
|
44
44
|
import {
|
|
45
45
|
buildGlossary,
|
|
46
46
|
proposeDefinitions,
|
|
47
47
|
undefinedCodeTerms
|
|
48
|
-
} from "./chunk-
|
|
48
|
+
} from "./chunk-VUHWQZ2R.js";
|
|
49
49
|
import {
|
|
50
50
|
askKnowledge,
|
|
51
51
|
checkQuote,
|
|
@@ -60,10 +60,10 @@ import {
|
|
|
60
60
|
termsOf,
|
|
61
61
|
writeKnowledge,
|
|
62
62
|
writeSnapshots
|
|
63
|
-
} from "./chunk-
|
|
63
|
+
} from "./chunk-RTEW25XX.js";
|
|
64
64
|
import {
|
|
65
65
|
writeChangeRepos
|
|
66
|
-
} from "./chunk-
|
|
66
|
+
} from "./chunk-KJPMEAI4.js";
|
|
67
67
|
import {
|
|
68
68
|
MockRuntime,
|
|
69
69
|
ReplayRuntime,
|
|
@@ -5,10 +5,10 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
|
|
|
5
5
|
var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
|
|
6
6
|
import {
|
|
7
7
|
changeStore
|
|
8
|
-
} from "./chunk-
|
|
8
|
+
} from "./chunk-G6UODAMO.js";
|
|
9
9
|
import {
|
|
10
10
|
readCatalog
|
|
11
|
-
} from "./chunk-
|
|
11
|
+
} from "./chunk-VUHWQZ2R.js";
|
|
12
12
|
import {
|
|
13
13
|
catalogDirOf
|
|
14
14
|
} from "./chunk-S2A7YC3Q.js";
|
|
@@ -5,7 +5,7 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
|
|
|
5
5
|
var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
|
|
6
6
|
|
|
7
7
|
// packages/cli/dist/version.js
|
|
8
|
-
var VERSION = "2.0.0-beta.
|
|
8
|
+
var VERSION = "2.0.0-beta.4";
|
|
9
9
|
function versionAtLeast(v, min) {
|
|
10
10
|
const a = v.replace(/^v/, "").split(/[.+-]/).map(Number);
|
|
11
11
|
const b = min.split(".").map(Number);
|