perttool 0.11.1 → 0.12.1

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.
Files changed (179) hide show
  1. package/CHANGELOG.md +32 -1
  2. package/README.md +9 -4
  3. package/dist/application/cli-facade.d.ts +2 -1
  4. package/dist/application/cli-facade.d.ts.map +1 -1
  5. package/dist/application/cli-facade.js +2 -1
  6. package/dist/application/cli-facade.js.map +1 -1
  7. package/dist/application/contract11-candidate.d.ts +23 -0
  8. package/dist/application/contract11-candidate.d.ts.map +1 -0
  9. package/dist/application/contract11-candidate.js +48 -0
  10. package/dist/application/contract11-candidate.js.map +1 -0
  11. package/dist/application/contract11-migration.d.ts +35 -0
  12. package/dist/application/contract11-migration.d.ts.map +1 -0
  13. package/dist/application/contract11-migration.js +46 -0
  14. package/dist/application/contract11-migration.js.map +1 -0
  15. package/dist/application/contract11-runtime.d.ts +11 -0
  16. package/dist/application/contract11-runtime.d.ts.map +1 -0
  17. package/dist/application/contract11-runtime.js +65 -0
  18. package/dist/application/contract11-runtime.js.map +1 -0
  19. package/dist/application/contract8-milestone-acceptance.d.ts +6 -0
  20. package/dist/application/contract8-milestone-acceptance.d.ts.map +1 -1
  21. package/dist/application/contract8-milestone-acceptance.js +10 -1
  22. package/dist/application/contract8-milestone-acceptance.js.map +1 -1
  23. package/dist/application/contract9-projection.d.ts +1 -1
  24. package/dist/application/contract9-projection.d.ts.map +1 -1
  25. package/dist/application/contract9-projection.js.map +1 -1
  26. package/dist/application/plan-review-mutation.d.ts +52 -0
  27. package/dist/application/plan-review-mutation.d.ts.map +1 -0
  28. package/dist/application/plan-review-mutation.js +86 -0
  29. package/dist/application/plan-review-mutation.js.map +1 -0
  30. package/dist/assurance/canonical.d.ts +3 -1
  31. package/dist/assurance/canonical.d.ts.map +1 -1
  32. package/dist/assurance/canonical.js +2 -2
  33. package/dist/assurance/canonical.js.map +1 -1
  34. package/dist/cli.js +490 -132
  35. package/dist/cli.js.map +1 -1
  36. package/dist/command/contract11-discovery.d.ts +17 -0
  37. package/dist/command/contract11-discovery.d.ts.map +1 -0
  38. package/dist/command/contract11-discovery.js +129 -0
  39. package/dist/command/contract11-discovery.js.map +1 -0
  40. package/dist/command/contract11-usage.d.ts +24 -0
  41. package/dist/command/contract11-usage.d.ts.map +1 -0
  42. package/dist/command/contract11-usage.js +39 -0
  43. package/dist/command/contract11-usage.js.map +1 -0
  44. package/dist/core/index.d.ts +2 -2
  45. package/dist/core/index.d.ts.map +1 -1
  46. package/dist/core/index.js +2 -1
  47. package/dist/core/index.js.map +1 -1
  48. package/dist/help/contract11-guide.d.ts +10 -0
  49. package/dist/help/contract11-guide.d.ts.map +1 -0
  50. package/dist/help/contract11-guide.js +73 -0
  51. package/dist/help/contract11-guide.js.map +1 -0
  52. package/dist/history/project-history.d.ts.map +1 -1
  53. package/dist/history/project-history.js +15 -0
  54. package/dist/history/project-history.js.map +1 -1
  55. package/dist/history/unit-conversion-proof.d.ts +7 -0
  56. package/dist/history/unit-conversion-proof.d.ts.map +1 -0
  57. package/dist/history/unit-conversion-proof.js +83 -0
  58. package/dist/history/unit-conversion-proof.js.map +1 -0
  59. package/dist/index.d.ts +19 -5
  60. package/dist/index.d.ts.map +1 -1
  61. package/dist/index.js +15 -4
  62. package/dist/index.js.map +1 -1
  63. package/dist/model/rfc8785.d.ts +2 -0
  64. package/dist/model/rfc8785.d.ts.map +1 -0
  65. package/dist/model/rfc8785.js +47 -0
  66. package/dist/model/rfc8785.js.map +1 -0
  67. package/dist/plan-review/advance.d.ts +28 -0
  68. package/dist/plan-review/advance.d.ts.map +1 -0
  69. package/dist/plan-review/advance.js +67 -0
  70. package/dist/plan-review/advance.js.map +1 -0
  71. package/dist/plan-review/authority.d.ts +4 -0
  72. package/dist/plan-review/authority.d.ts.map +1 -0
  73. package/dist/plan-review/authority.js +21 -0
  74. package/dist/plan-review/authority.js.map +1 -0
  75. package/dist/plan-review/basis.d.ts +25 -0
  76. package/dist/plan-review/basis.d.ts.map +1 -0
  77. package/dist/plan-review/basis.js +287 -0
  78. package/dist/plan-review/basis.js.map +1 -0
  79. package/dist/plan-review/format.d.ts +5 -0
  80. package/dist/plan-review/format.d.ts.map +1 -0
  81. package/dist/plan-review/format.js +54 -0
  82. package/dist/plan-review/format.js.map +1 -0
  83. package/dist/plan-review/lifecycle.d.ts +11 -0
  84. package/dist/plan-review/lifecycle.d.ts.map +1 -0
  85. package/dist/plan-review/lifecycle.js +80 -0
  86. package/dist/plan-review/lifecycle.js.map +1 -0
  87. package/dist/plan-review/mutation-types.d.ts +112 -0
  88. package/dist/plan-review/mutation-types.d.ts.map +1 -0
  89. package/dist/plan-review/mutation-types.js +4 -0
  90. package/dist/plan-review/mutation-types.js.map +1 -0
  91. package/dist/plan-review/mutation.d.ts +4 -0
  92. package/dist/plan-review/mutation.d.ts.map +1 -0
  93. package/dist/plan-review/mutation.js +421 -0
  94. package/dist/plan-review/mutation.js.map +1 -0
  95. package/dist/plan-review/projection.d.ts +4 -0
  96. package/dist/plan-review/projection.d.ts.map +1 -0
  97. package/dist/plan-review/projection.js +19 -0
  98. package/dist/plan-review/projection.js.map +1 -0
  99. package/dist/plan-review/request-size.d.ts +3 -0
  100. package/dist/plan-review/request-size.d.ts.map +1 -0
  101. package/dist/plan-review/request-size.js +86 -0
  102. package/dist/plan-review/request-size.js.map +1 -0
  103. package/dist/plan-review/request.d.ts +11 -0
  104. package/dist/plan-review/request.d.ts.map +1 -0
  105. package/dist/plan-review/request.js +268 -0
  106. package/dist/plan-review/request.js.map +1 -0
  107. package/dist/plan-review/source-lexical.d.ts +23 -0
  108. package/dist/plan-review/source-lexical.d.ts.map +1 -0
  109. package/dist/plan-review/source-lexical.js +75 -0
  110. package/dist/plan-review/source-lexical.js.map +1 -0
  111. package/dist/plan-review/source-types.d.ts +81 -0
  112. package/dist/plan-review/source-types.d.ts.map +1 -0
  113. package/dist/plan-review/source-types.js +2 -0
  114. package/dist/plan-review/source-types.js.map +1 -0
  115. package/dist/plan-review/source.d.ts +16 -0
  116. package/dist/plan-review/source.d.ts.map +1 -0
  117. package/dist/plan-review/source.js +346 -0
  118. package/dist/plan-review/source.js.map +1 -0
  119. package/dist/plan-review/write.d.ts +4 -0
  120. package/dist/plan-review/write.d.ts.map +1 -0
  121. package/dist/plan-review/write.js +51 -0
  122. package/dist/plan-review/write.js.map +1 -0
  123. package/dist/planning-pool/history-guard.d.ts +7 -1
  124. package/dist/planning-pool/history-guard.d.ts.map +1 -1
  125. package/dist/planning-pool/history-guard.js +13 -12
  126. package/dist/planning-pool/history-guard.js.map +1 -1
  127. package/dist/planning-pool/projection.d.ts +1 -1
  128. package/dist/planning-pool/projection.d.ts.map +1 -1
  129. package/dist/planning-pool/projection.js.map +1 -1
  130. package/dist/planning-pool/source-lexical.d.ts.map +1 -1
  131. package/dist/planning-pool/source-lexical.js +2 -22
  132. package/dist/planning-pool/source-lexical.js.map +1 -1
  133. package/dist/recommendation/override-types.d.ts +2 -2
  134. package/dist/recommendation/override-types.d.ts.map +1 -1
  135. package/dist/recommendation/override.d.ts +1 -1
  136. package/dist/recommendation/override.d.ts.map +1 -1
  137. package/dist/recommendation/override.js +6 -5
  138. package/dist/recommendation/override.js.map +1 -1
  139. package/dist/schema/registry.d.ts +1 -1
  140. package/dist/schema/registry.d.ts.map +1 -1
  141. package/dist/schema/registry.js +5 -2
  142. package/dist/schema/registry.js.map +1 -1
  143. package/dist/temporal-schedule/source-lexical.d.ts +5 -0
  144. package/dist/temporal-schedule/source-lexical.d.ts.map +1 -1
  145. package/dist/temporal-schedule/source-lexical.js +21 -4
  146. package/dist/temporal-schedule/source-lexical.js.map +1 -1
  147. package/dist/version.d.ts +1 -1
  148. package/dist/version.d.ts.map +1 -1
  149. package/dist/version.js +2 -1
  150. package/dist/version.js.map +1 -1
  151. package/package.json +1 -1
  152. package/schemas/Perttool.AdvanceResult.v4.schema.json +4 -1
  153. package/schemas/Perttool.AgentGuidanceResult.v1.schema.json +1 -1
  154. package/schemas/Perttool.AnalysisResult.v7.schema.json +1 -1
  155. package/schemas/Perttool.CheckResult.v6.schema.json +1 -1
  156. package/schemas/Perttool.CliError.v1.schema.json +1 -1
  157. package/schemas/Perttool.CommandHelpResult.v1.schema.json +2 -2
  158. package/schemas/Perttool.ExportResult.v1.schema.json +1 -1
  159. package/schemas/Perttool.FormatResult.v1.schema.json +1 -1
  160. package/schemas/Perttool.GuideResult.v1.schema.json +1 -1
  161. package/schemas/Perttool.HistoricalGraphResult.v1.schema.json +1 -1
  162. package/schemas/Perttool.ImportResult.v1.schema.json +1 -1
  163. package/schemas/Perttool.InitResult.v1.schema.json +1 -1
  164. package/schemas/Perttool.MilestoneAcceptanceMigrationResult.v1.schema.json +1 -1
  165. package/schemas/Perttool.MilestoneAcceptanceResult.v1.schema.json +1 -1
  166. package/schemas/Perttool.MutationResult.v6.schema.json +1 -1
  167. package/schemas/{Perttool.NextResult.v8.schema.json → Perttool.NextResult.v9.schema.json} +40 -7
  168. package/schemas/Perttool.PlanAssuranceResult.v2.schema.json +1 -1
  169. package/schemas/Perttool.PlanReviewMutationResult.v1.schema.json +2203 -0
  170. package/schemas/Perttool.PlanReviewResult.v1.schema.json +245 -0
  171. package/schemas/Perttool.PlanningMutationResult.v1.schema.json +1 -1
  172. package/schemas/Perttool.PlanningPoolResult.v1.schema.json +1 -1
  173. package/schemas/Perttool.PlanningReshapePreflightResult.v1.schema.json +1 -1
  174. package/schemas/Perttool.ProjectHistoryResult.v1.schema.json +1 -1
  175. package/schemas/Perttool.ProjectResult.v5.schema.json +1 -1
  176. package/schemas/Perttool.SchemaResult.v1.schema.json +1 -1
  177. package/schemas/Perttool.UnitMigrationResult.v5.schema.json +1 -1
  178. package/schemas/Perttool.VelocityObservationResult.v1.schema.json +1 -1
  179. package/dist/perttool-vscode-private-0.0.0-d1578b9.vsix +0 -0
@@ -0,0 +1,21 @@
1
+ // R: Evaluate Plan Review resolution authority from the effective DAG owner and delegates.
2
+ import { compareStableStrings } from "../model/diagnostics.js";
3
+ export function evaluatePlanReviewAuthority(requestId, sourceDigest, candidateDigest, actor, acceptedOwners, effective) {
4
+ const delegates = Object.freeze([...effective.dagDelegates].sort(compareStableStrings));
5
+ const actorDirect = actor === effective.dagOwner || effective.dagDelegates.has(actor);
6
+ const ownerConfirmationSatisfied = acceptedOwners.includes(effective.dagOwner);
7
+ return Object.freeze({
8
+ model_version: 1,
9
+ request_id: requestId,
10
+ source_digest: sourceDigest,
11
+ candidate_digest: candidateDigest,
12
+ actor,
13
+ effective_dag_owner: effective.dagOwner,
14
+ effective_dag_delegates: delegates,
15
+ actor_direct: actorDirect,
16
+ owner_confirmation_required: !actorDirect,
17
+ owner_confirmation_satisfied: ownerConfirmationSatisfied,
18
+ authorized: actorDirect || ownerConfirmationSatisfied,
19
+ });
20
+ }
21
+ //# sourceMappingURL=authority.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"authority.js","sourceRoot":"","sources":["../../src/plan-review/authority.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAI/D,MAAM,UAAU,2BAA2B,CACzC,SAAiB,EACjB,YAAoB,EACpB,eAAuB,EACvB,KAAa,EACb,cAAiC,EACjC,SAAgD;IAEhD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACxF,MAAM,WAAW,GAAG,KAAK,KAAK,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACtF,MAAM,0BAA0B,GAAG,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC/E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,SAAS;QACrB,aAAa,EAAE,YAAY;QAC3B,gBAAgB,EAAE,eAAe;QACjC,KAAK;QACL,mBAAmB,EAAE,SAAS,CAAC,QAAQ;QACvC,uBAAuB,EAAE,SAAS;QAClC,YAAY,EAAE,WAAW;QACzB,2BAA2B,EAAE,CAAC,WAAW;QACzC,4BAA4B,EAAE,0BAA0B;QACxD,UAAU,EAAE,WAAW,IAAI,0BAA0B;KACtD,CAAC,CAAC;AACL,CAAC"}
@@ -0,0 +1,25 @@
1
+ import type { PlanReviewSourceModel } from "./source-types.js";
2
+ export declare const PLAN_REVIEW_BASIS_MODEL_VERSION: 1;
3
+ export declare const PLAN_REVIEW_BASIS_ID: "Perttool.PlanReviewBasis.v1";
4
+ export interface PlanReviewBasisV1 {
5
+ readonly model_version: 1;
6
+ readonly project: {
7
+ readonly id: string;
8
+ readonly finish_milestone_id: string;
9
+ readonly duration_unit: string;
10
+ readonly velocity: string | null;
11
+ readonly target_duration: string | null;
12
+ readonly critical_epsilon: string;
13
+ };
14
+ readonly calendars: readonly unknown[];
15
+ readonly resources: readonly unknown[];
16
+ readonly milestones: readonly unknown[];
17
+ readonly tasks: readonly unknown[];
18
+ readonly gates: readonly unknown[];
19
+ readonly assurance_relations: readonly unknown[];
20
+ readonly planning_pool: Readonly<Record<string, unknown>> | null;
21
+ }
22
+ export declare function projectPlanReviewBasis(model: PlanReviewSourceModel): PlanReviewBasisV1;
23
+ export declare function canonicalPlanReviewBasisJson(value: PlanReviewBasisV1): string;
24
+ export declare function digestPlanReviewBasis(value: PlanReviewBasisV1): `sha256:${string}`;
25
+ //# sourceMappingURL=basis.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"basis.d.ts","sourceRoot":"","sources":["../../src/plan-review/basis.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAE/D,eAAO,MAAM,+BAA+B,EAAG,CAAU,CAAC;AAC1D,eAAO,MAAM,oBAAoB,EAAG,6BAAsC,CAAC;AAE3E,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;QACrC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QACjC,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;QACxC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;KACnC,CAAC;IACF,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,SAAS,OAAO,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAC;IACnC,QAAQ,CAAC,mBAAmB,EAAE,SAAS,OAAO,EAAE,CAAC;IACjD,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;CAClE;AAwQD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,qBAAqB,GAAG,iBAAiB,CAoCtF;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,iBAAiB,GAAG,MAAM,CAE7E;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,iBAAiB,GAAG,UAAU,MAAM,EAAE,CAElF"}
@@ -0,0 +1,287 @@
1
+ // R: Project and digest the closed semantic planning basis for Plan Review.
2
+ import { canonicalizeEventDateTimeSourceToken, } from "../model/calendar.js";
3
+ import { canonicalizeExactDurationSourceToken } from "../model/exact-duration-source.js";
4
+ import { canonicalizeExactVelocitySourceToken } from "../model/exact-velocity-source.js";
5
+ import { compareStableStrings } from "../model/diagnostics.js";
6
+ import { sha256DigestUtf8 } from "../model/sha256.js";
7
+ import { rfc8785Json } from "../model/rfc8785.js";
8
+ import { fieldNamed, } from "../model/syntax.js";
9
+ import { evaluatePlanAssurance } from "../assurance/evaluate.js";
10
+ import { calendarRecord, timingRecord } from "../assurance/canonical.js";
11
+ import { projectPlanAssuranceInput } from "../assurance/source.js";
12
+ import { canonicalPlanningCalendar } from "../planning-pool/source-values.js";
13
+ import { canonicalInstant } from "../temporal-schedule/source-values.js";
14
+ export const PLAN_REVIEW_BASIS_MODEL_VERSION = 1;
15
+ export const PLAN_REVIEW_BASIS_ID = "Perttool.PlanReviewBasis.v1";
16
+ function requiredDeclaration(declarations, kind) {
17
+ const value = declarations.find((declaration) => declaration.kind === kind);
18
+ if (value === undefined)
19
+ throw new Error(`validated document has no ${kind}`);
20
+ return value;
21
+ }
22
+ function stringField(declaration, name) {
23
+ const value = fieldNamed(declaration, name)?.value;
24
+ if (value === undefined)
25
+ return null;
26
+ if (typeof value !== "string") {
27
+ throw new Error(`validated ${declaration.kind}.${name} is not a string`);
28
+ }
29
+ return value;
30
+ }
31
+ function integerField(declaration, name, fallback) {
32
+ const value = fieldNamed(declaration, name)?.value ?? fallback;
33
+ if (!Number.isSafeInteger(value)) {
34
+ throw new Error(`validated ${declaration.kind}.${name} is not an integer`);
35
+ }
36
+ return value;
37
+ }
38
+ function exactScalar(fieldText, fallback) {
39
+ if (fieldText === undefined)
40
+ return fallback;
41
+ const value = canonicalizeExactDurationSourceToken(fieldText);
42
+ if (value === null)
43
+ throw new Error("validated exact duration lost canonical form");
44
+ return value.token;
45
+ }
46
+ function calendarValue(value) {
47
+ if (value === null)
48
+ return null;
49
+ if (value.kind === "date")
50
+ return value.sourceText;
51
+ const canonical = canonicalizeEventDateTimeSourceToken(value.sourceText);
52
+ if (canonical === null)
53
+ throw new Error("validated date-time lost canonical form");
54
+ return canonical;
55
+ }
56
+ function temporalBounds(bounds, entityId) {
57
+ return bounds.filter(({ entityId: id }) => id === entityId).map((bound) => ({
58
+ event: bound.event,
59
+ direction: bound.direction,
60
+ value: canonicalInstant(bound.value),
61
+ }));
62
+ }
63
+ function calendarProfile(profile) {
64
+ return profile.kind === "continuous_fixed_offset"
65
+ ? { kind: "continuous_fixed_offset" }
66
+ : {
67
+ kind: "named_zone",
68
+ zone_id: profile.zoneId,
69
+ tzdb_release: profile.tzdbRelease,
70
+ calendar_id: profile.calendarId,
71
+ workday_hours: profile.workdayHours === null
72
+ ? null
73
+ : {
74
+ numerator: profile.workdayHours.numerator.toString(),
75
+ denominator: profile.workdayHours.denominator.toString(),
76
+ },
77
+ };
78
+ }
79
+ function calendars(model) {
80
+ return model.base.calendars.map((calendar) => ({
81
+ id: calendar.id,
82
+ profile: calendarProfile(model.base.profile),
83
+ weekdays: calendar.weekdays.map((day) => ({
84
+ weekday: day.weekday,
85
+ windows: day.windows.map((window) => ({
86
+ start_minute: window.startMinute,
87
+ end_minute: window.endMinute,
88
+ })),
89
+ })),
90
+ exceptions: calendar.exceptions.map((item) => ({
91
+ date: item.date,
92
+ windows: item.windows.map((window) => ({
93
+ start_minute: window.startMinute,
94
+ end_minute: window.endMinute,
95
+ })),
96
+ })),
97
+ }));
98
+ }
99
+ function resources(model, declarations) {
100
+ const availability = new Map(model.base.base.resources.map((item) => [item.resourceId, item]));
101
+ return declarations.filter(({ kind }) => kind === "resource").map((resource) => {
102
+ const temporal = availability.get(resource.id);
103
+ return {
104
+ id: resource.id,
105
+ capacity: integerField(resource, "capacity", 1),
106
+ calendar_id: temporal?.calendarId ?? null,
107
+ available_from: temporal?.availableFrom === null || temporal?.availableFrom === undefined
108
+ ? null
109
+ : canonicalInstant(temporal.availableFrom),
110
+ available_until: temporal?.availableUntil === null || temporal?.availableUntil === undefined
111
+ ? null
112
+ : canonicalInstant(temporal.availableUntil),
113
+ overrides: (temporal?.overrides ?? []).map((override) => ({
114
+ start: canonicalInstant(override.start),
115
+ end: canonicalInstant(override.end),
116
+ capacity: override.capacity,
117
+ })),
118
+ };
119
+ });
120
+ }
121
+ function milestones(model, declarations) {
122
+ return declarations.filter(({ kind }) => kind === "milestone").map((milestone) => ({
123
+ id: milestone.id,
124
+ deadline: calendarValue(fieldNamed(milestone, "deadline")?.value ?? null),
125
+ temporal_constraints: temporalBounds(model.base.base.milestoneBounds, milestone.id),
126
+ }));
127
+ }
128
+ function tasks(model) {
129
+ const input = projectPlanAssuranceInput(model.baseDocument);
130
+ return input.tasks.map(({ contract }) => ({
131
+ id: contract.taskId,
132
+ from_milestone_id: contract.fromMilestoneId,
133
+ to_milestone_id: contract.toMilestoneId,
134
+ description: contract.description,
135
+ timing: timingRecord(contract.durationOrEstimate),
136
+ not_before: "notBefore" in contract
137
+ ? contract.notBefore === null ? null : calendarRecord(contract.notBefore)
138
+ : null,
139
+ deadline: contract.deadline === null ? null : calendarRecord(contract.deadline),
140
+ priority: contract.priority,
141
+ requirements: [...contract.requirements]
142
+ .sort((left, right) => compareStableStrings(left.resourceId, right.resourceId))
143
+ .map(({ resourceId, units }) => ({ resource_id: resourceId, units })),
144
+ owner: contract.owner,
145
+ tags: [...contract.tags].sort(compareStableStrings),
146
+ source: contract.source,
147
+ temporal_constraints: temporalBounds(model.base.base.taskBounds, contract.taskId),
148
+ }));
149
+ }
150
+ function gates(declarations) {
151
+ return declarations.filter(({ kind }) => kind === "gate").map((gate) => ({
152
+ id: gate.id,
153
+ from_milestone_id: gate.from,
154
+ to_milestone_id: gate.to,
155
+ reason: stringField(gate, "reason") ?? "",
156
+ }));
157
+ }
158
+ function assuranceRelations(model) {
159
+ const evaluation = evaluatePlanAssurance(projectPlanAssuranceInput(model.baseDocument));
160
+ if (!evaluation.ok)
161
+ throw new Error("validated plan lost effective assurance relations");
162
+ return evaluation.effectiveDependencies.map((relation) => ({
163
+ relation_id: relation.relationId,
164
+ predecessor_task_id: relation.predecessorTaskId,
165
+ successor_task_id: relation.successorTaskId,
166
+ mode: relation.mode,
167
+ explicit: relation.explicit,
168
+ }));
169
+ }
170
+ function planningTiming(duration, estimate) {
171
+ const exact = (value) => ({
172
+ numerator: value.value.numerator.toString(),
173
+ denominator: value.value.denominator.toString(),
174
+ unit: value.unit,
175
+ });
176
+ if (duration !== null)
177
+ return { kind: "duration", value: exact(duration) };
178
+ if (estimate === null)
179
+ return null;
180
+ return {
181
+ kind: "estimate",
182
+ optimistic: exact(estimate.optimistic),
183
+ most_likely: exact(estimate.mostLikely),
184
+ pessimistic: exact(estimate.pessimistic),
185
+ };
186
+ }
187
+ function planningActivity(activity) {
188
+ return {
189
+ id: activity.id,
190
+ from_id: activity.from.id,
191
+ to_id: activity.to.id,
192
+ title: activity.title,
193
+ description: activity.description?.value ?? null,
194
+ timing: planningTiming(activity.duration, activity.estimate),
195
+ priority: activity.priority,
196
+ requirements: [...activity.requirements]
197
+ .sort((left, right) => compareStableStrings(left.resourceId, right.resourceId))
198
+ .map(({ resourceId, units }) => ({ resource_id: resourceId, units })),
199
+ owner: activity.owner,
200
+ tags: [...activity.tags].sort(compareStableStrings),
201
+ source: activity.source,
202
+ calendar_id: activity.calendarId,
203
+ when: activity.when.map((item) => ({
204
+ event: item.event,
205
+ direction: item.direction,
206
+ value: canonicalInstant(item.value),
207
+ })),
208
+ deadline: activity.deadline === null ? null : canonicalPlanningCalendar(activity.deadline.sourceText),
209
+ };
210
+ }
211
+ function planningPool(model) {
212
+ if (model.works.length === 0 &&
213
+ model.events.length === 0 &&
214
+ model.activities.length === 0 &&
215
+ model.windows.length === 0)
216
+ return null;
217
+ return {
218
+ works: model.works.map((work) => ({
219
+ id: work.id,
220
+ title: work.title,
221
+ description: work.description?.value ?? null,
222
+ event_ids: work.events.map(({ id }) => id).sort(compareStableStrings),
223
+ activity_ids: work.activities.map(({ id }) => id).sort(compareStableStrings),
224
+ milestone_link_ids: work.milestoneLinks.map(({ id }) => id).sort(compareStableStrings),
225
+ task_link_ids: work.taskLinks.map(({ id }) => id).sort(compareStableStrings),
226
+ depends_on_ids: work.dependsOn.map(({ id }) => id).sort(compareStableStrings),
227
+ })),
228
+ events: model.events.map((event) => ({
229
+ id: event.id,
230
+ title: event.title,
231
+ description: event.description?.value ?? null,
232
+ tags: [...event.tags].sort(compareStableStrings),
233
+ source: event.source,
234
+ })),
235
+ activities: model.activities.map(planningActivity),
236
+ windows: model.windows.map((window) => ({
237
+ id: window.id,
238
+ title: window.title,
239
+ objective: window.objective,
240
+ start: calendarValue(window.start),
241
+ end: calendarValue(window.end),
242
+ work_ids: window.works.map(({ id }) => id).sort(compareStableStrings),
243
+ })),
244
+ work_order: model.workOrder.map(({ id }) => id),
245
+ };
246
+ }
247
+ export function projectPlanReviewBasis(model) {
248
+ const declarations = model.baseDocument.document.declarations;
249
+ const project = requiredDeclaration(declarations, "project");
250
+ const finish = stringField(project, "finish");
251
+ const durationUnit = stringField(project, "duration_unit");
252
+ if (finish === null || durationUnit === null) {
253
+ throw new Error("validated project lost its planning identity");
254
+ }
255
+ const velocitySource = fieldNamed(project, "velocity")?.rawValue;
256
+ const velocity = velocitySource === undefined
257
+ ? null
258
+ : canonicalizeExactVelocitySourceToken(velocitySource);
259
+ if (velocitySource !== undefined && velocity === null) {
260
+ throw new Error("validated velocity lost canonical form");
261
+ }
262
+ return Object.freeze({
263
+ model_version: PLAN_REVIEW_BASIS_MODEL_VERSION,
264
+ project: Object.freeze({
265
+ id: project.id,
266
+ finish_milestone_id: finish,
267
+ duration_unit: durationUnit,
268
+ velocity,
269
+ target_duration: exactScalar(fieldNamed(project, "target_duration")?.rawValue, null),
270
+ critical_epsilon: exactScalar(fieldNamed(project, "critical_epsilon")?.rawValue, `0${durationUnit === "day" ? "d" : durationUnit === "hour" ? "h" : "p"}`),
271
+ }),
272
+ calendars: Object.freeze(calendars(model.base)),
273
+ resources: Object.freeze(resources(model, declarations)),
274
+ milestones: Object.freeze(milestones(model, declarations)),
275
+ tasks: Object.freeze(tasks(model)),
276
+ gates: Object.freeze(gates(declarations)),
277
+ assurance_relations: Object.freeze(assuranceRelations(model)),
278
+ planning_pool: planningPool(model.base),
279
+ });
280
+ }
281
+ export function canonicalPlanReviewBasisJson(value) {
282
+ return rfc8785Json(value);
283
+ }
284
+ export function digestPlanReviewBasis(value) {
285
+ return sha256DigestUtf8(canonicalPlanReviewBasisJson(value));
286
+ }
287
+ //# sourceMappingURL=basis.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"basis.js","sourceRoot":"","sources":["../../src/plan-review/basis.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,OAAO,EACL,oCAAoC,GAErC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,oCAAoC,EAAE,MAAM,mCAAmC,CAAC;AACzF,OAAO,EAAE,oCAAoC,EAAE,MAAM,mCAAmC,CAAC;AACzF,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EACL,UAAU,GAGX,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzE,OAAO,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AAOnE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,uCAAuC,CAAC;AAOzE,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAU,CAAC;AAC1D,MAAM,CAAC,MAAM,oBAAoB,GAAG,6BAAsC,CAAC;AAqB3E,SAAS,mBAAmB,CAC1B,YAA+D,EAC/D,IAA2B;IAE3B,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC5E,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,EAAE,CAAC,CAAC;IAC9E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAClB,WAAmD,EACnD,IAAY;IAEZ,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC;IACnD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,CAAC,IAAI,IAAI,IAAI,kBAAkB,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CACnB,WAAmD,EACnD,IAAY,EACZ,QAAgB;IAEhB,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,KAAK,IAAI,QAAQ,CAAC;IAC/D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,CAAC,IAAI,IAAI,IAAI,oBAAoB,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,KAAe,CAAC;AACzB,CAAC;AAED,SAAS,WAAW,CAAC,SAA6B,EAAE,QAAuB;IACzE,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC7C,MAAM,KAAK,GAAG,oCAAoC,CAAC,SAAS,CAAC,CAAC;IAC9D,IAAI,KAAK,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IACpF,OAAO,KAAK,CAAC,KAAK,CAAC;AACrB,CAAC;AAED,SAAS,aAAa,CAAC,KAAmC;IACxD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,UAAU,CAAC;IACnD,MAAM,SAAS,GAAG,oCAAoC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACzE,IAAI,SAAS,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACnF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CACrB,MAAmC,EACnC,QAAgB;IAEhB,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC1E,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC;KACrC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,eAAe,CAAC,OAAsC;IAC7D,OAAO,OAAO,CAAC,IAAI,KAAK,yBAAyB;QAC/C,CAAC,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE;QACrC,CAAC,CAAC;YACE,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,OAAO,CAAC,MAAM;YACvB,YAAY,EAAE,OAAO,CAAC,WAAW;YACjC,WAAW,EAAE,OAAO,CAAC,UAAU;YAC/B,aAAa,EAAE,OAAO,CAAC,YAAY,KAAK,IAAI;gBAC1C,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,SAAS,EAAE,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,QAAQ,EAAE;oBACpD,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC,WAAW,CAAC,QAAQ,EAAE;iBACzD;SACN,CAAC;AACR,CAAC;AAED,SAAS,SAAS,CAAC,KAA8B;IAC/C,OAAO,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC7C,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,OAAO,EAAE,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;QAC5C,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACxC,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACpC,YAAY,EAAE,MAAM,CAAC,WAAW;gBAChC,UAAU,EAAE,MAAM,CAAC,SAAS;aAC7B,CAAC,CAAC;SACJ,CAAC,CAAC;QACH,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC7C,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACrC,YAAY,EAAE,MAAM,CAAC,WAAW;gBAChC,UAAU,EAAE,MAAM,CAAC,SAAS;aAC7B,CAAC,CAAC;SACJ,CAAC,CAAC;KACJ,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,SAAS,CAChB,KAA4B,EAC5B,YAA+D;IAE/D,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/F,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC7E,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC/C,OAAO;YACL,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,QAAQ,EAAE,YAAY,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC;YAC/C,WAAW,EAAE,QAAQ,EAAE,UAAU,IAAI,IAAI;YACzC,cAAc,EAAE,QAAQ,EAAE,aAAa,KAAK,IAAI,IAAI,QAAQ,EAAE,aAAa,KAAK,SAAS;gBACvF,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,aAAa,CAAC;YAC5C,eAAe,EAAE,QAAQ,EAAE,cAAc,KAAK,IAAI,IAAI,QAAQ,EAAE,cAAc,KAAK,SAAS;gBAC1F,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,cAAc,CAAC;YAC7C,SAAS,EAAE,CAAC,QAAQ,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBACxD,KAAK,EAAE,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACvC,GAAG,EAAE,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC;gBACnC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;aAC5B,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CACjB,KAA4B,EAC5B,YAA+D;IAE/D,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACjF,EAAE,EAAE,SAAS,CAAC,EAAE;QAChB,QAAQ,EAAE,aAAa,CAAE,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,KAA2C,IAAI,IAAI,CAAC;QAChH,oBAAoB,EAAE,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,SAAS,CAAC,EAAE,CAAC;KACpF,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,KAAK,CAAC,KAA4B;IACzC,MAAM,KAAK,GAAG,yBAAyB,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC5D,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QACxC,EAAE,EAAE,QAAQ,CAAC,MAAM;QACnB,iBAAiB,EAAE,QAAQ,CAAC,eAAe;QAC3C,eAAe,EAAE,QAAQ,CAAC,aAAa;QACvC,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,MAAM,EAAE,YAAY,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QACjD,UAAU,EAAE,WAAW,IAAI,QAAQ;YACjC,CAAC,CAAC,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC;YACzE,CAAC,CAAC,IAAI;QACR,QAAQ,EAAE,QAAQ,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC/E,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,YAAY,EAAE,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC;aACrC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;aAC9E,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QACvE,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC;QACnD,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,oBAAoB,EAAE,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC;KAClF,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,KAAK,CACZ,YAA+D;IAE/D,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACvE,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,iBAAiB,EAAE,IAAI,CAAC,IAAK;QAC7B,eAAe,EAAE,IAAI,CAAC,EAAG;QACzB,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;KAC1C,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,kBAAkB,CAAC,KAA4B;IACtD,MAAM,UAAU,GAAG,qBAAqB,CAAC,yBAAyB,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;IACxF,IAAI,CAAC,UAAU,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACzF,OAAO,UAAU,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACzD,WAAW,EAAE,QAAQ,CAAC,UAAU;QAChC,mBAAmB,EAAE,QAAQ,CAAC,iBAAiB;QAC/C,iBAAiB,EAAE,QAAQ,CAAC,eAAe;QAC3C,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;KAC5B,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,cAAc,CACrB,QAAuC,EACvC,QAAuC;IAEvC,MAAM,KAAK,GAAG,CAAC,KAA6B,EAAE,EAAE,CAAC,CAAC;QAChD,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE;QAC3C,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE;QAC/C,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAC,CAAC;IACH,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC3E,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;QACtC,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;QACvC,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAgC;IACxD,OAAO;QACL,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE;QACzB,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACrB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,KAAK,IAAI,IAAI;QAChD,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC;QAC5D,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,YAAY,EAAE,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC;aACrC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;aAC9E,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QACvE,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC;QACnD,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,WAAW,EAAE,QAAQ,CAAC,UAAU;QAChC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjC,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,KAAK,EAAE,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;SACpC,CAAC,CAAC;QACH,QAAQ,EAAE,QAAQ,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;KACtG,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAA8B;IAClD,IACE,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACxB,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QACzB,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC7B,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAChC,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,IAAI,IAAI;YAC5C,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC;YACrE,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC;YAC5E,kBAAkB,EAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC;YACtF,aAAa,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC;YAC5E,cAAc,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC;SAC9E,CAAC,CAAC;QACH,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACnC,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,IAAI,IAAI;YAC7C,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC;YAChD,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC,CAAC;QACH,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC;QAClD,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACtC,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC;YAClC,GAAG,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC;YAC9B,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC;SACtE,CAAC,CAAC;QACH,UAAU,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAA4B;IACjE,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC;IAC9D,MAAM,OAAO,GAAG,mBAAmB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAC3D,IAAI,MAAM,KAAK,IAAI,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,cAAc,GAAG,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,QAAQ,CAAC;IACjE,MAAM,QAAQ,GAAG,cAAc,KAAK,SAAS;QAC3C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,oCAAoC,CAAC,cAAc,CAAC,CAAC;IACzD,IAAI,cAAc,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,aAAa,EAAE,+BAA+B;QAC9C,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACrB,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,mBAAmB,EAAE,MAAM;YAC3B,aAAa,EAAE,YAAY;YAC3B,QAAQ;YACR,eAAe,EAAE,WAAW,CAAC,UAAU,CAAC,OAAO,EAAE,iBAAiB,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC;YACpF,gBAAgB,EAAE,WAAW,CAC3B,UAAU,CAAC,OAAO,EAAE,kBAAkB,CAAC,EAAE,QAAQ,EACjD,IAAI,YAAY,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CACxE;SACH,CAAC;QACF,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/C,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACxD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC1D,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAClC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACzC,mBAAmB,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAC7D,aAAa,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;KACxC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAwB;IACnE,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAwB;IAC5D,OAAO,gBAAgB,CAAC,4BAA4B,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/D,CAAC"}
@@ -0,0 +1,5 @@
1
+ import type { PlanReviewFormatResult, PlanReviewSourceCapability } from "./source-types.js";
2
+ export declare function formatPlanReviewSource(text: string, capability: PlanReviewSourceCapability, options?: Readonly<{
3
+ maxDiagnostics?: number;
4
+ }>): PlanReviewFormatResult;
5
+ //# sourceMappingURL=format.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"format.d.ts","sourceRoot":"","sources":["../../src/plan-review/format.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EACV,sBAAsB,EACtB,0BAA0B,EAC3B,MAAM,mBAAmB,CAAC;AAgD3B,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,0BAA0B,EACtC,OAAO,GAAE,QAAQ,CAAC;IAAE,cAAc,CAAC,EAAE,MAAM,CAAA;CAAE,CAAM,GAClD,sBAAsB,CAWxB"}
@@ -0,0 +1,54 @@
1
+ // R: Format Plan Review declarations while preserving the surrounding source.
2
+ import { canonicalizeEventDateTimeSourceToken } from "../model/calendar.js";
3
+ import { formatValidatedSource } from "../mutation/validated-source.js";
4
+ import { formatPlanningPoolSource } from "../planning-pool/format.js";
5
+ import { PLANNING_POOL_SOURCE_CAPABILITY } from "../planning-pool/source.js";
6
+ import { parseQuotedString } from "../temporal-schedule/source-values.js";
7
+ import { planReviewBaseText, planReviewFields, scanPlanReviewDeclarationBlocks, } from "./source-lexical.js";
8
+ import { parsePlanReviewSource, PLAN_REVIEW_SOURCE_CAPABILITY, } from "./source.js";
9
+ function lineEdit(line, replacement) {
10
+ return Object.freeze({
11
+ startOffset: line.start,
12
+ endOffset: line.contentEnd,
13
+ replacement,
14
+ });
15
+ }
16
+ function canonicalValue(field) {
17
+ if (["reason", "locator", "resolution_reason"].includes(field.name)) {
18
+ const value = parseQuotedString(field.rawValue);
19
+ return value === null ? null : JSON.stringify(value);
20
+ }
21
+ if (field.name === "created_at" || field.name === "resolved_at") {
22
+ return canonicalizeEventDateTimeSourceToken(field.rawValue);
23
+ }
24
+ return field.rawValue;
25
+ }
26
+ function planReviewOwnedEdits(text) {
27
+ const edits = [];
28
+ for (const block of scanPlanReviewDeclarationBlocks(text)) {
29
+ for (const field of planReviewFields(block)) {
30
+ const value = canonicalValue(field);
31
+ const replacement = value === null ? null : ` ${field.name} ${value}`;
32
+ if (replacement !== null && replacement !== field.line.text) {
33
+ edits.push(lineEdit(field.line, replacement));
34
+ }
35
+ }
36
+ }
37
+ return Object.freeze(edits);
38
+ }
39
+ function lowerOwnedEdits(text) {
40
+ const blocks = scanPlanReviewDeclarationBlocks(text);
41
+ const lowerText = planReviewBaseText(text, blocks);
42
+ const formatted = formatPlanningPoolSource(lowerText, PLANNING_POOL_SOURCE_CAPABILITY);
43
+ if (!formatted.ok) {
44
+ throw new Error("validated Grammar 10 base failed Grammar 9 formatting");
45
+ }
46
+ return formatted.edits;
47
+ }
48
+ export function formatPlanReviewSource(text, capability, options = {}) {
49
+ if (capability !== PLAN_REVIEW_SOURCE_CAPABILITY) {
50
+ throw new TypeError("the target Grammar 10 Plan Review source capability is required");
51
+ }
52
+ return formatValidatedSource(text, (candidate) => parsePlanReviewSource(candidate, capability, options), () => [...lowerOwnedEdits(text), ...planReviewOwnedEdits(text)], "Grammar 10 Plan Review formatter", "Grammar 10 Plan Review formatter produced an invalid candidate");
53
+ }
54
+ //# sourceMappingURL=format.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"format.js","sourceRoot":"","sources":["../../src/plan-review/format.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,OAAO,EAAE,oCAAoC,EAAE,MAAM,sBAAsB,CAAC;AAE5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,MAAM,4BAA4B,CAAC;AAE7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,+BAA+B,GAEhC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,6BAA6B,GAC9B,MAAM,aAAa,CAAC;AAMrB,SAAS,QAAQ,CAAC,IAAwB,EAAE,WAAmB;IAC7D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,WAAW,EAAE,IAAI,CAAC,KAAK;QACvB,SAAS,EAAE,IAAI,CAAC,UAAU;QAC1B,WAAW;KACZ,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,KAA2B;IACjD,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,mBAAmB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpE,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChD,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChE,OAAO,oCAAoC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,KAAK,CAAC,QAAQ,CAAC;AACxB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5C,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,WAAW,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,EAAE,CAAC;YACvE,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5D,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,MAAM,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,wBAAwB,CACxC,SAAS,EACT,+BAA+B,CAChC,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,SAAS,CAAC,KAAK,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAY,EACZ,UAAsC,EACtC,OAAO,GAA0C,EAAE;IAEnD,IAAI,UAAU,KAAK,6BAA6B,EAAE,CAAC;QACjD,MAAM,IAAI,SAAS,CAAC,iEAAiE,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,qBAAqB,CAC1B,IAAI,EACJ,CAAC,SAAS,EAAE,EAAE,CAAC,qBAAqB,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC,EACpE,GAAG,EAAE,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,EAC/D,kCAAkC,EAClC,gEAAgE,CACjE,CAAC;AACJ,CAAC"}
@@ -0,0 +1,11 @@
1
+ import type { Diagnostic } from "../model/diagnostics.js";
2
+ export interface PlanReviewLifecycleAssessment {
3
+ readonly ok: boolean;
4
+ readonly removedTaskIds: readonly string[];
5
+ readonly removedRequestIds: readonly string[];
6
+ readonly blockingRequestIds: readonly string[];
7
+ readonly diagnostics: readonly Diagnostic[];
8
+ }
9
+ /** Inspect a complete final candidate. The caller must also validate its full Grammar 10 source. */
10
+ export declare function assessPlanReviewTaskLifecycle(inputText: string, candidateText: string, mode: "ordinary" | "advance"): PlanReviewLifecycleAssessment;
11
+ //# sourceMappingURL=lifecycle.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"lifecycle.d.ts","sourceRoot":"","sources":["../../src/plan-review/lifecycle.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAa1D,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAiDD,oGAAoG;AACpG,wBAAgB,6BAA6B,CAC3C,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,UAAU,GAAG,SAAS,GAC3B,6BAA6B,CA2C/B"}
@@ -0,0 +1,80 @@
1
+ import { scanTemporalDeclarationBlocks } from "../temporal-schedule/source-lexical.js";
2
+ import { planReviewFields, scanPlanReviewDeclarationBlocks, } from "./source-lexical.js";
3
+ import { parsePlanReviewSource, PLAN_REVIEW_SOURCE_CAPABILITY, } from "./source.js";
4
+ function declarationBytes(text, block) {
5
+ return text.slice(block.header.start, block.lines.at(-1)?.end ?? block.header.end);
6
+ }
7
+ function outcome(block) {
8
+ return planReviewFields(block).find(({ name }) => name === "outcome")?.rawValue ?? null;
9
+ }
10
+ function taskIds(text) {
11
+ return new Set(scanTemporalDeclarationBlocks(text)
12
+ .filter(({ kind }) => kind === "task").map(({ id }) => id));
13
+ }
14
+ function error(ids, message) {
15
+ return Object.freeze({
16
+ code: "PTREV-108",
17
+ severity: "error",
18
+ message,
19
+ helpTopic: "editing",
20
+ data: Object.freeze({ request_ids: Object.freeze([...ids]) }),
21
+ });
22
+ }
23
+ function inspectRequest(input) {
24
+ const { request, candidateBlock, removedTasks, mode } = input;
25
+ if (candidateBlock === undefined) {
26
+ return mode === "advance" && request.outcome !== null &&
27
+ removedTasks.has(request.taskId) ? "removed" : "blocked";
28
+ }
29
+ if (request.outcome === null && removedTasks.has(request.taskId) &&
30
+ outcome(candidateBlock) !== "plan_changed")
31
+ return "blocked";
32
+ if (mode === "ordinary" && request.outcome !== null &&
33
+ declarationBytes(input.inputText, input.inputBlock) !==
34
+ declarationBytes(input.candidateText, candidateBlock))
35
+ return "altered";
36
+ return "retained";
37
+ }
38
+ /** Inspect a complete final candidate. The caller must also validate its full Grammar 10 source. */
39
+ export function assessPlanReviewTaskLifecycle(inputText, candidateText, mode) {
40
+ const input = parsePlanReviewSource(inputText, PLAN_REVIEW_SOURCE_CAPABILITY);
41
+ if (!input.ok || input.model === null) {
42
+ throw new TypeError("a valid Grammar 10 Plan Review input is required");
43
+ }
44
+ const currentTasks = taskIds(candidateText);
45
+ const removedTaskIds = [...taskIds(inputText)].filter((id) => !currentTasks.has(id));
46
+ const removedTasks = new Set(removedTaskIds);
47
+ const inputBlocks = new Map(scanPlanReviewDeclarationBlocks(inputText)
48
+ .map((block) => [block.id, block]));
49
+ const candidateBlocks = new Map(scanPlanReviewDeclarationBlocks(candidateText)
50
+ .map((block) => [block.id, block]));
51
+ const removedRequestIds = [];
52
+ const blockingRequestIds = [];
53
+ const alteredResolvedIds = [];
54
+ for (const request of input.model.requests) {
55
+ const state = inspectRequest({
56
+ request, inputText, candidateText,
57
+ inputBlock: inputBlocks.get(request.id),
58
+ candidateBlock: candidateBlocks.get(request.id), removedTasks, mode,
59
+ });
60
+ if (state === "removed")
61
+ removedRequestIds.push(request.id);
62
+ if (state === "blocked")
63
+ blockingRequestIds.push(request.id);
64
+ if (state === "altered")
65
+ alteredResolvedIds.push(request.id);
66
+ }
67
+ const diagnostics = [];
68
+ if (blockingRequestIds.length > 0)
69
+ diagnostics.push(error(blockingRequestIds, `Task removal or request deletion would orphan Plan Review request(s): ${blockingRequestIds.join(", ")}`));
70
+ if (alteredResolvedIds.length > 0)
71
+ diagnostics.push(error(alteredResolvedIds, `Ordinary mutation changed resolved Plan Review declaration(s): ${alteredResolvedIds.join(", ")}`));
72
+ return Object.freeze({
73
+ ok: diagnostics.length === 0,
74
+ removedTaskIds: Object.freeze(removedTaskIds),
75
+ removedRequestIds: Object.freeze(removedRequestIds),
76
+ blockingRequestIds: Object.freeze(blockingRequestIds),
77
+ diagnostics: Object.freeze(diagnostics),
78
+ });
79
+ }
80
+ //# sourceMappingURL=lifecycle.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../src/plan-review/lifecycle.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,6BAA6B,EAAE,MAAM,wCAAwC,CAAC;AACvF,OAAO,EACL,gBAAgB,EAChB,+BAA+B,GAEhC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,6BAA6B,GAC9B,MAAM,aAAa,CAAC;AAWrB,SAAS,gBAAgB,CAAC,IAAY,EAAE,KAAiC;IACvE,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,OAAO,CAAC,KAAiC;IAChD,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,QAAQ,IAAI,IAAI,CAAC;AAC1F,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI,GAAG,CAAC,6BAA6B,CAAC,IAAI,CAAC;SAC/C,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,KAAK,CAAC,GAAsB,EAAE,OAAe;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE,OAAgB;QAC1B,OAAO;QACP,SAAS,EAAE,SAAS;QACpB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC,CAAC;AACL,CAAC;AAYD,SAAS,cAAc,CAAC,KAAwB;IAC9C,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IAC9D,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI;YACnD,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7D,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC;QAC5D,OAAO,CAAC,cAAc,CAAC,KAAK,cAAc;QAAE,OAAO,SAAS,CAAC;IACjE,IAAI,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI;QAC/C,gBAAgB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC;YACnD,gBAAgB,CAAC,KAAK,CAAC,aAAa,EAAE,cAAc,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5E,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,6BAA6B,CAC3C,SAAiB,EACjB,aAAqB,EACrB,IAA4B;IAE5B,MAAM,KAAK,GAAG,qBAAqB,CAAC,SAAS,EAAE,6BAA6B,CAAC,CAAC;IAC9E,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACtC,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC5C,MAAM,cAAc,GAAG,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACrF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,+BAA+B,CAAC,SAAS,CAAC;SACnE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,+BAA+B,CAAC,aAAa,CAAC;SAC3E,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,MAAM,kBAAkB,GAAa,EAAE,CAAC;IAExC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,cAAc,CAAC;YAC3B,OAAO,EAAE,SAAS,EAAE,aAAa;YACjC,UAAU,EAAE,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAE;YACxC,cAAc,EAAE,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,YAAY,EAAE,IAAI;SACpE,CAAC,CAAC;QACH,IAAI,KAAK,KAAK,SAAS;YAAE,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAI,KAAK,KAAK,SAAS;YAAE,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7D,IAAI,KAAK,KAAK,SAAS;YAAE,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CACvD,kBAAkB,EAClB,yEAAyE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACzG,CAAC,CAAC;IACH,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CACvD,kBAAkB,EAClB,kEAAkE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAClG,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC;QAC5B,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;QAC7C,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC;QACnD,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC;QACrD,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;KACxC,CAAC,CAAC;AACL,CAAC"}