@jamesaphoenix/tx-core 0.4.4 → 0.5.0

package/dist/services/doc-service.js

@@ -6,14 +6,14 @@
  *
  * YAML content lives on disk (.tx/docs/); DB stores metadata + links only.
  */
-import { readFileSync, writeFileSync, mkdirSync, existsSync, unlinkSync } from "node:fs";
+import { readFileSync, writeFileSync, mkdirSync, existsSync, unlinkSync, } from "node:fs";
 import { resolve, dirname, join } from "node:path";
 import { Context, Effect, Layer } from "effect";
 import { parse as parseYaml, stringify as stringifyYaml } from "yaml";
 import { DocRepository } from "../repo/doc-repo.js";
 import { ValidationError, DocNotFoundError, DocLockedError, InvalidDocYamlError, InvariantNotFoundError, } from "../errors.js";
 import { computeDocHash } from "../utils/doc-hash.js";
-import { renderDocToMarkdown, renderIndexToMarkdown } from "../utils/doc-renderer.js";
+import { renderDocToMarkdown, renderIndexToMarkdown, } from "../utils/doc-renderer.js";
 import { readTxConfig } from "../utils/toml-config.js";
 import { DOC_KINDS, INVARIANT_ENFORCEMENT_TYPES, } from "@jamesaphoenix/tx-types";
 // Local string arrays for .includes() (avoids readonly cast)
@@ -38,12 +38,16 @@ const kindSubdir = (kind) => {
 /** Resolve the YAML file path for a doc. */
 const resolveYamlPath = (docsPath, kind, name) => {
     const sub = kindSubdir(kind);
-    return sub ? resolve(docsPath, sub, `${name}.yml`) : resolve(docsPath, `${name}.yml`);
+    return sub
+        ? resolve(docsPath, sub, `${name}.yml`)
+        : resolve(docsPath, `${name}.yml`);
 };
 /** Resolve the MD file path for a doc. */
 const resolveMdPath = (docsPath, kind, name) => {
     const sub = kindSubdir(kind);
-    return sub ? resolve(docsPath, sub, `${name}.md`) : resolve(docsPath, `${name}.md`);
+    return sub
+        ? resolve(docsPath, sub, `${name}.md`)
+        : resolve(docsPath, `${name}.md`);
 };
 /** Validate YAML content and return parsed object. */
 const validateYaml = (name, content) => {
@@ -52,10 +56,16 @@ const validateYaml = (name, content) => {
         parsed = parseYaml(content);
     }
     catch (e) {
-        throw new InvalidDocYamlError({ name, reason: `YAML parse error: ${String(e)}` });
+        throw new InvalidDocYamlError({
+            name,
+            reason: `YAML parse error: ${String(e)}`,
+        });
     }
     if (typeof parsed !== "object" || parsed === null || Array.isArray(parsed)) {
-        throw new InvalidDocYamlError({ name, reason: "YAML must be an object (not array or scalar)" });
+        throw new InvalidDocYamlError({
+            name,
+            reason: "YAML must be an object (not array or scalar)",
+        });
     }
     return parsed;
 };
@@ -63,7 +73,10 @@ const validateYaml = (name, content) => {
 const validateKind = (name, parsed, expectedKind) => {
     const yamlKind = parsed.kind;
     if (yamlKind && typeof yamlKind === "string" && yamlKind !== expectedKind) {
-        throw new InvalidDocYamlError({ name, reason: `YAML kind '${yamlKind}' does not match expected kind '${expectedKind}'` });
+        throw new InvalidDocYamlError({
+            name,
+            reason: `YAML kind '${yamlKind}' does not match expected kind '${expectedKind}'`,
+        });
     }
 };
 export class DocService extends Context.Tag("DocService")() {
@@ -94,36 +107,174 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
         writeFileSync(mdPath, md, "utf8");
         return mdPath;
     };
+    /** Generate index.yml and index.md from all docs in DB. */
+    function generateIndexEffect(docsPath) {
+        return Effect.gen(function* () {
+            const allDocs = yield* docRepo.findAll();
+            const allLinks = yield* docRepo.getAllLinks();
+            const overviewDoc = allDocs.find((d) => d.kind === "overview");
+            const prds = allDocs
+                .filter((d) => d.kind === "prd")
+                .map((d) => ({ name: d.name, title: d.title, status: d.status }));
+            const designDocs = allDocs
+                .filter((d) => d.kind === "design")
+                .map((d) => {
+                const implLink = allLinks.find((l) => l.toDocId === d.id && l.linkType === "prd_to_design");
+                const implDoc = implLink
+                    ? allDocs.find((dd) => dd.id === implLink.fromDocId)
+                    : undefined;
+                return {
+                    name: d.name,
+                    title: d.title,
+                    status: d.status,
+                    implements: implDoc?.name,
+                };
+            });
+            const links = allLinks.map((l) => {
+                const from = allDocs.find((d) => d.id === l.fromDocId);
+                const to = allDocs.find((d) => d.id === l.toDocId);
+                return {
+                    from: from?.name ?? String(l.fromDocId),
+                    to: to?.name ?? String(l.toDocId),
+                    type: l.linkType,
+                };
+            });
+            // Invariant summary
+            const allInvariants = yield* docRepo.findInvariants();
+            const activeInvariants = allInvariants.filter((i) => i.status === "active");
+            const byEnforcement = {};
+            const bySubsystem = {};
+            for (const inv of activeInvariants) {
+                byEnforcement[inv.enforcement] =
+                    (byEnforcement[inv.enforcement] ?? 0) + 1;
+                const sub = inv.subsystem ?? "system";
+                bySubsystem[sub] = (bySubsystem[sub] ?? 0) + 1;
+            }
+            const indexData = {
+                overview: overviewDoc?.name,
+                prds,
+                design_docs: designDocs,
+                links,
+                invariant_summary: activeInvariants.length > 0
+                    ? {
+                        total: activeInvariants.length,
+                        by_enforcement: byEnforcement,
+                        by_subsystem: bySubsystem,
+                    }
+                    : undefined,
+            };
+            // Write index.yml
+            const indexYamlObj = {
+                generated: true,
+                generated_at: new Date().toISOString(),
+            };
+            if (indexData.overview) {
+                indexYamlObj.overview = indexData.overview;
+            }
+            if (prds.length > 0) {
+                indexYamlObj.prds = prds.map((p) => ({
+                    name: p.name,
+                    title: p.title,
+                    status: p.status,
+                }));
+            }
+            if (designDocs.length > 0) {
+                indexYamlObj.design_docs = designDocs.map((dd) => {
+                    const entry = {
+                        name: dd.name,
+                        title: dd.title,
+                        status: dd.status,
+                    };
+                    if (dd.implements)
+                        entry.implements = dd.implements;
+                    return entry;
+                });
+            }
+            const indexYamlPath = resolve(docsPath, "index.yml");
+            ensureDir(indexYamlPath);
+            writeFileSync(indexYamlPath, stringifyYaml(indexYamlObj), "utf8");
+            // Write index.md
+            const indexMd = renderIndexToMarkdown(indexData);
+            const indexMdPath = resolve(docsPath, "index.md");
+            writeFileSync(indexMdPath, indexMd, "utf8");
+        });
+    }
+    /** Sync invariants from a single doc's YAML into DB. */
+    function syncInvariantsForDoc(doc) {
+        return Effect.gen(function* () {
+            const docsPath = getDocsPath();
+            const yamlPath = resolveYamlPath(docsPath, doc.kind, doc.name);
+            if (!existsSync(yamlPath)) {
+                return [];
+            }
+            const yamlContent = readFileSync(yamlPath, "utf8");
+            const parsed = validateYaml(doc.name, yamlContent);
+            const invariantsRaw = parsed.invariants;
+            if (!Array.isArray(invariantsRaw) || invariantsRaw.length === 0) {
+                yield* docRepo.deprecateInvariantsNotIn(doc.id, []);
+                return [];
+            }
+            const synced = [];
+            const activeIds = [];
+            for (const raw of invariantsRaw) {
+                if (typeof raw !== "object" || raw === null)
+                    continue;
+                const inv = raw;
+                const id = typeof inv.id === "string" ? inv.id : null;
+                const rule = typeof inv.rule === "string" ? inv.rule : null;
+                const enforcement = typeof inv.enforcement === "string" ? inv.enforcement : null;
+                if (!id || !rule || !enforcement)
+                    continue;
+                if (!enforcementStrings.includes(enforcement))
+                    continue;
+                const input = {
+                    id,
+                    rule,
+                    enforcement,
+                    docId: doc.id,
+                    subsystem: typeof inv.subsystem === "string"
+                        ? inv.subsystem
+                        : inv.subsystem === null
+                            ? null
+                            : undefined,
+                    testRef: typeof inv.test_ref === "string" ? inv.test_ref : undefined,
+                    lintRule: typeof inv.lint_rule === "string" ? inv.lint_rule : undefined,
+                    promptRef: typeof inv.prompt_ref === "string" ? inv.prompt_ref : undefined,
+                };
+                const result = yield* docRepo.upsertInvariant(input);
+                synced.push(result);
+                activeIds.push(id);
+            }
+            yield* docRepo.deprecateInvariantsNotIn(doc.id, activeIds);
+            return synced;
+        });
+    }
     return {
         create: (input) => Effect.gen(function* () {
             const { kind, name, title, yamlContent, metadata } = input;
-            // Validate kind
             if (!docKindStrings.includes(kind)) {
                 return yield* Effect.fail(new ValidationError({ reason: `Invalid doc kind: ${kind}` }));
             }
-            // Validate name (no spaces, lowercase with dashes)
             if (!/^[a-zA-Z0-9][a-zA-Z0-9._-]*$/.test(name)) {
-                return yield* Effect.fail(new ValidationError({ reason: `Invalid doc name: ${name}. Use alphanumeric with dashes/dots.` }));
+                return yield* Effect.fail(new ValidationError({
+                    reason: `Invalid doc name: ${name}. Use alphanumeric with dashes/dots.`,
+                }));
             }
-            // Validate YAML
             const parsed = validateYaml(name, yamlContent);
             validateKind(name, parsed, kind);
-            // Check uniqueness
             const existing = yield* docRepo.findByName(name);
             if (existing) {
-                return yield* Effect.fail(new ValidationError({ reason: `Doc '${name}' already exists (v${existing.version})` }));
+                return yield* Effect.fail(new ValidationError({
+                    reason: `Doc '${name}' already exists (v${existing.version})`,
+                }));
             }
-            // Compute hash and write file
             const hash = computeDocHash(yamlContent);
             const docsPath = getDocsPath();
             const filePath = resolveYamlPath(docsPath, kind, name);
             ensureDir(filePath);
             writeFileSync(filePath, yamlContent, "utf8");
-            // Relative path for DB storage
-            const relPath = kind === "overview"
-                ? `${name}.yml`
-                : join(kind, `${name}.yml`);
-            const insertInput = {
+            const relPath = kind === "overview" ? `${name}.yml` : join(kind, `${name}.yml`);
+            const doc = yield* docRepo.insert({
                 hash,
                 kind,
                 name,
@@ -132,13 +283,13 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
                 filePath: relPath,
                 parentDocId: null,
                 metadata: metadata ? JSON.stringify(metadata) : undefined,
-            };
-            const doc = yield* docRepo.insert(insertInput);
-            // Auto-render on create
+            });
             try {
                 renderSingleDoc(doc, docsPath);
             }
-            catch { /* non-fatal */ }
+            catch {
+                /* non-fatal */
+            }
             yield* generateIndexEffect(docsPath);
             return doc;
         }),
@@ -157,29 +308,25 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
             if (doc.status === "locked") {
                 return yield* Effect.fail(new DocLockedError({ name, version: doc.version }));
             }
-            // Validate YAML
             const parsed = validateYaml(name, yamlContent);
             validateKind(name, parsed, doc.kind);
-            // Compute new hash
             const hash = computeDocHash(yamlContent);
-            // Write file
             const docsPath = getDocsPath();
             const filePath = resolveYamlPath(docsPath, doc.kind, name);
             ensureDir(filePath);
             writeFileSync(filePath, yamlContent, "utf8");
-            // Update title if changed in YAML
             const title = typeof parsed.title === "string" ? parsed.title : doc.title;
             yield* docRepo.update(doc.id, { hash, title });
-            // Re-fetch to return updated doc
             const updated = yield* docRepo.findById(doc.id);
             if (!updated) {
                 return yield* Effect.fail(new DocNotFoundError({ name }));
             }
-            // Auto-render on update
             try {
                 renderSingleDoc(updated, docsPath);
             }
-            catch { /* non-fatal */ }
+            catch {
+                /* non-fatal */
+            }
             yield* generateIndexEffect(docsPath);
             return updated;
         }),
@@ -189,7 +336,6 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
                 return yield* Effect.fail(new DocNotFoundError({ name }));
             }
             if (doc.status === "locked") {
-                // Already locked — return as-is
                 return doc;
             }
             const lockedAt = new Date().toISOString();
@@ -198,12 +344,13 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
             if (!locked) {
                 return yield* Effect.fail(new DocNotFoundError({ name }));
             }
-            // Auto-render on lock (final version)
             const docsPath = getDocsPath();
             try {
                 renderSingleDoc(locked, docsPath);
             }
-            catch { /* non-fatal */ }
+            catch {
+                /* non-fatal */
+            }
             yield* generateIndexEffect(docsPath);
             return locked;
         }),
@@ -216,9 +363,7 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
             if (doc.status === "locked") {
                 return yield* Effect.fail(new DocLockedError({ name, version: doc.version }));
             }
-            // Delete from DB (CASCADE handles links + invariants)
             yield* docRepo.remove(doc.id);
-            // Remove YAML + MD files from disk
             const docsPath = getDocsPath();
             const yamlPath = resolveYamlPath(docsPath, doc.kind, name);
             const mdPath = resolveMdPath(docsPath, doc.kind, name);
@@ -226,20 +371,22 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
                 if (existsSync(yamlPath))
                     unlinkSync(yamlPath);
             }
-            catch { /* non-fatal */ }
+            catch {
+                /* non-fatal */
+            }
             try {
                 if (existsSync(mdPath))
                     unlinkSync(mdPath);
             }
-            catch { /* non-fatal */ }
-            // Regenerate index
+            catch {
+                /* non-fatal */
+            }
             yield* generateIndexEffect(docsPath);
         }),
         render: (name) => Effect.gen(function* () {
             const docsPath = getDocsPath();
             const rendered = [];
             if (name) {
-                // Render single doc
                 const doc = yield* docRepo.findByName(name);
                 if (!doc) {
                     return yield* Effect.fail(new DocNotFoundError({ name }));
@@ -247,18 +394,16 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
                 rendered.push(renderSingleDoc(doc, docsPath));
             }
             else {
-                // Render all docs
                 const allDocs = yield* docRepo.findAll();
                 for (const doc of allDocs) {
                     try {
                         rendered.push(renderSingleDoc(doc, docsPath));
                     }
                     catch {
-                        // Skip docs with missing YAML files
+                        /* skip docs with missing YAML */
                     }
                 }
             }
-            // Always regenerate index
             yield* generateIndexEffect(docsPath);
             return rendered;
         }),
@@ -268,13 +413,16 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
                 return yield* Effect.fail(new DocNotFoundError({ name }));
             }
             if (doc.status !== "locked") {
-                return yield* Effect.fail(new ValidationError({ reason: `Doc '${name}' must be locked before creating a new version` }));
+                return yield* Effect.fail(new ValidationError({
+                    reason: `Doc '${name}' must be locked before creating a new version`,
+                }));
             }
-            // Read existing YAML content
             const docsPath = getDocsPath();
             const yamlPath = resolveYamlPath(docsPath, doc.kind, name);
             if (!existsSync(yamlPath)) {
-                return yield* Effect.fail(new ValidationError({ reason: `YAML file not found for '${name}'` }));
+                return yield* Effect.fail(new ValidationError({
+                    reason: `YAML file not found for '${name}'`,
+                }));
             }
             const yamlContent = readFileSync(yamlPath, "utf8");
             const hash = computeDocHash(yamlContent);
@@ -282,7 +430,7 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
             const relPath = doc.kind === "overview"
                 ? `${name}.yml`
                 : join(doc.kind, `${name}.yml`);
-            const insertInput = {
+            const newDoc = yield* docRepo.insert({
                 hash,
                 kind: doc.kind,
                 name,
@@ -290,13 +438,13 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
                 version: newVersion,
                 filePath: relPath,
                 parentDocId: doc.id,
-            };
-            const newDoc = yield* docRepo.insert(insertInput);
-            // Auto-render on version create
+            });
             try {
                 renderSingleDoc(newDoc, docsPath);
             }
-            catch { /* non-fatal */ }
+            catch {
+                /* non-fatal */
+            }
             yield* generateIndexEffect(docsPath);
             return newDoc;
         }),
@@ -309,11 +457,10 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
             if (!toDoc) {
                 return yield* Effect.fail(new DocNotFoundError({ name: toName }));
             }
-            // Determine link type
             const resolvedType = linkType ?? inferLinkType(fromDoc.kind, toDoc.kind);
             if (!resolvedType) {
                 return yield* Effect.fail(new ValidationError({
-                    reason: `Cannot infer link type from ${fromDoc.kind} → ${toDoc.kind}. Provide explicit linkType.`
+                    reason: `Cannot infer link type from ${fromDoc.kind} → ${toDoc.kind}. Provide explicit linkType.`,
                 }));
             }
             return yield* docRepo.createLink(fromDoc.id, toDoc.id, resolvedType);
@@ -331,9 +478,10 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
                 return yield* Effect.fail(new DocNotFoundError({ name: designName }));
             }
             if (parentDoc.kind !== "design") {
-                return yield* Effect.fail(new ValidationError({ reason: `Patches can only be created on design docs, got '${parentDoc.kind}'` }));
+                return yield* Effect.fail(new ValidationError({
+                    reason: `Patches can only be created on design docs, got '${parentDoc.kind}'`,
+                }));
             }
-            // Create minimal patch YAML using a proper serializer to avoid injection
             const patchYaml = stringifyYaml({
                 kind: "design",
                 name: patchName,
@@ -358,13 +506,13 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
                 filePath: relPath,
                 parentDocId: null,
             });
-            // Create design_patch link
             yield* docRepo.createLink(patchDoc.id, parentDoc.id, "design_patch");
-            // Auto-render on patch create
             try {
                 renderSingleDoc(patchDoc, docsPath);
             }
-            catch { /* non-fatal */ }
+            catch {
+                /* non-fatal */
+            }
             yield* generateIndexEffect(docsPath);
             return patchDoc;
         }),
@@ -382,7 +530,6 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
                 return yield* Effect.fail(new DocNotFoundError({ name }));
             }
             const warnings = [];
-            // Check if YAML file hash matches DB hash
             const docsPath = getDocsPath();
             const yamlPath = resolveYamlPath(docsPath, doc.kind, name);
             if (existsSync(yamlPath)) {
@@ -395,7 +542,6 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
             else {
                 warnings.push(`YAML file missing: ${yamlPath}`);
             }
-            // Check tasks linked to this doc
             const taskLinks = yield* docRepo.getTaskLinksForDoc(doc.id);
             if (taskLinks.length === 0 && doc.kind === "design") {
                 warnings.push(`Design doc '${name}' has no linked tasks`);
@@ -435,7 +581,6 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
             const allLinks = yield* docRepo.getAllLinks();
             const nodes = [];
             const edges = [];
-            // Doc nodes
             for (const doc of allDocs) {
                 nodes.push({
                     id: `doc:${doc.id}`,
@@ -444,7 +589,6 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
                     status: doc.status,
                 });
             }
-            // Doc-doc edges
             for (const link of allLinks) {
                 edges.push({
                     source: `doc:${link.fromDocId}`,
@@ -452,13 +596,11 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
                     type: link.linkType,
                 });
             }
-            // Task-doc edges (collect task nodes from task_doc_links for each doc)
             for (const doc of allDocs) {
                 const taskLinks = yield* docRepo.getTaskLinksForDoc(doc.id);
                 for (const tl of taskLinks) {
-                    // Add task node if not already added
                     const taskNodeId = `task:${tl.taskId}`;
-                    if (!nodes.some(n => n.id === taskNodeId)) {
+                    if (!nodes.some((n) => n.id === taskNodeId)) {
                         nodes.push({
                             id: taskNodeId,
                             label: tl.taskId,
@@ -475,131 +617,5 @@ export const DocServiceLive = Layer.effect(DocService, Effect.gen(function* () {
             return { nodes, edges };
         }),
     };
-    /** Generate index.yml and index.md from all docs in DB. */
-    function generateIndexEffect(docsPath) {
-        return Effect.gen(function* () {
-            const allDocs = yield* docRepo.findAll();
-            const allLinks = yield* docRepo.getAllLinks();
-            const overviewDoc = allDocs.find(d => d.kind === "overview");
-            const prds = allDocs
-                .filter(d => d.kind === "prd")
-                .map(d => ({ name: d.name, title: d.title, status: d.status }));
-            const designDocs = allDocs
-                .filter(d => d.kind === "design")
-                .map(d => {
-                // Find the prd this design implements (via prd_to_design link)
-                const implLink = allLinks.find(l => l.toDocId === d.id && l.linkType === "prd_to_design");
-                const implDoc = implLink ? allDocs.find(dd => dd.id === implLink.fromDocId) : undefined;
-                return {
-                    name: d.name,
-                    title: d.title,
-                    status: d.status,
-                    implements: implDoc?.name,
-                };
-            });
-            const links = allLinks.map(l => {
-                const from = allDocs.find(d => d.id === l.fromDocId);
-                const to = allDocs.find(d => d.id === l.toDocId);
-                return {
-                    from: from?.name ?? String(l.fromDocId),
-                    to: to?.name ?? String(l.toDocId),
-                    type: l.linkType,
-                };
-            });
-            // Invariant summary
-            const allInvariants = yield* docRepo.findInvariants();
-            const activeInvariants = allInvariants.filter(i => i.status === "active");
-            const byEnforcement = {};
-            const bySubsystem = {};
-            for (const inv of activeInvariants) {
-                byEnforcement[inv.enforcement] = (byEnforcement[inv.enforcement] ?? 0) + 1;
-                const sub = inv.subsystem ?? "system";
-                bySubsystem[sub] = (bySubsystem[sub] ?? 0) + 1;
-            }
-            const indexData = {
-                overview: overviewDoc?.name,
-                prds,
-                design_docs: designDocs,
-                links,
-                invariant_summary: activeInvariants.length > 0
-                    ? { total: activeInvariants.length, by_enforcement: byEnforcement, by_subsystem: bySubsystem }
-                    : undefined,
-            };
-            // Write index.yml using a proper YAML serializer to avoid injection
-            const indexYamlObj = {
-                generated: true,
-                generated_at: new Date().toISOString(),
-            };
-            if (indexData.overview) {
-                indexYamlObj.overview = indexData.overview;
-            }
-            if (prds.length > 0) {
-                indexYamlObj.prds = prds.map(p => ({ name: p.name, title: p.title, status: p.status }));
-            }
-            if (designDocs.length > 0) {
-                indexYamlObj.design_docs = designDocs.map(dd => {
-                    const entry = { name: dd.name, title: dd.title, status: dd.status };
-                    if (dd.implements)
-                        entry.implements = dd.implements;
-                    return entry;
-                });
-            }
-            const indexYamlPath = resolve(docsPath, "index.yml");
-            ensureDir(indexYamlPath);
-            writeFileSync(indexYamlPath, stringifyYaml(indexYamlObj), "utf8");
-            // Write index.md
-            const indexMd = renderIndexToMarkdown(indexData);
-            const indexMdPath = resolve(docsPath, "index.md");
-            writeFileSync(indexMdPath, indexMd, "utf8");
-        });
-    }
-    /** Sync invariants from a single doc's YAML into DB. */
-    function syncInvariantsForDoc(doc) {
-        return Effect.gen(function* () {
-            const docsPath = getDocsPath();
-            const yamlPath = resolveYamlPath(docsPath, doc.kind, doc.name);
-            if (!existsSync(yamlPath)) {
-                return [];
-            }
-            const yamlContent = readFileSync(yamlPath, "utf8");
-            const parsed = validateYaml(doc.name, yamlContent);
-            const invariantsRaw = parsed.invariants;
-            if (!Array.isArray(invariantsRaw) || invariantsRaw.length === 0) {
-                // Deprecate any existing invariants for this doc
-                yield* docRepo.deprecateInvariantsNotIn(doc.id, []);
-                return [];
-            }
-            const synced = [];
-            const activeIds = [];
-            for (const raw of invariantsRaw) {
-                if (typeof raw !== "object" || raw === null)
-                    continue;
-                const inv = raw;
-                const id = typeof inv.id === "string" ? inv.id : null;
-                const rule = typeof inv.rule === "string" ? inv.rule : null;
-                const enforcement = typeof inv.enforcement === "string" ? inv.enforcement : null;
-                if (!id || !rule || !enforcement)
-                    continue;
-                if (!enforcementStrings.includes(enforcement))
-                    continue;
-                const input = {
-                    id,
-                    rule,
-                    enforcement: enforcement,
-                    docId: doc.id,
-                    subsystem: typeof inv.subsystem === "string" ? inv.subsystem : (inv.subsystem === null ? null : undefined),
-                    testRef: typeof inv.test_ref === "string" ? inv.test_ref : undefined,
-                    lintRule: typeof inv.lint_rule === "string" ? inv.lint_rule : undefined,
-                    promptRef: typeof inv.prompt_ref === "string" ? inv.prompt_ref : undefined,
-                };
-                const result = yield* docRepo.upsertInvariant(input);
-                synced.push(result);
-                activeIds.push(id);
-            }
-            // Deprecate invariants no longer in YAML
-            yield* docRepo.deprecateInvariantsNotIn(doc.id, activeIds);
-            return synced;
-        });
-    }
 }));
 //# sourceMappingURL=doc-service.js.map