patram 0.8.0 → 0.10.0

package/lib/{load-patram-config.d.ts → config/schema.d.ts}

@@ -1,29 +1,155 @@
 /**
- * @typedef {object} LoadPatramConfigResult
- * @property {PatramRepoConfig | null} config
- * @property {string} config_path
- * @property {PatramDiagnostic[]} diagnostics
+ * @param {string} field_name
+ * @returns {boolean}
  */
+export function isReservedStructuralFieldName(field_name: string): boolean;
 /**
- * Load and validate the repo Patram config.
- *
- * @param {string} [project_directory]
- * @returns {Promise<LoadPatramConfigResult>}
+ * @param {string} markdown_style
+ * @returns {boolean}
  */
-export function loadPatramConfig(project_directory?: string): Promise<LoadPatramConfigResult>;
-export type LoadPatramConfigResult = {
-    config: PatramRepoConfig | null;
-    config_path: string;
-    diagnostics: PatramDiagnostic[];
-};
-export type PatramDiagnostic = {
-    code: string;
-    column: number;
-    level: "error";
-    line: number;
-    message: string;
-    path: string;
-};
+export function isKnownMarkdownStyle(markdown_style: string): boolean;
+/**
+ * @param {string} mixed_styles
+ * @returns {boolean}
+ */
+export function isMixedStyleValue(mixed_styles: string): boolean;
+export const CONFIG_FILE_NAME: ".patram.json";
+/**
+ * @typedef {z.output<typeof patram_repo_config_schema>} PatramRepoConfig
+ */
+export const patram_repo_config_schema: z.ZodObject<{
+    classes: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        builtin: z.ZodOptional<z.ZodBoolean>;
+        label: z.ZodOptional<z.ZodString>;
+        schema: z.ZodOptional<z.ZodObject<{
+            document_path_class: z.ZodOptional<z.ZodString>;
+            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+                markdown_styles: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                presence: z.ZodEnum<{
+                    optional: "optional";
+                    required: "required";
+                    forbidden: "forbidden";
+                }>;
+            }, z.core.$strict>>>;
+            markdown_styles: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            mixed_styles: z.ZodOptional<z.ZodString>;
+            unknown_fields: z.ZodOptional<z.ZodEnum<{
+                error: "error";
+                ignore: "ignore";
+            }>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>>;
+    derived_summaries: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        classes: z.ZodArray<z.ZodString>;
+        fields: z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+            count: z.ZodObject<{
+                traversal: z.ZodString;
+                where: z.ZodString;
+            }, z.core.$strict>;
+            name: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            default: z.ZodUnion<readonly [z.ZodBoolean, z.ZodNumber, z.ZodString, z.ZodNull]>;
+            name: z.ZodString;
+            select: z.ZodArray<z.ZodObject<{
+                value: z.ZodUnion<readonly [z.ZodBoolean, z.ZodNumber, z.ZodString, z.ZodNull]>;
+                when: z.ZodString;
+            }, z.core.$strict>>;
+        }, z.core.$strict>]>>;
+    }, z.core.$strict>>>;
+    fields: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+        query: z.ZodOptional<z.ZodObject<{
+            contains: z.ZodOptional<z.ZodBoolean>;
+            prefix: z.ZodOptional<z.ZodBoolean>;
+        }, z.core.$strict>>;
+        type: z.ZodLiteral<"string">;
+        display: z.ZodOptional<z.ZodObject<{
+            hidden: z.ZodOptional<z.ZodBoolean>;
+            order: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        multiple: z.ZodOptional<z.ZodBoolean>;
+        path_class: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"integer">;
+        display: z.ZodOptional<z.ZodObject<{
+            hidden: z.ZodOptional<z.ZodBoolean>;
+            order: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        multiple: z.ZodOptional<z.ZodBoolean>;
+        path_class: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"enum">;
+        values: z.ZodArray<z.ZodString>;
+        display: z.ZodOptional<z.ZodObject<{
+            hidden: z.ZodOptional<z.ZodBoolean>;
+            order: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        multiple: z.ZodOptional<z.ZodBoolean>;
+        path_class: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"path">;
+        display: z.ZodOptional<z.ZodObject<{
+            hidden: z.ZodOptional<z.ZodBoolean>;
+            order: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        multiple: z.ZodOptional<z.ZodBoolean>;
+        path_class: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"glob">;
+        display: z.ZodOptional<z.ZodObject<{
+            hidden: z.ZodOptional<z.ZodBoolean>;
+            order: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        multiple: z.ZodOptional<z.ZodBoolean>;
+        path_class: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"date">;
+        display: z.ZodOptional<z.ZodObject<{
+            hidden: z.ZodOptional<z.ZodBoolean>;
+            order: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        multiple: z.ZodOptional<z.ZodBoolean>;
+        path_class: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"date_time">;
+        display: z.ZodOptional<z.ZodObject<{
+            hidden: z.ZodOptional<z.ZodBoolean>;
+            order: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        multiple: z.ZodOptional<z.ZodBoolean>;
+        path_class: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>], "type">>>;
+    include: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    mappings: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        emit: z.ZodOptional<z.ZodObject<{
+            relation: z.ZodString;
+            target: z.ZodEnum<{
+                path: "path";
+                value: "value";
+            }>;
+            target_class: z.ZodString;
+        }, z.core.$strict>>;
+        node: z.ZodOptional<z.ZodObject<{
+            class: z.ZodString;
+            field: z.ZodString;
+            key: z.ZodOptional<z.ZodEnum<{
+                path: "path";
+                value: "value";
+            }>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>>;
+    path_classes: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        prefixes: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>>;
+    queries: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+        description: z.ZodOptional<z.ZodString>;
+        where: z.ZodString;
+    }, z.core.$strict>>>;
+    relations: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        builtin: z.ZodOptional<z.ZodBoolean>;
+        from: z.ZodArray<z.ZodString>;
+        to: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
 export type StoredQueryConfig = z.output<typeof stored_query_schema>;
 export type DerivedSummaryScalar = z.output<typeof derived_summary_scalar_schema>;
 export type DerivedSummaryCountConfig = z.output<typeof derived_summary_count_schema>;
@@ -35,23 +161,14 @@ export type FieldQueryConfig = z.output<typeof field_query_schema>;
 export type MetadataFieldConfig = z.output<typeof metadata_field_schema>;
 export type ClassFieldRuleConfig = z.output<typeof class_field_rule_schema>;
 export type ClassSchemaConfig = z.output<typeof class_schema_schema>;
-export type RepoClassConfig = z.output<typeof repo_class_definition_schema>;
 export type PathClassConfig = z.output<typeof path_class_schema>;
 export type PatramRepoConfig = z.output<typeof patram_repo_config_schema>;
 import { z } from 'zod';
-/**
- * @typedef {object} PatramDiagnostic
- * @property {string} code
- * @property {number} column
- * @property {'error'} level
- * @property {number} line
- * @property {string} message
- * @property {string} path
- */
 /**
  * @typedef {z.output<typeof stored_query_schema>} StoredQueryConfig
  */
 declare const stored_query_schema: z.ZodObject<{
+    description: z.ZodOptional<z.ZodString>;
     where: z.ZodString;
 }, z.core.$strict>;
 /**
@@ -216,169 +333,10 @@ declare const class_schema_schema: z.ZodObject<{
         ignore: "ignore";
     }>>;
 }, z.core.$strict>;
-/**
- * @typedef {z.output<typeof repo_class_definition_schema>} RepoClassConfig
- */
-declare const repo_class_definition_schema: z.ZodObject<{
-    builtin: z.ZodOptional<z.ZodBoolean>;
-    label: z.ZodOptional<z.ZodString>;
-    schema: z.ZodOptional<z.ZodObject<{
-        document_path_class: z.ZodOptional<z.ZodString>;
-        fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
-            markdown_styles: z.ZodOptional<z.ZodArray<z.ZodString>>;
-            presence: z.ZodEnum<{
-                optional: "optional";
-                required: "required";
-                forbidden: "forbidden";
-            }>;
-        }, z.core.$strict>>>;
-        markdown_styles: z.ZodOptional<z.ZodArray<z.ZodString>>;
-        mixed_styles: z.ZodOptional<z.ZodString>;
-        unknown_fields: z.ZodOptional<z.ZodEnum<{
-            error: "error";
-            ignore: "ignore";
-        }>>;
-    }, z.core.$strict>>;
-}, z.core.$strict>;
 /**
  * @typedef {z.output<typeof path_class_schema>} PathClassConfig
  */
 declare const path_class_schema: z.ZodObject<{
     prefixes: z.ZodArray<z.ZodString>;
 }, z.core.$strict>;
-/**
- * @typedef {z.output<typeof patram_repo_config_schema>} PatramRepoConfig
- */
-declare const patram_repo_config_schema: z.ZodObject<{
-    classes: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
-        builtin: z.ZodOptional<z.ZodBoolean>;
-        label: z.ZodOptional<z.ZodString>;
-        schema: z.ZodOptional<z.ZodObject<{
-            document_path_class: z.ZodOptional<z.ZodString>;
-            fields: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
-                markdown_styles: z.ZodOptional<z.ZodArray<z.ZodString>>;
-                presence: z.ZodEnum<{
-                    optional: "optional";
-                    required: "required";
-                    forbidden: "forbidden";
-                }>;
-            }, z.core.$strict>>>;
-            markdown_styles: z.ZodOptional<z.ZodArray<z.ZodString>>;
-            mixed_styles: z.ZodOptional<z.ZodString>;
-            unknown_fields: z.ZodOptional<z.ZodEnum<{
-                error: "error";
-                ignore: "ignore";
-            }>>;
-        }, z.core.$strict>>;
-    }, z.core.$strict>>>;
-    derived_summaries: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
-        classes: z.ZodArray<z.ZodString>;
-        fields: z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
-            count: z.ZodObject<{
-                traversal: z.ZodString;
-                where: z.ZodString;
-            }, z.core.$strict>;
-            name: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
-            default: z.ZodUnion<readonly [z.ZodBoolean, z.ZodNumber, z.ZodString, z.ZodNull]>;
-            name: z.ZodString;
-            select: z.ZodArray<z.ZodObject<{
-                value: z.ZodUnion<readonly [z.ZodBoolean, z.ZodNumber, z.ZodString, z.ZodNull]>;
-                when: z.ZodString;
-            }, z.core.$strict>>;
-        }, z.core.$strict>]>>;
-    }, z.core.$strict>>>;
-    fields: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
-        query: z.ZodOptional<z.ZodObject<{
-            contains: z.ZodOptional<z.ZodBoolean>;
-            prefix: z.ZodOptional<z.ZodBoolean>;
-        }, z.core.$strict>>;
-        type: z.ZodLiteral<"string">;
-        display: z.ZodOptional<z.ZodObject<{
-            hidden: z.ZodOptional<z.ZodBoolean>;
-            order: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>>;
-        multiple: z.ZodOptional<z.ZodBoolean>;
-        path_class: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>, z.ZodObject<{
-        type: z.ZodLiteral<"integer">;
-        display: z.ZodOptional<z.ZodObject<{
-            hidden: z.ZodOptional<z.ZodBoolean>;
-            order: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>>;
-        multiple: z.ZodOptional<z.ZodBoolean>;
-        path_class: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>, z.ZodObject<{
-        type: z.ZodLiteral<"enum">;
-        values: z.ZodArray<z.ZodString>;
-        display: z.ZodOptional<z.ZodObject<{
-            hidden: z.ZodOptional<z.ZodBoolean>;
-            order: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>>;
-        multiple: z.ZodOptional<z.ZodBoolean>;
-        path_class: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>, z.ZodObject<{
-        type: z.ZodLiteral<"path">;
-        display: z.ZodOptional<z.ZodObject<{
-            hidden: z.ZodOptional<z.ZodBoolean>;
-            order: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>>;
-        multiple: z.ZodOptional<z.ZodBoolean>;
-        path_class: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>, z.ZodObject<{
-        type: z.ZodLiteral<"glob">;
-        display: z.ZodOptional<z.ZodObject<{
-            hidden: z.ZodOptional<z.ZodBoolean>;
-            order: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>>;
-        multiple: z.ZodOptional<z.ZodBoolean>;
-        path_class: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>, z.ZodObject<{
-        type: z.ZodLiteral<"date">;
-        display: z.ZodOptional<z.ZodObject<{
-            hidden: z.ZodOptional<z.ZodBoolean>;
-            order: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>>;
-        multiple: z.ZodOptional<z.ZodBoolean>;
-        path_class: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>, z.ZodObject<{
-        type: z.ZodLiteral<"date_time">;
-        display: z.ZodOptional<z.ZodObject<{
-            hidden: z.ZodOptional<z.ZodBoolean>;
-            order: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>>;
-        multiple: z.ZodOptional<z.ZodBoolean>;
-        path_class: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>], "type">>>;
-    include: z.ZodDefault<z.ZodArray<z.ZodString>>;
-    mappings: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
-        emit: z.ZodOptional<z.ZodObject<{
-            relation: z.ZodString;
-            target: z.ZodEnum<{
-                path: "path";
-                value: "value";
-            }>;
-            target_class: z.ZodString;
-        }, z.core.$strict>>;
-        node: z.ZodOptional<z.ZodObject<{
-            class: z.ZodString;
-            field: z.ZodString;
-            key: z.ZodOptional<z.ZodEnum<{
-                path: "path";
-                value: "value";
-            }>>;
-        }, z.core.$strict>>;
-    }, z.core.$strict>>>;
-    path_classes: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
-        prefixes: z.ZodArray<z.ZodString>;
-    }, z.core.$strict>>>;
-    queries: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
-        where: z.ZodString;
-    }, z.core.$strict>>>;
-    relations: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
-        builtin: z.ZodOptional<z.ZodBoolean>;
-        from: z.ZodArray<z.ZodString>;
-        to: z.ZodArray<z.ZodString>;
-    }, z.core.$strict>>>;
-}, z.core.$strict>;
 export {};

package/lib/config/schema.js

@@ -0,0 +1,328 @@
+/** @import * as $k$$l$patram$j$config$k$js from './patram-config.js'; */
+/* eslint-disable max-lines */
+
+import { z } from 'zod';
+
+import {
+  class_definition_schema,
+  mapping_definition_schema,
+  relation_definition_schema,
+} from './patram-config.js';
+import { DEFAULT_INCLUDE_PATTERNS } from './source-file-defaults.js';
+
+export const CONFIG_FILE_NAME = '.patram.json';
+
+const RESERVED_STRUCTURAL_FIELD_NAMES = new Set(['$class', '$id', '$path']);
+const MARKDOWN_STYLE_NAMES = [
+  'front_matter',
+  'visible_line',
+  'list_item',
+  'hidden_tag',
+];
+const MARKDOWN_STYLE_NAME_SET = new Set(MARKDOWN_STYLE_NAMES);
+const MIXED_STYLE_VALUES = new Set(['ignore', 'error']);
+
+/**
+ * @typedef {z.output<typeof stored_query_schema>} StoredQueryConfig
+ */
+const stored_query_schema = z
+  .object({
+    description: z
+      .string()
+      .min(1, 'Stored query "description" must not be empty.')
+      .optional(),
+    where: z.string().min(1, 'Stored query "where" must not be empty.'),
+  })
+  .strict();
+
+/**
+ * @typedef {z.output<typeof derived_summary_scalar_schema>} DerivedSummaryScalar
+ */
+const derived_summary_scalar_schema = z.union([
+  z.boolean(),
+  z.number(),
+  z.string(),
+  z.null(),
+]);
+
+/**
+ * @typedef {z.output<typeof derived_summary_count_schema>} DerivedSummaryCountConfig
+ */
+const derived_summary_count_schema = z
+  .object({
+    traversal: z
+      .string()
+      .min(1, 'Derived summary count "traversal" must not be empty.'),
+    where: z
+      .string()
+      .min(1, 'Derived summary count "where" must not be empty.'),
+  })
+  .strict();
+
+/**
+ * @typedef {z.output<typeof derived_summary_select_case_schema>} DerivedSummarySelectCaseConfig
+ */
+const derived_summary_select_case_schema = z
+  .object({
+    value: derived_summary_scalar_schema,
+    when: z.string().min(1, 'Derived summary select "when" must not be empty.'),
+  })
+  .strict();
+
+const derived_summary_field_name_schema = z
+  .string()
+  .regex(
+    /^[a-z][a-z0-9_]*$/du,
+    'Derived summary field names must use lower_snake_case.',
+  );
+
+/**
+ * @typedef {z.output<typeof derived_summary_field_schema>} DerivedSummaryFieldConfig
+ */
+const derived_summary_count_field_schema = z
+  .object({
+    count: derived_summary_count_schema,
+    name: derived_summary_field_name_schema,
+  })
+  .strict();
+
+const derived_summary_select_field_schema = z
+  .object({
+    default: derived_summary_scalar_schema,
+    name: derived_summary_field_name_schema,
+    select: z
+      .array(derived_summary_select_case_schema)
+      .min(1, 'Derived summary "select" must contain at least one case.'),
+  })
+  .strict();
+
+const derived_summary_field_schema = z.union([
+  derived_summary_count_field_schema,
+  derived_summary_select_field_schema,
+]);
+
+/**
+ * @typedef {z.output<typeof derived_summary_schema>} DerivedSummaryConfig
+ */
+const derived_summary_schema = z
+  .object({
+    classes: z
+      .array(z.string().min(1))
+      .min(1, 'Derived summary "classes" must contain at least one class.'),
+    fields: z
+      .array(derived_summary_field_schema)
+      .min(1, 'Derived summary "fields" must contain at least one field.'),
+  })
+  .strict()
+  .superRefine(validateDerivedSummaryDefinition);
+
+/**
+ * @typedef {z.output<typeof field_display_schema>} FieldDisplayConfig
+ */
+const field_display_schema = z
+  .object({
+    hidden: z.boolean().optional(),
+    order: z.number().optional(),
+  })
+  .strict();
+
+/**
+ * @typedef {z.output<typeof field_query_schema>} FieldQueryConfig
+ */
+const field_query_schema = z
+  .object({
+    contains: z.boolean().optional(),
+    prefix: z.boolean().optional(),
+  })
+  .strict();
+
+const field_base_shape = {
+  display: field_display_schema.optional(),
+  multiple: z.boolean().optional(),
+  path_class: z.string().min(1).optional(),
+};
+
+/**
+ * @typedef {z.output<typeof metadata_field_schema>} MetadataFieldConfig
+ */
+const metadata_field_schema = z.discriminatedUnion('type', [
+  z
+    .object({
+      ...field_base_shape,
+      query: field_query_schema.optional(),
+      type: z.literal('string'),
+    })
+    .strict(),
+  z
+    .object({
+      ...field_base_shape,
+      type: z.literal('integer'),
+    })
+    .strict(),
+  z
+    .object({
+      ...field_base_shape,
+      type: z.literal('enum'),
+      values: z
+        .array(z.string().min(1, 'Field enum values must not be empty.'))
+        .min(1, 'Field enum values must contain at least one value.'),
+    })
+    .strict(),
+  z
+    .object({
+      ...field_base_shape,
+      type: z.literal('path'),
+    })
+    .strict(),
+  z
+    .object({
+      ...field_base_shape,
+      type: z.literal('glob'),
+    })
+    .strict(),
+  z
+    .object({
+      ...field_base_shape,
+      type: z.literal('date'),
+    })
+    .strict(),
+  z
+    .object({
+      ...field_base_shape,
+      type: z.literal('date_time'),
+    })
+    .strict(),
+]);
+
+/**
+ * @typedef {z.output<typeof class_field_rule_schema>} ClassFieldRuleConfig
+ */
+const class_field_rule_schema = z
+  .object({
+    markdown_styles: z.array(z.string().min(1)).optional(),
+    presence: z.enum(['required', 'optional', 'forbidden']),
+  })
+  .strict();
+
+/**
+ * @typedef {z.output<typeof class_schema_schema>} ClassSchemaConfig
+ */
+const class_schema_schema = z
+  .object({
+    document_path_class: z.string().min(1).optional(),
+    fields: z.record(z.string().min(1), class_field_rule_schema).default({}),
+    markdown_styles: z.array(z.string().min(1)).optional(),
+    mixed_styles: z.string().min(1).optional(),
+    unknown_fields: z.enum(['ignore', 'error']).optional(),
+  })
+  .strict();
+
+const repo_class_definition_schema = class_definition_schema.extend({
+  schema: class_schema_schema.optional(),
+});
+
+/**
+ * @typedef {z.output<typeof path_class_schema>} PathClassConfig
+ */
+const path_class_schema = z
+  .object({
+    prefixes: z
+      .array(z.string().min(1, 'Path class prefixes must not be empty.'))
+      .min(1, 'Path classes must contain at least one prefix.'),
+  })
+  .strict();
+
+/**
+ * @typedef {z.output<typeof patram_repo_config_schema>} PatramRepoConfig
+ */
+export const patram_repo_config_schema = z
+  .object({
+    classes: z
+      .record(z.string().min(1), repo_class_definition_schema)
+      .optional(),
+    derived_summaries: z
+      .record(z.string().min(1), derived_summary_schema)
+      .optional(),
+    fields: z.record(z.string().min(1), metadata_field_schema).optional(),
+    include: z
+      .array(z.string().min(1, 'Include globs must not be empty.'))
+      .min(1, 'Include must contain at least one glob.')
+      .default(DEFAULT_INCLUDE_PATTERNS),
+    mappings: z.record(z.string().min(1), mapping_definition_schema).optional(),
+    path_classes: z.record(z.string().min(1), path_class_schema).optional(),
+    queries: z.record(z.string().min(1), stored_query_schema).default({}),
+    relations: z
+      .record(z.string().min(1), relation_definition_schema)
+      .optional(),
+  })
+  .strict()
+  .superRefine(validateFieldDefinitionKeys);
+
+/**
+ * @param {{ fields?: Record<string, MetadataFieldConfig> }} repo_config
+ * @param {import('zod').RefinementCtx} refinement_context
+ */
+function validateFieldDefinitionKeys(repo_config, refinement_context) {
+  for (const field_name of Object.keys(repo_config.fields ?? {})) {
+    if (!field_name.startsWith('$')) {
+      continue;
+    }
+
+    refinement_context.addIssue({
+      code: 'custom',
+      message: 'Metadata field names must not start with "$".',
+      path: ['fields', field_name],
+    });
+  }
+}
+
+/**
+ * @param {{ fields: Array<{ name: string }> }} summary_definition
+ * @param {import('zod').RefinementCtx} refinement_context
+ */
+function validateDerivedSummaryDefinition(
+  summary_definition,
+  refinement_context,
+) {
+  const seen_field_names = new Set();
+
+  for (const [
+    field_index,
+    field_definition,
+  ] of summary_definition.fields.entries()) {
+    if (!seen_field_names.has(field_definition.name)) {
+      seen_field_names.add(field_definition.name);
+      continue;
+    }
+
+    refinement_context.addIssue({
+      code: 'custom',
+      message: `Duplicate derived summary field "${field_definition.name}".`,
+      path: ['fields', field_index, 'name'],
+    });
+  }
+}
+
+/**
+ * @param {string} field_name
+ * @returns {boolean}
+ */
+export function isReservedStructuralFieldName(field_name) {
+  return RESERVED_STRUCTURAL_FIELD_NAMES.has(field_name);
+}
+
+/**
+ * @param {string} markdown_style
+ * @returns {boolean}
+ */
+export function isKnownMarkdownStyle(markdown_style) {
+  return MARKDOWN_STYLE_NAME_SET.has(markdown_style);
+}
+
+/**
+ * @param {string} mixed_styles
+ * @returns {boolean}
+ */
+export function isMixedStyleValue(mixed_styles) {
+  return MIXED_STYLE_VALUES.has(mixed_styles);
+}