@shapeshift-labs/frontier-swarm-codex 0.5.40 → 0.5.42

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 (140) hide show
  1. package/README.md +1 -1
  2. package/dist/apply.d.ts +3 -0
  3. package/dist/apply.d.ts.map +1 -0
  4. package/dist/apply.js +127 -0
  5. package/dist/apply.js.map +1 -0
  6. package/dist/cli.js +7 -1
  7. package/dist/cli.js.map +1 -1
  8. package/dist/codex-events.d.ts +15 -0
  9. package/dist/codex-events.d.ts.map +1 -0
  10. package/dist/codex-events.js +108 -0
  11. package/dist/codex-events.js.map +1 -0
  12. package/dist/codex-evidence.d.ts +33 -0
  13. package/dist/codex-evidence.d.ts.map +1 -0
  14. package/dist/codex-evidence.js +143 -0
  15. package/dist/codex-evidence.js.map +1 -0
  16. package/dist/codex-executor.d.ts +5 -0
  17. package/dist/codex-executor.d.ts.map +1 -0
  18. package/dist/codex-executor.js +160 -0
  19. package/dist/codex-executor.js.map +1 -0
  20. package/dist/codex-prompt.d.ts +20 -0
  21. package/dist/codex-prompt.d.ts.map +1 -0
  22. package/dist/codex-prompt.js +238 -0
  23. package/dist/codex-prompt.js.map +1 -0
  24. package/dist/codex-run-scheduler.d.ts +9 -0
  25. package/dist/codex-run-scheduler.d.ts.map +1 -0
  26. package/dist/codex-run-scheduler.js +145 -0
  27. package/dist/codex-run-scheduler.js.map +1 -0
  28. package/dist/codex-run.d.ts +5 -0
  29. package/dist/codex-run.d.ts.map +1 -0
  30. package/dist/codex-run.js +278 -0
  31. package/dist/codex-run.js.map +1 -0
  32. package/dist/codex-workspace-changes.d.ts +28 -0
  33. package/dist/codex-workspace-changes.d.ts.map +1 -0
  34. package/dist/codex-workspace-changes.js +147 -0
  35. package/dist/codex-workspace-changes.js.map +1 -0
  36. package/dist/codex-workspace.d.ts +10 -0
  37. package/dist/codex-workspace.d.ts.map +1 -0
  38. package/dist/codex-workspace.js +210 -0
  39. package/dist/codex-workspace.js.map +1 -0
  40. package/dist/collect-bundles.d.ts +14 -0
  41. package/dist/collect-bundles.d.ts.map +1 -0
  42. package/dist/collect-bundles.js +173 -0
  43. package/dist/collect-bundles.js.map +1 -0
  44. package/dist/collect-evidence.d.ts +13 -0
  45. package/dist/collect-evidence.d.ts.map +1 -0
  46. package/dist/collect-evidence.js +131 -0
  47. package/dist/collect-evidence.js.map +1 -0
  48. package/dist/collect.d.ts +5 -0
  49. package/dist/collect.d.ts.map +1 -0
  50. package/dist/collect.js +189 -0
  51. package/dist/collect.js.map +1 -0
  52. package/dist/common.d.ts +37 -0
  53. package/dist/common.d.ts.map +1 -0
  54. package/dist/common.js +191 -0
  55. package/dist/common.js.map +1 -0
  56. package/dist/constants.d.ts +25 -0
  57. package/dist/constants.d.ts.map +1 -0
  58. package/dist/constants.js +26 -0
  59. package/dist/constants.js.map +1 -0
  60. package/dist/dashboard.d.ts +9 -0
  61. package/dist/dashboard.d.ts.map +1 -0
  62. package/dist/dashboard.js +80 -0
  63. package/dist/dashboard.js.map +1 -0
  64. package/dist/handoff-artifacts.d.ts +4 -0
  65. package/dist/handoff-artifacts.d.ts.map +1 -0
  66. package/dist/handoff-artifacts.js +67 -0
  67. package/dist/handoff-artifacts.js.map +1 -0
  68. package/dist/index.d.ts +14 -820
  69. package/dist/index.d.ts.map +1 -1
  70. package/dist/index.js +14 -3612
  71. package/dist/index.js.map +1 -1
  72. package/dist/patch-score-semantic.d.ts +4 -0
  73. package/dist/patch-score-semantic.d.ts.map +1 -0
  74. package/dist/patch-score-semantic.js +154 -0
  75. package/dist/patch-score-semantic.js.map +1 -0
  76. package/dist/score.d.ts +3 -0
  77. package/dist/score.d.ts.map +1 -0
  78. package/dist/score.js +219 -0
  79. package/dist/score.js.map +1 -0
  80. package/dist/semantic-import-layers.d.ts +9 -0
  81. package/dist/semantic-import-layers.d.ts.map +1 -0
  82. package/dist/semantic-import-layers.js +143 -0
  83. package/dist/semantic-import-layers.js.map +1 -0
  84. package/dist/semantic-import-paradigm.d.ts +6 -0
  85. package/dist/semantic-import-paradigm.d.ts.map +1 -0
  86. package/dist/semantic-import-paradigm.js +159 -0
  87. package/dist/semantic-import-paradigm.js.map +1 -0
  88. package/dist/semantic-import-proof.d.ts +7 -0
  89. package/dist/semantic-import-proof.d.ts.map +1 -0
  90. package/dist/semantic-import-proof.js +142 -0
  91. package/dist/semantic-import-proof.js.map +1 -0
  92. package/dist/semantic-import-quality.d.ts +6 -0
  93. package/dist/semantic-import-quality.d.ts.map +1 -0
  94. package/dist/semantic-import-quality.js +108 -0
  95. package/dist/semantic-import-quality.js.map +1 -0
  96. package/dist/semantic-import-select.d.ts +36 -0
  97. package/dist/semantic-import-select.d.ts.map +1 -0
  98. package/dist/semantic-import-select.js +132 -0
  99. package/dist/semantic-import-select.js.map +1 -0
  100. package/dist/semantic-import-sidecar.d.ts +7 -0
  101. package/dist/semantic-import-sidecar.d.ts.map +1 -0
  102. package/dist/semantic-import-sidecar.js +169 -0
  103. package/dist/semantic-import-sidecar.js.map +1 -0
  104. package/dist/semantic-import.d.ts +13 -0
  105. package/dist/semantic-import.d.ts.map +1 -0
  106. package/dist/semantic-import.js +122 -0
  107. package/dist/semantic-import.js.map +1 -0
  108. package/dist/trace-summary.d.ts +6 -0
  109. package/dist/trace-summary.d.ts.map +1 -0
  110. package/dist/trace-summary.js +61 -0
  111. package/dist/trace-summary.js.map +1 -0
  112. package/dist/types-collection.d.ts +166 -0
  113. package/dist/types-collection.d.ts.map +1 -0
  114. package/dist/types-collection.js +2 -0
  115. package/dist/types-collection.js.map +1 -0
  116. package/dist/types-evidence.d.ts +158 -0
  117. package/dist/types-evidence.d.ts.map +1 -0
  118. package/dist/types-evidence.js +2 -0
  119. package/dist/types-evidence.js.map +1 -0
  120. package/dist/types-run.d.ts +161 -0
  121. package/dist/types-run.d.ts.map +1 -0
  122. package/dist/types-run.js +2 -0
  123. package/dist/types-run.js.map +1 -0
  124. package/dist/types-semantic.d.ts +192 -0
  125. package/dist/types-semantic.d.ts.map +1 -0
  126. package/dist/types-semantic.js +2 -0
  127. package/dist/types-semantic.js.map +1 -0
  128. package/dist/types-workspace.d.ts +122 -0
  129. package/dist/types-workspace.d.ts.map +1 -0
  130. package/dist/types-workspace.js +2 -0
  131. package/dist/types-workspace.js.map +1 -0
  132. package/dist/types.d.ts +6 -0
  133. package/dist/types.d.ts.map +1 -0
  134. package/dist/types.js +2 -0
  135. package/dist/types.js.map +1 -0
  136. package/dist/workspace-link-repair.d.ts +3 -0
  137. package/dist/workspace-link-repair.d.ts.map +1 -0
  138. package/dist/workspace-link-repair.js +164 -0
  139. package/dist/workspace-link-repair.js.map +1 -0
  140. package/package.json +5 -4
@@ -0,0 +1,158 @@
1
+ import type { FRONTIER_SWARM_CODEX_COMPACT_DASHBOARD_KIND, FRONTIER_SWARM_CODEX_COMPACT_DASHBOARD_VERSION, FRONTIER_SWARM_CODEX_JOB_EVIDENCE_KIND, FRONTIER_SWARM_CODEX_JOB_EVIDENCE_VERSION, FRONTIER_SWARM_CODEX_PATCH_INTENT_KIND, FRONTIER_SWARM_CODEX_PATCH_INTENT_VERSION } from './constants.js';
2
+ import type { FrontierCodexHandoffArtifact } from './types-collection.js';
3
+ import type { FrontierCodexSemanticImportQuality, FrontierCodexSemanticImportSidecar } from './types-semantic.js';
4
+ export interface FrontierCodexPatchHunkSummary {
5
+ file?: string;
6
+ header: string;
7
+ oldStart?: number;
8
+ oldLines?: number;
9
+ newStart?: number;
10
+ newLines?: number;
11
+ }
12
+ export interface FrontierCodexTraceSummary {
13
+ shardCount: number;
14
+ rowWindowCount: number;
15
+ hypothesisCount: number;
16
+ executableOwnershipRegionCount: number;
17
+ focusedTestCount: number;
18
+ referenceEvidenceCount: number;
19
+ divergenceCount: number;
20
+ openDivergenceCount: number;
21
+ }
22
+ export interface FrontierCodexJobEvidenceSummary {
23
+ kind: typeof FRONTIER_SWARM_CODEX_JOB_EVIDENCE_KIND;
24
+ version: typeof FRONTIER_SWARM_CODEX_JOB_EVIDENCE_VERSION;
25
+ generatedAt: number;
26
+ jobId: string;
27
+ taskId: string;
28
+ lane: string;
29
+ status: string;
30
+ mergeReadiness: string;
31
+ disposition: string;
32
+ riskLevel: string;
33
+ changedPaths: string[];
34
+ changedRegions: string[];
35
+ ownershipViolations: string[];
36
+ patchPath?: string;
37
+ mergeBundlePath: string;
38
+ patchIntentPath?: string;
39
+ semanticImportPath?: string;
40
+ evidencePaths: string[];
41
+ handoffArtifacts: FrontierCodexHandoffArtifact[];
42
+ commands: {
43
+ passed: Array<{
44
+ name: string;
45
+ command: string[];
46
+ status?: number;
47
+ }>;
48
+ failed: Array<{
49
+ name: string;
50
+ command: string[];
51
+ status?: number;
52
+ }>;
53
+ };
54
+ patchHunks: FrontierCodexPatchHunkSummary[];
55
+ readyToPortHunkCount: number;
56
+ semanticImport?: FrontierCodexSemanticImportSidecar['summary'];
57
+ traceSummary?: FrontierCodexTraceSummary;
58
+ sourceCitations: Array<{
59
+ path: string;
60
+ kind: string;
61
+ language?: string;
62
+ hash?: string;
63
+ }>;
64
+ metadata?: Record<string, unknown>;
65
+ }
66
+ export interface FrontierCodexPatchIntent {
67
+ kind: typeof FRONTIER_SWARM_CODEX_PATCH_INTENT_KIND;
68
+ version: typeof FRONTIER_SWARM_CODEX_PATCH_INTENT_VERSION;
69
+ generatedAt: number;
70
+ jobId: string;
71
+ taskId: string;
72
+ lane: string;
73
+ changedPaths: string[];
74
+ changedRegions: string[];
75
+ intent: string;
76
+ why: string;
77
+ riskLevel: string;
78
+ mergeReadiness: string;
79
+ disposition: string;
80
+ safeToPortManually: boolean;
81
+ verification: Array<{
82
+ name: string;
83
+ command: string[];
84
+ status?: number;
85
+ required: boolean;
86
+ }>;
87
+ evidencePaths: string[];
88
+ semanticImportQuality: FrontierCodexSemanticImportQuality;
89
+ patchHunks: FrontierCodexPatchHunkSummary[];
90
+ warnings: string[];
91
+ }
92
+ export interface FrontierCodexLogSummary {
93
+ eventsPath: string;
94
+ stderrPath: string;
95
+ eventBytes: number;
96
+ stderrBytes: number;
97
+ eventBytesWritten: number;
98
+ stderrBytesWritten: number;
99
+ eventBytesTruncated: number;
100
+ stderrBytesTruncated: number;
101
+ }
102
+ export interface FrontierCodexCompactDashboard {
103
+ kind: typeof FRONTIER_SWARM_CODEX_COMPACT_DASHBOARD_KIND;
104
+ version: typeof FRONTIER_SWARM_CODEX_COMPACT_DASHBOARD_VERSION;
105
+ generatedAt: number;
106
+ runDir: string;
107
+ total: number;
108
+ activeJobs: number;
109
+ usefulPatchCount: number;
110
+ stalePatchCount: number;
111
+ duplicateDiscoveryCount: number;
112
+ semanticImport: {
113
+ expected: boolean;
114
+ presentCount: number;
115
+ emptyCount: number;
116
+ weakCount: number;
117
+ symbolCount: number;
118
+ ownershipRegionCount: number;
119
+ patchHintCount: number;
120
+ universalAstLayerCount: number;
121
+ universalAstLayerNames: string[];
122
+ proofSpecObligations: number;
123
+ proofSpecFailedObligations: number;
124
+ paradigmSemanticsRecords: number;
125
+ paradigmSemanticsGroups: number;
126
+ paradigmSemanticsLoweringRecords: number;
127
+ };
128
+ trace: {
129
+ shardCount: number;
130
+ jobsWithTraceShards: number;
131
+ rowWindowCount: number;
132
+ hypothesisCount: number;
133
+ executableOwnershipRegionCount: number;
134
+ focusedTestCount: number;
135
+ referenceEvidenceCount: number;
136
+ divergenceCount: number;
137
+ openDivergenceCount: number;
138
+ };
139
+ evidence: {
140
+ readyToApply: number;
141
+ needsHumanPort: number;
142
+ failedEvidence: number;
143
+ averageMergeScore: number;
144
+ };
145
+ topJobs: Array<{
146
+ jobId: string;
147
+ lane?: string;
148
+ disposition: string;
149
+ mergeScore: number;
150
+ changedPaths: string[];
151
+ semanticImportQuality?: FrontierCodexSemanticImportQuality;
152
+ traceSummary?: FrontierCodexTraceSummary;
153
+ staleAgainstHead: boolean;
154
+ duplicateGroupId?: string;
155
+ evidencePaths: string[];
156
+ }>;
157
+ }
158
+ //# sourceMappingURL=types-evidence.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types-evidence.d.ts","sourceRoot":"","sources":["../src/types-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,2CAA2C,EAC3C,8CAA8C,EAC9C,sCAAsC,EACtC,yCAAyC,EACzC,sCAAsC,EACtC,yCAAyC,EAC1C,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,KAAK,EAAE,kCAAkC,EAAE,kCAAkC,EAAE,MAAM,qBAAqB,CAAC;AAElH,MAAM,WAAW,6BAA6B;IAC5C,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,yBAAyB;IACxC,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,8BAA8B,EAAE,MAAM,CAAC;IACvC,gBAAgB,EAAE,MAAM,CAAC;IACzB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,eAAe,EAAE,MAAM,CAAC;IACxB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,+BAA+B;IAC9C,IAAI,EAAE,OAAO,sCAAsC,CAAC;IACpD,OAAO,EAAE,OAAO,yCAAyC,CAAC;IAC1D,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,EAAE,4BAA4B,EAAE,CAAC;IACjD,QAAQ,EAAE;QACR,MAAM,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,EAAE,CAAC;YAAC,MAAM,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QACpE,MAAM,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,EAAE,CAAC;YAAC,MAAM,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;KACrE,CAAC;IACF,UAAU,EAAE,6BAA6B,EAAE,CAAC;IAC5C,oBAAoB,EAAE,MAAM,CAAC;IAC7B,cAAc,CAAC,EAAE,kCAAkC,CAAC,SAAS,CAAC,CAAC;IAC/D,YAAY,CAAC,EAAE,yBAAyB,CAAC;IACzC,eAAe,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzF,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,OAAO,sCAAsC,CAAC;IACpD,OAAO,EAAE,OAAO,yCAAyC,CAAC;IAC1D,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,YAAY,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC7F,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,qBAAqB,EAAE,kCAAkC,CAAC;IAC1D,UAAU,EAAE,6BAA6B,EAAE,CAAC;IAC5C,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,uBAAuB;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,oBAAoB,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,6BAA6B;IAC5C,IAAI,EAAE,OAAO,2CAA2C,CAAC;IACzD,OAAO,EAAE,OAAO,8CAA8C,CAAC;IAC/D,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,uBAAuB,EAAE,MAAM,CAAC;IAChC,cAAc,EAAE;QACd,QAAQ,EAAE,OAAO,CAAC;QAClB,YAAY,EAAE,MAAM,CAAC;QACrB,UAAU,EAAE,MAAM,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,WAAW,EAAE,MAAM,CAAC;QACpB,oBAAoB,EAAE,MAAM,CAAC;QAC7B,cAAc,EAAE,MAAM,CAAC;QACvB,sBAAsB,EAAE,MAAM,CAAC;QAC/B,sBAAsB,EAAE,MAAM,EAAE,CAAC;QACjC,oBAAoB,EAAE,MAAM,CAAC;QAC7B,0BAA0B,EAAE,MAAM,CAAC;QACnC,wBAAwB,EAAE,MAAM,CAAC;QACjC,uBAAuB,EAAE,MAAM,CAAC;QAChC,gCAAgC,EAAE,MAAM,CAAC;KAC1C,CAAC;IACF,KAAK,EAAE;QACL,UAAU,EAAE,MAAM,CAAC;QACnB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,cAAc,EAAE,MAAM,CAAC;QACvB,eAAe,EAAE,MAAM,CAAC;QACxB,8BAA8B,EAAE,MAAM,CAAC;QACvC,gBAAgB,EAAE,MAAM,CAAC;QACzB,sBAAsB,EAAE,MAAM,CAAC;QAC/B,eAAe,EAAE,MAAM,CAAC;QACxB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;IACF,QAAQ,EAAE;QACR,YAAY,EAAE,MAAM,CAAC;QACrB,cAAc,EAAE,MAAM,CAAC;QACvB,cAAc,EAAE,MAAM,CAAC;QACvB,iBAAiB,EAAE,MAAM,CAAC;KAC3B,CAAC;IACF,OAAO,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,qBAAqB,CAAC,EAAE,kCAAkC,CAAC;QAC3D,YAAY,CAAC,EAAE,yBAAyB,CAAC;QACzC,gBAAgB,EAAE,OAAO,CAAC;QAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC;QAC1B,aAAa,EAAE,MAAM,EAAE,CAAC;KACzB,CAAC,CAAC;CACJ"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=types-evidence.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types-evidence.js","sourceRoot":"","sources":["../src/types-evidence.ts"],"names":[],"mappings":""}
@@ -0,0 +1,161 @@
1
+ import type { createSwarmProof, FrontierSwarmEventStream, FrontierSwarmJob, FrontierSwarmJobResultInput, FrontierSwarmPlan, FrontierSwarmPlanInput, FrontierSwarmRun } from '@shapeshift-labs/frontier-swarm';
2
+ import type { FrontierCodexSemanticImportOptions } from './types-semantic.js';
3
+ import type { FrontierCodexLogSummary } from './types-evidence.js';
4
+ import type { FrontierCodexWorkspacePlan } from './types-workspace.js';
5
+ export type FrontierCodexModelPolicy = 'config-default' | 'plan' | 'explicit';
6
+ export type FrontierCodexSwarmWorkspaceMode = 'current' | 'git-worktree' | 'snapshot' | 'copy';
7
+ export interface FrontierCodexSwarmWorkspaceInput {
8
+ mode?: FrontierCodexSwarmWorkspaceMode;
9
+ root?: string;
10
+ create?: boolean;
11
+ replace?: boolean;
12
+ includes?: readonly string[];
13
+ excludes?: readonly string[];
14
+ artifactIncludes?: readonly string[];
15
+ linkPaths?: readonly string[];
16
+ requiredIncludes?: readonly string[];
17
+ optionalIncludes?: readonly string[];
18
+ strategy?: 'fs-cp' | 'rsync' | 'git-archive' | string;
19
+ guardRoot?: string;
20
+ linkNodeModules?: boolean;
21
+ skipGitRepoCheck?: boolean;
22
+ }
23
+ export interface FrontierCodexAdaptiveConcurrencyOptions {
24
+ enabled?: boolean;
25
+ mode?: 'observe' | 'conservative' | 'balanced' | 'aggressive' | string;
26
+ minConcurrency?: number;
27
+ maxConcurrency?: number;
28
+ writePlan?: boolean;
29
+ }
30
+ export interface FrontierCodexCompactLogOptions {
31
+ enabled?: boolean;
32
+ maxEventBytes?: number;
33
+ maxStderrBytes?: number;
34
+ }
35
+ export interface FrontierCodexBrowserAllocation {
36
+ required: boolean;
37
+ portPool: string[];
38
+ port?: string;
39
+ profileDir?: string;
40
+ headless?: boolean;
41
+ }
42
+ export interface FrontierCodexResourceAllocation {
43
+ capabilities: string[];
44
+ resources: Record<string, number>;
45
+ env: Record<string, string>;
46
+ browser?: FrontierCodexBrowserAllocation;
47
+ }
48
+ export interface FrontierCodexJobPaths {
49
+ jobDir: string;
50
+ promptPath: string;
51
+ eventsPath: string;
52
+ stderrPath: string;
53
+ lastMessagePath: string;
54
+ evidenceDir: string;
55
+ resourceAllocationPath: string;
56
+ workspaceProofPath: string;
57
+ patchPath: string;
58
+ mergeBundlePath: string;
59
+ patchIntentPath: string;
60
+ logSummaryPath: string;
61
+ pidManifestPath: string;
62
+ }
63
+ export interface FrontierCodexExecutorInput {
64
+ job: FrontierSwarmJob;
65
+ prompt: string;
66
+ args: string[];
67
+ cwd: string;
68
+ workspacePath: string;
69
+ codexPath: string;
70
+ paths: FrontierCodexJobPaths;
71
+ resourceAllocation: FrontierCodexResourceAllocation;
72
+ env: Record<string, string>;
73
+ timeoutMs: number;
74
+ compactLogs?: FrontierCodexCompactLogOptions;
75
+ }
76
+ export interface FrontierCodexExecutorResult {
77
+ exitCode: number;
78
+ signal?: string;
79
+ changedPaths?: readonly string[];
80
+ lastMessage?: string;
81
+ logSummary?: FrontierCodexLogSummary;
82
+ error?: unknown;
83
+ }
84
+ export type FrontierCodexExecutor = (input: FrontierCodexExecutorInput) => Promise<FrontierCodexExecutorResult>;
85
+ export interface FrontierCodexJobHookInput {
86
+ job: FrontierSwarmJob;
87
+ cwd: string;
88
+ outDir: string;
89
+ workspacePath: string;
90
+ workspacePlan: FrontierCodexWorkspacePlan;
91
+ paths: FrontierCodexJobPaths;
92
+ resourceAllocation: FrontierCodexResourceAllocation;
93
+ }
94
+ export interface FrontierCodexJobPromptHookInput extends FrontierCodexJobHookInput {
95
+ prompt: string;
96
+ }
97
+ export interface FrontierCodexJobStartedHookInput extends FrontierCodexJobHookInput {
98
+ prompt: string;
99
+ args: string[];
100
+ }
101
+ export interface FrontierCodexJobFinishedHookInput {
102
+ job: FrontierSwarmJob;
103
+ result: FrontierSwarmJobResultInput;
104
+ }
105
+ export interface FrontierCodexSwarmFinishedHookInput {
106
+ result: FrontierCodexSwarmRunResult;
107
+ }
108
+ export type FrontierCodexJobWorkspaceHook = (input: FrontierCodexJobHookInput) => Promise<void> | void;
109
+ export type FrontierCodexJobPromptHook = (input: FrontierCodexJobPromptHookInput) => Promise<string> | string;
110
+ export type FrontierCodexChangedPathFilter = (paths: readonly string[], input: FrontierCodexJobHookInput) => readonly string[];
111
+ export type FrontierCodexJobStartedHook = (input: FrontierCodexJobStartedHookInput) => Promise<void> | void;
112
+ export type FrontierCodexJobFinishedHook = (input: FrontierCodexJobFinishedHookInput) => Promise<void> | void;
113
+ export type FrontierCodexSwarmFinishedHook = (input: FrontierCodexSwarmFinishedHookInput) => Promise<void> | void;
114
+ export interface FrontierCodexSwarmRunOptions {
115
+ outDir: string;
116
+ cwd?: string;
117
+ codexPath?: string;
118
+ maxConcurrency?: number;
119
+ adaptiveConcurrency?: boolean | FrontierCodexAdaptiveConcurrencyOptions;
120
+ compactLogs?: boolean | FrontierCodexCompactLogOptions;
121
+ semanticImportExpected?: boolean;
122
+ workspace?: FrontierCodexSwarmWorkspaceInput;
123
+ sandbox?: string;
124
+ approval?: string | false;
125
+ model?: string | false;
126
+ modelPolicy?: FrontierCodexModelPolicy;
127
+ forwardPlanModel?: boolean;
128
+ forwardPlanReasoningEffort?: boolean;
129
+ reasoningEffort?: string | false;
130
+ profile?: string;
131
+ ephemeral?: boolean;
132
+ dryRun?: boolean;
133
+ runVerification?: boolean;
134
+ collectGitStatus?: boolean;
135
+ jobTimeoutMs?: number;
136
+ addDirs?: readonly string[];
137
+ executor?: FrontierCodexExecutor;
138
+ eventStream?: FrontierSwarmEventStream;
139
+ coordinatorSnapshotPath?: string;
140
+ pidManifestPath?: string;
141
+ prepareJobWorkspace?: FrontierCodexJobWorkspaceHook;
142
+ renderJobPrompt?: FrontierCodexJobPromptHook;
143
+ changedPathFilter?: FrontierCodexChangedPathFilter;
144
+ semanticImport?: boolean | FrontierCodexSemanticImportOptions;
145
+ onJobStarted?: FrontierCodexJobStartedHook;
146
+ onJobFinished?: FrontierCodexJobFinishedHook;
147
+ onSwarmFinished?: FrontierCodexSwarmFinishedHook;
148
+ }
149
+ export interface FrontierCodexSwarmRunResult {
150
+ ok: boolean;
151
+ outDir: string;
152
+ plan: FrontierSwarmPlan;
153
+ run: FrontierSwarmRun;
154
+ proof: ReturnType<typeof createSwarmProof>;
155
+ }
156
+ export interface FrontierCodexSwarmCliInput {
157
+ manifest: unknown;
158
+ tasks: unknown;
159
+ plan?: FrontierSwarmPlanInput;
160
+ }
161
+ //# sourceMappingURL=types-run.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types-run.d.ts","sourceRoot":"","sources":["../src/types-run.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,gBAAgB,EAChB,2BAA2B,EAG3B,iBAAiB,EACjB,sBAAsB,EACtB,gBAAgB,EAEjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,kCAAkC,EAAE,MAAM,qBAAqB,CAAC;AAC9E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAEvE,MAAM,MAAM,wBAAwB,GAAG,gBAAgB,GAAG,MAAM,GAAG,UAAU,CAAC;AAE9E,MAAM,MAAM,+BAA+B,GAAG,SAAS,GAAG,cAAc,GAAG,UAAU,GAAG,MAAM,CAAC;AAE/F,MAAM,WAAW,gCAAgC;IAC/C,IAAI,CAAC,EAAE,+BAA+B,CAAC;IACvC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,EAAE,OAAO,GAAG,OAAO,GAAG,aAAa,GAAG,MAAM,CAAC;IACtD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,uCAAuC;IACtD,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,SAAS,GAAG,cAAc,GAAG,UAAU,GAAG,YAAY,GAAG,MAAM,CAAC;IACvE,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,8BAA8B;IAC7C,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,+BAA+B;IAC9C,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5B,OAAO,CAAC,EAAE,8BAA8B,CAAC;CAC1C;AAED,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,0BAA0B;IACzC,GAAG,EAAE,gBAAgB,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,qBAAqB,CAAC;IAC7B,kBAAkB,EAAE,+BAA+B,CAAC;IACpD,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,8BAA8B,CAAC;CAC9C;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,uBAAuB,CAAC;IACrC,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,MAAM,qBAAqB,GAAG,CAAC,KAAK,EAAE,0BAA0B,KAAK,OAAO,CAAC,2BAA2B,CAAC,CAAC;AAEhH,MAAM,WAAW,yBAAyB;IACxC,GAAG,EAAE,gBAAgB,CAAC;IACtB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,0BAA0B,CAAC;IAC1C,KAAK,EAAE,qBAAqB,CAAC;IAC7B,kBAAkB,EAAE,+BAA+B,CAAC;CACrD;AAED,MAAM,WAAW,+BAAgC,SAAQ,yBAAyB;IAChF,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,gCAAiC,SAAQ,yBAAyB;IACjF,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED,MAAM,WAAW,iCAAiC;IAChD,GAAG,EAAE,gBAAgB,CAAC;IACtB,MAAM,EAAE,2BAA2B,CAAC;CACrC;AAED,MAAM,WAAW,mCAAmC;IAClD,MAAM,EAAE,2BAA2B,CAAC;CACrC;AAED,MAAM,MAAM,6BAA6B,GAAG,CAAC,KAAK,EAAE,yBAAyB,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAEvG,MAAM,MAAM,0BAA0B,GAAG,CAAC,KAAK,EAAE,+BAA+B,KAAK,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;AAE9G,MAAM,MAAM,8BAA8B,GAAG,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,yBAAyB,KAAK,SAAS,MAAM,EAAE,CAAC;AAE/H,MAAM,MAAM,2BAA2B,GAAG,CAAC,KAAK,EAAE,gCAAgC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAE5G,MAAM,MAAM,4BAA4B,GAAG,CAAC,KAAK,EAAE,iCAAiC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAE9G,MAAM,MAAM,8BAA8B,GAAG,CAAC,KAAK,EAAE,mCAAmC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAElH,MAAM,WAAW,4BAA4B;IAC3C,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,OAAO,GAAG,uCAAuC,CAAC;IACxE,WAAW,CAAC,EAAE,OAAO,GAAG,8BAA8B,CAAC;IACvD,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,SAAS,CAAC,EAAE,gCAAgC,CAAC;IAC7C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IACvB,WAAW,CAAC,EAAE,wBAAwB,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,0BAA0B,CAAC,EAAE,OAAO,CAAC;IACrC,eAAe,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,QAAQ,CAAC,EAAE,qBAAqB,CAAC;IACjC,WAAW,CAAC,EAAE,wBAAwB,CAAC;IACvC,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,mBAAmB,CAAC,EAAE,6BAA6B,CAAC;IACpD,eAAe,CAAC,EAAE,0BAA0B,CAAC;IAC7C,iBAAiB,CAAC,EAAE,8BAA8B,CAAC;IACnD,cAAc,CAAC,EAAE,OAAO,GAAG,kCAAkC,CAAC;IAC9D,YAAY,CAAC,EAAE,2BAA2B,CAAC;IAC3C,aAAa,CAAC,EAAE,4BAA4B,CAAC;IAC7C,eAAe,CAAC,EAAE,8BAA8B,CAAC;CAClD;AAED,MAAM,WAAW,2BAA2B;IAC1C,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,iBAAiB,CAAC;IACxB,GAAG,EAAE,gBAAgB,CAAC;IACtB,KAAK,EAAE,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAAC;CAC5C;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,sBAAsB,CAAC;CAC/B"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=types-run.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types-run.js","sourceRoot":"","sources":["../src/types-run.ts"],"names":[],"mappings":""}
@@ -0,0 +1,192 @@
1
+ import type { FRONTIER_SWARM_CODEX_SEMANTIC_IMPORT_KIND, FRONTIER_SWARM_CODEX_SEMANTIC_IMPORT_VERSION } from './constants.js';
2
+ export interface FrontierCodexSemanticImportOptions {
3
+ enabled?: boolean;
4
+ maxFiles?: number;
5
+ maxBytes?: number;
6
+ include?: readonly string[];
7
+ exclude?: readonly string[];
8
+ languages?: Readonly<Record<string, string>>;
9
+ }
10
+ export interface FrontierCodexSemanticImportRecord {
11
+ path: string;
12
+ language?: string;
13
+ status: 'imported' | 'skipped' | 'error';
14
+ reason?: string;
15
+ bytes?: number;
16
+ importId?: string;
17
+ universalAstHash?: string;
18
+ nativeAstId?: string;
19
+ nativeSourceId?: string;
20
+ sourceMapCount?: number;
21
+ sourceMapMappingCount?: number;
22
+ evidenceCount?: number;
23
+ lossCount?: number;
24
+ losses?: unknown;
25
+ semanticIndex?: {
26
+ documents: number;
27
+ symbols: number;
28
+ occurrences: number;
29
+ relations: number;
30
+ facts: number;
31
+ };
32
+ semanticSidecar?: unknown;
33
+ universalAstLayers?: FrontierCodexUniversalAstLayerSummary;
34
+ proofSpec?: FrontierCodexProofSpecSummary;
35
+ paradigmSemantics?: FrontierCodexParadigmSemanticsSummary;
36
+ sourceProjection?: unknown;
37
+ nativeCompile?: unknown;
38
+ mergeCandidate?: unknown;
39
+ error?: string;
40
+ }
41
+ export interface FrontierCodexUniversalAstLayerSummary {
42
+ total: number;
43
+ names: string[];
44
+ ids: string[];
45
+ byName: Record<string, number>;
46
+ empty: boolean;
47
+ }
48
+ export interface FrontierCodexProofSpecSummary {
49
+ total: number;
50
+ ids: string[];
51
+ contracts: number;
52
+ refinements: number;
53
+ invariants: number;
54
+ termination: number;
55
+ temporal: number;
56
+ obligations: number;
57
+ artifacts: number;
58
+ assumptions: number;
59
+ evidence: number;
60
+ discharged: number;
61
+ failed: number;
62
+ open: number;
63
+ unknown: number;
64
+ stale: number;
65
+ assumed: number;
66
+ contractKinds: string[];
67
+ artifactKinds: string[];
68
+ byStatus: Record<string, number>;
69
+ byContractKind: Record<string, number>;
70
+ byArtifactKind: Record<string, number>;
71
+ empty: boolean;
72
+ }
73
+ export interface FrontierCodexParadigmSemanticsSummary {
74
+ total: number;
75
+ ids: string[];
76
+ groups: string[];
77
+ kinds: string[];
78
+ evidence: number;
79
+ bindingScopes: number;
80
+ bindings: number;
81
+ patterns: number;
82
+ typeConstraints: number;
83
+ evaluationModels: number;
84
+ memoryLocations: number;
85
+ effectRegions: number;
86
+ controlRegions: number;
87
+ logicPrograms: number;
88
+ actorSystems: number;
89
+ stackEffects: number;
90
+ arrayShapes: number;
91
+ numericKernels: number;
92
+ dataflowNetworks: number;
93
+ clockModels: number;
94
+ objectModels: number;
95
+ macroExpansions: number;
96
+ reflectionBoundaries: number;
97
+ loweringRecords: number;
98
+ byGroup: Record<string, number>;
99
+ byKind: Record<string, number>;
100
+ hasRuntimeSemantics: boolean;
101
+ hasLogicSemantics: boolean;
102
+ hasStackSemantics: boolean;
103
+ hasArraySemantics: boolean;
104
+ hasMacroOrReflection: boolean;
105
+ hasLowering: boolean;
106
+ empty: boolean;
107
+ }
108
+ export interface FrontierCodexSemanticImportSidecar {
109
+ kind: typeof FRONTIER_SWARM_CODEX_SEMANTIC_IMPORT_KIND;
110
+ version: typeof FRONTIER_SWARM_CODEX_SEMANTIC_IMPORT_VERSION;
111
+ generatedAt: number;
112
+ jobId: string;
113
+ taskId?: string;
114
+ records: FrontierCodexSemanticImportRecord[];
115
+ summary: {
116
+ total: number;
117
+ selected: number;
118
+ selection: {
119
+ candidates: number;
120
+ ignored: number;
121
+ includeFiltered: number;
122
+ excludeFiltered: number;
123
+ unsupportedLanguage: number;
124
+ };
125
+ eligible: number;
126
+ omitted: number;
127
+ maxFiles: number;
128
+ imported: number;
129
+ skipped: number;
130
+ errors: number;
131
+ sourceMapCount: number;
132
+ sourceMapMappingCount: number;
133
+ lossCount: number;
134
+ lossesBySeverity: Record<string, number>;
135
+ semanticIndex: {
136
+ documents: number;
137
+ symbols: number;
138
+ occurrences: number;
139
+ relations: number;
140
+ facts: number;
141
+ };
142
+ semanticSidecars: {
143
+ total: number;
144
+ symbols: number;
145
+ ownershipRegions: number;
146
+ patchHints: number;
147
+ empty: number;
148
+ };
149
+ universalAstLayers: FrontierCodexUniversalAstLayerSummary;
150
+ proofSpec: FrontierCodexProofSpecSummary;
151
+ paradigmSemantics: FrontierCodexParadigmSemanticsSummary;
152
+ sourceProjections: {
153
+ total: number;
154
+ preserved: number;
155
+ stubs: number;
156
+ ready: number;
157
+ needsReview: number;
158
+ blocked: number;
159
+ };
160
+ nativeCompiles: {
161
+ total: number;
162
+ emitted: number;
163
+ preserved: number;
164
+ targetStubs: number;
165
+ ready: number;
166
+ needsReview: number;
167
+ blocked: number;
168
+ };
169
+ readiness: Record<string, number>;
170
+ };
171
+ }
172
+ export interface FrontierCodexSemanticImportQuality {
173
+ expected: boolean;
174
+ present: boolean;
175
+ empty: boolean;
176
+ selected: number;
177
+ eligible: number;
178
+ imported: number;
179
+ symbols: number;
180
+ ownershipRegions: number;
181
+ patchHints: number;
182
+ sourceMapMappings: number;
183
+ universalAstLayers: number;
184
+ universalAstLayerNames: string[];
185
+ proofSpecObligations: number;
186
+ proofSpecFailedObligations: number;
187
+ paradigmSemanticsRecords: number;
188
+ paradigmSemanticsGroups: number;
189
+ paradigmSemanticsLoweringRecords: number;
190
+ warnings: string[];
191
+ }
192
+ //# sourceMappingURL=types-semantic.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types-semantic.d.ts","sourceRoot":"","sources":["../src/types-semantic.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,yCAAyC,EACzC,4CAA4C,EAC7C,MAAM,gBAAgB,CAAC;AAExB,MAAM,WAAW,kCAAkC;IACjD,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC9C;AAED,MAAM,WAAW,iCAAiC;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAAC;IACzC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,aAAa,CAAC,EAAE;QACd,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC;QAClB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;IACF,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,kBAAkB,CAAC,EAAE,qCAAqC,CAAC;IAC3D,SAAS,CAAC,EAAE,6BAA6B,CAAC;IAC1C,iBAAiB,CAAC,EAAE,qCAAqC,CAAC;IAC1D,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,qCAAqC;IACpD,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,6BAA6B;IAC5C,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,qCAAqC;IACpD,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;IACxB,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,oBAAoB,EAAE,OAAO,CAAC;IAC9B,WAAW,EAAE,OAAO,CAAC;IACrB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,kCAAkC;IACjD,IAAI,EAAE,OAAO,yCAAyC,CAAC;IACvD,OAAO,EAAE,OAAO,4CAA4C,CAAC;IAC7D,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,iCAAiC,EAAE,CAAC;IAC7C,OAAO,EAAE;QACP,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,MAAM,CAAC;QACjB,SAAS,EAAE;YACT,UAAU,EAAE,MAAM,CAAC;YACnB,OAAO,EAAE,MAAM,CAAC;YAChB,eAAe,EAAE,MAAM,CAAC;YACxB,eAAe,EAAE,MAAM,CAAC;YACxB,mBAAmB,EAAE,MAAM,CAAC;SAC7B,CAAC;QACF,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC;QAChB,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,cAAc,EAAE,MAAM,CAAC;QACvB,qBAAqB,EAAE,MAAM,CAAC;QAC9B,SAAS,EAAE,MAAM,CAAC;QAClB,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACzC,aAAa,EAAE;YACb,SAAS,EAAE,MAAM,CAAC;YAClB,OAAO,EAAE,MAAM,CAAC;YAChB,WAAW,EAAE,MAAM,CAAC;YACpB,SAAS,EAAE,MAAM,CAAC;YAClB,KAAK,EAAE,MAAM,CAAC;SACf,CAAC;QACF,gBAAgB,EAAE;YAChB,KAAK,EAAE,MAAM,CAAC;YACd,OAAO,EAAE,MAAM,CAAC;YAChB,gBAAgB,EAAE,MAAM,CAAC;YACzB,UAAU,EAAE,MAAM,CAAC;YACnB,KAAK,EAAE,MAAM,CAAC;SACf,CAAC;QACF,kBAAkB,EAAE,qCAAqC,CAAC;QAC1D,SAAS,EAAE,6BAA6B,CAAC;QACzC,iBAAiB,EAAE,qCAAqC,CAAC;QACzD,iBAAiB,EAAE;YACjB,KAAK,EAAE,MAAM,CAAC;YACd,SAAS,EAAE,MAAM,CAAC;YAClB,KAAK,EAAE,MAAM,CAAC;YACd,KAAK,EAAE,MAAM,CAAC;YACd,WAAW,EAAE,MAAM,CAAC;YACpB,OAAO,EAAE,MAAM,CAAC;SACjB,CAAC;QACF,cAAc,EAAE;YACd,KAAK,EAAE,MAAM,CAAC;YACd,OAAO,EAAE,MAAM,CAAC;YAChB,SAAS,EAAE,MAAM,CAAC;YAClB,WAAW,EAAE,MAAM,CAAC;YACpB,KAAK,EAAE,MAAM,CAAC;YACd,WAAW,EAAE,MAAM,CAAC;YACpB,OAAO,EAAE,MAAM,CAAC;SACjB,CAAC;QACF,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KACnC,CAAC;CACH;AAED,MAAM,WAAW,kCAAkC;IACjD,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,0BAA0B,EAAE,MAAM,CAAC;IACnC,wBAAwB,EAAE,MAAM,CAAC;IACjC,uBAAuB,EAAE,MAAM,CAAC;IAChC,gCAAgC,EAAE,MAAM,CAAC;IACzC,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=types-semantic.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types-semantic.js","sourceRoot":"","sources":["../src/types-semantic.ts"],"names":[],"mappings":""}