perttool 0.8.0 → 0.9.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 +37 -1
- package/README.md +90 -39
- package/dist/application/cli-facade.d.ts +10 -6
- package/dist/application/cli-facade.d.ts.map +1 -1
- package/dist/application/cli-facade.js +14 -6
- package/dist/application/cli-facade.js.map +1 -1
- package/dist/application/contract8-milestone-acceptance.d.ts +74 -0
- package/dist/application/contract8-milestone-acceptance.d.ts.map +1 -0
- package/dist/application/contract8-milestone-acceptance.js +185 -0
- package/dist/application/contract8-milestone-acceptance.js.map +1 -0
- package/dist/application/editor-milestone-acceptance.d.ts +75 -0
- package/dist/application/editor-milestone-acceptance.d.ts.map +1 -0
- package/dist/application/editor-milestone-acceptance.js +161 -0
- package/dist/application/editor-milestone-acceptance.js.map +1 -0
- package/dist/application/target-governance-init.d.ts +1 -1
- package/dist/application/target-governance-init.d.ts.map +1 -1
- package/dist/application/target-governance-init.js +3 -5
- package/dist/application/target-governance-init.js.map +1 -1
- package/dist/application/target-governance-project.d.ts +2 -2
- package/dist/application/target-governance-project.d.ts.map +1 -1
- package/dist/application/target-historical-graph.d.ts +3 -1
- package/dist/application/target-historical-graph.d.ts.map +1 -1
- package/dist/application/target-historical-graph.js +85 -2
- package/dist/application/target-historical-graph.js.map +1 -1
- package/dist/assurance/advance.d.ts.map +1 -1
- package/dist/assurance/advance.js +13 -3
- package/dist/assurance/advance.js.map +1 -1
- package/dist/cli.js +348 -28
- package/dist/cli.js.map +1 -1
- package/dist/command/assurance-discovery.d.ts +4 -3
- package/dist/command/assurance-discovery.d.ts.map +1 -1
- package/dist/command/assurance-discovery.js +96 -9
- package/dist/command/assurance-discovery.js.map +1 -1
- package/dist/command/assurance-usage.js +2 -2
- package/dist/command/assurance-usage.js.map +1 -1
- package/dist/command/discovery.js +4 -4
- package/dist/command/discovery.js.map +1 -1
- package/dist/command/registry.d.ts +1 -1
- package/dist/command/registry.d.ts.map +1 -1
- package/dist/command/registry.js +2 -2
- package/dist/command/registry.js.map +1 -1
- package/dist/command/usage.d.ts.map +1 -1
- package/dist/command/usage.js +12 -4
- package/dist/command/usage.js.map +1 -1
- package/dist/core/index.d.ts +1 -1
- package/dist/core/index.d.ts.map +1 -1
- package/dist/help/assurance-guide.d.ts +1 -1
- package/dist/help/assurance-guide.d.ts.map +1 -1
- package/dist/help/assurance-guide.js +45 -19
- package/dist/help/assurance-guide.js.map +1 -1
- package/dist/help/guide.d.ts +1 -1
- package/dist/help/guide.d.ts.map +1 -1
- package/dist/help/registry.js +4 -4
- package/dist/help/registry.js.map +1 -1
- package/dist/history/historical-graph.d.ts +2 -0
- package/dist/history/historical-graph.d.ts.map +1 -1
- package/dist/history/historical-graph.js +98 -24
- package/dist/history/historical-graph.js.map +1 -1
- package/dist/history/milestone-acceptance-history.d.ts +59 -0
- package/dist/history/milestone-acceptance-history.d.ts.map +1 -0
- package/dist/history/milestone-acceptance-history.js +332 -0
- package/dist/history/milestone-acceptance-history.js.map +1 -0
- package/dist/index.d.ts +10 -9
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +7 -6
- package/dist/index.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/milestone-acceptance/advance.d.ts +39 -0
- package/dist/milestone-acceptance/advance.d.ts.map +1 -0
- package/dist/milestone-acceptance/advance.js +112 -0
- package/dist/milestone-acceptance/advance.js.map +1 -0
- package/dist/milestone-acceptance/evaluate.d.ts +51 -0
- package/dist/milestone-acceptance/evaluate.d.ts.map +1 -0
- package/dist/milestone-acceptance/evaluate.js +114 -0
- package/dist/milestone-acceptance/evaluate.js.map +1 -0
- package/dist/milestone-acceptance/migration.d.ts +25 -0
- package/dist/milestone-acceptance/migration.d.ts.map +1 -0
- package/dist/milestone-acceptance/migration.js +76 -0
- package/dist/milestone-acceptance/migration.js.map +1 -0
- package/dist/milestone-acceptance/mutation.d.ts +49 -0
- package/dist/milestone-acceptance/mutation.d.ts.map +1 -0
- package/dist/milestone-acceptance/mutation.js +136 -0
- package/dist/milestone-acceptance/mutation.js.map +1 -0
- package/dist/milestone-acceptance/source.d.ts +83 -0
- package/dist/milestone-acceptance/source.d.ts.map +1 -0
- package/dist/milestone-acceptance/source.js +301 -0
- package/dist/milestone-acceptance/source.js.map +1 -0
- package/dist/mutation/advance-deletion.d.ts.map +1 -1
- package/dist/mutation/advance-deletion.js +6 -1
- package/dist/mutation/advance-deletion.js.map +1 -1
- package/dist/recommendation/override-types.d.ts +2 -2
- package/dist/recommendation/override.d.ts +1 -1
- package/dist/recommendation/override.js +2 -2
- package/dist/schema/registry.d.ts +1 -1
- package/dist/schema/registry.d.ts.map +1 -1
- package/dist/schema/registry.js +8 -6
- package/dist/schema/registry.js.map +1 -1
- package/dist/semantic/validator.d.ts.map +1 -1
- package/dist/semantic/validator.js +14 -3
- package/dist/semantic/validator.js.map +1 -1
- package/dist/session/document-session.d.ts +5 -0
- package/dist/session/document-session.d.ts.map +1 -1
- package/dist/session/document-session.js +25 -2
- package/dist/session/document-session.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.v2.schema.json → Perttool.AdvanceResult.v3.schema.json} +36 -5
- package/schemas/Perttool.AgentGuidanceResult.v1.schema.json +1 -1
- package/schemas/{Perttool.AnalysisResult.v5.schema.json → Perttool.AnalysisResult.v6.schema.json} +12 -5
- package/schemas/{Perttool.CheckResult.v4.schema.json → Perttool.CheckResult.v5.schema.json} +12 -5
- package/schemas/Perttool.CliError.v1.schema.json +1 -1
- package/schemas/Perttool.CommandHelpResult.v1.schema.json +3 -3
- 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.HistoricalGraphResult.v1.schema.json +100 -2
- package/schemas/Perttool.ImportResult.v1.schema.json +1 -1
- package/schemas/Perttool.InitResult.v1.schema.json +1 -1
- package/schemas/Perttool.MilestoneAcceptanceMigrationResult.v1.schema.json +24 -0
- package/schemas/Perttool.MilestoneAcceptanceResult.v1.schema.json +79 -0
- package/schemas/{Perttool.MutationResult.v4.schema.json → Perttool.MutationResult.v5.schema.json} +4 -4
- package/schemas/{Perttool.NextResult.v6.schema.json → Perttool.NextResult.v7.schema.json} +12 -5
- package/schemas/Perttool.OverrideDecision.v1.schema.json +1 -1
- package/schemas/Perttool.PlanAssuranceResult.v1.schema.json +1 -1
- package/schemas/Perttool.ProjectHistoryResult.v1.schema.json +1 -1
- package/schemas/Perttool.ProjectResult.v4.schema.json +2 -2
- 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 @@
|
|
|
1
|
+
{"version":3,"file":"milestone-acceptance-history.d.ts","sourceRoot":"","sources":["../../src/history/milestone-acceptance-history.ts"],"names":[],"mappings":"AAIA,OAAO,EAEL,KAAK,gCAAgC,EACtC,MAAM,qCAAqC,CAAC;AAG7C,OAAO,EAIL,KAAK,iCAAiC,EACvC,MAAM,mCAAmC,CAAC;AAC3C,OAAO,KAAK,EACV,2BAA2B,EAE5B,MAAM,gBAAgB,CAAC;AAExB,eAAO,MAAM,qCAAqC,EAChD,gDAAyD,CAAC;AAC5D,eAAO,MAAM,6CAA6C,EAAG,CAAU,CAAC;AACxE,eAAO,MAAM,+CAA+C,EAC1D,0CAAmD,CAAC;AAEtD,eAAO,MAAM,sCAAsC;;;EAGjD,CAAC;AAEH,MAAM,MAAM,+CAA+C,GACvD,gBAAgB,GAChB,WAAW,GACX,aAAa,CAAC;AAElB,MAAM,MAAM,oCAAoC,GAC5C,0BAA0B,GAC1B,gBAAgB,GAChB,gBAAgB,GAChB,qBAAqB,GACrB,mBAAmB,GACnB,gCAAgC,GAChC,+BAA+B,GAC/B,qBAAqB,GACrB,qBAAqB,GACrB,YAAY,CAAC;AAEjB,MAAM,WAAW,0CAA0C;IACzD,QAAQ,CAAC,KAAK,EAAE,oCAAoC,CAAC;IACrD,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,SAAS,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED,MAAM,WAAW,qCAAqC;IACpD,QAAQ,CAAC,IAAI,EAAE,iCAAiC,CAAC,MAAM,CAAC,CAAC;IACzD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,iCAAiC,CAAC,MAAM,CAAC,CAAC;CAClE;AAED,MAAM,WAAW,yCAAyC;IACxD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,+CAA+C,CAAC;IACjE,QAAQ,CAAC,UAAU,EAAE,gCAAgC,GAAG,IAAI,CAAC;IAC7D,QAAQ,CAAC,OAAO,EAAE,SAAS,qCAAqC,EAAE,CAAC;IACnE,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAED,MAAM,WAAW,2CAA2C;IAC1D,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,eAAe,EACtB,OAAO,+CAA+C,CAAC;IACzD,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,sBAAsB,EAAE,SAAS,MAAM,EAAE,CAAC;IACnD,QAAQ,CAAC,2BAA2B,EAAE,SAAS,MAAM,EAAE,CAAC;IACxD,QAAQ,CAAC,sBAAsB,EAAE,SAAS,MAAM,EAAE,CAAC;IACnD,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;CAChD;AAED,MAAM,WAAW,sCAAsC;IACrD,QAAQ,CAAC,KAAK,EAAE,OAAO,qCAAqC,CAAC;IAC7D,QAAQ,CAAC,aAAa,EACpB,OAAO,6CAA6C,CAAC;IACvD,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,YAAY,GAAG,aAAa,CAAC;IAC3D,QAAQ,CAAC,WAAW,EAClB,SAAS,yCAAyC,EAAE,CAAC;IACvD,QAAQ,CAAC,wBAAwB,EAC/B,SAAS,2CAA2C,EAAE,CAAC;IACzD,QAAQ,CAAC,MAAM,EAAE,SAAS,0CAA0C,EAAE,CAAC;IACvE,QAAQ,CAAC,MAAM,EAAE,OAAO,sCAAsC,CAAC;CAChE;AA4SD,wBAAgB,wCAAwC,CACtD,QAAQ,EAAE,2BAA2B,GACpC,sCAAsC,CA+FxC"}
|
|
@@ -0,0 +1,332 @@
|
|
|
1
|
+
import { computeEffectiveReached } from "../analysis/graph.js";
|
|
2
|
+
import { sha256Digest } from "../model/sha256.js";
|
|
3
|
+
import { TARGET_GRAMMAR_6_CAPABILITY } from "../parser/document-parser.js";
|
|
4
|
+
import { validateTargetGrammar6Document } from "../semantic/target-validator.js";
|
|
5
|
+
import { evaluateMilestoneAcceptance, } from "../milestone-acceptance/evaluate.js";
|
|
6
|
+
import { planMilestoneAcceptanceAdvance } from "../milestone-acceptance/advance.js";
|
|
7
|
+
import { planTargetPlanAssuranceAdvance } from "../assurance/advance.js";
|
|
8
|
+
import { MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY, milestoneAcceptanceBaseText, parseMilestoneAcceptanceSource, } from "../milestone-acceptance/source.js";
|
|
9
|
+
export const HISTORICAL_MILESTONE_ACCEPTANCE_MODEL = "Perttool.HistoricalMilestoneAcceptanceModel.v1";
|
|
10
|
+
export const HISTORICAL_MILESTONE_ACCEPTANCE_MODEL_VERSION = 1;
|
|
11
|
+
export const HISTORICAL_MILESTONE_ACCEPTANCE_ADVANCE_PLANNER = "perttool.milestone-acceptance-advance.v1";
|
|
12
|
+
export const HISTORICAL_MILESTONE_ACCEPTANCE_LIMITS = Object.freeze({
|
|
13
|
+
checkpoints: 2_048,
|
|
14
|
+
records: 100_000,
|
|
15
|
+
});
|
|
16
|
+
function deepFreeze(value) {
|
|
17
|
+
if (value !== null && typeof value === "object" && !Object.isFrozen(value)) {
|
|
18
|
+
for (const child of Object.values(value)) {
|
|
19
|
+
deepFreeze(child);
|
|
20
|
+
}
|
|
21
|
+
Object.freeze(value);
|
|
22
|
+
}
|
|
23
|
+
return value;
|
|
24
|
+
}
|
|
25
|
+
function cause(value, commitId, recordId = null, limit = null, actual = null) {
|
|
26
|
+
return { cause: value, commit_id: commitId, record_id: recordId, limit, actual };
|
|
27
|
+
}
|
|
28
|
+
function recordProjection(record) {
|
|
29
|
+
if (record.kind === "milestone_criterion_set") {
|
|
30
|
+
return {
|
|
31
|
+
kind: record.kind,
|
|
32
|
+
id: record.id,
|
|
33
|
+
owner_id: record.milestoneId,
|
|
34
|
+
revision_id: record.revisionId,
|
|
35
|
+
action: null,
|
|
36
|
+
commitment: record.commitment,
|
|
37
|
+
source_range: record.span,
|
|
38
|
+
};
|
|
39
|
+
}
|
|
40
|
+
if (record.kind === "milestone_acceptance_receipt") {
|
|
41
|
+
return {
|
|
42
|
+
kind: record.kind,
|
|
43
|
+
id: record.id,
|
|
44
|
+
owner_id: record.setId,
|
|
45
|
+
revision_id: record.criterionId,
|
|
46
|
+
action: record.action,
|
|
47
|
+
commitment: record.criterionCommitment,
|
|
48
|
+
source_range: record.span,
|
|
49
|
+
};
|
|
50
|
+
}
|
|
51
|
+
return {
|
|
52
|
+
kind: record.kind,
|
|
53
|
+
id: record.id,
|
|
54
|
+
owner_id: record.path,
|
|
55
|
+
revision_id: record.head,
|
|
56
|
+
action: null,
|
|
57
|
+
commitment: record.candidateDigest,
|
|
58
|
+
source_range: record.span,
|
|
59
|
+
};
|
|
60
|
+
}
|
|
61
|
+
function decode(snapshot) {
|
|
62
|
+
if (snapshot.source === null || snapshot.sourceDigest === null ||
|
|
63
|
+
sha256Digest(snapshot.source) !== snapshot.sourceDigest)
|
|
64
|
+
return null;
|
|
65
|
+
try {
|
|
66
|
+
return new TextDecoder("utf-8", { fatal: true, ignoreBOM: true }).decode(snapshot.source);
|
|
67
|
+
}
|
|
68
|
+
catch {
|
|
69
|
+
return null;
|
|
70
|
+
}
|
|
71
|
+
}
|
|
72
|
+
function evaluateCheckpoint(snapshot) {
|
|
73
|
+
const text = decode(snapshot);
|
|
74
|
+
if (text === null) {
|
|
75
|
+
return {
|
|
76
|
+
snapshot,
|
|
77
|
+
text: null,
|
|
78
|
+
checkpoint: {
|
|
79
|
+
commit_id: snapshot.commitId,
|
|
80
|
+
blob_id: snapshot.blobId,
|
|
81
|
+
source_digest: snapshot.sourceDigest,
|
|
82
|
+
grammar_version: null,
|
|
83
|
+
status: "unavailable",
|
|
84
|
+
evaluation: null,
|
|
85
|
+
records: [],
|
|
86
|
+
diagnostic_codes: [],
|
|
87
|
+
},
|
|
88
|
+
};
|
|
89
|
+
}
|
|
90
|
+
const source = parseMilestoneAcceptanceSource(text, MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY);
|
|
91
|
+
const grammarVersion = source.grammarVersion;
|
|
92
|
+
if (grammarVersion === null || grammarVersion < 1 || grammarVersion > 7) {
|
|
93
|
+
return {
|
|
94
|
+
snapshot,
|
|
95
|
+
text,
|
|
96
|
+
checkpoint: {
|
|
97
|
+
commit_id: snapshot.commitId,
|
|
98
|
+
blob_id: snapshot.blobId,
|
|
99
|
+
source_digest: snapshot.sourceDigest,
|
|
100
|
+
grammar_version: grammarVersion,
|
|
101
|
+
status: "unavailable",
|
|
102
|
+
evaluation: null,
|
|
103
|
+
records: [],
|
|
104
|
+
diagnostic_codes: [],
|
|
105
|
+
},
|
|
106
|
+
};
|
|
107
|
+
}
|
|
108
|
+
if (grammarVersion < 7) {
|
|
109
|
+
const checked = validateTargetGrammar6Document(text, TARGET_GRAMMAR_6_CAPABILITY);
|
|
110
|
+
return {
|
|
111
|
+
snapshot,
|
|
112
|
+
text,
|
|
113
|
+
checkpoint: {
|
|
114
|
+
commit_id: snapshot.commitId,
|
|
115
|
+
blob_id: snapshot.blobId,
|
|
116
|
+
source_digest: snapshot.sourceDigest,
|
|
117
|
+
grammar_version: grammarVersion,
|
|
118
|
+
status: checked.ok ? "not_applicable" : "unavailable",
|
|
119
|
+
evaluation: null,
|
|
120
|
+
records: [],
|
|
121
|
+
diagnostic_codes: checked.diagnostics.map(({ code }) => code),
|
|
122
|
+
},
|
|
123
|
+
};
|
|
124
|
+
}
|
|
125
|
+
const checked = validateTargetGrammar6Document(milestoneAcceptanceBaseText(text), TARGET_GRAMMAR_6_CAPABILITY);
|
|
126
|
+
const diagnostics = [
|
|
127
|
+
...checked.diagnostics.map(({ code }) => code),
|
|
128
|
+
...source.diagnostics.map(({ code }) => code),
|
|
129
|
+
];
|
|
130
|
+
if (!source.ok || !checked.ok || checked.validatedDocument === null) {
|
|
131
|
+
return {
|
|
132
|
+
snapshot,
|
|
133
|
+
text,
|
|
134
|
+
checkpoint: {
|
|
135
|
+
commit_id: snapshot.commitId,
|
|
136
|
+
blob_id: snapshot.blobId,
|
|
137
|
+
source_digest: snapshot.sourceDigest,
|
|
138
|
+
grammar_version: grammarVersion,
|
|
139
|
+
status: "unavailable",
|
|
140
|
+
evaluation: null,
|
|
141
|
+
records: source.records.map(recordProjection),
|
|
142
|
+
diagnostic_codes: diagnostics,
|
|
143
|
+
},
|
|
144
|
+
};
|
|
145
|
+
}
|
|
146
|
+
const milestoneIds = checked.document.declarations
|
|
147
|
+
.filter(({ kind }) => kind === "milestone")
|
|
148
|
+
.map(({ id }) => id);
|
|
149
|
+
const evaluation = evaluateMilestoneAcceptance({
|
|
150
|
+
source,
|
|
151
|
+
milestoneIds,
|
|
152
|
+
closureReachedMilestoneIds: computeEffectiveReached(checked.document),
|
|
153
|
+
});
|
|
154
|
+
return {
|
|
155
|
+
snapshot,
|
|
156
|
+
text,
|
|
157
|
+
checkpoint: {
|
|
158
|
+
commit_id: snapshot.commitId,
|
|
159
|
+
blob_id: snapshot.blobId,
|
|
160
|
+
source_digest: snapshot.sourceDigest,
|
|
161
|
+
grammar_version: grammarVersion,
|
|
162
|
+
status: evaluation.ok ? "available" : "unavailable",
|
|
163
|
+
evaluation,
|
|
164
|
+
records: source.records.map(recordProjection),
|
|
165
|
+
diagnostic_codes: diagnostics,
|
|
166
|
+
},
|
|
167
|
+
};
|
|
168
|
+
}
|
|
169
|
+
function evidenceBindingValid(evidence) {
|
|
170
|
+
if (evidence.status === "unavailable")
|
|
171
|
+
return false;
|
|
172
|
+
return evidence.repositoryId !== null && evidence.repositoryRelativePath !== null &&
|
|
173
|
+
evidence.objectFormat !== null && evidence.snapshots.length === evidence.inspectedCommitIds.length &&
|
|
174
|
+
evidence.snapshots.every((snapshot, index) => snapshot.commitId === evidence.inspectedCommitIds[index] &&
|
|
175
|
+
snapshot.repositoryId === evidence.repositoryId &&
|
|
176
|
+
snapshot.repositoryRelativePath === evidence.repositoryRelativePath &&
|
|
177
|
+
snapshot.objectFormat === evidence.objectFormat);
|
|
178
|
+
}
|
|
179
|
+
function migrationCauses(evidence, decoded, proofs) {
|
|
180
|
+
const causes = [];
|
|
181
|
+
const byCommit = new Map(decoded.map((value) => [value.snapshot.commitId, value]));
|
|
182
|
+
const proofByTransition = new Map(proofs.map((proof) => [
|
|
183
|
+
`${proof.from_commit_id}\0${proof.to_commit_id}`,
|
|
184
|
+
proof,
|
|
185
|
+
]));
|
|
186
|
+
let sawGrammar7 = false;
|
|
187
|
+
let baselineEstablished = false;
|
|
188
|
+
let baselineRetired = false;
|
|
189
|
+
let activeMigrationId = null;
|
|
190
|
+
for (let index = 0; index < decoded.length; index += 1) {
|
|
191
|
+
const value = decoded[index];
|
|
192
|
+
const checkpoint = value.checkpoint;
|
|
193
|
+
if (checkpoint.grammar_version !== 7 || value.text === null) {
|
|
194
|
+
if (sawGrammar7 && checkpoint.grammar_version !== null && checkpoint.grammar_version < 7) {
|
|
195
|
+
causes.push(cause("contract_regression", checkpoint.commit_id));
|
|
196
|
+
}
|
|
197
|
+
continue;
|
|
198
|
+
}
|
|
199
|
+
sawGrammar7 = true;
|
|
200
|
+
const parsed = parseMilestoneAcceptanceSource(value.text, MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY);
|
|
201
|
+
const migrations = parsed.records.filter((record) => record.kind === "milestone_acceptance_migration");
|
|
202
|
+
if (migrations.length === 0) {
|
|
203
|
+
const previous = decoded[index - 1];
|
|
204
|
+
const proof = previous === undefined
|
|
205
|
+
? undefined
|
|
206
|
+
: proofByTransition.get(`${previous.snapshot.commitId}\0${value.snapshot.commitId}`);
|
|
207
|
+
if (baselineEstablished && !baselineRetired &&
|
|
208
|
+
activeMigrationId !== null &&
|
|
209
|
+
proof?.removed_record_ids.includes(activeMigrationId)) {
|
|
210
|
+
baselineRetired = true;
|
|
211
|
+
activeMigrationId = null;
|
|
212
|
+
continue;
|
|
213
|
+
}
|
|
214
|
+
if (baselineRetired)
|
|
215
|
+
continue;
|
|
216
|
+
causes.push(cause("migration_missing", checkpoint.commit_id));
|
|
217
|
+
continue;
|
|
218
|
+
}
|
|
219
|
+
if (migrations.length !== 1 || baselineRetired) {
|
|
220
|
+
causes.push(cause("migration_provenance_mismatch", checkpoint.commit_id, migrations[0]?.id ?? null));
|
|
221
|
+
continue;
|
|
222
|
+
}
|
|
223
|
+
const migration = migrations[0];
|
|
224
|
+
const baseline = byCommit.get(migration.head);
|
|
225
|
+
if (baseline === undefined) {
|
|
226
|
+
causes.push(cause("migration_baseline_unavailable", checkpoint.commit_id, migration.id));
|
|
227
|
+
continue;
|
|
228
|
+
}
|
|
229
|
+
if (evidence.repositoryId !== migration.repositoryId ||
|
|
230
|
+
evidence.repositoryRelativePath !== migration.path ||
|
|
231
|
+
evidence.objectFormat !== migration.objectFormat ||
|
|
232
|
+
baseline.snapshot.blobId !== migration.blob ||
|
|
233
|
+
baseline.snapshot.sourceDigest !== migration.sourceDigest) {
|
|
234
|
+
causes.push(cause("migration_provenance_mismatch", checkpoint.commit_id, migration.id));
|
|
235
|
+
continue;
|
|
236
|
+
}
|
|
237
|
+
baselineEstablished = true;
|
|
238
|
+
activeMigrationId = migration.id;
|
|
239
|
+
}
|
|
240
|
+
return causes;
|
|
241
|
+
}
|
|
242
|
+
function uniqueCauses(values) {
|
|
243
|
+
const result = new Map();
|
|
244
|
+
for (const value of values) {
|
|
245
|
+
const key = JSON.stringify(value);
|
|
246
|
+
if (!result.has(key))
|
|
247
|
+
result.set(key, value);
|
|
248
|
+
}
|
|
249
|
+
return [...result.values()];
|
|
250
|
+
}
|
|
251
|
+
export function reconstructHistoricalMilestoneAcceptance(evidence) {
|
|
252
|
+
if (!evidenceBindingValid(evidence)) {
|
|
253
|
+
return deepFreeze({
|
|
254
|
+
model: HISTORICAL_MILESTONE_ACCEPTANCE_MODEL,
|
|
255
|
+
model_version: HISTORICAL_MILESTONE_ACCEPTANCE_MODEL_VERSION,
|
|
256
|
+
status: "unavailable",
|
|
257
|
+
checkpoints: [],
|
|
258
|
+
canonical_advance_proofs: [],
|
|
259
|
+
causes: [cause("evidence_binding_invalid", null)],
|
|
260
|
+
limits: HISTORICAL_MILESTONE_ACCEPTANCE_LIMITS,
|
|
261
|
+
});
|
|
262
|
+
}
|
|
263
|
+
const decoded = evidence.snapshots.map(evaluateCheckpoint);
|
|
264
|
+
const causes = [];
|
|
265
|
+
if (decoded.length > HISTORICAL_MILESTONE_ACCEPTANCE_LIMITS.checkpoints) {
|
|
266
|
+
causes.push(cause("hard_limit", null, null, "checkpoints", decoded.length));
|
|
267
|
+
}
|
|
268
|
+
const recordCount = decoded.reduce((sum, value) => sum + value.checkpoint.records.length, 0);
|
|
269
|
+
if (recordCount > HISTORICAL_MILESTONE_ACCEPTANCE_LIMITS.records) {
|
|
270
|
+
causes.push(cause("hard_limit", null, null, "records", recordCount));
|
|
271
|
+
}
|
|
272
|
+
for (const value of decoded) {
|
|
273
|
+
if (value.text === null) {
|
|
274
|
+
causes.push(cause("source_missing", value.snapshot.commitId));
|
|
275
|
+
}
|
|
276
|
+
else if (value.checkpoint.grammar_version === null) {
|
|
277
|
+
causes.push(cause("source_invalid", value.snapshot.commitId));
|
|
278
|
+
}
|
|
279
|
+
else if (value.checkpoint.grammar_version > 7) {
|
|
280
|
+
causes.push(cause("grammar_unsupported", value.snapshot.commitId));
|
|
281
|
+
}
|
|
282
|
+
else if (value.checkpoint.status === "unavailable") {
|
|
283
|
+
causes.push(cause("source_invalid", value.snapshot.commitId));
|
|
284
|
+
}
|
|
285
|
+
}
|
|
286
|
+
const proofs = [];
|
|
287
|
+
for (let index = 1; index < decoded.length; index += 1) {
|
|
288
|
+
const before = decoded[index - 1];
|
|
289
|
+
const after = decoded[index];
|
|
290
|
+
if (before.text === null || after.text === null ||
|
|
291
|
+
before.checkpoint.status !== "available")
|
|
292
|
+
continue;
|
|
293
|
+
const planned = planMilestoneAcceptanceAdvance(before.text, {
|
|
294
|
+
provisionalPlanner: (baseText) => planTargetPlanAssuranceAdvance(baseText, TARGET_GRAMMAR_6_CAPABILITY, { governance: { intent: "preview" } }),
|
|
295
|
+
});
|
|
296
|
+
if (planned.provisional?.updatedText === after.text &&
|
|
297
|
+
planned.acceptanceGuard?.status === "blocked") {
|
|
298
|
+
causes.push(cause("acceptance_bypassed", after.snapshot.commitId));
|
|
299
|
+
continue;
|
|
300
|
+
}
|
|
301
|
+
if (!planned.ok || !planned.persistable || planned.canonical === null ||
|
|
302
|
+
planned.acceptanceGuard === null ||
|
|
303
|
+
planned.canonical.updatedText !== after.text ||
|
|
304
|
+
planned.canonical.updatedDigest === null)
|
|
305
|
+
continue;
|
|
306
|
+
const afterRecordIds = new Set(after.checkpoint.records.map(({ id }) => id));
|
|
307
|
+
proofs.push({
|
|
308
|
+
from_commit_id: before.snapshot.commitId,
|
|
309
|
+
to_commit_id: after.snapshot.commitId,
|
|
310
|
+
planner_version: HISTORICAL_MILESTONE_ACCEPTANCE_ADVANCE_PLANNER,
|
|
311
|
+
candidate_digest: planned.canonical.updatedDigest,
|
|
312
|
+
affected_milestone_ids: planned.acceptanceGuard.affectedMilestoneIds,
|
|
313
|
+
grandfathered_milestone_ids: planned.acceptanceGuard.grandfatheredMilestoneIds,
|
|
314
|
+
accepted_milestone_ids: planned.acceptanceGuard.acceptedMilestoneIds,
|
|
315
|
+
removed_record_ids: before.checkpoint.records
|
|
316
|
+
.filter(({ id }) => !afterRecordIds.has(id))
|
|
317
|
+
.map(({ id }) => id),
|
|
318
|
+
});
|
|
319
|
+
}
|
|
320
|
+
causes.push(...migrationCauses(evidence, decoded, proofs));
|
|
321
|
+
const finalCauses = uniqueCauses(causes);
|
|
322
|
+
return deepFreeze({
|
|
323
|
+
model: HISTORICAL_MILESTONE_ACCEPTANCE_MODEL,
|
|
324
|
+
model_version: HISTORICAL_MILESTONE_ACCEPTANCE_MODEL_VERSION,
|
|
325
|
+
status: finalCauses.length === 0 ? "complete" : "incomplete",
|
|
326
|
+
checkpoints: decoded.map(({ checkpoint }) => checkpoint),
|
|
327
|
+
canonical_advance_proofs: proofs,
|
|
328
|
+
causes: finalCauses,
|
|
329
|
+
limits: HISTORICAL_MILESTONE_ACCEPTANCE_LIMITS,
|
|
330
|
+
});
|
|
331
|
+
}
|
|
332
|
+
//# sourceMappingURL=milestone-acceptance-history.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"milestone-acceptance-history.js","sourceRoot":"","sources":["../../src/history/milestone-acceptance-history.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,8BAA8B,EAAE,MAAM,iCAAiC,CAAC;AACjF,OAAO,EACL,2BAA2B,GAE5B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,8BAA8B,EAAE,MAAM,oCAAoC,CAAC;AACpF,OAAO,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,EACL,sCAAsC,EACtC,2BAA2B,EAC3B,8BAA8B,GAE/B,MAAM,mCAAmC,CAAC;AAM3C,MAAM,CAAC,MAAM,qCAAqC,GAChD,gDAAyD,CAAC;AAC5D,MAAM,CAAC,MAAM,6CAA6C,GAAG,CAAU,CAAC;AACxE,MAAM,CAAC,MAAM,+CAA+C,GAC1D,0CAAmD,CAAC;AAEtD,MAAM,CAAC,MAAM,sCAAsC,GAAG,MAAM,CAAC,MAAM,CAAC;IAClE,WAAW,EAAE,KAAK;IAClB,OAAO,EAAE,OAAO;CACjB,CAAC,CAAC;AA+EH,SAAS,UAAU,CAAI,KAAQ;IAC7B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3E,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC,EAAE,CAAC;YACpE,UAAU,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,KAAK,CACZ,KAA2C,EAC3C,QAAuB,EACvB,QAAQ,GAAkB,IAAI,EAC9B,KAAK,GAAwD,IAAI,EACjE,MAAM,GAAkB,IAAI;IAE5B,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AACnF,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAyC;IAEzC,IAAI,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAC9C,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,QAAQ,EAAE,MAAM,CAAC,WAAW;YAC5B,WAAW,EAAE,MAAM,CAAC,UAAU;YAC9B,MAAM,EAAE,IAAI;YACZ,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,YAAY,EAAE,MAAM,CAAC,IAAI;SAC1B,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,8BAA8B,EAAE,CAAC;QACnD,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,UAAU,EAAE,MAAM,CAAC,mBAAmB;YACtC,YAAY,EAAE,MAAM,CAAC,IAAI;SAC1B,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,QAAQ,EAAE,MAAM,CAAC,IAAI;QACrB,WAAW,EAAE,MAAM,CAAC,IAAI;QACxB,MAAM,EAAE,IAAI;QACZ,UAAU,EAAE,MAAM,CAAC,eAAe;QAClC,YAAY,EAAE,MAAM,CAAC,IAAI;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,QAAyC;IACvD,IACE,QAAQ,CAAC,MAAM,KAAK,IAAI,IAAI,QAAQ,CAAC,YAAY,KAAK,IAAI;QAC1D,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,YAAY;QACvD,OAAO,IAAI,CAAC;IACd,IAAI,CAAC;QACH,OAAO,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CACtE,QAAQ,CAAC,MAAM,CAChB,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,QAAyC;IAEzC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC9B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO;YACL,QAAQ;YACR,IAAI,EAAE,IAAI;YACV,UAAU,EAAE;gBACV,SAAS,EAAE,QAAQ,CAAC,QAAQ;gBAC5B,OAAO,EAAE,QAAQ,CAAC,MAAM;gBACxB,aAAa,EAAE,QAAQ,CAAC,YAAY;gBACpC,eAAe,EAAE,IAAI;gBACrB,MAAM,EAAE,aAAa;gBACrB,UAAU,EAAE,IAAI;gBAChB,OAAO,EAAE,EAAE;gBACX,gBAAgB,EAAE,EAAE;aACrB;SACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,8BAA8B,CAC3C,IAAI,EACJ,sCAAsC,CACvC,CAAC;IACF,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,CAAC;IAC7C,IAAI,cAAc,KAAK,IAAI,IAAI,cAAc,GAAG,CAAC,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;QACxE,OAAO;YACL,QAAQ;YACR,IAAI;YACJ,UAAU,EAAE;gBACV,SAAS,EAAE,QAAQ,CAAC,QAAQ;gBAC5B,OAAO,EAAE,QAAQ,CAAC,MAAM;gBACxB,aAAa,EAAE,QAAQ,CAAC,YAAY;gBACpC,eAAe,EAAE,cAAc;gBAC/B,MAAM,EAAE,aAAa;gBACrB,UAAU,EAAE,IAAI;gBAChB,OAAO,EAAE,EAAE;gBACX,gBAAgB,EAAE,EAAE;aACrB;SACF,CAAC;IACJ,CAAC;IACD,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,8BAA8B,CAC5C,IAAI,EACJ,2BAA2B,CAC5B,CAAC;QACF,OAAO;YACL,QAAQ;YACR,IAAI;YACJ,UAAU,EAAE;gBACV,SAAS,EAAE,QAAQ,CAAC,QAAQ;gBAC5B,OAAO,EAAE,QAAQ,CAAC,MAAM;gBACxB,aAAa,EAAE,QAAQ,CAAC,YAAY;gBACpC,eAAe,EAAE,cAAc;gBAC/B,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,aAAa;gBACrD,UAAU,EAAE,IAAI;gBAChB,OAAO,EAAE,EAAE;gBACX,gBAAgB,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC;aAC9D;SACF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,8BAA8B,CAC5C,2BAA2B,CAAC,IAAI,CAAC,EACjC,2BAA2B,CAC5B,CAAC;IACF,MAAM,WAAW,GAAG;QAClB,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC;QAC9C,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC;KAC9C,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QACpE,OAAO;YACL,QAAQ;YACR,IAAI;YACJ,UAAU,EAAE;gBACV,SAAS,EAAE,QAAQ,CAAC,QAAQ;gBAC5B,OAAO,EAAE,QAAQ,CAAC,MAAM;gBACxB,aAAa,EAAE,QAAQ,CAAC,YAAY;gBACpC,eAAe,EAAE,cAAc;gBAC/B,MAAM,EAAE,aAAa;gBACrB,UAAU,EAAE,IAAI;gBAChB,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;gBAC7C,gBAAgB,EAAE,WAAW;aAC9B;SACF,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,YAAY;SAC/C,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,WAAW,CAAC;SAC1C,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IACvB,MAAM,UAAU,GAAG,2BAA2B,CAAC;QAC7C,MAAM;QACN,YAAY;QACZ,0BAA0B,EAAE,uBAAuB,CAAC,OAAO,CAAC,QAAiB,CAAC;KAC/E,CAAC,CAAC;IACH,OAAO;QACL,QAAQ;QACR,IAAI;QACJ,UAAU,EAAE;YACV,SAAS,EAAE,QAAQ,CAAC,QAAQ;YAC5B,OAAO,EAAE,QAAQ,CAAC,MAAM;YACxB,aAAa,EAAE,QAAQ,CAAC,YAAY;YACpC,eAAe,EAAE,cAAc;YAC/B,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa;YACnD,UAAU;YACV,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;YAC7C,gBAAgB,EAAE,WAAW;SAC9B;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAqC;IACjE,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa;QAAE,OAAO,KAAK,CAAC;IACpD,OAAO,QAAQ,CAAC,YAAY,KAAK,IAAI,IAAI,QAAQ,CAAC,sBAAsB,KAAK,IAAI;QAC/E,QAAQ,CAAC,YAAY,KAAK,IAAI,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC,kBAAkB,CAAC,MAAM;QAClG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAC3C,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,kBAAkB,CAAC,KAAK,CAAC;YACxD,QAAQ,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY;YAC/C,QAAQ,CAAC,sBAAsB,KAAK,QAAQ,CAAC,sBAAsB;YACnE,QAAQ,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY,CAChD,CAAC;AACN,CAAC;AAED,SAAS,eAAe,CACtB,QAAqC,EACrC,OAAqC,EACrC,MAA8D;IAE9D,MAAM,MAAM,GAAiD,EAAE,CAAC;IAChE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QACtD,GAAG,KAAK,CAAC,cAAc,KAAK,KAAK,CAAC,YAAY,EAAE;QAChD,KAAK;KACN,CAAC,CAAC,CAAC;IACJ,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,mBAAmB,GAAG,KAAK,CAAC;IAChC,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,IAAI,iBAAiB,GAAkB,IAAI,CAAC;IAC5C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;QACpC,IAAI,UAAU,CAAC,eAAe,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC5D,IAAI,WAAW,IAAI,UAAU,CAAC,eAAe,KAAK,IAAI,IAAI,UAAU,CAAC,eAAe,GAAG,CAAC,EAAE,CAAC;gBACzF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;YAClE,CAAC;YACD,SAAS;QACX,CAAC;QACD,WAAW,GAAG,IAAI,CAAC;QACnB,MAAM,MAAM,GAAG,8BAA8B,CAC3C,KAAK,CAAC,IAAI,EACV,sCAAsC,CACvC,CAAC;QACF,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAClD,MAAM,CAAC,IAAI,KAAK,gCAAgC,CACjD,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACpC,MAAM,KAAK,GAAG,QAAQ,KAAK,SAAS;gBAClC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,iBAAiB,CAAC,GAAG,CACnB,GAAG,QAAQ,CAAC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAC5D,CAAC;YACN,IACE,mBAAmB,IAAI,CAAC,eAAe;gBACvC,iBAAiB,KAAK,IAAI;gBAC1B,KAAK,EAAE,kBAAkB,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EACrD,CAAC;gBACD,eAAe,GAAG,IAAI,CAAC;gBACvB,iBAAiB,GAAG,IAAI,CAAC;gBACzB,SAAS;YACX,CAAC;YACD,IAAI,eAAe;gBAAE,SAAS;YAC9B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;YAC9D,SAAS;QACX,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,KAAK,CACf,+BAA+B,EAC/B,UAAU,CAAC,SAAS,EACpB,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,IAAI,CAC1B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,KAAK,CACf,gCAAgC,EAChC,UAAU,CAAC,SAAS,EACpB,SAAS,CAAC,EAAE,CACb,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IACE,QAAQ,CAAC,YAAY,KAAK,SAAS,CAAC,YAAY;YAChD,QAAQ,CAAC,sBAAsB,KAAK,SAAS,CAAC,IAAI;YAClD,QAAQ,CAAC,YAAY,KAAK,SAAS,CAAC,YAAY;YAChD,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,IAAI;YAC3C,QAAQ,CAAC,QAAQ,CAAC,YAAY,KAAK,SAAS,CAAC,YAAY,EACzD,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,KAAK,CACf,+BAA+B,EAC/B,UAAU,CAAC,SAAS,EACpB,SAAS,CAAC,EAAE,CACb,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,mBAAmB,GAAG,IAAI,CAAC;QAC3B,iBAAiB,GAAG,SAAS,CAAC,EAAE,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CACnB,MAA6D;IAE7D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsD,CAAC;IAC7E,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,wCAAwC,CACtD,QAAqC;IAErC,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,OAAO,UAAU,CAAC;YAChB,KAAK,EAAE,qCAAqC;YAC5C,aAAa,EAAE,6CAA6C;YAC5D,MAAM,EAAE,aAAa;YACrB,WAAW,EAAE,EAAE;YACf,wBAAwB,EAAE,EAAE;YAC5B,MAAM,EAAE,CAAC,KAAK,CAAC,0BAA0B,EAAE,IAAI,CAAC,CAAC;YACjD,MAAM,EAAE,sCAAsC;SAC/C,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAiD,EAAE,CAAC;IAChE,IAAI,OAAO,CAAC,MAAM,GAAG,sCAAsC,CAAC,WAAW,EAAE,CAAC;QACxE,MAAM,CAAC,IAAI,CAAC,KAAK,CACf,YAAY,EACZ,IAAI,EACJ,IAAI,EACJ,aAAa,EACb,OAAO,CAAC,MAAM,CACf,CAAC,CAAC;IACL,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAChC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,EACrD,CAAC,CACF,CAAC;IACF,IAAI,WAAW,GAAG,sCAAsC,CAAC,OAAO,EAAE,CAAC;QACjE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChE,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChE,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,CAAC,eAAe,GAAG,CAAC,EAAE,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrE,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAkD,EAAE,CAAC;IACjE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC;QACnC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAE,CAAC;QAC9B,IACE,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;YAC3C,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,WAAW;YACxC,SAAS;QACX,MAAM,OAAO,GAAG,8BAA8B,CAAC,MAAM,CAAC,IAAI,EAAE;YAC1D,kBAAkB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,8BAA8B,CAC9D,QAAQ,EACR,2BAA2B,EAC3B,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,CACtC;SACF,CAAC,CAAC;QACH,IACE,OAAO,CAAC,WAAW,EAAE,WAAW,KAAK,KAAK,CAAC,IAAI;YAC/C,OAAO,CAAC,eAAe,EAAE,MAAM,KAAK,SAAS,EAC7C,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;YACnE,SAAS;QACX,CAAC;QACD,IACE,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,SAAS,KAAK,IAAI;YACjE,OAAO,CAAC,eAAe,KAAK,IAAI;YAChC,OAAO,CAAC,SAAS,CAAC,WAAW,KAAK,KAAK,CAAC,IAAI;YAC5C,OAAO,CAAC,SAAS,CAAC,aAAa,KAAK,IAAI;YACxC,SAAS;QACX,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,IAAI,CAAC;YACV,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ;YACxC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ;YACrC,eAAe,EAAE,+CAA+C;YAChE,gBAAgB,EAAE,OAAO,CAAC,SAAS,CAAC,aAAa;YACjD,sBAAsB,EAAE,OAAO,CAAC,eAAe,CAAC,oBAAoB;YACpE,2BAA2B,EACzB,OAAO,CAAC,eAAe,CAAC,yBAAyB;YACnD,sBAAsB,EAAE,OAAO,CAAC,eAAe,CAAC,oBAAoB;YACpE,kBAAkB,EAAE,MAAM,CAAC,UAAU,CAAC,OAAO;iBAC1C,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;iBAC3C,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;SACvB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACzC,OAAO,UAAU,CAAC;QAChB,KAAK,EAAE,qCAAqC;QAC5C,aAAa,EAAE,6CAA6C;QAC5D,MAAM,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY;QAC5D,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC;QACxD,wBAAwB,EAAE,MAAM;QAChC,MAAM,EAAE,WAAW;QACnB,MAAM,EAAE,sCAAsC;KAC/C,CAAC,CAAC;AACL,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -1,14 +1,16 @@
|
|
|
1
|
-
export { analyzeDocument, checkDocument, selectNextTasks, } from "./application/
|
|
1
|
+
export { analyzeDocument, checkDocument, getProjectMetadata, planAssuranceMutation, planBatchMutation, planFinishActuals, planFormat, planLifecycle as planLifecycleMutation, planMutation, planUnitMigration, selectNextTasks, } from "./application/contract8-milestone-acceptance.js";
|
|
2
|
+
export { planMilestoneAcceptanceMigration, recheckCommittedMigrationProof, } from "./milestone-acceptance/migration.js";
|
|
3
|
+
export { persistMilestoneAcceptanceMutation, planAcceptanceReceiptMutation, planCriterionSetReplacement, showMilestoneAcceptance, } from "./milestone-acceptance/mutation.js";
|
|
4
|
+
export { planMilestoneAcceptanceAdvance } from "./milestone-acceptance/advance.js";
|
|
5
|
+
export declare const ADVANCE_RESULT_SCHEMA_VERSION: "Perttool.AdvanceResult.v3";
|
|
2
6
|
export { createNodeHost } from "./node/host.js";
|
|
3
7
|
export { getAgentHelp } from "./application/agent-help.js";
|
|
4
|
-
export { getProjectMetadata } from "./application/contract7-project.js";
|
|
5
8
|
export { planProjectInit, projectInitResultToJson, renderProjectInitResult, serializeProjectInitResult, withProjectInitOutput, } from "./application/init.js";
|
|
6
|
-
export { planFormat } from "./application/contract7-source.js";
|
|
7
9
|
export { recommendationAnalysisToJson } from "./recommendation/json.js";
|
|
8
10
|
export { canonicalOverrideArtifact, humanOverrideDecisionToJson, overrideValidationResultToJson, validateOverride, } from "./recommendation/override.js";
|
|
9
|
-
export { planAdvance,
|
|
11
|
+
export { planAdvance, } from "./application/contract7-mutation.js";
|
|
10
12
|
export { inspectTargetPlanAssurance as inspectPlanAssurance, PLAN_ASSURANCE_INSPECTION_CLI_CONTRACT_VERSION, PLAN_ASSURANCE_RESULT_SCHEMA_VERSION, } from "./application/target-assurance-inspection.js";
|
|
11
|
-
export {
|
|
13
|
+
export { withUnitMigrationWrite, } from "./application/contract7-unit-migration.js";
|
|
12
14
|
export { exportMermaid, importMermaid, } from "./application/contract7-mermaid.js";
|
|
13
15
|
export { buildResidualGraph, computeEffectiveReached } from "./analysis/graph.js";
|
|
14
16
|
export { analyzePrecedence } from "./analysis/precedence.js";
|
|
@@ -40,7 +42,7 @@ export { DEFAULT_MAX_DIAGNOSTICS, MAX_DIAGNOSTICS_LIMIT, } from "./model/diagnos
|
|
|
40
42
|
export * from "./model/rational.js";
|
|
41
43
|
export * from "./model/units.js";
|
|
42
44
|
export { GOVERNANCE_DIRECT_EDIT_WARNING } from "./governance/guidance.js";
|
|
43
|
-
export type {
|
|
45
|
+
export type { AdvanceResultV3 as AdvanceResult, AdvanceResultV3, AnalysisResultV6 as AnalysisResult, AnalysisResultV6, CheckResultV5 as CheckResult, CheckResultV5, LifecycleResultV5 as LifecycleResult, LifecycleResultV5, MutationResultV5 as MutationResult, MutationResultV5, NextResultV7 as NextResult, NextResultV7, } from "./application/contract8-milestone-acceptance.js";
|
|
44
46
|
export type { CheckOptions, CheckSummary, MilestoneDeadlineInput, TaskTemporalConstraint, TemporalInputs, } from "./application/check.js";
|
|
45
47
|
export type { ProjectMetadata, ProjectMetadataDurationUnit, ProjectMetadataResult, } from "./application/contract7-project.js";
|
|
46
48
|
export type { ProjectInitDurationUnit, ProjectInitRequest, ProjectInitResult, ProjectInitWrite, } from "./application/init.js";
|
|
@@ -53,7 +55,7 @@ export type { FormatPreviewOptions, } from "./application/format.js";
|
|
|
53
55
|
export type { FormatPreviewResultV7 as FormatPreviewResult, } from "./application/contract7-source.js";
|
|
54
56
|
export type { AnalysisMode, AnalyzeOptions, } from "./application/analyze.js";
|
|
55
57
|
export type { ExplanationNode, NextGroups, NextOptions, NextResultV3, NextTask, ResourceRejection, TaskClassification, UnsatisfiedEdgeExplanation, } from "./application/next.js";
|
|
56
|
-
export type { AnalysisResultV5
|
|
58
|
+
export type { AnalysisResultV5, Contract7NextResultV6, NextResultV6, } from "./application/contract7-assurance.js";
|
|
57
59
|
export type { RecommendationAnalysis, RecommendationComparison, RecommendationComparisonScope, RecommendationDecisionPhase, RecommendationDecisionRole, RecommendationDecisionStep, RecommendationDescription, RecommendationDescriptionParameter, RecommendationEntityKind, RecommendationEntityReference, RecommendationExplanationStatus, RecommendationExplanationTaskDecision, RecommendationExpression, RecommendationExpressionTerm, RecommendationFact, RecommendationProvenance, RecommendationProvenanceKind, RecommendationReasonCode, RecommendationReasonEffect, RecommendationReasonOccurrence, RecommendationRelation, RecommendationResultDecision, RecommendationScalarValue, RecommendationUnit, RecommendationValue, } from "./recommendation/explanation-types.js";
|
|
58
60
|
export type { RecommendationCriticalClass, RecommendationDistance, RecommendationRankingRuleId, RecommendationTier, } from "./recommendation/types.js";
|
|
59
61
|
export type { HumanOverrideDecision, HumanOverrideReasonCode, OverrideActor, OverrideDecisionSource, OverrideEvidenceKind, OverrideEvidenceReference, OverrideFeasibility, OverrideReason, OverrideRequest, OverrideResourceWitness, OverrideSelection, OverrideTaskDecision, OverrideTriggerCode, OverrideValidationResult, } from "./recommendation/override-types.js";
|
|
@@ -66,11 +68,10 @@ export type { ParseOptions } from "./parser/document-parser.js";
|
|
|
66
68
|
export type { FormatOptions, FormatResult, } from "./formatter/source-formatter.js";
|
|
67
69
|
export type { TextEdit } from "./mutation/text-edits.js";
|
|
68
70
|
export type { AdvanceDetails, AdvanceRetainedEdge, AdvanceRetentionReason, } from "./mutation/advance.js";
|
|
69
|
-
export type { AdvanceResultV2
|
|
71
|
+
export type { AdvanceResultV2, LifecycleResultV4, MutationResultV4, } from "./application/contract7-mutation.js";
|
|
70
72
|
export type { PlanAssuranceHashKind, PlanAssuranceInspectionRequest, TargetPlanAssuranceInspectionResultV1 as PlanAssuranceResultV1, } from "./application/target-assurance-inspection.js";
|
|
71
73
|
export type { PlanAssuranceMutation, PlanAssuranceMutationOptions, PlanAssuranceImpactV1, } from "./assurance/mutation.js";
|
|
72
74
|
export type { PlanAssuranceProjectionV1, PlanAssuranceStartAuthorityV1, PlanAssuranceStateCountsV1, } from "./assurance/authority.js";
|
|
73
|
-
export { PLAN_ASSURANCE_ADVANCE_RESULT_SCHEMA_VERSION as ADVANCE_RESULT_SCHEMA_VERSION, } from "./assurance/advance.js";
|
|
74
75
|
export type { AdvanceHistoryGuardCause, AdvanceHistoryGuardStatus, AdvanceHistoryGuardV1, AdvanceResultV1, } from "./application/advance-history.js";
|
|
75
76
|
export type { DocumentContent } from "./io/document-file.js";
|
|
76
77
|
export type { CreateArtifactOptions, CreateDocumentOptions, DocumentWriteResult, ReplaceDocumentOptions, SafeWriteConflictReason, SafeWriteVerificationReason, } from "./io/safe-write.js";
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,GAChB,MAAM,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,qBAAqB,EACrB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,aAAa,IAAI,qBAAqB,EACtC,YAAY,EACZ,iBAAiB,EACjB,eAAe,GAChB,MAAM,iDAAiD,CAAC;AACzD,OAAO,EACL,gCAAgC,EAChC,8BAA8B,GAC/B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,kCAAkC,EAClC,6BAA6B,EAC7B,2BAA2B,EAC3B,uBAAuB,GACxB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,8BAA8B,EAAE,MAAM,mCAAmC,CAAC;AACnF,eAAO,MAAM,6BAA6B,EAAG,2BAAoC,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,eAAe,EACf,uBAAuB,EACvB,uBAAuB,EACvB,0BAA0B,EAC1B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,4BAA4B,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,EACL,yBAAyB,EACzB,2BAA2B,EAC3B,8BAA8B,EAC9B,gBAAgB,GACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,WAAW,GACZ,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,0BAA0B,IAAI,oBAAoB,EAClD,8CAA8C,EAC9C,oCAAoC,GACrC,MAAM,8CAA8C,CAAC;AACtD,OAAO,EACL,sBAAsB,GACvB,MAAM,2CAA2C,CAAC;AACnD,OAAO,EACL,aAAa,EACb,aAAa,GACd,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EACL,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,0BAA0B,IAAI,gBAAgB,EAC9C,gCAAgC,IAAI,uBAAuB,EAC3D,gCAAgC,IAAI,uBAAuB,EAC3D,8BAA8B,IAAI,qBAAqB,EACvD,4BAA4B,IAAI,mBAAmB,EACnD,gCAAgC,IAAI,uBAAuB,EAC3D,mCAAmC,IAAI,0BAA0B,GAClE,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,gCAAgC,IAAI,uBAAuB,EAC3D,gCAAgC,IAAI,uBAAuB,EAC3D,mCAAmC,IAAI,0BAA0B,EACjE,kCAAkC,IAAI,yBAAyB,GAChE,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,0BAA0B,IAAI,iBAAiB,EAC/C,iBAAiB,IAAI,QAAQ,EAC7B,0BAA0B,IAAI,iBAAiB,EAC/C,6BAA6B,IAAI,oBAAoB,GACtD,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,mBAAmB,EACnB,sBAAsB,EACtB,mBAAmB,EACnB,iCAAiC,EACjC,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,sBAAsB,EACtB,oBAAoB,EACpB,4BAA4B,EAC5B,6BAA6B,EAC7B,gBAAgB,EAChB,uBAAuB,EACvB,cAAc,GACf,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,yBAAyB,EACzB,UAAU,EACV,sBAAsB,EACtB,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,mBAAmB,EACnB,YAAY,GACb,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,iBAAiB,EACjB,uBAAuB,EACvB,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,0BAA0B,GAC3B,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,0BAA0B,IAAI,iBAAiB,EAC/C,0BAA0B,IAAI,0BAA0B,EACxD,0BAA0B,IAAI,iBAAiB,GAChD,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,gCAAgC,IAAI,gBAAgB,GACrD,MAAM,0CAA0C,CAAC;AAClD,YAAY,EACV,oCAAoC,IAAI,2BAA2B,EACnE,iCAAiC,IAAI,wBAAwB,EAC7D,+BAA+B,IAAI,sBAAsB,GAC1D,MAAM,8BAA8B,CAAC;AACtC,YAAY,EACV,oBAAoB,IAAI,WAAW,GACpC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,mCAAmC,EACnC,yBAAyB,EACzB,+BAA+B,EAC/B,0BAA0B,GAC3B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,0BAA0B,EAC1B,kCAAkC,EAClC,0BAA0B,EAC1B,6BAA6B,EAC7B,4BAA4B,GAC7B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,cAAc,EACd,aAAa,EACb,gBAAgB,GACjB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,mBAAmB,EACnB,wBAAwB,EACxB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,0BAA0B,GAC3B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAChC,cAAc,qBAAqB,CAAC;AACpC,cAAc,kBAAkB,CAAC;AACjC,OAAO,EAAE,8BAA8B,EAAE,MAAM,0BAA0B,CAAC;AAC1E,YAAY,EACV,eAAe,IAAI,aAAa,EAChC,eAAe,EACf,gBAAgB,IAAI,cAAc,EAClC,gBAAgB,EAChB,aAAa,IAAI,WAAW,EAC5B,aAAa,EACb,iBAAiB,IAAI,eAAe,EACpC,iBAAiB,EACjB,gBAAgB,IAAI,cAAc,EAClC,gBAAgB,EAChB,YAAY,IAAI,UAAU,EAC1B,YAAY,GACb,MAAM,iDAAiD,CAAC;AACzD,YAAY,EACV,YAAY,EACZ,YAAY,EACZ,sBAAsB,EACtB,sBAAsB,EACtB,cAAc,GACf,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,eAAe,EACf,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EACV,uBAAuB,EACvB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,yBAAyB,EACzB,sBAAsB,EACtB,2BAA2B,EAC3B,yBAAyB,EACzB,wBAAwB,EACxB,+BAA+B,EAC/B,0BAA0B,GAC3B,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,kBAAkB,EAClB,qBAAqB,EACrB,4BAA4B,EAC5B,+BAA+B,EAC/B,yBAAyB,EACzB,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,4BAA4B,EAC5B,oCAAoC,EACpC,oCAAoC,EACpC,qBAAqB,EACrB,uBAAuB,EACvB,4BAA4B,EAC5B,kBAAkB,EAClB,4BAA4B,EAC5B,mBAAmB,EACnB,0BAA0B,EAC1B,mBAAmB,EACnB,iBAAiB,EACjB,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,EACpB,mBAAmB,EACnB,0BAA0B,EAC1B,sBAAsB,EACtB,4BAA4B,EAC5B,2BAA2B,EAC3B,0BAA0B,EAC1B,oBAAoB,EACpB,sBAAsB,EACtB,2BAA2B,EAC3B,mBAAmB,EACnB,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,cAAc,EACd,oBAAoB,EACpB,mBAAmB,EACnB,mBAAmB,EACnB,cAAc,GACf,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,6BAA6B,IAAI,oBAAoB,GACtD,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EACV,WAAW,EACX,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EACV,oBAAoB,GACrB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,qBAAqB,IAAI,mBAAmB,GAC7C,MAAM,mCAAmC,CAAC;AAC3C,YAAY,EACV,YAAY,EACZ,cAAc,GACf,MAAM,0BAA0B,CAAC;AAClC,YAAY,EACV,eAAe,EACf,UAAU,EACV,WAAW,EACX,YAAY,EACZ,QAAQ,EACR,iBAAiB,EACjB,kBAAkB,EAClB,0BAA0B,GAC3B,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,gBAAgB,EAChB,qBAAqB,EACrB,YAAY,GACb,MAAM,sCAAsC,CAAC;AAC9C,YAAY,EACV,sBAAsB,EACtB,wBAAwB,EACxB,6BAA6B,EAC7B,2BAA2B,EAC3B,0BAA0B,EAC1B,0BAA0B,EAC1B,yBAAyB,EACzB,kCAAkC,EAClC,wBAAwB,EACxB,6BAA6B,EAC7B,+BAA+B,EAC/B,qCAAqC,EACrC,wBAAwB,EACxB,4BAA4B,EAC5B,kBAAkB,EAClB,wBAAwB,EACxB,4BAA4B,EAC5B,wBAAwB,EACxB,0BAA0B,EAC1B,8BAA8B,EAC9B,sBAAsB,EACtB,4BAA4B,EAC5B,yBAAyB,EACzB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,uCAAuC,CAAC;AAC/C,YAAY,EACV,2BAA2B,EAC3B,sBAAsB,EACtB,2BAA2B,EAC3B,kBAAkB,GACnB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,qBAAqB,EACrB,uBAAuB,EACvB,aAAa,EACb,sBAAsB,EACtB,oBAAoB,EACpB,yBAAyB,EACzB,mBAAmB,EACnB,cAAc,EACd,eAAe,EACf,uBAAuB,EACvB,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,EACnB,wBAAwB,GACzB,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EACV,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,UAAU,GACX,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,YAAY,EACZ,cAAc,EACd,UAAU,EACV,eAAe,EACf,gBAAgB,GACjB,MAAM,0BAA0B,CAAC;AAClC,YAAY,EACV,WAAW,EACX,gBAAgB,EAChB,sBAAsB,EACtB,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,aAAa,EACb,YAAY,GACb,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,UAAU,GACX,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,YAAY,EACZ,eAAe,EACf,SAAS,EACT,UAAU,EACV,aAAa,GACd,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,YAAY,EACV,aAAa,EACb,YAAY,GACb,MAAM,iCAAiC,CAAC;AACzC,YAAY,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACzD,YAAY,EACV,cAAc,EACd,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,eAAe,EACf,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,qCAAqC,CAAC;AAC7C,YAAY,EACV,qBAAqB,EACrB,8BAA8B,EAC9B,qCAAqC,IAAI,qBAAqB,GAC/D,MAAM,8CAA8C,CAAC;AACtD,YAAY,EACV,qBAAqB,EACrB,4BAA4B,EAC5B,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,yBAAyB,EACzB,6BAA6B,EAC7B,0BAA0B,GAC3B,MAAM,0BAA0B,CAAC;AAClC,YAAY,EACV,wBAAwB,EACxB,yBAAyB,EACzB,qBAAqB,EACrB,eAAe,GAChB,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7D,YAAY,EACV,qBAAqB,EACrB,qBAAqB,EACrB,mBAAmB,EACnB,sBAAsB,EACtB,uBAAuB,EACvB,2BAA2B,GAC5B,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,eAAe,EACf,oBAAoB,EACpB,mBAAmB,EACnB,eAAe,EACf,cAAc,EACd,aAAa,EACb,kBAAkB,EAClB,cAAc,EACd,YAAY,EACZ,YAAY,EACZ,uBAAuB,EACvB,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,EACjB,sBAAsB,EACtB,QAAQ,EACR,eAAe,EACf,uBAAuB,EACvB,kBAAkB,EAClB,sBAAsB,EACtB,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,eAAe,EACf,eAAe,EACf,sBAAsB,EACtB,kBAAkB,EAClB,gBAAgB,EAChB,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,cAAc,EACd,iBAAiB,EACjB,YAAY,EACZ,YAAY,EACZ,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,qBAAqB,EACrB,2BAA2B,EAC3B,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,EACf,uBAAuB,GACxB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,iCAAiC,IAAI,oBAAoB,EACzD,iCAAiC,IAAI,kBAAkB,EACvD,4BAA4B,GAC7B,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,wBAAwB,EACxB,WAAW,GACZ,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,2BAA2B,EAC3B,8BAA8B,EAC9B,uBAAuB,EACvB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,2CAA2C,CAAC;AACnD,YAAY,EACV,kBAAkB,EAClB,2BAA2B,EAC3B,oBAAoB,EACpB,6BAA6B,GAC9B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,sBAAsB,GACvB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,+BAA+B,IAAI,yBAAyB,EAC5D,8BAA8B,IAAI,wBAAwB,EAC1D,gCAAgC,IAAI,0BAA0B,GAC/D,MAAM,yCAAyC,CAAC;AACjD,OAAO,EACL,mCAAmC,IAAI,6BAA6B,EACpE,qCAAqC,IAAI,+BAA+B,GACzE,MAAM,8CAA8C,CAAC;AACtD,YAAY,EACV,qBAAqB,EACrB,mBAAmB,EACnB,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,EACpB,sBAAsB,EACtB,kBAAkB,GACnB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,cAAc,EACd,wBAAwB,IAAI,sBAAsB,GACnD,MAAM,8BAA8B,CAAC;AACtC,YAAY,EACV,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,6BAA6B,IAAI,2BAA2B,EAC5D,0BAA0B,GAC3B,MAAM,mCAAmC,CAAC"}
|
package/dist/index.js
CHANGED
|
@@ -1,14 +1,16 @@
|
|
|
1
|
-
export { analyzeDocument, checkDocument, selectNextTasks, } from "./application/
|
|
1
|
+
export { analyzeDocument, checkDocument, getProjectMetadata, planAssuranceMutation, planBatchMutation, planFinishActuals, planFormat, planLifecycle as planLifecycleMutation, planMutation, planUnitMigration, selectNextTasks, } from "./application/contract8-milestone-acceptance.js";
|
|
2
|
+
export { planMilestoneAcceptanceMigration, recheckCommittedMigrationProof, } from "./milestone-acceptance/migration.js";
|
|
3
|
+
export { persistMilestoneAcceptanceMutation, planAcceptanceReceiptMutation, planCriterionSetReplacement, showMilestoneAcceptance, } from "./milestone-acceptance/mutation.js";
|
|
4
|
+
export { planMilestoneAcceptanceAdvance } from "./milestone-acceptance/advance.js";
|
|
5
|
+
export const ADVANCE_RESULT_SCHEMA_VERSION = "Perttool.AdvanceResult.v3";
|
|
2
6
|
export { createNodeHost } from "./node/host.js";
|
|
3
7
|
export { getAgentHelp } from "./application/agent-help.js";
|
|
4
|
-
export { getProjectMetadata } from "./application/contract7-project.js";
|
|
5
8
|
export { planProjectInit, projectInitResultToJson, renderProjectInitResult, serializeProjectInitResult, withProjectInitOutput, } from "./application/init.js";
|
|
6
|
-
export { planFormat } from "./application/contract7-source.js";
|
|
7
9
|
export { recommendationAnalysisToJson } from "./recommendation/json.js";
|
|
8
10
|
export { canonicalOverrideArtifact, humanOverrideDecisionToJson, overrideValidationResultToJson, validateOverride, } from "./recommendation/override.js";
|
|
9
|
-
export { planAdvance,
|
|
11
|
+
export { planAdvance, } from "./application/contract7-mutation.js";
|
|
10
12
|
export { inspectTargetPlanAssurance as inspectPlanAssurance, PLAN_ASSURANCE_INSPECTION_CLI_CONTRACT_VERSION, PLAN_ASSURANCE_RESULT_SCHEMA_VERSION, } from "./application/target-assurance-inspection.js";
|
|
11
|
-
export {
|
|
13
|
+
export { withUnitMigrationWrite, } from "./application/contract7-unit-migration.js";
|
|
12
14
|
export { exportMermaid, importMermaid, } from "./application/contract7-mermaid.js";
|
|
13
15
|
export { buildResidualGraph, computeEffectiveReached } from "./analysis/graph.js";
|
|
14
16
|
export { analyzePrecedence } from "./analysis/precedence.js";
|
|
@@ -32,7 +34,6 @@ export * from "./model/rational.js";
|
|
|
32
34
|
export * from "./model/units.js";
|
|
33
35
|
export { GOVERNANCE_DIRECT_EDIT_WARNING } from "./governance/guidance.js";
|
|
34
36
|
export { AGENT_GUIDANCE_DIRECTIVES, AGENT_GUIDANCE_ORIGINS, AGENT_GUIDANCE_PROVIDER_IDS, AGENT_GUIDANCE_RISK_KINDS, AGENT_GUIDANCE_SCOPE_IDS, AGENT_GUIDANCE_SUPPORT_STATUSES, AGENT_GUIDANCE_SURFACE_IDS, } from "./guidance/types.js";
|
|
35
|
-
export { PLAN_ASSURANCE_ADVANCE_RESULT_SCHEMA_VERSION as ADVANCE_RESULT_SCHEMA_VERSION, } from "./assurance/advance.js";
|
|
36
37
|
export { inspectProjectHistory, } from "./history/project-history.js";
|
|
37
38
|
export { observeProjectVelocity, } from "./history/velocity-observation.js";
|
|
38
39
|
export { inspectTargetProjectHistoryFile as inspectProjectHistoryFile, renderTargetProjectHistoryText as renderProjectHistoryText, targetProjectHistoryResultToJson as projectHistoryResultToJson, } from "./application/target-project-history.js";
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,GAChB,MAAM,
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,qBAAqB,EACrB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,aAAa,IAAI,qBAAqB,EACtC,YAAY,EACZ,iBAAiB,EACjB,eAAe,GAChB,MAAM,iDAAiD,CAAC;AACzD,OAAO,EACL,gCAAgC,EAChC,8BAA8B,GAC/B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,kCAAkC,EAClC,6BAA6B,EAC7B,2BAA2B,EAC3B,uBAAuB,GACxB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,8BAA8B,EAAE,MAAM,mCAAmC,CAAC;AACnF,MAAM,CAAC,MAAM,6BAA6B,GAAG,2BAAoC,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,eAAe,EACf,uBAAuB,EACvB,uBAAuB,EACvB,0BAA0B,EAC1B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,4BAA4B,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,EACL,yBAAyB,EACzB,2BAA2B,EAC3B,8BAA8B,EAC9B,gBAAgB,GACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,WAAW,GACZ,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,0BAA0B,IAAI,oBAAoB,EAClD,8CAA8C,EAC9C,oCAAoC,GACrC,MAAM,8CAA8C,CAAC;AACtD,OAAO,EACL,sBAAsB,GACvB,MAAM,2CAA2C,CAAC;AACnD,OAAO,EACL,aAAa,EACb,aAAa,GACd,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EACL,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,0BAA0B,IAAI,gBAAgB,EAC9C,gCAAgC,IAAI,uBAAuB,EAC3D,gCAAgC,IAAI,uBAAuB,EAC3D,8BAA8B,IAAI,qBAAqB,EACvD,4BAA4B,IAAI,mBAAmB,EACnD,gCAAgC,IAAI,uBAAuB,EAC3D,mCAAmC,IAAI,0BAA0B,GAClE,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,gCAAgC,IAAI,uBAAuB,EAC3D,gCAAgC,IAAI,uBAAuB,EAC3D,mCAAmC,IAAI,0BAA0B,EACjE,kCAAkC,IAAI,yBAAyB,GAChE,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,0BAA0B,IAAI,iBAAiB,EAC/C,iBAAiB,IAAI,QAAQ,EAC7B,0BAA0B,IAAI,iBAAiB,EAC/C,6BAA6B,IAAI,oBAAoB,GACtD,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,mBAAmB,EACnB,sBAAsB,EACtB,mBAAmB,EACnB,iCAAiC,EACjC,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC;AAwD9B,OAAO,EACL,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,mCAAmC,EACnC,yBAAyB,EACzB,+BAA+B,EAC/B,0BAA0B,GAC3B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,0BAA0B,EAC1B,kCAAkC,EAClC,0BAA0B,EAC1B,6BAA6B,EAC7B,4BAA4B,GAC7B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,cAAc,EACd,aAAa,EACb,gBAAgB,GACjB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,mBAAmB,EACnB,wBAAwB,EACxB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,0BAA0B,GAC3B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAChC,cAAc,qBAAqB,CAAC;AACpC,cAAc,kBAAkB,CAAC;AACjC,OAAO,EAAE,8BAA8B,EAAE,MAAM,0BAA0B,CAAC;AAiC1E,OAAO,EACL,yBAAyB,EACzB,sBAAsB,EACtB,2BAA2B,EAC3B,yBAAyB,EACzB,wBAAwB,EACxB,+BAA+B,EAC/B,0BAA0B,GAC3B,MAAM,qBAAqB,CAAC;AAgS7B,OAAO,EACL,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,sBAAsB,GACvB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,+BAA+B,IAAI,yBAAyB,EAC5D,8BAA8B,IAAI,wBAAwB,EAC1D,gCAAgC,IAAI,0BAA0B,GAC/D,MAAM,yCAAyC,CAAC;AACjD,OAAO,EACL,mCAAmC,IAAI,6BAA6B,EACpE,qCAAqC,IAAI,+BAA+B,GACzE,MAAM,8CAA8C,CAAC"}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { type ExactDurationSourceToken } from "../model/exact-duration-source.js";
|
|
2
|
-
export type MigrationGrammarVersion = 1 | 2 | 3 | 4 | 5 | 6;
|
|
2
|
+
export type MigrationGrammarVersion = 1 | 2 | 3 | 4 | 5 | 6 | 7;
|
|
3
3
|
export type MigrationGrammarDisposition = "retained" | "upgraded_for_exact_fraction";
|
|
4
4
|
export type MigrationVelocityDisposition = "retained" | "replaced" | "inserted";
|
|
5
5
|
export type MigrationReversibility = "exact" | "values_exact_metadata_changed" | "not_applicable";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"grammar-boundary.d.ts","sourceRoot":"","sources":["../../src/migration/grammar-boundary.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,wBAAwB,EAC9B,MAAM,mCAAmC,CAAC;AAE3C,MAAM,MAAM,uBAAuB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;
|
|
1
|
+
{"version":3,"file":"grammar-boundary.d.ts","sourceRoot":"","sources":["../../src/migration/grammar-boundary.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,wBAAwB,EAC9B,MAAM,mCAAmC,CAAC;AAE3C,MAAM,MAAM,uBAAuB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEhE,MAAM,MAAM,2BAA2B,GACnC,UAAU,GACV,6BAA6B,CAAC;AAElC,MAAM,MAAM,4BAA4B,GACpC,UAAU,GACV,UAAU,GACV,UAAU,CAAC;AAEf,MAAM,MAAM,sBAAsB,GAC9B,OAAO,GACP,+BAA+B,GAC/B,gBAAgB,CAAC;AAErB,MAAM,MAAM,sBAAsB,GAC9B,qCAAqC,GACrC,qCAAqC,GACrC,mBAAmB,GACnB,mBAAmB,CAAC;AAExB,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,mBAAmB,EAAE,4BAA4B,GAAG,IAAI,CAAC;CACnE;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;IACvD,QAAQ,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;IACvD,QAAQ,CAAC,kBAAkB,EAAE,2BAA2B,CAAC;IACzD,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;IACzC,QAAQ,CAAC,aAAa,EAAE,sBAAsB,CAAC;IAC/C,QAAQ,CAAC,cAAc,EAAE,SAAS,sBAAsB,EAAE,CAAC;CAC5D;AAyED,wBAAgB,kCAAkC,CAChD,oBAAoB,EAAE,MAAM,EAC5B,eAAe,EAAE,SAAS,wBAAwB,EAAE,EACpD,OAAO,EAAE,mCAAmC,GAC3C,6BAA6B,CAwE/B"}
|
|
@@ -5,8 +5,9 @@ function requireGrammarVersion(value) {
|
|
|
5
5
|
value !== 3 &&
|
|
6
6
|
value !== 4 &&
|
|
7
7
|
value !== 5 &&
|
|
8
|
-
value !== 6
|
|
9
|
-
|
|
8
|
+
value !== 6 &&
|
|
9
|
+
value !== 7) {
|
|
10
|
+
throw new RangeError("source grammar version must be 1, 2, 3, 4, 5, 6, or 7");
|
|
10
11
|
}
|
|
11
12
|
}
|
|
12
13
|
function requireContext(context) {
|
|
@@ -58,6 +59,7 @@ export function selectExactDurationGrammarBoundary(sourceGrammarVersion, generat
|
|
|
58
59
|
sourceGrammarVersion !== 4 &&
|
|
59
60
|
sourceGrammarVersion !== 5 &&
|
|
60
61
|
sourceGrammarVersion !== 6 &&
|
|
62
|
+
sourceGrammarVersion !== 7 &&
|
|
61
63
|
fractionRequired) {
|
|
62
64
|
throw new TypeError("a no-op migration cannot require a grammar upgrade");
|
|
63
65
|
}
|
|
@@ -65,6 +67,7 @@ export function selectExactDurationGrammarBoundary(sourceGrammarVersion, generat
|
|
|
65
67
|
sourceGrammarVersion !== 4 &&
|
|
66
68
|
sourceGrammarVersion !== 5 &&
|
|
67
69
|
sourceGrammarVersion !== 6 &&
|
|
70
|
+
sourceGrammarVersion !== 7 &&
|
|
68
71
|
fractionRequired;
|
|
69
72
|
const targetGrammarVersion = requiresVersionUpgrade
|
|
70
73
|
? 3
|
|
@@ -77,7 +80,8 @@ export function selectExactDurationGrammarBoundary(sourceGrammarVersion, generat
|
|
|
77
80
|
(sourceGrammarVersion === 3 ||
|
|
78
81
|
sourceGrammarVersion === 4 ||
|
|
79
82
|
sourceGrammarVersion === 5 ||
|
|
80
|
-
sourceGrammarVersion === 6
|
|
83
|
+
sourceGrammarVersion === 6 ||
|
|
84
|
+
sourceGrammarVersion === 7) &&
|
|
81
85
|
generatedTokens.length > 0 &&
|
|
82
86
|
!fractionRequired) {
|
|
83
87
|
qualifications.push("grammar_version_retained_on_inverse");
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"grammar-boundary.js","sourceRoot":"","sources":["../../src/migration/grammar-boundary.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oCAAoC,GAErC,MAAM,mCAAmC,CAAC;AAsC3C,SAAS,qBAAqB,CAC5B,KAAa;IAEb,IACE,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC,EACX,CAAC;QACD,MAAM,IAAI,UAAU,CAClB,
|
|
1
|
+
{"version":3,"file":"grammar-boundary.js","sourceRoot":"","sources":["../../src/migration/grammar-boundary.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oCAAoC,GAErC,MAAM,mCAAmC,CAAC;AAsC3C,SAAS,qBAAqB,CAC5B,KAAa;IAEb,IACE,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC,EACX,CAAC;QACD,MAAM,IAAI,UAAU,CAClB,uDAAuD,CACxD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,OAA4C;IAClE,IAAI,OAAO,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAClD,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAC;IAC1D,CAAC;IACD,IACE,OAAO,CAAC,mBAAmB,KAAK,IAAI;QACpC,OAAO,CAAC,mBAAmB,KAAK,UAAU;QAC1C,OAAO,CAAC,mBAAmB,KAAK,UAAU;QAC1C,OAAO,CAAC,mBAAmB,KAAK,UAAU,EAC1C,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,gCAAgC,CAAC,CAAC;IACxD,CAAC;IACD,IACE,OAAO,CAAC,gBAAgB;QACxB,OAAO,CAAC,mBAAmB,KAAK,IAAI,EACpC,CAAC;QACD,MAAM,IAAI,SAAS,CACjB,sDAAsD,CACvD,CAAC;IACJ,CAAC;IACD,IACE,CAAC,OAAO,CAAC,gBAAgB;QACzB,CAAC,OAAO,CAAC,mBAAmB,KAAK,UAAU;YACzC,OAAO,CAAC,mBAAmB,KAAK,UAAU,CAAC,EAC7C,CAAC;QACD,MAAM,IAAI,SAAS,CACjB,qDAAqD,CACtD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,8BAA8B,CACrC,KAA+B;IAE/B,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS;YACjC,KAAK,CAAC,cAAc,KAAK,UAAU,CAAC;QACtC,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,EAC/B,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,SAAS,GAAG,oCAAoC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpE,IACE,SAAS,KAAK,IAAI;QAClB,SAAS,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;QAC/B,SAAS,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc,EACjD,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAC;IACpE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kCAAkC,CAChD,oBAA4B,EAC5B,eAAoD,EACpD,OAA4C;IAE5C,qBAAqB,CAAC,oBAAoB,CAAC,CAAC;IAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAC;IAC1D,CAAC;IACD,cAAc,CAAC,OAAO,CAAC,CAAC;IACxB,KAAK,MAAM,KAAK,IAAI,eAAe;QAAE,8BAA8B,CAAC,KAAK,CAAC,CAAC;IAE3E,MAAM,gBAAgB,GAAG,eAAe,CAAC,IAAI,CAC3C,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,cAAc,KAAK,UAAU,CACtD,CAAC;IACF,IACE,CAAC,OAAO,CAAC,gBAAgB;QACzB,oBAAoB,KAAK,CAAC;QAC1B,oBAAoB,KAAK,CAAC;QAC1B,oBAAoB,KAAK,CAAC;QAC1B,oBAAoB,KAAK,CAAC;QAC1B,oBAAoB,KAAK,CAAC;QAC1B,gBAAgB,EAChB,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,sBAAsB,GAC1B,oBAAoB,KAAK,CAAC;QAC1B,oBAAoB,KAAK,CAAC;QAC1B,oBAAoB,KAAK,CAAC;QAC1B,oBAAoB,KAAK,CAAC;QAC1B,oBAAoB,KAAK,CAAC;QAC1B,gBAAgB,CAAC;IACnB,MAAM,oBAAoB,GAAG,sBAAsB;QACjD,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,oBAAoB,CAAC;IACzB,MAAM,cAAc,GAA6B,EAAE,CAAC;IACpD,IAAI,sBAAsB,EAAE,CAAC;QAC3B,cAAc,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAC7D,CAAC;SAAM,IACL,OAAO,CAAC,gBAAgB;QACxB,CACE,oBAAoB,KAAK,CAAC;YAC1B,oBAAoB,KAAK,CAAC;YAC1B,oBAAoB,KAAK,CAAC;YAC1B,oBAAoB,KAAK,CAAC;YAC1B,oBAAoB,KAAK,CAAC,CAC3B;QACD,eAAe,CAAC,MAAM,GAAG,CAAC;QAC1B,CAAC,gBAAgB,EACjB,CAAC;QACD,cAAc,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,OAAO,CAAC,mBAAmB,KAAK,UAAU,EAAE,CAAC;QAC/C,cAAc,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAC3C,CAAC;SAAM,IAAI,OAAO,CAAC,mBAAmB,KAAK,UAAU,EAAE,CAAC;QACtD,cAAc,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAC3C,CAAC;IAED,MAAM,aAAa,GACjB,CAAC,OAAO,CAAC,gBAAgB;QACvB,CAAC,CAAC,gBAAgB;QAClB,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;YACzB,CAAC,CAAC,+BAA+B;YACjC,CAAC,CAAC,OAAO,CAAC;IAEhB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,oBAAoB;QACpB,oBAAoB;QACpB,kBAAkB,EAAE,sBAAsB;YACxC,CAAC,CAAC,6BAA6B;YAC/B,CAAC,CAAC,UAAU;QACd,sBAAsB;QACtB,aAAa;QACb,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;KAC9C,CAAC,CAAC;AACL,CAAC"}
|
|
@@ -0,0 +1,39 @@
|
|
|
1
|
+
import type { Diagnostic } from "../model/diagnostics.js";
|
|
2
|
+
import { type AdvanceResult } from "../mutation/advance.js";
|
|
3
|
+
import type { MutationOptions } from "../mutation/types.js";
|
|
4
|
+
import { type MilestoneAcceptanceEvaluationV1 } from "./evaluate.js";
|
|
5
|
+
export interface MilestoneAcceptanceAdvanceGuardV1 {
|
|
6
|
+
readonly modelVersion: 1;
|
|
7
|
+
readonly status: "passed" | "blocked";
|
|
8
|
+
readonly affectedMilestoneIds: readonly string[];
|
|
9
|
+
readonly grandfatheredMilestoneIds: readonly string[];
|
|
10
|
+
readonly acceptedMilestoneIds: readonly string[];
|
|
11
|
+
readonly blockedMilestones: readonly {
|
|
12
|
+
readonly milestoneId: string;
|
|
13
|
+
readonly acceptance: MilestoneAcceptanceEvaluationV1["acceptance"];
|
|
14
|
+
readonly blockingRequiredCriterionIds: readonly string[];
|
|
15
|
+
}[];
|
|
16
|
+
}
|
|
17
|
+
export interface MilestoneAcceptanceProvisionalAdvanceV1 {
|
|
18
|
+
readonly updatedDigest: string;
|
|
19
|
+
readonly updatedText: string;
|
|
20
|
+
readonly diff: string;
|
|
21
|
+
readonly edits: AdvanceResult["edits"];
|
|
22
|
+
readonly advance: NonNullable<AdvanceResult["advance"]>;
|
|
23
|
+
}
|
|
24
|
+
export interface MilestoneAcceptanceAdvanceResultV1 {
|
|
25
|
+
readonly modelVersion: 1;
|
|
26
|
+
readonly ok: boolean;
|
|
27
|
+
readonly persistable: boolean;
|
|
28
|
+
readonly originalDigest: string;
|
|
29
|
+
readonly provisional: MilestoneAcceptanceProvisionalAdvanceV1 | null;
|
|
30
|
+
readonly acceptanceGuard: MilestoneAcceptanceAdvanceGuardV1 | null;
|
|
31
|
+
readonly canonical: AdvanceResult | null;
|
|
32
|
+
readonly diagnostics: readonly Diagnostic[];
|
|
33
|
+
}
|
|
34
|
+
export interface MilestoneAcceptanceAdvanceOptionsV1 extends MutationOptions {
|
|
35
|
+
readonly provisionalPlanner?: (baseText: string) => AdvanceResult;
|
|
36
|
+
readonly canonicalPlanner?: (text: string) => AdvanceResult;
|
|
37
|
+
}
|
|
38
|
+
export declare function planMilestoneAcceptanceAdvance(text: string, options?: MilestoneAcceptanceAdvanceOptionsV1): MilestoneAcceptanceAdvanceResultV1;
|
|
39
|
+
//# sourceMappingURL=advance.d.ts.map
|