perttool 0.6.0 → 0.7.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +34 -1
- package/README.md +97 -32
- package/dist/application/advance-history.d.ts +2 -0
- package/dist/application/advance-history.d.ts.map +1 -1
- package/dist/application/advance-history.js +21 -12
- package/dist/application/advance-history.js.map +1 -1
- package/dist/application/contract7-assurance.d.ts +57 -0
- package/dist/application/contract7-assurance.d.ts.map +1 -0
- package/dist/application/contract7-assurance.js +248 -0
- package/dist/application/contract7-assurance.js.map +1 -0
- package/dist/application/contract7-mermaid.d.ts +9 -0
- package/dist/application/contract7-mermaid.d.ts.map +1 -0
- package/dist/application/contract7-mermaid.js +73 -0
- package/dist/application/contract7-mermaid.js.map +1 -0
- package/dist/application/contract7-mutation.d.ts +21 -0
- package/dist/application/contract7-mutation.d.ts.map +1 -0
- package/dist/application/contract7-mutation.js +181 -0
- package/dist/application/contract7-mutation.js.map +1 -0
- package/dist/application/contract7-project.d.ts +10 -0
- package/dist/application/contract7-project.d.ts.map +1 -0
- package/dist/application/contract7-project.js +29 -0
- package/dist/application/contract7-project.js.map +1 -0
- package/dist/application/contract7-projection.d.ts +9 -0
- package/dist/application/contract7-projection.d.ts.map +1 -0
- package/dist/application/contract7-projection.js +100 -0
- package/dist/application/contract7-projection.js.map +1 -0
- package/dist/application/contract7-source.d.ts +24 -0
- package/dist/application/contract7-source.d.ts.map +1 -0
- package/dist/application/contract7-source.js +54 -0
- package/dist/application/contract7-source.js.map +1 -0
- package/dist/application/contract7-unit-migration.d.ts +13 -0
- package/dist/application/contract7-unit-migration.d.ts.map +1 -0
- package/dist/application/contract7-unit-migration.js +13 -0
- package/dist/application/contract7-unit-migration.js.map +1 -0
- package/dist/application/init.d.ts +1 -1
- package/dist/application/init.js +3 -3
- package/dist/application/mutate.d.ts +5 -1
- package/dist/application/mutate.d.ts.map +1 -1
- package/dist/application/mutate.js +2 -2
- package/dist/application/mutate.js.map +1 -1
- package/dist/application/target-actuals-analysis.d.ts +5 -4
- package/dist/application/target-actuals-analysis.d.ts.map +1 -1
- package/dist/application/target-actuals-analysis.js +18 -11
- package/dist/application/target-actuals-analysis.js.map +1 -1
- package/dist/application/target-actuals-mutation.d.ts +5 -3
- package/dist/application/target-actuals-mutation.d.ts.map +1 -1
- package/dist/application/target-actuals-mutation.js +16 -8
- package/dist/application/target-actuals-mutation.js.map +1 -1
- package/dist/application/target-assurance-advance-history.d.ts +19 -0
- package/dist/application/target-assurance-advance-history.d.ts.map +1 -0
- package/dist/application/target-assurance-advance-history.js +61 -0
- package/dist/application/target-assurance-advance-history.js.map +1 -0
- package/dist/application/target-assurance-analysis.d.ts +34 -0
- package/dist/application/target-assurance-analysis.d.ts.map +1 -0
- package/dist/application/target-assurance-analysis.js +103 -0
- package/dist/application/target-assurance-analysis.js.map +1 -0
- package/dist/application/target-assurance-inspection.d.ts +38 -0
- package/dist/application/target-assurance-inspection.d.ts.map +1 -0
- package/dist/application/target-assurance-inspection.js +356 -0
- package/dist/application/target-assurance-inspection.js.map +1 -0
- package/dist/application/target-assurance-write.d.ts +22 -0
- package/dist/application/target-assurance-write.d.ts.map +1 -0
- package/dist/application/target-assurance-write.js +73 -0
- package/dist/application/target-assurance-write.js.map +1 -0
- package/dist/application/target-governance-init.d.ts +3 -3
- package/dist/application/target-governance-init.d.ts.map +1 -1
- package/dist/application/target-governance-init.js +14 -10
- package/dist/application/target-governance-init.js.map +1 -1
- package/dist/application/target-governance-project.d.ts +6 -4
- package/dist/application/target-governance-project.d.ts.map +1 -1
- package/dist/application/target-governance-project.js +18 -4
- package/dist/application/target-governance-project.js.map +1 -1
- package/dist/application/target-mutate.d.ts +7 -1
- package/dist/application/target-mutate.d.ts.map +1 -1
- package/dist/application/target-mutate.js +50 -3
- package/dist/application/target-mutate.js.map +1 -1
- package/dist/application/target-project-history.d.ts +4 -4
- package/dist/application/target-project-history.d.ts.map +1 -1
- package/dist/application/target-project-history.js +1 -1
- package/dist/application/target-project-history.js.map +1 -1
- package/dist/application/target-unit-migration-candidate.d.ts +29 -6
- package/dist/application/target-unit-migration-candidate.d.ts.map +1 -1
- package/dist/application/target-unit-migration-candidate.js +204 -3
- package/dist/application/target-unit-migration-candidate.js.map +1 -1
- package/dist/application/target-unit-migration-result.d.ts +2 -2
- package/dist/application/target-unit-migration-result.d.ts.map +1 -1
- package/dist/application/target-unit-migration-result.js +4 -2
- package/dist/application/target-unit-migration-result.js.map +1 -1
- package/dist/application/target-velocity-observation.d.ts +1 -1
- package/dist/application/target-velocity-observation.js +1 -1
- package/dist/assurance/advance.d.ts +45 -0
- package/dist/assurance/advance.d.ts.map +1 -0
- package/dist/assurance/advance.js +507 -0
- package/dist/assurance/advance.js.map +1 -0
- package/dist/assurance/authority.d.ts +86 -0
- package/dist/assurance/authority.d.ts.map +1 -0
- package/dist/assurance/authority.js +269 -0
- package/dist/assurance/authority.js.map +1 -0
- package/dist/assurance/canonical.d.ts +13 -0
- package/dist/assurance/canonical.d.ts.map +1 -0
- package/dist/assurance/canonical.js +320 -0
- package/dist/assurance/canonical.js.map +1 -0
- package/dist/assurance/compatibility.d.ts +62 -0
- package/dist/assurance/compatibility.d.ts.map +1 -0
- package/dist/assurance/compatibility.js +163 -0
- package/dist/assurance/compatibility.js.map +1 -0
- package/dist/assurance/evaluate.d.ts +4 -0
- package/dist/assurance/evaluate.d.ts.map +1 -0
- package/dist/assurance/evaluate.js +631 -0
- package/dist/assurance/evaluate.js.map +1 -0
- package/dist/assurance/governance.d.ts +42 -0
- package/dist/assurance/governance.d.ts.map +1 -0
- package/dist/assurance/governance.js +95 -0
- package/dist/assurance/governance.js.map +1 -0
- package/dist/assurance/mermaid.d.ts +40 -0
- package/dist/assurance/mermaid.d.ts.map +1 -0
- package/dist/assurance/mermaid.js +401 -0
- package/dist/assurance/mermaid.js.map +1 -0
- package/dist/assurance/mutation.d.ts +96 -0
- package/dist/assurance/mutation.d.ts.map +1 -0
- package/dist/assurance/mutation.js +757 -0
- package/dist/assurance/mutation.js.map +1 -0
- package/dist/assurance/source.d.ts +20 -0
- package/dist/assurance/source.d.ts.map +1 -0
- package/dist/assurance/source.js +313 -0
- package/dist/assurance/source.js.map +1 -0
- package/dist/assurance/types.d.ts +166 -0
- package/dist/assurance/types.d.ts.map +1 -0
- package/dist/assurance/types.js +3 -0
- package/dist/assurance/types.js.map +1 -0
- package/dist/cli.js +356 -60
- package/dist/cli.js.map +1 -1
- package/dist/command/assurance-discovery.d.ts +17 -0
- package/dist/command/assurance-discovery.d.ts.map +1 -0
- package/dist/command/assurance-discovery.js +287 -0
- package/dist/command/assurance-discovery.js.map +1 -0
- package/dist/command/assurance-usage.d.ts +20 -0
- package/dist/command/assurance-usage.d.ts.map +1 -0
- package/dist/command/assurance-usage.js +66 -0
- package/dist/command/assurance-usage.js.map +1 -0
- package/dist/conversion/mermaid.d.ts +2 -1
- package/dist/conversion/mermaid.d.ts.map +1 -1
- package/dist/conversion/mermaid.js +2 -2
- package/dist/conversion/mermaid.js.map +1 -1
- package/dist/formatter/source-formatter.d.ts +1 -1
- package/dist/formatter/source-formatter.d.ts.map +1 -1
- package/dist/formatter/source-formatter.js +56 -4
- package/dist/formatter/source-formatter.js.map +1 -1
- package/dist/formatter/target-source-formatter.d.ts +2 -1
- package/dist/formatter/target-source-formatter.d.ts.map +1 -1
- package/dist/formatter/target-source-formatter.js +18 -2
- package/dist/formatter/target-source-formatter.js.map +1 -1
- package/dist/help/assurance-guide.d.ts +10 -0
- package/dist/help/assurance-guide.d.ts.map +1 -0
- package/dist/help/assurance-guide.js +115 -0
- package/dist/help/assurance-guide.js.map +1 -0
- package/dist/help/guide.d.ts +1 -1
- package/dist/help/guide.d.ts.map +1 -1
- package/dist/history/advance-history.d.ts +4 -2
- package/dist/history/advance-history.d.ts.map +1 -1
- package/dist/history/advance-history.js +47 -1
- package/dist/history/advance-history.js.map +1 -1
- package/dist/history/project-history.d.ts +14 -5
- package/dist/history/project-history.d.ts.map +1 -1
- package/dist/history/project-history.js +25 -18
- package/dist/history/project-history.js.map +1 -1
- package/dist/index.d.ts +31 -27
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +12 -15
- package/dist/index.js.map +1 -1
- package/dist/io/target-safe-write.d.ts +4 -1
- package/dist/io/target-safe-write.d.ts.map +1 -1
- package/dist/io/target-safe-write.js +19 -1
- package/dist/io/target-safe-write.js.map +1 -1
- package/dist/migration/grammar-boundary.d.ts +1 -1
- package/dist/migration/grammar-boundary.d.ts.map +1 -1
- package/dist/migration/grammar-boundary.js +7 -3
- package/dist/migration/grammar-boundary.js.map +1 -1
- package/dist/model/declaration-fields.d.ts +12 -0
- package/dist/model/declaration-fields.d.ts.map +1 -1
- package/dist/model/declaration-fields.js +45 -0
- package/dist/model/declaration-fields.js.map +1 -1
- package/dist/model/syntax.d.ts +17 -1
- package/dist/model/syntax.d.ts.map +1 -1
- package/dist/model/syntax.js.map +1 -1
- package/dist/mutation/actuals.js +1 -1
- package/dist/mutation/actuals.js.map +1 -1
- package/dist/mutation/advance.d.ts +18 -1
- package/dist/mutation/advance.d.ts.map +1 -1
- package/dist/mutation/advance.js +20 -0
- package/dist/mutation/advance.js.map +1 -1
- package/dist/mutation/project.d.ts +2 -1
- package/dist/mutation/project.d.ts.map +1 -1
- package/dist/mutation/project.js +21 -0
- package/dist/mutation/project.js.map +1 -1
- package/dist/parser/document-parser.d.ts +7 -0
- package/dist/parser/document-parser.d.ts.map +1 -1
- package/dist/parser/document-parser.js +227 -12
- package/dist/parser/document-parser.js.map +1 -1
- package/dist/recommendation/override-types.d.ts +2 -2
- package/dist/recommendation/override.d.ts +2 -2
- package/dist/recommendation/override.d.ts.map +1 -1
- package/dist/recommendation/override.js +13 -5
- package/dist/recommendation/override.js.map +1 -1
- package/dist/schema/registry.d.ts +1 -1
- package/dist/schema/registry.d.ts.map +1 -1
- package/dist/schema/registry.js +8 -7
- package/dist/schema/registry.js.map +1 -1
- package/dist/semantic/target-validator.d.ts +12 -1
- package/dist/semantic/target-validator.d.ts.map +1 -1
- package/dist/semantic/target-validator.js +47 -2
- package/dist/semantic/target-validator.js.map +1 -1
- package/dist/semantic/validator.d.ts +1 -0
- package/dist/semantic/validator.d.ts.map +1 -1
- package/dist/semantic/validator.js +304 -0
- package/dist/semantic/validator.js.map +1 -1
- package/dist/version.d.ts +1 -1
- package/dist/version.js +1 -1
- package/package.json +1 -1
- package/schemas/{Perttool.AdvanceResult.v1.schema.json → Perttool.AdvanceResult.v2.schema.json} +85 -5
- package/schemas/Perttool.AgentGuidanceResult.v1.schema.json +1 -1
- package/schemas/{Perttool.AnalysisResult.v4.schema.json → Perttool.AnalysisResult.v5.schema.json} +10 -6
- package/schemas/{Perttool.CheckResult.v3.schema.json → Perttool.CheckResult.v4.schema.json} +14 -6
- package/schemas/Perttool.CliError.v1.schema.json +1 -1
- package/schemas/Perttool.CommandHelpResult.v1.schema.json +2 -2
- package/schemas/Perttool.Common.v1.schema.json +300 -4
- package/schemas/Perttool.ExportResult.v1.schema.json +1 -1
- package/schemas/Perttool.FormatResult.v1.schema.json +1 -1
- package/schemas/Perttool.GuideResult.v1.schema.json +1 -1
- package/schemas/Perttool.ImportResult.v1.schema.json +1 -1
- package/schemas/Perttool.InitResult.v1.schema.json +1 -1
- package/schemas/{Perttool.MutationResult.v3.schema.json → Perttool.MutationResult.v4.schema.json} +16 -5
- package/schemas/{Perttool.NextResult.v5.schema.json → Perttool.NextResult.v6.schema.json} +53 -8
- package/schemas/Perttool.OverrideDecision.v1.schema.json +1 -1
- package/schemas/Perttool.PlanAssuranceResult.v1.schema.json +77 -0
- package/schemas/Perttool.ProjectHistoryResult.v1.schema.json +1 -1
- package/schemas/{Perttool.ProjectResult.v3.schema.json → Perttool.ProjectResult.v4.schema.json} +15 -7
- package/schemas/Perttool.SchemaResult.v1.schema.json +1 -1
- package/schemas/Perttool.UnitMigrationResult.v3.schema.json +5 -3
- package/schemas/Perttool.VelocityObservationResult.v1.schema.json +1 -1
|
@@ -0,0 +1,356 @@
|
|
|
1
|
+
import { limitDiagnostics, normalizeMaxDiagnostics, sortDiagnostics, } from "../model/diagnostics.js";
|
|
2
|
+
import { TOOL_VERSION } from "../version.js";
|
|
3
|
+
import { analyzeTargetPlanAssuranceDocument } from "./target-assurance-analysis.js";
|
|
4
|
+
export const PLAN_ASSURANCE_RESULT_SCHEMA_VERSION = "Perttool.PlanAssuranceResult.v1";
|
|
5
|
+
export const PLAN_ASSURANCE_INSPECTION_CLI_CONTRACT_VERSION = 7;
|
|
6
|
+
const aggregateDiagnosticCodes = new Set([
|
|
7
|
+
"PTASSURE-201",
|
|
8
|
+
"PTASSURE-202",
|
|
9
|
+
"PTASSURE-203",
|
|
10
|
+
"PTASSURE-204",
|
|
11
|
+
]);
|
|
12
|
+
function assuranceDiagnostic(code, severity, message, entityId, data = {}) {
|
|
13
|
+
return Object.freeze({
|
|
14
|
+
code,
|
|
15
|
+
severity,
|
|
16
|
+
message,
|
|
17
|
+
...(entityId === null ? {} : { entityId }),
|
|
18
|
+
helpTopic: "plan-assurance",
|
|
19
|
+
data: Object.freeze(data),
|
|
20
|
+
});
|
|
21
|
+
}
|
|
22
|
+
function uniqueTaskIds(values) {
|
|
23
|
+
const result = [];
|
|
24
|
+
const seen = new Set();
|
|
25
|
+
for (const value of values) {
|
|
26
|
+
if (!seen.has(value)) {
|
|
27
|
+
seen.add(value);
|
|
28
|
+
result.push(value);
|
|
29
|
+
}
|
|
30
|
+
}
|
|
31
|
+
return Object.freeze(result);
|
|
32
|
+
}
|
|
33
|
+
function validateRequest(request) {
|
|
34
|
+
if (request === null || typeof request !== "object") {
|
|
35
|
+
throw new TypeError("plan assurance inspection request must be an object");
|
|
36
|
+
}
|
|
37
|
+
if (request.operation === "plan-assurance.show") {
|
|
38
|
+
if (request.taskIds !== undefined &&
|
|
39
|
+
(!Array.isArray(request.taskIds) ||
|
|
40
|
+
request.taskIds.some((taskId) => typeof taskId !== "string" || taskId.length === 0))) {
|
|
41
|
+
throw new TypeError("show taskIds must contain nonempty task IDs");
|
|
42
|
+
}
|
|
43
|
+
return;
|
|
44
|
+
}
|
|
45
|
+
if (request.operation !== "plan-assurance.hash") {
|
|
46
|
+
throw new TypeError("plan assurance inspection operation is unsupported");
|
|
47
|
+
}
|
|
48
|
+
if (typeof request.taskId !== "string" || request.taskId.length === 0) {
|
|
49
|
+
throw new TypeError("hash taskId must be a nonempty task ID");
|
|
50
|
+
}
|
|
51
|
+
if (request.kind !== "contract" &&
|
|
52
|
+
request.kind !== "computed-basis" &&
|
|
53
|
+
request.kind !== "exported") {
|
|
54
|
+
throw new TypeError("hash kind must be contract, computed-basis, or exported");
|
|
55
|
+
}
|
|
56
|
+
}
|
|
57
|
+
function filteredActions(actions, selected) {
|
|
58
|
+
return Object.freeze(actions.flatMap((action) => {
|
|
59
|
+
const affectedTaskIds = action.affectedTaskIds.filter((taskId) => selected.has(taskId));
|
|
60
|
+
return affectedTaskIds.length === 0
|
|
61
|
+
? []
|
|
62
|
+
: [Object.freeze({
|
|
63
|
+
kind: action.kind,
|
|
64
|
+
rootTaskIds: action.rootTaskIds,
|
|
65
|
+
affectedTaskIds: Object.freeze(affectedTaskIds),
|
|
66
|
+
})];
|
|
67
|
+
}));
|
|
68
|
+
}
|
|
69
|
+
function filterProjection(projection, selectedTaskIds) {
|
|
70
|
+
const selected = new Set(selectedTaskIds);
|
|
71
|
+
const filterIds = (values) => Object.freeze(values.filter((taskId) => selected.has(taskId)));
|
|
72
|
+
return Object.freeze({
|
|
73
|
+
modelVersion: projection.modelVersion,
|
|
74
|
+
hashModelVersion: projection.hashModelVersion,
|
|
75
|
+
coverage: projection.coverage,
|
|
76
|
+
taskResults: Object.freeze(projection.taskResults.filter(({ taskId }) => selected.has(taskId))),
|
|
77
|
+
directMismatchTaskIds: filterIds(projection.directMismatchTaskIds),
|
|
78
|
+
inheritedMismatchTaskIds: filterIds(projection.inheritedMismatchTaskIds),
|
|
79
|
+
replanRequiredTaskIds: filterIds(projection.replanRequiredTaskIds),
|
|
80
|
+
activeAttentionRequiredTaskIds: filterIds(projection.activeAttentionRequiredTaskIds),
|
|
81
|
+
requiredActions: filteredActions(projection.requiredActions, selected),
|
|
82
|
+
});
|
|
83
|
+
}
|
|
84
|
+
function projectionDiagnostics(projection, includeUnavailableWarning) {
|
|
85
|
+
const diagnostics = [];
|
|
86
|
+
if (projection.coverage === "unsealed" || projection.coverage === "partial") {
|
|
87
|
+
diagnostics.push(assuranceDiagnostic("PTASSURE-201", "warning", "enabled plan assurance has an unsealed or partially sealed task set", null, { coverage: projection.coverage }));
|
|
88
|
+
}
|
|
89
|
+
if (projection.replanRequiredTaskIds.length > 0) {
|
|
90
|
+
diagnostics.push(assuranceDiagnostic("PTASSURE-202", "warning", "accepted and computed planning bases differ", null, { task_ids: projection.replanRequiredTaskIds }));
|
|
91
|
+
}
|
|
92
|
+
const unavailableTaskIds = projection.taskResults
|
|
93
|
+
.filter(({ status }) => status === "unavailable")
|
|
94
|
+
.map(({ taskId }) => taskId);
|
|
95
|
+
if (includeUnavailableWarning && unavailableTaskIds.length > 0) {
|
|
96
|
+
diagnostics.push(assuranceDiagnostic("PTASSURE-203", "warning", "plan assurance is unavailable for one or more tasks", null, { task_ids: Object.freeze(unavailableTaskIds) }));
|
|
97
|
+
}
|
|
98
|
+
if (projection.activeAttentionRequiredTaskIds.length > 0) {
|
|
99
|
+
diagnostics.push(assuranceDiagnostic("PTASSURE-204", "warning", "active work requires attention because its planning basis is no longer usable", null, { task_ids: projection.activeAttentionRequiredTaskIds }));
|
|
100
|
+
}
|
|
101
|
+
return Object.freeze(diagnostics);
|
|
102
|
+
}
|
|
103
|
+
function selectedValue(result, kind) {
|
|
104
|
+
return kind === "contract"
|
|
105
|
+
? result.contractHash
|
|
106
|
+
: kind === "computed-basis"
|
|
107
|
+
? result.computedBasisHash
|
|
108
|
+
: result.exportedAssuranceHash;
|
|
109
|
+
}
|
|
110
|
+
function limitedDiagnostics(diagnostics, maximum, alreadyTruncated) {
|
|
111
|
+
const limited = limitDiagnostics(sortDiagnostics(diagnostics), maximum);
|
|
112
|
+
return {
|
|
113
|
+
diagnostics: Object.freeze(limited.diagnostics),
|
|
114
|
+
diagnosticsTruncated: alreadyTruncated || limited.truncated,
|
|
115
|
+
};
|
|
116
|
+
}
|
|
117
|
+
function limitedDiagnosticsWithLeading(leading, remaining, maximum, alreadyTruncated) {
|
|
118
|
+
const ordered = [
|
|
119
|
+
...sortDiagnostics(leading),
|
|
120
|
+
...sortDiagnostics(remaining),
|
|
121
|
+
];
|
|
122
|
+
const limited = limitDiagnostics(ordered, maximum);
|
|
123
|
+
return {
|
|
124
|
+
diagnostics: Object.freeze(limited.diagnostics),
|
|
125
|
+
diagnosticsTruncated: alreadyTruncated || limited.truncated,
|
|
126
|
+
};
|
|
127
|
+
}
|
|
128
|
+
export function inspectTargetPlanAssurance(text, request, capability, options = {}) {
|
|
129
|
+
validateRequest(request);
|
|
130
|
+
const maximum = normalizeMaxDiagnostics(options.maxDiagnostics);
|
|
131
|
+
const analyzed = analyzeTargetPlanAssuranceDocument(text, capability, { maxDiagnostics: maximum });
|
|
132
|
+
const common = {
|
|
133
|
+
schemaVersion: PLAN_ASSURANCE_RESULT_SCHEMA_VERSION,
|
|
134
|
+
cliContractVersion: PLAN_ASSURANCE_INSPECTION_CLI_CONTRACT_VERSION,
|
|
135
|
+
operation: request.operation,
|
|
136
|
+
documentId: analyzed.documentId,
|
|
137
|
+
grammarVersion: analyzed.grammarVersion,
|
|
138
|
+
sourceDigest: analyzed.sourceDigest,
|
|
139
|
+
};
|
|
140
|
+
const requestTaskIds = request.operation === "plan-assurance.show"
|
|
141
|
+
? uniqueTaskIds(request.taskIds ?? [])
|
|
142
|
+
: Object.freeze([request.taskId]);
|
|
143
|
+
if (!analyzed.ok ||
|
|
144
|
+
analyzed.analysis === null ||
|
|
145
|
+
analyzed.analysis.assurance === null) {
|
|
146
|
+
return Object.freeze({
|
|
147
|
+
...common,
|
|
148
|
+
ok: false,
|
|
149
|
+
selectedTaskIds: requestTaskIds,
|
|
150
|
+
taskId: request.operation === "plan-assurance.hash"
|
|
151
|
+
? request.taskId
|
|
152
|
+
: null,
|
|
153
|
+
kind: request.operation === "plan-assurance.hash" ? request.kind : null,
|
|
154
|
+
selectedHash: null,
|
|
155
|
+
assurance: null,
|
|
156
|
+
diagnostics: analyzed.diagnostics,
|
|
157
|
+
diagnosticsTruncated: analyzed.diagnosticsTruncated,
|
|
158
|
+
});
|
|
159
|
+
}
|
|
160
|
+
const full = analyzed.analysis.assurance;
|
|
161
|
+
const knownTaskIds = new Set(full.taskResults.map(({ taskId }) => taskId));
|
|
162
|
+
const unknownTaskIds = requestTaskIds.filter((taskId) => !knownTaskIds.has(taskId));
|
|
163
|
+
if (unknownTaskIds.length > 0) {
|
|
164
|
+
const added = unknownTaskIds.map((taskId) => assuranceDiagnostic("PTASSURE-302", "error", `task ${taskId} does not exist`, taskId, { task_id: taskId }));
|
|
165
|
+
const diagnostics = limitedDiagnosticsWithLeading(added, analyzed.diagnostics.filter(({ code }) => !aggregateDiagnosticCodes.has(code)), maximum, analyzed.diagnosticsTruncated);
|
|
166
|
+
return Object.freeze({
|
|
167
|
+
...common,
|
|
168
|
+
ok: false,
|
|
169
|
+
selectedTaskIds: requestTaskIds,
|
|
170
|
+
taskId: request.operation === "plan-assurance.hash"
|
|
171
|
+
? request.taskId
|
|
172
|
+
: null,
|
|
173
|
+
kind: request.operation === "plan-assurance.hash" ? request.kind : null,
|
|
174
|
+
selectedHash: null,
|
|
175
|
+
assurance: null,
|
|
176
|
+
...diagnostics,
|
|
177
|
+
});
|
|
178
|
+
}
|
|
179
|
+
const requested = new Set(requestTaskIds);
|
|
180
|
+
const selectedTaskIds = Object.freeze(full.taskResults
|
|
181
|
+
.filter(({ taskId }) => requestTaskIds.length === 0 || requested.has(taskId))
|
|
182
|
+
.map(({ taskId }) => taskId));
|
|
183
|
+
const assurance = requestTaskIds.length === 0
|
|
184
|
+
? full
|
|
185
|
+
: filterProjection(full, selectedTaskIds);
|
|
186
|
+
const baseDiagnostics = analyzed.diagnostics.filter(({ code }) => !aggregateDiagnosticCodes.has(code));
|
|
187
|
+
if (request.operation === "plan-assurance.show") {
|
|
188
|
+
const diagnostics = limitedDiagnostics([...baseDiagnostics, ...projectionDiagnostics(assurance, true)], maximum, analyzed.diagnosticsTruncated);
|
|
189
|
+
return Object.freeze({
|
|
190
|
+
...common,
|
|
191
|
+
ok: true,
|
|
192
|
+
selectedTaskIds,
|
|
193
|
+
taskId: null,
|
|
194
|
+
kind: null,
|
|
195
|
+
selectedHash: null,
|
|
196
|
+
assurance,
|
|
197
|
+
...diagnostics,
|
|
198
|
+
});
|
|
199
|
+
}
|
|
200
|
+
const taskResult = assurance.taskResults[0];
|
|
201
|
+
const selectedHash = selectedValue(taskResult, request.kind);
|
|
202
|
+
if (selectedHash === null) {
|
|
203
|
+
const unavailable = assuranceDiagnostic("PTASSURE-203", "error", `task ${request.taskId} has no available ${request.kind} hash`, request.taskId, { task_id: request.taskId, kind: request.kind });
|
|
204
|
+
const diagnostics = limitedDiagnosticsWithLeading([unavailable], [...baseDiagnostics, ...projectionDiagnostics(assurance, false)], maximum, analyzed.diagnosticsTruncated);
|
|
205
|
+
return Object.freeze({
|
|
206
|
+
...common,
|
|
207
|
+
ok: false,
|
|
208
|
+
selectedTaskIds,
|
|
209
|
+
taskId: request.taskId,
|
|
210
|
+
kind: request.kind,
|
|
211
|
+
selectedHash: null,
|
|
212
|
+
assurance,
|
|
213
|
+
...diagnostics,
|
|
214
|
+
});
|
|
215
|
+
}
|
|
216
|
+
const diagnostics = limitedDiagnostics([...baseDiagnostics, ...projectionDiagnostics(assurance, true)], maximum, analyzed.diagnosticsTruncated);
|
|
217
|
+
return Object.freeze({
|
|
218
|
+
...common,
|
|
219
|
+
ok: true,
|
|
220
|
+
selectedTaskIds,
|
|
221
|
+
taskId: request.taskId,
|
|
222
|
+
kind: request.kind,
|
|
223
|
+
selectedHash,
|
|
224
|
+
assurance,
|
|
225
|
+
...diagnostics,
|
|
226
|
+
});
|
|
227
|
+
}
|
|
228
|
+
function positionToJson(position) {
|
|
229
|
+
return {
|
|
230
|
+
offset: position.offset,
|
|
231
|
+
line: position.line + 1,
|
|
232
|
+
column: position.column + 1,
|
|
233
|
+
};
|
|
234
|
+
}
|
|
235
|
+
function spanToJson(span) {
|
|
236
|
+
return {
|
|
237
|
+
start: positionToJson(span.start),
|
|
238
|
+
end: positionToJson(span.end),
|
|
239
|
+
};
|
|
240
|
+
}
|
|
241
|
+
function diagnosticToJson(diagnostic) {
|
|
242
|
+
return {
|
|
243
|
+
code: diagnostic.code,
|
|
244
|
+
severity: diagnostic.severity,
|
|
245
|
+
message: diagnostic.message,
|
|
246
|
+
entity_id: diagnostic.entityId ?? null,
|
|
247
|
+
span: diagnostic.span === undefined ? null : spanToJson(diagnostic.span),
|
|
248
|
+
related: (diagnostic.related ?? []).map(({ message, span }) => ({
|
|
249
|
+
message,
|
|
250
|
+
span: spanToJson(span),
|
|
251
|
+
})),
|
|
252
|
+
help_topic: null,
|
|
253
|
+
guide_topic: diagnostic.helpTopic ?? null,
|
|
254
|
+
expected_syntax: diagnostic.expectedSyntax ?? null,
|
|
255
|
+
fixes: [],
|
|
256
|
+
data: diagnostic.data ?? {},
|
|
257
|
+
};
|
|
258
|
+
}
|
|
259
|
+
function causeToJson(cause) {
|
|
260
|
+
return {
|
|
261
|
+
kind: cause.kind,
|
|
262
|
+
direct: cause.direct,
|
|
263
|
+
root_task_id: cause.rootTaskId,
|
|
264
|
+
affected_task_id: cause.affectedTaskId,
|
|
265
|
+
path_task_ids: cause.pathTaskIds,
|
|
266
|
+
};
|
|
267
|
+
}
|
|
268
|
+
function taskResultToJson(result) {
|
|
269
|
+
return {
|
|
270
|
+
task_id: result.taskId,
|
|
271
|
+
status: result.status,
|
|
272
|
+
outcome_status: result.outcomeStatus,
|
|
273
|
+
contract_hash: result.contractHash,
|
|
274
|
+
computed_basis_hash: result.computedBasisHash,
|
|
275
|
+
accepted_basis_hash: result.acceptedBasisHash,
|
|
276
|
+
computed_inputs: result.computedInputs.map((input) => ({
|
|
277
|
+
predecessor_task_id: input.predecessorTaskId,
|
|
278
|
+
relation_mode: input.relationMode,
|
|
279
|
+
assurance_hash: input.assuranceHash,
|
|
280
|
+
})),
|
|
281
|
+
exported_assurance_hash: result.exportedAssuranceHash,
|
|
282
|
+
direct_causes: result.directCauses.map(causeToJson),
|
|
283
|
+
inherited_causes: result.inheritedCauses.map(causeToJson),
|
|
284
|
+
};
|
|
285
|
+
}
|
|
286
|
+
function assuranceToJson(assurance) {
|
|
287
|
+
if (assurance === null)
|
|
288
|
+
return null;
|
|
289
|
+
return {
|
|
290
|
+
model_version: assurance.modelVersion,
|
|
291
|
+
hash_model_version: assurance.hashModelVersion,
|
|
292
|
+
coverage: assurance.coverage,
|
|
293
|
+
task_results: assurance.taskResults.map(taskResultToJson),
|
|
294
|
+
direct_mismatch_task_ids: assurance.directMismatchTaskIds,
|
|
295
|
+
inherited_mismatch_task_ids: assurance.inheritedMismatchTaskIds,
|
|
296
|
+
replan_required_task_ids: assurance.replanRequiredTaskIds,
|
|
297
|
+
active_attention_required_task_ids: assurance.activeAttentionRequiredTaskIds,
|
|
298
|
+
required_actions: assurance.requiredActions.map((action) => ({
|
|
299
|
+
kind: action.kind,
|
|
300
|
+
root_task_ids: action.rootTaskIds,
|
|
301
|
+
affected_task_ids: action.affectedTaskIds,
|
|
302
|
+
})),
|
|
303
|
+
};
|
|
304
|
+
}
|
|
305
|
+
export function targetPlanAssuranceInspectionResultToJson(result, source) {
|
|
306
|
+
return {
|
|
307
|
+
schema_version: result.schemaVersion,
|
|
308
|
+
cli_contract_version: result.cliContractVersion,
|
|
309
|
+
tool_version: TOOL_VERSION,
|
|
310
|
+
operation: result.operation,
|
|
311
|
+
ok: result.ok,
|
|
312
|
+
document_id: result.documentId,
|
|
313
|
+
source,
|
|
314
|
+
source_digest: result.sourceDigest,
|
|
315
|
+
diagnostics: result.diagnostics.map(diagnosticToJson),
|
|
316
|
+
diagnostics_truncated: result.diagnosticsTruncated,
|
|
317
|
+
grammar_version: result.grammarVersion,
|
|
318
|
+
selected_task_ids: result.selectedTaskIds,
|
|
319
|
+
task_id: result.taskId,
|
|
320
|
+
kind: result.kind,
|
|
321
|
+
selected_hash: result.selectedHash,
|
|
322
|
+
assurance: assuranceToJson(result.assurance),
|
|
323
|
+
};
|
|
324
|
+
}
|
|
325
|
+
export function serializeTargetPlanAssuranceInspectionResult(result, source) {
|
|
326
|
+
return `${JSON.stringify(targetPlanAssuranceInspectionResultToJson(result, source))}\n`;
|
|
327
|
+
}
|
|
328
|
+
function scalar(value) {
|
|
329
|
+
return value === null ? "-" : String(value);
|
|
330
|
+
}
|
|
331
|
+
export function renderTargetPlanAssuranceInspectionText(result) {
|
|
332
|
+
if (!result.ok)
|
|
333
|
+
return "";
|
|
334
|
+
if (result.operation === "plan-assurance.hash") {
|
|
335
|
+
return result.selectedHash === null ? "" : `${result.selectedHash}\n`;
|
|
336
|
+
}
|
|
337
|
+
const assurance = result.assurance;
|
|
338
|
+
if (assurance === null)
|
|
339
|
+
return "";
|
|
340
|
+
const lines = [
|
|
341
|
+
`PLAN_ASSURANCE coverage=${scalar(assurance.coverage)} model=${scalar(assurance.modelVersion)} hash_model=${scalar(assurance.hashModelVersion)} selected=${result.selectedTaskIds.length === 0 ? "-" : result.selectedTaskIds.join(",")}`,
|
|
342
|
+
];
|
|
343
|
+
for (const task of assurance.taskResults) {
|
|
344
|
+
lines.push(`TASK task=${task.taskId} status=${task.status} outcome=${task.outcomeStatus} contract=${scalar(task.contractHash)} computed_basis=${scalar(task.computedBasisHash)} accepted_basis=${scalar(task.acceptedBasisHash)} exported=${scalar(task.exportedAssuranceHash)}`);
|
|
345
|
+
for (const cause of [...task.directCauses, ...task.inheritedCauses]) {
|
|
346
|
+
lines.push(`CAUSE task=${task.taskId} kind=${cause.kind} direct=${cause.direct} root=${cause.rootTaskId} path=${cause.pathTaskIds.join(",")}`);
|
|
347
|
+
}
|
|
348
|
+
}
|
|
349
|
+
for (const action of assurance.requiredActions) {
|
|
350
|
+
lines.push(`ACTION kind=${action.kind} roots=${action.rootTaskIds.length === 0 ? "-" : action.rootTaskIds.join(",")} affected=${action.affectedTaskIds.length === 0
|
|
351
|
+
? "-"
|
|
352
|
+
: action.affectedTaskIds.join(",")}`);
|
|
353
|
+
}
|
|
354
|
+
return `${lines.join("\n")}\n`;
|
|
355
|
+
}
|
|
356
|
+
//# sourceMappingURL=target-assurance-inspection.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"target-assurance-inspection.js","sourceRoot":"","sources":["../../src/application/target-assurance-inspection.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,uBAAuB,EACvB,eAAe,GAGhB,MAAM,yBAAyB,CAAC;AAWjC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,kCAAkC,EAAE,MAAM,gCAAgC,CAAC;AAEpF,MAAM,CAAC,MAAM,oCAAoC,GAC/C,iCAA0C,CAAC;AAC7C,MAAM,CAAC,MAAM,8CAA8C,GAAG,CAAU,CAAC;AAoCzE,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC;IACvC,cAAc;IACd,cAAc;IACd,cAAc;IACd,cAAc;CACf,CAAC,CAAC;AAEH,SAAS,mBAAmB,CAC1B,IAAwF,EACxF,QAA6B,EAC7B,OAAe,EACf,QAAuB,EACvB,IAAI,GAAsC,EAAE;IAE5C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,QAAQ;QACR,OAAO;QACP,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;QAC1C,SAAS,EAAE,gBAAgB;QAC3B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;KAC1B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,MAAyB;IAC9C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAChB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,eAAe,CAAC,OAAuC;IAC9D,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QACpD,MAAM,IAAI,SAAS,CAAC,qDAAqD,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,KAAK,qBAAqB,EAAE,CAAC;QAChD,IACE,OAAO,CAAC,OAAO,KAAK,SAAS;YAC7B,CACE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC;gBAC/B,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC9B,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,CAClD,CACF,EACD,CAAC;YACD,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAC;QACrE,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,KAAK,qBAAqB,EAAE,CAAC;QAChD,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;IAChE,CAAC;IACD,IACE,OAAO,CAAC,IAAI,KAAK,UAAU;QAC3B,OAAO,CAAC,IAAI,KAAK,gBAAgB;QACjC,OAAO,CAAC,IAAI,KAAK,UAAU,EAC3B,CAAC;QACD,MAAM,IAAI,SAAS,CACjB,yDAAyD,CAC1D,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,OAAiD,EACjD,QAA6B;IAE7B,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QAC9C,MAAM,eAAe,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAC/D,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CACrB,CAAC;QACF,OAAO,eAAe,CAAC,MAAM,KAAK,CAAC;YACjC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;oBACb,IAAI,EAAE,MAAM,CAAC,IAAI;oBACjB,WAAW,EAAE,MAAM,CAAC,WAAW;oBAC/B,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC;iBAChD,CAAC,CAAC,CAAC;IACV,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAqC,EACrC,eAAkC;IAElC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,CAAC,MAAyB,EAAE,EAAE,CAC9C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACjE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,gBAAgB,EAAE,UAAU,CAAC,gBAAgB;QAC7C,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CACtE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CACrB,CAAC;QACF,qBAAqB,EAAE,SAAS,CAAC,UAAU,CAAC,qBAAqB,CAAC;QAClE,wBAAwB,EAAE,SAAS,CAAC,UAAU,CAAC,wBAAwB,CAAC;QACxE,qBAAqB,EAAE,SAAS,CAAC,UAAU,CAAC,qBAAqB,CAAC;QAClE,8BAA8B,EAAE,SAAS,CACvC,UAAU,CAAC,8BAA8B,CAC1C;QACD,eAAe,EAAE,eAAe,CAAC,UAAU,CAAC,eAAe,EAAE,QAAQ,CAAC;KACvE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAC5B,UAAqC,EACrC,yBAAkC;IAElC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,UAAU,CAAC,QAAQ,KAAK,UAAU,IAAI,UAAU,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC5E,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAClC,cAAc,EACd,SAAS,EACT,qEAAqE,EACrE,IAAI,EACJ,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAClC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,UAAU,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAClC,cAAc,EACd,SAAS,EACT,6CAA6C,EAC7C,IAAI,EACJ,EAAE,QAAQ,EAAE,UAAU,CAAC,qBAAqB,EAAE,CAC/C,CAAC,CAAC;IACL,CAAC;IACD,MAAM,kBAAkB,GAAG,UAAU,CAAC,WAAW;SAC9C,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,aAAa,CAAC;SAChD,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC/B,IAAI,yBAAyB,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAClC,cAAc,EACd,SAAS,EACT,qDAAqD,EACrD,IAAI,EACJ,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,CAChD,CAAC,CAAC;IACL,CAAC;IACD,IAAI,UAAU,CAAC,8BAA8B,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzD,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAClC,cAAc,EACd,SAAS,EACT,+EAA+E,EAC/E,IAAI,EACJ,EAAE,QAAQ,EAAE,UAAU,CAAC,8BAA8B,EAAE,CACxD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,aAAa,CACpB,MAAiC,EACjC,IAA2B;IAE3B,OAAO,IAAI,KAAK,UAAU;QACxB,CAAC,CAAC,MAAM,CAAC,YAAY;QACrB,CAAC,CAAC,IAAI,KAAK,gBAAgB;YAC3B,CAAC,CAAC,MAAM,CAAC,iBAAiB;YAC1B,CAAC,CAAC,MAAM,CAAC,qBAAqB,CAAC;AACnC,CAAC;AAED,SAAS,kBAAkB,CACzB,WAAkC,EAClC,OAAe,EACf,gBAAyB;IAEzB,MAAM,OAAO,GAAG,gBAAgB,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;IACxE,OAAO;QACL,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;QAC/C,oBAAoB,EAAE,gBAAgB,IAAI,OAAO,CAAC,SAAS;KAC5D,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CACpC,OAA8B,EAC9B,SAAgC,EAChC,OAAe,EACf,gBAAyB;IAEzB,MAAM,OAAO,GAAG;QACd,GAAG,eAAe,CAAC,OAAO,CAAC;QAC3B,GAAG,eAAe,CAAC,SAAS,CAAC;KAC9B,CAAC;IACF,MAAM,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACnD,OAAO;QACL,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;QAC/C,oBAAoB,EAAE,gBAAgB,IAAI,OAAO,CAAC,SAAS;KAC5D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,IAAY,EACZ,OAAuC,EACvC,UAAoC,EACpC,OAAO,GAAyC,EAAE;IAElD,eAAe,CAAC,OAAO,CAAC,CAAC;IACzB,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,kCAAkC,CACjD,IAAI,EACJ,UAAU,EACV,EAAE,cAAc,EAAE,OAAO,EAAE,CAC5B,CAAC;IACF,MAAM,MAAM,GAAG;QACb,aAAa,EAAE,oCAAoC;QACnD,kBAAkB,EAAE,8CAA8C;QAClE,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,cAAc,EAAE,QAAQ,CAAC,cAAc;QACvC,YAAY,EAAE,QAAQ,CAAC,YAAY;KAC3B,CAAC;IACX,MAAM,cAAc,GAAG,OAAO,CAAC,SAAS,KAAK,qBAAqB;QAChE,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC;QACtC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IACpC,IACE,CAAC,QAAQ,CAAC,EAAE;QACZ,QAAQ,CAAC,QAAQ,KAAK,IAAI;QAC1B,QAAQ,CAAC,QAAQ,CAAC,SAAS,KAAK,IAAI,EACpC,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,MAAM;YACT,EAAE,EAAE,KAAK;YACT,eAAe,EAAE,cAAc;YAC/B,MAAM,EAAE,OAAO,CAAC,SAAS,KAAK,qBAAqB;gBACjD,CAAC,CAAC,OAAO,CAAC,MAAM;gBAChB,CAAC,CAAC,IAAI;YACR,IAAI,EAAE,OAAO,CAAC,SAAS,KAAK,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;YACvE,YAAY,EAAE,IAAI;YAClB,SAAS,EAAE,IAAI;YACf,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;SACpD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC;IACzC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3E,MAAM,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CACtD,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAC1B,CAAC;IACF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,mBAAmB,CAC9D,cAAc,EACd,OAAO,EACP,QAAQ,MAAM,iBAAiB,EAC/B,MAAM,EACN,EAAE,OAAO,EAAE,MAAM,EAAE,CACpB,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,6BAA6B,CAC/C,KAAK,EACL,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CACvC,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CACpC,EACD,OAAO,EACP,QAAQ,CAAC,oBAAoB,CAC9B,CAAC;QACF,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,MAAM;YACT,EAAE,EAAE,KAAK;YACT,eAAe,EAAE,cAAc;YAC/B,MAAM,EAAE,OAAO,CAAC,SAAS,KAAK,qBAAqB;gBACjD,CAAC,CAAC,OAAO,CAAC,MAAM;gBAChB,CAAC,CAAC,IAAI;YACR,IAAI,EAAE,OAAO,CAAC,SAAS,KAAK,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;YACvE,YAAY,EAAE,IAAI;YAClB,SAAS,EAAE,IAAI;YACf,GAAG,WAAW;SACf,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;IAC1C,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW;SACnD,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;SAC5E,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAChC,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,KAAK,CAAC;QAC3C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAC5C,MAAM,eAAe,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAC/D,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CACpC,CAAC;IACF,IAAI,OAAO,CAAC,SAAS,KAAK,qBAAqB,EAAE,CAAC;QAChD,MAAM,WAAW,GAAG,kBAAkB,CACpC,CAAC,GAAG,eAAe,EAAE,GAAG,qBAAqB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EAC/D,OAAO,EACP,QAAQ,CAAC,oBAAoB,CAC9B,CAAC;QACF,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,MAAM;YACT,EAAE,EAAE,IAAI;YACR,eAAe;YACf,MAAM,EAAE,IAAI;YACZ,IAAI,EAAE,IAAI;YACV,YAAY,EAAE,IAAI;YAClB,SAAS;YACT,GAAG,WAAW;SACf,CAAC,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;IAC7C,MAAM,YAAY,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7D,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,MAAM,WAAW,GAAG,mBAAmB,CACrC,cAAc,EACd,OAAO,EACP,QAAQ,OAAO,CAAC,MAAM,qBAAqB,OAAO,CAAC,IAAI,OAAO,EAC9D,OAAO,CAAC,MAAM,EACd,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAChD,CAAC;QACF,MAAM,WAAW,GAAG,6BAA6B,CAC/C,CAAC,WAAW,CAAC,EACb,CAAC,GAAG,eAAe,EAAE,GAAG,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,EAChE,OAAO,EACP,QAAQ,CAAC,oBAAoB,CAC9B,CAAC;QACF,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,MAAM;YACT,EAAE,EAAE,KAAK;YACT,eAAe;YACf,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,YAAY,EAAE,IAAI;YAClB,SAAS;YACT,GAAG,WAAW;SACf,CAAC,CAAC;IACL,CAAC;IACD,MAAM,WAAW,GAAG,kBAAkB,CACpC,CAAC,GAAG,eAAe,EAAE,GAAG,qBAAqB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EAC/D,OAAO,EACP,QAAQ,CAAC,oBAAoB,CAC9B,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,MAAM;QACT,EAAE,EAAE,IAAI;QACR,eAAe;QACf,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,YAAY;QACZ,SAAS;QACT,GAAG,WAAW;KACf,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,QAA6B;IAKnD,OAAO;QACL,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC;QACvB,MAAM,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC;KAC5B,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB;IAClC,OAAO;QACL,KAAK,EAAE,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC;QACjC,GAAG,EAAE,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC;KAC9B,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAsB;IAEtB,OAAO;QACL,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,SAAS,EAAE,UAAU,CAAC,QAAQ,IAAI,IAAI;QACtC,IAAI,EAAE,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;QACxE,OAAO,EAAE,CAAC,UAAU,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YAC9D,OAAO;YACP,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;SACvB,CAAC,CAAC;QACH,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,UAAU,CAAC,SAAS,IAAI,IAAI;QACzC,eAAe,EAAE,UAAU,CAAC,cAAc,IAAI,IAAI;QAClD,KAAK,EAAE,EAAE;QACT,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,EAAE;KAC5B,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAA2B;IAC9C,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,YAAY,EAAE,KAAK,CAAC,UAAU;QAC9B,gBAAgB,EAAE,KAAK,CAAC,cAAc;QACtC,aAAa,EAAE,KAAK,CAAC,WAAW;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAiC;IAEjC,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,MAAM;QACtB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,cAAc,EAAE,MAAM,CAAC,aAAa;QACpC,aAAa,EAAE,MAAM,CAAC,YAAY;QAClC,mBAAmB,EAAE,MAAM,CAAC,iBAAiB;QAC7C,mBAAmB,EAAE,MAAM,CAAC,iBAAiB;QAC7C,eAAe,EAAE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACrD,mBAAmB,EAAE,KAAK,CAAC,iBAAiB;YAC5C,aAAa,EAAE,KAAK,CAAC,YAAY;YACjC,cAAc,EAAE,KAAK,CAAC,aAAa;SACpC,CAAC,CAAC;QACH,uBAAuB,EAAE,MAAM,CAAC,qBAAqB;QACrD,aAAa,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC;QACnD,gBAAgB,EAAE,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,SAA2C;IAE3C,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO;QACL,aAAa,EAAE,SAAS,CAAC,YAAY;QACrC,kBAAkB,EAAE,SAAS,CAAC,gBAAgB;QAC9C,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,YAAY,EAAE,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,gBAAgB,CAAC;QACzD,wBAAwB,EAAE,SAAS,CAAC,qBAAqB;QACzD,2BAA2B,EAAE,SAAS,CAAC,wBAAwB;QAC/D,wBAAwB,EAAE,SAAS,CAAC,qBAAqB;QACzD,kCAAkC,EAChC,SAAS,CAAC,8BAA8B;QAC1C,gBAAgB,EAAE,SAAS,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAC3D,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,aAAa,EAAE,MAAM,CAAC,WAAW;YACjC,iBAAiB,EAAE,MAAM,CAAC,eAAe;SAC1C,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yCAAyC,CACvD,MAA6C,EAC7C,MAAc;IAEd,OAAO;QACL,cAAc,EAAE,MAAM,CAAC,aAAa;QACpC,oBAAoB,EAAE,MAAM,CAAC,kBAAkB;QAC/C,YAAY,EAAE,YAAY;QAC1B,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,WAAW,EAAE,MAAM,CAAC,UAAU;QAC9B,MAAM;QACN,aAAa,EAAE,MAAM,CAAC,YAAY;QAClC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,gBAAgB,CAAC;QACrD,qBAAqB,EAAE,MAAM,CAAC,oBAAoB;QAClD,eAAe,EAAE,MAAM,CAAC,cAAc;QACtC,iBAAiB,EAAE,MAAM,CAAC,eAAe;QACzC,OAAO,EAAE,MAAM,CAAC,MAAM;QACtB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,aAAa,EAAE,MAAM,CAAC,YAAY;QAClC,SAAS,EAAE,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC;KAC7C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4CAA4C,CAC1D,MAA6C,EAC7C,MAAc;IAEd,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,yCAAyC,CAChE,MAAM,EACN,MAAM,CACP,CAAC,IAAI,CAAC;AACT,CAAC;AAED,SAAS,MAAM,CAAC,KAA6B;IAC3C,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,uCAAuC,CACrD,MAA6C;IAE7C,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IAC1B,IAAI,MAAM,CAAC,SAAS,KAAK,qBAAqB,EAAE,CAAC;QAC/C,OAAO,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,YAAY,IAAI,CAAC;IACxE,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;IACnC,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG;QACZ,2BAA2B,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,UACnD,MAAM,CAAC,SAAS,CAAC,YAAY,CAC/B,eAAe,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,aAC/C,MAAM,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAC7E,EAAE;KACH,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CACR,aAAa,IAAI,CAAC,MAAM,WAAW,IAAI,CAAC,MAAM,YAC5C,IAAI,CAAC,aACP,aAAa,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,mBACpC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAC/B,mBAAmB,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,aAC/C,MAAM,CAAC,IAAI,CAAC,qBAAqB,CACnC,EAAE,CACH,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YACpE,KAAK,CAAC,IAAI,CACR,cAAc,IAAI,CAAC,MAAM,SAAS,KAAK,CAAC,IAAI,WAC1C,KAAK,CAAC,MACR,SAAS,KAAK,CAAC,UAAU,SAAS,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAChE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,eAAe,EAAE,CAAC;QAC/C,KAAK,CAAC,IAAI,CACR,eAAe,MAAM,CAAC,IAAI,UACxB,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CACrE,aACE,MAAM,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;YACjC,CAAC,CAAC,GAAG;YACL,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CACrC,EAAE,CACH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC"}
|
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
import type { TargetPlanAssuranceMutationResultV4 } from "../assurance/mutation.js";
|
|
2
|
+
import type { TargetPlanAssuranceAdvanceResultV2WithHistory } from "./target-assurance-advance-history.js";
|
|
3
|
+
import type { TargetGrammar6Capability } from "../parser/document-parser.js";
|
|
4
|
+
export type TargetPlanAssurancePersistenceRequest = {
|
|
5
|
+
readonly mode: "in_place";
|
|
6
|
+
readonly target: string;
|
|
7
|
+
readonly expectedDigest?: string;
|
|
8
|
+
} | {
|
|
9
|
+
readonly mode: "out";
|
|
10
|
+
readonly source: string;
|
|
11
|
+
readonly target: string;
|
|
12
|
+
readonly fileMode?: number;
|
|
13
|
+
};
|
|
14
|
+
export interface TargetPlanAssuranceWriteProjection {
|
|
15
|
+
readonly mode: "in_place" | "out";
|
|
16
|
+
readonly target: string;
|
|
17
|
+
readonly written: boolean;
|
|
18
|
+
}
|
|
19
|
+
export type TargetPlanAssuranceWritableResult = TargetPlanAssuranceMutationResultV4 | TargetPlanAssuranceAdvanceResultV2WithHistory;
|
|
20
|
+
export declare function candidateForPlanAssuranceWrite(result: TargetPlanAssuranceWritableResult): string | null;
|
|
21
|
+
export declare function persistTargetPlanAssuranceResult(result: TargetPlanAssuranceWritableResult, capability: TargetGrammar6Capability, request: TargetPlanAssurancePersistenceRequest): Promise<TargetPlanAssuranceWriteProjection>;
|
|
22
|
+
//# sourceMappingURL=target-assurance-write.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"target-assurance-write.d.ts","sourceRoot":"","sources":["../../src/application/target-assurance-write.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,mCAAmC,EACpC,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,6CAA6C,EAC9C,MAAM,uCAAuC,CAAC;AAQ/C,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AAE7E,MAAM,MAAM,qCAAqC,GAC7C;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEN,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,KAAK,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,MAAM,iCAAiC,GACzC,mCAAmC,GACnC,6CAA6C,CAAC;AAElD,wBAAgB,8BAA8B,CAC5C,MAAM,EAAE,iCAAiC,GACxC,MAAM,GAAG,IAAI,CAyBf;AAED,wBAAsB,gCAAgC,CACpD,MAAM,EAAE,iCAAiC,EACzC,UAAU,EAAE,wBAAwB,EACpC,OAAO,EAAE,qCAAqC,GAC7C,OAAO,CAAC,kCAAkC,CAAC,CAsE7C"}
|
|
@@ -0,0 +1,73 @@
|
|
|
1
|
+
import { digestDocumentBytes } from "../io/document-file.js";
|
|
2
|
+
import { createTargetGrammar6DocumentFile, createTargetGrammar6DocumentFileFromSource, replaceTargetGrammar6DocumentFile, } from "../io/target-safe-write.js";
|
|
3
|
+
import { SafeWriteConflictError } from "../io/safe-write.js";
|
|
4
|
+
export function candidateForPlanAssuranceWrite(result) {
|
|
5
|
+
const decision = result.governance;
|
|
6
|
+
if (!result.ok ||
|
|
7
|
+
!result.changed ||
|
|
8
|
+
decision === null ||
|
|
9
|
+
decision.intent !== "persist" ||
|
|
10
|
+
!decision.writeAuthorized)
|
|
11
|
+
return null;
|
|
12
|
+
if (result.updatedText === null ||
|
|
13
|
+
result.updatedDigest === null ||
|
|
14
|
+
decision.sourceDigest !== result.originalDigest) {
|
|
15
|
+
throw new Error("authorized assurance result does not contain a digest-bound candidate");
|
|
16
|
+
}
|
|
17
|
+
const actualDigest = digestDocumentBytes(Buffer.from(result.updatedText, "utf8"));
|
|
18
|
+
if (actualDigest !== result.updatedDigest) {
|
|
19
|
+
throw new Error("authorized assurance candidate digest does not match its text");
|
|
20
|
+
}
|
|
21
|
+
return result.updatedText;
|
|
22
|
+
}
|
|
23
|
+
export async function persistTargetPlanAssuranceResult(result, capability, request) {
|
|
24
|
+
if (request.mode === "in_place" &&
|
|
25
|
+
request.expectedDigest !== undefined &&
|
|
26
|
+
request.expectedDigest !== result.originalDigest) {
|
|
27
|
+
throw new SafeWriteConflictError("expected_digest_mismatch", "--expect-digest does not match the initial document digest");
|
|
28
|
+
}
|
|
29
|
+
if ("assuranceGuard" in result) {
|
|
30
|
+
const expectedHistory = request.mode === "in_place"
|
|
31
|
+
? result.historyGuard?.status === "passed" ||
|
|
32
|
+
result.historyGuard?.status === "forced"
|
|
33
|
+
: result.historyGuard?.status === "not_applicable" &&
|
|
34
|
+
result.historyGuard.cause === "separate_output";
|
|
35
|
+
if (result.assuranceGuard?.status === "blocked" || !expectedHistory) {
|
|
36
|
+
return Object.freeze({
|
|
37
|
+
mode: request.mode,
|
|
38
|
+
target: request.target,
|
|
39
|
+
written: false,
|
|
40
|
+
});
|
|
41
|
+
}
|
|
42
|
+
}
|
|
43
|
+
const candidate = candidateForPlanAssuranceWrite(result);
|
|
44
|
+
if (candidate === null) {
|
|
45
|
+
return Object.freeze({
|
|
46
|
+
mode: request.mode,
|
|
47
|
+
target: request.target,
|
|
48
|
+
written: false,
|
|
49
|
+
});
|
|
50
|
+
}
|
|
51
|
+
const output = request.mode === "in_place"
|
|
52
|
+
? await replaceTargetGrammar6DocumentFile(request.target, candidate, capability, {
|
|
53
|
+
initialDigest: result.originalDigest,
|
|
54
|
+
...(request.expectedDigest === undefined
|
|
55
|
+
? {}
|
|
56
|
+
: { expectedDigest: request.expectedDigest }),
|
|
57
|
+
})
|
|
58
|
+
: request.source === "-"
|
|
59
|
+
? await createTargetGrammar6DocumentFile(request.target, candidate, capability, request.fileMode === undefined ? {} : { mode: request.fileMode })
|
|
60
|
+
: await createTargetGrammar6DocumentFileFromSource(request.source, request.target, candidate, capability, {
|
|
61
|
+
initialDigest: result.originalDigest,
|
|
62
|
+
...(request.fileMode === undefined ? {} : { mode: request.fileMode }),
|
|
63
|
+
});
|
|
64
|
+
if (output.digest !== result.updatedDigest) {
|
|
65
|
+
throw new Error("assurance safe-write digest does not match the candidate");
|
|
66
|
+
}
|
|
67
|
+
return Object.freeze({
|
|
68
|
+
mode: request.mode,
|
|
69
|
+
target: request.target,
|
|
70
|
+
written: output.written,
|
|
71
|
+
});
|
|
72
|
+
}
|
|
73
|
+
//# sourceMappingURL=target-assurance-write.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"target-assurance-write.js","sourceRoot":"","sources":["../../src/application/target-assurance-write.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EACL,gCAAgC,EAChC,0CAA0C,EAC1C,iCAAiC,GAClC,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AA0B7D,MAAM,UAAU,8BAA8B,CAC5C,MAAyC;IAEzC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC;IACnC,IACE,CAAC,MAAM,CAAC,EAAE;QACV,CAAC,MAAM,CAAC,OAAO;QACf,QAAQ,KAAK,IAAI;QACjB,QAAQ,CAAC,MAAM,KAAK,SAAS;QAC7B,CAAC,QAAQ,CAAC,eAAe;QACzB,OAAO,IAAI,CAAC;IACd,IACE,MAAM,CAAC,WAAW,KAAK,IAAI;QAC3B,MAAM,CAAC,aAAa,KAAK,IAAI;QAC7B,QAAQ,CAAC,YAAY,KAAK,MAAM,CAAC,cAAc,EAC/C,CAAC;QACD,MAAM,IAAI,KAAK,CACb,uEAAuE,CACxE,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,mBAAmB,CACtC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CACxC,CAAC;IACF,IAAI,YAAY,KAAK,MAAM,CAAC,aAAa,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,MAAM,CAAC,WAAW,CAAC;AAC5B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,MAAyC,EACzC,UAAoC,EACpC,OAA8C;IAE9C,IACE,OAAO,CAAC,IAAI,KAAK,UAAU;QAC3B,OAAO,CAAC,cAAc,KAAK,SAAS;QACpC,OAAO,CAAC,cAAc,KAAK,MAAM,CAAC,cAAc,EAChD,CAAC;QACD,MAAM,IAAI,sBAAsB,CAC9B,0BAA0B,EAC1B,4DAA4D,CAC7D,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,IAAI,MAAM,EAAE,CAAC;QAC/B,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,KAAK,UAAU;YACjD,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,KAAK,QAAQ;gBACxC,MAAM,CAAC,YAAY,EAAE,MAAM,KAAK,QAAQ;YAC1C,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,KAAK,gBAAgB;gBAChD,MAAM,CAAC,YAAY,CAAC,KAAK,KAAK,iBAAiB,CAAC;QACpD,IAAI,MAAM,CAAC,cAAc,EAAE,MAAM,KAAK,SAAS,IAAI,CAAC,eAAe,EAAE,CAAC;YACpE,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,OAAO,EAAE,KAAK;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,8BAA8B,CAAC,MAAM,CAAC,CAAC;IACzD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,OAAO,EAAE,KAAK;SACf,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,KAAK,UAAU;QACxC,CAAC,CAAC,MAAM,iCAAiC,CACrC,OAAO,CAAC,MAAM,EACd,SAAS,EACT,UAAU,EACV;YACE,aAAa,EAAE,MAAM,CAAC,cAAc;YACpC,GAAG,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS;gBACtC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC;SAChD,CACF;QACH,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,GAAG;YACtB,CAAC,CAAC,MAAM,gCAAgC,CACpC,OAAO,CAAC,MAAM,EACd,SAAS,EACT,UAAU,EACV,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,CACjE;YACH,CAAC,CAAC,MAAM,0CAA0C,CAC9C,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,MAAM,EACd,SAAS,EACT,UAAU,EACV;gBACE,aAAa,EAAE,MAAM,CAAC,cAAc;gBACpC,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;aACtE,CACF,CAAC;IACR,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,aAAa,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC,CAAC;AACL,CAAC"}
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import type { Diagnostic } from "../model/diagnostics.js";
|
|
2
2
|
import type { TextEdit } from "../mutation/text-edits.js";
|
|
3
|
-
import type { TargetGrammar4Capability, TargetGrammar5Capability } from "../parser/document-parser.js";
|
|
3
|
+
import type { TargetGrammar4Capability, TargetGrammar5Capability, TargetGrammar6Capability } from "../parser/document-parser.js";
|
|
4
4
|
import { GOVERNANCE_DIRECT_EDIT_WARNING } from "../governance/guidance.js";
|
|
5
5
|
import { type TargetValidationOptions } from "../semantic/target-validator.js";
|
|
6
6
|
import type { ProjectInitDurationUnit, ProjectInitWrite } from "./init.js";
|
|
@@ -24,7 +24,7 @@ export interface TargetGovernanceProjectInitRequest {
|
|
|
24
24
|
export interface TargetGovernanceProjectInitResult {
|
|
25
25
|
readonly ok: boolean;
|
|
26
26
|
readonly documentId: string | null;
|
|
27
|
-
readonly grammarVersion: 1 | 2 | 3 | 4 | 5 | null;
|
|
27
|
+
readonly grammarVersion: 1 | 2 | 3 | 4 | 5 | 6 | null;
|
|
28
28
|
readonly candidateText: string | null;
|
|
29
29
|
readonly candidateDigest: string | null;
|
|
30
30
|
readonly edits: readonly TextEdit[];
|
|
@@ -32,5 +32,5 @@ export interface TargetGovernanceProjectInitResult {
|
|
|
32
32
|
readonly diagnostics: readonly Diagnostic[];
|
|
33
33
|
readonly diagnosticsTruncated: boolean;
|
|
34
34
|
}
|
|
35
|
-
export declare function planTargetGovernanceProjectInit(request: unknown, capability: TargetGrammar4Capability | TargetGrammar5Capability, options?: TargetValidationOptions): TargetGovernanceProjectInitResult;
|
|
35
|
+
export declare function planTargetGovernanceProjectInit(request: unknown, capability: TargetGrammar4Capability | TargetGrammar5Capability | TargetGrammar6Capability, options?: TargetValidationOptions): TargetGovernanceProjectInitResult;
|
|
36
36
|
//# sourceMappingURL=target-governance-init.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"target-governance-init.d.ts","sourceRoot":"","sources":["../../src/application/target-governance-init.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,KAAK,EACV,wBAAwB,EACxB,wBAAwB,EACzB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAC3E,OAAO,
|
|
1
|
+
{"version":3,"file":"target-governance-init.d.ts","sourceRoot":"","sources":["../../src/application/target-governance-init.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,KAAK,EACV,wBAAwB,EACxB,wBAAwB,EACxB,wBAAwB,EACzB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAC3E,OAAO,EAIL,KAAK,uBAAuB,EAC7B,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EACV,uBAAuB,EACvB,gBAAgB,EACjB,MAAM,WAAW,CAAC;AAEnB,OAAO,EAAE,8BAA8B,EAAE,CAAC;AAE1C,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,uBAAuB,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,iCAAiC;IAChD,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AAwLD,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,OAAO,EAChB,UAAU,EACN,wBAAwB,GACxB,wBAAwB,GACxB,wBAAwB,EAC5B,OAAO,GAAE,uBAA4B,GACpC,iCAAiC,CAoDnC"}
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import { digestDocumentBytes } from "../io/document-file.js";
|
|
2
2
|
import { mutationDiagnostic } from "../mutation/diagnostics.js";
|
|
3
3
|
import { GOVERNANCE_DIRECT_EDIT_WARNING } from "../governance/guidance.js";
|
|
4
|
-
import { validateTargetGrammar4Document, validateTargetGrammar5Document, } from "../semantic/target-validator.js";
|
|
4
|
+
import { validateTargetGrammar4Document, validateTargetGrammar5Document, validateTargetGrammar6Document, } from "../semantic/target-validator.js";
|
|
5
5
|
export { GOVERNANCE_DIRECT_EDIT_WARNING };
|
|
6
6
|
const requestFields = new Set([
|
|
7
7
|
"projectId",
|
|
@@ -58,8 +58,8 @@ function requestError(value) {
|
|
|
58
58
|
if (request["version"] !== undefined &&
|
|
59
59
|
(!Number.isSafeInteger(request["version"]) ||
|
|
60
60
|
request["version"] < 1 ||
|
|
61
|
-
request["version"] >
|
|
62
|
-
return "project init version must be an integer from 1 to
|
|
61
|
+
request["version"] > 6)) {
|
|
62
|
+
return "project init version must be an integer from 1 to 6";
|
|
63
63
|
}
|
|
64
64
|
for (const field of ["asOf", "velocity", "initialMilestoneDeadline"]) {
|
|
65
65
|
if (request[field] !== undefined && typeof request[field] !== "string") {
|
|
@@ -91,17 +91,19 @@ function requestError(value) {
|
|
|
91
91
|
if (governance &&
|
|
92
92
|
request["version"] !== undefined &&
|
|
93
93
|
request["version"] !== 4 &&
|
|
94
|
-
request["version"] !== 5
|
|
95
|
-
|
|
94
|
+
request["version"] !== 5 &&
|
|
95
|
+
request["version"] !== 6) {
|
|
96
|
+
return "project init governance fields require version 4, 5, or 6";
|
|
96
97
|
}
|
|
97
98
|
const version = governance ? (request["version"] ?? 4) : (request["version"] ?? 1);
|
|
98
99
|
if (request["initialMilestoneDeadline"] !== undefined &&
|
|
99
100
|
((version !== 2 &&
|
|
100
101
|
version !== 3 &&
|
|
101
102
|
version !== 4 &&
|
|
102
|
-
version !== 5
|
|
103
|
+
version !== 5 &&
|
|
104
|
+
version !== 6) ||
|
|
103
105
|
request["asOf"] === undefined)) {
|
|
104
|
-
return "project init initialMilestoneDeadline requires version 2, 3, 4, or
|
|
106
|
+
return "project init initialMilestoneDeadline requires version 2, 3, 4, 5, or 6 and asOf";
|
|
105
107
|
}
|
|
106
108
|
return undefined;
|
|
107
109
|
}
|
|
@@ -159,9 +161,11 @@ export function planTargetGovernanceProjectInit(request, capability, options = {
|
|
|
159
161
|
};
|
|
160
162
|
}
|
|
161
163
|
const candidateText = renderCandidate(request);
|
|
162
|
-
const checked = capability.grammarVersion ===
|
|
163
|
-
?
|
|
164
|
-
:
|
|
164
|
+
const checked = capability.grammarVersion === 6
|
|
165
|
+
? validateTargetGrammar6Document(candidateText, capability, options)
|
|
166
|
+
: capability.grammarVersion === 5
|
|
167
|
+
? validateTargetGrammar5Document(candidateText, capability, options)
|
|
168
|
+
: validateTargetGrammar4Document(candidateText, capability, options);
|
|
165
169
|
if (!checked.ok || checked.validatedDocument === null) {
|
|
166
170
|
return {
|
|
167
171
|
ok: false,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"target-governance-init.js","sourceRoot":"","sources":["../../src/application/target-governance-init.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAE7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;
|
|
1
|
+
{"version":3,"file":"target-governance-init.js","sourceRoot":"","sources":["../../src/application/target-governance-init.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAE7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAOhE,OAAO,EAAE,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAC3E,OAAO,EACL,8BAA8B,EAC9B,8BAA8B,EAC9B,8BAA8B,GAE/B,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EAAE,8BAA8B,EAAE,CAAC;AA+B1C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,WAAW;IACX,OAAO;IACP,cAAc;IACd,kBAAkB;IAClB,uBAAuB;IACvB,QAAQ;IACR,SAAS;IACT,MAAM;IACN,UAAU;IACV,0BAA0B;IAC1B,WAAW;IACX,eAAe;IACf,UAAU;IACV,cAAc;CACf,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,0BAA0B,CAAC;AAEpD,MAAM,YAAY,GAAqB,MAAM,CAAC,MAAM,CAAC;IACnD,IAAI,EAAE,SAAS;IACf,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,KAAK;CACf,CAAC,CAAC;AAEH,SAAS,aAAa,CACpB,OAKC;IAED,OAAO,CACL,OAAO,CAAC,SAAS,KAAK,SAAS;QAC/B,OAAO,CAAC,aAAa,KAAK,SAAS;QACnC,OAAO,CAAC,QAAQ,KAAK,SAAS;QAC9B,OAAO,CAAC,YAAY,KAAK,SAAS,CACnC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,uCAAuC,CAAC;IACjD,CAAC;IACD,MAAM,OAAO,GAAG,KAAgC,CAAC;IACjD,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACpE,OAAO,kDAAkD,CAAC;IAC5D,CAAC;IACD,KAAK,MAAM,KAAK,IAAI;QAClB,WAAW;QACX,OAAO;QACP,kBAAkB;QAClB,uBAAuB;QACvB,QAAQ;KACT,EAAE,CAAC;QACF,IAAI,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;YACvC,OAAO,8CAA8C,KAAK,EAAE,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,IACE,OAAO,CAAC,cAAc,CAAC,KAAK,KAAK;QACjC,OAAO,CAAC,cAAc,CAAC,KAAK,MAAM;QAClC,OAAO,CAAC,cAAc,CAAC,KAAK,OAAO,EACnC,CAAC;QACD,OAAO,uDAAuD,CAAC;IACjE,CAAC;IACD,IACE,OAAO,CAAC,SAAS,CAAC,KAAK,SAAS;QAChC,CACE,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACxC,OAAO,CAAC,SAAS,CAAY,GAAG,CAAC;YACjC,OAAO,CAAC,SAAS,CAAY,GAAG,CAAC,CACnC,EACD,CAAC;QACD,OAAO,qDAAqD,CAAC;IAC/D,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,0BAA0B,CAAC,EAAE,CAAC;QACrE,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;YACvE,OAAO,gBAAgB,KAAK,iCAAiC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;QAC9C,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACjC,IACE,SAAS,KAAK,SAAS;YACvB,CAAC,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EACpE,CAAC;YACD,OAAO,gBAAgB,KAAK,oCAAoC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,eAAe,EAAE,cAAc,CAAC,EAAE,CAAC;QACtD,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAClC,IACE,UAAU,KAAK,SAAS;YACxB,CACE,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;gBAC1B,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CACrE,CACF,EACD,CAAC;YACD,OAAO,gBAAgB,KAAK,yCAAyC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACtD,OAAO,6EAA6E,CAAC;IACvF,CAAC;IACD,IAAI,OAAO,CAAC,cAAc,CAAC,KAAK,OAAO,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;QAC7E,OAAO,wDAAwD,CAAC;IAClE,CAAC;IACD,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAC1C,IACE,UAAU;QACV,OAAO,CAAC,SAAS,CAAC,KAAK,SAAS;QAChC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC;QACxB,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC;QACxB,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,EACxB,CAAC;QACD,OAAO,2DAA2D,CAAC;IACrE,CAAC;IACD,MAAM,OAAO,GACX,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,IACE,OAAO,CAAC,0BAA0B,CAAC,KAAK,SAAS;QACjD,CACE,CACE,OAAO,KAAK,CAAC;YACb,OAAO,KAAK,CAAC;YACb,OAAO,KAAK,CAAC;YACb,OAAO,KAAK,CAAC;YACb,OAAO,KAAK,CAAC,CACd;YACD,OAAO,CAAC,MAAM,CAAC,KAAK,SAAS,CAC9B,EACD,CAAC;QACD,OAAO,kFAAkF,CAAC;IAC5F,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CAAC,MAAyB;IAC9C,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAClC,CAAC;AAED,SAAS,eAAe,CAAC,OAA2C;IAClE,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC;QACpC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;IAC3B,OAAO;QACL,8BAA8B;QAC9B,WAAW,OAAO,CAAC,SAAS,GAAG;QAC/B,aAAa,OAAO,EAAE;QACtB,WAAW,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;QAC1C,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAClE,mBAAmB,OAAO,CAAC,YAAY,EAAE;QACzC,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC7E,YAAY,OAAO,CAAC,MAAM,EAAE;QAC5B,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS;YACjC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,gBAAgB,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;QAC1C,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS;YACrC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,oBAAoB,aAAa,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QACjE,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS;YAChC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,eAAe,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;QACxC,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS;YACpC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,mBAAmB,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAC/D,EAAE;QACF,aAAa,OAAO,CAAC,gBAAgB,GAAG;QACxC,WAAW,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,qBAAqB,CAAC,EAAE;QAC1D,iBAAiB;QACjB,GAAG,CAAC,OAAO,CAAC,wBAAwB,KAAK,SAAS;YAChD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,cAAc,OAAO,CAAC,wBAAwB,EAAE,CAAC,CAAC;QACvD,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,OAAgB,EAChB,UAG4B,EAC5B,OAAO,GAA4B,EAAE;IAErC,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,IAAI;YAChB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,IAAI;YACnB,eAAe,EAAE,IAAI;YACrB,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,YAAY;YACnB,WAAW,EAAE,CAAC,kBAAkB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YACrD,oBAAoB,EAAE,KAAK;SAC5B,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,eAAe,CACnC,OAA6C,CAC9C,CAAC;IACF,MAAM,OAAO,GAAG,UAAU,CAAC,cAAc,KAAK,CAAC;QAC7C,CAAC,CAAC,8BAA8B,CAAC,aAAa,EAAE,UAAU,EAAE,OAAO,CAAC;QACpE,CAAC,CAAC,UAAU,CAAC,cAAc,KAAK,CAAC;YAC/B,CAAC,CAAC,8BAA8B,CAAC,aAAa,EAAE,UAAU,EAAE,OAAO,CAAC;YACpE,CAAC,CAAC,8BAA8B,CAAC,aAAa,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IACzE,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QACtD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,IAAI;YACnB,eAAe,EAAE,IAAI;YACrB,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,YAAY;YACnB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;SACnD,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;QACzB,WAAW,EAAE,CAAC;QACd,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,aAAa;KAC3B,CAAC,CAAC;IACH,OAAO;QACL,EAAE,EAAE,IAAI;QACR,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,cAAc,EAAE,OAAO,CAAC,iBAAiB,CAAC,cAAc;QACxD,aAAa;QACb,eAAe,EAAE,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QACxE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,EAAE,YAAY;QACnB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;KACnD,CAAC;AACJ,CAAC"}
|