@zq-silk/yui 0.16.1 → 1.0.0-alpha

package/dist/storage/migrations/verificationPlanV1.js

@@ -1,162 +0,0 @@
-export function readHistoricalVerificationPlan(raw) {
-    if (typeof raw !== "object" || raw === null || Array.isArray(raw)) {
-        throw new Error("VerificationPlan must be an object.");
-    }
-    const record = raw;
-    if (record.kind !== "verification-plan")
-        throw new Error('VerificationPlan kind must be "verification-plan".');
-    if ((record.schemaVersion ?? 1) !== 1)
-        throw new Error("VerificationPlan schemaVersion must be 1.");
-    const mode = record.mode ?? "record";
-    if (mode !== "record" && mode !== "reuse" && mode !== "enforce") {
-        throw new Error(`VerificationPlan mode is invalid: ${String(mode)}.`);
-    }
-    const plan = {
-        schemaVersion: 1, kind: "verification-plan",
-        id: identity(record.id, "VerificationPlan id"),
-        version: text(record.version, "VerificationPlan version"),
-        mode,
-        toolchain: toolchain(record.toolchain),
-        bootstrap: steps(record.bootstrap, "bootstrap"),
-        l1: { categories: categories(record.l1) },
-        l2: { steps: steps(record.l2?.steps, "l2") },
-        ...(record.l3 === undefined ? {} : {
-            l3: { steps: steps(record.l3?.steps, "l3") }
-        }),
-        ...(record.excludedRealResourceChecks === undefined ? {} : {
-            excludedRealResourceChecks: textList(record.excludedRealResourceChecks, "VerificationPlan excludedRealResourceChecks")
-        }),
-        ...(record.artifactTtlDays === undefined ? {} : {
-            artifactTtlDays: positive(Number(record.artifactTtlDays), "VerificationPlan artifactTtlDays")
-        })
-    };
-    if (plan.l2.steps.length === 0)
-        throw new Error("VerificationPlan l2 requires at least one step.");
-    return plan;
-}
-export function resolveHistoricalVerificationPlan(project) {
-    let found;
-    for (const entry of project.knowledge) {
-        if (entry.status !== "active")
-            continue;
-        let parsed;
-        try {
-            parsed = JSON.parse(entry.body);
-        }
-        catch {
-            continue;
-        }
-        if (typeof parsed !== "object" || parsed === null
-            || parsed.kind !== "verification-plan")
-            continue;
-        const plan = readHistoricalVerificationPlan(parsed);
-        if (found !== undefined)
-            throw new Error(`Project ${project.id} declares multiple VerificationPlans; only one is allowed.`);
-        found = plan;
-    }
-    return found;
-}
-function toolchain(raw) {
-    if (raw === undefined)
-        return Object.freeze({});
-    if (typeof raw !== "object" || raw === null || Array.isArray(raw))
-        throw new Error("VerificationPlan toolchain must be an object.");
-    const record = raw;
-    return {
-        ...(record.node === undefined ? {} : { node: text(record.node, "VerificationPlan toolchain node") }),
-        ...(record.npm === undefined ? {} : { npm: text(record.npm, "VerificationPlan toolchain npm") }),
-        ...(record.platform === undefined ? {} : { platform: text(record.platform, "VerificationPlan toolchain platform") })
-    };
-}
-function steps(raw, label) {
-    if (!Array.isArray(raw))
-        throw new Error(`VerificationPlan ${label} steps must be an array.`);
-    const names = new Set();
-    return Object.freeze(raw.map(entry => {
-        if (typeof entry !== "object" || entry === null || Array.isArray(entry))
-            throw new Error(`VerificationPlan ${label} step must be an object.`);
-        const record = entry;
-        const name = identity(record.name, `VerificationPlan ${label} step name`);
-        if (names.has(name))
-            throw new Error(`VerificationPlan ${label} step names must be unique: ${name}.`);
-        names.add(name);
-        if (!Array.isArray(record.argv) || record.argv.length === 0) {
-            throw new Error(`VerificationPlan ${label} step ${name} requires a non-empty argv.`);
-        }
-        const step = {
-            name, argv: Object.freeze(record.argv.map(value => text(value, `VerificationPlan ${label} step ${name} argv`))),
-            ...(record.cwd === undefined ? {} : { cwd: text(record.cwd, `VerificationPlan ${label} step ${name} cwd`) }),
-            ...(record.env === undefined ? {} : { env: stepEnv(record.env, `${label} step ${name}`) }),
-            ...(record.shell === undefined ? {} : { shell: record.shell === true })
-        };
-        if (step.cwd?.startsWith("/"))
-            throw new Error(`VerificationPlan ${label} step ${name} cwd must be workspace-relative.`);
-        return step;
-    }));
-}
-function stepEnv(raw, label) {
-    if (typeof raw !== "object" || raw === null || Array.isArray(raw))
-        throw new Error(`VerificationPlan ${label} env must be a map.`);
-    const env = {};
-    for (const [key, value] of Object.entries(raw)) {
-        if (typeof value !== "string")
-            throw new Error(`VerificationPlan ${label} env values must be strings: ${key}.`);
-        env[identity(key, `VerificationPlan ${label} env key`)] = value;
-    }
-    return Object.freeze(env);
-}
-function categories(raw) {
-    if (raw === undefined)
-        return Object.freeze([]);
-    if (typeof raw !== "object" || raw === null || Array.isArray(raw))
-        throw new Error("VerificationPlan l1 must be an object.");
-    const values = raw.categories;
-    if (!Array.isArray(values))
-        throw new Error("VerificationPlan l1 categories must be an array.");
-    const ids = new Set();
-    return Object.freeze(values.map(entry => {
-        if (typeof entry !== "object" || entry === null || Array.isArray(entry))
-            throw new Error("VerificationPlan l1 category must be an object.");
-        const record = entry;
-        const id = identity(record.id, "VerificationPlan l1 category id");
-        if (ids.has(id))
-            throw new Error(`VerificationPlan l1 category ids must be unique: ${id}.`);
-        ids.add(id);
-        return Object.freeze({
-            id, paths: textList(record.paths, `VerificationPlan l1 category ${id} paths`),
-            checks: steps(record.checks, `l1 ${id}`)
-        });
-    }));
-}
-function textList(raw, label) {
-    if (!Array.isArray(raw))
-        throw new Error(`${label} must be an array.`);
-    const seen = new Set();
-    return Object.freeze(raw.map(value => {
-        const next = text(value, label);
-        if (seen.has(next))
-            throw new Error(`${label} must be unique: ${next}.`);
-        seen.add(next);
-        return next;
-    }));
-}
-function text(value, label) {
-    if (typeof value !== "string" || value.includes("\0"))
-        throw new Error(`${label} is invalid.`);
-    const normalized = value.trim();
-    if (normalized.length === 0)
-        throw new Error(`${label} is required.`);
-    return normalized;
-}
-function identity(value, label) {
-    const normalized = text(value, label);
-    if ([".", "..", "__proto__", "prototype", "constructor"].includes(normalized) || /[\/\\\0]/u.test(normalized)) {
-        throw new Error(`${label} is invalid.`);
-    }
-    return normalized;
-}
-function positive(value, label) {
-    if (!Number.isSafeInteger(value) || value < 1)
-        throw new Error(`${label} must be a positive integer.`);
-    return value;
-}

package/dist/storage/migrations/verificationPolicy.js

@@ -1,74 +0,0 @@
-import { resolveHistoricalVerificationPlan } from "./verificationPlanV1.js";
-/** Read-only: an admitted old gate keeps its original plan identity until it
- * settles. The cutover never relabels a running Job or replays its checks. */
-export function preflightVerificationPolicy(db) {
-    const active = db.prepare(`SELECT task_id, integration_id FROM integration_attempts
-    WHERE status IN ('running','validating')
-      AND json_type(payload,'$.gatePlanDigest') IS NOT NULL LIMIT 1`)
-        .get();
-    if (active !== undefined) {
-        throw new Error(`Verification policy cutover requires the admitted gate to settle: ${active.task_id}/${active.integration_id}. Preserve its Job and continue it with the current release before upgrading.`);
-    }
-}
-/** Frozen 32→33 policy cutover. Only declared configuration representations
- * change; old execution artifacts/Job results and their logs remain evidence. */
-export function migrateVerificationPolicy(db) {
-    preflightVerificationPolicy(db);
-    const configRow = db.prepare("SELECT payload FROM config WHERE id=1").get();
-    if (configRow !== undefined) {
-        const config = JSON.parse(configRow.payload);
-        const mode = config.leaderNextActionMode;
-        const budget = config.leaderSemanticBudgetRuns;
-        if ((mode != null && (typeof mode !== "string"
-            || !["", "display", "warn", "enforce"].includes(mode.trim().toLowerCase())))
-            || (budget != null && (!Number.isSafeInteger(budget) || budget < 1 || budget > 20))) {
-            throw new Error("Invalid retired Leader policy; preserve the config for diagnosis.");
-        }
-    }
-    const projects = db.prepare("SELECT id,payload FROM projects").all();
-    const saveProject = db.prepare("UPDATE projects SET payload=? WHERE id=?");
-    for (const row of projects) {
-        const project = JSON.parse(row.payload);
-        // This frozen reader preserves validation and duplicate-plan rejection.
-        resolveHistoricalVerificationPlan(project);
-        let changed = false;
-        const knowledge = project.knowledge.map(entry => {
-            if (entry.status !== "active")
-                return entry;
-            let value;
-            try {
-                value = JSON.parse(entry.body);
-            }
-            catch {
-                return entry;
-            }
-            if (typeof value !== "object" || value === null
-                || value.kind !== "verification-plan")
-                return entry;
-            const { mode: _mode, ...plan } = value;
-            changed = true;
-            return { ...entry, body: JSON.stringify({ ...plan, schemaVersion: 1 }) };
-        });
-        if (changed)
-            saveProject.run(JSON.stringify({ ...project, knowledge }), row.id);
-    }
-    const invalidRerun = db.prepare(`SELECT task_id,integration_id FROM integration_attempts
-    WHERE json_type(payload,'$.rerunChecks') IS NOT NULL
-      AND json_type(payload,'$.rerunChecks') NOT IN ('true','false') LIMIT 1`).get();
-    if (invalidRerun !== undefined)
-        throw new Error("Invalid Integration check execution intent; preserve the record.");
-    const artifacts = db.prepare(`SELECT key,payload FROM gate_artifacts
-    WHERE json_type(payload,'$.potentialReuseCount') IS NOT NULL`).all();
-    for (const artifact of artifacts) {
-        const count = JSON.parse(artifact.payload).potentialReuseCount;
-        if (!Number.isSafeInteger(count) || count < 0) {
-            throw new Error(`Invalid historical verification counter: ${artifact.key}. Preserve the artifact for diagnosis.`);
-        }
-    }
-    db.exec(`
-    UPDATE config SET payload=json_remove(payload,'$.leaderNextActionMode','$.leaderSemanticBudgetRuns');
-    UPDATE integration_attempts SET payload=json_set(payload,'$.rerunChecks',json('false'))
-      WHERE json_type(payload,'$.rerunChecks') IS NULL;
-    UPDATE gate_artifacts SET payload=json_remove(payload,'$.potentialReuseCount');
-  `);
-}

package/dist/storage/migrations/workItemHistory.js

@@ -1,46 +0,0 @@
-/** Frozen 31→32 transform: obsolete execution-shaped diagnostics are audit
- * records, not another representation of current WorkItem state. */
-export function migrateWorkItemHistory(db) {
-    const rows = db.prepare(`SELECT task_id, work_item_id, payload FROM work_items
-    WHERE json_type(payload, '$.historicalState') IS NOT NULL
-    ORDER BY task_id, work_item_id`).all();
-    for (const row of rows) {
-        const value = JSON.parse(row.payload);
-        const history = value.historicalState;
-        if (value.taskId !== row.task_id || value.id !== row.work_item_id
-            || history === null || typeof history !== "object" || Array.isArray(history)
-            || !["pending", "running", "awaiting_acceptance", "completed", "failed", "retired"].includes(history.status)
-            || (history.outcome !== undefined && !text(history.outcome))
-            || (history.endedAt !== undefined
-                && (!text(history.endedAt) || !Number.isFinite(Date.parse(history.endedAt))))) {
-            throw new Error(`Invalid historical WorkItem execution state: ${row.task_id}/${row.work_item_id}. Preserve it for diagnosis.`);
-        }
-    }
-    const highWater = db.prepare(`SELECT max(
-    coalesce((SELECT high_water FROM id_sequences WHERE task_id = ? AND kind = 'event'), 0),
-    coalesce((SELECT max(CAST(substr(event_id, 7) AS INTEGER)) FROM events WHERE task_id = ?), 0)
-  ) AS value`);
-    const saveEvent = db.prepare("INSERT INTO events(task_id,event_id,type,occurred_at,payload) VALUES(?,?,?,?,?)");
-    const saveCounter = db.prepare(`INSERT INTO id_sequences(task_id,kind,high_water) VALUES(?,'event',?)
-    ON CONFLICT(task_id,kind) DO UPDATE SET high_water=max(high_water,excluded.high_water)`);
-    const removeHistoricalState = db.prepare(`UPDATE work_items SET payload=json_remove(payload,'$.historicalState')
-    WHERE task_id=? AND work_item_id=?`);
-    const counters = new Map();
-    const at = new Date().toISOString();
-    for (const row of rows) {
-        const sequence = (counters.get(row.task_id)
-            ?? highWater.get(row.task_id, row.task_id).value) + 1;
-        counters.set(row.task_id, sequence);
-        const event = {
-            schemaVersion: 2, id: `event-${sequence}`, taskId: row.task_id,
-            type: "work-item.execution-state-retired", createdAt: at,
-            payload: { workItemId: row.work_item_id, record: row.payload, disposition: "audit-only" }
-        };
-        saveEvent.run(row.task_id, event.id, event.type, at, JSON.stringify(event));
-        saveCounter.run(row.task_id, sequence);
-        removeHistoricalState.run(row.task_id, row.work_item_id);
-    }
-}
-function text(value) {
-    return typeof value === "string" && value.trim().length > 0 && !value.includes("\0");
-}