@rotifer/playground 0.25.1 → 0.26.1

package/dist/utils/artifact-consistency.js

@@ -0,0 +1,43 @@
+"use strict";
+/**
+ * Does a Gene's declared fidelity match what is actually on disk / in the
+ * registry record?
+ *
+ * spec §4.2 defines NATIVE as "core logic compiled to Rotifer IR". A record
+ * declaring Native with no artifact is therefore self-contradicting, and until
+ * 2026-09-07 both commands that meet one said nothing about it:
+ *
+ *   install  downloaded nothing (no else branch on `if (gene.wasm_url)`) and
+ *            then reported "Gene installed! Fidelity: Native" — for a Gene that
+ *            answers `rotifer run` with "No runnable source found".
+ *   compile  wrote `.compile-result.json` with `fidelity: "Wrapped"` while
+ *            leaving phenotype.json saying Native, and reported *success*:
+ *            "validated (Wrapped fidelity)". Two files in one directory
+ *            disagreeing, and a green tick over a Gene that cannot run.
+ *
+ * The judgement lives here, apart from the commands, so it can be tested
+ * without a network or a compiler.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.checkNativeArtifact = checkNativeArtifact;
+function checkNativeArtifact(input) {
+    if (input.fidelity !== "Native")
+        return { status: "consistent" };
+    if (input.hasArtifact)
+        return { status: "consistent" };
+    // Source but no artifact is a normal working state — it compiles into one.
+    // Only the case with neither is a Gene that claims Native and cannot be.
+    if (input.hasSource)
+        return { status: "consistent" };
+    return {
+        status: "native-without-artifact",
+        message: `'${input.geneName}' declares fidelity Native but ships no compiled artifact. ` +
+            `spec §4.2 defines Native as core logic compiled to Rotifer IR, so this Gene ` +
+            `cannot run: 'rotifer run ${input.geneName}' will report "No runnable source found".`,
+        hint: [
+            `This is the Gene's own defect, not your setup — nothing you can configure fixes it.`,
+            `Ask its author to republish with the artifact, or pick another Gene.`,
+        ],
+    };
+}
+//# sourceMappingURL=artifact-consistency.js.map

package/dist/utils/artifact-consistency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifact-consistency.js","sourceRoot":"","sources":["../../src/utils/artifact-consistency.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;GAkBG;;AAOH,kDA0BC;AA1BD,SAAgB,mBAAmB,CAAC,KAOnC;IACC,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IACjE,IAAI,KAAK,CAAC,WAAW;QAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IAEvD,2EAA2E;IAC3E,yEAAyE;IACzE,IAAI,KAAK,CAAC,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IAErD,OAAO;QACL,MAAM,EAAE,yBAAyB;QACjC,OAAO,EACL,IAAI,KAAK,CAAC,QAAQ,6DAA6D;YAC/E,8EAA8E;YAC9E,4BAA4B,KAAK,CAAC,QAAQ,2CAA2C;QACvF,IAAI,EAAE;YACJ,qFAAqF;YACrF,sEAAsE;SACvE;KACF,CAAC;AACJ,CAAC"}

package/genes/genesis-code-format/.cloud-manifest.json

@@ -1,6 +1,6 @@
 {
-  "cloud_id": "68bf602d-1495-4a13-9165-0f6edaf16352",
-  "owner": "Rotifer Protocol",
-  "version": "0.1.0",
-  "published_at": "2026-03-17T14:12:49.078Z"
+  "cloud_id": "27903d83-b263-4eb4-acb4-67a2695b51dd",
+  "owner": "xiaoba-dev",
+  "version": "0.2.0",
+  "published_at": "2026-09-08T15:40:25.013Z"
 }

package/genes/genesis-code-format/index.ts

@@ -15,19 +15,37 @@ interface CodeFormatOutput {
  * Formats source code. MVP uses simple heuristic formatting.
  * Production binding would delegate to prettier/rustfmt/etc.
  */
+const LANGUAGES = ["typescript", "javascript", "json", "markdown", "rust"] as const;
+
 export function express(input: CodeFormatInput): CodeFormatOutput {
+  // `input.code` went straight into .replace(), so anything that was not a
+  // string threw — all three illegal shapes crashed this Gene rather than
+  // producing an answer. The schema declares the type, so a value of another
+  // type is treated as a missing one.
+  const rawCode: unknown = input.code;
+  const code = typeof rawCode === "string" ? rawCode : "";
+
+  // `language` was echoed into the output unchecked, so a value outside the
+  // declared enum came back out as if the Gene had recognised it. It did not:
+  // an unrecognised language falls through to the generic whitespace pass, and
+  // the output should say so rather than repeat what it was handed.
+  const rawLanguage: unknown = input.language;
+  const language = (LANGUAGES as readonly unknown[]).includes(rawLanguage)
+    ? (rawLanguage as string)
+    : "unknown";
+
   let formatted: string;
 
-  switch (input.language) {
+  switch (language) {
     case "json":
       try {
-        formatted = JSON.stringify(JSON.parse(input.code), null, 2);
+        formatted = JSON.stringify(JSON.parse(code), null, 2);
       } catch {
-        formatted = input.code;
+        formatted = code;
       }
       break;
     default:
-      formatted = input.code
+      formatted = code
         .replace(/\t/g, "  ")
         .replace(/[ \t]+$/gm, "")
         .replace(/\n{3,}/g, "\n\n");
@@ -36,7 +54,7 @@ export function express(input: CodeFormatInput): CodeFormatOutput {
 
   return {
     formatted,
-    changed: formatted !== input.code,
-    language: input.language,
+    changed: formatted !== code,
+    language,
   };
 }

package/genes/genesis-code-format/phenotype.json

@@ -4,17 +4,39 @@
   "inputSchema": {
     "type": "object",
     "properties": {
-      "code": { "type": "string", "description": "Source code to format" },
-      "language": { "type": "string", "description": "Programming language", "enum": ["typescript", "javascript", "json", "markdown", "rust"] }
+      "code": {
+        "type": "string",
+        "description": "Source code to format"
+      },
+      "language": {
+        "type": "string",
+        "description": "Programming language",
+        "enum": [
+          "typescript",
+          "javascript",
+          "json",
+          "markdown",
+          "rust"
+        ]
+      }
     },
-    "required": ["code", "language"]
+    "required": [
+      "code",
+      "language"
+    ]
   },
   "outputSchema": {
     "type": "object",
     "properties": {
-      "formatted": { "type": "string" },
-      "changed": { "type": "boolean" },
-      "language": { "type": "string" }
+      "formatted": {
+        "type": "string"
+      },
+      "changed": {
+        "type": "boolean"
+      },
+      "language": {
+        "type": "string"
+      }
     }
   },
   "dependencies": [],
@@ -27,5 +49,12 @@
     "concurrencyModel": "Stateless",
     "failureSemantics": "FAIL_FAST"
   },
-  "tags": ["formatter", "prettier", "typescript", "rust", "genesis"]
+  "tags": [
+    "formatter",
+    "prettier",
+    "typescript",
+    "rust",
+    "genesis"
+  ],
+  "irHash": "1250405b99303f13211fde6df73f75b19ea933b3b800b76711008eafa8933a9b"
 }

package/genes/genesis-code-format/testsuite.json

@@ -0,0 +1,25 @@
+{
+  "testCases": [
+    {
+      "input": { "code": "{\"b\":2,\"a\":1}", "language": "json" },
+      "expectedOutput": {
+        "formatted": "{\n  \"b\": 2,\n  \"a\": 1\n}",
+        "changed": true,
+        "language": "json"
+      }
+    },
+    {
+      "input": { "code": 42, "language": "json" },
+      "expectedOutput": { "formatted": "", "changed": false, "language": "json" }
+    },
+    {
+      "input": { "language": "json" },
+      "expectedOutput": { "formatted": "", "changed": false, "language": "json" }
+    },
+    {
+      "input": {},
+      "expectedOutput": { "formatted": "", "changed": false, "language": "unknown" }
+    }
+  ],
+  "config": { "fuzzIterations": 10, "seed": 1 }
+}

package/genes/genesis-file-read/.cloud-manifest.json

@@ -1,6 +1,6 @@
 {
-  "cloud_id": "59edda66-9df0-4b62-83f5-c2db1975a541",
-  "owner": "Rotifer Protocol",
-  "version": "0.1.0",
-  "published_at": "2026-03-17T14:12:50.917Z"
+  "cloud_id": "948ba7e7-3f7b-42c0-9b25-ec1abf6cefae",
+  "owner": "xiaoba-dev",
+  "version": "0.2.0",
+  "published_at": "2026-09-08T15:37:52.362Z"
 }

package/genes/genesis-file-read/index.ts

@@ -18,11 +18,30 @@ interface FileReadOutput {
  * Restricted by L0 sandbox constraints (path allowlist).
  */
 export function express(input: FileReadInput): FileReadOutput {
-  const encoding = input.encoding ?? "utf-8";
+  // The schema declares encoding as an enum, so a value outside it is not a
+  // third choice — fall back to the documented default rather than passing it
+  // to Buffer.toString(), which would throw on an unknown encoding.
+  const rawEncoding: unknown = input.encoding;
+  const encoding = rawEncoding === "base64" ? "base64" : "utf-8";
+
+  // readFileSync accepts a number as a *file descriptor*, so `{"path": 42}`
+  // did not fail as a bad path — it attempted to read whatever fd 42 happened
+  // to be, and reported EBADF only because that one was closed. A caller
+  // choosing the number gets to choose the descriptor, which is not a path
+  // read at all. The type check has to happen before the call, not inside the
+  // catch: by then the read has already been attempted.
+  const rawPath: unknown = input.path;
+  if (typeof rawPath !== "string" || rawPath === "") {
+    return {
+      content: "[error] INVALID_PATH: path must be a non-empty string",
+      size: 0,
+      encoding,
+    };
+  }
 
   let buffer: Buffer;
   try {
-    buffer = readFileSync(input.path);
+    buffer = readFileSync(rawPath);
   } catch (err: any) {
     return {
       content: `[error] ${err.code ?? "UNKNOWN"}: ${err.message}`,

package/genes/genesis-file-read/phenotype.json

@@ -4,28 +4,52 @@
   "inputSchema": {
     "type": "object",
     "properties": {
-      "path": { "type": "string", "description": "File path to read" },
-      "encoding": { "type": "string", "default": "utf-8", "enum": ["utf-8", "base64"] }
+      "path": {
+        "type": "string",
+        "description": "File path to read"
+      },
+      "encoding": {
+        "type": "string",
+        "default": "utf-8",
+        "enum": [
+          "utf-8",
+          "base64"
+        ]
+      }
     },
-    "required": ["path"]
+    "required": [
+      "path"
+    ]
   },
   "outputSchema": {
     "type": "object",
     "properties": {
-      "content": { "type": "string" },
-      "size": { "type": "integer" },
-      "encoding": { "type": "string" }
+      "content": {
+        "type": "string"
+      },
+      "size": {
+        "type": "integer"
+      },
+      "encoding": {
+        "type": "string"
+      }
     }
   },
   "dependencies": [],
   "version": "0.2.0",
   "author": "rotifer-genesis",
-  "fidelity": "Native",
+  "fidelity": "Wrapped",
   "transparency": "Open",
   "semanticRequirements": {
     "timeModel": "Sync",
     "concurrencyModel": "Stateless",
     "failureSemantics": "FAIL_FAST"
   },
-  "tags": ["file-io", "encoding", "base64", "local-files", "genesis"]
+  "tags": [
+    "file-io",
+    "encoding",
+    "base64",
+    "local-files",
+    "genesis"
+  ]
 }

package/genes/genesis-file-read/testsuite.json

@@ -0,0 +1,41 @@
+{
+  "testCases": [
+    {
+      "input": { "path": "package.json" },
+      "expectedSchema": {
+        "type": "object",
+        "required": ["content", "size", "encoding"],
+        "properties": {
+          "content": { "type": "string", "pattern": "@rotifer/playground" },
+          "size": { "type": "integer", "minimum": 1 },
+          "encoding": { "const": "utf-8" }
+        }
+      }
+    },
+    {
+      "input": { "path": 42 },
+      "expectedOutput": {
+        "content": "[error] INVALID_PATH: path must be a non-empty string",
+        "size": 0,
+        "encoding": "utf-8"
+      }
+    },
+    {
+      "input": { "encoding": "utf-8" },
+      "expectedOutput": {
+        "content": "[error] INVALID_PATH: path must be a non-empty string",
+        "size": 0,
+        "encoding": "utf-8"
+      }
+    },
+    {
+      "input": {},
+      "expectedOutput": {
+        "content": "[error] INVALID_PATH: path must be a non-empty string",
+        "size": 0,
+        "encoding": "utf-8"
+      }
+    }
+  ],
+  "config": { "fuzzIterations": 10, "seed": 1 }
+}

package/genes/genesis-web-search/.cloud-manifest.json

@@ -1,6 +1,6 @@
 {
-  "cloud_id": "6fb2ebac-a229-4e4c-95d8-9b7ce751d8bf",
-  "owner": "Rotifer Protocol",
-  "version": "0.1.0",
-  "published_at": "2026-03-17T14:12:56.761Z"
+  "cloud_id": "ebb624a7-56aa-47be-8d98-52130e8d81c1",
+  "owner": "xiaoba-dev",
+  "version": "0.2.0",
+  "published_at": "2026-09-08T15:37:15.392Z"
 }

package/genes/genesis-web-search/index.ts

@@ -23,12 +23,31 @@ interface SearchOutput {
  */
 export function express(input: SearchInput): SearchOutput {
   const start = Date.now();
-  const max = input.maxResults ?? 5;
+
+  // `input.query` used to be interpolated straight into the result strings, so
+  // a missing field produced a simulated search for the literal "undefined" and
+  // a numeric one searched for "42". Neither is a search; both are the Gene
+  // answering confidently about a question nobody asked.
+  //
+  // Unlike a Gene with a documented default, there is nothing sensible to
+  // search for in place of a query, so this refuses: no query, no results. The
+  // shape still conforms to outputSchema, which is what "correct handling"
+  // means on this boundary (ADR-333).
+  const query: unknown = input.query;
+  if (typeof query !== "string" || query.trim() === "") {
+    return { results: [], totalResults: 0, searchTime: Date.now() - start };
+  }
+
+  const rawMax: unknown = input.maxResults;
+  const max =
+    typeof rawMax === "number" && Number.isInteger(rawMax) && rawMax > 0
+      ? Math.min(rawMax, 20)
+      : 5;
 
   const results: SearchResult[] = Array.from({ length: max }, (_, i) => ({
-    title: `Result ${i + 1} for "${input.query}"`,
-    url: `https://example.com/search?q=${encodeURIComponent(input.query)}&p=${i + 1}`,
-    snippet: `This is a simulated search result #${i + 1} for the query "${input.query}". In production, this gene binds to a real search provider.`,
+    title: `Result ${i + 1} for "${query}"`,
+    url: `https://example.com/search?q=${encodeURIComponent(query)}&p=${i + 1}`,
+    snippet: `This is a simulated search result #${i + 1} for the query "${query}". In production, this gene binds to a real search provider.`,
   }));
 
   return {

package/genes/genesis-web-search/phenotype.json

@@ -4,10 +4,20 @@
   "inputSchema": {
     "type": "object",
     "properties": {
-      "query": { "type": "string", "description": "Search query string" },
-      "maxResults": { "type": "integer", "default": 5, "minimum": 1, "maximum": 20 }
+      "query": {
+        "type": "string",
+        "description": "Search query string"
+      },
+      "maxResults": {
+        "type": "integer",
+        "default": 5,
+        "minimum": 1,
+        "maximum": 20
+      }
     },
-    "required": ["query"]
+    "required": [
+      "query"
+    ]
   },
   "outputSchema": {
     "type": "object",
@@ -17,14 +27,24 @@
         "items": {
           "type": "object",
           "properties": {
-            "title": { "type": "string" },
-            "url": { "type": "string" },
-            "snippet": { "type": "string" }
+            "title": {
+              "type": "string"
+            },
+            "url": {
+              "type": "string"
+            },
+            "snippet": {
+              "type": "string"
+            }
           }
         }
       },
-      "totalResults": { "type": "integer" },
-      "searchTime": { "type": "number" }
+      "totalResults": {
+        "type": "integer"
+      },
+      "searchTime": {
+        "type": "number"
+      }
     }
   },
   "dependencies": [],
@@ -38,5 +58,12 @@
     "concurrencyModel": "Stateless",
     "failureSemantics": "Retry"
   },
-  "tags": ["web-search", "results", "snippets", "async", "retrieval"]
+  "tags": [
+    "web-search",
+    "results",
+    "snippets",
+    "async",
+    "retrieval"
+  ],
+  "irHash": "9af9ccc90df36c586661876203b87f182c9fac65ebcfdec22c1e0d683be19b49"
 }

package/genes/genesis-web-search/testsuite.json

@@ -0,0 +1,82 @@
+{
+  "testCases": [
+    {
+      "input": {
+        "query": "rotifer protocol",
+        "maxResults": 2
+      },
+      "expectedSchema": {
+        "type": "object",
+        "required": [
+          "results",
+          "totalResults"
+        ],
+        "properties": {
+          "totalResults": {
+            "const": 2
+          },
+          "results": {
+            "type": "array",
+            "minItems": 2,
+            "items": {
+              "properties": {
+                "title": {
+                  "pattern": "rotifer protocol"
+                }
+              }
+            }
+          }
+        }
+      }
+    },
+    {
+      "input": {
+        "maxResults": 3
+      },
+      "expectedSchema": {
+        "type": "object",
+        "required": [
+          "results",
+          "totalResults"
+        ],
+        "properties": {
+          "totalResults": {
+            "const": 0
+          },
+          "results": {
+            "type": "array",
+            "maxItems": 0
+          }
+        }
+      }
+    },
+    {
+      "input": {
+        "query": 42
+      },
+      "expectedSchema": {
+        "type": "object",
+        "properties": {
+          "totalResults": {
+            "const": 0
+          }
+        }
+      }
+    },
+    {
+      "input": {},
+      "expectedSchema": {
+        "type": "object",
+        "properties": {
+          "totalResults": {
+            "const": 0
+          }
+        }
+      }
+    }
+  ],
+  "config": {
+    "fuzzIterations": 10,
+    "seed": 1
+  }
+}

package/genes/genesis-web-search-lite/.cloud-manifest.json

@@ -1,6 +1,6 @@
 {
-  "cloud_id": "247f642a-8f45-418f-852b-38c0d5699270",
-  "owner": "Rotifer Protocol",
-  "version": "0.1.0",
-  "published_at": "2026-03-17T14:12:54.670Z"
+  "cloud_id": "9f3410dc-4edb-492e-bdd6-fb103fd106e1",
+  "owner": "xiaoba-dev",
+  "version": "0.2.0",
+  "published_at": "2026-09-08T15:37:48.867Z"
 }

package/genes/genesis-web-search-lite/index.ts

@@ -15,8 +15,20 @@ interface LiteSearchOutput {
  * with deadline constraints.
  */
 export function express(input: LiteSearchInput): LiteSearchOutput {
+  // Same defect as genesis-web-search: a missing query became a confident
+  // answer about "undefined". With no default query to fall back on, saying so
+  // is the only honest response — and it stays inside outputSchema, which is
+  // what refusal has to look like on this boundary (ADR-333).
+  const query: unknown = input.query;
+  if (typeof query !== "string" || query.trim() === "") {
+    return {
+      answer: "No query provided.",
+      source: "",
+    };
+  }
+
   return {
-    answer: `[Simulated] Quick answer for "${input.query}": This is a placeholder response from genesis-web-search-lite. In production, this returns a concise answer from a search provider.`,
-    source: "https://example.com/instant?q=" + encodeURIComponent(input.query),
+    answer: `[Simulated] Quick answer for "${query}": This is a placeholder response from genesis-web-search-lite. In production, this returns a concise answer from a search provider.`,
+    source: "https://example.com/instant?q=" + encodeURIComponent(query),
   };
 }

package/genes/genesis-web-search-lite/phenotype.json

@@ -4,15 +4,24 @@
   "inputSchema": {
     "type": "object",
     "properties": {
-      "query": { "type": "string", "description": "Search query string" }
+      "query": {
+        "type": "string",
+        "description": "Search query string"
+      }
     },
-    "required": ["query"]
+    "required": [
+      "query"
+    ]
   },
   "outputSchema": {
     "type": "object",
     "properties": {
-      "answer": { "type": "string" },
-      "source": { "type": "string" }
+      "answer": {
+        "type": "string"
+      },
+      "source": {
+        "type": "string"
+      }
     }
   },
   "dependencies": [],
@@ -25,5 +34,12 @@
     "concurrencyModel": "Stateless",
     "failureSemantics": "SILENT_DEGRADE"
   },
-  "tags": ["web-search", "single-answer", "attribution", "lightweight", "async"]
+  "tags": [
+    "web-search",
+    "single-answer",
+    "attribution",
+    "lightweight",
+    "async"
+  ],
+  "irHash": "e1bae37cdb28cdce1c4a3631bcb9e58eb8009a01d3d8f4c6b7f1555d38fd040d"
 }

package/genes/genesis-web-search-lite/testsuite.json

@@ -0,0 +1,24 @@
+{
+  "testCases": [
+    {
+      "input": { "query": "rotifer protocol" },
+      "expectedSchema": {
+        "type": "object",
+        "required": ["answer", "source"],
+        "properties": {
+          "answer": { "type": "string", "pattern": "rotifer protocol" },
+          "source": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+    {
+      "input": { "query": 42 },
+      "expectedOutput": { "answer": "No query provided.", "source": "" }
+    },
+    {
+      "input": {},
+      "expectedOutput": { "answer": "No query provided.", "source": "" }
+    }
+  ],
+  "config": { "fuzzIterations": 10, "seed": 1 }
+}