@pome-sh/checks 0.1.7 → 0.1.8

package/CHANGELOG.md

@@ -1,5 +1,32 @@
 # @pome-sh/checks
 
+## 0.1.8
+
+**Grading-vocabulary change: twin-github's seed gained
+`repositories[].files[].renamed_from`.** No check declaration moves, no criterion
+moves and `checksDigest` is unaffected — this package's other half is the seed
+schemas, and this is one of them.
+
+`renamed_from` names the path a file was MOVED from on `branch`, and it is the
+only way a seed can take a path away from a branch. A seeded branch is created
+from the default branch and inherits every path, and a plain `files[]` entry can
+add or overwrite but never remove — so `status: "renamed"`, which
+`PullRequestFileRow` has always declared, was reachable from no seed at all, and
+`GET /pulls/:n/files` could not be made to serve GitHub's `previous_filename` by
+any world. Registering that as an allowance would have been accepting a gap in
+the twin's core file model.
+
+`content` is refused alongside `renamed_from` and read from the source path
+instead. That is not ergonomics: the branch diff detects a move by pairing
+identical blobs, so a seed naming both a source and different content would be
+asking for a rename the diff would report as an add plus a remove — the same
+unreachability one level up. A seed that sets `renamed_from` with no `branch`, or
+whose source is not a file on the branch, or whose source is its own destination,
+is refused with a message naming the field.
+
+Every seed valid before this is valid now: `content` became optional in the
+object and required by refine wherever `renamed_from` is absent.
+
 ## 0.1.7
 
 A section a check's verdict reads is now measured HERE, where the worlds are

package/dist/_types/twin-github/src/seed.d.ts

@@ -23,8 +23,9 @@ export declare const seedSchema: z.ZodObject<{
         }, z.core.$strip>>>;
         files: z.ZodDefault<z.ZodArray<z.ZodObject<{
             path: z.ZodString;
-            content: z.ZodString;
+            content: z.ZodOptional<z.ZodString>;
             branch: z.ZodOptional<z.ZodString>;
+            renamed_from: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>>;
         milestones: z.ZodDefault<z.ZodArray<z.ZodObject<{
             number: z.ZodOptional<z.ZodNumber>;

package/dist/_types/twin-github/src/types.d.ts

@@ -24,8 +24,9 @@ export type SeedRepository = {
     }>;
     files?: Array<{
         path: string;
-        content: string;
+        content?: string;
         branch?: string;
+        renamed_from?: string;
     }>;
     milestones?: Array<{
         number?: number;
@@ -202,6 +203,7 @@ export type PullRequestFileRow = {
     raw_url: string;
     contents_url: string;
     patch: string;
+    previous_filename: string | null;
 };
 export type CommitStatusRow = {
     id: number;

package/dist/{chunk-JVCGWAZQ.js → chunk-23CBSVIJ.js}

@@ -862,7 +862,52 @@ var seedSchema = z.object({
       color: z.string().default("ededed"),
       description: z.string().default("")
     })).default([]),
-    files: z.array(z.object({ path: z.string().min(1), content: z.string(), branch: z.string().optional() })).default([]),
+    // F-1500 — `renamed_from` is how a seed expresses a MOVE, and with it the
+    // `status: "renamed"` the row type has always declared and no world could
+    // reach. A seeded branch is created from the default branch and inherits
+    // every path, and a plain `files[]` entry can only add or overwrite, so
+    // before this there was no way to make a path ABSENT from the head branch
+    // — and `previous_filename` was therefore unreachable from any seed, not
+    // merely unemitted.
+    //
+    // `content` is refused alongside `renamed_from` rather than merged with
+    // it: the diff detects a move by pairing identical blobs (see
+    // `calculatePullFiles`), so a seed naming a source AND different content
+    // would be asking for a rename the diff would report as an add plus a
+    // remove. Refusing it keeps "the seed asked for a rename" and "the twin
+    // serves a rename" the same statement. The content comes from the source
+    // path, which the domain resolves on the branch the move happens on.
+    files: z.array(z.object({
+      path: z.string().min(1),
+      content: z.string().optional(),
+      branch: z.string().optional(),
+      renamed_from: z.string().min(1).optional()
+    }).superRefine((file, ctx) => {
+      if (file.renamed_from === void 0) {
+        if (file.content === void 0) {
+          ctx.addIssue({
+            code: "custom",
+            path: ["content"],
+            message: "content is required on a file entry that declares no renamed_from"
+          });
+        }
+        return;
+      }
+      if (file.content !== void 0) {
+        ctx.addIssue({
+          code: "custom",
+          path: ["content"],
+          message: `renamed_from carries the source file's content, so content must be omitted (${file.path})`
+        });
+      }
+      if (file.renamed_from === file.path) {
+        ctx.addIssue({
+          code: "custom",
+          path: ["renamed_from"],
+          message: `renamed_from must name a different path than the file it moves to (${file.path})`
+        });
+      }
+    })).default([]),
     // F-1421 — milestones, tags and releases are repository-level entities the
     // twin already SERVES (`GET /milestones`, `/tags`, `/releases`,
     // `/releases/latest`, `/releases/tags/:tag`) and the seed could not

package/dist/github.js

@@ -1,2 +1,2 @@
-export { GITHUB_CHECKS, defaultSeedState, parseSeed, seedSchema } from './chunk-JVCGWAZQ.js';
+export { GITHUB_CHECKS, defaultSeedState, parseSeed, seedSchema } from './chunk-23CBSVIJ.js';
 import './chunk-W2JNYULF.js';

package/dist/index.js

@@ -1,6 +1,6 @@
 import './chunk-ZXE6LAM3.js';
-import { GITHUB_CHECKS } from './chunk-JVCGWAZQ.js';
-export { GITHUB_CHECKS, defaultSeedState as defaultGitHubSeed, seedSchema as githubSeedSchema, parseSeed as parseGitHubSeed } from './chunk-JVCGWAZQ.js';
+import { GITHUB_CHECKS } from './chunk-23CBSVIJ.js';
+export { GITHUB_CHECKS, defaultSeedState as defaultGitHubSeed, seedSchema as githubSeedSchema, parseSeed as parseGitHubSeed } from './chunk-23CBSVIJ.js';
 import { GMAIL_CHECKS } from './chunk-KTTJCEDH.js';
 export { GMAIL_CHECKS, defaultSeedState as defaultGmailSeed, gmailSeedSchema, parseSeed as parseGmailSeed } from './chunk-KTTJCEDH.js';
 import { LINEAR_CHECKS } from './chunk-THOSO63W.js';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pome-sh/checks",
-  "version": "0.1.7",
+  "version": "0.1.8",
   "description": "Pome's grading vocabulary — the check declarations, seed schemas and default seeds of all five digital twins, plus the check DSL they are written in. Declarations only: no twin server, no database, no routes, no tools.",
   "private": false,
   "type": "module",