@mmnto/cli 1.88.0 → 1.90.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/README.md +34 -0
- package/dist/author-sandbox.d.ts +32 -0
- package/dist/author-sandbox.d.ts.map +1 -0
- package/dist/author-sandbox.js +95 -0
- package/dist/author-sandbox.js.map +1 -0
- package/dist/authored-rule-intake-prewindow.test.d.ts +2 -0
- package/dist/authored-rule-intake-prewindow.test.d.ts.map +1 -0
- package/dist/authored-rule-intake-prewindow.test.js +84 -0
- package/dist/authored-rule-intake-prewindow.test.js.map +1 -0
- package/dist/authored-rule-intake.d.ts +21 -1
- package/dist/authored-rule-intake.d.ts.map +1 -1
- package/dist/authored-rule-intake.js +56 -1
- package/dist/authored-rule-intake.js.map +1 -1
- package/dist/commands/authored-whitelist.d.ts.map +1 -1
- package/dist/commands/authored-whitelist.js +19 -8
- package/dist/commands/authored-whitelist.js.map +1 -1
- package/dist/commands/ecl-gc.d.ts +259 -0
- package/dist/commands/ecl-gc.d.ts.map +1 -0
- package/dist/commands/ecl-gc.js +579 -0
- package/dist/commands/ecl-gc.js.map +1 -0
- package/dist/commands/ecl-gc.test.d.ts +12 -0
- package/dist/commands/ecl-gc.test.d.ts.map +1 -0
- package/dist/commands/ecl-gc.test.js +609 -0
- package/dist/commands/ecl-gc.test.js.map +1 -0
- package/dist/commands/eject.d.ts.map +1 -1
- package/dist/commands/eject.js +10 -6
- package/dist/commands/eject.js.map +1 -1
- package/dist/commands/eject.test.js +5 -1
- package/dist/commands/eject.test.js.map +1 -1
- package/dist/commands/init-templates.d.ts +4 -0
- package/dist/commands/init-templates.d.ts.map +1 -1
- package/dist/commands/init-templates.js +30 -2
- package/dist/commands/init-templates.js.map +1 -1
- package/dist/commands/init.test.js +26 -3
- package/dist/commands/init.test.js.map +1 -1
- package/dist/commands/mail.d.ts +11 -0
- package/dist/commands/mail.d.ts.map +1 -1
- package/dist/commands/mail.js +5 -1
- package/dist/commands/mail.js.map +1 -1
- package/dist/commands/mail.test.js +19 -0
- package/dist/commands/mail.test.js.map +1 -1
- package/dist/commands/rule-author-command.test.js +29 -2
- package/dist/commands/rule-author-command.test.js.map +1 -1
- package/dist/commands/rule-author-teardown.test.d.ts +2 -0
- package/dist/commands/rule-author-teardown.test.d.ts.map +1 -0
- package/dist/commands/rule-author-teardown.test.js +123 -0
- package/dist/commands/rule-author-teardown.test.js.map +1 -0
- package/dist/commands/rule-author.d.ts +1 -0
- package/dist/commands/rule-author.d.ts.map +1 -1
- package/dist/commands/rule-author.js +143 -2
- package/dist/commands/rule-author.js.map +1 -1
- package/dist/commands/spine-authored-cert-corpus.d.ts +15 -0
- package/dist/commands/spine-authored-cert-corpus.d.ts.map +1 -1
- package/dist/commands/spine-authored-cert-corpus.js +17 -1
- package/dist/commands/spine-authored-cert-corpus.js.map +1 -1
- package/dist/commands/spine-authored-cert-corpus.test.js +440 -4
- package/dist/commands/spine-authored-cert-corpus.test.js.map +1 -1
- package/dist/commands/spine-authored-materialize.d.ts +55 -0
- package/dist/commands/spine-authored-materialize.d.ts.map +1 -0
- package/dist/commands/spine-authored-materialize.js +315 -0
- package/dist/commands/spine-authored-materialize.js.map +1 -0
- package/dist/commands/spine-cert-materialize.d.ts.map +1 -1
- package/dist/commands/spine-cert-materialize.js +17 -0
- package/dist/commands/spine-cert-materialize.js.map +1 -1
- package/dist/commands/spine-cert-persist.d.ts +17 -1
- package/dist/commands/spine-cert-persist.d.ts.map +1 -1
- package/dist/commands/spine-cert-persist.js +17 -5
- package/dist/commands/spine-cert-persist.js.map +1 -1
- package/dist/commands/spine-cert-persist.test.js +60 -0
- package/dist/commands/spine-cert-persist.test.js.map +1 -1
- package/dist/commands/spine-cert-run-corpus.d.ts +18 -28
- package/dist/commands/spine-cert-run-corpus.d.ts.map +1 -1
- package/dist/commands/spine-cert-run-corpus.js +162 -21
- package/dist/commands/spine-cert-run-corpus.js.map +1 -1
- package/dist/commands/spine-derive-labels.d.ts.map +1 -1
- package/dist/commands/spine-derive-labels.js +9 -1
- package/dist/commands/spine-derive-labels.js.map +1 -1
- package/dist/commands/spine-freeze-orchestration.test.d.ts +2 -0
- package/dist/commands/spine-freeze-orchestration.test.d.ts.map +1 -0
- package/dist/commands/spine-freeze-orchestration.test.js +468 -0
- package/dist/commands/spine-freeze-orchestration.test.js.map +1 -0
- package/dist/commands/spine-freeze-split.d.ts +10 -0
- package/dist/commands/spine-freeze-split.d.ts.map +1 -0
- package/dist/commands/spine-freeze-split.js +131 -0
- package/dist/commands/spine-freeze-split.js.map +1 -0
- package/dist/commands/spine-windtunnel.d.ts +35 -0
- package/dist/commands/spine-windtunnel.d.ts.map +1 -1
- package/dist/commands/spine-windtunnel.js +47 -7
- package/dist/commands/spine-windtunnel.js.map +1 -1
- package/dist/index.js +93 -0
- package/dist/index.js.map +1 -1
- package/dist/spine-fixture-ancestry.d.ts +20 -0
- package/dist/spine-fixture-ancestry.d.ts.map +1 -0
- package/dist/spine-fixture-ancestry.js +46 -0
- package/dist/spine-fixture-ancestry.js.map +1 -0
- package/dist/spine-fixture-ancestry.test.d.ts +2 -0
- package/dist/spine-fixture-ancestry.test.d.ts.map +1 -0
- package/dist/spine-fixture-ancestry.test.js +62 -0
- package/dist/spine-fixture-ancestry.test.js.map +1 -0
- package/dist/spine-freeze-proof.d.ts +89 -0
- package/dist/spine-freeze-proof.d.ts.map +1 -0
- package/dist/spine-freeze-proof.js +237 -0
- package/dist/spine-freeze-proof.js.map +1 -0
- package/package.json +2 -2
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"spine-cert-persist.d.ts","sourceRoot":"","sources":["../../src/commands/spine-cert-persist.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,YAAY,EACZ,wBAAwB,EACxB,gBAAgB,EAChB,UAAU,EACV,iBAAiB,EAClB,MAAM,cAAc,CAAC;AAItB,MAAM,WAAW,gBAAgB;IAC/B,uCAAuC;IACvC,OAAO,EAAE,iBAAiB,CAAC;IAC3B,+EAA+E;IAC/E,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,qDAAqD;IACrD,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,+DAA+D;IAC/D,sBAAsB,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,yEAAyE;IACzE,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,4DAA4D;IAC5D,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAChD;;;;;OAKG;IACH,qBAAqB,EAAE,MAAM,CAAC;IAC9B,2DAA2D;IAC3D,SAAS,EAAE,MAAM,CAAC;IAClB,iFAAiF;IACjF,MAAM,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC;
|
|
1
|
+
{"version":3,"file":"spine-cert-persist.d.ts","sourceRoot":"","sources":["../../src/commands/spine-cert-persist.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,YAAY,EACZ,gBAAgB,EAChB,wBAAwB,EACxB,oBAAoB,EACpB,gBAAgB,EAChB,UAAU,EACV,iBAAiB,EAClB,MAAM,cAAc,CAAC;AAItB,MAAM,WAAW,gBAAgB;IAC/B,uCAAuC;IACvC,OAAO,EAAE,iBAAiB,CAAC;IAC3B,+EAA+E;IAC/E,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,qDAAqD;IACrD,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,+DAA+D;IAC/D,sBAAsB,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,yEAAyE;IACzE,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,4DAA4D;IAC5D,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAChD;;;;;OAKG;IACH,qBAAqB,EAAE,MAAM,CAAC;IAC9B,2DAA2D;IAC3D,SAAS,EAAE,MAAM,CAAC;IAClB,iFAAiF;IACjF,MAAM,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC;IACnB;;;;;;OAMG;IACH,KAAK,CAAC,EAAE,gBAAgB,CAAC;IACzB;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,iBAAiB;IAChC,2EAA2E;IAC3E,SAAS,EAAE,OAAO,CAAC;IACnB,kDAAkD;IAClD,YAAY,EAAE,MAAM,CAAC;IACrB,sDAAsD;IACtD,UAAU,EAAE,MAAM,CAAC;IACnB,iEAAiE;IACjE,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,gFAAgF;IAChF,KAAK,EAAE,wBAAwB,EAAE,CAAC;CACnC;AAUD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAsB,wBAAwB,CAC5C,KAAK,EAAE,gBAAgB,GACtB,OAAO,CAAC,iBAAiB,CAAC,CAmG5B"}
|
|
@@ -28,11 +28,14 @@ function timestampSlug(nowIso) {
|
|
|
28
28
|
*/
|
|
29
29
|
export async function persistCertifyingOutcome(input) {
|
|
30
30
|
const { computePerRuleControlResults, projectLegitimacy, buildCertifiedRulesFile, saveCompiledRulesFile, } = await import('@mmnto/totem');
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
31
|
+
// Sibling-selection, data-driven (option (i)): an authored caller hands in the
|
|
32
|
+
// emission-proven C1 map; the mined derivation runs only when none was handed.
|
|
33
|
+
const perRuleControls = input.perRuleControls ??
|
|
34
|
+
computePerRuleControlResults({
|
|
35
|
+
firings: input.firings,
|
|
36
|
+
mintedRuleIds: input.mintedRuleIds,
|
|
37
|
+
positiveControlTargets: input.positiveControlTargets,
|
|
38
|
+
});
|
|
36
39
|
// fold-B — survivor-only, PASS-only legitimacy projection.
|
|
37
40
|
const projection = projectLegitimacy({
|
|
38
41
|
verdict: input.verdict,
|
|
@@ -56,6 +59,15 @@ export async function persistCertifyingOutcome(input) {
|
|
|
56
59
|
generatedAt: input.nowIso,
|
|
57
60
|
asOfCommit: input.asOfCommit,
|
|
58
61
|
verdict: input.verdict,
|
|
62
|
+
// D4 (strategy Q2): verdict-inert Gate-2 eligibility, authored runs only. Top-level
|
|
63
|
+
// sibling of `verdict` — derived from it, never part of it (mined runs omit the key).
|
|
64
|
+
...(input.gate2 ? { gate2: input.gate2 } : {}),
|
|
65
|
+
// #2298 (greptile outside-diff): the C1 per-rule control results, BOTH lanes —
|
|
66
|
+
// for an authored run this is the ONLY durable record of WHY a rule read
|
|
67
|
+
// positiveControl:true (the `§6-emission:` evidence never appears in `firings`);
|
|
68
|
+
// for a mined run it is derivable from `firings` but persisted for symmetry.
|
|
69
|
+
// Sorted by ruleId so the report is byte-stable across runs.
|
|
70
|
+
perRuleControls: Object.fromEntries([...perRuleControls.entries()].sort(([a], [b]) => a.localeCompare(b))),
|
|
59
71
|
persisted,
|
|
60
72
|
stampedRuleIds: projection.stamped.map((r) => r.lessonHash),
|
|
61
73
|
skips: projection.skips,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"spine-cert-persist.js","sourceRoot":"","sources":["../../src/commands/spine-cert-persist.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;
|
|
1
|
+
{"version":3,"file":"spine-cert-persist.js","sourceRoot":"","sources":["../../src/commands/spine-cert-persist.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAuElC,kGAAkG;AAClG,SAAS,aAAa,CAAC,MAAc;IACnC,OAAO,MAAM;SACV,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;SACpB,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;SACtB,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AACtB,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,KAAuB;IAEvB,MAAM,EACJ,4BAA4B,EAC5B,iBAAiB,EACjB,uBAAuB,EACvB,qBAAqB,GACtB,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IAEjC,+EAA+E;IAC/E,+EAA+E;IAC/E,MAAM,eAAe,GACnB,KAAK,CAAC,eAAe;QACrB,4BAA4B,CAAC;YAC3B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,sBAAsB,EAAE,KAAK,CAAC,sBAAsB;SACrD,CAAC,CAAC;IAEL,2DAA2D;IAC3D,MAAM,UAAU,GAAG,iBAAiB,CAAC;QACnC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,eAAe;QACf,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;KACzC,CAAC,CAAC;IAEH,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,kBAAsC,CAAC;IAC3C,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,KAAK,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtE,4EAA4E;QAC5E,MAAM,IAAI,GAAG,uBAAuB,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACzD,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7E,qBAAqB,CAAC,KAAK,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC;QACzD,SAAS,GAAG,IAAI,CAAC;QACjB,kBAAkB,GAAG,KAAK,CAAC,qBAAqB,CAAC;IACnD,CAAC;IAED,6DAA6D;IAC7D,MAAM,MAAM,GAAG;QACb,IAAI,EAAE,wBAAiC;QACvC,WAAW,EAAE,KAAK,CAAC,MAAM;QACzB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,oFAAoF;QACpF,sFAAsF;QACtF,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,+EAA+E;QAC/E,yEAAyE;QACzE,iFAAiF;QACjF,6EAA6E;QAC7E,6DAA6D;QAC7D,eAAe,EAAE,MAAM,CAAC,WAAW,CACjC,CAAC,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CACtE;QACD,SAAS;QACT,cAAc,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;QAC3D,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;QACjC,iFAAiF;QACjF,iFAAiF;QACjF,wEAAwE;QACxE,kFAAkF;QAClF,mEAAmE;QACnE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5D,CAAC,CAAC;KACJ,CAAC;IACF,4EAA4E;IAC5E,yEAAyE;IACzE,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ,CAAC;SACpC,MAAM,CACL,IAAI,CAAC,SAAS,CAAC;QACb,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;QAC9B,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;KACrD,CAAC,CACH;SACA,MAAM,CAAC,KAAK,CAAC;SACb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChB,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAC1B,KAAK,CAAC,SAAS,EACf,OAAO,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,UAAU,OAAO,CACxD,CAAC;IACF,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACnD,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAEvE,OAAO;QACL,SAAS;QACT,YAAY,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM;QACvC,UAAU;QACV,kBAAkB;QAClB,KAAK,EAAE,UAAU,CAAC,KAAK;KACxB,CAAC;AACJ,CAAC"}
|
|
@@ -118,5 +118,65 @@ describe('persistCertifyingOutcome', () => {
|
|
|
118
118
|
const result = await persistCertifyingOutcome(baseInput(makeVerdict('PASS')));
|
|
119
119
|
expect(path.basename(result.reportPath)).toMatch(/^run-20260620T235959-[0-9a-f]{12}\.json$/);
|
|
120
120
|
});
|
|
121
|
+
it('authored run ⟹ the verdict-inert gate2 set persists as a TOP-LEVEL report field, not folded into verdict (D4 Q2)', async () => {
|
|
122
|
+
const gate2 = {
|
|
123
|
+
eligibleRuleIds: ['r1'],
|
|
124
|
+
survivors: [
|
|
125
|
+
{ ruleId: 'r1', heldOutActivations: 3, gate2Eligible: true },
|
|
126
|
+
{ ruleId: 'r2', heldOutActivations: 0, gate2Eligible: false },
|
|
127
|
+
],
|
|
128
|
+
windowDisqualified: false,
|
|
129
|
+
};
|
|
130
|
+
const result = await persistCertifyingOutcome({ ...baseInput(makeVerdict('PASS')), gate2 });
|
|
131
|
+
const report = JSON.parse(fs.readFileSync(result.reportPath, 'utf-8'));
|
|
132
|
+
// Serialized in full (shape, not just presence) as a top-level sibling of `verdict`.
|
|
133
|
+
expect(report.gate2).toEqual(gate2);
|
|
134
|
+
// Altitude separation: gate2 is DERIVED from the verdict, never part of it.
|
|
135
|
+
expect('gate2' in report.verdict).toBe(false);
|
|
136
|
+
});
|
|
137
|
+
it('mined/default run ⟹ the report OMITS the gate2 key entirely (not null)', async () => {
|
|
138
|
+
const result = await persistCertifyingOutcome(baseInput(makeVerdict('PASS')));
|
|
139
|
+
const report = JSON.parse(fs.readFileSync(result.reportPath, 'utf-8'));
|
|
140
|
+
// Key is absent, not serialized-as-null — a mined run has no Gate-2 emission.
|
|
141
|
+
expect('gate2' in report).toBe(false);
|
|
142
|
+
});
|
|
143
|
+
it('option (i): a handed-in authored C1 map REPLACES the mined derivation and persists in the report', async () => {
|
|
144
|
+
// Authored shape: ZERO positive firings (pre-window anchors have no window
|
|
145
|
+
// substrate) — the emission-proven map alone must stamp the survivor AND
|
|
146
|
+
// survive into the durable report (greptile #2298 outside-diff: without it,
|
|
147
|
+
// an auditor cannot see WHY positiveControl read true without a re-run).
|
|
148
|
+
const perRuleControls = new Map([
|
|
149
|
+
[
|
|
150
|
+
'r1',
|
|
151
|
+
{
|
|
152
|
+
positiveControl: true,
|
|
153
|
+
negativeControl: true,
|
|
154
|
+
evidenceRefs: ['§6-emission:422:src/foo.rs:L10-L12'],
|
|
155
|
+
},
|
|
156
|
+
],
|
|
157
|
+
]);
|
|
158
|
+
const result = await persistCertifyingOutcome({
|
|
159
|
+
...baseInput(makeVerdict('PASS')),
|
|
160
|
+
firings: [],
|
|
161
|
+
positiveControlTargets: [],
|
|
162
|
+
perRuleControls,
|
|
163
|
+
});
|
|
164
|
+
expect(result.persisted).toBe(true);
|
|
165
|
+
expect(result.stampedCount).toBe(1);
|
|
166
|
+
const report = JSON.parse(fs.readFileSync(result.reportPath, 'utf-8'));
|
|
167
|
+
expect(report.perRuleControls).toEqual({
|
|
168
|
+
r1: {
|
|
169
|
+
positiveControl: true,
|
|
170
|
+
negativeControl: true,
|
|
171
|
+
evidenceRefs: ['§6-emission:422:src/foo.rs:L10-L12'],
|
|
172
|
+
},
|
|
173
|
+
});
|
|
174
|
+
});
|
|
175
|
+
it('the mined lane also persists its (fire-on-target-derived) C1 map in the report', async () => {
|
|
176
|
+
const result = await persistCertifyingOutcome(baseInput(makeVerdict('PASS')));
|
|
177
|
+
const report = JSON.parse(fs.readFileSync(result.reportPath, 'utf-8'));
|
|
178
|
+
expect(report.perRuleControls.r1.positiveControl).toBe(true);
|
|
179
|
+
expect(report.perRuleControls.r1.evidenceRefs).toEqual(['label-r1-pos']);
|
|
180
|
+
});
|
|
121
181
|
});
|
|
122
182
|
//# sourceMappingURL=spine-cert-persist.test.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"spine-cert-persist.test.js","sourceRoot":"","sources":["../../src/commands/spine-cert-persist.test.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;
|
|
1
|
+
{"version":3,"file":"spine-cert-persist.test.js","sourceRoot":"","sources":["../../src/commands/spine-cert-persist.test.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAWrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAEnE,wDAAwD;AAExD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAC9B,MAAM,GAAG,GAAG,0BAA0B,CAAC;AAEvC,IAAI,MAAc,CAAC;AAEnB,UAAU,CAAC,GAAG,EAAE;IACd,MAAM,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,qBAAqB,CAAC,CAAC,CAAC;AACzE,CAAC,CAAC,CAAC;AAEH,SAAS,CAAC,GAAG,EAAE;IACb,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,SAAS,UAAU,CAAC,QAAQ,GAAG,GAAG;IAChC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,QAAQ,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC5E,CAAC;AAED,SAAS,QAAQ,CAAC,UAAkB;IAClC,OAAO;QACL,UAAU;QACV,aAAa,EAAE,QAAQ,UAAU,EAAE;QACnC,OAAO,EAAE,UAAU;QACnB,OAAO,EAAE,aAAa;QACtB,MAAM,EAAE,OAAO;QACf,UAAU,EAAE,0BAA0B;KACvC,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAA2B;IAC9C,OAAO;QACL,OAAO,EAAE,IAAI;QACb,SAAS,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;QACvC,eAAe,EAAE,CAAC;QAClB,WAAW,EAAE,CAAC;QACd,kBAAkB,EAAE,CAAC;QACrB,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACxB,UAAU,EAAE,EAAE;QACd,UAAU,EAAE,IAAI,KAAK,MAAM;QAC3B,iBAAiB,EAAE,EAAE;QACrB,WAAW,EAAE,EAAE,iBAAiB,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;KACjE,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,SAAS,cAAc;IACrB,OAAO;QACL,MAAM,EAAE,IAAI;QACZ,EAAE,EAAE,CAAC;QACL,QAAQ,EAAE,UAAU;QACpB,WAAW,EAAE,WAAW;QACxB,WAAW,EAAE,UAAU;QACvB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,cAAc;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,OAA0B;IAC3C,OAAO;QACL,OAAO;QACP,OAAO,EAAE,CAAC,cAAc,EAAE,CAAC;QAC3B,aAAa,EAAE,CAAC,IAAI,CAAC;QACrB,sBAAsB,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QACvD,UAAU,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,gBAAgB,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QACjD,qBAAqB,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,qBAAqB,CAAC;QACzE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,aAAa,CAAC;QACrD,MAAM,EAAE,GAAG;QACX,UAAU,EAAE,MAAM;KACnB,CAAC;AACJ,CAAC;AAED,wDAAwD;AAExD,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAE9E,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,WAAW,EAAE,CAAC;QAEhD,yEAAyE;QACzE,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,kBAAmB,EAAE,OAAO,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEhD,4DAA4D;QAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,KAAK,IAAI,EAAE;QACpG,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAAC,SAAS,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAEzF,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,aAAa,EAAE,CAAC;QAClD,qEAAqE;QACrE,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEtF,6DAA6D;QAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,kBAAkB,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC,CAAC;QAEhG,kFAAkF;QAClF,uFAAuF;QACvF,oFAAoF;QACpF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC;YAC7B;gBACE,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,IAAI;gBACZ,EAAE,EAAE,CAAC;gBACL,QAAQ,EAAE,UAAU;gBACpB,WAAW,EAAE,WAAW;gBACxB,WAAW,EAAE,UAAU;gBACvB,YAAY,EAAE,IAAI;aACnB;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;QAC5F,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kHAAkH,EAAE,KAAK,IAAI,EAAE;QAChI,MAAM,KAAK,GAAqB;YAC9B,eAAe,EAAE,CAAC,IAAI,CAAC;YACvB,SAAS,EAAE;gBACT,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE;gBAC5D,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE;aAC9D;YACD,kBAAkB,EAAE,KAAK;SAC1B,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAAC,EAAE,GAAG,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAE5F,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QACvE,qFAAqF;QACrF,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpC,4EAA4E;QAC5E,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QACvE,8EAA8E;QAC9E,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kGAAkG,EAAE,KAAK,IAAI,EAAE;QAChH,2EAA2E;QAC3E,yEAAyE;QACzE,4EAA4E;QAC5E,yEAAyE;QACzE,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;YAC9B;gBACE,IAAI;gBACJ;oBACE,eAAe,EAAE,IAAI;oBACrB,eAAe,EAAE,IAAI;oBACrB,YAAY,EAAE,CAAC,oCAAoC,CAAC;iBACrD;aACF;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAAC;YAC5C,GAAG,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YACjC,OAAO,EAAE,EAAE;YACX,sBAAsB,EAAE,EAAE;YAC1B,eAAe;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC;YACrC,EAAE,EAAE;gBACF,eAAe,EAAE,IAAI;gBACrB,eAAe,EAAE,IAAI;gBACrB,YAAY,EAAE,CAAC,oCAAoC,CAAC;aACrD;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;QAC9F,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -1,9 +1,8 @@
|
|
|
1
1
|
import type { AuthoredControlsDeps, GroundTruthLabel, MinerLedgers, ResolvedPrDiff, ReviewThreadContent, Stage4VerifierDeps, WindtunnelLock } from '@mmnto/totem';
|
|
2
2
|
/** Local alias for the core git exec port (mirrors spine-windtunnel.ts / spine-cert-materialize.ts). */
|
|
3
3
|
type SafeExecFn = typeof import('@mmnto/totem').safeExec;
|
|
4
|
-
import { type BuildAuthoredCertifyingCorpusDeps } from './spine-authored-cert-corpus.js';
|
|
5
4
|
import { type ReplayArtifact } from './spine-llm-replay.js';
|
|
6
|
-
import type { CertifyingCorpus, CertifyingCorpusProvider } from './spine-windtunnel.js';
|
|
5
|
+
import type { CertifyingCorpus, CertifyingCorpusProvider, ResolvedCertifyingRun } from './spine-windtunnel.js';
|
|
7
6
|
/** The frozen llm-replay fixture — produced by `record` (A2), sealed into the lock by `freeze`. */
|
|
8
7
|
export declare const REPLAY_FILE = "llm-replay.v1.json";
|
|
9
8
|
export declare const PR_DIFFS_FILE = "pr-diffs.json";
|
|
@@ -115,16 +114,6 @@ export declare function assembleCertifyingCorpus(opts: ReplayCorpusProviderOptio
|
|
|
115
114
|
* ledgers, which belong to the run artifact).
|
|
116
115
|
*/
|
|
117
116
|
export declare function buildReplayCorpusProvider(opts: ReplayCorpusProviderOptions): CertifyingCorpusProvider;
|
|
118
|
-
/**
|
|
119
|
-
* ADR-112 §6/§9 Slice D1 — the AUTHORED `CertifyingCorpusProvider`, the sibling of
|
|
120
|
-
* `buildReplayCorpusProvider`. A thin adapter over `buildAuthoredCertifyingCorpus`
|
|
121
|
-
* (authored records → compile → §6 controls). It ignores the `lock`: the authored
|
|
122
|
-
* corpus is PRODUCER-driven, and the producer-independent scoring substrate
|
|
123
|
-
* (split / prDiffs / groundTruth) is supplied explicitly via `deps`. The lock-driven
|
|
124
|
-
* sourcing of that substrate (D2) lives in `resolveCertifyingCorpusProvider`, which
|
|
125
|
-
* builds these `deps` from `loadAuthoredCertRunFixtures` + the lock's `authored` block.
|
|
126
|
-
*/
|
|
127
|
-
export declare function buildAuthoredCorpusProvider(deps: BuildAuthoredCertifyingCorpusDeps): CertifyingCorpusProvider;
|
|
128
117
|
/** Injected inputs for the AUTHORED window-wide answer-key deriver's assembly (D2.6). */
|
|
129
118
|
export interface AuthoredCorpusAssemblyOptions {
|
|
130
119
|
/** The `.totem/spine/gate-1` dir holding the committed authored scoring substrate. */
|
|
@@ -137,22 +126,15 @@ export interface AuthoredCorpusAssemblyOptions {
|
|
|
137
126
|
now: string;
|
|
138
127
|
/** Optional §4 differential-evaluator injection (defaults to the real one). */
|
|
139
128
|
authoredControlsDeps?: AuthoredControlsDeps;
|
|
129
|
+
/** Repo root + exec for the R1 freeze-binding resolve+prove (REQUIRED when the lock's
|
|
130
|
+
* expectedSplitRef is content-addressed; a content-addressed run without them fails loud —
|
|
131
|
+
* the proof is never skipped). */
|
|
132
|
+
repoRoot?: string;
|
|
133
|
+
safeExec?: SafeExecFn;
|
|
134
|
+
/** The lc clone — needed for the §5.2 pre-window ancestry proof when a fixture PR is
|
|
135
|
+
* out-of-window; without it such a fixture stays unproven and the intake gate fails loud. */
|
|
136
|
+
lcDir?: string;
|
|
140
137
|
}
|
|
141
|
-
/**
|
|
142
|
-
* ADR-112 §6/§5.3 Slice D2.6 — assemble the AUTHORED `CertifyingCorpus` for the
|
|
143
|
-
* window-wide answer-key DERIVER: the authored sibling of `assembleCertifyingCorpus`'s
|
|
144
|
-
* skip-ground-truth path. `derive-labels` calls this directly — NOT
|
|
145
|
-
* `resolveCertifyingCorpusProvider` (the RUN-path §8 single home; gemini's single-home
|
|
146
|
-
* ruling is untouched). The deriver is a by-hand producer step that enumerates firings
|
|
147
|
-
* over the authored substrate, not a run resolving a provider, so it mirrors the mined
|
|
148
|
-
* deriver's direct `assembleCertifyingCorpus` call rather than re-homing onto the resolver.
|
|
149
|
-
*
|
|
150
|
-
* Ground-truth is ALWAYS skipped: the deriver PRODUCES `ground-truth-labels.json`, so it
|
|
151
|
-
* must not require/read it (circularity). The SCORING source is still hash-bound
|
|
152
|
-
* (`prDiffsSha`) — a tampered pr-diffs.json would corrupt every derived label. The §8
|
|
153
|
-
* ledger-sourced `judgedBy` stays owned by `buildAuthoredCertifyingCorpus` (strategy (iii)).
|
|
154
|
-
* Returns only `{ corpus }` — an authored run mints no miner ledgers.
|
|
155
|
-
*/
|
|
156
138
|
export declare function assembleAuthoredCertifyingCorpus(opts: AuthoredCorpusAssemblyOptions, lock: WindtunnelLock): Promise<{
|
|
157
139
|
corpus: CertifyingCorpus;
|
|
158
140
|
}>;
|
|
@@ -177,6 +159,14 @@ export interface ResolveCorpusProviderInputs {
|
|
|
177
159
|
onLedgers?: (ledgers: MinerLedgers) => void;
|
|
178
160
|
/** Optional §4 differential-evaluator injection for the authored controls (authored path; defaults to the real one). */
|
|
179
161
|
authoredControlsDeps?: AuthoredControlsDeps;
|
|
162
|
+
/** Repo root + exec for the R1 freeze-binding resolve+prove (REQUIRED when the lock's
|
|
163
|
+
* expectedSplitRef is content-addressed; a content-addressed run without them fails loud —
|
|
164
|
+
* the proof is never skipped). */
|
|
165
|
+
repoRoot?: string;
|
|
166
|
+
safeExec?: SafeExecFn;
|
|
167
|
+
/** The lc clone — needed for the §5.2 pre-window ancestry proof when a fixture PR is
|
|
168
|
+
* out-of-window; without it such a fixture stays unproven and the intake gate fails loud. */
|
|
169
|
+
lcDir?: string;
|
|
180
170
|
}
|
|
181
171
|
/**
|
|
182
172
|
* ADR-112 §8 Slice D1/D2 — the SINGLE dispatch home: resolve the right
|
|
@@ -206,6 +196,6 @@ export interface ResolveCorpusProviderInputs {
|
|
|
206
196
|
* (test-lock-only — no production authored lock exists yet) and tracks the window-wide
|
|
207
197
|
* deriver as a follow-on; a production authored run is NOT ready until D2.5 lands.
|
|
208
198
|
*/
|
|
209
|
-
export declare function resolveCertifyingCorpusProvider(lock: WindtunnelLock, inputs: ResolveCorpusProviderInputs): Promise<
|
|
199
|
+
export declare function resolveCertifyingCorpusProvider(lock: WindtunnelLock, inputs: ResolveCorpusProviderInputs): Promise<ResolvedCertifyingRun>;
|
|
210
200
|
export {};
|
|
211
201
|
//# sourceMappingURL=spine-cert-run-corpus.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"spine-cert-run-corpus.d.ts","sourceRoot":"","sources":["../../src/commands/spine-cert-run-corpus.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACV,oBAAoB,EACpB,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACd,mBAAmB,
|
|
1
|
+
{"version":3,"file":"spine-cert-run-corpus.d.ts","sourceRoot":"","sources":["../../src/commands/spine-cert-run-corpus.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACV,oBAAoB,EACpB,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACd,mBAAmB,EAKnB,kBAAkB,EAClB,cAAc,EACf,MAAM,cAAc,CAAC;AAEtB,wGAAwG;AACxG,KAAK,UAAU,GAAG,cAAc,cAAc,EAAE,QAAQ,CAAC;AAMzD,OAAO,EAAE,KAAK,cAAc,EAAwB,MAAM,uBAAuB,CAAC;AAClF,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,qBAAqB,EAEtB,MAAM,uBAAuB,CAAC;AAK/B,mGAAmG;AACnG,eAAO,MAAM,WAAW,uBAAuB,CAAC;AAEhD,eAAO,MAAM,aAAa,kBAAkB,CAAC;AAC7C,uFAAuF;AACvF,eAAO,MAAM,iBAAiB,6BAA6B,CAAC;AAC5D,6FAA6F;AAC7F,eAAO,MAAM,wBAAwB,6BAA6B,CAAC;AAyCnE,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,OAAO,cAAc,EAAE,aAAa,CAAC;IAC5C,QAAQ,EAAE,cAAc,CAAC;IACzB,OAAO,EAAE,mBAAmB,EAAE,CAAC;IAC/B,OAAO,EAAE,cAAc,EAAE,CAAC;IAC1B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CAC5C;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,OAAO,cAAc,EAAE,aAAa,CAAC;IAC5C,OAAO,EAAE,cAAc,EAAE,CAAC;IAC1B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CAC5C;AAED,wBAAsB,6BAA6B,CACjD,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE;IACL,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,GACA,OAAO,CAAC,gBAAgB,CAAC,CAqF3B;AAED;;;;;;GAMG;AACH,wBAAsB,mBAAmB,CACvC,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE;IACL,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,GACA,OAAO,CAAC,oBAAoB,CAAC,CAqD/B;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,2BAA2B,CAC/C,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE;IACL,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAGhC,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,GACA,OAAO,CAAC,gBAAgB,CAAC,CAE3B;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,UAAU,GACnB,kBAAkB,CA6BpB;AAiBD,MAAM,WAAW,2BAA2B;IAC1C,6EAA6E;IAC7E,QAAQ,EAAE,MAAM,CAAC;IACjB,oFAAoF;IACpF,MAAM,EAAE,kBAAkB,CAAC;IAC3B,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;IACZ,8CAA8C;IAC9C,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,4FAA4F;IAC5F,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,IAAI,CAAC;CAC7C;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,2BAA2B,GAAG;IAAE,eAAe,CAAC,EAAE,OAAO,CAAA;CAAE,EACjE,IAAI,EAAE,cAAc,GACnB,OAAO,CAAC;IAAE,MAAM,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,YAAY,CAAA;CAAE,CAAC,CAiE9D;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,2BAA2B,GAChC,wBAAwB,CAkB1B;AAED,yFAAyF;AACzF,MAAM,WAAW,6BAA6B;IAC5C,sFAAsF;IACtF,QAAQ,EAAE,MAAM,CAAC;IACjB,6FAA6F;IAC7F,QAAQ,EAAE,MAAM,CAAC;IACjB,wEAAwE;IACxE,MAAM,EAAE,kBAAkB,CAAC;IAC3B,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;IACZ,+EAA+E;IAC/E,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C;;uCAEmC;IACnC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB;kGAC8F;IAC9F,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAiHD,wBAAsB,gCAAgC,CACpD,IAAI,EAAE,6BAA6B,EACnC,IAAI,EAAE,cAAc,GACnB,OAAO,CAAC;IAAE,MAAM,EAAE,gBAAgB,CAAA;CAAE,CAAC,CA6DvC;AAED;;;;;kEAKkE;AAClE,MAAM,WAAW,2BAA2B;IAC1C,kHAAkH;IAClH,QAAQ,EAAE,MAAM,CAAC;IACjB,6EAA6E;IAC7E,MAAM,EAAE,kBAAkB,CAAC;IAC3B,qDAAqD;IACrD,GAAG,EAAE,MAAM,CAAC;IACZ,kHAAkH;IAClH,QAAQ,EAAE,MAAM,CAAC;IACjB,iEAAiE;IACjE,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,+GAA+G;IAC/G,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,IAAI,CAAC;IAC5C,wHAAwH;IACxH,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C;;uCAEmC;IACnC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB;kGAC8F;IAC9F,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,cAAc,EACpB,MAAM,EAAE,2BAA2B,GAClC,OAAO,CAAC,qBAAqB,CAAC,CAiJhC"}
|
|
@@ -2,7 +2,7 @@ import { createHash } from 'node:crypto';
|
|
|
2
2
|
import * as fs from 'node:fs';
|
|
3
3
|
import * as path from 'node:path';
|
|
4
4
|
import { z } from 'zod';
|
|
5
|
-
import { buildAuthoredCertifyingCorpus
|
|
5
|
+
import { buildAuthoredCertifyingCorpus } from './spine-authored-cert-corpus.js';
|
|
6
6
|
import { buildCertifyingCorpus } from './spine-cert-corpus.js';
|
|
7
7
|
import { buildReplayAdapters } from './spine-cert-record.js';
|
|
8
8
|
import { ReplayArtifactSchema } from './spine-llm-replay.js';
|
|
@@ -303,16 +303,56 @@ export function buildReplayCorpusProvider(opts) {
|
|
|
303
303
|
};
|
|
304
304
|
}
|
|
305
305
|
/**
|
|
306
|
-
*
|
|
307
|
-
*
|
|
308
|
-
* (
|
|
309
|
-
*
|
|
310
|
-
*
|
|
311
|
-
*
|
|
312
|
-
* builds these `deps` from `loadAuthoredCertRunFixtures` + the lock's `authored` block.
|
|
306
|
+
* §5.2 leakage semantics (#2294 couple, operator option (a)): derive the verified
|
|
307
|
+
* pre-window fixture set at a GIT-HOLDING run boundary. Candidates come from the
|
|
308
|
+
* effective authoring-ledger (the run's fixture source of record); the ancestry
|
|
309
|
+
* proof runs against the lc clone. Returns empty — reproducing strict train-only
|
|
310
|
+
* semantics — when there is no frozen binding (legacy lane), no lc clone, no
|
|
311
|
+
* ledger, or no out-of-window fixture (the common case costs zero git work).
|
|
313
312
|
*/
|
|
314
|
-
|
|
315
|
-
|
|
313
|
+
async function deriveVerifiedPreWindowSet(args) {
|
|
314
|
+
const empty = new Set();
|
|
315
|
+
// No binding ⇒ the legacy free-text lane, where §5.2 pre-window semantics do not
|
|
316
|
+
// apply — silently strict is CORRECT there (no diagnostic; nothing was skipped).
|
|
317
|
+
if (!args.freezeBinding)
|
|
318
|
+
return empty;
|
|
319
|
+
if (!args.lcDir || !args.safeExec) {
|
|
320
|
+
// Binding present but no lc clone/exec: the proof is genuinely SKIPPED — say so
|
|
321
|
+
// (CR #2297), or the later "not proven" gate rejection reads as inexplicable.
|
|
322
|
+
console.error('[VerifiedPreWindow] skipped — the freeze binding is engaged but --lc-dir/safeExec ' +
|
|
323
|
+
'is missing; strict train-only fixture gating is in effect (an out-of-window ' +
|
|
324
|
+
'fixture will fail as unproven).');
|
|
325
|
+
return empty;
|
|
326
|
+
}
|
|
327
|
+
const { foldEffectiveLedgerEntries, isBotIdentity, mergeCommitMap, parsePrNumber, parseRevertSha, readAuthoringLedger, } = await import('@mmnto/totem');
|
|
328
|
+
const ledger = readAuthoringLedger(args.totemDir);
|
|
329
|
+
if (ledger.length === 0)
|
|
330
|
+
return empty;
|
|
331
|
+
const fixturePrs = foldEffectiveLedgerEntries(ledger).flatMap((e) => e.positiveFixturePrs);
|
|
332
|
+
const inWindow = new Set([...args.split.trainPrs, ...args.split.heldOutPrs]);
|
|
333
|
+
// Only out-of-window PRs are proof candidates (symmetry with rule-author.ts —
|
|
334
|
+
// greptile #2297; the helper would skip in-window members anyway).
|
|
335
|
+
const outOfWindow = fixturePrs.filter((pr) => !inWindow.has(pr));
|
|
336
|
+
if (outOfWindow.length === 0)
|
|
337
|
+
return empty;
|
|
338
|
+
const { enumeratePrMetas } = await import('./spine-windtunnel.js');
|
|
339
|
+
const { isAncestor } = await import('../git.js');
|
|
340
|
+
const { verifyPreWindowFixturePrs } = await import('../spine-fixture-ancestry.js');
|
|
341
|
+
const lcDir = args.lcDir;
|
|
342
|
+
const safeExec = args.safeExec;
|
|
343
|
+
const boundary = args.freezeBinding.artifact.cutBoundarySha;
|
|
344
|
+
const metas = enumeratePrMetas(args.split.asOfCommit, lcDir, safeExec, {
|
|
345
|
+
parsePrNumber,
|
|
346
|
+
parseRevertSha,
|
|
347
|
+
isBotIdentity,
|
|
348
|
+
});
|
|
349
|
+
return verifyPreWindowFixturePrs({
|
|
350
|
+
fixturePrs: outOfWindow,
|
|
351
|
+
trainPrs: args.split.trainPrs,
|
|
352
|
+
heldOutPrs: args.split.heldOutPrs,
|
|
353
|
+
mergeCommitByPr: mergeCommitMap(metas),
|
|
354
|
+
isAncestorOfCutBoundary: (mc) => isAncestor(lcDir, mc, boundary),
|
|
355
|
+
});
|
|
316
356
|
}
|
|
317
357
|
/**
|
|
318
358
|
* ADR-112 §6/§5.3 Slice D2.6 — assemble the AUTHORED `CertifyingCorpus` for the
|
|
@@ -329,6 +369,27 @@ export function buildAuthoredCorpusProvider(deps) {
|
|
|
329
369
|
* ledger-sourced `judgedBy` stays owned by `buildAuthoredCertifyingCorpus` (strategy (iii)).
|
|
330
370
|
* Returns only `{ corpus }` — an authored run mints no miner ledgers.
|
|
331
371
|
*/
|
|
372
|
+
/**
|
|
373
|
+
* R1: resolve + PROVE the freeze binding at a cert-run boundary. Free-text refs
|
|
374
|
+
* return `undefined` (legacy adherence shape). A content-addressed ref REQUIRES
|
|
375
|
+
* the proof deps — refusing beats silently skipping the shared-history proof
|
|
376
|
+
* (the never-unverified-binding invariant; strategy #2293 round-1 couple read).
|
|
377
|
+
*/
|
|
378
|
+
async function resolveRunFreezeBinding(args) {
|
|
379
|
+
const { SPLIT_REF_RE, TotemError } = await import('@mmnto/totem');
|
|
380
|
+
if (!SPLIT_REF_RE.test(args.expectedSplitRef))
|
|
381
|
+
return undefined;
|
|
382
|
+
if (args.repoRoot === undefined || args.safeExec === undefined) {
|
|
383
|
+
throw new TotemError('GATE_INVALID', `${args.boundary}: the lock's expectedSplitRef is content-addressed (${args.expectedSplitRef.slice(0, 20)}…) but no repoRoot/safeExec were provided for the freeze proof — a frozen-artifact run never skips resolve+prove (ADR-112 §5.1 R1).`, 'Thread repoRoot + safeExec into the run inputs so the freeze binding can be proven.');
|
|
384
|
+
}
|
|
385
|
+
const { resolveProvenFreezeBinding } = await import('../spine-freeze-proof.js');
|
|
386
|
+
return resolveProvenFreezeBinding({
|
|
387
|
+
totemDir: args.totemDir,
|
|
388
|
+
repoRoot: args.repoRoot,
|
|
389
|
+
splitRef: args.expectedSplitRef,
|
|
390
|
+
safeExec: args.safeExec,
|
|
391
|
+
});
|
|
392
|
+
}
|
|
332
393
|
export async function assembleAuthoredCertifyingCorpus(opts, lock) {
|
|
333
394
|
const { TotemError } = await import('@mmnto/totem');
|
|
334
395
|
// require-when-authored (mirrors resolveCertifyingCorpusProvider): the lock's `authored`
|
|
@@ -346,6 +407,20 @@ export async function assembleAuthoredCertifyingCorpus(opts, lock) {
|
|
|
346
407
|
expectedPrDiffsSha: prDiffsSha,
|
|
347
408
|
skipGroundTruth: true,
|
|
348
409
|
});
|
|
410
|
+
const freezeBinding = await resolveRunFreezeBinding({
|
|
411
|
+
expectedSplitRef: lock.authored.expectedSplitRef,
|
|
412
|
+
totemDir: opts.totemDir,
|
|
413
|
+
repoRoot: opts.repoRoot,
|
|
414
|
+
safeExec: opts.safeExec,
|
|
415
|
+
boundary: 'derive-labels (authored)',
|
|
416
|
+
});
|
|
417
|
+
const verifiedPreWindowFixturePrs = await deriveVerifiedPreWindowSet({
|
|
418
|
+
totemDir: opts.totemDir,
|
|
419
|
+
split,
|
|
420
|
+
...(freezeBinding !== undefined ? { freezeBinding } : {}),
|
|
421
|
+
...(opts.lcDir !== undefined ? { lcDir: opts.lcDir } : {}),
|
|
422
|
+
...(opts.safeExec !== undefined ? { safeExec: opts.safeExec } : {}),
|
|
423
|
+
});
|
|
349
424
|
const corpus = await buildAuthoredCertifyingCorpus({
|
|
350
425
|
totemDir: opts.totemDir,
|
|
351
426
|
// NO judgedBy — the §8 single source is derived from the authoring-ledger INSIDE
|
|
@@ -356,7 +431,9 @@ export async function assembleAuthoredCertifyingCorpus(opts, lock) {
|
|
|
356
431
|
groundTruth,
|
|
357
432
|
stage4: opts.stage4,
|
|
358
433
|
now: opts.now,
|
|
434
|
+
verifiedPreWindowFixturePrs,
|
|
359
435
|
...(opts.authoredControlsDeps ? { authoredControlsDeps: opts.authoredControlsDeps } : {}),
|
|
436
|
+
...(freezeBinding !== undefined ? { freezeBinding } : {}),
|
|
360
437
|
});
|
|
361
438
|
return { corpus };
|
|
362
439
|
}
|
|
@@ -389,9 +466,11 @@ export async function assembleAuthoredCertifyingCorpus(opts, lock) {
|
|
|
389
466
|
* deriver as a follow-on; a production authored run is NOT ready until D2.5 lands.
|
|
390
467
|
*/
|
|
391
468
|
export async function resolveCertifyingCorpusProvider(lock, inputs) {
|
|
469
|
+
// Dynamic import (CLI lazy-load convention — CR #2285): @mmnto/totem is heavy; the scorers
|
|
470
|
+
// are captured here (the resolver is async) and closed over by the sync `score` bundle below.
|
|
471
|
+
const { TotemError, scoreWindtunnel, scoreAuthoredWindtunnel, computeAuthoredPerRuleControlResults, deriveGate2Eligibility, } = await import('@mmnto/totem');
|
|
392
472
|
const producerKind = lock.producerKind ?? 'mined';
|
|
393
473
|
if (producerKind === 'authored') {
|
|
394
|
-
const { TotemError } = await import('@mmnto/totem');
|
|
395
474
|
// require-when-authored (codex): the lock's `authored` run-input block is mandatory at
|
|
396
475
|
// cert resolve. The schema enforces only the reject-unless direction (a stray block on a
|
|
397
476
|
// mined lock) — a producerKind:'authored' lock can predate its inputs, so the *require*
|
|
@@ -417,7 +496,26 @@ export async function resolveCertifyingCorpusProvider(lock, inputs) {
|
|
|
417
496
|
expectedPrDiffsSha: prDiffsSha,
|
|
418
497
|
expectedGroundTruthSha: groundTruthSha,
|
|
419
498
|
});
|
|
420
|
-
|
|
499
|
+
// §8 single home (D4 reachable flip): EAGER-build the authored corpus HERE so the scorer
|
|
500
|
+
// binds to THIS run's authored substrate (authoredControls + heldOutPrs) at resolution
|
|
501
|
+
// time. This also runs the D2.5 no-mint `verifyOnly` gate at the EARLIEST point — before
|
|
502
|
+
// the engine, before any scorer call or ledger write (codex Q2). Built once; the provider
|
|
503
|
+
// hands the SAME corpus to the engine, so the firings score the corpus that was built.
|
|
504
|
+
const freezeBinding = await resolveRunFreezeBinding({
|
|
505
|
+
expectedSplitRef: lock.authored.expectedSplitRef,
|
|
506
|
+
totemDir: inputs.totemDir,
|
|
507
|
+
repoRoot: inputs.repoRoot,
|
|
508
|
+
safeExec: inputs.safeExec,
|
|
509
|
+
boundary: 'Certifying run (authored)',
|
|
510
|
+
});
|
|
511
|
+
const verifiedPreWindowFixturePrs = await deriveVerifiedPreWindowSet({
|
|
512
|
+
totemDir: inputs.totemDir,
|
|
513
|
+
split,
|
|
514
|
+
...(freezeBinding !== undefined ? { freezeBinding } : {}),
|
|
515
|
+
...(inputs.lcDir !== undefined ? { lcDir: inputs.lcDir } : {}),
|
|
516
|
+
...(inputs.safeExec !== undefined ? { safeExec: inputs.safeExec } : {}),
|
|
517
|
+
});
|
|
518
|
+
const authoredCorpus = await buildAuthoredCertifyingCorpus({
|
|
421
519
|
totemDir: inputs.totemDir,
|
|
422
520
|
// NO judgedBy — it is the §8 single source in the authoring-ledger, derived inside
|
|
423
521
|
// buildAuthoredCertifyingCorpus (strategy (iii)); the lock must not be a second source.
|
|
@@ -427,17 +525,60 @@ export async function resolveCertifyingCorpusProvider(lock, inputs) {
|
|
|
427
525
|
groundTruth,
|
|
428
526
|
stage4: inputs.stage4,
|
|
429
527
|
now: inputs.now,
|
|
528
|
+
verifiedPreWindowFixturePrs,
|
|
430
529
|
...(inputs.authoredControlsDeps ? { authoredControlsDeps: inputs.authoredControlsDeps } : {}),
|
|
530
|
+
...(freezeBinding !== undefined ? { freezeBinding } : {}),
|
|
431
531
|
});
|
|
532
|
+
// Fail-loud, NEVER fall back to the mined scorer (codex Q1): an authored corpus MUST carry
|
|
533
|
+
// its §6 controls (defined-with-empty-arrays for a no-fixture author, never undefined). A
|
|
534
|
+
// missing substrate scored by the mined scorer would silently PASS a culled differential.
|
|
535
|
+
if (!authoredCorpus.authoredControls) {
|
|
536
|
+
throw new TotemError('GATE_INVALID', 'Certifying run (authored): the authored corpus produced no `authoredControls` — the §6 ' +
|
|
537
|
+
'emission substrate is unbound. Refusing to score an authored corpus with the mined scorer ' +
|
|
538
|
+
'(ADR-112 §5.3 D4 — that would silently PASS a culled differential).', 'Re-derive the authored controls (`spine windtunnel derive-labels`) and re-freeze the cert corpus.');
|
|
539
|
+
}
|
|
540
|
+
const authoredControls = authoredCorpus.authoredControls;
|
|
541
|
+
const heldOutPrs = new Set(split.heldOutPrs);
|
|
542
|
+
return {
|
|
543
|
+
// The lock is accepted (CertifyingCorpusProvider contract) but intentionally ignored:
|
|
544
|
+
// the corpus is eager-built + captured at resolve, so provider-call time needs nothing
|
|
545
|
+
// from it (greptile #2285 P2 — signature parity + self-documented intentional ignore).
|
|
546
|
+
provider: async (_lock) => authoredCorpus,
|
|
547
|
+
score: (base) => {
|
|
548
|
+
// Q1 threading guard: positives are derived INSIDE scoreAuthoredWindtunnel from
|
|
549
|
+
// `authoredControls.positive` — never double-source `engineResult.positiveControlTargets`
|
|
550
|
+
// (that reopens the postimage re-proof the D3 reduction discharged).
|
|
551
|
+
const { positiveControlTargets: _minedPositives, ...rest } = base;
|
|
552
|
+
const verdict = scoreAuthoredWindtunnel({ ...rest, authoredControls, heldOutPrs });
|
|
553
|
+
// Gate-2 eligibility is DOWNSTREAM of the scorer (Q2): the scorer emits raw
|
|
554
|
+
// heldOutActivationsByRule; the intersection (+ §1(k) + the Q4 illegitimate-window
|
|
555
|
+
// disqualifier) is derived here, verdict-inert.
|
|
556
|
+
const gate2 = deriveGate2Eligibility({ mintedRuleIds: base.mintedRuleIds, verdict });
|
|
557
|
+
// Option-(i) ruling (#2291): the C1 per-rule positive-control verdict is the §4
|
|
558
|
+
// differential HELD AT EMISSION — computed HERE (the §8 single home) so persist
|
|
559
|
+
// stays kind-blind and the mined fire-on-target derivation is never consulted
|
|
560
|
+
// for an authored run (pre-window anchors have no window substrate, §5.2).
|
|
561
|
+
const perRuleControls = computeAuthoredPerRuleControlResults({
|
|
562
|
+
firings: base.firings,
|
|
563
|
+
mintedRuleIds: base.mintedRuleIds,
|
|
564
|
+
authoredControls,
|
|
565
|
+
});
|
|
566
|
+
return { kind: 'authored', verdict, gate2, perRuleControls };
|
|
567
|
+
},
|
|
568
|
+
};
|
|
432
569
|
}
|
|
433
|
-
return
|
|
434
|
-
|
|
435
|
-
|
|
436
|
-
|
|
437
|
-
|
|
438
|
-
|
|
439
|
-
|
|
440
|
-
|
|
441
|
-
|
|
570
|
+
return {
|
|
571
|
+
provider: buildReplayCorpusProvider({
|
|
572
|
+
gate1Dir: inputs.gate1Dir,
|
|
573
|
+
stage4: inputs.stage4,
|
|
574
|
+
now: inputs.now,
|
|
575
|
+
...(inputs.seedClassesProvided !== undefined
|
|
576
|
+
? { seedClassesProvided: inputs.seedClassesProvided }
|
|
577
|
+
: {}),
|
|
578
|
+
...(inputs.onLedgers ? { onLedgers: inputs.onLedgers } : {}),
|
|
579
|
+
}),
|
|
580
|
+
// Mined path byte-unchanged: the mined scorer, no authored overhead (gemini Q3 non-interference).
|
|
581
|
+
score: (base) => ({ kind: 'mined', verdict: scoreWindtunnel(base) }),
|
|
582
|
+
};
|
|
442
583
|
}
|
|
443
584
|
//# sourceMappingURL=spine-cert-run-corpus.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"spine-cert-run-corpus.js","sourceRoot":"","sources":["../../src/commands/spine-cert-run-corpus.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAiBxB,OAAO,EACL,6BAA6B,GAE9B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAuB,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAGlF,wDAAwD;AAExD,MAAM,UAAU,GAAG,YAAY,CAAC;AAChC,mGAAmG;AACnG,MAAM,CAAC,MAAM,WAAW,GAAG,oBAAoB,CAAC;AAChD,MAAM,YAAY,GAAG,qBAAqB,CAAC;AAC3C,MAAM,CAAC,MAAM,aAAa,GAAG,eAAe,CAAC;AAC7C,uFAAuF;AACvF,MAAM,CAAC,MAAM,iBAAiB,GAAG,0BAA0B,CAAC;AAC5D,6FAA6F;AAC7F,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAC;AACnE,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,yDAAyD;AAEzD,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC/B,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC;IAClD,OAAO,EAAE,CAAC,CAAC,KAAK,CACd,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACrE,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE;QACvB,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE;KACxB,CAAC,CACH;CACF,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC/B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACvD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACpC,CAAC,CAAC;AAEH,wBAAwB;AACxB,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAEzD,oFAAoF;AACpF,SAAS,gBAAgB,CAAC,QAA+B;IACvD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,OAAO;QACL,KAAK,CAAC,KAAK,CAAC,EAAU;YACpB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7B,OAAO,OAAO;gBACZ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAa,EAAE,OAAO,EAAE;gBAClC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAsB,EAAE,MAAM,EAAE,mCAAmC,EAAE,EAAE,EAAE,CAAC;QACxF,CAAC;KACF,CAAC;AACJ,CAAC;AA0BD,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,QAAgB,EAChB,IAIC;IAED,MAAM,EAAE,mBAAmB,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IAEzE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAU,EAAE;QACvC,IAAI,CAAC;YACH,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACxC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,6BAA6B,IAAI,EAAE,EACnC,uDAAuD,EACvD,GAAG,CACJ,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,GAAW,EAAE,IAAY,EAAW,EAAE;QACvD,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACzB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,uCAAuC,IAAI,GAAG,EAC9C,+DAA+D,EAC/D,GAAG,CACJ,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAE3E,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAEnF,mFAAmF;IACnF,kFAAkF;IAClF,kFAAkF;IAClF,qFAAqF;IACrF,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IACvD,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACxC,IAAI,IAAI,EAAE,kBAAkB,KAAK,SAAS,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC;aAChC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC;aAClD,MAAM,CAAC,KAAK,CAAC,CAAC;QACjB,IAAI,MAAM,KAAK,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACvC,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,6DAA6D,IAAI,CAAC,kBAAkB,QAAQ;gBAC1F,GAAG,MAAM,6DAA6D,EACxE,qEAAqE,CACtE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;IAExF,iFAAiF;IACjF,gFAAgF;IAChF,8EAA8E;IAC9E,iFAAiF;IACjF,gFAAgF;IAChF,IAAI,IAAI,EAAE,eAAe,EAAE,CAAC;QAC1B,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,GAAG,EAA4B,EAAE,CAAC;IAC9E,CAAC;IAED,qFAAqF;IACrF,oFAAoF;IACpF,qFAAqF;IACrF,wFAAwF;IACxF,uFAAuF;IACvF,uFAAuF;IACvF,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAC/D,MAAM,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAChD,IAAI,IAAI,EAAE,sBAAsB,KAAK,SAAS,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC;aAChC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC;aACtD,MAAM,CAAC,KAAK,CAAC,CAAC;QACjB,IAAI,MAAM,KAAK,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAC3C,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,wEAAwE,IAAI,CAAC,sBAAsB,QAAQ;gBACzG,GAAG,MAAM,yDAAyD,EACpE,mGAAmG,CACpG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,cAAc,EAAE,eAAe,CAAC,CAAC,CAAC;IACrF,MAAM,WAAW,GAAG,IAAI,GAAG,CAA2B,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChF,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,QAAgB,EAChB,IAIC;IAED,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IAC/F,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,iCAAiC,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,CAAC;IAE7D,MAAM,OAAO,GAAG,CAAC,IAAY,EAAU,EAAE;QACvC,IAAI,CAAC;YACH,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACxC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,6BAA6B,IAAI,EAAE,EACnC,uDAAuD,EACvD,GAAG,CACJ,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,GAAW,EAAE,IAAY,EAAW,EAAE;QACvD,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACzB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,uCAAuC,IAAI,GAAG,EAC9C,+DAA+D,EAC/D,GAAG,CACJ,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAE3E,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IACxF,iFAAiF;IACjF,2EAA2E;IAC3E,kFAAkF;IAClF,kFAAkF;IAClF,8EAA8E;IAC9E,+EAA+E;IAC/E,kFAAkF;IAClF,MAAM,UAAU,GAAG,CAAC;SACjB,KAAK,CAAC,yBAAyB,CAAC;SAChC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,OAAO,GAA0B,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5D,GAAG,CAAC;QACJ,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7B,GAAG,CAAC;YACJ,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;SAC5E,CAAC,CAAC;KACJ,CAAC,CAAC,CAAC;IAEJ,0FAA0F;IAC1F,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,6BAA6B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC5F,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,QAAgB,EAChB,IAMC;IAED,OAAO,6BAA6B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AACvD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAyB,EACzB,IAAY,EACZ,QAAoB;IAEpB,IAAI,KAAK,EAAE,CAAC;QACV,OAAO;YACL,kFAAkF;YAClF,6EAA6E;YAC7E,kFAAkF;YAClF,wDAAwD;YACxD,SAAS,EAAE,KAAK,IAAI,EAAE,CACpB,QAAQ,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;iBAC1E,KAAK,CAAC,IAAI,CAAC;iBACX,MAAM,CAAC,OAAO,CAAC;YACpB,QAAQ,EAAE,KAAK,EAAE,CAAS,EAAE,EAAE,CAC5B,QAAQ,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;YACrF,gBAAgB,EAAE,KAAK;SACxB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,8EAA8E;QAC9E,6DAA6D;QAC7D,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE;QACzB,QAAQ,EAAE,KAAK,EAAE,CAAS,EAAE,EAAE;YAC5B,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;YACpD,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,kDAAkD,CAAC,eAAe,EAClE,6EAA6E,CAC9E,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,SAAS,eAAe,CACtB,KAA2C,EAC3C,IAAoB;IAEpB,OAAO;QACL,KAAK;QACL,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtD,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,WAAW,EAAE,CAAC,CAAC,WAAW;SAC3B,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAeD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,IAAiE,EACjE,IAAoB;IAEpB,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IACpD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC;IAC1D,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,oFAAoF;YAClF,iDAAiD,EACnD,0CAA0C,CAC3C,CAAC;IACJ,CAAC;IAED,kFAAkF;IAClF,oFAAoF;IACpF,8EAA8E;IAC9E,iFAAiF;IACjF,gFAAgF;IAChF,0FAA0F;IAC1F,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC;IAC9D,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,oFAAoF;YAClF,2DAA2D,EAC7D,qEAAqE,CACtE,CAAC;IACJ,CAAC;IAED,wFAAwF;IACxF,0FAA0F;IAC1F,2FAA2F;IAC3F,iFAAiF;IACjF,2EAA2E;IAC3E,MAAM,sBAAsB,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,cAAc,CAAC;IACtE,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,sBAAsB,EAAE,CAAC;QACrD,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,wFAAwF;YACtF,kEAAkE,EACpE,0GAA0G,CAC3G,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,mBAAmB,CAClF,IAAI,CAAC,QAAQ,EACb;QACE,kBAAkB;QAClB,sBAAsB,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,sBAAsB;QACjF,eAAe,EAAE,IAAI,CAAC,eAAe;KACtC,CACF,CAAC;IACF,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,mBAAmB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAE9E,OAAO,qBAAqB,CAAC;QAC3B,KAAK;QACL,WAAW,EAAE,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC;QACzC,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC;QACjC,SAAS;QACT,UAAU;QACV,mBAAmB,EAAE,IAAI,CAAC,mBAAmB,IAAI,KAAK;QACtD,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,OAAO;QACP,WAAW;KACZ,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAAiC;IAEjC,OAAO,KAAK,EAAE,IAAoB,EAA6B,EAAE;QAC/D,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAEvE,8EAA8E;QAC9E,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACjD,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,EACtC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAChC,OAAO,CACR,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAAuC;IAEvC,OAAO,KAAK,EAAE,KAAqB,EAA6B,EAAE,CAChE,6BAA6B,CAAC,IAAI,CAAC,CAAC;AACxC,CAAC;AAgBD;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,IAAmC,EACnC,IAAoB;IAEpB,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IAEpD,yFAAyF;IACzF,iFAAiF;IACjF,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,wFAAwF;YACtF,6FAA6F,EAC/F,6FAA6F,CAC9F,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;IAC/C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,8FAA8F;YAC5F,6CAA6C,EAC/C,qEAAqE,CACtE,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,2BAA2B,CAAC,IAAI,CAAC,QAAQ,EAAE;QACvF,kBAAkB,EAAE,UAAU;QAC9B,eAAe,EAAE,IAAI;KACtB,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,MAAM,6BAA6B,CAAC;QACjD,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,iFAAiF;QACjF,wFAAwF;QACxF,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,gBAAgB;QAChD,KAAK;QACL,OAAO;QACP,WAAW;QACX,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,IAAI,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1F,CAAC,CAAC;IAEH,OAAO,EAAE,MAAM,EAAE,CAAC;AACpB,CAAC;AAyBD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,CAAC,KAAK,UAAU,+BAA+B,CACnD,IAAoB,EACpB,MAAmC;IAEnC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,OAAO,CAAC;IAClD,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;QAEpD,uFAAuF;QACvF,yFAAyF;QACzF,wFAAwF;QACxF,6FAA6F;QAC7F,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,8FAA8F;gBAC5F,sFAAsF,EACxF,kFAAkF,CACnF,CAAC;QACJ,CAAC;QAED,sFAAsF;QACtF,uFAAuF;QACvF,yFAAyF;QACzF,6DAA6D;QAC7D,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,+FAA+F;gBAC7F,6CAA6C,EAC/C,qEAAqE,CACtE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,qFAAqF;gBACnF,kEAAkE,EACpE,0GAA0G,CAC3G,CAAC;QACJ,CAAC;QAED,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,2BAA2B,CAAC,MAAM,CAAC,QAAQ,EAAE;YACzF,kBAAkB,EAAE,UAAU;YAC9B,sBAAsB,EAAE,cAAc;SACvC,CAAC,CAAC;QAEH,OAAO,2BAA2B,CAAC;YACjC,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,mFAAmF;YACnF,wFAAwF;YACxF,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,gBAAgB;YAChD,KAAK;YACL,OAAO;YACP,WAAW;YACX,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,GAAG,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9F,CAAC,CAAC;IACL,CAAC;IAED,OAAO,yBAAyB,CAAC;QAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,GAAG,CAAC,MAAM,CAAC,mBAAmB,KAAK,SAAS;YAC1C,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,EAAE;YACrD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7D,CAAC,CAAC;AACL,CAAC"}
|
|
1
|
+
{"version":3,"file":"spine-cert-run-corpus.js","sourceRoot":"","sources":["../../src/commands/spine-cert-run-corpus.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAoBxB,OAAO,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAuB,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAQlF,wDAAwD;AAExD,MAAM,UAAU,GAAG,YAAY,CAAC;AAChC,mGAAmG;AACnG,MAAM,CAAC,MAAM,WAAW,GAAG,oBAAoB,CAAC;AAChD,MAAM,YAAY,GAAG,qBAAqB,CAAC;AAC3C,MAAM,CAAC,MAAM,aAAa,GAAG,eAAe,CAAC;AAC7C,uFAAuF;AACvF,MAAM,CAAC,MAAM,iBAAiB,GAAG,0BAA0B,CAAC;AAC5D,6FAA6F;AAC7F,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAC;AACnE,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,yDAAyD;AAEzD,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC/B,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC;IAClD,OAAO,EAAE,CAAC,CAAC,KAAK,CACd,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACrE,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE;QACvB,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE;KACxB,CAAC,CACH;CACF,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC/B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACvD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACpC,CAAC,CAAC;AAEH,wBAAwB;AACxB,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAEzD,oFAAoF;AACpF,SAAS,gBAAgB,CAAC,QAA+B;IACvD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,OAAO;QACL,KAAK,CAAC,KAAK,CAAC,EAAU;YACpB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7B,OAAO,OAAO;gBACZ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAa,EAAE,OAAO,EAAE;gBAClC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAsB,EAAE,MAAM,EAAE,mCAAmC,EAAE,EAAE,EAAE,CAAC;QACxF,CAAC;KACF,CAAC;AACJ,CAAC;AA0BD,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,QAAgB,EAChB,IAIC;IAED,MAAM,EAAE,mBAAmB,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IAEzE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAU,EAAE;QACvC,IAAI,CAAC;YACH,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACxC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,6BAA6B,IAAI,EAAE,EACnC,uDAAuD,EACvD,GAAG,CACJ,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,GAAW,EAAE,IAAY,EAAW,EAAE;QACvD,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACzB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,uCAAuC,IAAI,GAAG,EAC9C,+DAA+D,EAC/D,GAAG,CACJ,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAE3E,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAEnF,mFAAmF;IACnF,kFAAkF;IAClF,kFAAkF;IAClF,qFAAqF;IACrF,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IACvD,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACxC,IAAI,IAAI,EAAE,kBAAkB,KAAK,SAAS,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC;aAChC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC;aAClD,MAAM,CAAC,KAAK,CAAC,CAAC;QACjB,IAAI,MAAM,KAAK,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACvC,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,6DAA6D,IAAI,CAAC,kBAAkB,QAAQ;gBAC1F,GAAG,MAAM,6DAA6D,EACxE,qEAAqE,CACtE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;IAExF,iFAAiF;IACjF,gFAAgF;IAChF,8EAA8E;IAC9E,iFAAiF;IACjF,gFAAgF;IAChF,IAAI,IAAI,EAAE,eAAe,EAAE,CAAC;QAC1B,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,GAAG,EAA4B,EAAE,CAAC;IAC9E,CAAC;IAED,qFAAqF;IACrF,oFAAoF;IACpF,qFAAqF;IACrF,wFAAwF;IACxF,uFAAuF;IACvF,uFAAuF;IACvF,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAC/D,MAAM,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAChD,IAAI,IAAI,EAAE,sBAAsB,KAAK,SAAS,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC;aAChC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC;aACtD,MAAM,CAAC,KAAK,CAAC,CAAC;QACjB,IAAI,MAAM,KAAK,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAC3C,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,wEAAwE,IAAI,CAAC,sBAAsB,QAAQ;gBACzG,GAAG,MAAM,yDAAyD,EACpE,mGAAmG,CACpG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,cAAc,EAAE,eAAe,CAAC,CAAC,CAAC;IACrF,MAAM,WAAW,GAAG,IAAI,GAAG,CAA2B,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChF,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,QAAgB,EAChB,IAIC;IAED,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IAC/F,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,iCAAiC,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,CAAC;IAE7D,MAAM,OAAO,GAAG,CAAC,IAAY,EAAU,EAAE;QACvC,IAAI,CAAC;YACH,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACxC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,6BAA6B,IAAI,EAAE,EACnC,uDAAuD,EACvD,GAAG,CACJ,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,GAAW,EAAE,IAAY,EAAW,EAAE;QACvD,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACzB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,uCAAuC,IAAI,GAAG,EAC9C,+DAA+D,EAC/D,GAAG,CACJ,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAE3E,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IACxF,iFAAiF;IACjF,2EAA2E;IAC3E,kFAAkF;IAClF,kFAAkF;IAClF,8EAA8E;IAC9E,+EAA+E;IAC/E,kFAAkF;IAClF,MAAM,UAAU,GAAG,CAAC;SACjB,KAAK,CAAC,yBAAyB,CAAC;SAChC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,OAAO,GAA0B,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5D,GAAG,CAAC;QACJ,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7B,GAAG,CAAC;YACJ,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;SAC5E,CAAC,CAAC;KACJ,CAAC,CAAC,CAAC;IAEJ,0FAA0F;IAC1F,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,6BAA6B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC5F,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,QAAgB,EAChB,IAMC;IAED,OAAO,6BAA6B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AACvD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAyB,EACzB,IAAY,EACZ,QAAoB;IAEpB,IAAI,KAAK,EAAE,CAAC;QACV,OAAO;YACL,kFAAkF;YAClF,6EAA6E;YAC7E,kFAAkF;YAClF,wDAAwD;YACxD,SAAS,EAAE,KAAK,IAAI,EAAE,CACpB,QAAQ,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;iBAC1E,KAAK,CAAC,IAAI,CAAC;iBACX,MAAM,CAAC,OAAO,CAAC;YACpB,QAAQ,EAAE,KAAK,EAAE,CAAS,EAAE,EAAE,CAC5B,QAAQ,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;YACrF,gBAAgB,EAAE,KAAK;SACxB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,8EAA8E;QAC9E,6DAA6D;QAC7D,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE;QACzB,QAAQ,EAAE,KAAK,EAAE,CAAS,EAAE,EAAE;YAC5B,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;YACpD,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,kDAAkD,CAAC,eAAe,EAClE,6EAA6E,CAC9E,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,SAAS,eAAe,CACtB,KAA2C,EAC3C,IAAoB;IAEpB,OAAO;QACL,KAAK;QACL,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtD,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,WAAW,EAAE,CAAC,CAAC,WAAW;SAC3B,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAeD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,IAAiE,EACjE,IAAoB;IAEpB,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IACpD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC;IAC1D,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,oFAAoF;YAClF,iDAAiD,EACnD,0CAA0C,CAC3C,CAAC;IACJ,CAAC;IAED,kFAAkF;IAClF,oFAAoF;IACpF,8EAA8E;IAC9E,iFAAiF;IACjF,gFAAgF;IAChF,0FAA0F;IAC1F,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC;IAC9D,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,oFAAoF;YAClF,2DAA2D,EAC7D,qEAAqE,CACtE,CAAC;IACJ,CAAC;IAED,wFAAwF;IACxF,0FAA0F;IAC1F,2FAA2F;IAC3F,iFAAiF;IACjF,2EAA2E;IAC3E,MAAM,sBAAsB,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,cAAc,CAAC;IACtE,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,sBAAsB,EAAE,CAAC;QACrD,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,wFAAwF;YACtF,kEAAkE,EACpE,0GAA0G,CAC3G,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,mBAAmB,CAClF,IAAI,CAAC,QAAQ,EACb;QACE,kBAAkB;QAClB,sBAAsB,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,sBAAsB;QACjF,eAAe,EAAE,IAAI,CAAC,eAAe;KACtC,CACF,CAAC;IACF,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,mBAAmB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAE9E,OAAO,qBAAqB,CAAC;QAC3B,KAAK;QACL,WAAW,EAAE,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC;QACzC,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC;QACjC,SAAS;QACT,UAAU;QACV,mBAAmB,EAAE,IAAI,CAAC,mBAAmB,IAAI,KAAK;QACtD,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,OAAO;QACP,WAAW;KACZ,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAAiC;IAEjC,OAAO,KAAK,EAAE,IAAoB,EAA6B,EAAE;QAC/D,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAEvE,8EAA8E;QAC9E,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACjD,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,EACtC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAChC,OAAO,CACR,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;AACJ,CAAC;AAwBD;;;;;;;GAOG;AACH,KAAK,UAAU,0BAA0B,CAAC,IAMzC;IACC,MAAM,KAAK,GAAwB,IAAI,GAAG,EAAU,CAAC;IACrD,iFAAiF;IACjF,iFAAiF;IACjF,IAAI,CAAC,IAAI,CAAC,aAAa;QAAE,OAAO,KAAK,CAAC;IACtC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,gFAAgF;QAChF,8EAA8E;QAC9E,OAAO,CAAC,KAAK,CACX,oFAAoF;YAClF,8EAA8E;YAC9E,iCAAiC,CACpC,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,EACJ,0BAA0B,EAC1B,aAAa,EACb,cAAc,EACd,aAAa,EACb,cAAc,EACd,mBAAmB,GACpB,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,UAAU,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;IAC3F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7E,8EAA8E;IAC9E,mEAAmE;IACnE,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACjE,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,MAAM,EAAE,gBAAgB,EAAE,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;IACnE,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,CAAC;IACjD,MAAM,EAAE,yBAAyB,EAAE,GAAG,MAAM,MAAM,CAAC,8BAA8B,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,cAAc,CAAC;IAC5D,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE;QACrE,aAAa;QACb,cAAc;QACd,aAAa;KACd,CAAC,CAAC;IACH,OAAO,yBAAyB,CAAC;QAC/B,UAAU,EAAE,WAAW;QACvB,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ;QAC7B,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU;QACjC,eAAe,EAAE,cAAc,CAAC,KAAK,CAAC;QACtC,uBAAuB,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,EAAE,QAAQ,CAAC;KACjE,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH;;;;;GAKG;AACH,KAAK,UAAU,uBAAuB,CAAC,IAMtC;IACC,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IAClE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC;QAAE,OAAO,SAAS,CAAC;IAChE,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC/D,MAAM,IAAI,UAAU,CAClB,cAAc,EACd,GAAG,IAAI,CAAC,QAAQ,uDAAuD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,qIAAqI,EAC9O,qFAAqF,CACtF,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,0BAA0B,EAAE,GAAG,MAAM,MAAM,CAAC,0BAA0B,CAAC,CAAC;IAChF,OAAO,0BAA0B,CAAC;QAChC,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,IAAI,CAAC,gBAAgB;QAC/B,QAAQ,EAAE,IAAI,CAAC,QAAQ;KACxB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,IAAmC,EACnC,IAAoB;IAEpB,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IAEpD,yFAAyF;IACzF,iFAAiF;IACjF,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,wFAAwF;YACtF,6FAA6F,EAC/F,6FAA6F,CAC9F,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;IAC/C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,8FAA8F;YAC5F,6CAA6C,EAC/C,qEAAqE,CACtE,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,2BAA2B,CAAC,IAAI,CAAC,QAAQ,EAAE;QACvF,kBAAkB,EAAE,UAAU;QAC9B,eAAe,EAAE,IAAI;KACtB,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,MAAM,uBAAuB,CAAC;QAClD,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,gBAAgB;QAChD,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,0BAA0B;KACrC,CAAC,CAAC;IAEH,MAAM,2BAA2B,GAAG,MAAM,0BAA0B,CAAC;QACnE,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,KAAK;QACL,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,MAAM,6BAA6B,CAAC;QACjD,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,iFAAiF;QACjF,wFAAwF;QACxF,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,gBAAgB;QAChD,KAAK;QACL,OAAO;QACP,WAAW;QACX,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,2BAA2B;QAC3B,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,IAAI,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1D,CAAC,CAAC;IAEH,OAAO,EAAE,MAAM,EAAE,CAAC;AACpB,CAAC;AAiCD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,CAAC,KAAK,UAAU,+BAA+B,CACnD,IAAoB,EACpB,MAAmC;IAEnC,2FAA2F;IAC3F,8FAA8F;IAC9F,MAAM,EACJ,UAAU,EACV,eAAe,EACf,uBAAuB,EACvB,oCAAoC,EACpC,sBAAsB,GACvB,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IACjC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,OAAO,CAAC;IAClD,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;QAChC,uFAAuF;QACvF,yFAAyF;QACzF,wFAAwF;QACxF,6FAA6F;QAC7F,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,8FAA8F;gBAC5F,sFAAsF,EACxF,kFAAkF,CACnF,CAAC;QACJ,CAAC;QAED,sFAAsF;QACtF,uFAAuF;QACvF,yFAAyF;QACzF,6DAA6D;QAC7D,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,+FAA+F;gBAC7F,6CAA6C,EAC/C,qEAAqE,CACtE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,MAAM,IAAI,UAAU,CAClB,gBAAgB,EAChB,qFAAqF;gBACnF,kEAAkE,EACpE,0GAA0G,CAC3G,CAAC;QACJ,CAAC;QAED,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,2BAA2B,CAAC,MAAM,CAAC,QAAQ,EAAE;YACzF,kBAAkB,EAAE,UAAU;YAC9B,sBAAsB,EAAE,cAAc;SACvC,CAAC,CAAC;QAEH,yFAAyF;QACzF,uFAAuF;QACvF,yFAAyF;QACzF,0FAA0F;QAC1F,uFAAuF;QACvF,MAAM,aAAa,GAAG,MAAM,uBAAuB,CAAC;YAClD,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,gBAAgB;YAChD,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,QAAQ,EAAE,2BAA2B;SACtC,CAAC,CAAC;QAEH,MAAM,2BAA2B,GAAG,MAAM,0BAA0B,CAAC;YACnE,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,KAAK;YACL,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxE,CAAC,CAAC;QAEH,MAAM,cAAc,GAAG,MAAM,6BAA6B,CAAC;YACzD,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,mFAAmF;YACnF,wFAAwF;YACxF,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,gBAAgB;YAChD,KAAK;YACL,OAAO;YACP,WAAW;YACX,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,2BAA2B;YAC3B,GAAG,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7F,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1D,CAAC,CAAC;QAEH,2FAA2F;QAC3F,0FAA0F;QAC1F,0FAA0F;QAC1F,IAAI,CAAC,cAAc,CAAC,gBAAgB,EAAE,CAAC;YACrC,MAAM,IAAI,UAAU,CAClB,cAAc,EACd,yFAAyF;gBACvF,4FAA4F;gBAC5F,qEAAqE,EACvE,mGAAmG,CACpG,CAAC;QACJ,CAAC;QACD,MAAM,gBAAgB,GAAG,cAAc,CAAC,gBAAgB,CAAC;QACzD,MAAM,UAAU,GAAwB,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAElE,OAAO;YACL,sFAAsF;YACtF,uFAAuF;YACvF,uFAAuF;YACvF,QAAQ,EAAE,KAAK,EAAE,KAAqB,EAA6B,EAAE,CAAC,cAAc;YACpF,KAAK,EAAE,CAAC,IAAiB,EAAa,EAAE;gBACtC,gFAAgF;gBAChF,0FAA0F;gBAC1F,qEAAqE;gBACrE,MAAM,EAAE,sBAAsB,EAAE,eAAe,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;gBAClE,MAAM,OAAO,GAAG,uBAAuB,CAAC,EAAE,GAAG,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC,CAAC;gBACnF,4EAA4E;gBAC5E,mFAAmF;gBACnF,gDAAgD;gBAChD,MAAM,KAAK,GAAG,sBAAsB,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;gBACrF,gFAAgF;gBAChF,gFAAgF;gBAChF,8EAA8E;gBAC9E,2EAA2E;gBAC3E,MAAM,eAAe,GAAG,oCAAoC,CAAC;oBAC3D,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,aAAa,EAAE,IAAI,CAAC,aAAa;oBACjC,gBAAgB;iBACjB,CAAC,CAAC;gBACH,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;YAC/D,CAAC;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,yBAAyB,CAAC;YAClC,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,GAAG,CAAC,MAAM,CAAC,mBAAmB,KAAK,SAAS;gBAC1C,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,EAAE;gBACrD,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC7D,CAAC;QACF,kGAAkG;QAClG,KAAK,EAAE,CAAC,IAAiB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;KAC7F,CAAC;AACJ,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"spine-derive-labels.d.ts","sourceRoot":"","sources":["../../src/commands/spine-derive-labels.ts"],"names":[],"mappings":"AA+BA,MAAM,WAAW,mBAAmB;IAClC,yFAAyF;IACzF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,8FAA8F;IAC9F,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,EACX,WAAW,CAAC,EAAE,MAAM,GACnB,MAAM,CAIR;AAED,wBAAsB,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,
|
|
1
|
+
{"version":3,"file":"spine-derive-labels.d.ts","sourceRoot":"","sources":["../../src/commands/spine-derive-labels.ts"],"names":[],"mappings":"AA+BA,MAAM,WAAW,mBAAmB;IAClC,yFAAyF;IACzF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,8FAA8F;IAC9F,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,EACX,WAAW,CAAC,EAAE,MAAM,GACnB,MAAM,CAIR;AAED,wBAAsB,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,CAuMlF"}
|
|
@@ -33,8 +33,11 @@ export function resolveAuthoredTotemDir(lockPath, cwd, totemDirOpt) {
|
|
|
33
33
|
: path.dirname(path.dirname(path.dirname(lockPath)));
|
|
34
34
|
}
|
|
35
35
|
export async function deriveLabelsCommand(opts) {
|
|
36
|
-
const { WindtunnelLockSchema, CorpusDispositionsSchema, deriveLabelsFromDispositions, canonicalStringify, safeExec, TotemError, } = await import('@mmnto/totem');
|
|
36
|
+
const { WindtunnelLockSchema, CorpusDispositionsSchema, deriveLabelsFromDispositions, canonicalStringify, resolveGitRoot, safeExec, TotemError, } = await import('@mmnto/totem');
|
|
37
37
|
const cwd = opts.cwd ?? process.cwd();
|
|
38
|
+
// The freeze proof's git invocations are repo-root-relative — a subdirectory cwd
|
|
39
|
+
// would break `git show <commit>:<path>` (CR #2293 round 2; matches spine-windtunnel).
|
|
40
|
+
const repoRoot = resolveGitRoot(cwd) ?? cwd;
|
|
38
41
|
const lockPath = opts.lockPath
|
|
39
42
|
? path.resolve(cwd, opts.lockPath)
|
|
40
43
|
: path.resolve(cwd, '.totem/spine/gate-1/windtunnel.lock.json');
|
|
@@ -114,6 +117,11 @@ export async function deriveLabelsCommand(opts) {
|
|
|
114
117
|
totemDir: resolveAuthoredTotemDir(lockPath, cwd, opts.totemDir),
|
|
115
118
|
stage4,
|
|
116
119
|
now,
|
|
120
|
+
// R1: a content-addressed lock ref requires the freeze proof at this boundary.
|
|
121
|
+
repoRoot,
|
|
122
|
+
safeExec,
|
|
123
|
+
// §5.2: the pre-window fixture ancestry proof runs against the lc clone.
|
|
124
|
+
lcDir,
|
|
117
125
|
}, lock)
|
|
118
126
|
: await assembleCertifyingCorpus({ gate1Dir, stage4, now, skipGroundTruth: true }, lock);
|
|
119
127
|
const built = await buildCertifyingFirings({
|