@quolu/lattice 0.52.3 → 0.53.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/LICENSE +147 -147
  2. package/README.ja.md +355 -355
  3. package/README.md +258 -258
  4. package/bin/lattice-bridge.mjs +25 -0
  5. package/bin/lattice-hub.mjs +67 -0
  6. package/bin/lattice-mcp.mjs +0 -0
  7. package/bin/lattice-scripted-adapter.mjs +0 -0
  8. package/bin/lattice-scripted-worker.mjs +0 -0
  9. package/bin/lattice-work-order-adapter.mjs +0 -0
  10. package/bin/lattice.mjs +0 -0
  11. package/docs/bridge-setup.md +132 -132
  12. package/docs/schemas/lattice.executor_packet.v1.schema.json +57 -57
  13. package/docs/schemas/lattice.executor_receipt.v1.schema.json +66 -66
  14. package/docs/schemas/lattice.phase_todo_revision.v3.schema.json +360 -360
  15. package/docs/schemas/lattice.plan_create_input.v1.schema.json +56 -56
  16. package/docs/schemas/lattice.plan_create_input.v2.schema.json +72 -72
  17. package/docs/schemas/lattice.plan_create_input.v3.schema.json +81 -81
  18. package/docs/schemas/lattice.plan_create_input.v4.schema.json +85 -85
  19. package/docs/schemas/lattice.run_request.v1.schema.json +238 -238
  20. package/docs/schemas/lattice.runtime_adapter_capabilities.v2.schema.json +55 -55
  21. package/docs/schemas/lattice.runtime_adapter_registration_input.v1.schema.json +78 -78
  22. package/docs/schemas/lattice.runtime_adapter_registration_input.v2.schema.json +86 -86
  23. package/docs/schemas/lattice.todo_extraction.v2.schema.json +298 -298
  24. package/docs/schemas/lattice.todo_extraction.v3.schema.json +146 -146
  25. package/docs/schemas/lattice.todo_revision.v2.schema.json +260 -260
  26. package/docs/schemas/lattice.todo_revision_set.v3.schema.json +363 -363
  27. package/package.json +103 -103
  28. package/sensor/LICENSE +21 -21
  29. package/sensor/NOTICE +19 -19
  30. package/sensor/dist/bin/lattice-sensor.js +9 -9
  31. package/sensor/dist/db/index.js +24 -24
  32. package/sensor/dist/db/migrations.js +41 -41
  33. package/sensor/dist/db/queries.js +164 -164
  34. package/sensor/dist/db/schema.sql +205 -205
  35. package/sensor/dist/directory.js +5 -5
  36. package/sensor/dist/extraction/wasm/tree-sitter-c_sharp.wasm +0 -0
  37. package/sensor/dist/extraction/wasm/tree-sitter-cfml.wasm +0 -0
  38. package/sensor/dist/extraction/wasm/tree-sitter-cfquery.wasm +0 -0
  39. package/sensor/dist/extraction/wasm/tree-sitter-cfscript.wasm +0 -0
  40. package/sensor/dist/extraction/wasm/tree-sitter-cobol.wasm +0 -0
  41. package/sensor/dist/extraction/wasm/tree-sitter-erlang.wasm +0 -0
  42. package/sensor/dist/extraction/wasm/tree-sitter-go.wasm +0 -0
  43. package/sensor/dist/extraction/wasm/tree-sitter-java.wasm +0 -0
  44. package/sensor/dist/extraction/wasm/tree-sitter-javascript.wasm +0 -0
  45. package/sensor/dist/extraction/wasm/tree-sitter-nix.wasm +0 -0
  46. package/sensor/dist/extraction/wasm/tree-sitter-pascal.wasm +0 -0
  47. package/sensor/dist/extraction/wasm/tree-sitter-python.wasm +0 -0
  48. package/sensor/dist/extraction/wasm/tree-sitter-tsx.wasm +0 -0
  49. package/sensor/dist/extraction/wasm/tree-sitter-typescript.wasm +0 -0
  50. package/sensor/dist/extraction/wasm/tree-sitter-vbnet.wasm +0 -0
  51. package/sensor/dist/mcp/liveness-watchdog.js +53 -53
  52. package/sensor/dist/mcp/server-instructions.js +95 -95
  53. package/sensor/package.json +56 -56
  54. package/src/artifact-contracts-v2.mjs +325 -325
  55. package/src/artifact-contracts.mjs +895 -895
  56. package/src/boundary-compiler.mjs +712 -712
  57. package/src/boundary-observation-compiler-v2.mjs +344 -344
  58. package/src/bounded-seam.mjs +230 -230
  59. package/src/bridge-address.mjs +107 -107
  60. package/src/bridge-cli.mjs +303 -297
  61. package/src/bridge-config.mjs +382 -346
  62. package/src/bridge-daemon.mjs +378 -378
  63. package/src/bridge-hub-heartbeat.mjs +170 -0
  64. package/src/bridge-hub-protocol.mjs +198 -0
  65. package/src/bridge-hub-server.mjs +544 -0
  66. package/src/bridge-launch-agent.mjs +323 -323
  67. package/src/bridge-registrar.mjs +102 -102
  68. package/src/bridge-server.mjs +376 -376
  69. package/src/cli-help.mjs +308 -308
  70. package/src/cli-stdio.mjs +40 -40
  71. package/src/control-compiler.mjs +532 -532
  72. package/src/dag-chain.mjs +261 -261
  73. package/src/factory-diagnostics.mjs +188 -188
  74. package/src/git-process.mjs +72 -0
  75. package/src/hash-chain.mjs +76 -76
  76. package/src/hooks-cli.mjs +1057 -1057
  77. package/src/isolation-runner.mjs +409 -409
  78. package/src/node-version-guard.mjs +44 -44
  79. package/src/project-cli.mjs +3 -3
  80. package/src/project-identity.mjs +130 -130
  81. package/src/rc1-black-box-oracle.mjs +906 -906
  82. package/src/rc1-comparison.mjs +154 -154
  83. package/src/rc1-evidence-bundle.mjs +456 -456
  84. package/src/rc1-v4-campaign.mjs +708 -708
  85. package/src/rc1-v4-transform.mjs +467 -467
  86. package/src/rc1-v5-artifact-set.mjs +855 -855
  87. package/src/rc1-v5-behavior-evidence.mjs +594 -594
  88. package/src/rc1-v5-campaign.mjs +797 -797
  89. package/src/rc1-v5-transform.mjs +421 -421
  90. package/src/rc1-v6-artifact-set.mjs +807 -807
  91. package/src/rc1-v6-behavior-evidence.mjs +273 -273
  92. package/src/rc1-v6-campaign.mjs +623 -623
  93. package/src/rc1-v6-causal-binding.mjs +473 -473
  94. package/src/rc1-v6-measurement.mjs +313 -313
  95. package/src/rc2-artifact-set.mjs +1584 -1584
  96. package/src/rc2-campaign.mjs +1506 -1506
  97. package/src/rc2-delivery-policy-front-end.mjs +1079 -1079
  98. package/src/rc2-delivery-policy-oracle.mjs +134 -134
  99. package/src/rc2-delivery-policy-transform.mjs +1127 -1127
  100. package/src/rc2-rc1-transfer-front-end.mjs +511 -511
  101. package/src/rc3-actual-dogfood.mjs +652 -652
  102. package/src/rc3-dogfood-scaffold.mjs +315 -315
  103. package/src/rc3-scripted-campaign.mjs +1383 -1383
  104. package/src/rc4-stage1-dogfood.mjs +673 -673
  105. package/src/runtime-adapter-registry.mjs +524 -524
  106. package/src/runtime-cli.mjs +4588 -4588
  107. package/src/runtime-contracts.mjs +824 -824
  108. package/src/runtime-control-store.mjs +604 -604
  109. package/src/runtime-controller-protocol.mjs +587 -587
  110. package/src/runtime-decision-verifier.mjs +701 -701
  111. package/src/runtime-diff-observer.mjs +361 -361
  112. package/src/runtime-direct-os-observer.mjs +301 -301
  113. package/src/runtime-driver-state.mjs +166 -166
  114. package/src/runtime-engine.mjs +779 -779
  115. package/src/runtime-errors.mjs +356 -356
  116. package/src/runtime-event-store.mjs +189 -189
  117. package/src/runtime-front-end.mjs +925 -925
  118. package/src/runtime-gate-store.mjs +481 -481
  119. package/src/runtime-hold-recompile.mjs +916 -916
  120. package/src/runtime-io-sentinel.mjs +391 -391
  121. package/src/runtime-lifecycle-lock.mjs +294 -294
  122. package/src/runtime-managed-supervisor.mjs +1490 -1490
  123. package/src/runtime-multi-epoch-store.mjs +838 -838
  124. package/src/runtime-projection.mjs +269 -269
  125. package/src/runtime-pull-intake.mjs +1192 -1192
  126. package/src/runtime-scripted-adapter-controller.mjs +1160 -1160
  127. package/src/runtime-scripted-executor.mjs +163 -163
  128. package/src/runtime-scripted-worktree.mjs +104 -104
  129. package/src/runtime-seam-resolve.mjs +428 -428
  130. package/src/runtime-seam-treatment.mjs +173 -173
  131. package/src/runtime-socket-owner.mjs +125 -125
  132. package/src/runtime-work-order-contracts.mjs +91 -91
  133. package/src/runtime-work-order-controller.mjs +1171 -1171
  134. package/src/runtime-worktree-executor.mjs +199 -199
  135. package/src/schedulability-compiler-v2.mjs +303 -303
  136. package/src/schedulability-verifier-v2.mjs +317 -317
  137. package/src/seam-apply.mjs +549 -549
  138. package/src/seam-commit-shared.mjs +22 -22
  139. package/src/seam-commit-transform.mjs +81 -81
  140. package/src/seam-commit.mjs +18 -18
  141. package/src/seam-cost.mjs +322 -322
  142. package/src/seam-derivation.mjs +188 -188
  143. package/src/seam-gate.mjs +146 -146
  144. package/src/seam-proposal-contracts.mjs +446 -446
  145. package/src/seam-proposal-queries.mjs +521 -521
  146. package/src/seam-proposal.mjs +2011 -2011
  147. package/src/seam-ref.mjs +33 -33
  148. package/src/seam-rewrite.mjs +286 -286
  149. package/src/seam-transform.mjs +554 -554
  150. package/src/seam-verification.mjs +260 -260
  151. package/src/sensor-adapter.mjs +432 -432
  152. package/src/sensor-cli.mjs +139 -139
  153. package/src/sensor-diff.mjs +661 -661
  154. package/src/sensor-node-runtime.mjs +53 -53
  155. package/src/sensor-runtime.mjs +52 -52
  156. package/src/timestamp-contract.mjs +8 -8
  157. package/src/todo-audit-pending.mjs +91 -91
  158. package/src/todo-chain.mjs +178 -178
  159. package/src/todo-cli.mjs +8 -8
  160. package/src/todo-contracts.mjs +728 -728
  161. package/src/todo-dashboard-registry.mjs +573 -573
  162. package/src/todo-dispatch-shape.mjs +190 -190
  163. package/src/todo-gantt-html-independence.mjs +239 -239
  164. package/src/todo-gantt-html-shared.mjs +226 -226
  165. package/src/todo-gantt-html-style.mjs +131 -131
  166. package/src/todo-gantt-html.mjs +248 -248
  167. package/src/todo-gantt-layout.mjs +974 -974
  168. package/src/todo-gantt-live.mjs +361 -361
  169. package/src/todo-gantt-nested.mjs +263 -263
  170. package/src/todo-gantt-presentation.mjs +217 -217
  171. package/src/todo-gantt-scope.mjs +123 -123
  172. package/src/todo-gantt-svg.mjs +353 -353
  173. package/src/todo-independence-contracts.mjs +595 -595
  174. package/src/todo-independence-guidance.mjs +322 -322
  175. package/src/todo-independence.mjs +640 -640
  176. package/src/todo-markdown-renderer.mjs +260 -260
  177. package/src/todo-migration.mjs +448 -448
  178. package/src/todo-narrative-anchor.mjs +130 -130
  179. package/src/todo-note-store.mjs +629 -629
  180. package/src/todo-parallel-candidates.mjs +114 -114
  181. package/src/todo-revision.mjs +995 -995
  182. package/src/todo-split.mjs +472 -472
  183. package/src/todo-status.mjs +690 -690
  184. package/src/todo-store-git-transaction.mjs +418 -418
  185. package/src/todo-store.mjs +42 -21
  186. package/src/treatment-compiler.mjs +728 -728
  187. package/src/treatment-runner.mjs +656 -656
  188. package/src/witness-scaffold.mjs +180 -180
@@ -1,432 +1,432 @@
1
- import { lstat, realpath } from 'node:fs/promises';
2
- import path from 'node:path';
3
-
4
- import { spawnSensorCli } from './sensor-runtime.mjs';
5
-
6
- const OPERATIONS = new Set(['status', 'query', 'callers', 'callees', 'impact', 'affected']);
7
- const ANSI_ESCAPE = /\u001B\[[0-?]*[ -/]*[@-~]/g;
8
-
9
- function stripAnsi(value) {
10
- return value.replace(ANSI_ESCAPE, '');
11
- }
12
-
13
- function portableCopy(value, insideNode = false) {
14
- if (Array.isArray(value)) {
15
- return value.map((entry) => portableCopy(entry));
16
- }
17
- if (!isPlainObject(value)) return value;
18
- return Object.fromEntries(Object.entries(value)
19
- .filter(([key]) => !(insideNode && key === 'updatedAt'))
20
- .map(([key, entry]) => [
21
- key,
22
- portableCopy(entry, key === 'node' && isPlainObject(entry)),
23
- ]));
24
- }
25
-
26
- /**
27
- * LatticeSensor raw outcomeから環境依存telemetryだけを除くdigest projectionを返す。
28
- * @param {unknown} outcome
29
- * @returns {unknown}
30
- */
31
- export function portableSensorOutcome(outcome) {
32
- const portable = portableCopy(outcome);
33
- if (!isPlainObject(portable)
34
- || portable.operation !== 'status'
35
- || !isPlainObject(portable.data)) {
36
- return portable;
37
- }
38
- const {
39
- projectPath,
40
- indexPath,
41
- lastIndexed,
42
- dbSizeBytes,
43
- ...portableStatus
44
- } = portable.data;
45
- return { ...portable, data: portableStatus };
46
- }
47
-
48
- function hasExactKeys(value, keys) {
49
- const actual = Object.keys(value).sort();
50
- const expected = [...keys].sort();
51
- return actual.length === expected.length
52
- && actual.every((key, index) => key === expected[index]);
53
- }
54
-
55
- function isNonNegativeInteger(value) {
56
- return Number.isInteger(value) && value >= 0;
57
- }
58
-
59
- function isPlainObject(value) {
60
- return value !== null && typeof value === 'object' && !Array.isArray(value);
61
- }
62
-
63
- function outcomeFromStatus(status) {
64
- if (status.initialized === false) {
65
- return 'absent';
66
- }
67
-
68
- const version = status.version;
69
- if (typeof version !== 'string' || version.length === 0) {
70
- return 'unsupported';
71
- }
72
-
73
- if (status.initialized !== true
74
- || !isPlainObject(status.pendingChanges)
75
- || !hasExactKeys(status.pendingChanges, ['added', 'modified', 'removed'])
76
- || !Object.values(status.pendingChanges).every(isNonNegativeInteger)
77
- || !isPlainObject(status.index)
78
- || !hasExactKeys(status.index, [
79
- 'builtWithVersion',
80
- 'builtWithExtractionVersion',
81
- 'currentExtractionVersion',
82
- 'reindexRecommended',
83
- // 非ゼロは「この索引を書いたengineより、今のengineが古い」。reindexRecommendedの逆向きで、
84
- // こちら側は放っておくと索引が収束しない理由が誰にも見えない。
85
- 'engineBehindIndexFiles',
86
- 'state',
87
- 'pendingRefs',
88
- ])
89
- || typeof status.index.builtWithVersion !== 'string'
90
- || status.index.builtWithVersion.length === 0
91
- || !isNonNegativeInteger(status.index.builtWithExtractionVersion)
92
- || !isNonNegativeInteger(status.index.currentExtractionVersion)
93
- || typeof status.index.state !== 'string'
94
- || typeof status.index.reindexRecommended !== 'boolean'
95
- || !isNonNegativeInteger(status.index.engineBehindIndexFiles)
96
- || !isNonNegativeInteger(status.index.pendingRefs)
97
- || (status.worktreeMismatch !== null && !isPlainObject(status.worktreeMismatch))) {
98
- return 'unresolved';
99
- }
100
-
101
- if (status.index.state === 'unsupported') {
102
- return 'unsupported';
103
- }
104
-
105
- const pendingTotal = status.pendingChanges.added
106
- + status.pendingChanges.modified
107
- + status.pendingChanges.removed;
108
- if (pendingTotal > 0 || status.worktreeMismatch !== null || status.index.reindexRecommended) {
109
- return 'stale';
110
- }
111
-
112
- if (status.index.pendingRefs !== 0 || status.index.state !== 'complete') {
113
- return 'unresolved';
114
- }
115
-
116
- return 'ready';
117
- }
118
-
119
- function parseJson(stdout) {
120
- try {
121
- return { value: JSON.parse(stdout) };
122
- } catch {
123
- return { value: undefined };
124
- }
125
- }
126
-
127
- function isExactSymbolAbsent(stdout, target) {
128
- return stripAnsi(stdout).trim() === `ℹ Symbol "${target}" not found`;
129
- }
130
-
131
- function exactSymbolCandidates(value, target) {
132
- if (!Array.isArray(value)) {
133
- return { outcome: 'invalid_json', candidates: [] };
134
- }
135
- const candidates = value.filter((entry) => {
136
- const node = entry?.node;
137
- return isPlainObject(node)
138
- && (node.name === target || node.qualifiedName === target);
139
- });
140
- return {
141
- outcome: candidates.length > 0 ? 'ready' : 'symbol_absent',
142
- candidates,
143
- };
144
- }
145
-
146
- function summarizeAffected(targets) {
147
- if (targets.every(({ outcome }) => outcome === 'ready')) {
148
- return 'ready';
149
- }
150
- if (targets.every(({ outcome }) => outcome === 'empty')) {
151
- return 'empty';
152
- }
153
- return 'unresolved';
154
- }
155
-
156
- function pathIsInside(root, candidate) {
157
- const relativePath = path.relative(root, candidate);
158
- return relativePath !== ''
159
- && relativePath !== '..'
160
- && !relativePath.startsWith(`..${path.sep}`)
161
- && !path.isAbsolute(relativePath);
162
- }
163
-
164
- function pathIsInsideOrEqual(root, candidate) {
165
- return path.relative(root, candidate) === '' || pathIsInside(root, candidate);
166
- }
167
-
168
- async function inspectAffectedPathState({ cwd, target }) {
169
- if (path.isAbsolute(target)) return 'unresolved';
170
- const root = path.resolve(cwd);
171
- const candidate = path.resolve(root, target);
172
- if (!pathIsInside(root, candidate)) return 'unresolved';
173
-
174
- let rootRealpath;
175
- try {
176
- rootRealpath = await realpath(root);
177
- } catch {
178
- return 'unresolved';
179
- }
180
-
181
- try {
182
- const stat = await lstat(candidate);
183
- if (stat.isSymbolicLink() || !stat.isFile()) return 'unresolved';
184
- const candidateRealpath = await realpath(candidate);
185
- return pathIsInside(rootRealpath, candidateRealpath) ? 'file' : 'unresolved';
186
- } catch (error) {
187
- if (error?.code !== 'ENOENT') return 'unresolved';
188
- try {
189
- const parentRealpath = await realpath(path.dirname(candidate));
190
- return pathIsInsideOrEqual(rootRealpath, parentRealpath) ? 'absent' : 'unresolved';
191
- } catch {
192
- return 'unresolved';
193
- }
194
- }
195
- }
196
-
197
- async function affectedPathState(inspectAffectedPath, cwd, target) {
198
- try {
199
- const state = await inspectAffectedPath({ cwd, target });
200
- return new Set(['file', 'absent', 'unresolved']).has(state) ? state : 'unresolved';
201
- } catch {
202
- return 'unresolved';
203
- }
204
- }
205
-
206
- function emptyAffectedData(target) {
207
- return {
208
- changedFiles: [target],
209
- affectedTests: [],
210
- totalDependentsTraversed: 0,
211
- };
212
- }
213
-
214
- function defaultExecutor({ args, cwd }) {
215
- return new Promise((resolve) => {
216
- const child = spawnSensorCli(args, {
217
- cwd,
218
- stdio: ['ignore', 'pipe', 'pipe'],
219
- });
220
- let stdout = '';
221
- let stderr = '';
222
-
223
- child.stdout.on('data', (chunk) => {
224
- stdout += chunk;
225
- });
226
- child.stderr.on('data', (chunk) => {
227
- stderr += chunk;
228
- });
229
- child.on('error', (error) => {
230
- resolve({ code: null, stdout, stderr, error: error.message });
231
- });
232
- child.on('close', (code) => {
233
- resolve({ code, stdout, stderr });
234
- });
235
- });
236
- }
237
-
238
- async function executeCommand(execute, command) {
239
- try {
240
- const result = await execute(command);
241
- if (!result || typeof result !== 'object') {
242
- return { code: null, stdout: '', stderr: '', error: 'invalid executor result' };
243
- }
244
- return {
245
- code: result.code,
246
- stdout: typeof result.stdout === 'string' ? result.stdout : '',
247
- stderr: typeof result.stderr === 'string' ? result.stderr : '',
248
- error: result.error,
249
- };
250
- } catch (error) {
251
- return {
252
- code: null,
253
- stdout: '',
254
- stderr: '',
255
- error: error instanceof Error ? error.message : String(error),
256
- };
257
- }
258
- }
259
-
260
- async function resolveExactSymbol({ cwd, target, execute }) {
261
- const result = await executeCommand(execute, {
262
- operation: 'query',
263
- target,
264
- cwd,
265
- args: ['query', target, '--path', '.', '--json'],
266
- });
267
- if (result.code !== 0) {
268
- return { outcome: 'command_failure', exitCode: result.code };
269
- }
270
- const parsed = parseJson(result.stdout);
271
- if (parsed.value === undefined) {
272
- return {
273
- outcome: isExactSymbolAbsent(result.stdout, target) ? 'symbol_absent' : 'invalid_json',
274
- };
275
- }
276
- return exactSymbolCandidates(parsed.value, target);
277
- }
278
-
279
- async function collectOne({ cwd, query, execute, inspectAffectedPath }) {
280
- const { id, operation, target } = query;
281
- if (!OPERATIONS.has(operation)) {
282
- return { id, operation, outcome: 'unsupported' };
283
- }
284
-
285
- if (operation === 'affected') {
286
- const targets = Array.isArray(query.targets) ? query.targets : [target];
287
- if (targets.length === 0 || targets.some((value) => typeof value !== 'string' || value.length === 0)) {
288
- return { id, operation, outcome: 'unresolved' };
289
- }
290
-
291
- const results = [];
292
- for (const targetPath of targets) {
293
- const pathState = await affectedPathState(inspectAffectedPath, cwd, targetPath);
294
- if (pathState === 'absent') {
295
- results.push({
296
- target: targetPath,
297
- outcome: 'empty',
298
- path_state: 'absent',
299
- data: emptyAffectedData(targetPath),
300
- });
301
- continue;
302
- }
303
- if (pathState !== 'file') {
304
- results.push({ target: targetPath, outcome: 'unresolved' });
305
- continue;
306
- }
307
- const command = {
308
- operation,
309
- target: targetPath,
310
- cwd,
311
- args: ['affected', targetPath, '--path', '.', '--json'],
312
- };
313
- const result = await executeCommand(execute, command);
314
- if (result.code !== 0) {
315
- results.push({ target: targetPath, outcome: 'command_failure', exitCode: result.code });
316
- continue;
317
- }
318
- const parsed = parseJson(result.stdout);
319
- if (parsed.value === undefined || !parsed.value || !Array.isArray(parsed.value.affectedTests)) {
320
- results.push({ target: targetPath, outcome: 'invalid_json' });
321
- continue;
322
- }
323
- results.push({
324
- target: targetPath,
325
- outcome: parsed.value.affectedTests.length === 0 ? 'empty' : 'ready',
326
- data: parsed.value,
327
- });
328
- }
329
- return { id, operation, outcome: summarizeAffected(results), targets: results };
330
- }
331
-
332
- if (operation !== 'status' && (typeof target !== 'string' || target.length === 0)) {
333
- return { id, operation, outcome: 'unresolved' };
334
- }
335
-
336
- const command = {
337
- operation,
338
- target,
339
- cwd,
340
- // callers/calleesはCLI既定の20件で黙って切られる。fanoutの大きい関数では
341
- // module値への参照(valueRef)が窓の外へ落ち、閉包が「完結した」と誤認する
342
- // ——観測の打ち切りを「無い」へ丸めない。明示limitで引く。
343
- args: operation === 'status'
344
- ? ['status', '.', '--json']
345
- : ['callers', 'callees'].includes(operation)
346
- ? [operation, target, '--path', '.', '--limit', '200', '--json']
347
- : [operation, target, '--path', '.', '--json'],
348
- };
349
- const result = await executeCommand(execute, command);
350
- if (result.code !== 0) {
351
- return { id, operation, outcome: 'command_failure', exitCode: result.code };
352
- }
353
-
354
- const parsed = parseJson(result.stdout);
355
- if (parsed.value === undefined) {
356
- if (operation !== 'status' && isExactSymbolAbsent(result.stdout, target)) {
357
- return { id, operation, target, outcome: 'symbol_absent' };
358
- }
359
- return { id, operation, target, outcome: 'invalid_json' };
360
- }
361
-
362
- if (operation === 'status') {
363
- if (!parsed.value || Array.isArray(parsed.value) || typeof parsed.value !== 'object') {
364
- return { id, operation, outcome: 'invalid_json' };
365
- }
366
- return { id, operation, outcome: outcomeFromStatus(parsed.value), data: parsed.value };
367
- }
368
-
369
- if (operation === 'query') {
370
- const resolution = exactSymbolCandidates(parsed.value, target);
371
- return {
372
- id,
373
- operation,
374
- target,
375
- outcome: resolution.outcome,
376
- data: resolution.candidates,
377
- };
378
- }
379
-
380
- const resolution = await resolveExactSymbol({ cwd, target, execute });
381
- if (resolution.outcome !== 'ready') {
382
- return {
383
- id,
384
- operation,
385
- target,
386
- outcome: resolution.outcome,
387
- ...(resolution.exitCode === undefined ? {} : { exitCode: resolution.exitCode }),
388
- };
389
- }
390
-
391
- return {
392
- id,
393
- operation,
394
- target,
395
- outcome: 'ready',
396
- data: parsed.value,
397
- resolution: resolution.candidates,
398
- };
399
- }
400
-
401
- /**
402
- * Collects LatticeSensor CLI evidence without turning command failures or empty results into independence.
403
- * @param {{ cwd: string, querySet: { queries?: object[] }, execute?: Function }} options
404
- * @returns {Promise<{ cwd: string, outcomes: object[] }>}
405
- */
406
- export async function collectSensorEvidence({
407
- cwd,
408
- querySet,
409
- execute = defaultExecutor,
410
- inspectAffectedPath = inspectAffectedPathState,
411
- } = {}) {
412
- const queries = Array.isArray(querySet?.queries) ? querySet.queries : [];
413
- if (typeof cwd !== 'string' || cwd.length === 0) {
414
- return { cwd, outcomes: [{ outcome: 'unresolved', reason: 'invalid_cwd' }] };
415
- }
416
- if (!Array.isArray(querySet?.queries)) {
417
- return { cwd, outcomes: [{ outcome: 'unresolved', reason: 'invalid_query_set' }] };
418
- }
419
- if (typeof inspectAffectedPath !== 'function') {
420
- return { cwd, outcomes: [{ outcome: 'unresolved', reason: 'invalid_path_inspector' }] };
421
- }
422
-
423
- const outcomes = [];
424
- for (const query of queries) {
425
- if (!query || typeof query !== 'object') {
426
- outcomes.push({ outcome: 'unresolved', reason: 'invalid_query' });
427
- continue;
428
- }
429
- outcomes.push(await collectOne({ cwd, query, execute, inspectAffectedPath }));
430
- }
431
- return { cwd, outcomes };
432
- }
1
+ import { lstat, realpath } from 'node:fs/promises';
2
+ import path from 'node:path';
3
+
4
+ import { spawnSensorCli } from './sensor-runtime.mjs';
5
+
6
+ const OPERATIONS = new Set(['status', 'query', 'callers', 'callees', 'impact', 'affected']);
7
+ const ANSI_ESCAPE = /\u001B\[[0-?]*[ -/]*[@-~]/g;
8
+
9
+ function stripAnsi(value) {
10
+ return value.replace(ANSI_ESCAPE, '');
11
+ }
12
+
13
+ function portableCopy(value, insideNode = false) {
14
+ if (Array.isArray(value)) {
15
+ return value.map((entry) => portableCopy(entry));
16
+ }
17
+ if (!isPlainObject(value)) return value;
18
+ return Object.fromEntries(Object.entries(value)
19
+ .filter(([key]) => !(insideNode && key === 'updatedAt'))
20
+ .map(([key, entry]) => [
21
+ key,
22
+ portableCopy(entry, key === 'node' && isPlainObject(entry)),
23
+ ]));
24
+ }
25
+
26
+ /**
27
+ * LatticeSensor raw outcomeから環境依存telemetryだけを除くdigest projectionを返す。
28
+ * @param {unknown} outcome
29
+ * @returns {unknown}
30
+ */
31
+ export function portableSensorOutcome(outcome) {
32
+ const portable = portableCopy(outcome);
33
+ if (!isPlainObject(portable)
34
+ || portable.operation !== 'status'
35
+ || !isPlainObject(portable.data)) {
36
+ return portable;
37
+ }
38
+ const {
39
+ projectPath,
40
+ indexPath,
41
+ lastIndexed,
42
+ dbSizeBytes,
43
+ ...portableStatus
44
+ } = portable.data;
45
+ return { ...portable, data: portableStatus };
46
+ }
47
+
48
+ function hasExactKeys(value, keys) {
49
+ const actual = Object.keys(value).sort();
50
+ const expected = [...keys].sort();
51
+ return actual.length === expected.length
52
+ && actual.every((key, index) => key === expected[index]);
53
+ }
54
+
55
+ function isNonNegativeInteger(value) {
56
+ return Number.isInteger(value) && value >= 0;
57
+ }
58
+
59
+ function isPlainObject(value) {
60
+ return value !== null && typeof value === 'object' && !Array.isArray(value);
61
+ }
62
+
63
+ function outcomeFromStatus(status) {
64
+ if (status.initialized === false) {
65
+ return 'absent';
66
+ }
67
+
68
+ const version = status.version;
69
+ if (typeof version !== 'string' || version.length === 0) {
70
+ return 'unsupported';
71
+ }
72
+
73
+ if (status.initialized !== true
74
+ || !isPlainObject(status.pendingChanges)
75
+ || !hasExactKeys(status.pendingChanges, ['added', 'modified', 'removed'])
76
+ || !Object.values(status.pendingChanges).every(isNonNegativeInteger)
77
+ || !isPlainObject(status.index)
78
+ || !hasExactKeys(status.index, [
79
+ 'builtWithVersion',
80
+ 'builtWithExtractionVersion',
81
+ 'currentExtractionVersion',
82
+ 'reindexRecommended',
83
+ // 非ゼロは「この索引を書いたengineより、今のengineが古い」。reindexRecommendedの逆向きで、
84
+ // こちら側は放っておくと索引が収束しない理由が誰にも見えない。
85
+ 'engineBehindIndexFiles',
86
+ 'state',
87
+ 'pendingRefs',
88
+ ])
89
+ || typeof status.index.builtWithVersion !== 'string'
90
+ || status.index.builtWithVersion.length === 0
91
+ || !isNonNegativeInteger(status.index.builtWithExtractionVersion)
92
+ || !isNonNegativeInteger(status.index.currentExtractionVersion)
93
+ || typeof status.index.state !== 'string'
94
+ || typeof status.index.reindexRecommended !== 'boolean'
95
+ || !isNonNegativeInteger(status.index.engineBehindIndexFiles)
96
+ || !isNonNegativeInteger(status.index.pendingRefs)
97
+ || (status.worktreeMismatch !== null && !isPlainObject(status.worktreeMismatch))) {
98
+ return 'unresolved';
99
+ }
100
+
101
+ if (status.index.state === 'unsupported') {
102
+ return 'unsupported';
103
+ }
104
+
105
+ const pendingTotal = status.pendingChanges.added
106
+ + status.pendingChanges.modified
107
+ + status.pendingChanges.removed;
108
+ if (pendingTotal > 0 || status.worktreeMismatch !== null || status.index.reindexRecommended) {
109
+ return 'stale';
110
+ }
111
+
112
+ if (status.index.pendingRefs !== 0 || status.index.state !== 'complete') {
113
+ return 'unresolved';
114
+ }
115
+
116
+ return 'ready';
117
+ }
118
+
119
+ function parseJson(stdout) {
120
+ try {
121
+ return { value: JSON.parse(stdout) };
122
+ } catch {
123
+ return { value: undefined };
124
+ }
125
+ }
126
+
127
+ function isExactSymbolAbsent(stdout, target) {
128
+ return stripAnsi(stdout).trim() === `ℹ Symbol "${target}" not found`;
129
+ }
130
+
131
+ function exactSymbolCandidates(value, target) {
132
+ if (!Array.isArray(value)) {
133
+ return { outcome: 'invalid_json', candidates: [] };
134
+ }
135
+ const candidates = value.filter((entry) => {
136
+ const node = entry?.node;
137
+ return isPlainObject(node)
138
+ && (node.name === target || node.qualifiedName === target);
139
+ });
140
+ return {
141
+ outcome: candidates.length > 0 ? 'ready' : 'symbol_absent',
142
+ candidates,
143
+ };
144
+ }
145
+
146
+ function summarizeAffected(targets) {
147
+ if (targets.every(({ outcome }) => outcome === 'ready')) {
148
+ return 'ready';
149
+ }
150
+ if (targets.every(({ outcome }) => outcome === 'empty')) {
151
+ return 'empty';
152
+ }
153
+ return 'unresolved';
154
+ }
155
+
156
+ function pathIsInside(root, candidate) {
157
+ const relativePath = path.relative(root, candidate);
158
+ return relativePath !== ''
159
+ && relativePath !== '..'
160
+ && !relativePath.startsWith(`..${path.sep}`)
161
+ && !path.isAbsolute(relativePath);
162
+ }
163
+
164
+ function pathIsInsideOrEqual(root, candidate) {
165
+ return path.relative(root, candidate) === '' || pathIsInside(root, candidate);
166
+ }
167
+
168
+ async function inspectAffectedPathState({ cwd, target }) {
169
+ if (path.isAbsolute(target)) return 'unresolved';
170
+ const root = path.resolve(cwd);
171
+ const candidate = path.resolve(root, target);
172
+ if (!pathIsInside(root, candidate)) return 'unresolved';
173
+
174
+ let rootRealpath;
175
+ try {
176
+ rootRealpath = await realpath(root);
177
+ } catch {
178
+ return 'unresolved';
179
+ }
180
+
181
+ try {
182
+ const stat = await lstat(candidate);
183
+ if (stat.isSymbolicLink() || !stat.isFile()) return 'unresolved';
184
+ const candidateRealpath = await realpath(candidate);
185
+ return pathIsInside(rootRealpath, candidateRealpath) ? 'file' : 'unresolved';
186
+ } catch (error) {
187
+ if (error?.code !== 'ENOENT') return 'unresolved';
188
+ try {
189
+ const parentRealpath = await realpath(path.dirname(candidate));
190
+ return pathIsInsideOrEqual(rootRealpath, parentRealpath) ? 'absent' : 'unresolved';
191
+ } catch {
192
+ return 'unresolved';
193
+ }
194
+ }
195
+ }
196
+
197
+ async function affectedPathState(inspectAffectedPath, cwd, target) {
198
+ try {
199
+ const state = await inspectAffectedPath({ cwd, target });
200
+ return new Set(['file', 'absent', 'unresolved']).has(state) ? state : 'unresolved';
201
+ } catch {
202
+ return 'unresolved';
203
+ }
204
+ }
205
+
206
+ function emptyAffectedData(target) {
207
+ return {
208
+ changedFiles: [target],
209
+ affectedTests: [],
210
+ totalDependentsTraversed: 0,
211
+ };
212
+ }
213
+
214
+ function defaultExecutor({ args, cwd }) {
215
+ return new Promise((resolve) => {
216
+ const child = spawnSensorCli(args, {
217
+ cwd,
218
+ stdio: ['ignore', 'pipe', 'pipe'],
219
+ });
220
+ let stdout = '';
221
+ let stderr = '';
222
+
223
+ child.stdout.on('data', (chunk) => {
224
+ stdout += chunk;
225
+ });
226
+ child.stderr.on('data', (chunk) => {
227
+ stderr += chunk;
228
+ });
229
+ child.on('error', (error) => {
230
+ resolve({ code: null, stdout, stderr, error: error.message });
231
+ });
232
+ child.on('close', (code) => {
233
+ resolve({ code, stdout, stderr });
234
+ });
235
+ });
236
+ }
237
+
238
+ async function executeCommand(execute, command) {
239
+ try {
240
+ const result = await execute(command);
241
+ if (!result || typeof result !== 'object') {
242
+ return { code: null, stdout: '', stderr: '', error: 'invalid executor result' };
243
+ }
244
+ return {
245
+ code: result.code,
246
+ stdout: typeof result.stdout === 'string' ? result.stdout : '',
247
+ stderr: typeof result.stderr === 'string' ? result.stderr : '',
248
+ error: result.error,
249
+ };
250
+ } catch (error) {
251
+ return {
252
+ code: null,
253
+ stdout: '',
254
+ stderr: '',
255
+ error: error instanceof Error ? error.message : String(error),
256
+ };
257
+ }
258
+ }
259
+
260
+ async function resolveExactSymbol({ cwd, target, execute }) {
261
+ const result = await executeCommand(execute, {
262
+ operation: 'query',
263
+ target,
264
+ cwd,
265
+ args: ['query', target, '--path', '.', '--json'],
266
+ });
267
+ if (result.code !== 0) {
268
+ return { outcome: 'command_failure', exitCode: result.code };
269
+ }
270
+ const parsed = parseJson(result.stdout);
271
+ if (parsed.value === undefined) {
272
+ return {
273
+ outcome: isExactSymbolAbsent(result.stdout, target) ? 'symbol_absent' : 'invalid_json',
274
+ };
275
+ }
276
+ return exactSymbolCandidates(parsed.value, target);
277
+ }
278
+
279
+ async function collectOne({ cwd, query, execute, inspectAffectedPath }) {
280
+ const { id, operation, target } = query;
281
+ if (!OPERATIONS.has(operation)) {
282
+ return { id, operation, outcome: 'unsupported' };
283
+ }
284
+
285
+ if (operation === 'affected') {
286
+ const targets = Array.isArray(query.targets) ? query.targets : [target];
287
+ if (targets.length === 0 || targets.some((value) => typeof value !== 'string' || value.length === 0)) {
288
+ return { id, operation, outcome: 'unresolved' };
289
+ }
290
+
291
+ const results = [];
292
+ for (const targetPath of targets) {
293
+ const pathState = await affectedPathState(inspectAffectedPath, cwd, targetPath);
294
+ if (pathState === 'absent') {
295
+ results.push({
296
+ target: targetPath,
297
+ outcome: 'empty',
298
+ path_state: 'absent',
299
+ data: emptyAffectedData(targetPath),
300
+ });
301
+ continue;
302
+ }
303
+ if (pathState !== 'file') {
304
+ results.push({ target: targetPath, outcome: 'unresolved' });
305
+ continue;
306
+ }
307
+ const command = {
308
+ operation,
309
+ target: targetPath,
310
+ cwd,
311
+ args: ['affected', targetPath, '--path', '.', '--json'],
312
+ };
313
+ const result = await executeCommand(execute, command);
314
+ if (result.code !== 0) {
315
+ results.push({ target: targetPath, outcome: 'command_failure', exitCode: result.code });
316
+ continue;
317
+ }
318
+ const parsed = parseJson(result.stdout);
319
+ if (parsed.value === undefined || !parsed.value || !Array.isArray(parsed.value.affectedTests)) {
320
+ results.push({ target: targetPath, outcome: 'invalid_json' });
321
+ continue;
322
+ }
323
+ results.push({
324
+ target: targetPath,
325
+ outcome: parsed.value.affectedTests.length === 0 ? 'empty' : 'ready',
326
+ data: parsed.value,
327
+ });
328
+ }
329
+ return { id, operation, outcome: summarizeAffected(results), targets: results };
330
+ }
331
+
332
+ if (operation !== 'status' && (typeof target !== 'string' || target.length === 0)) {
333
+ return { id, operation, outcome: 'unresolved' };
334
+ }
335
+
336
+ const command = {
337
+ operation,
338
+ target,
339
+ cwd,
340
+ // callers/calleesはCLI既定の20件で黙って切られる。fanoutの大きい関数では
341
+ // module値への参照(valueRef)が窓の外へ落ち、閉包が「完結した」と誤認する
342
+ // ——観測の打ち切りを「無い」へ丸めない。明示limitで引く。
343
+ args: operation === 'status'
344
+ ? ['status', '.', '--json']
345
+ : ['callers', 'callees'].includes(operation)
346
+ ? [operation, target, '--path', '.', '--limit', '200', '--json']
347
+ : [operation, target, '--path', '.', '--json'],
348
+ };
349
+ const result = await executeCommand(execute, command);
350
+ if (result.code !== 0) {
351
+ return { id, operation, outcome: 'command_failure', exitCode: result.code };
352
+ }
353
+
354
+ const parsed = parseJson(result.stdout);
355
+ if (parsed.value === undefined) {
356
+ if (operation !== 'status' && isExactSymbolAbsent(result.stdout, target)) {
357
+ return { id, operation, target, outcome: 'symbol_absent' };
358
+ }
359
+ return { id, operation, target, outcome: 'invalid_json' };
360
+ }
361
+
362
+ if (operation === 'status') {
363
+ if (!parsed.value || Array.isArray(parsed.value) || typeof parsed.value !== 'object') {
364
+ return { id, operation, outcome: 'invalid_json' };
365
+ }
366
+ return { id, operation, outcome: outcomeFromStatus(parsed.value), data: parsed.value };
367
+ }
368
+
369
+ if (operation === 'query') {
370
+ const resolution = exactSymbolCandidates(parsed.value, target);
371
+ return {
372
+ id,
373
+ operation,
374
+ target,
375
+ outcome: resolution.outcome,
376
+ data: resolution.candidates,
377
+ };
378
+ }
379
+
380
+ const resolution = await resolveExactSymbol({ cwd, target, execute });
381
+ if (resolution.outcome !== 'ready') {
382
+ return {
383
+ id,
384
+ operation,
385
+ target,
386
+ outcome: resolution.outcome,
387
+ ...(resolution.exitCode === undefined ? {} : { exitCode: resolution.exitCode }),
388
+ };
389
+ }
390
+
391
+ return {
392
+ id,
393
+ operation,
394
+ target,
395
+ outcome: 'ready',
396
+ data: parsed.value,
397
+ resolution: resolution.candidates,
398
+ };
399
+ }
400
+
401
+ /**
402
+ * Collects LatticeSensor CLI evidence without turning command failures or empty results into independence.
403
+ * @param {{ cwd: string, querySet: { queries?: object[] }, execute?: Function }} options
404
+ * @returns {Promise<{ cwd: string, outcomes: object[] }>}
405
+ */
406
+ export async function collectSensorEvidence({
407
+ cwd,
408
+ querySet,
409
+ execute = defaultExecutor,
410
+ inspectAffectedPath = inspectAffectedPathState,
411
+ } = {}) {
412
+ const queries = Array.isArray(querySet?.queries) ? querySet.queries : [];
413
+ if (typeof cwd !== 'string' || cwd.length === 0) {
414
+ return { cwd, outcomes: [{ outcome: 'unresolved', reason: 'invalid_cwd' }] };
415
+ }
416
+ if (!Array.isArray(querySet?.queries)) {
417
+ return { cwd, outcomes: [{ outcome: 'unresolved', reason: 'invalid_query_set' }] };
418
+ }
419
+ if (typeof inspectAffectedPath !== 'function') {
420
+ return { cwd, outcomes: [{ outcome: 'unresolved', reason: 'invalid_path_inspector' }] };
421
+ }
422
+
423
+ const outcomes = [];
424
+ for (const query of queries) {
425
+ if (!query || typeof query !== 'object') {
426
+ outcomes.push({ outcome: 'unresolved', reason: 'invalid_query' });
427
+ continue;
428
+ }
429
+ outcomes.push(await collectOne({ cwd, query, execute, inspectAffectedPath }));
430
+ }
431
+ return { cwd, outcomes };
432
+ }