run-dmcp 0.2.0 → 0.4.0

package/dist/rpg/server.js

@@ -0,0 +1,22 @@
+import { createCoreMcpServer } from "../mcp-server.js";
+import { registerRpgTools } from "./index.js";
+/**
+ * Build the FULL assembly: every core tool plus every RPG tool, resource and
+ * prompt this engine has always served. Same name and same `{ mechanics?,
+ * vocabulary? }` options as the pre-split `createMcpServer` in
+ * src/mcp-server.ts, so src/bin/run-dmcp.ts's zero-argument call site keeps
+ * working unchanged and the registered tool/resource/prompt set is unchanged
+ * too (src/__tests__/layerBoundary.test.ts asserts this exactly).
+ */
+export function createMcpServer(options) {
+    const server = createCoreMcpServer(options);
+    registerRpgTools(server);
+    return server;
+}
+// The web UI. An application opts into serving it; importing this never
+// does. It lives on disk at src/http/server.ts, not under src/rpg/ -- it
+// imports RPG tools (quest/ability/combat), which is why it cannot be
+// reachable from the core entry point, but its CLIENT_DIST path resolution
+// is depth-sensitive in both src/ and compiled dist/, so it stays put and
+// only its EXPORT moves up to this layer.
+export { createHttpServer, startHttpServer } from "../http/server.js";

package/dist/schemas/index.d.ts

@@ -15,8 +15,8 @@ export declare const subjectDescriptionSchema: z.ZodObject<{
         distinguishingMarks: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, "strip", z.ZodTypeAny, {
         height?: string | undefined;
-        age?: string | undefined;
         gender?: string | undefined;
+        age?: string | undefined;
         bodyType?: string | undefined;
         skinTone?: string | undefined;
         hairColor?: string | undefined;
@@ -26,8 +26,8 @@ export declare const subjectDescriptionSchema: z.ZodObject<{
         distinguishingMarks?: string[] | undefined;
     }, {
         height?: string | undefined;
-        age?: string | undefined;
         gender?: string | undefined;
+        age?: string | undefined;
         bodyType?: string | undefined;
         skinTone?: string | undefined;
         hairColor?: string | undefined;
@@ -66,16 +66,16 @@ export declare const subjectDescriptionSchema: z.ZodObject<{
         weather?: string | undefined;
         lighting?: string | undefined;
         architecture?: string | undefined;
-        vegetation?: string | undefined;
         notableFeatures?: string[] | undefined;
+        vegetation?: string | undefined;
     }, {
         setting: string;
         timeOfDay?: string | undefined;
         weather?: string | undefined;
         lighting?: string | undefined;
         architecture?: string | undefined;
-        vegetation?: string | undefined;
         notableFeatures?: string[] | undefined;
+        vegetation?: string | undefined;
     }>>;
     objectDetails: z.ZodOptional<z.ZodObject<{
         material: z.ZodOptional<z.ZodString>;
@@ -101,8 +101,8 @@ export declare const subjectDescriptionSchema: z.ZodObject<{
     primaryDescription: string;
     physicalTraits?: {
         height?: string | undefined;
-        age?: string | undefined;
         gender?: string | undefined;
+        age?: string | undefined;
         bodyType?: string | undefined;
         skinTone?: string | undefined;
         hairColor?: string | undefined;
@@ -123,8 +123,8 @@ export declare const subjectDescriptionSchema: z.ZodObject<{
         weather?: string | undefined;
         lighting?: string | undefined;
         architecture?: string | undefined;
-        vegetation?: string | undefined;
         notableFeatures?: string[] | undefined;
+        vegetation?: string | undefined;
     } | undefined;
     objectDetails?: {
         size?: string | undefined;
@@ -140,8 +140,8 @@ export declare const subjectDescriptionSchema: z.ZodObject<{
     primaryDescription: string;
     physicalTraits?: {
         height?: string | undefined;
-        age?: string | undefined;
         gender?: string | undefined;
+        age?: string | undefined;
         bodyType?: string | undefined;
         skinTone?: string | undefined;
         hairColor?: string | undefined;
@@ -162,8 +162,8 @@ export declare const subjectDescriptionSchema: z.ZodObject<{
         weather?: string | undefined;
         lighting?: string | undefined;
         architecture?: string | undefined;
-        vegetation?: string | undefined;
         notableFeatures?: string[] | undefined;
+        vegetation?: string | undefined;
     } | undefined;
     objectDetails?: {
         size?: string | undefined;
@@ -188,16 +188,16 @@ export declare const styleDescriptionSchema: z.ZodObject<{
     artisticStyle: string;
     mood: string;
     colorScheme?: string | undefined;
-    qualityTags?: string[] | undefined;
     influences?: string[] | undefined;
+    qualityTags?: string[] | undefined;
     negativeElements?: string[] | undefined;
 }, {
     genre: string;
     artisticStyle: string;
     mood: string;
     colorScheme?: string | undefined;
-    qualityTags?: string[] | undefined;
     influences?: string[] | undefined;
+    qualityTags?: string[] | undefined;
     negativeElements?: string[] | undefined;
 }>;
 export declare const compositionDescriptionSchema: z.ZodObject<{
@@ -210,15 +210,15 @@ export declare const compositionDescriptionSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
     framing: string;
     background?: string | undefined;
-    aspectRatio?: string | undefined;
     cameraAngle?: string | undefined;
+    aspectRatio?: string | undefined;
     focusPoint?: string | undefined;
     depth?: string | undefined;
 }, {
     framing: string;
     background?: string | undefined;
-    aspectRatio?: string | undefined;
     cameraAngle?: string | undefined;
+    aspectRatio?: string | undefined;
     focusPoint?: string | undefined;
     depth?: string | undefined;
 }>;
@@ -230,11 +230,11 @@ export declare const comfyUIPromptSchema: z.ZodObject<{
         name: z.ZodString;
         weight: z.ZodNumber;
     }, "strip", z.ZodTypeAny, {
-        weight: number;
         name: string;
-    }, {
         weight: number;
+    }, {
         name: string;
+        weight: number;
     }>, "many">>;
     samplerSettings: z.ZodOptional<z.ZodObject<{
         sampler: z.ZodOptional<z.ZodString>;
@@ -257,8 +257,8 @@ export declare const comfyUIPromptSchema: z.ZodObject<{
     negative: string;
     checkpoint?: string | undefined;
     loras?: {
-        weight: number;
         name: string;
+        weight: number;
     }[] | undefined;
     samplerSettings?: {
         sampler?: string | undefined;
@@ -271,8 +271,8 @@ export declare const comfyUIPromptSchema: z.ZodObject<{
     negative: string;
     checkpoint?: string | undefined;
     loras?: {
-        weight: number;
         name: string;
+        weight: number;
     }[] | undefined;
     samplerSettings?: {
         sampler?: string | undefined;
@@ -292,22 +292,22 @@ export declare const generatedImageSchema: z.ZodObject<{
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, "strip", z.ZodTypeAny, {
     id: string;
-    tool: string;
-    prompt: string;
     timestamp: string;
+    prompt: string;
+    tool: string;
     url?: string | undefined;
     base64?: string | undefined;
-    seed?: number | undefined;
     metadata?: Record<string, unknown> | undefined;
+    seed?: number | undefined;
 }, {
     id: string;
-    tool: string;
-    prompt: string;
     timestamp: string;
+    prompt: string;
+    tool: string;
     url?: string | undefined;
     base64?: string | undefined;
-    seed?: number | undefined;
     metadata?: Record<string, unknown> | undefined;
+    seed?: number | undefined;
 }>;
 export declare const imageGenSchema: z.ZodObject<{
     subject: z.ZodObject<{
@@ -326,8 +326,8 @@ export declare const imageGenSchema: z.ZodObject<{
             distinguishingMarks: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         }, "strip", z.ZodTypeAny, {
             height?: string | undefined;
-            age?: string | undefined;
             gender?: string | undefined;
+            age?: string | undefined;
             bodyType?: string | undefined;
             skinTone?: string | undefined;
             hairColor?: string | undefined;
@@ -337,8 +337,8 @@ export declare const imageGenSchema: z.ZodObject<{
             distinguishingMarks?: string[] | undefined;
         }, {
             height?: string | undefined;
-            age?: string | undefined;
             gender?: string | undefined;
+            age?: string | undefined;
             bodyType?: string | undefined;
             skinTone?: string | undefined;
             hairColor?: string | undefined;
@@ -377,16 +377,16 @@ export declare const imageGenSchema: z.ZodObject<{
             weather?: string | undefined;
             lighting?: string | undefined;
             architecture?: string | undefined;
-            vegetation?: string | undefined;
             notableFeatures?: string[] | undefined;
+            vegetation?: string | undefined;
         }, {
             setting: string;
             timeOfDay?: string | undefined;
             weather?: string | undefined;
             lighting?: string | undefined;
             architecture?: string | undefined;
-            vegetation?: string | undefined;
             notableFeatures?: string[] | undefined;
+            vegetation?: string | undefined;
         }>>;
         objectDetails: z.ZodOptional<z.ZodObject<{
             material: z.ZodOptional<z.ZodString>;
@@ -412,8 +412,8 @@ export declare const imageGenSchema: z.ZodObject<{
         primaryDescription: string;
         physicalTraits?: {
             height?: string | undefined;
-            age?: string | undefined;
             gender?: string | undefined;
+            age?: string | undefined;
             bodyType?: string | undefined;
             skinTone?: string | undefined;
             hairColor?: string | undefined;
@@ -434,8 +434,8 @@ export declare const imageGenSchema: z.ZodObject<{
             weather?: string | undefined;
             lighting?: string | undefined;
             architecture?: string | undefined;
-            vegetation?: string | undefined;
             notableFeatures?: string[] | undefined;
+            vegetation?: string | undefined;
         } | undefined;
         objectDetails?: {
             size?: string | undefined;
@@ -451,8 +451,8 @@ export declare const imageGenSchema: z.ZodObject<{
         primaryDescription: string;
         physicalTraits?: {
             height?: string | undefined;
-            age?: string | undefined;
             gender?: string | undefined;
+            age?: string | undefined;
             bodyType?: string | undefined;
             skinTone?: string | undefined;
             hairColor?: string | undefined;
@@ -473,8 +473,8 @@ export declare const imageGenSchema: z.ZodObject<{
             weather?: string | undefined;
             lighting?: string | undefined;
             architecture?: string | undefined;
-            vegetation?: string | undefined;
             notableFeatures?: string[] | undefined;
+            vegetation?: string | undefined;
         } | undefined;
         objectDetails?: {
             size?: string | undefined;
@@ -499,16 +499,16 @@ export declare const imageGenSchema: z.ZodObject<{
         artisticStyle: string;
         mood: string;
         colorScheme?: string | undefined;
-        qualityTags?: string[] | undefined;
         influences?: string[] | undefined;
+        qualityTags?: string[] | undefined;
         negativeElements?: string[] | undefined;
     }, {
         genre: string;
         artisticStyle: string;
         mood: string;
         colorScheme?: string | undefined;
-        qualityTags?: string[] | undefined;
         influences?: string[] | undefined;
+        qualityTags?: string[] | undefined;
         negativeElements?: string[] | undefined;
     }>;
     composition: z.ZodObject<{
@@ -521,15 +521,15 @@ export declare const imageGenSchema: z.ZodObject<{
     }, "strip", z.ZodTypeAny, {
         framing: string;
         background?: string | undefined;
-        aspectRatio?: string | undefined;
         cameraAngle?: string | undefined;
+        aspectRatio?: string | undefined;
         focusPoint?: string | undefined;
         depth?: string | undefined;
     }, {
         framing: string;
         background?: string | undefined;
-        aspectRatio?: string | undefined;
         cameraAngle?: string | undefined;
+        aspectRatio?: string | undefined;
         focusPoint?: string | undefined;
         depth?: string | undefined;
     }>;
@@ -547,11 +547,11 @@ export declare const imageGenSchema: z.ZodObject<{
                 name: z.ZodString;
                 weight: z.ZodNumber;
             }, "strip", z.ZodTypeAny, {
-                weight: number;
                 name: string;
-            }, {
                 weight: number;
+            }, {
                 name: string;
+                weight: number;
             }>, "many">>;
             samplerSettings: z.ZodOptional<z.ZodObject<{
                 sampler: z.ZodOptional<z.ZodString>;
@@ -574,8 +574,8 @@ export declare const imageGenSchema: z.ZodObject<{
             negative: string;
             checkpoint?: string | undefined;
             loras?: {
-                weight: number;
                 name: string;
+                weight: number;
             }[] | undefined;
             samplerSettings?: {
                 sampler?: string | undefined;
@@ -588,8 +588,8 @@ export declare const imageGenSchema: z.ZodObject<{
             negative: string;
             checkpoint?: string | undefined;
             loras?: {
-                weight: number;
                 name: string;
+                weight: number;
             }[] | undefined;
             samplerSettings?: {
                 sampler?: string | undefined;
@@ -607,8 +607,8 @@ export declare const imageGenSchema: z.ZodObject<{
             negative: string;
             checkpoint?: string | undefined;
             loras?: {
-                weight: number;
                 name: string;
+                weight: number;
             }[] | undefined;
             samplerSettings?: {
                 sampler?: string | undefined;
@@ -628,8 +628,8 @@ export declare const imageGenSchema: z.ZodObject<{
             negative: string;
             checkpoint?: string | undefined;
             loras?: {
-                weight: number;
                 name: string;
+                weight: number;
             }[] | undefined;
             samplerSettings?: {
                 sampler?: string | undefined;
@@ -652,22 +652,22 @@ export declare const imageGenSchema: z.ZodObject<{
         metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
     }, "strip", z.ZodTypeAny, {
         id: string;
-        tool: string;
-        prompt: string;
         timestamp: string;
+        prompt: string;
+        tool: string;
         url?: string | undefined;
         base64?: string | undefined;
-        seed?: number | undefined;
         metadata?: Record<string, unknown> | undefined;
+        seed?: number | undefined;
     }, {
         id: string;
-        tool: string;
-        prompt: string;
         timestamp: string;
+        prompt: string;
+        tool: string;
         url?: string | undefined;
         base64?: string | undefined;
-        seed?: number | undefined;
         metadata?: Record<string, unknown> | undefined;
+        seed?: number | undefined;
     }>, "many">>;
     consistency: z.ZodOptional<z.ZodObject<{
         characterRef: z.ZodOptional<z.ZodString>;
@@ -691,8 +691,8 @@ export declare const imageGenSchema: z.ZodObject<{
         artisticStyle: string;
         mood: string;
         colorScheme?: string | undefined;
-        qualityTags?: string[] | undefined;
         influences?: string[] | undefined;
+        qualityTags?: string[] | undefined;
         negativeElements?: string[] | undefined;
     };
     subject: {
@@ -700,8 +700,8 @@ export declare const imageGenSchema: z.ZodObject<{
         primaryDescription: string;
         physicalTraits?: {
             height?: string | undefined;
-            age?: string | undefined;
             gender?: string | undefined;
+            age?: string | undefined;
             bodyType?: string | undefined;
             skinTone?: string | undefined;
             hairColor?: string | undefined;
@@ -722,8 +722,8 @@ export declare const imageGenSchema: z.ZodObject<{
             weather?: string | undefined;
             lighting?: string | undefined;
             architecture?: string | undefined;
-            vegetation?: string | undefined;
             notableFeatures?: string[] | undefined;
+            vegetation?: string | undefined;
         } | undefined;
         objectDetails?: {
             size?: string | undefined;
@@ -738,8 +738,8 @@ export declare const imageGenSchema: z.ZodObject<{
     composition: {
         framing: string;
         background?: string | undefined;
-        aspectRatio?: string | undefined;
         cameraAngle?: string | undefined;
+        aspectRatio?: string | undefined;
         focusPoint?: string | undefined;
         depth?: string | undefined;
     };
@@ -758,8 +758,8 @@ export declare const imageGenSchema: z.ZodObject<{
             negative: string;
             checkpoint?: string | undefined;
             loras?: {
-                weight: number;
                 name: string;
+                weight: number;
             }[] | undefined;
             samplerSettings?: {
                 sampler?: string | undefined;
@@ -773,13 +773,13 @@ export declare const imageGenSchema: z.ZodObject<{
     } | undefined;
     generations?: {
         id: string;
-        tool: string;
-        prompt: string;
         timestamp: string;
+        prompt: string;
+        tool: string;
         url?: string | undefined;
         base64?: string | undefined;
-        seed?: number | undefined;
         metadata?: Record<string, unknown> | undefined;
+        seed?: number | undefined;
     }[] | undefined;
 }, {
     style: {
@@ -787,8 +787,8 @@ export declare const imageGenSchema: z.ZodObject<{
         artisticStyle: string;
         mood: string;
         colorScheme?: string | undefined;
-        qualityTags?: string[] | undefined;
         influences?: string[] | undefined;
+        qualityTags?: string[] | undefined;
         negativeElements?: string[] | undefined;
     };
     subject: {
@@ -796,8 +796,8 @@ export declare const imageGenSchema: z.ZodObject<{
         primaryDescription: string;
         physicalTraits?: {
             height?: string | undefined;
-            age?: string | undefined;
             gender?: string | undefined;
+            age?: string | undefined;
             bodyType?: string | undefined;
             skinTone?: string | undefined;
             hairColor?: string | undefined;
@@ -818,8 +818,8 @@ export declare const imageGenSchema: z.ZodObject<{
             weather?: string | undefined;
             lighting?: string | undefined;
             architecture?: string | undefined;
-            vegetation?: string | undefined;
             notableFeatures?: string[] | undefined;
+            vegetation?: string | undefined;
         } | undefined;
         objectDetails?: {
             size?: string | undefined;
@@ -834,8 +834,8 @@ export declare const imageGenSchema: z.ZodObject<{
     composition: {
         framing: string;
         background?: string | undefined;
-        aspectRatio?: string | undefined;
         cameraAngle?: string | undefined;
+        aspectRatio?: string | undefined;
         focusPoint?: string | undefined;
         depth?: string | undefined;
     };
@@ -854,8 +854,8 @@ export declare const imageGenSchema: z.ZodObject<{
             negative: string;
             checkpoint?: string | undefined;
             loras?: {
-                weight: number;
                 name: string;
+                weight: number;
             }[] | undefined;
             samplerSettings?: {
                 sampler?: string | undefined;
@@ -869,13 +869,13 @@ export declare const imageGenSchema: z.ZodObject<{
     } | undefined;
     generations?: {
         id: string;
-        tool: string;
-        prompt: string;
         timestamp: string;
+        prompt: string;
+        tool: string;
         url?: string | undefined;
         base64?: string | undefined;
-        seed?: number | undefined;
         metadata?: Record<string, unknown> | undefined;
+        seed?: number | undefined;
     }[] | undefined;
 }>;
 export declare const voiceSchema: z.ZodObject<{

package/dist/server.d.ts

@@ -0,0 +1 @@
+export { createCoreMcpServer, SERVER_NAME, SERVER_VERSION } from "./mcp-server.js";

package/dist/server.js

@@ -0,0 +1,20 @@
+// The core assembly: the MCP server built from the core's tools.
+//
+// This is a SEPARATE entry point (`run-dmcp/server`) from the core library
+// (`run-dmcp`, src/index.ts) for one reason, and it is a cost. Building a
+// server means loading the MCP SDK and twenty-one register modules; wanting
+// `LIMITS` or `createGame` does not. While these lived on the same entry,
+// every consumer paid for both -- 97.4ms per process against 46.8ms for the
+// mechanism alone, measured cold at 0.3.0 over nine spawns, on a consumer
+// that spawns a fresh process per turn and never calls this function.
+//
+// The split is a move, not a change: `createCoreMcpServer` is the same
+// function with the same options, reached by a different specifier.
+// src/__tests__/assemblyBoundary.test.ts asserts that it stays reachable
+// from here, and unreachable from there.
+//
+// Importing this module must still do nothing to the machine -- the rule
+// src/index.ts's header states applies to every library entry this package
+// publishes, and src/__tests__/entrypoints.test.ts holds it. Starting things
+// is src/bin/run-dmcp.ts.
+export { createCoreMcpServer, SERVER_NAME, SERVER_VERSION } from "./mcp-server.js";

package/dist/timeline/changes.d.ts

@@ -92,6 +92,14 @@ export interface ChangeSet {
  * retroactively un-happen it. Filtering these rows by aliveness would be
  * exactly the kind of policy this module isn't allowed to have an opinion
  * on (see `ChangeSet`'s doc comment).
+ *
+ * DECISION(#18): changesWithin() returns every transition, whoever could observe it.
+ *
+ * Omniscient for the same reason and by the same decision as `replay()` --
+ * see its doc comment for the argument. Every transition in the window is
+ * returned regardless of which principal could have observed it, and a
+ * later per-principal filter arrives as one predicate on the two queries
+ * below (issue #18).
  */
 export declare function changesWithin(params: {
     gameId: string;

package/dist/timeline/changes.js

@@ -71,6 +71,14 @@ function compareChanges(a, b) {
  * retroactively un-happen it. Filtering these rows by aliveness would be
  * exactly the kind of policy this module isn't allowed to have an opinion
  * on (see `ChangeSet`'s doc comment).
+ *
+ * DECISION(#18): changesWithin() returns every transition, whoever could observe it.
+ *
+ * Omniscient for the same reason and by the same decision as `replay()` --
+ * see its doc comment for the argument. Every transition in the window is
+ * returned regardless of which principal could have observed it, and a
+ * later per-principal filter arrives as one predicate on the two queries
+ * below (issue #18).
  */
 export function changesWithin(params) {
     const { gameId, t0, t1 } = params;

package/dist/timeline/export.d.ts

@@ -28,6 +28,16 @@ import type { EntityKind } from "./kinds.js";
  * artifact contains no `file_path` anywhere and that those rows
  * contributed nothing (not even an extra entity).
  *
+ * DECISION(#18): the frozen artifact carries no per-principal projection.
+ *
+ * No visibility filtering either, and the same "requirement, not omission"
+ * applies (issue #18): the artifact is the omniscient timeline. Whether a
+ * per-principal export should exist is not a small question deferred for
+ * tidiness -- it decides whether §6's "one file a deterministic consumer
+ * depends on" becomes N files plus a rule for choosing between them. That
+ * is a decision for the caller that first needs it to own, and it cannot be
+ * made well against no caller, so it is not made here.
+ *
  * No live tables either. The live projected tables (`games`, `characters`,
  * `resources`, ...) are a projection of the timeline, not a second source
  * of truth (design §5.4's decided destination) -- a file carrying both

package/dist/timeline/export.js

@@ -28,6 +28,16 @@ import { getDatabase, withTransaction } from "../db/connection.js";
  * artifact contains no `file_path` anywhere and that those rows
  * contributed nothing (not even an extra entity).
  *
+ * DECISION(#18): the frozen artifact carries no per-principal projection.
+ *
+ * No visibility filtering either, and the same "requirement, not omission"
+ * applies (issue #18): the artifact is the omniscient timeline. Whether a
+ * per-principal export should exist is not a small question deferred for
+ * tidiness -- it decides whether §6's "one file a deterministic consumer
+ * depends on" becomes N files plus a rule for choosing between them. That
+ * is a decision for the caller that first needs it to own, and it cannot be
+ * made well against no caller, so it is not made here.
+ *
  * No live tables either. The live projected tables (`games`, `characters`,
  * `resources`, ...) are a projection of the timeline, not a second source
  * of truth (design §5.4's decided destination) -- a file carrying both

package/dist/timeline/irreversible.d.ts

@@ -1,5 +1,7 @@
 import { type FactProvenance } from "./provenance.js";
 /**
+ * DECISION(#21): contradiction is whole-value comparison under one key.
+ *
  * `irreversible` -- the temporal member of the constraint family alongside
  * `bounded`, `monotonic`, and conserved sets (design §5.3). Declared per
  * fact, not per entity or per value: `facts.irreversible` is a column on the

package/dist/timeline/replay.d.ts

@@ -57,6 +57,28 @@ export interface Snapshot {
  * large one and make every distinct entity count its own SQL text, which
  * defeats better-sqlite3's prepared-statement cache. Fixed SQL, two binds
  * of `t`, regardless of how many entities exist.
+ *
+ * DECISION(#18): replay() applies no visibility filtering, by decision rather than omission.
+ *
+ * OMNISCIENT, DELIBERATELY (issue #18). This returns every fact valid at
+ * `t`, for every entity alive at `t`, with no visibility filtering of any
+ * kind. That is a decision, not an omission: per-principal visibility is
+ * deferred until a real caller makes the requirement concrete, because the
+ * expensive half of such a feature is the principal model, and inventing a
+ * principal against an imagined client is precisely what design §13 forbids.
+ *
+ * Worth stating out loud here rather than leaving to be inferred, because
+ * the predecessor's unenforced version of the same decision is legible
+ * today for exactly one reason -- `get_secret`'s own description says "DM
+ * view - shows all info" -- and a reader who finds an unfiltered query with
+ * no such sentence cannot tell a decision from a hole.
+ *
+ * A later filter is additive and needs nothing reserved for it now: it is
+ * one predicate, added here once, because this function is the single place
+ * every reader of "what was true at `t`" goes through. Do NOT add a
+ * nullable visibility column to `facts` in anticipation -- an unpopulated
+ * one reads equally well as "visible to everyone" and "visible to no one",
+ * and both readings survive review.
  */
 export declare function replay(params: {
     gameId: string;

package/dist/timeline/replay.js

@@ -36,6 +36,28 @@ const ALIVE_AT_T = "e.created_at_t <= ? AND (e.destroyed_at_t IS NULL OR e.destr
  * large one and make every distinct entity count its own SQL text, which
  * defeats better-sqlite3's prepared-statement cache. Fixed SQL, two binds
  * of `t`, regardless of how many entities exist.
+ *
+ * DECISION(#18): replay() applies no visibility filtering, by decision rather than omission.
+ *
+ * OMNISCIENT, DELIBERATELY (issue #18). This returns every fact valid at
+ * `t`, for every entity alive at `t`, with no visibility filtering of any
+ * kind. That is a decision, not an omission: per-principal visibility is
+ * deferred until a real caller makes the requirement concrete, because the
+ * expensive half of such a feature is the principal model, and inventing a
+ * principal against an imagined client is precisely what design §13 forbids.
+ *
+ * Worth stating out loud here rather than leaving to be inferred, because
+ * the predecessor's unenforced version of the same decision is legible
+ * today for exactly one reason -- `get_secret`'s own description says "DM
+ * view - shows all info" -- and a reader who finds an unfiltered query with
+ * no such sentence cannot tell a decision from a hole.
+ *
+ * A later filter is additive and needs nothing reserved for it now: it is
+ * one predicate, added here once, because this function is the single place
+ * every reader of "what was true at `t`" goes through. Do NOT add a
+ * nullable visibility column to `facts` in anticipation -- an unpopulated
+ * one reads equally well as "visible to everyone" and "visible to no one",
+ * and both readings survive review.
  */
 export function replay(params) {
     const { gameId, t } = params;