@sun-asterisk/sungen 3.3.0-alpha.2 → 3.3.0-alpha.3
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/cli/commands/contract.d.ts +3 -0
- package/dist/cli/commands/contract.d.ts.map +1 -1
- package/dist/cli/commands/contract.js +34 -4
- package/dist/cli/commands/contract.js.map +1 -1
- package/dist/contract/accept-opaque-steps.d.ts +3 -0
- package/dist/contract/accept-opaque-steps.d.ts.map +1 -0
- package/dist/contract/accept-opaque-steps.js +114 -0
- package/dist/contract/accept-opaque-steps.js.map +1 -0
- package/dist/contract/approve-contract.d.ts +8 -1
- package/dist/contract/approve-contract.d.ts.map +1 -1
- package/dist/contract/approve-contract.js +6 -0
- package/dist/contract/approve-contract.js.map +1 -1
- package/dist/contract/build-contract-verdict.js +2 -2
- package/dist/contract/build-contract-verdict.js.map +1 -1
- package/dist/contract/build-trace-conformance.d.ts +5 -1
- package/dist/contract/build-trace-conformance.d.ts.map +1 -1
- package/dist/contract/build-trace-conformance.js +9 -4
- package/dist/contract/build-trace-conformance.js.map +1 -1
- package/dist/contract/classify-contract-change.d.ts +3 -2
- package/dist/contract/classify-contract-change.d.ts.map +1 -1
- package/dist/contract/classify-contract-change.js.map +1 -1
- package/dist/contract/classify-trace-conformance.d.ts +18 -3
- package/dist/contract/classify-trace-conformance.d.ts.map +1 -1
- package/dist/contract/classify-trace-conformance.js +64 -17
- package/dist/contract/classify-trace-conformance.js.map +1 -1
- package/dist/contract/contract-schema.d.ts +21 -0
- package/dist/contract/contract-schema.d.ts.map +1 -1
- package/dist/contract/contract-schema.js +25 -3
- package/dist/contract/contract-schema.js.map +1 -1
- package/dist/contract/contracts-lock-file.d.ts.map +1 -1
- package/dist/contract/contracts-lock-file.js +1 -0
- package/dist/contract/contracts-lock-file.js.map +1 -1
- package/dist/contract/project-contract-blockers.d.ts.map +1 -1
- package/dist/contract/project-contract-blockers.js +4 -2
- package/dist/contract/project-contract-blockers.js.map +1 -1
- package/dist/contract/record-contract-approval.d.ts +16 -1
- package/dist/contract/record-contract-approval.d.ts.map +1 -1
- package/dist/contract/record-contract-approval.js +29 -1
- package/dist/contract/record-contract-approval.js.map +1 -1
- package/dist/contract/render-free-gherkin.d.ts +2 -0
- package/dist/contract/render-free-gherkin.d.ts.map +1 -1
- package/dist/contract/render-free-gherkin.js +6 -0
- package/dist/contract/render-free-gherkin.js.map +1 -1
- package/dist/contract/trace/collect-trace-evidence.d.ts +8 -3
- package/dist/contract/trace/collect-trace-evidence.d.ts.map +1 -1
- package/dist/contract/trace/collect-trace-evidence.js +65 -34
- package/dist/contract/trace/collect-trace-evidence.js.map +1 -1
- package/dist/contract/trace/read-file-once.d.ts +20 -0
- package/dist/contract/trace/read-file-once.d.ts.map +1 -0
- package/dist/contract/trace/read-file-once.js +135 -0
- package/dist/contract/trace/read-file-once.js.map +1 -0
- package/dist/contract/trace/select-final-attempt.d.ts +2 -2
- package/dist/contract/trace/select-final-attempt.d.ts.map +1 -1
- package/dist/contract/trace/select-final-attempt.js +3 -3
- package/dist/contract/trace/select-final-attempt.js.map +1 -1
- package/dist/contract/trace/trace-file-reader.d.ts +7 -1
- package/dist/contract/trace/trace-file-reader.d.ts.map +1 -1
- package/dist/contract/trace/trace-file-reader.js +17 -41
- package/dist/contract/trace/trace-file-reader.js.map +1 -1
- package/dist/contract/trace/trace-run-record.d.ts +2 -2
- package/dist/contract/trace/trace-run-record.d.ts.map +1 -1
- package/dist/contract/trace/trace-run-record.js +3 -3
- package/dist/contract/trace/trace-run-record.js.map +1 -1
- package/dist/contract/verify-approval-decisions.d.ts.map +1 -1
- package/dist/contract/verify-approval-decisions.js +9 -4
- package/dist/contract/verify-approval-decisions.js.map +1 -1
- package/package.json +3 -3
- package/src/cli/commands/contract.ts +35 -4
- package/src/contract/accept-opaque-steps.ts +114 -0
- package/src/contract/approve-contract.ts +10 -3
- package/src/contract/build-contract-verdict.ts +2 -2
- package/src/contract/build-trace-conformance.ts +8 -3
- package/src/contract/classify-contract-change.ts +3 -3
- package/src/contract/classify-trace-conformance.ts +76 -22
- package/src/contract/contract-schema.ts +31 -2
- package/src/contract/contracts-lock-file.ts +1 -0
- package/src/contract/project-contract-blockers.ts +4 -2
- package/src/contract/record-contract-approval.ts +41 -1
- package/src/contract/render-free-gherkin.ts +5 -0
- package/src/contract/trace/collect-trace-evidence.ts +66 -29
- package/src/contract/trace/read-file-once.ts +95 -0
- package/src/contract/trace/select-final-attempt.ts +3 -3
- package/src/contract/trace/trace-file-reader.ts +17 -6
- package/src/contract/trace/trace-run-record.ts +3 -3
- package/src/contract/verify-approval-decisions.ts +9 -5
|
@@ -4,6 +4,9 @@
|
|
|
4
4
|
* approve --screen <u> [--scenario <id>] [--reason <text>]
|
|
5
5
|
* a human types a confirmation on a TTY; writes contracts.lock.yaml + a contract-approval
|
|
6
6
|
* decision. No TTY → refused with the exact command (exit 1).
|
|
7
|
+
* approve --screen <u> --scenario <id> --accept-opaque [--reason <text>]
|
|
8
|
+
* the same human act for the reviewed opaque trace steps of one approved free / impl:code
|
|
9
|
+
* scenario (#923): bound to each step as it reads now (accept-opaque-steps.ts).
|
|
7
10
|
* check --screen <u> [--trace] [--json]
|
|
8
11
|
* rebuilds the verdict from .feature + lock + git HEAD + recorded traces (never from a report),
|
|
9
12
|
* writes .sungen/reports/<slug>-contract.json as output (secret-scanned first). Exit 2 on a hard
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/contract.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAiFpC,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA8D9D"}
|
|
@@ -38,6 +38,7 @@ const fs = __importStar(require("fs"));
|
|
|
38
38
|
const path = __importStar(require("path"));
|
|
39
39
|
const approve_contract_1 = require("../../contract/approve-contract");
|
|
40
40
|
const build_contract_verdict_1 = require("../../contract/build-contract-verdict");
|
|
41
|
+
const classify_trace_conformance_1 = require("../../contract/classify-trace-conformance");
|
|
41
42
|
const contract_report_file_1 = require("../../contract/contract-report-file");
|
|
42
43
|
const contract_schema_1 = require("../../contract/contract-schema");
|
|
43
44
|
const human_confirmation_1 = require("../../decisions/human-confirmation");
|
|
@@ -52,7 +53,12 @@ const MARK = {
|
|
|
52
53
|
/** `contract check` judges traces with a generous deadline (the guard path keeps ~3 s). */
|
|
53
54
|
const CHECK_TRACE_BUDGET_MS = 120000;
|
|
54
55
|
const UNPROVEN_HINT = " → free / impl:code tests need their own config (outputDir 'test-results-free', trace: 'on', the sungen run-record reporter), then a fresh run (see `sungen contract derive`).";
|
|
55
|
-
|
|
56
|
+
/** The command that recompiles a unit's spec — `sungen generate --screen|--flow|--api <unit>`. */
|
|
57
|
+
function generateCommand(unit) {
|
|
58
|
+
const kind = path.relative(path.join(process.cwd(), 'qa'), unit.dir).split(path.sep)[0];
|
|
59
|
+
return `sungen generate --${kind === 'flows' ? 'flow' : kind === 'api' ? 'api' : 'screen'} ${unit.name}`;
|
|
60
|
+
}
|
|
61
|
+
function printVerdict(v, reportFile, generate) {
|
|
56
62
|
const L = console.log;
|
|
57
63
|
const head = v.verdict === 'pass' ? '✓ PASS' : v.verdict === 'review'
|
|
58
64
|
? '⚖ REVIEW — changed, not weaker. Exit 0 here, but review blocks `sungen delivery` until QA re-approves' : '✗ FAIL';
|
|
@@ -89,8 +95,20 @@ function printVerdict(v, reportFile) {
|
|
|
89
95
|
: onlyUnproven ? " → Re-run the free / impl:code tests with trace: 'on', then check again."
|
|
90
96
|
: ' → Restore the approved checks in the .feature — or, if the change is intended, QA approves it on a terminal:');
|
|
91
97
|
}
|
|
92
|
-
|
|
98
|
+
// An opaque step is not cleared by re-approving (#923): QA reviews it, then accepts it as it reads now.
|
|
99
|
+
const acceptable = blocking.filter((s) => s.class === 'opaque' && s.trace?.opaque?.some((o) => !o.accepted)
|
|
100
|
+
&& !s.findings.some((f) => f.detail.startsWith(classify_trace_conformance_1.LOW_IDENTITY_FINDING)));
|
|
101
|
+
if (v.verdict !== 'pass' && !v.uncommitted.length && !onlyUnproven && acceptable.length < blocking.length)
|
|
93
102
|
L(` sungen contract approve --screen ${v.unit}`);
|
|
103
|
+
for (const s of acceptable) {
|
|
104
|
+
L(` → ${s.id}: QA reviews each opaque step above (verbatim, file:line); to accept them as they read now, on a terminal:`);
|
|
105
|
+
L(` sungen contract approve --screen ${v.unit} --scenario ${s.id} --accept-opaque`);
|
|
106
|
+
}
|
|
107
|
+
// A weakened compiled scenario also leaves its spec out of step (#943): name the command that fixes the drift.
|
|
108
|
+
// (A free / impl:code scenario carries a trace summary; its test is hand-written, never regenerated.)
|
|
109
|
+
if (v.verdict === 'fail' && !v.uncommitted.length && v.scenarios.some((s) => !s.trace && contract_schema_1.HARD_CLASSES.has(s.class))) {
|
|
110
|
+
L(` → After fixing the scenario, run \`${generate}\`: until the compiled spec is regenerated, \`sungen script-check\` reports drift.`);
|
|
111
|
+
}
|
|
94
112
|
L(` Report: ${path.relative(process.cwd(), reportFile)}`);
|
|
95
113
|
L('');
|
|
96
114
|
}
|
|
@@ -109,14 +127,26 @@ function registerContractCommand(program) {
|
|
|
109
127
|
.option('-s, --screen <name>', 'Screen / flow / api unit name')
|
|
110
128
|
.option('--scenario <id>', 'Approve one scenario only (its ID, e.g. VP-LOGIN-001)')
|
|
111
129
|
.option('--reason <text>', 'Why (recorded in the contract-approval decision)')
|
|
130
|
+
.option('--accept-opaque', 'With --scenario: accept the reviewed opaque trace step(s) of one approved free / impl:code scenario')
|
|
112
131
|
.action(async (options) => {
|
|
113
132
|
try {
|
|
114
133
|
const unit = unitOrThrow(options.screen);
|
|
115
|
-
const r = await (0, approve_contract_1.approveContract)({
|
|
134
|
+
const r = await (0, approve_contract_1.approveContract)({
|
|
135
|
+
projectRoot: process.cwd(), unit: unit.name, scenario: options.scenario, reason: options.reason, acceptOpaque: options.acceptOpaque === true, io: (0, human_confirmation_1.processIO)(),
|
|
136
|
+
});
|
|
116
137
|
if (r.status === 'nothing-to-approve') {
|
|
117
138
|
console.log(`\n= Nothing to approve: every chosen scenario of ${unit.name} already matches its approved lock entry.\n`);
|
|
118
139
|
return;
|
|
119
140
|
}
|
|
141
|
+
if (r.status === 'nothing-to-accept') {
|
|
142
|
+
console.log(`\n= Nothing to accept: every opaque step of ${options.scenario} is already accepted as it reads now.\n`);
|
|
143
|
+
return;
|
|
144
|
+
}
|
|
145
|
+
if (r.status === 'accepted') {
|
|
146
|
+
console.log(`\n✓ Accepted ${r.accepted?.length ?? 0} opaque step(s) of ${options.scenario} → ${path.relative(process.cwd(), r.lockPath)} (decision ${r.decisionId})`);
|
|
147
|
+
console.log(' Commit the lock and the decision through review, then re-run the free test with its trace: a trace older than the lock proves nothing.\n');
|
|
148
|
+
return;
|
|
149
|
+
}
|
|
120
150
|
console.log(`\n✓ Approved ${r.approved.length} scenario(s)${r.removed.length ? `, removed ${r.removed.length}` : ''} → ${path.relative(process.cwd(), r.lockPath)} (decision ${r.decisionId})`);
|
|
121
151
|
console.log(' Commit the lock and the decision through review: until they are in git HEAD, `sungen contract check` reports contract.lock-uncommitted.\n');
|
|
122
152
|
}
|
|
@@ -146,7 +176,7 @@ function registerContractCommand(program) {
|
|
|
146
176
|
if (options.json)
|
|
147
177
|
console.log(JSON.stringify(verdict, null, 2));
|
|
148
178
|
else
|
|
149
|
-
printVerdict(verdict, file);
|
|
179
|
+
printVerdict(verdict, file, generateCommand(unit));
|
|
150
180
|
process.exit(verdict.exitCode);
|
|
151
181
|
}
|
|
152
182
|
catch (error) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../../src/cli/commands/contract.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
1
|
+
{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../../src/cli/commands/contract.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkGA,0DA8DC;AA9ID,uCAAyB;AACzB,2CAA6B;AAC7B,sEAAkE;AAClE,kFAA8F;AAC9F,0FAAiF;AACjF,8EAA8F;AAC9F,oEAA8E;AAC9E,2EAA+D;AAC/D,kEAAoE;AACpE,sFAAyE;AACzE,gGAA0F;AAC1F,uEAAkE;AAElE,MAAM,IAAI,GAA2B;IACnC,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,iBAAiB,EAAE,GAAG,EAAE,gBAAgB,EAAE,GAAG,EAAE,gBAAgB,EAAE,GAAG;IACvI,MAAM,EAAE,GAAG,EAAE,gBAAgB,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG;CACrE,CAAC;AACF,2FAA2F;AAC3F,MAAM,qBAAqB,GAAG,MAAO,CAAC;AACtC,MAAM,aAAa,GAAG,mLAAmL,CAAC;AAE1M,kGAAkG;AAClG,SAAS,eAAe,CAAC,IAAmC;IAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,OAAO,qBAAqB,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;AAC3G,CAAC;AAED,SAAS,YAAY,CAAC,CAAkB,EAAE,UAAkB,EAAE,QAAgB;IAC5E,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC;IACtB,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ;QACnE,CAAC,CAAC,uGAAuG,CAAC,CAAC,CAAC,QAAQ,CAAC;IACvH,CAAC,CAAC,EAAE,CAAC,CAAC;IACN,CAAC,CAAC,uBAAuB,CAAC,CAAC,IAAI,qCAAqC,CAAC,CAAC;IACtE,CAAC,CAAC,EAAE,CAAC,CAAC;IACN,CAAC,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;IACxB,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IACtE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,EAAE,CAAC;QAC/D,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,uCAAuC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3H,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;YAAE,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACrH,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM;YAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,UAAU,CAAC,CAAC;QACzH,IAAI,CAAC,CAAC,KAAK,KAAK,UAAU;YAAE,CAAC,CAAC,aAAa,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,OAAO;QAAE,CAAC,CAAC,OAAO,OAAO,0CAA0C,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,CAAC,CAAyC,EAAU,EAAE,CAClE,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,MAAM,oBAAoB,CAAC;IAC5I,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC;IACvG,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,EAAE;QAAE,CAAC,CAAC,aAAa,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,EAAE,gEAAgE,CAAC,CAAC;IACzI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;QAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,EAAE,CAAC,CAAC;IACN,mFAAmF;IACnF,MAAM,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,8BAAY,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,gCAAc,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACrG,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC;IAC1F,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QACzB,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM;YACpB,CAAC,CAAC,oHAAoH;YACtH,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,2EAA2E;gBAC1F,CAAC,CAAC,gHAAgH,CAAC,CAAC;IAC1H,CAAC;IACD,wGAAwG;IACxG,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;WACtG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,iDAAoB,CAAC,CAAC,CAAC,CAAC;IACzE,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,YAAY,IAAI,UAAU,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM;QAAE,CAAC,CAAC,wCAAwC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/J,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,4GAA4G,CAAC,CAAC;QAC3H,CAAC,CAAC,wCAAwC,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACzF,CAAC;IACD,+GAA+G;IAC/G,sGAAsG;IACtG,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,8BAAY,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACpH,CAAC,CAAC,wCAAwC,QAAQ,oFAAoF,CAAC,CAAC;IAC1I,CAAC;IACD,CAAC,CAAC,aAAa,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC,CAAC,EAAE,CAAC,CAAC;AACR,CAAC;AAED,SAAS,WAAW,CAAC,IAAwB;IAC3C,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACtD,OAAO,IAAA,oCAAmB,EAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;AAClD,CAAC;AAED,SAAgB,uBAAuB,CAAC,OAAgB;IACtD,MAAM,QAAQ,GAAG,OAAO;SACrB,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,yHAAyH,CAAC,CAAC;IAE1I,QAAQ;SACL,OAAO,CAAC,SAAS,CAAC;SAClB,WAAW,CAAC,2FAA2F,CAAC;SACxG,MAAM,CAAC,qBAAqB,EAAE,+BAA+B,CAAC;SAC9D,MAAM,CAAC,iBAAiB,EAAE,uDAAuD,CAAC;SAClF,MAAM,CAAC,iBAAiB,EAAE,kDAAkD,CAAC;SAC7E,MAAM,CAAC,iBAAiB,EAAE,qGAAqG,CAAC;SAChI,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACxB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,GAAG,MAAM,IAAA,kCAAe,EAAC;gBAC9B,WAAW,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,KAAK,IAAI,EAAE,EAAE,EAAE,IAAA,8BAAS,GAAE;aAC9J,CAAC,CAAC;YACH,IAAI,CAAC,CAAC,MAAM,KAAK,oBAAoB,EAAE,CAAC;gBAAC,OAAO,CAAC,GAAG,CAAC,oDAAoD,IAAI,CAAC,IAAI,6CAA6C,CAAC,CAAC;gBAAC,OAAO;YAAC,CAAC;YAC3K,IAAI,CAAC,CAAC,MAAM,KAAK,mBAAmB,EAAE,CAAC;gBAAC,OAAO,CAAC,GAAG,CAAC,+CAA+C,OAAO,CAAC,QAAQ,yCAAyC,CAAC,CAAC;gBAAC,OAAO;YAAC,CAAC;YACxK,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBAC5B,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,sBAAsB,OAAO,CAAC,QAAQ,MAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC;gBACtK,OAAO,CAAC,GAAG,CAAC,4IAA4I,CAAC,CAAC;gBAC1J,OAAO;YACT,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,MAAM,eAAe,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC;YAChM,OAAO,CAAC,GAAG,CAAC,6IAA6I,CAAC,CAAC;QAC7J,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACxE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC,CAAC,CAAC;IAEL,QAAQ;SACL,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,gGAAgG,CAAC;SAC7G,MAAM,CAAC,qBAAqB,EAAE,+BAA+B,CAAC;SAC9D,MAAM,CAAC,SAAS,EAAE,gGAAgG,CAAC;SACnH,MAAM,CAAC,QAAQ,EAAE,4BAA4B,CAAC;SAC9C,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACxB,IAAI,IAA+C,CAAC;QACpD,IAAI,CAAC;YACH,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACnC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,IAAA,0DAA0B,EAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACzF,kFAAkF;YAClF,MAAM,OAAO,GAAG,IAAA,6CAAoB,EAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,aAAa,EAAE,qBAAqB,EAAE,CAAC,CAAC;YACpG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YAChC,MAAM,IAAI,GAAG,IAAA,yCAAc,EAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,gBAAgB,CAAC,CAAC;YAC5F,IAAI,IAAI,CAAC,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,4DAA4D,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACrJ,MAAM,IAAI,GAAG,IAAA,0CAAmB,EAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC;YACzD,IAAI,OAAO,CAAC,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;;gBAC3D,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;YACxD,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACjC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,4FAA4F;YAC5F,IAAI,IAAI;gBAAE,EAAE,CAAC,MAAM,CAAC,IAAA,yCAAkB,EAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACnF,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACxE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC,CAAC,CAAC;IAEL,IAAA,+CAAqB,EAAC,QAAQ,CAAC,CAAC;AAClC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"accept-opaque-steps.d.ts","sourceRoot":"","sources":["../../src/contract/accept-opaque-steps.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAwDtE,wBAAsB,iBAAiB,CAAC,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CA8B/E"}
|
|
@@ -0,0 +1,114 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
exports.acceptOpaqueSteps = acceptOpaqueSteps;
|
|
4
|
+
/**
|
|
5
|
+
* `sungen contract approve --screen <u> --scenario <id> --accept-opaque` — a QA accepts the reviewed
|
|
6
|
+
* opaque steps of ONE approved free / impl:code scenario (#923). An opaque step (a check on a JS value,
|
|
7
|
+
* an API request, an evaluate) is never compared by code, so without this an approved test that has one
|
|
8
|
+
* stays in review for good: re-approving changes nothing and contract.opaque-step allows no override.
|
|
9
|
+
* In order, like `approve` (approve-contract.ts), so a human never confirms something then refused:
|
|
10
|
+
*
|
|
11
|
+
* 1. the scenario must be approved AS IT READS NOW — its lock entry human-approved, intact, at the
|
|
12
|
+
* current hash, and vouched for by its decision — else: approve it first
|
|
13
|
+
* 2. its verdict is rebuilt (buildContractVerdict, as `contract check`): the opaque steps must be the
|
|
14
|
+
* ONLY thing holding it; anything else (changed, unproven, inconclusive, a `low` identity…) refuses
|
|
15
|
+
* with its own fix. Every opaque step already accepted → nothing to accept, no prompt
|
|
16
|
+
* 3. each opaque step is shown verbatim with its file:line; on a TTY the human types the scenario id
|
|
17
|
+
* and a one-time code — without one: refused with the exact command (an agent never runs this)
|
|
18
|
+
* 4. everything is read AGAIN: if the trace, the feature or the lock moved meanwhile → refused
|
|
19
|
+
* 5. a contract-approval decision records the scenario at its hash WITH the accepted steps (step + sha)
|
|
20
|
+
* and the lock entry points at it (record-contract-approval.ts)
|
|
21
|
+
*
|
|
22
|
+
* The acceptance is bound to each step's sha (opaqueStepSha): a change to an accepted step, or a new
|
|
23
|
+
* approval of the scenario, brings it back to review.
|
|
24
|
+
*
|
|
25
|
+
* Trust boundary: the TTY confirmation guards this command, not the files. A lock entry AND a matching
|
|
26
|
+
* decision forged together and committed through review are trusted like any approval — git review
|
|
27
|
+
* is that boundary, here as for `approve`.
|
|
28
|
+
*/
|
|
29
|
+
const decision_source_1 = require("../decisions/decision-source");
|
|
30
|
+
const human_confirmation_1 = require("../decisions/human-confirmation");
|
|
31
|
+
const build_contract_verdict_1 = require("./build-contract-verdict");
|
|
32
|
+
const classify_trace_conformance_1 = require("./classify-trace-conformance");
|
|
33
|
+
const contract_hash_1 = require("./contract-hash");
|
|
34
|
+
const contract_schema_1 = require("./contract-schema");
|
|
35
|
+
const contract_units_1 = require("./contract-units");
|
|
36
|
+
const contracts_lock_file_1 = require("./contracts-lock-file");
|
|
37
|
+
const normalize_feature_steps_1 = require("./normalize-feature-steps");
|
|
38
|
+
const record_contract_approval_1 = require("./record-contract-approval");
|
|
39
|
+
const verify_approval_decisions_1 = require("./verify-approval-decisions");
|
|
40
|
+
/** Accepting reads the traces with `contract check`'s generous deadline, never the guard's ~3 s. */
|
|
41
|
+
const ACCEPT_TRACE_BUDGET_MS = 120000;
|
|
42
|
+
/** Findings that never hold a scenario back may stand beside the opaque steps. */
|
|
43
|
+
const HARMLESS = new Set(['strengthened', 'nondeterministic']);
|
|
44
|
+
const isLow = (detail) => detail.startsWith(classify_trace_conformance_1.LOW_IDENTITY_FINDING);
|
|
45
|
+
function plan(i, id) {
|
|
46
|
+
const unit = (0, contract_units_1.resolveContractUnit)(i.projectRoot, i.unit);
|
|
47
|
+
const lock = (0, contracts_lock_file_1.readLockFile)((0, contracts_lock_file_1.lockPathFor)(unit.dir));
|
|
48
|
+
const matches = (0, normalize_feature_steps_1.loadContractScenarios)(unit.dir, unit.name).filter((s) => s.id === id);
|
|
49
|
+
if (!matches.length)
|
|
50
|
+
throw new Error(`--scenario ${id} names no scenario of ${i.unit}`);
|
|
51
|
+
if (matches.length > 1)
|
|
52
|
+
throw new Error(`Refused: scenario id ${id} is used by ${matches.length} scenarios — an acceptance must name exactly one. Give each its own ID.`);
|
|
53
|
+
const sc = matches[0];
|
|
54
|
+
if (sc.implementation === 'compiled')
|
|
55
|
+
throw new Error(`Refused: ${id} is compiled — only a free / impl:code test has trace steps to accept.`);
|
|
56
|
+
const entry = lock?.scenarios[id];
|
|
57
|
+
if (!lock || !(0, contract_schema_1.isHumanApproved)(entry) || lock.tampered.includes(id) || entry.hash !== sc.hash) {
|
|
58
|
+
throw new Error(`Refused: ${id} is not approved as it reads now — approve it first (\`sungen contract approve --screen ${i.unit} --scenario ${id}\`), re-run it with a trace, then accept its opaque steps.`);
|
|
59
|
+
}
|
|
60
|
+
// The entry an acceptance re-points must be QA's own: its decision (on disk) vouches for it as it is.
|
|
61
|
+
const [unvouched] = (0, verify_approval_decisions_1.unverifiedApprovals)(i.projectRoot, unit.dir, { schema: lock.schema, scenarios: { [id]: entry } }, new Set(), { root: i.projectRoot, timeoutMs: 0, blobs: null });
|
|
62
|
+
if (unvouched)
|
|
63
|
+
throw new Error(`Refused: the lock entry of ${id} is not vouched for by its decision (${unvouched.detail}) — restore the lock from git, or approve the scenario again.`);
|
|
64
|
+
const v = (0, build_contract_verdict_1.buildContractVerdict)(i.projectRoot, unit, { traceBudgetMs: ACCEPT_TRACE_BUDGET_MS });
|
|
65
|
+
const bad = v.uncommitted.find((u) => u.id === id && (u.change === 'tampered' || u.change === 'unverified'));
|
|
66
|
+
if (bad)
|
|
67
|
+
throw new Error(`Refused: the lock entry of ${id} is ${bad.change} (${bad.detail}) — restore it from git before accepting anything.`);
|
|
68
|
+
const r = v.scenarios.find((s) => s.id === id);
|
|
69
|
+
const blocking = (r?.findings ?? []).filter((f) => !HARMLESS.has(f.class) && !(f.class === 'opaque' && !isLow(f.detail)));
|
|
70
|
+
if (blocking.length) {
|
|
71
|
+
const fix = blocking.some((f) => isLow(f.detail))
|
|
72
|
+
? `run \`sungen contract check --screen ${i.unit} --trace\` (a real browser resolves the identity) first`
|
|
73
|
+
: `settle that first — \`sungen contract check --screen ${i.unit}\` names the fix`;
|
|
74
|
+
throw new Error(`Refused: accepting clears only opaque steps, and ${id} is also held by: ${blocking.map((f) => `${f.class}${f.step ? ` (step ${f.step})` : ''} — ${f.detail}`).join('; ')}. ${fix[0].toUpperCase()}${fix.slice(1)}.`);
|
|
75
|
+
}
|
|
76
|
+
const opaque = r?.trace?.opaque ?? [];
|
|
77
|
+
if (!opaque.length)
|
|
78
|
+
throw new Error(`Refused: the trace of ${id} has no opaque step — nothing to accept (${r?.class ?? 'not judged'}).`);
|
|
79
|
+
return { unitDir: unit.dir, unit: unit.name, scenario: sc, lock, decisionId: entry.decisionId, opaque, fingerprint: (0, contract_hash_1.canonicalJson)({ lock, hash: sc.hash, opaque }) };
|
|
80
|
+
}
|
|
81
|
+
const describe = (o) => `${o.accepted ? '=' : '◐'} step ${o.step} opaque ${o.kind === 'assert' ? 'check' : 'step'} "${o.verbatim}"${o.where ? ` at ${o.where}` : ''}`
|
|
82
|
+
+ `${o.replaces ? ` — replaces approved ${o.replaces}` : ''}${o.accepted ? ' (accepted before)' : ''}`;
|
|
83
|
+
async function acceptOpaqueSteps(i) {
|
|
84
|
+
const id = i.scenario;
|
|
85
|
+
if (!id)
|
|
86
|
+
throw new Error('--accept-opaque needs --scenario <id>: an acceptance names the one scenario whose opaque steps QA reviewed');
|
|
87
|
+
const before = plan(i, id);
|
|
88
|
+
const lockPath = (0, contracts_lock_file_1.lockPathFor)(before.unitDir);
|
|
89
|
+
if (before.opaque.every((o) => o.accepted))
|
|
90
|
+
return { status: 'nothing-to-accept', lockPath, approved: [], removed: [] };
|
|
91
|
+
const pending = before.opaque.filter((o) => !o.accepted);
|
|
92
|
+
await (0, human_confirmation_1.requireTypedConfirmation)({
|
|
93
|
+
what: `accept ${pending.length} reviewed opaque step(s) of ${id} (${i.unit}) — steps sungen cannot compare, so they are never checked by code`,
|
|
94
|
+
phrase: id,
|
|
95
|
+
command: (0, human_confirmation_1.formatCommand)(['sungen', 'contract', 'approve', '--screen', i.unit, '--scenario', id, '--accept-opaque', ...(i.reason ? ['--reason', i.reason] : [])]),
|
|
96
|
+
summary: [
|
|
97
|
+
...before.opaque.map(describe),
|
|
98
|
+
`bound to each step as it reads now: a change to it, or a new approval of ${id}, brings it back to review`,
|
|
99
|
+
`${id} stays approved at hash ${before.scenario.hash}; its lock entry moves from decision ${before.decisionId} to the new one`,
|
|
100
|
+
`recorded by: ${(0, decision_source_1.gitUserName)(i.projectRoot)}`,
|
|
101
|
+
],
|
|
102
|
+
io: i.io,
|
|
103
|
+
});
|
|
104
|
+
const after = plan(i, id);
|
|
105
|
+
if (after.fingerprint !== before.fingerprint) {
|
|
106
|
+
throw new Error('Refused: the trace, the feature or the lock changed while you were confirming — nothing was written. Run the command again and review the new summary.');
|
|
107
|
+
}
|
|
108
|
+
const { decisionId } = (0, record_contract_approval_1.recordOpaqueAcceptance)({
|
|
109
|
+
projectRoot: i.projectRoot, unitDir: after.unitDir, unit: after.unit, scenario: after.scenario, reason: i.reason, lock: after.lock,
|
|
110
|
+
accepted: after.opaque.map((o) => ({ step: o.step, sha: o.sha })),
|
|
111
|
+
});
|
|
112
|
+
return { status: 'accepted', lockPath, decisionId, approved: [id], removed: [], accepted: after.opaque };
|
|
113
|
+
}
|
|
114
|
+
//# sourceMappingURL=accept-opaque-steps.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"accept-opaque-steps.js","sourceRoot":"","sources":["../../src/contract/accept-opaque-steps.ts"],"names":[],"mappings":";;AAmFA,8CA8BC;AAjHD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,kEAA2D;AAC3D,wEAA0F;AAE1F,qEAAgE;AAChE,6EAAoE;AACpE,mDAAgD;AAChD,uDAAkF;AAClF,qDAAuD;AACvD,+DAA4E;AAC5E,uEAAkE;AAClE,yEAAoE;AACpE,2EAAkE;AAElE,oGAAoG;AACpG,MAAM,sBAAsB,GAAG,MAAO,CAAC;AACvC,kFAAkF;AAClF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC,CAAC;AAI/D,MAAM,KAAK,GAAG,CAAC,MAAc,EAAW,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,iDAAoB,CAAC,CAAC;AAEnF,SAAS,IAAI,CAAC,CAAe,EAAE,EAAU;IACvC,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,IAAA,kCAAY,EAAC,IAAA,iCAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,IAAA,+CAAqB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACtF,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,cAAc,EAAE,yBAAyB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACxF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,EAAE,eAAe,OAAO,CAAC,MAAM,yEAAyE,CAAC,CAAC;IAC1K,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,EAAE,CAAC,cAAc,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,wEAAwE,CAAC,CAAC;IAC9I,MAAM,KAAK,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IAClC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAA,iCAAe,EAAC,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;QAC7F,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,2FAA2F,CAAC,CAAC,IAAI,eAAe,EAAE,4DAA4D,CAAC,CAAC;IAChN,CAAC;IACD,sGAAsG;IACtG,MAAM,CAAC,SAAS,CAAC,GAAG,IAAA,+CAAmB,EAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACrL,IAAI,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,EAAE,wCAAwC,SAAS,CAAC,MAAM,+DAA+D,CAAC,CAAC;IAExL,MAAM,CAAC,GAAG,IAAA,6CAAoB,EAAC,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE,aAAa,EAAE,sBAAsB,EAAE,CAAC,CAAC;IAC/F,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC;IAC7G,IAAI,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,EAAE,OAAO,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,oDAAoD,CAAC,CAAC;IAC/I,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1H,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC/C,CAAC,CAAC,wCAAwC,CAAC,CAAC,IAAI,yDAAyD;YACzG,CAAC,CAAC,wDAAwD,CAAC,CAAC,IAAI,kBAAkB,CAAC;QACrF,MAAM,IAAI,KAAK,CAAC,oDAAoD,EAAE,qBAAqB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACxO,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,IAAI,EAAE,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,EAAE,4CAA4C,CAAC,EAAE,KAAK,IAAI,YAAY,IAAI,CAAC,CAAC;IACzI,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,IAAA,6BAAa,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AACvK,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAa,EAAU,EAAE,CACzC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;MAC5I,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAEnG,KAAK,UAAU,iBAAiB,CAAC,CAAe;IACrD,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,4GAA4G,CAAC,CAAC;IACvI,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAG,IAAA,iCAAW,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAExH,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACzD,MAAM,IAAA,6CAAwB,EAAC;QAC7B,IAAI,EAAE,UAAU,OAAO,CAAC,MAAM,+BAA+B,EAAE,KAAK,CAAC,CAAC,IAAI,oEAAoE;QAC9I,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,IAAA,kCAAa,EAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,iBAAiB,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/J,OAAO,EAAE;YACP,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC9B,4EAA4E,EAAE,4BAA4B;YAC1G,GAAG,EAAE,2BAA2B,MAAM,CAAC,QAAQ,CAAC,IAAI,wCAAwC,MAAM,CAAC,UAAU,iBAAiB;YAC9H,gBAAgB,IAAA,6BAAW,EAAC,CAAC,CAAC,WAAW,CAAC,EAAE;SAC7C;QACD,EAAE,EAAE,CAAC,CAAC,EAAE;KACT,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1B,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,wJAAwJ,CAAC,CAAC;IAC5K,CAAC;IACD,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,iDAAsB,EAAC;QAC5C,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI;QAClI,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;KAClE,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AAC3G,CAAC"}
|
|
@@ -11,21 +11,28 @@
|
|
|
11
11
|
* 5. read everything AGAIN: if the feature or the lock moved while the human was reading, what
|
|
12
12
|
* they confirmed is not what would be written — refuse (L5)
|
|
13
13
|
* 6. record the decision and the lock (record-contract-approval.ts)
|
|
14
|
+
*
|
|
15
|
+
* `--accept-opaque` (with `--scenario`) is the other human act of this command: accepting the reviewed
|
|
16
|
+
* opaque trace steps of one approved free / impl:code scenario — accept-opaque-steps.ts (#923).
|
|
14
17
|
*/
|
|
15
18
|
import { ConfirmationIO } from '../decisions/human-confirmation';
|
|
19
|
+
import { OpaqueStep } from './contract-schema';
|
|
16
20
|
export interface ApproveInput {
|
|
17
21
|
projectRoot: string;
|
|
18
22
|
unit: string;
|
|
19
23
|
scenario?: string;
|
|
20
24
|
reason?: string;
|
|
21
25
|
io: ConfirmationIO;
|
|
26
|
+
acceptOpaque?: boolean;
|
|
22
27
|
}
|
|
23
28
|
export interface ApproveResult {
|
|
24
|
-
status: 'approved' | 'nothing-to-approve';
|
|
29
|
+
status: 'approved' | 'nothing-to-approve' | 'accepted' | 'nothing-to-accept';
|
|
25
30
|
lockPath: string;
|
|
26
31
|
decisionId?: string;
|
|
27
32
|
approved: string[];
|
|
28
33
|
removed: string[];
|
|
34
|
+
/** `--accept-opaque`: the scenario's opaque steps, all accepted by the new decision. */
|
|
35
|
+
accepted?: OpaqueStep[];
|
|
29
36
|
}
|
|
30
37
|
export declare function approveContract(i: ApproveInput): Promise<ApproveResult>;
|
|
31
38
|
//# sourceMappingURL=approve-contract.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"approve-contract.d.ts","sourceRoot":"","sources":["../../src/contract/approve-contract.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"approve-contract.d.ts","sourceRoot":"","sources":["../../src/contract/approve-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,cAAc,EAA2C,MAAM,iCAAiC,CAAC;AAK1G,OAAO,EAAqC,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAOlF,MAAM,WAAW,YAAY;IAAG,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,cAAc,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE;AACnJ,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,UAAU,GAAG,oBAAoB,GAAG,UAAU,GAAG,mBAAmB,CAAC;IAC7E,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,wFAAwF;IACxF,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC;CACzB;AA+BD,wBAAsB,eAAe,CAAC,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CA+B7E"}
|
|
@@ -14,11 +14,15 @@ exports.approveContract = approveContract;
|
|
|
14
14
|
* 5. read everything AGAIN: if the feature or the lock moved while the human was reading, what
|
|
15
15
|
* they confirmed is not what would be written — refuse (L5)
|
|
16
16
|
* 6. record the decision and the lock (record-contract-approval.ts)
|
|
17
|
+
*
|
|
18
|
+
* `--accept-opaque` (with `--scenario`) is the other human act of this command: accepting the reviewed
|
|
19
|
+
* opaque trace steps of one approved free / impl:code scenario — accept-opaque-steps.ts (#923).
|
|
17
20
|
*/
|
|
18
21
|
const human_confirmation_1 = require("../decisions/human-confirmation");
|
|
19
22
|
const decision_source_1 = require("../decisions/decision-source");
|
|
20
23
|
const classify_contract_change_1 = require("./classify-contract-change");
|
|
21
24
|
const contract_hash_1 = require("./contract-hash");
|
|
25
|
+
const accept_opaque_steps_1 = require("./accept-opaque-steps");
|
|
22
26
|
const contract_schema_1 = require("./contract-schema");
|
|
23
27
|
const contract_units_1 = require("./contract-units");
|
|
24
28
|
const contracts_lock_file_1 = require("./contracts-lock-file");
|
|
@@ -54,6 +58,8 @@ function describe(sc, lock) {
|
|
|
54
58
|
return `~ ${sc.id} ${r.class}${r.findings.length ? ` — ${r.findings.map((f) => f.detail).join('; ')}` : ''}`;
|
|
55
59
|
}
|
|
56
60
|
async function approveContract(i) {
|
|
61
|
+
if (i.acceptOpaque)
|
|
62
|
+
return (0, accept_opaque_steps_1.acceptOpaqueSteps)(i);
|
|
57
63
|
const before = plan(i);
|
|
58
64
|
const { approve, removed } = before.write;
|
|
59
65
|
const lockPath = (0, contracts_lock_file_1.lockPathFor)(before.write.unitDir);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"approve-contract.js","sourceRoot":"","sources":["../../src/contract/approve-contract.ts"],"names":[],"mappings":";;
|
|
1
|
+
{"version":3,"file":"approve-contract.js","sourceRoot":"","sources":["../../src/contract/approve-contract.ts"],"names":[],"mappings":";;AAqEA,0CA+BC;AApGD;;;;;;;;;;;;;;;;GAgBG;AACH,wEAA0G;AAC1G,kEAA2D;AAC3D,yEAA8D;AAC9D,mDAAgD;AAChD,+DAA0D;AAC1D,uDAAkF;AAClF,qDAAuD;AACvD,+DAA4E;AAC5E,+DAAyD;AACzD,uEAAwF;AACxF,yEAAyG;AAezG,SAAS,IAAI,CAAC,CAAe;IAC3B,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,IAAA,kCAAY,EAAC,IAAA,iCAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,IAAA,+CAAqB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC,QAAQ,yBAAyB,CAAC,CAAC,IAAI,cAAc,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC;IACzH,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC;IACzE,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9G,IAAI,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,GAAG,eAAe,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,MAAM,wEAAwE,CAAC,CAAC;IACvL,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzE,IAAI,QAAQ,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,YAAY,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,0GAA0G,CAAC,CAAC;IACxN,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,iCAAe,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClJ,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtH,MAAM,KAAK,GAAkB,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1I,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAA,6BAAa,EAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AACrH,CAAC;AAED,SAAS,QAAQ,CAAC,EAAoB,EAAE,IAAqB;IAC3D,MAAM,KAAK,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACrC,IAAI,CAAC,IAAA,iCAAe,EAAC,KAAK,CAAC,IAAI,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAAE,OAAO,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,KAAK,CAAC,MAAM,WAAW,EAAE,CAAC,cAAc,GAAG,CAAC;IACzI,MAAM,CAAC,GAAG,IAAA,2CAAgB,EAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAC7C,OAAO,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAChH,CAAC;AAEM,KAAK,UAAU,eAAe,CAAC,CAAe;IACnD,IAAI,CAAC,CAAC,YAAY;QAAE,OAAO,IAAA,uCAAiB,EAAC,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAA,iCAAW,EAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACrH,IAAA,+CAAoB,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAEnC,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,IAAA,6CAAwB,EAAC;QAC7B,IAAI,EAAE,gCAAgC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,eAAe,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,MAAM,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG;QACpI,MAAM,EAAE,CAAC,CAAC,IAAI;QACd,OAAO,EAAE,IAAA,kCAAa,EAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7K,OAAO,EAAE;YACP,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAC/C,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,qEAAqE,CAAC;YACpG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,wFAAwF,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9H,gBAAgB,IAAA,6BAAW,EAAC,CAAC,CAAC,WAAW,CAAC,EAAE;SAC7C;QACD,EAAE,EAAE,CAAC,CAAC,EAAE;KACT,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,6IAA6I,CAAC,CAAC;IACjK,CAAC;IACD,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,iDAAsB,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3D,2FAA2F;IAC3F,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,IAAA,8CAAoB,EAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,IAAA,sCAAgB,EAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAC9G,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;AACnG,CAAC"}
|
|
@@ -46,7 +46,7 @@ exports.buildContractVerdict = buildContractVerdict;
|
|
|
46
46
|
* (added · changed · removed vs HEAD, tampered, unverified), or an APPROVED free /
|
|
47
47
|
* impl:code scenario with no admissible trace (unproven, also past the deadline) exit 2
|
|
48
48
|
* review any hash-changed (changed, not weaker — QA re-approves), opaque (a check no code
|
|
49
|
-
* can compare, or a target identity that is only `low`), or inconclusive (an
|
|
49
|
+
* can compare and QA has not accepted, or a target identity that is only `low`), or inconclusive (an
|
|
50
50
|
* approved free scenario's final attempt did not pass); blocks delivery exit 0
|
|
51
51
|
* pass only match / strengthened / proposed / nondeterministic exit 0
|
|
52
52
|
*
|
|
@@ -78,7 +78,7 @@ function withTrace(results, outcomes) {
|
|
|
78
78
|
if (!o)
|
|
79
79
|
return r;
|
|
80
80
|
const cls = (0, classify_contract_change_1.severityOf)(o.class) > (0, classify_contract_change_1.severityOf)(r.class) ? o.class : r.class;
|
|
81
|
-
return { ...r, class: cls, findings: [...r.findings, ...o.findings], trace: { hashes: o.hashes, runs: o.runs } };
|
|
81
|
+
return { ...r, class: cls, findings: [...r.findings, ...o.findings], trace: { hashes: o.hashes, runs: o.runs, ...(o.opaque.length ? { opaque: o.opaque } : {}) } };
|
|
82
82
|
});
|
|
83
83
|
}
|
|
84
84
|
function buildContractVerdict(projectRoot, unit, opts = {}) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"build-contract-verdict.js","sourceRoot":"","sources":["../../src/contract/build-contract-verdict.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsEA,oDAqCC;AA3GD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,mDAA2D;AAC3D,iDAAqH;AACrH,uDAAiE;AACjE,yEAAwE;AACxE,uEAAoE;AAEpE,qEAAwD;AACxD,+DAAmE;AACnE,yDAA2E;AAC3E,uEAAwF;AACxF,2EAAkE;AAElE,mEAAwD;AAA/C,sHAAA,YAAY,OAAA;AAwBrB,sGAAsG;AACtG,SAAS,SAAS,CAAC,OAAyB,EAAE,QAAmC;IAC/E,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACvB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjB,MAAM,GAAG,GAAG,IAAA,qCAAU,EAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAA,qCAAU,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1E,OAAO,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;
|
|
1
|
+
{"version":3,"file":"build-contract-verdict.js","sourceRoot":"","sources":["../../src/contract/build-contract-verdict.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsEA,oDAqCC;AA3GD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,mDAA2D;AAC3D,iDAAqH;AACrH,uDAAiE;AACjE,yEAAwE;AACxE,uEAAoE;AAEpE,qEAAwD;AACxD,+DAAmE;AACnE,yDAA2E;AAC3E,uEAAwF;AACxF,2EAAkE;AAElE,mEAAwD;AAA/C,sHAAA,YAAY,OAAA;AAwBrB,sGAAsG;AACtG,SAAS,SAAS,CAAC,OAAyB,EAAE,QAAmC;IAC/E,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACvB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjB,MAAM,GAAG,GAAG,IAAA,qCAAU,EAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAA,qCAAU,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1E,OAAO,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;IACrK,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,oBAAoB,CAAC,WAAmB,EAAE,IAAkB,EAAE,OAAuB,EAAE;IACrG,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAA,2BAAY,EAAC,WAAW,EAAE,IAAI,CAAC,YAAY,IAAI,iCAAkB,CAAC,CAAC;IACjG,MAAM,KAAK,GAAG,IAAA,8CAAoB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,IAAA,+CAAqB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,IAAA,iCAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAA,6BAAc,EAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,KAAK,IAAI,QAAQ,KAAK,IAAI;QAAE,MAAM,IAAI,kCAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/E,MAAM,IAAI,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,mCAAa,EAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAA,qCAAY,EAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,IAAA,iDAAuB,EAAC,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IACrH,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAA,sCAAmB,EAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9E,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;YACtB,CAAC,CAAC,eAAe,IAAI,CAAC,KAAK,iEAAiE;YAC5F,CAAC,CAAC,+FAA+F,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,WAAW,GAAuB,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChG,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,yDAAyD,EAAE,CAAC,CAAC;IAC7J,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,GAAG,IAAA,+CAAmB,EAAC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAEnH,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,8BAAY,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACtF,MAAM,OAAO,GAAiB,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gCAAc,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IACnH,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3F,MAAM,UAAU,GAAG,IAAA,yBAAS,EAAC,IAAA,6BAAa,EAAC;QACzC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,yBAAS,EAAC,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3E,IAAI,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,yBAAS,EAAC,QAAQ,CAAC;QACpD,IAAI,EAAE,IAAI,CAAC,MAAM;QACjB,WAAW;QACX,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;KAC5D,CAAC,CAAC,CAAC;IACJ,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AACrI,CAAC"}
|
|
@@ -7,8 +7,12 @@ export interface UnitTraceConformance {
|
|
|
7
7
|
inputs: unknown;
|
|
8
8
|
}
|
|
9
9
|
export declare const MOBILE_NOT_SUPPORTED = "trace conformance is web-only: free / impl:code scenarios of a mobile project are not supported yet (not judged)";
|
|
10
|
-
/** The guard
|
|
10
|
+
/** The Claude Code guard's deadline for the trace part of one unit's verdict (its hook has ~5 s in all). */
|
|
11
|
+
export declare const GUARD_TRACE_BUDGET_MS = 3000;
|
|
12
|
+
/** The default deadline (`next`, the guard) — override: SUNGEN_TRACE_VERDICT_BUDGET_MS. */
|
|
11
13
|
export declare function defaultTraceBudgetMs(env?: Record<string, string | undefined>): number;
|
|
14
|
+
/** Inside the guard path the override may only SHORTEN the deadline (#926): the hook cannot wait longer. */
|
|
15
|
+
export declare const guardTraceBudgetMs: (env?: Record<string, string | undefined>) => number;
|
|
12
16
|
export declare function traceConformanceForUnit(projectRoot: string, unit: {
|
|
13
17
|
name: string;
|
|
14
18
|
dir: string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"build-trace-conformance.d.ts","sourceRoot":"","sources":["../../src/contract/build-trace-conformance.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAgC,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC1F,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAA8B,MAAM,mBAAmB,CAAC;AAO/F,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAM7D,MAAM,WAAW,oBAAoB;IAAG,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE;AAMlH,eAAO,MAAM,oBAAoB,qHAAqH,CAAC;AACvJ,
|
|
1
|
+
{"version":3,"file":"build-trace-conformance.d.ts","sourceRoot":"","sources":["../../src/contract/build-trace-conformance.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAgC,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC1F,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAA8B,MAAM,mBAAmB,CAAC;AAO/F,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAM7D,MAAM,WAAW,oBAAoB;IAAG,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE;AAMlH,eAAO,MAAM,oBAAoB,qHAAqH,CAAC;AACvJ,4GAA4G;AAC5G,eAAO,MAAM,qBAAqB,OAAQ,CAAC;AAC3C,2FAA2F;AAC3F,wBAAgB,oBAAoB,CAAC,GAAG,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAe,GAAG,MAAM,CAGlG;AACD,4GAA4G;AAC5G,eAAO,MAAM,kBAAkB,GAAI,MAAK,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAe,KAAG,MAC/B,CAAC;AAE7D,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,YAAY,GAAG,IAAI,EAChH,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,IAAI,GAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GAC/D,oBAAoB,CAkDtB"}
|
|
@@ -33,7 +33,7 @@ var __importStar = (this && this.__importStar) || (function () {
|
|
|
33
33
|
};
|
|
34
34
|
})();
|
|
35
35
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
36
|
-
exports.MOBILE_NOT_SUPPORTED = exports.OVER_BUDGET = void 0;
|
|
36
|
+
exports.guardTraceBudgetMs = exports.GUARD_TRACE_BUDGET_MS = exports.MOBILE_NOT_SUPPORTED = exports.OVER_BUDGET = void 0;
|
|
37
37
|
exports.defaultTraceBudgetMs = defaultTraceBudgetMs;
|
|
38
38
|
exports.traceConformanceForUnit = traceConformanceForUnit;
|
|
39
39
|
/**
|
|
@@ -77,11 +77,16 @@ catch {
|
|
|
77
77
|
const sha = (s) => (0, crypto_1.createHash)('sha256').update(s).digest('hex');
|
|
78
78
|
const why = (e) => (e instanceof Error ? e.message : String(e)).split('\n')[0].slice(0, 300);
|
|
79
79
|
exports.MOBILE_NOT_SUPPORTED = 'trace conformance is web-only: free / impl:code scenarios of a mobile project are not supported yet (not judged)';
|
|
80
|
-
/** The guard
|
|
80
|
+
/** The Claude Code guard's deadline for the trace part of one unit's verdict (its hook has ~5 s in all). */
|
|
81
|
+
exports.GUARD_TRACE_BUDGET_MS = 3000;
|
|
82
|
+
/** The default deadline (`next`, the guard) — override: SUNGEN_TRACE_VERDICT_BUDGET_MS. */
|
|
81
83
|
function defaultTraceBudgetMs(env = process.env) {
|
|
82
84
|
const v = Number(env.SUNGEN_TRACE_VERDICT_BUDGET_MS);
|
|
83
|
-
return Number.isFinite(v) && v > 0 ? v :
|
|
85
|
+
return Number.isFinite(v) && v > 0 ? v : exports.GUARD_TRACE_BUDGET_MS;
|
|
84
86
|
}
|
|
87
|
+
/** Inside the guard path the override may only SHORTEN the deadline (#926): the hook cannot wait longer. */
|
|
88
|
+
const guardTraceBudgetMs = (env = process.env) => Math.min(defaultTraceBudgetMs(env), exports.GUARD_TRACE_BUDGET_MS);
|
|
89
|
+
exports.guardTraceBudgetMs = guardTraceBudgetMs;
|
|
85
90
|
function traceConformanceForUnit(projectRoot, unit, current, lock, untrusted, opts = {}) {
|
|
86
91
|
const deadline = Date.now() + (opts.budgetMs ?? defaultTraceBudgetMs());
|
|
87
92
|
const traced = [...new Map(current.filter((s) => s.implementation !== 'compiled').map((s) => [s.id, s])).values()];
|
|
@@ -97,7 +102,7 @@ function traceConformanceForUnit(projectRoot, unit, current, lock, untrusted, op
|
|
|
97
102
|
let setupError = '';
|
|
98
103
|
try {
|
|
99
104
|
const notBefore = Math.max(mtimeMs((0, contracts_lock_file_1.lockPathFor)(unit.dir)), ...(0, normalize_feature_steps_1.contractFeatureFiles)(unit.dir, unit.name).map(mtimeMs));
|
|
100
|
-
evidence = (0, collect_trace_evidence_1.collectScenarioEvidence)(projectRoot, new Set(traced.map((s) => s.id)), notBefore, deadline);
|
|
105
|
+
evidence = (0, collect_trace_evidence_1.collectScenarioEvidence)(projectRoot, new Set(traced.map((s) => s.id)), notBefore, deadline, new Map(traced.map((s) => [s.id, s.source.name])));
|
|
101
106
|
index = (0, data_normalize_1.loadTestDataIndex)(unit.dir, unit.name);
|
|
102
107
|
}
|
|
103
108
|
catch (e) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"build-trace-conformance.js","sourceRoot":"","sources":["../../src/contract/build-trace-conformance.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
1
|
+
{"version":3,"file":"build-trace-conformance.js","sourceRoot":"","sources":["../../src/contract/build-trace-conformance.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2CA,oDAGC;AAKD,0DAqDC;AAxGD;;;;;;;;;;;;;;;GAeG;AACH,mCAAoC;AACpC,uCAAyB;AACzB,sDAAyD;AACzD,6EAA0F;AAC1F,uDAA+F;AAC/F,+DAAoD;AACpD,qDAAoE;AACpE,uEAAiE;AACjE,+DAAuE;AACvE,2EAAkH;AAElH,yEAA6D;AAApD,qHAAA,WAAW,OAAA;AACpB,2DAA8E;AAC9E,iFAAkE;AAClE,iEAA6E;AAC7E,qDAAuD;AAIvD,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,GAAG,IAAI,CAAC;IAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAAC,CAAC;AAAC,MAAM,CAAC;IAAC,OAAO,CAAC,CAAC;AAAC,CAAC,CAAC,CAAC,CAAC;AACtG,MAAM,GAAG,GAAG,CAAC,CAAkB,EAAU,EAAE,CAAC,IAAA,mBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACzF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAEjG,QAAA,oBAAoB,GAAG,kHAAkH,CAAC;AACvJ,4GAA4G;AAC/F,QAAA,qBAAqB,GAAG,IAAK,CAAC;AAC3C,2FAA2F;AAC3F,SAAgB,oBAAoB,CAAC,MAA0C,OAAO,CAAC,GAAG;IACxF,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;IACrD,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,6BAAqB,CAAC;AACjE,CAAC;AACD,4GAA4G;AACrG,MAAM,kBAAkB,GAAG,CAAC,MAA0C,OAAO,CAAC,GAAG,EAAU,EAAE,CAClG,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,6BAAqB,CAAC,CAAC;AADhD,QAAA,kBAAkB,sBAC8B;AAE7D,SAAgB,uBAAuB,CACrC,WAAmB,EAAE,IAAmC,EAAE,OAA2B,EAAE,IAAyB,EAChH,SAA8B,EAAE,OAA8B,EAAE;IAEhE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,oBAAoB,EAAE,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACnH,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC/E,IAAI,CAAC,IAAA,6BAAgB,EAAC,WAAW,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,4BAAoB,CAAC,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,CAAC;IAEhL,MAAM,aAAa,GAAG,CAAC,EAAU,EAAyB,EAAE,GAAG,MAAM,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,IAAA,iCAAe,EAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACjK,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IACjD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,QAAQ,GAAqB,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAC/E,IAAI,KAAK,GAAkB,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAClD,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAA,iCAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,IAAA,8CAAoB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACtH,QAAQ,GAAG,IAAA,gDAAuB,EAAC,WAAW,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1J,KAAK,GAAG,IAAA,kCAAiB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAAC,UAAU,GAAG,oCAAoC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAAC,CAAC;IAC1E,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,IAAA,kCAAiB,EAAC,WAAW,CAAC,CAAC;IAC1D,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEnE,uGAAuG;IACvG,MAAM,OAAO,GAA+F,EAAE,CAAC;IAC/G,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,UAAU,EAAE,CAAC;YAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,IAAA,sCAAS,EAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACtH,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC;YAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,IAAA,sCAAS,EAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,oCAAW,CAAC,CAAC,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAClI,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4B,CAAC;QACrD,IAAI,CAAC;YACH,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3E,MAAM,KAAK,GAAG,IAAA,8BAAgB,EAAC,GAAG,CAAC,KAAM,CAAC,CAAC;gBAC3C,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAA,sCAAgB,EAAC,KAAK,EAAE,IAAA,yCAAa,EAAC,GAAG,CAAC,KAAM,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;YAC1J,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACvC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,IAAA,sCAAS,EAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,6BAA6B,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC;IACrI,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC;IACtJ,IAAI,GAAG,GAAuB,EAAE,CAAC;IACjC,IAAI,CAAC;QAAC,GAAG,GAAG,IAAA,kCAAc,EAAC,KAAK,CAAC,CAAC;IAAC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,IAAA,sCAAS,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,6BAA6B,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpJ,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YAChI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,IAAA,8CAAiB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QAChH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,IAAA,kCAAiB,EAAC,WAAW,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/G,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACrK,CAAC"}
|
|
@@ -1,14 +1,15 @@
|
|
|
1
|
-
import { ContractScenario, FindingClass, LadderClass, LockEntry, ScenarioClass, TraceClass } from './contract-schema';
|
|
1
|
+
import { ContractScenario, FindingClass, LadderClass, LockEntry, OpaqueStep, ScenarioClass, TraceClass } from './contract-schema';
|
|
2
2
|
export interface ContractFinding {
|
|
3
3
|
class: FindingClass;
|
|
4
4
|
rule?: string;
|
|
5
5
|
detail: string;
|
|
6
6
|
step?: number;
|
|
7
7
|
}
|
|
8
|
-
/** What a free / impl:code scenario's traces fingerprinted to (DOS-14.6) — output only. */
|
|
8
|
+
/** What a free / impl:code scenario's traces fingerprinted to (DOS-14.6), and their opaque steps (#923) — output only. */
|
|
9
9
|
export interface TraceSummary {
|
|
10
10
|
hashes: string[];
|
|
11
11
|
runs: string[];
|
|
12
|
+
opaque?: OpaqueStep[];
|
|
12
13
|
}
|
|
13
14
|
export interface ScenarioResult {
|
|
14
15
|
id: string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"classify-contract-change.d.ts","sourceRoot":"","sources":["../../src/contract/classify-contract-change.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,gBAAgB,EAAgB,YAAY,EAAE,WAAW,EAAE,SAAS,EAAW,aAAa,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;
|
|
1
|
+
{"version":3,"file":"classify-contract-change.d.ts","sourceRoot":"","sources":["../../src/contract/classify-contract-change.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,gBAAgB,EAAgB,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAW,aAAa,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGzJ,MAAM,WAAW,eAAe;IAAG,KAAK,EAAE,YAAY,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE;AACtG,0HAA0H;AAC1H,MAAM,WAAW,YAAY;IAAG,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAA;CAAE;AACzF,MAAM,WAAW,cAAc;IAAG,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,aAAa,CAAC;IAAC,QAAQ,EAAE,eAAe,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,YAAY,CAAA;CAAE;AAMtI,eAAO,MAAM,UAAU,GAAI,GAAG,aAAa,KAAG,MAAqB,CAAC;AAEpE,eAAO,MAAM,OAAO,GAAI,KAAK,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,UAAU,EAAE,QAAQ,MAAM,EAAE,OAAO,MAAM,KAAG,eACH,CAAC;AA0CvG,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,gBAAgB,GAAG,SAAS,GAAG,cAAc,CAkBpH"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"classify-contract-change.js","sourceRoot":"","sources":["../../src/contract/classify-contract-change.ts"],"names":[],"mappings":";;;AAyEA,4CAkBC;AA3FD;;;;;;;;;;;;;;GAcG;AACH,mDAA2C;AAC3C,
|
|
1
|
+
{"version":3,"file":"classify-contract-change.js","sourceRoot":"","sources":["../../src/contract/classify-contract-change.ts"],"names":[],"mappings":";;;AAyEA,4CAkBC;AA3FD;;;;;;;;;;;;;;GAcG;AACH,mDAA2C;AAC3C,uDAAyJ;AACzJ,uDAAmD;AAOnD,MAAM,QAAQ,GAAkC;IAC9C,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC;IAC1G,gBAAgB,EAAE,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;CAC5E,CAAC;AACK,MAAM,UAAU,GAAG,CAAC,CAAgB,EAAU,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAAvD,QAAA,UAAU,cAA6C;AAE7D,MAAM,OAAO,GAAG,CAAC,GAA+C,EAAE,MAAc,EAAE,IAAa,EAAmB,EAAE,CACzH,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,yBAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,yBAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAD1F,QAAA,OAAO,WACmF;AAGvG,MAAM,OAAO,GAAG,CAAC,KAAqB,EAAa,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;AAC5I,MAAM,SAAS,GAAG,CAAC,CAAe,EAAU,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;AAC9H,MAAM,KAAK,GAAG,CAAC,CAAe,EAAU,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;AAE5I,SAAS,iBAAiB,CAAC,MAAsB,EAAE,OAAuB;IACxE,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,IAA6B,EAAuB,EAAE;QAClE,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,IAAI,GAAG;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1B,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,IAAI,GAAc,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,GAAG;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAQ,EAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACjG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACvD,6FAA6F;QAC7F,uFAAuF;QACvF,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAA,gCAAc,EAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACjF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;QACxE,GAAG,CAAC,IAAI,CAAC,IAAA,eAAO,EAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7F,GAAG,CAAC,IAAI,CAAC,KAAK;YACZ,CAAC,CAAC,IAAA,eAAO,EAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;YACvH,CAAC,CAAC,IAAA,eAAO,EAAC,gBAAgB,EAAE,sBAAsB,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;IAChH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,IAAA,eAAO,EAAC,cAAc,EAAE,aAAa,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjI,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,gBAAgB,CAAC,EAAU,EAAE,KAAgB,EAAE,OAAqC;IAClG,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,CAAC,IAAA,eAAO,EAAC,gBAAgB,EAAE,8FAA8F,CAAC,CAAC,EAAE,CAAC;IAChL,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC/C,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAClF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,cAAc,KAAK,OAAO,CAAC,cAAc,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,IAAA,eAAO,EAAC,cAAc,EAAE,gCAAgC,KAAK,CAAC,cAAc,MAAM,OAAO,CAAC,cAAc,UAAU,CAAC,CAAC,CAAC;IACrI,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,KAAqB,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACtF,IAAI,CAAC,IAAA,wBAAQ,EAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,IAAA,eAAO,EAAC,cAAc,EAAE,2DAA2D,CAAC,CAAC,CAAC;IACrK,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,QAAQ,CAAC,IAAI,CAAC,IAAA,eAAO,EAAC,cAAc,EAAE,uEAAuE,CAAC,CAAC,CAAC;IACtI,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAgB,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACtD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAsB,CAAC;QACnC,OAAO,IAAA,kBAAU,EAAC,CAAC,CAAC,GAAG,IAAA,kBAAU,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACnD,CAAC,EAAE,OAAO,CAAC,CAAC;IACZ,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7C,CAAC"}
|