@neurcode-ai/cli 0.14.0 → 0.15.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.
Files changed (188) hide show
  1. package/README.md +60 -8
  2. package/dist/api-client.d.ts +284 -0
  3. package/dist/api-client.d.ts.map +1 -1
  4. package/dist/api-client.js +111 -0
  5. package/dist/api-client.js.map +1 -1
  6. package/dist/commands/activate.d.ts +82 -0
  7. package/dist/commands/activate.d.ts.map +1 -0
  8. package/dist/commands/activate.js +551 -0
  9. package/dist/commands/activate.js.map +1 -0
  10. package/dist/commands/admission.d.ts +67 -0
  11. package/dist/commands/admission.d.ts.map +1 -0
  12. package/dist/commands/admission.js +350 -0
  13. package/dist/commands/admission.js.map +1 -0
  14. package/dist/commands/agent.d.ts +3 -0
  15. package/dist/commands/agent.d.ts.map +1 -0
  16. package/dist/commands/agent.js +2045 -0
  17. package/dist/commands/agent.js.map +1 -0
  18. package/dist/commands/demo.d.ts +3 -0
  19. package/dist/commands/demo.d.ts.map +1 -0
  20. package/dist/commands/demo.js +102 -0
  21. package/dist/commands/demo.js.map +1 -0
  22. package/dist/commands/init.d.ts.map +1 -1
  23. package/dist/commands/init.js +58 -44
  24. package/dist/commands/init.js.map +1 -1
  25. package/dist/commands/login.d.ts +1 -1
  26. package/dist/commands/login.d.ts.map +1 -1
  27. package/dist/commands/login.js +44 -22
  28. package/dist/commands/login.js.map +1 -1
  29. package/dist/commands/profile.d.ts +14 -0
  30. package/dist/commands/profile.d.ts.map +1 -0
  31. package/dist/commands/profile.js +118 -0
  32. package/dist/commands/profile.js.map +1 -0
  33. package/dist/commands/quickstart.d.ts +2 -2
  34. package/dist/commands/quickstart.d.ts.map +1 -1
  35. package/dist/commands/quickstart.js +31 -30
  36. package/dist/commands/quickstart.js.map +1 -1
  37. package/dist/commands/remediate-export.d.ts +6 -1
  38. package/dist/commands/remediate-export.d.ts.map +1 -1
  39. package/dist/commands/remediate-export.js +359 -7
  40. package/dist/commands/remediate-export.js.map +1 -1
  41. package/dist/commands/replay.d.ts.map +1 -1
  42. package/dist/commands/replay.js +84 -0
  43. package/dist/commands/replay.js.map +1 -1
  44. package/dist/commands/run.d.ts +3 -0
  45. package/dist/commands/run.d.ts.map +1 -0
  46. package/dist/commands/run.js +98 -0
  47. package/dist/commands/run.js.map +1 -0
  48. package/dist/commands/runtime-adapter.d.ts +8 -0
  49. package/dist/commands/runtime-adapter.d.ts.map +1 -0
  50. package/dist/commands/runtime-adapter.js +375 -0
  51. package/dist/commands/runtime-adapter.js.map +1 -0
  52. package/dist/commands/runtime-doctor.d.ts +6 -0
  53. package/dist/commands/runtime-doctor.d.ts.map +1 -0
  54. package/dist/commands/runtime-doctor.js +478 -0
  55. package/dist/commands/runtime-doctor.js.map +1 -0
  56. package/dist/commands/runtime-report.d.ts +13 -0
  57. package/dist/commands/runtime-report.d.ts.map +1 -0
  58. package/dist/commands/runtime-report.js +81 -0
  59. package/dist/commands/runtime-report.js.map +1 -0
  60. package/dist/commands/runtime-sync.d.ts +17 -0
  61. package/dist/commands/runtime-sync.d.ts.map +1 -0
  62. package/dist/commands/runtime-sync.js +656 -0
  63. package/dist/commands/runtime-sync.js.map +1 -0
  64. package/dist/commands/runtime.d.ts +16 -0
  65. package/dist/commands/runtime.d.ts.map +1 -0
  66. package/dist/commands/runtime.js +380 -0
  67. package/dist/commands/runtime.js.map +1 -0
  68. package/dist/commands/session-hook.d.ts +35 -0
  69. package/dist/commands/session-hook.d.ts.map +1 -0
  70. package/dist/commands/session-hook.js +1297 -0
  71. package/dist/commands/session-hook.js.map +1 -0
  72. package/dist/commands/session.d.ts +91 -0
  73. package/dist/commands/session.d.ts.map +1 -1
  74. package/dist/commands/session.js +1226 -0
  75. package/dist/commands/session.js.map +1 -1
  76. package/dist/commands/whoami.d.ts +7 -4
  77. package/dist/commands/whoami.d.ts.map +1 -1
  78. package/dist/commands/whoami.js +59 -34
  79. package/dist/commands/whoami.js.map +1 -1
  80. package/dist/config.d.ts.map +1 -1
  81. package/dist/config.js +24 -5
  82. package/dist/config.js.map +1 -1
  83. package/dist/daemon/routes.d.ts.map +1 -1
  84. package/dist/daemon/routes.js +8 -0
  85. package/dist/daemon/routes.js.map +1 -1
  86. package/dist/daemon/server.d.ts.map +1 -1
  87. package/dist/daemon/server.js +88 -0
  88. package/dist/daemon/server.js.map +1 -1
  89. package/dist/governance/impact-analysis.d.ts +27 -0
  90. package/dist/governance/impact-analysis.d.ts.map +1 -0
  91. package/dist/governance/impact-analysis.js +274 -0
  92. package/dist/governance/impact-analysis.js.map +1 -0
  93. package/dist/index.js +472 -29
  94. package/dist/index.js.map +1 -1
  95. package/dist/intent-engine/matcher.d.ts.map +1 -1
  96. package/dist/intent-engine/matcher.js +3 -12
  97. package/dist/intent-engine/matcher.js.map +1 -1
  98. package/dist/utils/admission-artifact.d.ts +59 -0
  99. package/dist/utils/admission-artifact.d.ts.map +1 -0
  100. package/dist/utils/admission-artifact.js +410 -0
  101. package/dist/utils/admission-artifact.js.map +1 -0
  102. package/dist/utils/agent-adapter-setup.d.ts +80 -0
  103. package/dist/utils/agent-adapter-setup.d.ts.map +1 -0
  104. package/dist/utils/agent-adapter-setup.js +577 -0
  105. package/dist/utils/agent-adapter-setup.js.map +1 -0
  106. package/dist/utils/agent-guard-supervisor.d.ts +75 -0
  107. package/dist/utils/agent-guard-supervisor.d.ts.map +1 -0
  108. package/dist/utils/agent-guard-supervisor.js +388 -0
  109. package/dist/utils/agent-guard-supervisor.js.map +1 -0
  110. package/dist/utils/agent-guard.d.ts +92 -0
  111. package/dist/utils/agent-guard.d.ts.map +1 -0
  112. package/dist/utils/agent-guard.js +326 -0
  113. package/dist/utils/agent-guard.js.map +1 -0
  114. package/dist/utils/agent-session-launcher.d.ts +89 -0
  115. package/dist/utils/agent-session-launcher.d.ts.map +1 -0
  116. package/dist/utils/agent-session-launcher.js +308 -0
  117. package/dist/utils/agent-session-launcher.js.map +1 -0
  118. package/dist/utils/bash-command-analysis.d.ts +19 -0
  119. package/dist/utils/bash-command-analysis.d.ts.map +1 -0
  120. package/dist/utils/bash-command-analysis.js +295 -0
  121. package/dist/utils/bash-command-analysis.js.map +1 -0
  122. package/dist/utils/consequence-nudges.d.ts +30 -0
  123. package/dist/utils/consequence-nudges.d.ts.map +1 -0
  124. package/dist/utils/consequence-nudges.js +313 -0
  125. package/dist/utils/consequence-nudges.js.map +1 -0
  126. package/dist/utils/drift-intelligence.d.ts.map +1 -1
  127. package/dist/utils/drift-intelligence.js +29 -7
  128. package/dist/utils/drift-intelligence.js.map +1 -1
  129. package/dist/utils/git-coverage.d.ts +57 -0
  130. package/dist/utils/git-coverage.d.ts.map +1 -0
  131. package/dist/utils/git-coverage.js +302 -0
  132. package/dist/utils/git-coverage.js.map +1 -0
  133. package/dist/utils/gitignore.d.ts.map +1 -1
  134. package/dist/utils/gitignore.js +2 -1
  135. package/dist/utils/gitignore.js.map +1 -1
  136. package/dist/utils/governed-intent.d.ts +10 -0
  137. package/dist/utils/governed-intent.d.ts.map +1 -0
  138. package/dist/utils/governed-intent.js +108 -0
  139. package/dist/utils/governed-intent.js.map +1 -0
  140. package/dist/utils/hook-heartbeat.d.ts +55 -0
  141. package/dist/utils/hook-heartbeat.d.ts.map +1 -0
  142. package/dist/utils/hook-heartbeat.js +116 -0
  143. package/dist/utils/hook-heartbeat.js.map +1 -0
  144. package/dist/utils/intent-continuity.d.ts +21 -0
  145. package/dist/utils/intent-continuity.d.ts.map +1 -0
  146. package/dist/utils/intent-continuity.js +192 -0
  147. package/dist/utils/intent-continuity.js.map +1 -0
  148. package/dist/utils/messages.d.ts +1 -1
  149. package/dist/utils/messages.d.ts.map +1 -1
  150. package/dist/utils/messages.js +24 -21
  151. package/dist/utils/messages.js.map +1 -1
  152. package/dist/utils/runtime-companion.d.ts +137 -0
  153. package/dist/utils/runtime-companion.d.ts.map +1 -0
  154. package/dist/utils/runtime-companion.js +231 -0
  155. package/dist/utils/runtime-companion.js.map +1 -0
  156. package/dist/utils/runtime-connection.d.ts +46 -0
  157. package/dist/utils/runtime-connection.d.ts.map +1 -0
  158. package/dist/utils/runtime-connection.js +148 -0
  159. package/dist/utils/runtime-connection.js.map +1 -0
  160. package/dist/utils/runtime-evidence.d.ts +68 -0
  161. package/dist/utils/runtime-evidence.d.ts.map +1 -0
  162. package/dist/utils/runtime-evidence.js +248 -0
  163. package/dist/utils/runtime-evidence.js.map +1 -0
  164. package/dist/utils/runtime-live.d.ts +33 -0
  165. package/dist/utils/runtime-live.d.ts.map +1 -0
  166. package/dist/utils/runtime-live.js +361 -0
  167. package/dist/utils/runtime-live.js.map +1 -0
  168. package/dist/utils/runtime-outbox.d.ts +76 -0
  169. package/dist/utils/runtime-outbox.d.ts.map +1 -0
  170. package/dist/utils/runtime-outbox.js +410 -0
  171. package/dist/utils/runtime-outbox.js.map +1 -0
  172. package/dist/utils/runtime-receipt.d.ts +50 -0
  173. package/dist/utils/runtime-receipt.d.ts.map +1 -0
  174. package/dist/utils/runtime-receipt.js +223 -0
  175. package/dist/utils/runtime-receipt.js.map +1 -0
  176. package/dist/utils/state.d.ts +21 -0
  177. package/dist/utils/state.d.ts.map +1 -1
  178. package/dist/utils/state.js +30 -0
  179. package/dist/utils/state.js.map +1 -1
  180. package/dist/utils/structural-understanding.d.ts +334 -0
  181. package/dist/utils/structural-understanding.d.ts.map +1 -0
  182. package/dist/utils/structural-understanding.js +2316 -0
  183. package/dist/utils/structural-understanding.js.map +1 -0
  184. package/dist/utils/v0-governance.d.ts +197 -0
  185. package/dist/utils/v0-governance.d.ts.map +1 -0
  186. package/dist/utils/v0-governance.js +904 -0
  187. package/dist/utils/v0-governance.js.map +1 -0
  188. package/package.json +5 -5
@@ -0,0 +1,30 @@
1
+ import type { ConsequenceImpactGroup, ConsequenceTopFinding, StructuralUnderstandingArtifact } from './structural-understanding';
2
+ export interface InFlowConsequenceNudge {
3
+ nudgeVersion: 'v1' | 'v2' | 'v3';
4
+ nudgeKey: string;
5
+ severity: 'high' | 'medium';
6
+ headline: string;
7
+ consequenceClass: 'escapes-diff' | 'unchanged-consumers' | 'changed-consumers' | 'runtime-sensitive' | 'test-only' | 'external-callers';
8
+ operatorAction: string;
9
+ reviewFocus: string[];
10
+ impact: ConsequenceImpactGroup | null;
11
+ finding: ConsequenceTopFinding;
12
+ surfacedImpacts: ConsequenceImpactGroup[];
13
+ surfacedFindings: ConsequenceTopFinding[];
14
+ artifactHash: string;
15
+ provenance: 'deterministic-static';
16
+ }
17
+ export declare function consequenceNudgesEnabled(env?: NodeJS.ProcessEnv): boolean;
18
+ export declare function selectInFlowConsequenceNudges(artifact: StructuralUnderstandingArtifact, options?: {
19
+ max?: number;
20
+ }): InFlowConsequenceNudge[];
21
+ export declare function isHighTrustInFlowFinding(finding: ConsequenceTopFinding): boolean;
22
+ export declare function isHighTrustInFlowImpact(impact: ConsequenceImpactGroup): boolean;
23
+ export declare function formatInFlowImpactNudge(impact: ConsequenceImpactGroup): string;
24
+ export declare function formatInFlowConsequenceNudge(finding: ConsequenceTopFinding): string;
25
+ export declare function impactConsequenceClass(impact: ConsequenceImpactGroup): InFlowConsequenceNudge['consequenceClass'];
26
+ export declare function impactOperatorAction(impact: ConsequenceImpactGroup): string;
27
+ export declare function impactReviewFocus(impact: ConsequenceImpactGroup): string[];
28
+ export declare function impactNudgeKey(artifactHash: string, impact: ConsequenceImpactGroup): string;
29
+ export declare function nudgeKey(artifactHash: string, finding: ConsequenceTopFinding): string;
30
+ //# sourceMappingURL=consequence-nudges.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"consequence-nudges.d.ts","sourceRoot":"","sources":["../../src/utils/consequence-nudges.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,sBAAsB,EACtB,qBAAqB,EACrB,+BAA+B,EAChC,MAAM,4BAA4B,CAAC;AAEpC,MAAM,WAAW,sBAAsB;IACrC,YAAY,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,GAAG,QAAQ,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB,EACZ,cAAc,GACd,qBAAqB,GACrB,mBAAmB,GACnB,mBAAmB,GACnB,WAAW,GACX,kBAAkB,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,MAAM,EAAE,sBAAsB,GAAG,IAAI,CAAC;IACtC,OAAO,EAAE,qBAAqB,CAAC;IAC/B,eAAe,EAAE,sBAAsB,EAAE,CAAC;IAC1C,gBAAgB,EAAE,qBAAqB,EAAE,CAAC;IAC1C,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,sBAAsB,CAAC;CACpC;AAED,wBAAgB,wBAAwB,CAAC,GAAG,GAAE,MAAM,CAAC,UAAwB,GAAG,OAAO,CAMtF;AAeD,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,+BAA+B,EACzC,OAAO,GAAE;IAAE,GAAG,CAAC,EAAE,MAAM,CAAA;CAAO,GAC7B,sBAAsB,EAAE,CAyD1B;AAED,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAUhF;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,sBAAsB,GAAG,OAAO,CAsB/E;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,sBAAsB,GAAG,MAAM,CAiC9E;AAED,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,qBAAqB,GAAG,MAAM,CA0BnF;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,sBAAsB,GAAG,sBAAsB,CAAC,kBAAkB,CAAC,CAOjH;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,sBAAsB,GAAG,MAAM,CAiB3E;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,sBAAsB,GAAG,MAAM,EAAE,CAS1E;AAqDD,wBAAgB,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,sBAAsB,GAAG,MAAM,CAY3F;AAED,wBAAgB,QAAQ,CAAC,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,qBAAqB,GAAG,MAAM,CAWrF"}
@@ -0,0 +1,313 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.consequenceNudgesEnabled = consequenceNudgesEnabled;
4
+ exports.selectInFlowConsequenceNudges = selectInFlowConsequenceNudges;
5
+ exports.isHighTrustInFlowFinding = isHighTrustInFlowFinding;
6
+ exports.isHighTrustInFlowImpact = isHighTrustInFlowImpact;
7
+ exports.formatInFlowImpactNudge = formatInFlowImpactNudge;
8
+ exports.formatInFlowConsequenceNudge = formatInFlowConsequenceNudge;
9
+ exports.impactConsequenceClass = impactConsequenceClass;
10
+ exports.impactOperatorAction = impactOperatorAction;
11
+ exports.impactReviewFocus = impactReviewFocus;
12
+ exports.impactNudgeKey = impactNudgeKey;
13
+ exports.nudgeKey = nudgeKey;
14
+ const node_crypto_1 = require("node:crypto");
15
+ function consequenceNudgesEnabled(env = process.env) {
16
+ const hardDisable = env.NEURCODE_DISABLE_CONSEQUENCE_NUDGES;
17
+ if (hardDisable && isEnabledValue(hardDisable))
18
+ return false;
19
+ const flag = env.NEURCODE_CONSEQUENCE_NUDGES;
20
+ if (!flag)
21
+ return true;
22
+ return !isDisabledValue(flag);
23
+ }
24
+ function isEnabledValue(value) {
25
+ const normalized = value.trim().toLowerCase();
26
+ return normalized === '1' || normalized === 'true' || normalized === 'yes' || normalized === 'on';
27
+ }
28
+ function isDisabledValue(value) {
29
+ const normalized = value.trim().toLowerCase();
30
+ return normalized === 'off' ||
31
+ normalized === 'disabled' ||
32
+ normalized === '0' ||
33
+ normalized === 'false';
34
+ }
35
+ function selectInFlowConsequenceNudges(artifact, options = {}) {
36
+ const max = Number.isFinite(options.max) && options.max > 0 ? Math.floor(options.max) : 3;
37
+ const consequence = artifact.consequenceUnderstanding;
38
+ if (!consequence?.analyzed)
39
+ return [];
40
+ const selectedImpacts = consequence.topImpacts
41
+ .filter(isHighTrustInFlowImpact)
42
+ .slice(0, max);
43
+ if (selectedImpacts.length > 0) {
44
+ const nudges = [];
45
+ for (const impact of selectedImpacts) {
46
+ const supportingFindings = consequence.topFindings
47
+ .filter((finding) => impact.findingRanks.includes(finding.rank))
48
+ .slice(0, 8);
49
+ const finding = supportingFindings[0] ?? consequence.topFindings
50
+ .find((candidate) => candidate.file === impact.file && candidate.symbol === impact.symbol);
51
+ if (!finding)
52
+ continue;
53
+ nudges.push({
54
+ nudgeVersion: 'v3',
55
+ nudgeKey: impactNudgeKey(artifact.artifactHash, impact),
56
+ severity: impactNudgeSeverity(impact),
57
+ headline: formatInFlowImpactNudge(impact),
58
+ consequenceClass: impactConsequenceClass(impact),
59
+ operatorAction: impactOperatorAction(impact),
60
+ reviewFocus: impactReviewFocus(impact),
61
+ impact,
62
+ finding,
63
+ surfacedImpacts: selectedImpacts,
64
+ surfacedFindings: supportingFindings.length > 0 ? supportingFindings : [finding],
65
+ artifactHash: artifact.artifactHash,
66
+ provenance: 'deterministic-static',
67
+ });
68
+ }
69
+ return nudges;
70
+ }
71
+ const selected = consequence.topFindings
72
+ .filter(isHighTrustInFlowFinding)
73
+ .slice(0, max);
74
+ return selected
75
+ .map((finding) => ({
76
+ nudgeVersion: 'v1',
77
+ nudgeKey: nudgeKey(artifact.artifactHash, finding),
78
+ severity: finding.findingType === 'effect-delta' ? 'high' : 'medium',
79
+ headline: formatInFlowConsequenceNudge(finding),
80
+ consequenceClass: findingConsequenceClass(finding),
81
+ operatorAction: findingOperatorAction(finding),
82
+ reviewFocus: findingReviewFocus(finding),
83
+ impact: null,
84
+ finding,
85
+ surfacedImpacts: [],
86
+ surfacedFindings: selected,
87
+ artifactHash: artifact.artifactHash,
88
+ provenance: 'deterministic-static',
89
+ }));
90
+ }
91
+ function isHighTrustInFlowFinding(finding) {
92
+ if (finding.externalConsumerCount <= 0)
93
+ return false;
94
+ if (!finding.reasonCodes.includes('external_consumers'))
95
+ return false;
96
+ if (finding.findingType === 'effect-delta') {
97
+ return finding.reasonCodes.includes('effect_added') || finding.reasonCodes.includes('effect_removed');
98
+ }
99
+ if (finding.findingType === 'contract-delta') {
100
+ return finding.reasonCodes.includes('breaking_contract_shape');
101
+ }
102
+ return false;
103
+ }
104
+ function isHighTrustInFlowImpact(impact) {
105
+ if (impact.externalProductionConsumerCount <= 0 && impact.reachableProductionConsumerCount <= 0)
106
+ return false;
107
+ if (!impact.reasonCodes.includes('external_consumers') &&
108
+ !impact.reasonCodes.includes('reachable_production_consumers'))
109
+ return false;
110
+ const isRuntimeEffect = impact.findingTypes.includes('effect-delta') &&
111
+ (impact.reasonCodes.includes('effect_added') || impact.reasonCodes.includes('effect_removed'));
112
+ const isBreakingContract = impact.findingTypes.includes('contract-delta') &&
113
+ impact.reasonCodes.includes('breaking_contract_shape');
114
+ if (!isRuntimeEffect && !isBreakingContract)
115
+ return false;
116
+ return (impact.externalProductionConsumerCount > 0 ||
117
+ impact.runtimeGovernanceConsumerCount > 0 ||
118
+ impact.approvalRequiredConsumerCount > 0 ||
119
+ impact.sensitiveConsumerCount > 0 ||
120
+ impact.highFanout ||
121
+ impact.architectureRelevant ||
122
+ impact.reachableProductionConsumerCount >= 2);
123
+ }
124
+ function formatInFlowImpactNudge(impact) {
125
+ const focus = impactReviewFocus(impact);
126
+ const production = focus.slice(0, 3).join(', ');
127
+ const hidden = focus.length > 3
128
+ ? `, +${focus.length - 3} more`
129
+ : '';
130
+ const kinds = impact.findingTypes.includes('effect-delta') && impact.findingTypes.includes('contract-delta')
131
+ ? 'runtime effect and externally consumed contract'
132
+ : impact.findingTypes.includes('effect-delta')
133
+ ? 'runtime effect'
134
+ : 'externally consumed contract';
135
+ const reachText = impact.externalProductionConsumerCount > 0
136
+ ? `${impact.externalProductionConsumerCount} external production consumer file${impact.externalProductionConsumerCount === 1 ? '' : 's'} outside this diff`
137
+ : `${impact.reachableProductionConsumerCount} production consumer file${impact.reachableProductionConsumerCount === 1 ? '' : 's'} inside this change`;
138
+ const changed = impact.changedProductionConsumerCount > 0
139
+ ? ` ${impact.changedProductionConsumerCount} consumer file${impact.changedProductionConsumerCount === 1 ? '' : 's'} also changed.`
140
+ : '';
141
+ const tests = ` tests: ${impact.testConsumerCount}`;
142
+ const sensitive = impact.sensitiveConsumerCount > 0 ||
143
+ impact.runtimeGovernanceConsumerCount > 0 ||
144
+ impact.approvalRequiredConsumerCount > 0
145
+ ? ` sensitive/runtime/approval consumers: ${impact.sensitiveConsumerCount}/${impact.runtimeGovernanceConsumerCount}/${impact.approvalRequiredConsumerCount}.`
146
+ : '';
147
+ const architecture = impact.highFanout
148
+ ? ' High-fanout.'
149
+ : impact.architectureRelevant
150
+ ? ' Architecture-relevant.'
151
+ : '';
152
+ return (`Neurcode impact: ${impact.file}#${impact.symbol} changed a ${kinds} ` +
153
+ `and reaches ${reachText}: ${production || 'none'}${hidden}. ` +
154
+ `${impactOperatorAction(impact)}.${changed}${tests}.${sensitive}${architecture}`);
155
+ }
156
+ function formatInFlowConsequenceNudge(finding) {
157
+ const summary = finding.consumerSummary;
158
+ const production = (summary?.productionFiles ?? finding.externalConsumerFiles).slice(0, 3).join(', ');
159
+ const hidden = (summary?.productionFiles ?? finding.externalConsumerFiles).length > 3
160
+ ? `, +${(summary?.productionFiles ?? finding.externalConsumerFiles).length - 3} more`
161
+ : '';
162
+ const tests = summary?.testConsumerCount
163
+ ? ` tests: ${summary.testConsumerCount}`
164
+ : ' tests: 0';
165
+ const sensitive = summary && (summary.sensitiveConsumerCount > 0 || summary.approvalRequiredConsumerCount > 0 || summary.runtimeGovernanceConsumerCount > 0)
166
+ ? ` sensitive/runtime/approval consumers: ${summary.sensitiveConsumerCount}/${summary.runtimeGovernanceConsumerCount}/${summary.approvalRequiredConsumerCount}.`
167
+ : '';
168
+ const architecture = summary?.highFanout
169
+ ? ' High-fanout.'
170
+ : summary?.architectureRelevant
171
+ ? ' Architecture-relevant.'
172
+ : '';
173
+ const kind = finding.findingType === 'effect-delta'
174
+ ? 'runtime effect'
175
+ : 'externally consumed contract';
176
+ return (`Neurcode consequence: ${finding.file}#${finding.symbol} changed a ${kind} ` +
177
+ `and reaches ${finding.externalConsumerCount} external non-test caller` +
178
+ `${finding.externalConsumerCount === 1 ? '' : 's'}: ${production}${hidden}. ` +
179
+ `${findingOperatorAction(finding)}.${tests}.${sensitive}${architecture}`);
180
+ }
181
+ function impactConsequenceClass(impact) {
182
+ if (impact.externalProductionConsumerCount > 0)
183
+ return 'escapes-diff';
184
+ if (impact.runtimeGovernanceConsumerCount > 0 || impact.approvalRequiredConsumerCount > 0 || impact.sensitiveConsumerCount > 0)
185
+ return 'runtime-sensitive';
186
+ if (unchangedProductionConsumerCount(impact) > 0)
187
+ return 'unchanged-consumers';
188
+ if (impact.changedProductionConsumerCount > 0)
189
+ return 'changed-consumers';
190
+ if (impact.testConsumerCount > 0 && impact.reachableProductionConsumerCount === 0)
191
+ return 'test-only';
192
+ return 'changed-consumers';
193
+ }
194
+ function impactOperatorAction(impact) {
195
+ if (impact.externalProductionConsumerCount > 0) {
196
+ return 'Review the outside-diff production consumers before accepting the change';
197
+ }
198
+ if (impact.approvalRequiredConsumerCount > 0) {
199
+ return 'Review approval-required consumers and confirm owner intent';
200
+ }
201
+ if (impact.runtimeGovernanceConsumerCount > 0 || impact.sensitiveConsumerCount > 0) {
202
+ return 'Review runtime or sensitive consumers, not only compile/test status';
203
+ }
204
+ if (unchangedProductionConsumerCount(impact) > 0) {
205
+ return 'Review unchanged production consumers before accepting the change';
206
+ }
207
+ if (impact.changedProductionConsumerCount > 0) {
208
+ return 'Confirm the changed consumers were intentionally updated with the symbol';
209
+ }
210
+ return 'Use this deterministic graph fact as review direction';
211
+ }
212
+ function impactReviewFocus(impact) {
213
+ return uniqueStrings([
214
+ ...impact.productionFiles.filter((file) => !(impact.changedProductionFiles || []).includes(file)),
215
+ ...impact.approvalRequiredFiles,
216
+ ...impact.runtimeGovernanceFiles,
217
+ ...impact.sensitiveFiles,
218
+ ...impact.changedProductionFiles,
219
+ ...impact.testFiles.slice(0, 2),
220
+ ]).slice(0, 8);
221
+ }
222
+ function findingConsequenceClass(finding) {
223
+ const summary = finding.consumerSummary;
224
+ if ((summary?.externalProductionConsumerCount ?? finding.externalConsumerCount) > 0)
225
+ return 'external-callers';
226
+ if ((summary?.runtimeGovernanceConsumerCount ?? 0) > 0 || (summary?.approvalRequiredConsumerCount ?? 0) > 0 || (summary?.sensitiveConsumerCount ?? 0) > 0)
227
+ return 'runtime-sensitive';
228
+ if (summary && summary.reachableProductionConsumerCount > summary.changedProductionConsumerCount)
229
+ return 'unchanged-consumers';
230
+ if ((summary?.changedProductionConsumerCount ?? 0) > 0)
231
+ return 'changed-consumers';
232
+ if ((summary?.testConsumerCount ?? finding.testConsumerCount) > 0)
233
+ return 'test-only';
234
+ return 'external-callers';
235
+ }
236
+ function findingOperatorAction(finding) {
237
+ const summary = finding.consumerSummary;
238
+ if ((summary?.externalProductionConsumerCount ?? finding.externalConsumerCount) > 0) {
239
+ return 'Review the external non-test callers before accepting the change';
240
+ }
241
+ if ((summary?.approvalRequiredConsumerCount ?? 0) > 0) {
242
+ return 'Review approval-required consumers and confirm owner intent';
243
+ }
244
+ if ((summary?.runtimeGovernanceConsumerCount ?? 0) > 0 || (summary?.sensitiveConsumerCount ?? 0) > 0) {
245
+ return 'Review runtime or sensitive consumers, not only compile/test status';
246
+ }
247
+ if (summary && summary.reachableProductionConsumerCount > summary.changedProductionConsumerCount) {
248
+ return 'Review unchanged production consumers before accepting the change';
249
+ }
250
+ return 'Use this deterministic graph fact as review direction';
251
+ }
252
+ function findingReviewFocus(finding) {
253
+ const summary = finding.consumerSummary;
254
+ return uniqueStrings([
255
+ ...(summary?.productionFiles ?? finding.externalConsumerFiles),
256
+ ...(summary?.approvalRequiredFiles ?? []),
257
+ ...(summary?.runtimeGovernanceFiles ?? []),
258
+ ...(summary?.sensitiveFiles ?? []),
259
+ ...(summary?.testFiles ?? []).slice(0, 2),
260
+ ]).slice(0, 8);
261
+ }
262
+ function impactNudgeSeverity(impact) {
263
+ if (impact.findingTypes.includes('effect-delta') ||
264
+ impact.approvalRequiredConsumerCount > 0 ||
265
+ impact.runtimeGovernanceConsumerCount > 0 ||
266
+ impact.sensitiveConsumerCount > 0 ||
267
+ impact.highFanout) {
268
+ return 'high';
269
+ }
270
+ return 'medium';
271
+ }
272
+ function impactNudgeKey(artifactHash, impact) {
273
+ const payload = JSON.stringify({
274
+ artifactHash,
275
+ file: impact.file,
276
+ symbol: impact.symbol,
277
+ summary: impact.summary,
278
+ findingTypes: impact.findingTypes,
279
+ findingRanks: impact.findingRanks,
280
+ productionFiles: impact.productionFiles,
281
+ reasonCodes: impact.reasonCodes,
282
+ });
283
+ return (0, node_crypto_1.createHash)('sha256').update(payload).digest('hex').slice(0, 24);
284
+ }
285
+ function nudgeKey(artifactHash, finding) {
286
+ const payload = JSON.stringify({
287
+ artifactHash,
288
+ findingType: finding.findingType,
289
+ file: finding.file,
290
+ symbol: finding.symbol,
291
+ summary: finding.summary,
292
+ externalConsumerFiles: finding.externalConsumerFiles,
293
+ reasonCodes: finding.reasonCodes,
294
+ });
295
+ return (0, node_crypto_1.createHash)('sha256').update(payload).digest('hex').slice(0, 24);
296
+ }
297
+ function uniqueStrings(values) {
298
+ const out = [];
299
+ const seen = new Set();
300
+ for (const value of values) {
301
+ const trimmed = value.trim();
302
+ if (!trimmed || seen.has(trimmed))
303
+ continue;
304
+ seen.add(trimmed);
305
+ out.push(trimmed);
306
+ }
307
+ return out;
308
+ }
309
+ function unchangedProductionConsumerCount(impact) {
310
+ const changed = new Set(impact.changedProductionFiles || []);
311
+ return (impact.productionFiles || []).filter((file) => !changed.has(file)).length;
312
+ }
313
+ //# sourceMappingURL=consequence-nudges.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"consequence-nudges.js","sourceRoot":"","sources":["../../src/utils/consequence-nudges.ts"],"names":[],"mappings":";;AA6BA,4DAMC;AAeD,sEA4DC;AAED,4DAUC;AAED,0DAsBC;AAED,0DAiCC;AAED,oEA0BC;AAED,wDAOC;AAED,oDAiBC;AAED,8CASC;AAqDD,wCAYC;AAED,4BAWC;AAtUD,6CAAyC;AA6BzC,SAAgB,wBAAwB,CAAC,MAAyB,OAAO,CAAC,GAAG;IAC3E,MAAM,WAAW,GAAG,GAAG,CAAC,mCAAmC,CAAC;IAC5D,IAAI,WAAW,IAAI,cAAc,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7D,MAAM,IAAI,GAAG,GAAG,CAAC,2BAA2B,CAAC;IAC7C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC9C,OAAO,UAAU,KAAK,GAAG,IAAI,UAAU,KAAK,MAAM,IAAI,UAAU,KAAK,KAAK,IAAI,UAAU,KAAK,IAAI,CAAC;AACpG,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC9C,OAAO,UAAU,KAAK,KAAK;QACzB,UAAU,KAAK,UAAU;QACzB,UAAU,KAAK,GAAG;QAClB,UAAU,KAAK,OAAO,CAAC;AAC3B,CAAC;AAED,SAAgB,6BAA6B,CAC3C,QAAyC,EACzC,UAA4B,EAAE;IAE9B,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,GAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,WAAW,GAAG,QAAQ,CAAC,wBAAwB,CAAC;IACtD,IAAI,CAAC,WAAW,EAAE,QAAQ;QAAE,OAAO,EAAE,CAAC;IAEtC,MAAM,eAAe,GAAG,WAAW,CAAC,UAAU;SAC3C,MAAM,CAAC,uBAAuB,CAAC;SAC/B,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAEjB,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,MAAM,GAA6B,EAAE,CAAC;QAC5C,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;YACrC,MAAM,kBAAkB,GAAG,WAAW,CAAC,WAAW;iBAC/C,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;iBAC/D,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,WAAW;iBAC7D,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC;YAC7F,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,MAAM,CAAC,IAAI,CAAC;gBACV,YAAY,EAAE,IAAI;gBAClB,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;gBACvD,QAAQ,EAAE,mBAAmB,CAAC,MAAM,CAAC;gBACrC,QAAQ,EAAE,uBAAuB,CAAC,MAAM,CAAC;gBACzC,gBAAgB,EAAE,sBAAsB,CAAC,MAAM,CAAC;gBAChD,cAAc,EAAE,oBAAoB,CAAC,MAAM,CAAC;gBAC5C,WAAW,EAAE,iBAAiB,CAAC,MAAM,CAAC;gBACtC,MAAM;gBACN,OAAO;gBACP,eAAe,EAAE,eAAe;gBAChC,gBAAgB,EAAE,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;gBAChF,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,UAAU,EAAE,sBAAsB;aACnC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,QAAQ,GAAG,WAAW,CAAC,WAAW;SACrC,MAAM,CAAC,wBAAwB,CAAC;SAChC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAEjB,OAAO,QAAQ;SACZ,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACjB,YAAY,EAAE,IAAa;QAC3B,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;QAClD,QAAQ,EAAE,OAAO,CAAC,WAAW,KAAK,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;QACpE,QAAQ,EAAE,4BAA4B,CAAC,OAAO,CAAC;QAC/C,gBAAgB,EAAE,uBAAuB,CAAC,OAAO,CAAC;QAClD,cAAc,EAAE,qBAAqB,CAAC,OAAO,CAAC;QAC9C,WAAW,EAAE,kBAAkB,CAAC,OAAO,CAAC;QACxC,MAAM,EAAE,IAAI;QACZ,OAAO;QACP,eAAe,EAAE,EAAE;QACnB,gBAAgB,EAAE,QAAQ;QAC1B,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,UAAU,EAAE,sBAA+B;KAC5C,CAAC,CAAC,CAAC;AACR,CAAC;AAED,SAAgB,wBAAwB,CAAC,OAA8B;IACrE,IAAI,OAAO,CAAC,qBAAqB,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,oBAAoB,CAAC;QAAE,OAAO,KAAK,CAAC;IACtE,IAAI,OAAO,CAAC,WAAW,KAAK,cAAc,EAAE,CAAC;QAC3C,OAAO,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACxG,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,gBAAgB,EAAE,CAAC;QAC7C,OAAO,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,uBAAuB,CAAC,MAA8B;IACpE,IAAI,MAAM,CAAC,+BAA+B,IAAI,CAAC,IAAI,MAAM,CAAC,gCAAgC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9G,IACE,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,oBAAoB,CAAC;QAClD,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,gCAAgC,CAAC;QAC9D,OAAO,KAAK,CAAC;IACf,MAAM,eAAe,GACnB,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC;QAC5C,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACjG,MAAM,kBAAkB,GACtB,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IACzD,IAAI,CAAC,eAAe,IAAI,CAAC,kBAAkB;QAAE,OAAO,KAAK,CAAC;IAC1D,OAAO,CACL,MAAM,CAAC,+BAA+B,GAAG,CAAC;QAC1C,MAAM,CAAC,8BAA8B,GAAG,CAAC;QACzC,MAAM,CAAC,6BAA6B,GAAG,CAAC;QACxC,MAAM,CAAC,sBAAsB,GAAG,CAAC;QACjC,MAAM,CAAC,UAAU;QACjB,MAAM,CAAC,oBAAoB;QAC3B,MAAM,CAAC,gCAAgC,IAAI,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED,SAAgB,uBAAuB,CAAC,MAA8B;IACpE,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC;QAC7B,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,GAAG,CAAC,OAAO;QAC/B,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QAC1G,CAAC,CAAC,iDAAiD;QACnD,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC;YAC5C,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,8BAA8B,CAAC;IACrC,MAAM,SAAS,GAAG,MAAM,CAAC,+BAA+B,GAAG,CAAC;QAC1D,CAAC,CAAC,GAAG,MAAM,CAAC,+BAA+B,qCAAqC,MAAM,CAAC,+BAA+B,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,oBAAoB;QAC3J,CAAC,CAAC,GAAG,MAAM,CAAC,gCAAgC,4BAA4B,MAAM,CAAC,gCAAgC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,qBAAqB,CAAC;IACxJ,MAAM,OAAO,GAAG,MAAM,CAAC,8BAA8B,GAAG,CAAC;QACvD,CAAC,CAAC,IAAI,MAAM,CAAC,8BAA8B,iBAAiB,MAAM,CAAC,8BAA8B,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,gBAAgB;QAClI,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,KAAK,GAAG,WAAW,MAAM,CAAC,iBAAiB,EAAE,CAAC;IACpD,MAAM,SAAS,GAAG,MAAM,CAAC,sBAAsB,GAAG,CAAC;QACjD,MAAM,CAAC,8BAA8B,GAAG,CAAC;QACzC,MAAM,CAAC,6BAA6B,GAAG,CAAC;QACxC,CAAC,CAAC,0CAA0C,MAAM,CAAC,sBAAsB,IAAI,MAAM,CAAC,8BAA8B,IAAI,MAAM,CAAC,6BAA6B,GAAG;QAC7J,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU;QACpC,CAAC,CAAC,eAAe;QACjB,CAAC,CAAC,MAAM,CAAC,oBAAoB;YAC3B,CAAC,CAAC,yBAAyB;YAC3B,CAAC,CAAC,EAAE,CAAC;IACT,OAAO,CACL,oBAAoB,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,cAAc,KAAK,GAAG;QACtE,eAAe,SAAS,KAAK,UAAU,IAAI,MAAM,GAAG,MAAM,IAAI;QAC9D,GAAG,oBAAoB,CAAC,MAAM,CAAC,IAAI,OAAO,GAAG,KAAK,IAAI,SAAS,GAAG,YAAY,EAAE,CACjF,CAAC;AACJ,CAAC;AAED,SAAgB,4BAA4B,CAAC,OAA8B;IACzE,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC;IACxC,MAAM,UAAU,GAAG,CAAC,OAAO,EAAE,eAAe,IAAI,OAAO,CAAC,qBAAqB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtG,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,eAAe,IAAI,OAAO,CAAC,qBAAqB,CAAC,CAAC,MAAM,GAAG,CAAC;QACnF,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,eAAe,IAAI,OAAO,CAAC,qBAAqB,CAAC,CAAC,MAAM,GAAG,CAAC,OAAO;QACrF,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,KAAK,GAAG,OAAO,EAAE,iBAAiB;QACtC,CAAC,CAAC,WAAW,OAAO,CAAC,iBAAiB,EAAE;QACxC,CAAC,CAAC,WAAW,CAAC;IAChB,MAAM,SAAS,GAAG,OAAO,IAAI,CAAC,OAAO,CAAC,sBAAsB,GAAG,CAAC,IAAI,OAAO,CAAC,6BAA6B,GAAG,CAAC,IAAI,OAAO,CAAC,8BAA8B,GAAG,CAAC,CAAC;QAC1J,CAAC,CAAC,0CAA0C,OAAO,CAAC,sBAAsB,IAAI,OAAO,CAAC,8BAA8B,IAAI,OAAO,CAAC,6BAA6B,GAAG;QAChK,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,YAAY,GAAG,OAAO,EAAE,UAAU;QACtC,CAAC,CAAC,eAAe;QACjB,CAAC,CAAC,OAAO,EAAE,oBAAoB;YAC7B,CAAC,CAAC,yBAAyB;YAC3B,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,KAAK,cAAc;QACjD,CAAC,CAAC,gBAAgB;QAClB,CAAC,CAAC,8BAA8B,CAAC;IACnC,OAAO,CACL,yBAAyB,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,cAAc,IAAI,GAAG;QAC5E,eAAe,OAAO,CAAC,qBAAqB,2BAA2B;QACvE,GAAG,OAAO,CAAC,qBAAqB,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,UAAU,GAAG,MAAM,IAAI;QAC7E,GAAG,qBAAqB,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,SAAS,GAAG,YAAY,EAAE,CACzE,CAAC;AACJ,CAAC;AAED,SAAgB,sBAAsB,CAAC,MAA8B;IACnE,IAAI,MAAM,CAAC,+BAA+B,GAAG,CAAC;QAAE,OAAO,cAAc,CAAC;IACtE,IAAI,MAAM,CAAC,8BAA8B,GAAG,CAAC,IAAI,MAAM,CAAC,6BAA6B,GAAG,CAAC,IAAI,MAAM,CAAC,sBAAsB,GAAG,CAAC;QAAE,OAAO,mBAAmB,CAAC;IAC3J,IAAI,gCAAgC,CAAC,MAAM,CAAC,GAAG,CAAC;QAAE,OAAO,qBAAqB,CAAC;IAC/E,IAAI,MAAM,CAAC,8BAA8B,GAAG,CAAC;QAAE,OAAO,mBAAmB,CAAC;IAC1E,IAAI,MAAM,CAAC,iBAAiB,GAAG,CAAC,IAAI,MAAM,CAAC,gCAAgC,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC;IACtG,OAAO,mBAAmB,CAAC;AAC7B,CAAC;AAED,SAAgB,oBAAoB,CAAC,MAA8B;IACjE,IAAI,MAAM,CAAC,+BAA+B,GAAG,CAAC,EAAE,CAAC;QAC/C,OAAO,0EAA0E,CAAC;IACpF,CAAC;IACD,IAAI,MAAM,CAAC,6BAA6B,GAAG,CAAC,EAAE,CAAC;QAC7C,OAAO,6DAA6D,CAAC;IACvE,CAAC;IACD,IAAI,MAAM,CAAC,8BAA8B,GAAG,CAAC,IAAI,MAAM,CAAC,sBAAsB,GAAG,CAAC,EAAE,CAAC;QACnF,OAAO,qEAAqE,CAAC;IAC/E,CAAC;IACD,IAAI,gCAAgC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACjD,OAAO,mEAAmE,CAAC;IAC7E,CAAC;IACD,IAAI,MAAM,CAAC,8BAA8B,GAAG,CAAC,EAAE,CAAC;QAC9C,OAAO,0EAA0E,CAAC;IACpF,CAAC;IACD,OAAO,uDAAuD,CAAC;AACjE,CAAC;AAED,SAAgB,iBAAiB,CAAC,MAA8B;IAC9D,OAAO,aAAa,CAAC;QACnB,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjG,GAAG,MAAM,CAAC,qBAAqB;QAC/B,GAAG,MAAM,CAAC,sBAAsB;QAChC,GAAG,MAAM,CAAC,cAAc;QACxB,GAAG,MAAM,CAAC,sBAAsB;QAChC,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;KAChC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,uBAAuB,CAAC,OAA8B;IAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC;IACxC,IAAI,CAAC,OAAO,EAAE,+BAA+B,IAAI,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC;QAAE,OAAO,kBAAkB,CAAC;IAC/G,IAAI,CAAC,OAAO,EAAE,8BAA8B,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,6BAA6B,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,sBAAsB,IAAI,CAAC,CAAC,GAAG,CAAC;QAAE,OAAO,mBAAmB,CAAC;IACtL,IAAI,OAAO,IAAI,OAAO,CAAC,gCAAgC,GAAG,OAAO,CAAC,8BAA8B;QAAE,OAAO,qBAAqB,CAAC;IAC/H,IAAI,CAAC,OAAO,EAAE,8BAA8B,IAAI,CAAC,CAAC,GAAG,CAAC;QAAE,OAAO,mBAAmB,CAAC;IACnF,IAAI,CAAC,OAAO,EAAE,iBAAiB,IAAI,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC;QAAE,OAAO,WAAW,CAAC;IACtF,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAED,SAAS,qBAAqB,CAAC,OAA8B;IAC3D,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC;IACxC,IAAI,CAAC,OAAO,EAAE,+BAA+B,IAAI,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC;QACpF,OAAO,kEAAkE,CAAC;IAC5E,CAAC;IACD,IAAI,CAAC,OAAO,EAAE,6BAA6B,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,6DAA6D,CAAC;IACvE,CAAC;IACD,IAAI,CAAC,OAAO,EAAE,8BAA8B,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,sBAAsB,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACrG,OAAO,qEAAqE,CAAC;IAC/E,CAAC;IACD,IAAI,OAAO,IAAI,OAAO,CAAC,gCAAgC,GAAG,OAAO,CAAC,8BAA8B,EAAE,CAAC;QACjG,OAAO,mEAAmE,CAAC;IAC7E,CAAC;IACD,OAAO,uDAAuD,CAAC;AACjE,CAAC;AAED,SAAS,kBAAkB,CAAC,OAA8B;IACxD,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC;IACxC,OAAO,aAAa,CAAC;QACnB,GAAG,CAAC,OAAO,EAAE,eAAe,IAAI,OAAO,CAAC,qBAAqB,CAAC;QAC9D,GAAG,CAAC,OAAO,EAAE,qBAAqB,IAAI,EAAE,CAAC;QACzC,GAAG,CAAC,OAAO,EAAE,sBAAsB,IAAI,EAAE,CAAC;QAC1C,GAAG,CAAC,OAAO,EAAE,cAAc,IAAI,EAAE,CAAC;QAClC,GAAG,CAAC,OAAO,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;KAC1C,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,mBAAmB,CAAC,MAA8B;IACzD,IACE,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC;QAC5C,MAAM,CAAC,6BAA6B,GAAG,CAAC;QACxC,MAAM,CAAC,8BAA8B,GAAG,CAAC;QACzC,MAAM,CAAC,sBAAsB,GAAG,CAAC;QACjC,MAAM,CAAC,UAAU,EACjB,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAgB,cAAc,CAAC,YAAoB,EAAE,MAA8B;IACjF,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC;QAC7B,YAAY;QACZ,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,WAAW,EAAE,MAAM,CAAC,WAAW;KAChC,CAAC,CAAC;IACH,OAAO,IAAA,wBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACzE,CAAC;AAED,SAAgB,QAAQ,CAAC,YAAoB,EAAE,OAA8B;IAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC;QAC7B,YAAY;QACZ,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;QACpD,WAAW,EAAE,OAAO,CAAC,WAAW;KACjC,CAAC,CAAC;IACH,OAAO,IAAA,wBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,aAAa,CAAC,MAAgB;IACrC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QAC5C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClB,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,gCAAgC,CAAC,MAA8B;IACtE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC;IAC7D,OAAO,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;AACpF,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"drift-intelligence.d.ts","sourceRoot":"","sources":["../../src/utils/drift-intelligence.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EASV,uBAAuB,EASxB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AAS7E,KAAK,SAAS,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;AA+B3C,MAAM,WAAW,6BAA6B;IAC5C,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,SAAS,EAAE,SAAS,CAAC;IACrB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,YAAY,EAAE,OAAO,CAAC;IACtB,WAAW,EAAE,OAAO,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,yBAAyB,EAAE,OAAO,CAAC;IACnC,iBAAiB,EAAE,SAAS,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,aAAa,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,CAAC;IACtD,sBAAsB,EAAE,OAAO,CAAC;IAChC,0BAA0B,EAAE,OAAO,CAAC;IACpC,aAAa,EAAE,gBAAgB,GAAG,eAAe,CAAC;CACnD;AAk9CD,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,SAAS,EACpB,OAAO,EAAE,wBAAwB,GAAG,IAAI,GACvC,uBAAuB,CAk3BzB;AAED,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,SAAS,EACpB,OAAO,EAAE,wBAAwB,GAAG,IAAI,EACxC,QAAQ,EAAE;IACR,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,SAAS,EAAE,SAAS,CAAC;IACrB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB,EACD,KAAK,EAAE,uBAAuB,GAC7B,6BAA6B,CA2E/B"}
1
+ {"version":3,"file":"drift-intelligence.d.ts","sourceRoot":"","sources":["../../src/utils/drift-intelligence.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EASV,uBAAuB,EASxB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AAS7E,KAAK,SAAS,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;AA+B3C,MAAM,WAAW,6BAA6B;IAC5C,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,SAAS,EAAE,SAAS,CAAC;IACrB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,YAAY,EAAE,OAAO,CAAC;IACtB,WAAW,EAAE,OAAO,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,yBAAyB,EAAE,OAAO,CAAC;IACnC,iBAAiB,EAAE,SAAS,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,aAAa,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,CAAC;IACtD,sBAAsB,EAAE,OAAO,CAAC;IAChC,0BAA0B,EAAE,OAAO,CAAC;IACpC,aAAa,EAAE,gBAAgB,GAAG,eAAe,CAAC;CACnD;AAk9CD,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,SAAS,EACpB,OAAO,EAAE,wBAAwB,GAAG,IAAI,GACvC,uBAAuB,CAq4BzB;AAED,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,SAAS,EACpB,OAAO,EAAE,wBAAwB,GAAG,IAAI,EACxC,QAAQ,EAAE;IACR,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,SAAS,EAAE,SAAS,CAAC;IACrB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB,EACD,KAAK,EAAE,uBAAuB,GAC7B,6BAA6B,CA2E/B"}
@@ -6,6 +6,7 @@ const crypto_1 = require("crypto");
6
6
  const child_process_1 = require("child_process");
7
7
  const fs_1 = require("fs");
8
8
  const path_1 = require("path");
9
+ const impact_analysis_1 = require("../governance/impact-analysis");
9
10
  const intelligence_runtime_common_1 = require("./intelligence-runtime-common");
10
11
  const governance_decisions_1 = require("./governance-decisions");
11
12
  function hashId(parts) {
@@ -1343,16 +1344,37 @@ function buildDriftIntelligence(changeSet, runtime) {
1343
1344
  .map((filePath) => matchServiceBoundary(serviceBoundaries, filePath) || matchServiceBoundary(serviceBoundaries, deriveModulePath(filePath)))
1344
1345
  .filter((value) => Boolean(value)));
1345
1346
  const { outgoing, incoming } = buildModuleAdjacency(runtime.repositoryGraph);
1346
- const impactedModulesSet = new Set(changedModules);
1347
- for (const moduleName of changedModules) {
1348
- for (const downstream of outgoing.get(moduleName) || []) {
1349
- impactedModulesSet.add(downstream);
1347
+ // Accurate symbol-resolved impact (deterministic, package-scoped) replaces
1348
+ // coarse module-adjacency inflation with real reference edges. Falls back to
1349
+ // the legacy adjacency union when TS analysis cannot run (non-TS change set,
1350
+ // program too large, time budget, or any error) so verify never regresses.
1351
+ let impactedModules;
1352
+ let accurateImpactApplied = false;
1353
+ try {
1354
+ const accurate = (0, impact_analysis_1.computeAccurateImpact)(projectRoot, evaluatedChangedFiles, deriveModulePath);
1355
+ if (accurate.analyzed) {
1356
+ impactedModules = (0, intelligence_runtime_common_1.dedupeSorted)([...changedModules, ...accurate.impactedModules]);
1357
+ accurateImpactApplied = true;
1350
1358
  }
1351
- for (const upstream of incoming.get(moduleName) || []) {
1352
- impactedModulesSet.add(upstream);
1359
+ else {
1360
+ impactedModules = [];
1361
+ }
1362
+ }
1363
+ catch {
1364
+ impactedModules = [];
1365
+ }
1366
+ if (!accurateImpactApplied) {
1367
+ const impactedModulesSet = new Set(changedModules);
1368
+ for (const moduleName of changedModules) {
1369
+ for (const downstream of outgoing.get(moduleName) || []) {
1370
+ impactedModulesSet.add(downstream);
1371
+ }
1372
+ for (const upstream of incoming.get(moduleName) || []) {
1373
+ impactedModulesSet.add(upstream);
1374
+ }
1353
1375
  }
1376
+ impactedModules = (0, intelligence_runtime_common_1.dedupeSorted)([...impactedModulesSet]);
1354
1377
  }
1355
- const impactedModules = (0, intelligence_runtime_common_1.dedupeSorted)([...impactedModulesSet]);
1356
1378
  const impactedServices = (0, intelligence_runtime_common_1.dedupeSorted)(impactedModules
1357
1379
  .map((moduleName) => matchServiceBoundary(serviceBoundaries, moduleName))
1358
1380
  .filter((value) => Boolean(value)));