forgeos 0.1.0-alpha.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 (540) hide show
  1. package/.npmignore +1 -0
  2. package/AGENTS.md +277 -0
  3. package/CHANGELOG.md +8 -0
  4. package/CONTRIBUTING.md +58 -0
  5. package/README.md +377 -0
  6. package/bin/forge-bun.mjs +110 -0
  7. package/bin/forge.mjs +19 -0
  8. package/package.json +96 -0
  9. package/packages/eslint-plugin-forge/index.ts +15 -0
  10. package/packages/eslint-plugin-forge/package.json +10 -0
  11. package/packages/eslint-plugin-forge/src/check-source.ts +95 -0
  12. package/packages/eslint-plugin-forge/src/load-artifacts.ts +24 -0
  13. package/packages/eslint-plugin-forge/src/rule-no-forge-guard-violation.ts +93 -0
  14. package/src/forge/_generated/actionSubscriptions.json +2 -0
  15. package/src/forge/_generated/actionSubscriptions.ts +10 -0
  16. package/src/forge/_generated/agentAdapterManifest.json +2 -0
  17. package/src/forge/_generated/agentAdapterManifest.ts +73 -0
  18. package/src/forge/_generated/agentContract.json +2 -0
  19. package/src/forge/_generated/agentContract.ts +912 -0
  20. package/src/forge/_generated/agentQuickstart.md +32 -0
  21. package/src/forge/_generated/aiContext.ts +59 -0
  22. package/src/forge/_generated/aiModels.json +2 -0
  23. package/src/forge/_generated/aiModels.ts +35 -0
  24. package/src/forge/_generated/aiProviders.json +2 -0
  25. package/src/forge/_generated/aiProviders.ts +23 -0
  26. package/src/forge/_generated/aiRegistry.json +2 -0
  27. package/src/forge/_generated/aiRegistry.ts +29 -0
  28. package/src/forge/_generated/api.json +2 -0
  29. package/src/forge/_generated/api.ts +8 -0
  30. package/src/forge/_generated/appGraph.json +2 -0
  31. package/src/forge/_generated/appGraph.ts +14511 -0
  32. package/src/forge/_generated/appMap.md +35 -0
  33. package/src/forge/_generated/artifactManifest.json +2 -0
  34. package/src/forge/_generated/artifactManifest.ts +7 -0
  35. package/src/forge/_generated/authClaims.json +2 -0
  36. package/src/forge/_generated/authClaims.ts +13 -0
  37. package/src/forge/_generated/authConfig.json +2 -0
  38. package/src/forge/_generated/authConfig.ts +17 -0
  39. package/src/forge/_generated/authContext.ts +23 -0
  40. package/src/forge/_generated/authRegistry.json +2 -0
  41. package/src/forge/_generated/authRegistry.ts +25 -0
  42. package/src/forge/_generated/buildInfo.json +2 -0
  43. package/src/forge/_generated/buildInfo.ts +9 -0
  44. package/src/forge/_generated/capabilityMap.json +2 -0
  45. package/src/forge/_generated/capabilityMap.md +15 -0
  46. package/src/forge/_generated/capabilityMap.ts +17 -0
  47. package/src/forge/_generated/client.ts +282 -0
  48. package/src/forge/_generated/clientApi.ts +9 -0
  49. package/src/forge/_generated/clientManifest.json +2 -0
  50. package/src/forge/_generated/clientManifest.ts +39 -0
  51. package/src/forge/_generated/clientTypes.ts +78 -0
  52. package/src/forge/_generated/configRegistry.json +2 -0
  53. package/src/forge/_generated/configRegistry.ts +4 -0
  54. package/src/forge/_generated/dataGraph.json +2 -0
  55. package/src/forge/_generated/dataGraph.ts +8 -0
  56. package/src/forge/_generated/db.json +2 -0
  57. package/src/forge/_generated/db.ts +2 -0
  58. package/src/forge/_generated/dbSecurityManifest.json +2 -0
  59. package/src/forge/_generated/dbSecurityManifest.ts +15 -0
  60. package/src/forge/_generated/dbSessionContext.json +2 -0
  61. package/src/forge/_generated/dbSessionContext.ts +39 -0
  62. package/src/forge/_generated/deployManifest.json +2 -0
  63. package/src/forge/_generated/deployManifest.ts +14 -0
  64. package/src/forge/_generated/devManifest.json +2 -0
  65. package/src/forge/_generated/devManifest.ts +47 -0
  66. package/src/forge/_generated/envSchema.json +2 -0
  67. package/src/forge/_generated/envSchema.ts +59 -0
  68. package/src/forge/_generated/frontendGraph.json +2 -0
  69. package/src/forge/_generated/frontendGraph.ts +27 -0
  70. package/src/forge/_generated/importGuards.json +2 -0
  71. package/src/forge/_generated/importGuards.ts +652 -0
  72. package/src/forge/_generated/index.ts +67 -0
  73. package/src/forge/_generated/liveProductionManifest.json +2 -0
  74. package/src/forge/_generated/liveProductionManifest.ts +23 -0
  75. package/src/forge/_generated/liveProtocol.json +2 -0
  76. package/src/forge/_generated/liveProtocol.ts +21 -0
  77. package/src/forge/_generated/liveQueryRegistry.json +2 -0
  78. package/src/forge/_generated/liveQueryRegistry.ts +9 -0
  79. package/src/forge/_generated/liveTransportConfig.json +2 -0
  80. package/src/forge/_generated/liveTransportConfig.ts +19 -0
  81. package/src/forge/_generated/makeRegistry.json +2 -0
  82. package/src/forge/_generated/makeRegistry.ts +163 -0
  83. package/src/forge/_generated/makeTemplates.json +2 -0
  84. package/src/forge/_generated/makeTemplates.ts +61 -0
  85. package/src/forge/_generated/mockMap.json +2 -0
  86. package/src/forge/_generated/mockMap.ts +7 -0
  87. package/src/forge/_generated/operationPlaybooks.md +145 -0
  88. package/src/forge/_generated/packageGraph.json +2 -0
  89. package/src/forge/_generated/packageGraph.ts +168569 -0
  90. package/src/forge/_generated/packageUpgradeRegistry.json +2 -0
  91. package/src/forge/_generated/packageUpgradeRegistry.ts +15 -0
  92. package/src/forge/_generated/permissionMatrix.json +2 -0
  93. package/src/forge/_generated/permissionMatrix.ts +7 -0
  94. package/src/forge/_generated/policyRegistry.json +2 -0
  95. package/src/forge/_generated/policyRegistry.ts +11 -0
  96. package/src/forge/_generated/queryRegistry.json +2 -0
  97. package/src/forge/_generated/queryRegistry.ts +9 -0
  98. package/src/forge/_generated/react.d.ts +22 -0
  99. package/src/forge/_generated/react.ts +29 -0
  100. package/src/forge/_generated/reactManifest.json +2 -0
  101. package/src/forge/_generated/reactManifest.ts +19 -0
  102. package/src/forge/_generated/releaseManifest.json +2 -0
  103. package/src/forge/_generated/releaseManifest.ts +25 -0
  104. package/src/forge/_generated/rlsPolicies.json +2 -0
  105. package/src/forge/_generated/rlsPolicies.sql +34 -0
  106. package/src/forge/_generated/rlsPolicies.ts +6 -0
  107. package/src/forge/_generated/runtimeGraph.json +2 -0
  108. package/src/forge/_generated/runtimeGraph.ts +8 -0
  109. package/src/forge/_generated/runtimeMatrix.json +2 -0
  110. package/src/forge/_generated/runtimeMatrix.ts +229125 -0
  111. package/src/forge/_generated/runtimeRegistry.ts +2 -0
  112. package/src/forge/_generated/runtimeRules.md +79 -0
  113. package/src/forge/_generated/secretRegistry.json +2 -0
  114. package/src/forge/_generated/secretRegistry.ts +50 -0
  115. package/src/forge/_generated/secretsContext.ts +11 -0
  116. package/src/forge/_generated/serverApi.ts +10 -0
  117. package/src/forge/_generated/sourceMapManifest.json +2 -0
  118. package/src/forge/_generated/sourceMapManifest.ts +7 -0
  119. package/src/forge/_generated/sqlPlan.json +2 -0
  120. package/src/forge/_generated/sqlPlan.ts +88 -0
  121. package/src/forge/_generated/subscriptionManifest.json +2 -0
  122. package/src/forge/_generated/subscriptionManifest.ts +7 -0
  123. package/src/forge/_generated/symbolicationManifest.json +2 -0
  124. package/src/forge/_generated/symbolicationManifest.ts +17 -0
  125. package/src/forge/_generated/telemetryRegistry.json +2 -0
  126. package/src/forge/_generated/telemetryRegistry.ts +9 -0
  127. package/src/forge/_generated/telemetrySinks.json +2 -0
  128. package/src/forge/_generated/telemetrySinks.ts +11 -0
  129. package/src/forge/_generated/tenantScope.json +2 -0
  130. package/src/forge/_generated/tenantScope.ts +8 -0
  131. package/src/forge/_generated/testGraph.json +2 -0
  132. package/src/forge/_generated/testGraph.ts +3054 -0
  133. package/src/forge/_generated/testPlanRegistry.json +2 -0
  134. package/src/forge/_generated/testPlanRegistry.ts +33 -0
  135. package/src/forge/_generated/uiRoutes.json +2 -0
  136. package/src/forge/_generated/uiRoutes.ts +16 -0
  137. package/src/forge/_generated/uiScenarios.json +2 -0
  138. package/src/forge/_generated/uiScenarios.ts +30 -0
  139. package/src/forge/_generated/uiTestManifest.json +2 -0
  140. package/src/forge/_generated/uiTestManifest.ts +27 -0
  141. package/src/forge/_generated/workflowRegistry.json +2 -0
  142. package/src/forge/_generated/workflowRegistry.ts +9 -0
  143. package/src/forge/_generated/workflowSubscriptions.json +2 -0
  144. package/src/forge/_generated/workflowSubscriptions.ts +10 -0
  145. package/src/forge/agent-adapters/index.ts +1002 -0
  146. package/src/forge/agent-adapters/types.ts +135 -0
  147. package/src/forge/cli/agent-contract.ts +50 -0
  148. package/src/forge/cli/ai.ts +148 -0
  149. package/src/forge/cli/auth.ts +198 -0
  150. package/src/forge/cli/build.ts +105 -0
  151. package/src/forge/cli/bun-exec.ts +4 -0
  152. package/src/forge/cli/commands.ts +1130 -0
  153. package/src/forge/cli/db.ts +316 -0
  154. package/src/forge/cli/deps.ts +277 -0
  155. package/src/forge/cli/dev.ts +529 -0
  156. package/src/forge/cli/doctor.ts +209 -0
  157. package/src/forge/cli/feature.ts +485 -0
  158. package/src/forge/cli/index.ts +25 -0
  159. package/src/forge/cli/lint-forge.ts +119 -0
  160. package/src/forge/cli/live.ts +179 -0
  161. package/src/forge/cli/main.ts +92 -0
  162. package/src/forge/cli/make.ts +133 -0
  163. package/src/forge/cli/new.ts +505 -0
  164. package/src/forge/cli/outbox.ts +297 -0
  165. package/src/forge/cli/output.ts +114 -0
  166. package/src/forge/cli/parse.ts +2211 -0
  167. package/src/forge/cli/policy.ts +204 -0
  168. package/src/forge/cli/query.ts +91 -0
  169. package/src/forge/cli/refactor.ts +221 -0
  170. package/src/forge/cli/release.ts +285 -0
  171. package/src/forge/cli/rls.ts +322 -0
  172. package/src/forge/cli/run.ts +76 -0
  173. package/src/forge/cli/secrets.ts +274 -0
  174. package/src/forge/cli/self-host.ts +468 -0
  175. package/src/forge/cli/serve.ts +93 -0
  176. package/src/forge/cli/telemetry.ts +219 -0
  177. package/src/forge/cli/verify.ts +587 -0
  178. package/src/forge/cli/version.ts +1 -0
  179. package/src/forge/cli/windows.ts +413 -0
  180. package/src/forge/cli/worker.ts +87 -0
  181. package/src/forge/cli/workflow.ts +424 -0
  182. package/src/forge/compiler/action-subscriptions/build.ts +116 -0
  183. package/src/forge/compiler/action-subscriptions/constants.ts +2 -0
  184. package/src/forge/compiler/action-subscriptions/index.ts +6 -0
  185. package/src/forge/compiler/action-subscriptions/parse.ts +6 -0
  186. package/src/forge/compiler/agent-contract/build.ts +1651 -0
  187. package/src/forge/compiler/agent-contract/types.ts +326 -0
  188. package/src/forge/compiler/ai-registry/build.ts +165 -0
  189. package/src/forge/compiler/ai-registry/constants.ts +2 -0
  190. package/src/forge/compiler/ai-registry/parse.ts +56 -0
  191. package/src/forge/compiler/api-surface/build.ts +107 -0
  192. package/src/forge/compiler/app-graph/build.ts +121 -0
  193. package/src/forge/compiler/app-graph/classify.ts +10 -0
  194. package/src/forge/compiler/app-graph/dup-symbol.ts +29 -0
  195. package/src/forge/compiler/app-graph/extract.ts +124 -0
  196. package/src/forge/compiler/app-graph/forge-apis.ts +29 -0
  197. package/src/forge/compiler/app-graph/index.ts +15 -0
  198. package/src/forge/compiler/app-graph/module-graph.ts +320 -0
  199. package/src/forge/compiler/app-graph/parser.ts +119 -0
  200. package/src/forge/compiler/app-graph/symbols.ts +48 -0
  201. package/src/forge/compiler/app-graph/tsconfig-hash.ts +62 -0
  202. package/src/forge/compiler/app-graph/types.ts +43 -0
  203. package/src/forge/compiler/app-graph/versions.ts +14 -0
  204. package/src/forge/compiler/cache/index.ts +17 -0
  205. package/src/forge/compiler/cache/key.ts +46 -0
  206. package/src/forge/compiler/cache/scheduler.ts +72 -0
  207. package/src/forge/compiler/cache/store.ts +78 -0
  208. package/src/forge/compiler/classifier/capabilities.ts +78 -0
  209. package/src/forge/compiler/classifier/classify.ts +113 -0
  210. package/src/forge/compiler/classifier/contexts.ts +188 -0
  211. package/src/forge/compiler/classifier/index.ts +18 -0
  212. package/src/forge/compiler/classifier/runtime-matrix.ts +45 -0
  213. package/src/forge/compiler/classifier/secrets.ts +41 -0
  214. package/src/forge/compiler/classifier/signals.ts +129 -0
  215. package/src/forge/compiler/client-sdk/build-manifest.ts +151 -0
  216. package/src/forge/compiler/client-sdk/render-client.ts +432 -0
  217. package/src/forge/compiler/data-graph/build.ts +131 -0
  218. package/src/forge/compiler/data-graph/constants.ts +5 -0
  219. package/src/forge/compiler/data-graph/index.ts +6 -0
  220. package/src/forge/compiler/data-graph/parse.ts +176 -0
  221. package/src/forge/compiler/data-graph/rls/build.ts +222 -0
  222. package/src/forge/compiler/data-graph/rls/types.ts +62 -0
  223. package/src/forge/compiler/data-graph/sql/ddl.ts +390 -0
  224. package/src/forge/compiler/data-graph/sql/naming.ts +10 -0
  225. package/src/forge/compiler/data-graph/sql/serialize.ts +85 -0
  226. package/src/forge/compiler/data-graph/sql/types.ts +37 -0
  227. package/src/forge/compiler/dev-manifest/build.ts +170 -0
  228. package/src/forge/compiler/dev-manifest/constants.ts +5 -0
  229. package/src/forge/compiler/diagnostics/codes.ts +611 -0
  230. package/src/forge/compiler/diagnostics/create.ts +245 -0
  231. package/src/forge/compiler/diagnostics/index.ts +55 -0
  232. package/src/forge/compiler/emitter/artifact-kind.ts +14 -0
  233. package/src/forge/compiler/emitter/barrel.ts +44 -0
  234. package/src/forge/compiler/emitter/constants.ts +7 -0
  235. package/src/forge/compiler/emitter/emit.ts +237 -0
  236. package/src/forge/compiler/emitter/index.ts +24 -0
  237. package/src/forge/compiler/emitter/lock.ts +62 -0
  238. package/src/forge/compiler/emitter/render.ts +73 -0
  239. package/src/forge/compiler/emitter/write.ts +35 -0
  240. package/src/forge/compiler/frontend-graph/build.ts +495 -0
  241. package/src/forge/compiler/fs/index.ts +23 -0
  242. package/src/forge/compiler/fs/memory.ts +233 -0
  243. package/src/forge/compiler/fs/node.ts +139 -0
  244. package/src/forge/compiler/fs/profile.ts +108 -0
  245. package/src/forge/compiler/fs/types.ts +52 -0
  246. package/src/forge/compiler/guards/artifacts.ts +96 -0
  247. package/src/forge/compiler/guards/check-ai-usage.ts +98 -0
  248. package/src/forge/compiler/guards/check-import-guards.ts +106 -0
  249. package/src/forge/compiler/guards/check-process-env.ts +98 -0
  250. package/src/forge/compiler/guards/check-query-usage.ts +76 -0
  251. package/src/forge/compiler/guards/index.ts +11 -0
  252. package/src/forge/compiler/guards/propagate-contexts.ts +57 -0
  253. package/src/forge/compiler/index.ts +17 -0
  254. package/src/forge/compiler/integration/add.ts +496 -0
  255. package/src/forge/compiler/integration/index.ts +17 -0
  256. package/src/forge/compiler/integration/plan.ts +283 -0
  257. package/src/forge/compiler/integration/render.ts +189 -0
  258. package/src/forge/compiler/integration/snapshot.ts +52 -0
  259. package/src/forge/compiler/integration/templates/ai.ts +131 -0
  260. package/src/forge/compiler/integration/templates/index.ts +8 -0
  261. package/src/forge/compiler/integration/templates/posthog.ts +145 -0
  262. package/src/forge/compiler/integration/templates/render.ts +113 -0
  263. package/src/forge/compiler/integration/templates/sentry.ts +151 -0
  264. package/src/forge/compiler/integration/templates/stripe.ts +109 -0
  265. package/src/forge/compiler/integration/templates/types.ts +14 -0
  266. package/src/forge/compiler/integration/templates/zod.ts +55 -0
  267. package/src/forge/compiler/live-production/types.ts +122 -0
  268. package/src/forge/compiler/live-query-registry/build.ts +150 -0
  269. package/src/forge/compiler/live-query-registry/constants.ts +2 -0
  270. package/src/forge/compiler/make-registry/build.ts +179 -0
  271. package/src/forge/compiler/orchestrator/discover.ts +214 -0
  272. package/src/forge/compiler/orchestrator/fast-check.ts +117 -0
  273. package/src/forge/compiler/orchestrator/generate-lock.ts +138 -0
  274. package/src/forge/compiler/orchestrator/guards.ts +5 -0
  275. package/src/forge/compiler/orchestrator/index.ts +27 -0
  276. package/src/forge/compiler/orchestrator/manifest-hashes.ts +21 -0
  277. package/src/forge/compiler/orchestrator/manifest.ts +92 -0
  278. package/src/forge/compiler/orchestrator/orphans.ts +51 -0
  279. package/src/forge/compiler/orchestrator/plan.ts +876 -0
  280. package/src/forge/compiler/orchestrator/profile.ts +36 -0
  281. package/src/forge/compiler/orchestrator/run.ts +277 -0
  282. package/src/forge/compiler/orchestrator/serialize.ts +886 -0
  283. package/src/forge/compiler/orchestrator/session.ts +96 -0
  284. package/src/forge/compiler/orchestrator/types.ts +31 -0
  285. package/src/forge/compiler/orchestrator/verify.ts +38 -0
  286. package/src/forge/compiler/orchestrator/workspace-index.ts +154 -0
  287. package/src/forge/compiler/package-graph/capabilities-stub.ts +33 -0
  288. package/src/forge/compiler/package-graph/checksum.ts +97 -0
  289. package/src/forge/compiler/package-graph/compiler.ts +392 -0
  290. package/src/forge/compiler/package-graph/constants.ts +4 -0
  291. package/src/forge/compiler/package-graph/dts-extractor.ts +142 -0
  292. package/src/forge/compiler/package-graph/exports-discovery.ts +84 -0
  293. package/src/forge/compiler/package-graph/extract-dts.ts +32 -0
  294. package/src/forge/compiler/package-graph/index.ts +33 -0
  295. package/src/forge/compiler/package-graph/jsdoc.ts +62 -0
  296. package/src/forge/compiler/package-graph/read-file.ts +21 -0
  297. package/src/forge/compiler/package-graph/resolve.ts +127 -0
  298. package/src/forge/compiler/package-manager/adapter.ts +237 -0
  299. package/src/forge/compiler/package-manager/bun-executable.ts +92 -0
  300. package/src/forge/compiler/package-manager/commands.ts +47 -0
  301. package/src/forge/compiler/package-manager/detect.ts +79 -0
  302. package/src/forge/compiler/package-manager/executor.ts +117 -0
  303. package/src/forge/compiler/package-manager/index.ts +22 -0
  304. package/src/forge/compiler/package-manager/parse-spec.ts +16 -0
  305. package/src/forge/compiler/package-manager/version.ts +27 -0
  306. package/src/forge/compiler/package-upgrades/apply.ts +195 -0
  307. package/src/forge/compiler/package-upgrades/comparator.ts +181 -0
  308. package/src/forge/compiler/package-upgrades/impact.ts +139 -0
  309. package/src/forge/compiler/package-upgrades/markdown.ts +97 -0
  310. package/src/forge/compiler/package-upgrades/planner.ts +532 -0
  311. package/src/forge/compiler/package-upgrades/risk.ts +208 -0
  312. package/src/forge/compiler/package-upgrades/types.ts +174 -0
  313. package/src/forge/compiler/policy-registry/build.ts +266 -0
  314. package/src/forge/compiler/policy-registry/constants.ts +2 -0
  315. package/src/forge/compiler/policy-registry/parse.ts +81 -0
  316. package/src/forge/compiler/primitives/compare.ts +26 -0
  317. package/src/forge/compiler/primitives/hash.ts +40 -0
  318. package/src/forge/compiler/primitives/header.ts +45 -0
  319. package/src/forge/compiler/primitives/index.ts +45 -0
  320. package/src/forge/compiler/primitives/paths.ts +24 -0
  321. package/src/forge/compiler/primitives/result.ts +164 -0
  322. package/src/forge/compiler/primitives/serialize.ts +66 -0
  323. package/src/forge/compiler/primitives/sort.ts +87 -0
  324. package/src/forge/compiler/query-registry/build.ts +114 -0
  325. package/src/forge/compiler/query-registry/constants.ts +2 -0
  326. package/src/forge/compiler/recipes/definitions.ts +289 -0
  327. package/src/forge/compiler/recipes/helpers.ts +37 -0
  328. package/src/forge/compiler/recipes/index.ts +21 -0
  329. package/src/forge/compiler/recipes/registry.ts +102 -0
  330. package/src/forge/compiler/release/build.ts +100 -0
  331. package/src/forge/compiler/release/types.ts +119 -0
  332. package/src/forge/compiler/runtime-graph/build.ts +137 -0
  333. package/src/forge/compiler/runtime-graph/constants.ts +5 -0
  334. package/src/forge/compiler/runtime-graph/index.ts +5 -0
  335. package/src/forge/compiler/sandbox/artifact-sanitize.ts +26 -0
  336. package/src/forge/compiler/sandbox/backends/child.ts +123 -0
  337. package/src/forge/compiler/sandbox/backends/docker.ts +173 -0
  338. package/src/forge/compiler/sandbox/index.ts +51 -0
  339. package/src/forge/compiler/sandbox/inspect.ts +143 -0
  340. package/src/forge/compiler/sandbox/inspector-entry.ts +115 -0
  341. package/src/forge/compiler/sandbox/limits.ts +31 -0
  342. package/src/forge/compiler/sandbox/scrub-env.ts +60 -0
  343. package/src/forge/compiler/sandbox/secret-scan.ts +54 -0
  344. package/src/forge/compiler/sandbox/serialize.ts +106 -0
  345. package/src/forge/compiler/sandbox/types.ts +7 -0
  346. package/src/forge/compiler/secret-registry/build.ts +123 -0
  347. package/src/forge/compiler/telemetry-registry/build.ts +89 -0
  348. package/src/forge/compiler/telemetry-registry/constants.ts +2 -0
  349. package/src/forge/compiler/telemetry-registry/parse.ts +13 -0
  350. package/src/forge/compiler/test-graph/build.ts +277 -0
  351. package/src/forge/compiler/types/action-subscriptions.ts +19 -0
  352. package/src/forge/compiler/types/ai-registry.ts +33 -0
  353. package/src/forge/compiler/types/app-graph.ts +80 -0
  354. package/src/forge/compiler/types/capability.ts +29 -0
  355. package/src/forge/compiler/types/classification.ts +9 -0
  356. package/src/forge/compiler/types/cli.ts +159 -0
  357. package/src/forge/compiler/types/data-graph.ts +24 -0
  358. package/src/forge/compiler/types/dev-manifest.ts +41 -0
  359. package/src/forge/compiler/types/diagnostic.ts +12 -0
  360. package/src/forge/compiler/types/emit.ts +25 -0
  361. package/src/forge/compiler/types/frontend-graph.ts +81 -0
  362. package/src/forge/compiler/types/import-guards.ts +19 -0
  363. package/src/forge/compiler/types/index.ts +98 -0
  364. package/src/forge/compiler/types/integration.ts +25 -0
  365. package/src/forge/compiler/types/json.ts +3 -0
  366. package/src/forge/compiler/types/live-query-registry.ts +32 -0
  367. package/src/forge/compiler/types/lock.ts +37 -0
  368. package/src/forge/compiler/types/package-graph.ts +84 -0
  369. package/src/forge/compiler/types/policy-registry.ts +69 -0
  370. package/src/forge/compiler/types/query-registry.ts +18 -0
  371. package/src/forge/compiler/types/runtime-graph.ts +30 -0
  372. package/src/forge/compiler/types/runtime-matrix.ts +16 -0
  373. package/src/forge/compiler/types/runtime.ts +30 -0
  374. package/src/forge/compiler/types/sandbox.ts +24 -0
  375. package/src/forge/compiler/types/secret-registry.ts +38 -0
  376. package/src/forge/compiler/types/telemetry-registry.ts +26 -0
  377. package/src/forge/compiler/types/test-graph.ts +45 -0
  378. package/src/forge/compiler/types/workflow-registry.ts +42 -0
  379. package/src/forge/compiler/workflow-registry/build.ts +180 -0
  380. package/src/forge/compiler/workflow-registry/constants.ts +2 -0
  381. package/src/forge/compiler/workflow-registry/index.ts +5 -0
  382. package/src/forge/compiler/workflow-registry/parse.ts +19 -0
  383. package/src/forge/dev/server.ts +1379 -0
  384. package/src/forge/dev/types.ts +49 -0
  385. package/src/forge/dev/watch.ts +109 -0
  386. package/src/forge/dev-console/cycle.ts +652 -0
  387. package/src/forge/dev-console/types.ts +99 -0
  388. package/src/forge/feature/compiler.ts +656 -0
  389. package/src/forge/feature/examples.ts +125 -0
  390. package/src/forge/feature/types.ts +177 -0
  391. package/src/forge/impact/index.ts +1160 -0
  392. package/src/forge/impact/types.ts +151 -0
  393. package/src/forge/intent/index.ts +490 -0
  394. package/src/forge/intent/types.ts +73 -0
  395. package/src/forge/make/fields.ts +146 -0
  396. package/src/forge/make/index.ts +1101 -0
  397. package/src/forge/make/naming.ts +42 -0
  398. package/src/forge/make/templates.ts +525 -0
  399. package/src/forge/make/types.ts +151 -0
  400. package/src/forge/platform/module.ts +20 -0
  401. package/src/forge/policy.ts +1 -0
  402. package/src/forge/react/index.ts +418 -0
  403. package/src/forge/refactor/index.ts +1936 -0
  404. package/src/forge/refactor/text-utils.ts +34 -0
  405. package/src/forge/refactor/types.ts +191 -0
  406. package/src/forge/refactor/workspace-fs.ts +171 -0
  407. package/src/forge/repair/index.ts +656 -0
  408. package/src/forge/repair/rules/index.ts +476 -0
  409. package/src/forge/repair/types.ts +175 -0
  410. package/src/forge/review/index.ts +992 -0
  411. package/src/forge/review/types.ts +196 -0
  412. package/src/forge/runtime/ai/check.ts +86 -0
  413. package/src/forge/runtime/ai/context.ts +394 -0
  414. package/src/forge/runtime/ai/cost-estimator.ts +41 -0
  415. package/src/forge/runtime/ai/mock.ts +49 -0
  416. package/src/forge/runtime/ai/providers.ts +78 -0
  417. package/src/forge/runtime/ai/state.ts +17 -0
  418. package/src/forge/runtime/ai/types.ts +67 -0
  419. package/src/forge/runtime/auth/authenticate.ts +58 -0
  420. package/src/forge/runtime/auth/claims.ts +119 -0
  421. package/src/forge/runtime/auth/config.ts +148 -0
  422. package/src/forge/runtime/auth/errors.ts +45 -0
  423. package/src/forge/runtime/auth/evaluate.ts +126 -0
  424. package/src/forge/runtime/auth/resolve.ts +74 -0
  425. package/src/forge/runtime/auth/types.ts +87 -0
  426. package/src/forge/runtime/auth/verifier.ts +138 -0
  427. package/src/forge/runtime/context/create-context.ts +204 -0
  428. package/src/forge/runtime/context/create-query-context.ts +34 -0
  429. package/src/forge/runtime/db/adapter.ts +31 -0
  430. package/src/forge/runtime/db/factory.ts +83 -0
  431. package/src/forge/runtime/db/generated-client.ts +294 -0
  432. package/src/forge/runtime/db/memory-adapter.ts +706 -0
  433. package/src/forge/runtime/db/migrate.ts +132 -0
  434. package/src/forge/runtime/db/outbox.ts +54 -0
  435. package/src/forge/runtime/db/pglite-adapter.ts +51 -0
  436. package/src/forge/runtime/db/postgres-adapter.ts +112 -0
  437. package/src/forge/runtime/db/read-only-client.ts +97 -0
  438. package/src/forge/runtime/db/session-context.ts +62 -0
  439. package/src/forge/runtime/executor.ts +446 -0
  440. package/src/forge/runtime/live/dependency-tracker.ts +57 -0
  441. package/src/forge/runtime/live/invalidation-log.ts +189 -0
  442. package/src/forge/runtime/live/live-query-runner.ts +267 -0
  443. package/src/forge/runtime/live/registry.ts +28 -0
  444. package/src/forge/runtime/live/sse.ts +75 -0
  445. package/src/forge/runtime/live/subscription-manager.ts +443 -0
  446. package/src/forge/runtime/live/types.ts +143 -0
  447. package/src/forge/runtime/outbox/claim.ts +153 -0
  448. package/src/forge/runtime/outbox/process.ts +298 -0
  449. package/src/forge/runtime/outbox/retry.ts +8 -0
  450. package/src/forge/runtime/outbox/subscriptions.ts +33 -0
  451. package/src/forge/runtime/outbox/types.ts +69 -0
  452. package/src/forge/runtime/policy/check.ts +157 -0
  453. package/src/forge/runtime/policy/load.ts +55 -0
  454. package/src/forge/runtime/query/registry.ts +19 -0
  455. package/src/forge/runtime/query/run-query.ts +347 -0
  456. package/src/forge/runtime/release/runtime.ts +322 -0
  457. package/src/forge/runtime/release/symbolicate.ts +175 -0
  458. package/src/forge/runtime/runner/command-transaction.ts +193 -0
  459. package/src/forge/runtime/runner/run-entry.ts +226 -0
  460. package/src/forge/runtime/secrets/check.ts +78 -0
  461. package/src/forge/runtime/secrets/create-context.ts +138 -0
  462. package/src/forge/runtime/secrets/env-loader.ts +94 -0
  463. package/src/forge/runtime/secrets/runtime-bundle.ts +47 -0
  464. package/src/forge/runtime/secrets/types.ts +31 -0
  465. package/src/forge/runtime/telemetry/buffer.ts +87 -0
  466. package/src/forge/runtime/telemetry/context.ts +192 -0
  467. package/src/forge/runtime/telemetry/correlation.ts +13 -0
  468. package/src/forge/runtime/telemetry/flush.ts +190 -0
  469. package/src/forge/runtime/telemetry/process.ts +20 -0
  470. package/src/forge/runtime/telemetry/scrubber.ts +115 -0
  471. package/src/forge/runtime/telemetry/sinks/local-jsonl.ts +39 -0
  472. package/src/forge/runtime/telemetry/sinks/posthog.ts +64 -0
  473. package/src/forge/runtime/telemetry/sinks/sentry.ts +60 -0
  474. package/src/forge/runtime/telemetry/spans.ts +58 -0
  475. package/src/forge/runtime/telemetry/types.ts +64 -0
  476. package/src/forge/runtime/workflows/cancel.ts +26 -0
  477. package/src/forge/runtime/workflows/create-run.ts +98 -0
  478. package/src/forge/runtime/workflows/process-run.ts +182 -0
  479. package/src/forge/runtime/workflows/process-step.ts +190 -0
  480. package/src/forge/runtime/workflows/process.ts +260 -0
  481. package/src/forge/runtime/workflows/registry.ts +51 -0
  482. package/src/forge/runtime/workflows/resolve-step.ts +46 -0
  483. package/src/forge/runtime/workflows/retry-run.ts +44 -0
  484. package/src/forge/runtime/workflows/retry.ts +8 -0
  485. package/src/forge/runtime/workflows/sanitize.ts +19 -0
  486. package/src/forge/runtime/workflows/start-from-outbox.ts +71 -0
  487. package/src/forge/runtime/workflows/types.ts +77 -0
  488. package/src/forge/server.ts +96 -0
  489. package/src/forge/ui/index.ts +770 -0
  490. package/src/forge/ui/types.ts +191 -0
  491. package/templates/b2b-support-web/.env.example +22 -0
  492. package/templates/b2b-support-web/.vscode/settings.json +14 -0
  493. package/templates/b2b-support-web/AGENTS.md +108 -0
  494. package/templates/b2b-support-web/README.md +48 -0
  495. package/templates/b2b-support-web/forge.config.ts +3 -0
  496. package/templates/b2b-support-web/package.json +34 -0
  497. package/templates/b2b-support-web/src/actions/captureTicketCreated.ts +14 -0
  498. package/templates/b2b-support-web/src/commands/closeTicket.ts +20 -0
  499. package/templates/b2b-support-web/src/commands/createTicket.ts +47 -0
  500. package/templates/b2b-support-web/src/commands/manageBilling.ts +9 -0
  501. package/templates/b2b-support-web/src/forge/schema.ts +35 -0
  502. package/templates/b2b-support-web/src/policies.ts +9 -0
  503. package/templates/b2b-support-web/src/queries/getTicket.ts +6 -0
  504. package/templates/b2b-support-web/src/queries/listTickets.ts +6 -0
  505. package/templates/b2b-support-web/src/queries/liveTickets.ts +9 -0
  506. package/templates/b2b-support-web/src/workflows/triageTicketWorkflow.ts +64 -0
  507. package/templates/b2b-support-web/tsconfig.json +14 -0
  508. package/templates/b2b-support-web/web/app/globals.css +77 -0
  509. package/templates/b2b-support-web/web/app/layout.tsx +13 -0
  510. package/templates/b2b-support-web/web/app/page.tsx +13 -0
  511. package/templates/b2b-support-web/web/app/providers.tsx +21 -0
  512. package/templates/b2b-support-web/web/app/tickets/page.tsx +21 -0
  513. package/templates/b2b-support-web/web/components/CreateTicketForm.tsx +43 -0
  514. package/templates/b2b-support-web/web/components/PolicyDeniedDemo.tsx +31 -0
  515. package/templates/b2b-support-web/web/components/TicketList.tsx +52 -0
  516. package/templates/b2b-support-web/web/components/TraceDetails.tsx +18 -0
  517. package/templates/b2b-support-web/web/components/TriageStatus.tsx +13 -0
  518. package/templates/b2b-support-web/web/lib/forge.ts +13 -0
  519. package/templates/b2b-support-web/web/next-env.d.ts +5 -0
  520. package/templates/b2b-support-web/web/next.config.ts +8 -0
  521. package/templates/b2b-support-web/web/package.json +21 -0
  522. package/templates/b2b-support-web/web/tsconfig.json +30 -0
  523. package/templates/minimal-web/.vscode/settings.json +14 -0
  524. package/templates/minimal-web/README.md +21 -0
  525. package/templates/minimal-web/forge.config.ts +3 -0
  526. package/templates/minimal-web/package.json +32 -0
  527. package/templates/minimal-web/src/actions/logNoteCreated.ts +11 -0
  528. package/templates/minimal-web/src/commands/createNote.ts +26 -0
  529. package/templates/minimal-web/src/forge/schema.ts +12 -0
  530. package/templates/minimal-web/src/policies.ts +6 -0
  531. package/templates/minimal-web/src/queries/listNotes.ts +8 -0
  532. package/templates/minimal-web/src/queries/liveNotes.ts +8 -0
  533. package/templates/minimal-web/tsconfig.json +15 -0
  534. package/templates/minimal-web/web/index.html +12 -0
  535. package/templates/minimal-web/web/package.json +21 -0
  536. package/templates/minimal-web/web/src/App.tsx +89 -0
  537. package/templates/minimal-web/web/src/lib/forge.ts +13 -0
  538. package/templates/minimal-web/web/src/main.tsx +13 -0
  539. package/templates/minimal-web/web/src/styles.css +156 -0
  540. package/templates/minimal-web/web/tsconfig.json +18 -0
@@ -0,0 +1,209 @@
1
+ import { nodeFileSystem } from "../compiler/fs/index.ts";
2
+ import { join } from "node:path";
3
+ import { GENERATED_DIR } from "../compiler/emitter/constants.ts";
4
+ import { run as runGenerate } from "../compiler/orchestrator/run.ts";
5
+ import { stripDeterministicHeader } from "../compiler/primitives/header.ts";
6
+ import type { TableMapEntry } from "../compiler/data-graph/sql/serialize.ts";
7
+ import type { FrontendGraph } from "../compiler/types/frontend-graph.ts";
8
+ import type { Diagnostic } from "../compiler/types/diagnostic.ts";
9
+
10
+ export interface DoctorCheck {
11
+ name: string;
12
+ ok: boolean;
13
+ severity: "error" | "warning";
14
+ message?: string;
15
+ }
16
+
17
+ export interface DoctorResult {
18
+ ok: boolean;
19
+ checks: DoctorCheck[];
20
+ exitCode: 0 | 1;
21
+ }
22
+
23
+ function present(workspaceRoot: string, name: string, relative: string): DoctorCheck {
24
+ const ok = nodeFileSystem.exists(join(workspaceRoot, relative));
25
+ return {
26
+ name,
27
+ ok,
28
+ severity: "error",
29
+ message: ok ? undefined : `missing ${relative}`,
30
+ };
31
+ }
32
+
33
+ function readGeneratedJson<T>(workspaceRoot: string, relative: string): T | null {
34
+ const absolute = join(workspaceRoot, relative);
35
+ if (!nodeFileSystem.exists(absolute)) {
36
+ return null;
37
+ }
38
+ try {
39
+ return JSON.parse(stripDeterministicHeader(nodeFileSystem.readText(absolute) ?? "")) as T;
40
+ } catch {
41
+ return null;
42
+ }
43
+ }
44
+
45
+ function isUuidLike(value: string): boolean {
46
+ return /^[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/i.test(value);
47
+ }
48
+
49
+ function hasUuidTenantColumns(tableMap: Record<string, TableMapEntry>): boolean {
50
+ return Object.values(tableMap).some((entry) => {
51
+ if (!entry.tenantScoped || !entry.tenantIdColumn) {
52
+ return false;
53
+ }
54
+ return entry.columns.some(
55
+ (column) => column.name === entry.tenantIdColumn && column.sqlType === "uuid",
56
+ );
57
+ });
58
+ }
59
+
60
+ function frontendDiagnosticChecks(frontendGraph: FrontendGraph | null): DoctorCheck[] {
61
+ return (frontendGraph?.diagnostics ?? []).map((diagnostic, index) => ({
62
+ name: `frontend-diagnostic-${index + 1}`,
63
+ ok: false,
64
+ severity: diagnostic.severity === "error" ? "error" : "warning",
65
+ message: `${diagnostic.code}: ${diagnostic.fixHint ?? diagnostic.message}`,
66
+ }));
67
+ }
68
+
69
+ function capabilityDiagnosticChecks(capabilityMap: { diagnostics?: Diagnostic[] } | null): DoctorCheck[] {
70
+ return (capabilityMap?.diagnostics ?? []).map((diagnostic, index) => ({
71
+ name: `capability-diagnostic-${index + 1}`,
72
+ ok: false,
73
+ severity: diagnostic.severity === "error" ? "error" as const : "warning" as const,
74
+ message: `${diagnostic.code}: ${diagnostic.fixHint ?? diagnostic.message}`,
75
+ }));
76
+ }
77
+
78
+ function frontendDevAuthChecks(
79
+ frontendGraph: FrontendGraph | null,
80
+ tableMap: Record<string, TableMapEntry>,
81
+ ): DoctorCheck[] {
82
+ if (!frontendGraph || !hasUuidTenantColumns(tableMap)) {
83
+ return [];
84
+ }
85
+ return frontendGraph.providers
86
+ .filter((provider) => provider.devAuthTenantId && !isUuidLike(provider.devAuthTenantId))
87
+ .map((provider) => ({
88
+ name: "frontend-dev-auth-tenant",
89
+ ok: false,
90
+ severity: "warning" as const,
91
+ message: `${provider.file} devAuth tenantId '${provider.devAuthTenantId}' is not UUID-like, but tenant tables use uuid tenant ids`,
92
+ }));
93
+ }
94
+
95
+ export async function runDoctorCommand(options: {
96
+ workspaceRoot: string;
97
+ }): Promise<DoctorResult> {
98
+ const checks: DoctorCheck[] = [
99
+ present(options.workspaceRoot, "agents-md", "AGENTS.md"),
100
+ present(options.workspaceRoot, "forge-lock", "forge.lock"),
101
+ present(options.workspaceRoot, "agent-contract", `${GENERATED_DIR}/agentContract.json`),
102
+ present(options.workspaceRoot, "capability-map", `${GENERATED_DIR}/capabilityMap.json`),
103
+ present(options.workspaceRoot, "runtime-matrix", `${GENERATED_DIR}/runtimeMatrix.json`),
104
+ present(options.workspaceRoot, "data-graph", `${GENERATED_DIR}/dataGraph.json`),
105
+ present(options.workspaceRoot, "policies", `${GENERATED_DIR}/policyRegistry.json`),
106
+ present(options.workspaceRoot, "secrets", `${GENERATED_DIR}/secretRegistry.json`),
107
+ present(options.workspaceRoot, "client", `${GENERATED_DIR}/clientManifest.json`),
108
+ present(options.workspaceRoot, "frontend", `${GENERATED_DIR}/frontendGraph.json`),
109
+ present(options.workspaceRoot, "live-query", `${GENERATED_DIR}/liveQueryRegistry.json`),
110
+ ];
111
+
112
+ const generateCheck = await runGenerate({
113
+ workspaceRoot: options.workspaceRoot,
114
+ check: true,
115
+ dryRun: false,
116
+ json: false,
117
+ concurrency: 4,
118
+ });
119
+ checks.push({
120
+ name: "generated",
121
+ ok: generateCheck.exitCode === 0,
122
+ severity: "error",
123
+ message:
124
+ generateCheck.exitCode === 0
125
+ ? undefined
126
+ : "generated artifacts are stale; run forge generate",
127
+ });
128
+
129
+ const deployManifest = join(options.workspaceRoot, "deploy", "deployManifest.json");
130
+ if (nodeFileSystem.exists(deployManifest)) {
131
+ checks.push(
132
+ present(options.workspaceRoot, "self-host-compose", "deploy/docker-compose.yml"),
133
+ present(options.workspaceRoot, "self-host-env", "deploy/.env.example"),
134
+ );
135
+ }
136
+
137
+ const webRoot = join(options.workspaceRoot, "web");
138
+ if (nodeFileSystem.exists(webRoot)) {
139
+ const frontendGraph = readGeneratedJson<FrontendGraph>(
140
+ options.workspaceRoot,
141
+ `${GENERATED_DIR}/frontendGraph.json`,
142
+ );
143
+ const dbJson = readGeneratedJson<{ tableMap: Record<string, TableMapEntry> }>(
144
+ options.workspaceRoot,
145
+ `${GENERATED_DIR}/db.json`,
146
+ );
147
+ checks.push({
148
+ name: "frontend-root",
149
+ ok: frontendGraph?.present === true,
150
+ severity: "error",
151
+ message: frontendGraph?.present === true ? undefined : "web/ exists but frontendGraph does not detect it",
152
+ });
153
+ checks.push({
154
+ name: "frontend-bridge",
155
+ ok: (frontendGraph?.bridgeFiles.length ?? 0) > 0,
156
+ severity: "warning",
157
+ message:
158
+ (frontendGraph?.bridgeFiles.length ?? 0) > 0
159
+ ? undefined
160
+ : "missing web/lib/forge.ts bridge to generated client",
161
+ });
162
+ checks.push({
163
+ name: "frontend-provider",
164
+ ok: (frontendGraph?.providers.length ?? 0) > 0 || frontendGraph?.framework === "static",
165
+ severity: "warning",
166
+ message:
167
+ (frontendGraph?.providers.length ?? 0) > 0 || frontendGraph?.framework === "static"
168
+ ? undefined
169
+ : "missing ForgeProvider in web app",
170
+ });
171
+ checks.push({
172
+ name: "frontend-routes",
173
+ ok: (frontendGraph?.routes.length ?? 0) > 0,
174
+ severity: "warning",
175
+ message:
176
+ (frontendGraph?.routes.length ?? 0) > 0
177
+ ? undefined
178
+ : "no frontend routes detected in web/",
179
+ });
180
+ checks.push(...frontendDiagnosticChecks(frontendGraph));
181
+ checks.push(...capabilityDiagnosticChecks(readGeneratedJson<{ diagnostics?: Diagnostic[] }>(
182
+ options.workspaceRoot,
183
+ `${GENERATED_DIR}/capabilityMap.json`,
184
+ )));
185
+ checks.push(...frontendDevAuthChecks(frontendGraph, dbJson?.tableMap ?? {}));
186
+ }
187
+
188
+ const ok = checks.every((check) => check.ok || check.severity === "warning");
189
+ return {
190
+ ok,
191
+ checks,
192
+ exitCode: ok ? 0 : 1,
193
+ };
194
+ }
195
+
196
+ export function formatDoctorJson(result: DoctorResult): string {
197
+ return `${JSON.stringify(result, null, 2)}\n`;
198
+ }
199
+
200
+ export function formatDoctorHuman(result: DoctorResult): string {
201
+ const lines = ["Forge Doctor", ""];
202
+ for (const check of result.checks) {
203
+ const marker = check.ok ? "OK" : check.severity === "warning" ? "WARN" : "FAIL";
204
+ lines.push(`${marker} ${check.name}${check.message ? ` - ${check.message}` : ""}`);
205
+ }
206
+ lines.push("");
207
+ lines.push(result.ok ? "Project is coherent." : "Project needs attention.");
208
+ return `${lines.join("\n")}\n`;
209
+ }
@@ -0,0 +1,485 @@
1
+ import { nodeFileSystem } from "../compiler/fs/index.ts";
2
+ import { join, normalize, relative, resolve } from "node:path";
3
+ import { createDiagnostic } from "../compiler/diagnostics/create.ts";
4
+ import { run } from "../compiler/orchestrator/run.ts";
5
+ import { serializeCanonical } from "../compiler/primitives/serialize.ts";
6
+ import type { Diagnostic } from "../compiler/types/diagnostic.ts";
7
+ import { runMakeCommand } from "./make.ts";
8
+ import {
9
+ buildFeaturePlan,
10
+ FEATURE_APPLIED_DIR,
11
+ FEATURE_PLAN_DIR,
12
+ parseFeatureBlueprint,
13
+ readFeaturePlan,
14
+ renderFeatureDiff,
15
+ renderFeaturePlanMarkdown,
16
+ writeFeaturePlan,
17
+ writeText,
18
+ } from "../feature/compiler.ts";
19
+ import { FEATURE_EXAMPLES } from "../feature/examples.ts";
20
+ import type {
21
+ FeatureApplyRecord,
22
+ FeatureCommandOptions,
23
+ FeaturePlan,
24
+ FeatureResult,
25
+ } from "../feature/types.ts";
26
+
27
+ interface SnapshotFile {
28
+ file: string;
29
+ existed: boolean;
30
+ content?: string;
31
+ }
32
+
33
+ interface FeatureSnapshot {
34
+ schemaVersion: "0.1.0";
35
+ featureId: string;
36
+ files: SnapshotFile[];
37
+ }
38
+
39
+ function diagnostic(
40
+ severity: Diagnostic["severity"],
41
+ code: string,
42
+ message: string,
43
+ file?: string,
44
+ ): Diagnostic {
45
+ return createDiagnostic({
46
+ severity,
47
+ code,
48
+ message,
49
+ ...(file ? { file } : {}),
50
+ });
51
+ }
52
+
53
+ function absPath(workspaceRoot: string, file: string): string {
54
+ const root = resolve(workspaceRoot);
55
+ const absolute = resolve(root, normalize(file));
56
+ const rel = relative(root, absolute);
57
+ if (rel.startsWith("..") || resolve(rel) === rel) {
58
+ throw new Error(`refusing to access outside workspace: ${file}`);
59
+ }
60
+ return absolute;
61
+ }
62
+
63
+ function readText(workspaceRoot: string, file: string): string | null {
64
+ const absolute = absPath(workspaceRoot, file);
65
+ if (!nodeFileSystem.exists(absolute)) {
66
+ return null;
67
+ }
68
+ return (nodeFileSystem.readText(absolute) ?? "");
69
+ }
70
+
71
+ function snapshotPath(plan: FeaturePlan): string {
72
+ return `${FEATURE_PLAN_DIR}/${plan.id}/snapshot.json`;
73
+ }
74
+
75
+ function appliedPath(featureId: string): string {
76
+ return `${FEATURE_APPLIED_DIR}/${featureId}.json`;
77
+ }
78
+
79
+ function readAppliedRecord(workspaceRoot: string, featureId: string): FeatureApplyRecord | null {
80
+ const content = readText(workspaceRoot, appliedPath(featureId));
81
+ return content ? (JSON.parse(content) as FeatureApplyRecord) : null;
82
+ }
83
+
84
+ function listAppliedRecords(workspaceRoot: string): FeatureApplyRecord[] {
85
+ const dir = absPath(workspaceRoot, FEATURE_APPLIED_DIR);
86
+ if (!nodeFileSystem.exists(dir)) {
87
+ return [];
88
+ }
89
+ return nodeFileSystem
90
+ .readDir(dir)
91
+ .map((entry) => entry.name)
92
+ .filter((file) => file.endsWith(".json"))
93
+ .sort()
94
+ .map((file) => JSON.parse((nodeFileSystem.readText(join(dir, file)) ?? "")) as FeatureApplyRecord);
95
+ }
96
+
97
+ function writeSnapshot(workspaceRoot: string, plan: FeaturePlan): void {
98
+ const files = plan.rollback.trackedFiles.map((file): SnapshotFile => {
99
+ const content = readText(workspaceRoot, file);
100
+ return {
101
+ file,
102
+ existed: content !== null,
103
+ ...(content !== null ? { content } : {}),
104
+ };
105
+ });
106
+ const snapshot: FeatureSnapshot = {
107
+ schemaVersion: "0.1.0",
108
+ featureId: plan.id,
109
+ files,
110
+ };
111
+ writeText(workspaceRoot, snapshotPath(plan), serializeCanonical(snapshot));
112
+ }
113
+
114
+ function restoreSnapshot(workspaceRoot: string, plan: FeaturePlan): Diagnostic[] {
115
+ const raw = readText(workspaceRoot, snapshotPath(plan));
116
+ if (!raw) {
117
+ return [
118
+ diagnostic(
119
+ "error",
120
+ "FORGE_FEATURE_BLUEPRINT_INVALID",
121
+ `missing snapshot for feature '${plan.id}'`,
122
+ ),
123
+ ];
124
+ }
125
+ const snapshot = JSON.parse(raw) as FeatureSnapshot;
126
+ for (const file of snapshot.files) {
127
+ if (file.existed) {
128
+ writeText(workspaceRoot, file.file, file.content ?? "");
129
+ } else {
130
+ nodeFileSystem.remove(absPath(workspaceRoot, file.file));
131
+ }
132
+ }
133
+ return [];
134
+ }
135
+
136
+ async function runGenerateChecks(options: FeatureCommandOptions): Promise<Diagnostic[]> {
137
+ const diagnostics: Diagnostic[] = [];
138
+ if (!options.noGenerate) {
139
+ const generated = await run({
140
+ workspaceRoot: options.workspaceRoot,
141
+ check: false,
142
+ dryRun: false,
143
+ json: false,
144
+ concurrency: 4,
145
+ });
146
+ diagnostics.push(...generated.errors, ...generated.warnings);
147
+ }
148
+ if (!options.noVerify) {
149
+ const check = await run({
150
+ workspaceRoot: options.workspaceRoot,
151
+ check: true,
152
+ dryRun: false,
153
+ json: false,
154
+ concurrency: 4,
155
+ });
156
+ diagnostics.push(...check.errors, ...check.warnings);
157
+ if (check.exitCode !== 0) {
158
+ diagnostics.push(
159
+ diagnostic(
160
+ "error",
161
+ "FORGE_FEATURE_BLUEPRINT_INVALID",
162
+ "post-apply forge generate --check failed",
163
+ ),
164
+ );
165
+ }
166
+ }
167
+ return diagnostics;
168
+ }
169
+
170
+ function buildPlanFromOptions(options: FeatureCommandOptions): FeatureResult {
171
+ if (!options.blueprintPath) {
172
+ return {
173
+ ok: false,
174
+ diagnostics: [
175
+ diagnostic("error", "FORGE_FEATURE_BLUEPRINT_INVALID", "feature command requires a blueprint path"),
176
+ ],
177
+ exitCode: 1,
178
+ };
179
+ }
180
+ const parsed = parseFeatureBlueprint(options.workspaceRoot, options.blueprintPath);
181
+ if (!parsed.blueprint) {
182
+ return { ok: false, diagnostics: parsed.diagnostics, exitCode: 1 };
183
+ }
184
+ const plan = buildFeaturePlan(options.workspaceRoot, parsed.blueprint);
185
+ const diagnostics = [...parsed.diagnostics, ...plan.diagnostics];
186
+ const ok = !diagnostics.some((item) => item.severity === "error");
187
+ return {
188
+ ok,
189
+ blueprint: parsed.blueprint,
190
+ plan,
191
+ diagnostics,
192
+ exitCode: ok ? 0 : 1,
193
+ };
194
+ }
195
+
196
+ async function applyFeature(options: FeatureCommandOptions): Promise<FeatureResult> {
197
+ const planned = buildPlanFromOptions(options);
198
+ if (!planned.plan || !planned.blueprint) {
199
+ return planned;
200
+ }
201
+ const existing = readAppliedRecord(options.workspaceRoot, planned.plan.id);
202
+ if (existing?.blueprintHash === planned.plan.blueprintHash) {
203
+ return {
204
+ ok: true,
205
+ plan: planned.plan,
206
+ record: existing,
207
+ explanation: `Feature ${planned.plan.id} already applied with same blueprint hash. Nothing to do.`,
208
+ diagnostics: [],
209
+ exitCode: 0,
210
+ };
211
+ }
212
+ if (existing && existing.blueprintHash !== planned.plan.blueprintHash && !options.update) {
213
+ return {
214
+ ok: false,
215
+ plan: planned.plan,
216
+ record: existing,
217
+ diagnostics: [
218
+ diagnostic(
219
+ "error",
220
+ "FORGE_FEATURE_HASH_MISMATCH",
221
+ `feature '${planned.plan.id}' exists with a different blueprint hash; use --update to apply changes`,
222
+ ),
223
+ ],
224
+ exitCode: 1,
225
+ };
226
+ }
227
+ if (planned.plan.risk.level === "high" && !options.allowHighRisk) {
228
+ return {
229
+ ok: false,
230
+ plan: planned.plan,
231
+ diagnostics: [
232
+ diagnostic(
233
+ "error",
234
+ "FORGE_FEATURE_BLUEPRINT_INVALID",
235
+ `feature '${planned.plan.id}' is high risk; rerun with --allow-high-risk`,
236
+ ),
237
+ ],
238
+ exitCode: 1,
239
+ };
240
+ }
241
+ if (options.dryRun || !options.yes) {
242
+ writeFeaturePlan(options.workspaceRoot, planned.plan);
243
+ return {
244
+ ...planned,
245
+ explanation: options.dryRun
246
+ ? "Dry run only; no files were changed."
247
+ : "Plan written. Rerun with --yes to apply.",
248
+ };
249
+ }
250
+
251
+ writeFeaturePlan(options.workspaceRoot, planned.plan);
252
+ writeSnapshot(options.workspaceRoot, planned.plan);
253
+
254
+ const diagnostics: Diagnostic[] = [...planned.diagnostics];
255
+ for (const makeOption of planned.plan.makeOptions) {
256
+ const result = await runMakeCommand({
257
+ ...makeOption,
258
+ dryRun: false,
259
+ apply: true,
260
+ yes: true,
261
+ noGenerate: true,
262
+ noVerify: true,
263
+ keepFailed: true,
264
+ });
265
+ diagnostics.push(...result.diagnostics);
266
+ if (!result.ok) {
267
+ break;
268
+ }
269
+ }
270
+
271
+ if (!diagnostics.some((item) => item.severity === "error")) {
272
+ diagnostics.push(...await runGenerateChecks(options));
273
+ }
274
+
275
+ let ok = !diagnostics.some((item) => item.severity === "error");
276
+ if (!ok && !options.keepFailed) {
277
+ diagnostics.push(...restoreSnapshot(options.workspaceRoot, planned.plan));
278
+ }
279
+
280
+ ok = !diagnostics.some((item) => item.severity === "error");
281
+ const record: FeatureApplyRecord = {
282
+ schemaVersion: "0.1.0",
283
+ featureId: planned.plan.id,
284
+ blueprintName: planned.plan.blueprintName,
285
+ blueprintHash: planned.plan.blueprintHash,
286
+ status: ok ? "applied" : "rolled-back",
287
+ filesCreated: planned.plan.filesToCreate.map((file) => file.file).sort(),
288
+ filesModified: planned.plan.filesToModify.map((patch) => patch.file).sort(),
289
+ commandsRun: planned.plan.commandsToRun,
290
+ result: { ok },
291
+ };
292
+ writeText(options.workspaceRoot, appliedPath(planned.plan.id), serializeCanonical(record));
293
+
294
+ return {
295
+ ok,
296
+ plan: planned.plan,
297
+ record,
298
+ diagnostics,
299
+ exitCode: ok ? 0 : 1,
300
+ };
301
+ }
302
+
303
+ function inspectFeature(options: FeatureCommandOptions): FeatureResult {
304
+ const featureId = options.featureId ?? "";
305
+ const record = readAppliedRecord(options.workspaceRoot, featureId);
306
+ const plan = readFeaturePlan(options.workspaceRoot, featureId) ?? undefined;
307
+ if (!record && !plan) {
308
+ return {
309
+ ok: false,
310
+ diagnostics: [
311
+ diagnostic("error", "FORGE_FEATURE_BLUEPRINT_INVALID", `feature '${featureId}' was not found`),
312
+ ],
313
+ exitCode: 1,
314
+ };
315
+ }
316
+ return { ok: true, record: record ?? undefined, plan, diagnostics: [], exitCode: 0 };
317
+ }
318
+
319
+ async function rollbackFeature(options: FeatureCommandOptions): Promise<FeatureResult> {
320
+ const featureId = options.featureId ?? "";
321
+ const plan = readFeaturePlan(options.workspaceRoot, featureId);
322
+ if (!plan) {
323
+ return {
324
+ ok: false,
325
+ diagnostics: [
326
+ diagnostic("error", "FORGE_FEATURE_BLUEPRINT_INVALID", `feature plan '${featureId}' was not found`),
327
+ ],
328
+ exitCode: 1,
329
+ };
330
+ }
331
+ const diagnostics = restoreSnapshot(options.workspaceRoot, plan);
332
+ if (!options.noGenerate) {
333
+ diagnostics.push(...await runGenerateChecks({ ...options, noVerify: true }));
334
+ }
335
+ const ok = !diagnostics.some((item) => item.severity === "error");
336
+ const record = readAppliedRecord(options.workspaceRoot, plan.id);
337
+ if (record) {
338
+ record.status = "rolled-back";
339
+ record.result = { ok };
340
+ writeText(options.workspaceRoot, appliedPath(plan.id), serializeCanonical(record));
341
+ }
342
+ return {
343
+ ok,
344
+ plan,
345
+ record: record ?? undefined,
346
+ diagnostics,
347
+ explanation: `Rolled back feature ${plan.id}.`,
348
+ exitCode: ok ? 0 : 1,
349
+ };
350
+ }
351
+
352
+ function examples(options: FeatureCommandOptions): FeatureResult {
353
+ const names = Object.keys(FEATURE_EXAMPLES).sort();
354
+ if (!options.exampleName) {
355
+ return { ok: true, examples: names, diagnostics: [], exitCode: 0 };
356
+ }
357
+ const example = FEATURE_EXAMPLES[options.exampleName];
358
+ if (!example) {
359
+ return {
360
+ ok: false,
361
+ examples: names,
362
+ diagnostics: [
363
+ diagnostic("error", "FORGE_FEATURE_BLUEPRINT_INVALID", `unknown feature example '${options.exampleName}'`),
364
+ ],
365
+ exitCode: 1,
366
+ };
367
+ }
368
+ if (options.writePath) {
369
+ writeText(options.workspaceRoot, options.writePath, serializeCanonical(example));
370
+ }
371
+ return {
372
+ ok: true,
373
+ blueprint: example,
374
+ examples: names,
375
+ explanation: options.writePath ? `Wrote ${options.writePath}` : undefined,
376
+ diagnostics: [],
377
+ exitCode: 0,
378
+ };
379
+ }
380
+
381
+ export async function runFeatureCommand(options: FeatureCommandOptions): Promise<FeatureResult> {
382
+ if (options.action === "examples") {
383
+ return examples(options);
384
+ }
385
+ if (options.action === "list") {
386
+ return {
387
+ ok: true,
388
+ records: listAppliedRecords(options.workspaceRoot),
389
+ diagnostics: [],
390
+ exitCode: 0,
391
+ };
392
+ }
393
+ if (options.action === "inspect") {
394
+ return inspectFeature(options);
395
+ }
396
+ if (options.action === "rollback") {
397
+ return rollbackFeature(options);
398
+ }
399
+
400
+ const planned = buildPlanFromOptions(options);
401
+ if (options.action === "validate") {
402
+ return {
403
+ ok: planned.ok,
404
+ blueprint: planned.blueprint,
405
+ diagnostics: planned.diagnostics,
406
+ exitCode: planned.exitCode,
407
+ };
408
+ }
409
+ if (options.action === "plan") {
410
+ if (planned.plan && planned.ok) {
411
+ writeFeaturePlan(options.workspaceRoot, planned.plan);
412
+ }
413
+ return planned;
414
+ }
415
+ if (options.action === "diff") {
416
+ return {
417
+ ...planned,
418
+ diff: planned.plan ? renderFeatureDiff(planned.plan) : undefined,
419
+ };
420
+ }
421
+ if (options.action === "apply") {
422
+ return applyFeature(options);
423
+ }
424
+ return {
425
+ ok: false,
426
+ diagnostics: [
427
+ diagnostic("error", "FORGE_FEATURE_BLUEPRINT_INVALID", `unsupported feature action ${options.action}`),
428
+ ],
429
+ exitCode: 1,
430
+ };
431
+ }
432
+
433
+ export function formatFeatureJson(result: FeatureResult): string {
434
+ return `${JSON.stringify(result, null, 2)}\n`;
435
+ }
436
+
437
+ function formatDiagnostics(diagnostics: Diagnostic[]): string {
438
+ if (diagnostics.length === 0) {
439
+ return "";
440
+ }
441
+ return `\nDiagnostics:\n${diagnostics
442
+ .map((item) => `- ${item.severity} ${item.code}: ${item.message}`)
443
+ .join("\n")}\n`;
444
+ }
445
+
446
+ export function formatFeatureHuman(result: FeatureResult): string {
447
+ if (result.examples && !result.blueprint) {
448
+ return `Available examples:\n${result.examples.map((name) => `- ${name}`).join("\n")}\n${formatDiagnostics(result.diagnostics)}`;
449
+ }
450
+ if (result.diff) {
451
+ return result.diff;
452
+ }
453
+ if (result.plan) {
454
+ const lines = [
455
+ `Feature plan: ${result.plan.blueprintName}`,
456
+ "",
457
+ result.plan.summary,
458
+ "",
459
+ `Risk: ${result.plan.risk.level}`,
460
+ "",
461
+ "Creates:",
462
+ ...(result.plan.filesToCreate.length > 0
463
+ ? result.plan.filesToCreate.map((file) => `- ${file.file}`)
464
+ : ["- none"]),
465
+ "",
466
+ "Modifies:",
467
+ ...(result.plan.filesToModify.length > 0
468
+ ? result.plan.filesToModify.map((patch) => `- ${patch.file}`)
469
+ : ["- none"]),
470
+ ];
471
+ if (result.record) {
472
+ lines.push("", `Status: ${result.record.status}`);
473
+ }
474
+ if (result.explanation) {
475
+ lines.push("", result.explanation);
476
+ }
477
+ return `${lines.join("\n")}\n${formatDiagnostics(result.diagnostics)}`;
478
+ }
479
+ if (result.records) {
480
+ return `Applied features:\n${result.records.map((record) => `- ${record.featureId} ${record.status}`).join("\n") || "- none"}\n`;
481
+ }
482
+ return `Feature ${result.ok ? "ok" : "failed"}\n${result.explanation ?? ""}${formatDiagnostics(result.diagnostics)}`;
483
+ }
484
+
485
+ export { renderFeaturePlanMarkdown };