@rehearsal-db/core 0.1.0-beta.9 → 0.1.0-rc.2

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 (247) hide show
  1. package/CHANGELOG.md +319 -1
  2. package/COMPATIBILITY.md +15 -0
  3. package/README.md +73 -16
  4. package/dist/package.json +100 -0
  5. package/dist/scripts/install/create_root_config.d.mts +3 -0
  6. package/dist/scripts/install/create_root_config.mjs +13 -0
  7. package/dist/scripts/runtime/manage_database.d.mts +6 -0
  8. package/{scripts → dist/scripts}/runtime/manage_database.mjs +6 -8
  9. package/dist/src/application/interactive_task.d.mts +30 -0
  10. package/dist/src/application/interactive_task.mjs +83 -0
  11. package/dist/src/application/session.d.mts +97 -0
  12. package/dist/src/application/session.mjs +380 -0
  13. package/dist/src/baseline/artifact.d.mts +119 -0
  14. package/dist/src/baseline/artifact.mjs +522 -0
  15. package/dist/src/baseline/builder.d.mts +19 -0
  16. package/dist/src/baseline/builder.mjs +142 -0
  17. package/dist/src/baseline/input_discovery.d.mts +13 -0
  18. package/dist/src/baseline/input_discovery.mjs +149 -0
  19. package/dist/src/baseline/policy_review.d.mts +56 -0
  20. package/dist/src/baseline/policy_review.mjs +73 -0
  21. package/dist/src/baseline/preparation.d.mts +63 -0
  22. package/dist/src/baseline/preparation.mjs +295 -0
  23. package/dist/src/baseline/privacy_contract.d.mts +147 -0
  24. package/dist/src/baseline/privacy_contract.mjs +2 -0
  25. package/dist/src/baseline/privacy_dependency_graph.d.mts +7 -0
  26. package/dist/src/baseline/privacy_dependency_graph.mjs +110 -0
  27. package/dist/src/baseline/privacy_engine.d.mts +5 -0
  28. package/dist/src/baseline/privacy_engine.mjs +4 -0
  29. package/dist/src/baseline/privacy_key.d.mts +7 -0
  30. package/dist/src/baseline/privacy_key.mjs +42 -0
  31. package/dist/src/baseline/privacy_pipeline.d.mts +7 -0
  32. package/dist/src/baseline/privacy_pipeline.mjs +127 -0
  33. package/dist/src/baseline/privacy_policy.d.mts +6 -0
  34. package/dist/src/baseline/privacy_policy.mjs +237 -0
  35. package/dist/src/baseline/privacy_recipe_validation.d.mts +5 -0
  36. package/dist/src/baseline/privacy_recipe_validation.mjs +289 -0
  37. package/dist/src/baseline/privacy_rule_registry.d.mts +18 -0
  38. package/dist/src/baseline/privacy_rule_registry.mjs +143 -0
  39. package/dist/src/baseline/privacy_structured_json.d.mts +66 -0
  40. package/dist/src/baseline/privacy_structured_json.mjs +464 -0
  41. package/dist/src/baseline/privacy_transforms.d.mts +18 -0
  42. package/dist/src/baseline/privacy_transforms.mjs +142 -0
  43. package/dist/src/baseline/privacy_validation_shared.d.mts +31 -0
  44. package/dist/src/baseline/privacy_validation_shared.mjs +127 -0
  45. package/dist/src/baseline/sanitization_policy.d.mts +69 -0
  46. package/dist/src/baseline/sanitization_policy.mjs +227 -0
  47. package/dist/src/baseline/schema_snapshot.d.mts +19 -0
  48. package/dist/src/baseline/schema_snapshot.mjs +79 -0
  49. package/dist/src/cli/application_command_handlers.d.mts +8 -0
  50. package/dist/src/cli/application_command_handlers.mjs +52 -0
  51. package/dist/src/cli/arguments.d.mts +38 -0
  52. package/dist/src/cli/arguments.mjs +130 -0
  53. package/dist/src/cli/basic_command_handlers.d.mts +4 -0
  54. package/dist/src/cli/basic_command_handlers.mjs +57 -0
  55. package/dist/src/cli/cli_commands.d.mts +14 -0
  56. package/dist/src/cli/cli_commands.mjs +34 -0
  57. package/dist/src/cli/command_contract.d.mts +57 -0
  58. package/dist/src/cli/command_contract.mjs +39 -0
  59. package/dist/src/cli/command_output.d.mts +12 -0
  60. package/dist/src/cli/command_output.mjs +20 -0
  61. package/dist/src/cli/command_registry.d.mts +7 -0
  62. package/dist/src/cli/command_registry.mjs +14 -0
  63. package/dist/src/cli/guided.d.mts +53 -0
  64. package/dist/src/cli/guided.mjs +727 -0
  65. package/dist/src/cli/identity_command_handlers.d.mts +12 -0
  66. package/dist/src/cli/identity_command_handlers.mjs +239 -0
  67. package/dist/src/cli/identity_renderer.d.mts +8 -0
  68. package/dist/src/cli/identity_renderer.mjs +33 -0
  69. package/dist/src/cli/init_command.d.mts +21 -0
  70. package/dist/src/cli/init_command.mjs +90 -0
  71. package/dist/src/cli/inspection_command_handlers.d.mts +3 -0
  72. package/dist/src/cli/inspection_command_handlers.mjs +79 -0
  73. package/dist/src/cli/project_command_handlers.d.mts +11 -0
  74. package/dist/src/cli/project_command_handlers.mjs +92 -0
  75. package/dist/src/cli/project_commands.d.mts +283 -0
  76. package/dist/src/cli/project_commands.mjs +192 -0
  77. package/dist/src/cli/rehearsal.d.mts +7 -0
  78. package/dist/src/cli/rehearsal.mjs +190 -0
  79. package/dist/src/cli/renderers.d.mts +299 -0
  80. package/dist/src/cli/renderers.mjs +554 -0
  81. package/dist/src/cli/runtime_action_handlers.d.mts +12 -0
  82. package/dist/src/cli/runtime_action_handlers.mjs +201 -0
  83. package/dist/src/cli/runtime_commands.d.mts +294 -0
  84. package/dist/src/cli/runtime_commands.mjs +619 -0
  85. package/dist/src/cli/source_command_handlers.d.mts +8 -0
  86. package/dist/src/cli/source_command_handlers.mjs +62 -0
  87. package/dist/src/cli/source_commands.d.mts +436 -0
  88. package/dist/src/cli/source_commands.mjs +301 -0
  89. package/dist/src/cli/terminal.d.mts +59 -0
  90. package/dist/src/cli/terminal.mjs +230 -0
  91. package/dist/src/identity/claim.d.mts +5 -0
  92. package/dist/src/identity/claim.mjs +4 -0
  93. package/dist/src/identity/claim_contract.d.mts +135 -0
  94. package/dist/src/identity/claim_contract.mjs +6 -0
  95. package/dist/src/identity/claim_executor.d.mts +10 -0
  96. package/dist/src/identity/claim_executor.mjs +358 -0
  97. package/dist/src/identity/claim_identity_lookup.d.mts +23 -0
  98. package/dist/src/identity/claim_identity_lookup.mjs +134 -0
  99. package/dist/src/identity/claim_plan.d.mts +8 -0
  100. package/dist/src/identity/claim_plan.mjs +61 -0
  101. package/dist/src/identity/claim_policy.d.mts +3 -0
  102. package/dist/src/identity/claim_policy.mjs +377 -0
  103. package/dist/src/identity/claim_sql.d.mts +10 -0
  104. package/dist/src/identity/claim_sql.mjs +46 -0
  105. package/dist/src/identity/claim_verification.d.mts +13 -0
  106. package/dist/src/identity/claim_verification.mjs +35 -0
  107. package/dist/src/identity/connect.d.mts +30 -0
  108. package/dist/src/identity/connect.mjs +111 -0
  109. package/dist/src/identity/provider_configuration.d.mts +37 -0
  110. package/dist/src/identity/provider_configuration.mjs +132 -0
  111. package/dist/src/identity/storage.d.mts +21 -0
  112. package/dist/src/identity/storage.mjs +122 -0
  113. package/dist/src/index.d.mts +4 -0
  114. package/dist/src/index.mjs +3 -0
  115. package/dist/src/project/configuration.d.mts +13 -0
  116. package/dist/src/project/configuration.mjs +9 -0
  117. package/dist/src/project/configuration_contract.d.mts +125 -0
  118. package/dist/src/project/configuration_contract.mjs +27 -0
  119. package/dist/src/project/configuration_discovery.d.mts +7 -0
  120. package/dist/src/project/configuration_discovery.mjs +37 -0
  121. package/dist/src/project/configuration_normalization.d.mts +107 -0
  122. package/dist/src/project/configuration_normalization.mjs +302 -0
  123. package/dist/src/project/configuration_rendering.d.mts +14 -0
  124. package/dist/src/project/configuration_rendering.mjs +228 -0
  125. package/dist/src/project/configuration_resolution.d.mts +125 -0
  126. package/dist/src/project/configuration_resolution.mjs +81 -0
  127. package/dist/src/project/configuration_schema.d.mts +22 -0
  128. package/dist/src/project/configuration_schema.mjs +160 -0
  129. package/dist/src/project/configuration_validation.d.mts +22 -0
  130. package/dist/src/project/configuration_validation.mjs +136 -0
  131. package/dist/src/project/install_scaffold.d.mts +42 -0
  132. package/dist/src/project/install_scaffold.mjs +263 -0
  133. package/dist/src/project/project_detection.d.mts +14 -0
  134. package/dist/src/project/project_detection.mjs +47 -0
  135. package/dist/src/project/setup.d.mts +87 -0
  136. package/dist/src/project/setup.mjs +414 -0
  137. package/dist/src/project/support_report.d.mts +88 -0
  138. package/dist/src/project/support_report.mjs +83 -0
  139. package/dist/src/runtime/cleanup.d.mts +85 -0
  140. package/dist/src/runtime/cleanup.mjs +311 -0
  141. package/dist/src/runtime/lifecycle_engine.d.mts +63 -0
  142. package/dist/src/runtime/lifecycle_engine.mjs +114 -0
  143. package/dist/src/runtime/migration_history.d.mts +51 -0
  144. package/dist/src/runtime/migration_history.mjs +170 -0
  145. package/dist/src/runtime/plan.d.mts +134 -0
  146. package/dist/src/runtime/plan.mjs +640 -0
  147. package/dist/src/runtime/policy.d.mts +66 -0
  148. package/dist/src/runtime/policy.mjs +369 -0
  149. package/dist/src/runtime/restore.d.mts +22 -0
  150. package/dist/src/runtime/restore.mjs +276 -0
  151. package/dist/src/runtime/service_environment.d.mts +11 -0
  152. package/dist/src/runtime/service_environment.mjs +58 -0
  153. package/dist/src/runtime/topology.d.mts +51 -0
  154. package/dist/src/runtime/topology.mjs +128 -0
  155. package/dist/src/shared/diagnostics.d.mts +97 -0
  156. package/dist/src/shared/diagnostics.mjs +170 -0
  157. package/dist/src/shared/human_output.d.mts +2 -0
  158. package/{src → dist/src}/shared/human_output.mjs +1 -3
  159. package/dist/src/shared/node_runtime.d.mts +14 -0
  160. package/dist/src/shared/node_runtime.mjs +25 -0
  161. package/dist/src/shared/operation_guard.d.mts +22 -0
  162. package/dist/src/shared/operation_guard.mjs +150 -0
  163. package/dist/src/shared/process_environment.d.mts +15 -0
  164. package/dist/src/shared/process_environment.mjs +50 -0
  165. package/dist/src/source/access.d.mts +165 -0
  166. package/dist/src/source/access.mjs +602 -0
  167. package/dist/src/source/asset_transfer.d.mts +27 -0
  168. package/dist/src/source/asset_transfer.mjs +202 -0
  169. package/dist/src/source/baseline.d.mts +66 -0
  170. package/dist/src/source/baseline.mjs +372 -0
  171. package/dist/src/source/external_reader.d.mts +42 -0
  172. package/dist/src/source/external_reader.mjs +278 -0
  173. package/dist/src/source/postgresql_access.d.mts +86 -0
  174. package/dist/src/source/postgresql_access.mjs +454 -0
  175. package/dist/src/source/privacy_paths.d.mts +10 -0
  176. package/dist/src/source/privacy_paths.mjs +27 -0
  177. package/dist/src/targets/driver.d.mts +2 -0
  178. package/dist/src/targets/driver.mjs +13 -0
  179. package/dist/src/targets/postgresql.d.mts +5 -0
  180. package/dist/src/targets/postgresql.mjs +620 -0
  181. package/dist/src/targets/supabase.d.mts +8 -0
  182. package/dist/src/targets/supabase.mjs +629 -0
  183. package/dist/src/targets/supabase_environment.d.mts +54 -0
  184. package/dist/src/targets/supabase_environment.mjs +184 -0
  185. package/dist/src/targets/target.d.mts +33 -0
  186. package/dist/src/targets/target.mjs +39 -0
  187. package/docs/README.md +35 -16
  188. package/docs/architecture.md +135 -10
  189. package/docs/commands.md +53 -15
  190. package/docs/configuration.md +186 -31
  191. package/docs/getting-started.md +66 -9
  192. package/docs/index.md +67 -0
  193. package/docs/production-source.md +175 -17
  194. package/docs/releasing.md +24 -12
  195. package/docs/roadmap.md +3 -2
  196. package/docs/runtime-lifecycle.md +99 -0
  197. package/docs/runtime-policies.md +80 -7
  198. package/docs/sanitization.md +572 -4
  199. package/docs/security-model.md +8 -0
  200. package/docs/stability.md +70 -0
  201. package/docs/standalone-workflow.md +36 -13
  202. package/docs/troubleshooting.md +82 -10
  203. package/docs/tutorial.md +7 -1
  204. package/docs/typescript.md +134 -0
  205. package/package.json +44 -29
  206. package/types/configuration.d.mts +5 -0
  207. package/src/README.md +0 -17
  208. package/src/application/session.mjs +0 -313
  209. package/src/baseline/artifact.mjs +0 -661
  210. package/src/baseline/builder.mjs +0 -164
  211. package/src/baseline/input_discovery.mjs +0 -155
  212. package/src/baseline/policy_review.mjs +0 -92
  213. package/src/baseline/preparation.mjs +0 -323
  214. package/src/baseline/privacy_engine.mjs +0 -413
  215. package/src/baseline/sanitization_policy.mjs +0 -299
  216. package/src/baseline/schema_snapshot.mjs +0 -113
  217. package/src/cli/arguments.mjs +0 -120
  218. package/src/cli/guided.mjs +0 -807
  219. package/src/cli/rehearsal.mjs +0 -933
  220. package/src/cli/renderers.mjs +0 -584
  221. package/src/cli/runtime_commands.mjs +0 -553
  222. package/src/cli/source_commands.mjs +0 -326
  223. package/src/cli/terminal.mjs +0 -275
  224. package/src/identity/claim.mjs +0 -975
  225. package/src/identity/storage.mjs +0 -165
  226. package/src/project/configuration.d.mts +0 -153
  227. package/src/project/configuration.mjs +0 -1197
  228. package/src/project/setup.mjs +0 -379
  229. package/src/project/support_report.mjs +0 -105
  230. package/src/runtime/cleanup.mjs +0 -381
  231. package/src/runtime/migration_history.mjs +0 -220
  232. package/src/runtime/plan.mjs +0 -685
  233. package/src/runtime/policy.mjs +0 -438
  234. package/src/runtime/restore.mjs +0 -329
  235. package/src/runtime/service_environment.mjs +0 -82
  236. package/src/runtime/topology.mjs +0 -177
  237. package/src/shared/diagnostics.mjs +0 -199
  238. package/src/shared/operation_guard.mjs +0 -162
  239. package/src/shared/process_environment.mjs +0 -68
  240. package/src/source/access.mjs +0 -578
  241. package/src/source/asset_transfer.mjs +0 -177
  242. package/src/source/baseline.mjs +0 -446
  243. package/src/source/postgresql_access.mjs +0 -480
  244. package/src/targets/postgresql.mjs +0 -808
  245. package/src/targets/supabase.mjs +0 -830
  246. package/src/targets/supabase_environment.mjs +0 -229
  247. package/src/targets/target.mjs +0 -66
@@ -3,16 +3,14 @@
3
3
  * Purpose: Select the configured database runtime and forward the requested
4
4
  * lifecycle action to its isolated driver.
5
5
  */
6
-
7
6
  import { loadRehearsalConfig } from "../../src/project/configuration.mjs";
8
- import {
9
- parseRuntimeInvocation,
10
- runRuntimeTarget,
11
- } from "../../src/targets/target.mjs";
12
-
7
+ import { parseRuntimeInvocation } from "../../src/targets/target.mjs";
8
+ import { runRuntimeTarget } from "../../src/targets/driver.mjs";
13
9
  const invocation = parseRuntimeInvocation();
14
10
  const { config } = await loadRehearsalConfig({
15
- projectRoot: process.cwd(),
16
- configPath: invocation.configPath,
11
+ projectRoot: process.cwd(),
12
+ ...(invocation.configPath === undefined
13
+ ? {}
14
+ : { configPath: invocation.configPath }),
17
15
  });
18
16
  await runRuntimeTarget(config.runtime.target);
@@ -0,0 +1,30 @@
1
+ /** Run identity discovery while an owned local application remains available. */
2
+ import type { EventEmitter } from "node:events";
3
+ import { type ApplicationDiagnostics, type ApplicationSession, type ApplicationSessionSignal } from "./session.mjs";
4
+ type SignalTarget = Pick<EventEmitter, "prependListener" | "removeListener">;
5
+ interface SessionInput {
6
+ readonly isTTY?: boolean;
7
+ prependListener(event: "data", listener: (chunk: Buffer | string) => void): unknown;
8
+ removeListener(event: "data", listener: (chunk: Buffer | string) => void): unknown;
9
+ }
10
+ /**
11
+ * A terminal interruption aborts the task and retires the owned process group.
12
+ * A completed task leaves the session running so its caller can deliberately
13
+ * stop, reuse, or hand it back to the persistent application holder.
14
+ */
15
+ export declare const runApplicationSessionTask: <Value>({ session, task, signalTarget, input, onReady, }: {
16
+ session: ApplicationSession;
17
+ task: (signal: AbortSignal) => Promise<Value>;
18
+ signalTarget?: SignalTarget;
19
+ input?: SessionInput;
20
+ onReady?: (ready: ApplicationSession["ready"]) => void;
21
+ }) => Promise<Readonly<{
22
+ completed: true;
23
+ value: Value;
24
+ diagnostics: ApplicationDiagnostics;
25
+ }> | Readonly<{
26
+ completed: false;
27
+ signal: ApplicationSessionSignal;
28
+ diagnostics: ApplicationDiagnostics;
29
+ }>>;
30
+ export {};
@@ -0,0 +1,83 @@
1
+ /** Run identity discovery while an owned local application remains available. */
2
+ import { summarizeProjectCommandFailure, } from "./session.mjs";
3
+ const SESSION_SIGNALS = ["SIGINT", "SIGTERM", "SIGHUP", "SIGTSTP"];
4
+ /**
5
+ * A terminal interruption aborts the task and retires the owned process group.
6
+ * A completed task leaves the session running so its caller can deliberately
7
+ * stop, reuse, or hand it back to the persistent application holder.
8
+ */
9
+ export const runApplicationSessionTask = async ({ session, task, signalTarget = process, input = process.stdin, onReady = () => undefined, }) => {
10
+ if (!session ||
11
+ typeof session.wait !== "function" ||
12
+ typeof session.stop !== "function") {
13
+ throw new Error("A started application session is required.");
14
+ }
15
+ let finishInterruption = () => undefined;
16
+ const interruption = new Promise((resolve) => {
17
+ finishInterruption = resolve;
18
+ });
19
+ const handlers = new Map(SESSION_SIGNALS.map((signal) => [
20
+ signal,
21
+ () => finishInterruption({ kind: "interrupted", signal }),
22
+ ]));
23
+ for (const [signal, handler] of handlers) {
24
+ signalTarget.prependListener(signal, handler);
25
+ }
26
+ const onInput = (chunk) => {
27
+ const bytes = Buffer.isBuffer(chunk) ? chunk : Buffer.from(chunk);
28
+ if (bytes.includes(0x03)) {
29
+ finishInterruption({ kind: "interrupted", signal: "SIGINT" });
30
+ }
31
+ else if (bytes.includes(0x1a)) {
32
+ finishInterruption({ kind: "interrupted", signal: "SIGTSTP" });
33
+ }
34
+ };
35
+ if (input?.isTTY)
36
+ input.prependListener("data", onInput);
37
+ const abortController = new AbortController();
38
+ try {
39
+ onReady(session.ready);
40
+ const outcome = await Promise.race([
41
+ interruption,
42
+ task(abortController.signal).then((value) => ({
43
+ kind: "completed",
44
+ value,
45
+ })),
46
+ session.wait().then((exit) => ({ kind: "exited", ...exit })),
47
+ ]);
48
+ if (outcome.kind === "exited") {
49
+ throw new Error(`Application exited before identity connection finished (${summarizeProjectCommandFailure({
50
+ status: outcome.status,
51
+ signal: outcome.signal,
52
+ stdoutByteCount: session.diagnostics().stdoutBytes,
53
+ stderrByteCount: session.diagnostics().stderrBytes,
54
+ })}).`);
55
+ }
56
+ if (outcome.kind === "interrupted") {
57
+ abortController.abort(new Error(`Identity connection was interrupted by ${outcome.signal}.`));
58
+ await session.stop();
59
+ return Object.freeze({
60
+ completed: false,
61
+ signal: outcome.signal,
62
+ diagnostics: session.diagnostics(),
63
+ });
64
+ }
65
+ return Object.freeze({
66
+ completed: true,
67
+ value: outcome.value,
68
+ diagnostics: session.diagnostics(),
69
+ });
70
+ }
71
+ catch (error) {
72
+ abortController.abort(error);
73
+ await session.stop();
74
+ throw error;
75
+ }
76
+ finally {
77
+ for (const [signal, handler] of handlers) {
78
+ signalTarget.removeListener(signal, handler);
79
+ }
80
+ if (input?.isTTY)
81
+ input.removeListener("data", onInput);
82
+ }
83
+ };
@@ -0,0 +1,97 @@
1
+ /** Launch ordinary application commands against verified local runtime files. */
2
+ import { spawn } from "node:child_process";
3
+ import type { EventEmitter } from "node:events";
4
+ declare const SESSION_SIGNALS: string[];
5
+ type SessionSignal = (typeof SESSION_SIGNALS)[number];
6
+ export type ApplicationSessionSignal = SessionSignal;
7
+ export interface ApplicationReadiness {
8
+ readonly url: string;
9
+ readonly expectedStatus?: number;
10
+ readonly timeoutSeconds?: number;
11
+ }
12
+ export interface ApplicationSession {
13
+ readonly pid: number | undefined;
14
+ readonly ready: Readonly<{
15
+ url: string;
16
+ status: number;
17
+ }>;
18
+ readonly stop: () => Promise<void>;
19
+ readonly wait: () => Promise<ChildExit>;
20
+ readonly diagnostics: () => ApplicationDiagnostics;
21
+ }
22
+ export interface ApplicationDiagnostics {
23
+ readonly stdoutBytes: number;
24
+ readonly stderrBytes: number;
25
+ }
26
+ interface ChildExit {
27
+ readonly status: number | null;
28
+ readonly signal: NodeJS.Signals | null;
29
+ }
30
+ interface SessionInput {
31
+ readonly isTTY?: boolean;
32
+ prependListener(event: "data", listener: (chunk: Buffer | string) => void): unknown;
33
+ removeListener(event: "data", listener: (chunk: Buffer | string) => void): unknown;
34
+ }
35
+ interface EnvironmentInput {
36
+ readonly files: Readonly<Record<string, string>> & {
37
+ readonly primary: string;
38
+ };
39
+ readonly mappings: Readonly<Record<string, string>>;
40
+ }
41
+ interface HttpJsonAssertion {
42
+ readonly path: readonly string[];
43
+ readonly equals?: unknown;
44
+ readonly notEquals?: unknown;
45
+ readonly minimumItems?: number;
46
+ }
47
+ export interface HttpProofCheck {
48
+ readonly name: string;
49
+ readonly kind: "positive" | "negative";
50
+ readonly url: string;
51
+ readonly method?: string;
52
+ readonly expectedStatus: number;
53
+ readonly timeoutMs?: number;
54
+ readonly json?: HttpJsonAssertion | null;
55
+ }
56
+ type SignalTarget = Pick<EventEmitter, "prependListener" | "removeListener">;
57
+ export declare const buildApplicationEnvironment: ({ files, mappings, }: EnvironmentInput) => Promise<Record<string, string>>;
58
+ export declare const summarizeProjectCommandFailure: ({ error, status, signal, stdout, stderr, stdoutByteCount, stderrByteCount, }: {
59
+ error?: NodeJS.ErrnoException;
60
+ status: number | null;
61
+ signal: NodeJS.Signals | null;
62
+ stdout?: string;
63
+ stderr?: string;
64
+ stdoutByteCount?: number;
65
+ stderrByteCount?: number;
66
+ }) => string;
67
+ export declare const startApplicationSession: ({ command, cwd, files, mappings, readiness, inheritedEnvironment, spawnImplementation, fetchImplementation, signalTarget, }: EnvironmentInput & {
68
+ command: string;
69
+ cwd: string;
70
+ readiness: ApplicationReadiness;
71
+ inheritedEnvironment?: NodeJS.ProcessEnv;
72
+ spawnImplementation?: typeof spawn;
73
+ fetchImplementation?: typeof fetch;
74
+ signalTarget?: SignalTarget;
75
+ }) => Promise<ApplicationSession>;
76
+ /**
77
+ * Keep a ready application session attached until the user interrupts it.
78
+ * The child process group is always stopped before this function returns.
79
+ */
80
+ export declare const holdApplicationSession: ({ session, signalTarget, input, onReady, }: {
81
+ session: ApplicationSession;
82
+ signalTarget?: SignalTarget;
83
+ input?: SessionInput;
84
+ onReady?: (ready: ApplicationSession["ready"]) => void;
85
+ }) => Promise<Readonly<{
86
+ signal: SessionSignal;
87
+ diagnostics: ApplicationDiagnostics;
88
+ }>>;
89
+ export declare const runHttpProofs: ({ checks, fetchImplementation, }: {
90
+ checks: readonly HttpProofCheck[];
91
+ fetchImplementation?: typeof fetch;
92
+ }) => Promise<readonly Readonly<{
93
+ name: string;
94
+ kind: "positive" | "negative";
95
+ status: number;
96
+ }>[]>;
97
+ export {};
@@ -0,0 +1,380 @@
1
+ /** Launch ordinary application commands against verified local runtime files. */
2
+ import { spawn } from "node:child_process";
3
+ import { readFile, stat } from "node:fs/promises";
4
+ import { parseEnv } from "node:util";
5
+ import { createCleanProcessEnvironment, isLoopbackUrl, } from "../shared/process_environment.mjs";
6
+ const ENV_KEY = /^[A-Z][A-Z0-9_]*$/u;
7
+ const MAX_DIAGNOSTIC_BYTES = 64 * 1024;
8
+ const SESSION_SIGNALS = ["SIGINT", "SIGTERM", "SIGHUP", "SIGTSTP"];
9
+ const parseCommand = (source) => {
10
+ if (typeof source !== "string" || !source.trim())
11
+ throw new Error("Application command is empty.");
12
+ const values = [];
13
+ let value = "";
14
+ let quote = null;
15
+ for (const character of source) {
16
+ if (quote) {
17
+ if (character === quote)
18
+ quote = null;
19
+ else
20
+ value += character;
21
+ }
22
+ else if (character === '"' || character === "'")
23
+ quote = character;
24
+ else if (/\s/u.test(character)) {
25
+ if (value)
26
+ values.push(value);
27
+ value = "";
28
+ }
29
+ else
30
+ value += character;
31
+ }
32
+ if (quote)
33
+ throw new Error("Application command contains an unmatched quote.");
34
+ if (value)
35
+ values.push(value);
36
+ const [program, ...args] = values;
37
+ if (!program)
38
+ throw new Error("Application command is empty.");
39
+ return [program, ...args];
40
+ };
41
+ const readOwnedEnvironment = async (path) => {
42
+ const details = await stat(path);
43
+ if (!details.isFile() || (details.mode & 0o077) !== 0) {
44
+ throw new Error("Runtime environment file must be an owner-only regular file.");
45
+ }
46
+ const parsed = parseEnv(await readFile(path, "utf8"));
47
+ return Object.fromEntries(Object.entries(parsed).filter((entry) => typeof entry[1] === "string"));
48
+ };
49
+ const assertLocalValue = (key, value) => {
50
+ if (/(_URL|_URI|_ENDPOINT)$/u.test(key)) {
51
+ let parsed;
52
+ try {
53
+ parsed = new URL(value);
54
+ }
55
+ catch {
56
+ throw new Error(`Mapped runtime variable ${key} is not a URL.`);
57
+ }
58
+ if (!isLoopbackUrl(value) &&
59
+ !["postgres:", "postgresql:"].includes(parsed.protocol)) {
60
+ throw new Error(`Mapped runtime variable ${key} is not local.`);
61
+ }
62
+ if (["postgres:", "postgresql:"].includes(parsed.protocol) &&
63
+ !["127.0.0.1", "::1", "localhost"].includes(parsed.hostname)) {
64
+ throw new Error(`Mapped runtime variable ${key} is not local.`);
65
+ }
66
+ }
67
+ };
68
+ export const buildApplicationEnvironment = async ({ files, mappings, }) => {
69
+ if (!files?.primary)
70
+ throw new Error("Primary runtime environment file is required.");
71
+ const environments = {};
72
+ for (const [name, path] of Object.entries(files)) {
73
+ environments[name] = await readOwnedEnvironment(path);
74
+ }
75
+ if (!mappings || typeof mappings !== "object" || Array.isArray(mappings)) {
76
+ throw new Error("Application environment mappings must be an object.");
77
+ }
78
+ const result = {};
79
+ for (const [destination, reference] of Object.entries(mappings)) {
80
+ if (!ENV_KEY.test(destination) || typeof reference !== "string") {
81
+ throw new Error("Application environment mapping is invalid.");
82
+ }
83
+ const separator = reference.indexOf(":");
84
+ if (separator < 1)
85
+ throw new Error(`Application mapping ${destination} has an invalid reference.`);
86
+ const target = reference.slice(0, separator);
87
+ const source = reference.slice(separator + 1);
88
+ const sourceValue = environments[target]?.[source];
89
+ if (!ENV_KEY.test(source) || !sourceValue) {
90
+ throw new Error(`Application mapping ${destination} references a missing runtime value.`);
91
+ }
92
+ assertLocalValue(source, sourceValue);
93
+ result[destination] = sourceValue;
94
+ }
95
+ return result;
96
+ };
97
+ const boundedAppend = (current, chunk) => `${current}${chunk}`.slice(-MAX_DIAGNOSTIC_BYTES);
98
+ const childHasExited = (child) => child.exitCode !== null || child.signalCode !== null;
99
+ const waitForChildExit = (child) => {
100
+ if (childHasExited(child)) {
101
+ return Promise.resolve({
102
+ status: child.exitCode,
103
+ signal: child.signalCode,
104
+ });
105
+ }
106
+ return new Promise((resolve) => {
107
+ child.once("exit", (status, signal) => resolve({ status, signal }));
108
+ });
109
+ };
110
+ export const summarizeProjectCommandFailure = ({ error, status, signal, stdout = "", stderr = "", stdoutByteCount, stderrByteCount, }) => {
111
+ const stdoutBytes = stdoutByteCount ?? Buffer.byteLength(String(stdout));
112
+ const stderrBytes = stderrByteCount ?? Buffer.byteLength(String(stderr));
113
+ if (error) {
114
+ const code = /^[A-Z0-9_]+$/u.test(error.code ?? "")
115
+ ? ` (${error.code})`
116
+ : "";
117
+ return `command could not start${code}; output withheld`;
118
+ }
119
+ const outcome = signal
120
+ ? `signal ${signal}`
121
+ : `exit ${Number.isInteger(status) ? status : "unknown"}`;
122
+ return `${outcome}; stdout ${stdoutBytes} bytes; stderr ${stderrBytes} bytes; output withheld`;
123
+ };
124
+ const waitForReadiness = async ({ readiness, fetchImplementation, child, }) => {
125
+ if (!readiness || !isLoopbackUrl(readiness.url)) {
126
+ throw new Error("Application readiness must use a loopback URL.");
127
+ }
128
+ const expected = readiness.expectedStatus ?? 200;
129
+ const deadline = Date.now() + (readiness.timeoutSeconds ?? 30) * 1_000;
130
+ let lastStatus = null;
131
+ while (Date.now() < deadline) {
132
+ if (childHasExited(child))
133
+ throw new Error("Application exited before becoming ready.");
134
+ try {
135
+ const response = await fetchImplementation(readiness.url, {
136
+ redirect: "manual",
137
+ signal: AbortSignal.timeout(2_000),
138
+ });
139
+ lastStatus = response.status;
140
+ if (response.status === expected)
141
+ return { url: readiness.url, status: response.status };
142
+ }
143
+ catch {
144
+ // A bounded retry is expected while the local process starts.
145
+ }
146
+ await new Promise((resolve) => setTimeout(resolve, 200));
147
+ }
148
+ throw new Error(`Application readiness timed out${lastStatus === null ? "" : ` after HTTP ${lastStatus}`}.`);
149
+ };
150
+ const stopOwnedChild = async (child) => {
151
+ if (childHasExited(child))
152
+ return;
153
+ const exit = waitForChildExit(child);
154
+ const kill = (signal) => {
155
+ try {
156
+ if (process.platform === "win32")
157
+ child.kill(signal);
158
+ else {
159
+ if (child.pid === undefined) {
160
+ throw new Error("Application child process has no process identifier.");
161
+ }
162
+ process.kill(-child.pid, signal);
163
+ }
164
+ }
165
+ catch (error) {
166
+ if (typeof error !== "object" ||
167
+ error === null ||
168
+ !("code" in error) ||
169
+ error.code !== "ESRCH")
170
+ throw error;
171
+ }
172
+ };
173
+ kill("SIGTERM");
174
+ await Promise.race([
175
+ exit,
176
+ new Promise((resolve) => setTimeout(resolve, 5_000)),
177
+ ]);
178
+ if (!childHasExited(child)) {
179
+ kill("SIGKILL");
180
+ await exit;
181
+ }
182
+ };
183
+ export const startApplicationSession = async ({ command, cwd, files, mappings, readiness, inheritedEnvironment = process.env, spawnImplementation = spawn, fetchImplementation = fetch, signalTarget = process, }) => {
184
+ const mapped = await buildApplicationEnvironment({ files, mappings });
185
+ const [program, ...args] = parseCommand(command);
186
+ const child = spawnImplementation(program, args, {
187
+ cwd,
188
+ env: createCleanProcessEnvironment({
189
+ inheritedEnvironment,
190
+ overrides: mapped,
191
+ }),
192
+ detached: process.platform !== "win32",
193
+ stdio: ["ignore", "pipe", "pipe"],
194
+ });
195
+ let stdout = "";
196
+ let stderr = "";
197
+ child.stdout?.on("data", (chunk) => {
198
+ stdout = boundedAppend(stdout, chunk.toString("utf8"));
199
+ });
200
+ child.stderr?.on("data", (chunk) => {
201
+ stderr = boundedAppend(stderr, chunk.toString("utf8"));
202
+ });
203
+ await new Promise((resolve, reject) => {
204
+ child.once("spawn", resolve);
205
+ child.once("error", reject);
206
+ });
207
+ let interruptStartup = () => undefined;
208
+ const interruption = new Promise((_, reject) => {
209
+ interruptStartup = (signal) => reject(new Error(`Application startup was interrupted by ${signal}.`));
210
+ });
211
+ const startupHandlers = new Map(SESSION_SIGNALS.map((signal) => [signal, () => interruptStartup(signal)]));
212
+ for (const [signal, handler] of startupHandlers) {
213
+ signalTarget.prependListener(signal, handler);
214
+ }
215
+ try {
216
+ const ready = await Promise.race([
217
+ waitForReadiness({
218
+ readiness,
219
+ fetchImplementation,
220
+ child,
221
+ }),
222
+ interruption,
223
+ ]);
224
+ return Object.freeze({
225
+ pid: child.pid,
226
+ ready,
227
+ stop: () => stopOwnedChild(child),
228
+ wait: () => waitForChildExit(child),
229
+ diagnostics: () => ({
230
+ stdoutBytes: Buffer.byteLength(stdout),
231
+ stderrBytes: Buffer.byteLength(stderr),
232
+ }),
233
+ });
234
+ }
235
+ catch (error) {
236
+ await stopOwnedChild(child);
237
+ throw error;
238
+ }
239
+ finally {
240
+ for (const [signal, handler] of startupHandlers) {
241
+ signalTarget.removeListener(signal, handler);
242
+ }
243
+ }
244
+ };
245
+ /**
246
+ * Keep a ready application session attached until the user interrupts it.
247
+ * The child process group is always stopped before this function returns.
248
+ */
249
+ export const holdApplicationSession = async ({ session, signalTarget = process, input = process.stdin, onReady = () => undefined, }) => {
250
+ if (!session ||
251
+ typeof session.wait !== "function" ||
252
+ typeof session.stop !== "function") {
253
+ throw new Error("A started application session is required.");
254
+ }
255
+ let finishInterruption = () => undefined;
256
+ const interruption = new Promise((resolve) => {
257
+ finishInterruption = resolve;
258
+ });
259
+ const handlers = new Map(SESSION_SIGNALS.map((signal) => [
260
+ signal,
261
+ () => finishInterruption({ kind: "interrupted", signal }),
262
+ ]));
263
+ for (const [signal, handler] of handlers) {
264
+ signalTarget.prependListener(signal, handler);
265
+ }
266
+ const onInput = (chunk) => {
267
+ const bytes = Buffer.isBuffer(chunk) ? chunk : Buffer.from(chunk);
268
+ if (bytes.includes(0x03)) {
269
+ finishInterruption({ kind: "interrupted", signal: "SIGINT" });
270
+ }
271
+ else if (bytes.includes(0x1a)) {
272
+ finishInterruption({ kind: "interrupted", signal: "SIGTSTP" });
273
+ }
274
+ };
275
+ if (input?.isTTY)
276
+ input.prependListener("data", onInput);
277
+ try {
278
+ onReady(session.ready);
279
+ const outcome = await Promise.race([
280
+ interruption,
281
+ session.wait().then((exit) => ({ kind: "exited", ...exit })),
282
+ ]);
283
+ if (outcome.kind === "exited") {
284
+ const diagnostics = session.diagnostics?.() ?? {};
285
+ throw new Error(`Application exited before the sandbox was closed (${summarizeProjectCommandFailure({
286
+ status: outcome.status,
287
+ signal: outcome.signal,
288
+ stdoutByteCount: diagnostics.stdoutBytes ?? 0,
289
+ stderrByteCount: diagnostics.stderrBytes ?? 0,
290
+ })}).`);
291
+ }
292
+ return Object.freeze({
293
+ signal: outcome.signal,
294
+ diagnostics: session.diagnostics?.() ?? {
295
+ stdoutBytes: 0,
296
+ stderrBytes: 0,
297
+ },
298
+ });
299
+ }
300
+ finally {
301
+ try {
302
+ // npm can forward the terminal's SIGINT after the CLI receives it.
303
+ // Keep our handlers installed until the owned process group is fully
304
+ // stopped so a duplicate signal cannot terminate Rehearsal mid-cleanup.
305
+ await session.stop();
306
+ }
307
+ finally {
308
+ for (const [signal, handler] of handlers) {
309
+ signalTarget.removeListener(signal, handler);
310
+ }
311
+ if (input?.isTTY)
312
+ input.removeListener("data", onInput);
313
+ }
314
+ }
315
+ };
316
+ const valueAtPath = (value, path) => {
317
+ let current = value;
318
+ for (const segment of path) {
319
+ if (current === null ||
320
+ typeof current !== "object" ||
321
+ !Object.hasOwn(current, segment)) {
322
+ return undefined;
323
+ }
324
+ current = current[segment];
325
+ }
326
+ return current;
327
+ };
328
+ export const runHttpProofs = async ({ checks, fetchImplementation = fetch, }) => {
329
+ if (!Array.isArray(checks) || checks.length < 2) {
330
+ throw new Error("HTTP proof requires explicit positive and negative checks.");
331
+ }
332
+ if (!checks.some((check) => check.kind === "positive") ||
333
+ !checks.some((check) => check.kind === "negative")) {
334
+ throw new Error("HTTP proof requires at least one positive and one negative check.");
335
+ }
336
+ const results = [];
337
+ for (const check of checks) {
338
+ if (!isLoopbackUrl(check.url))
339
+ throw new Error(`HTTP proof ${check.name} is not local.`);
340
+ const response = await fetchImplementation(check.url, {
341
+ method: check.method ?? "GET",
342
+ redirect: "manual",
343
+ signal: AbortSignal.timeout(check.timeoutMs ?? 5_000),
344
+ });
345
+ if (response.status !== check.expectedStatus) {
346
+ throw new Error(`HTTP proof ${check.name} expected status ${check.expectedStatus} but received ${response.status}.`);
347
+ }
348
+ const bytes = Buffer.from(await response.arrayBuffer());
349
+ if (bytes.length > 1024 * 1024)
350
+ throw new Error(`HTTP proof ${check.name} returned too much data.`);
351
+ if (check.json) {
352
+ let parsed;
353
+ try {
354
+ parsed = JSON.parse(bytes.toString("utf8"));
355
+ }
356
+ catch {
357
+ throw new Error(`HTTP proof ${check.name} did not return JSON.`);
358
+ }
359
+ const actual = valueAtPath(parsed, check.json.path);
360
+ if (Object.hasOwn(check.json, "equals") &&
361
+ !Object.is(actual, check.json.equals)) {
362
+ throw new Error(`HTTP proof ${check.name} did not return its required value.`);
363
+ }
364
+ if (Object.hasOwn(check.json, "notEquals") &&
365
+ Object.is(actual, check.json.notEquals)) {
366
+ throw new Error(`HTTP proof ${check.name} returned a forbidden value.`);
367
+ }
368
+ if (check.json.minimumItems !== undefined &&
369
+ (!Array.isArray(actual) || actual.length < check.json.minimumItems)) {
370
+ throw new Error(`HTTP proof ${check.name} returned too few matching items.`);
371
+ }
372
+ }
373
+ results.push({
374
+ name: check.name,
375
+ kind: check.kind,
376
+ status: response.status,
377
+ });
378
+ }
379
+ return Object.freeze(results);
380
+ };