@fitlab-ai/agent-infra 0.8.4 → 0.9.0

package/dist/lib/task/short-id.js

@@ -1,9 +1,10 @@
 import fs from 'node:fs';
 import path from 'node:path';
 const REGISTRY_NAME = '.short-ids.json';
+const LOCK_NAME = '.short-ids.json.lock';
 function normalizeShortIdInput(input, opts) {
     const L = opts.shortIdLength;
-    const m = /^#?(\d+)$/.exec(input);
+    const m = /^(\d+)$/.exec(input);
     if (!m) {
         return { kind: 'pass', value: input };
     }
@@ -11,17 +12,301 @@ function normalizeShortIdInput(input, opts) {
     if (n === 0) {
         return {
             kind: 'error',
-            message: `short id '${input}' is invalid (#${'0'.repeat(L)} is reserved)`
+            code: 'SHORT_ID_RESERVED',
+            message: `short id '${input}' is invalid (${'0'.repeat(L)} is reserved)`
         };
     }
     const max = Math.pow(10, L) - 1;
     if (n > max) {
         return {
             kind: 'error',
+            code: 'SHORT_ID_CAPACITY_EXCEEDED',
             message: `short id ${n} exceeds shortIdLength=${L} capacity (max=${max}); archive tasks or raise task.shortIdLength in .agents/.airc.json`
         };
     }
-    return { kind: 'shortId', value: `#${String(n).padStart(L, '0')}` };
+    return { kind: 'shortId', value: String(n).padStart(L, '0') };
+}
+function isRemovedHashShortIdInput(input) {
+    return /^#\d+$/.test(input);
+}
+function shortIdFailure(code, message, taskId = null) {
+    return { ok: false, code, message, taskId };
+}
+function resolveShortIdReadOnly(input, repoRoot, opts) {
+    const normalized = normalizeShortIdInput(input, opts);
+    if (normalized.kind === 'error') {
+        return shortIdFailure(normalized.code, normalized.message);
+    }
+    if (normalized.kind !== 'shortId') {
+        return shortIdFailure('SHORT_ID_NOT_FOUND', `short id '${input}' not found in active task registry`);
+    }
+    const key = normalized.value;
+    const registryPath = path.join(repoRoot, '.agents', 'workspace', 'active', REGISTRY_NAME);
+    if (!fs.existsSync(registryPath)) {
+        return shortIdFailure('SHORT_ID_REGISTRY_NOT_FOUND', `short id '${key}' not found; active task registry is empty.`);
+    }
+    let raw;
+    try {
+        raw = fs.readFileSync(registryPath, 'utf8');
+    }
+    catch (error) {
+        return shortIdFailure('SHORT_ID_REGISTRY_READ_FAILED', `cannot read registry ${registryPath}: ${error instanceof Error ? error.message : String(error)}`);
+    }
+    let data;
+    try {
+        data = JSON.parse(raw);
+    }
+    catch (error) {
+        return shortIdFailure('SHORT_ID_REGISTRY_INVALID_JSON', `registry ${registryPath} is not valid JSON: ${error instanceof Error ? error.message : String(error)}`);
+    }
+    const max = Math.pow(10, opts.shortIdLength) - 1;
+    const validKey = new RegExp(`^\\d{${opts.shortIdLength}}$`);
+    if (!data ||
+        typeof data !== 'object' ||
+        Array.isArray(data) ||
+        data.version !== 1 ||
+        !data.ids ||
+        typeof data.ids !== 'object' ||
+        Array.isArray(data.ids)) {
+        return shortIdFailure('SHORT_ID_REGISTRY_INVALID_SCHEMA', `registry ${registryPath} has invalid schema`);
+    }
+    const ids = data.ids;
+    const seen = new Map();
+    for (const [registryKey, taskId] of Object.entries(ids)) {
+        const numericKey = Number(registryKey);
+        if (!validKey.test(registryKey) ||
+            numericKey < 1 ||
+            numericKey > max ||
+            typeof taskId !== 'string' ||
+            !/^TASK-\d{8}-\d{6}$/.test(taskId)) {
+            return shortIdFailure('SHORT_ID_REGISTRY_INVALID_SCHEMA', `registry ${registryPath} has invalid schema`);
+        }
+        const existing = seen.get(taskId);
+        if (existing) {
+            return shortIdFailure('SHORT_ID_REGISTRY_DUPLICATE_TASK', `duplicate registry entries for taskId ${taskId} at keys [${existing}, ${registryKey}]; manual resolution required`, taskId);
+        }
+        seen.set(taskId, registryKey);
+    }
+    const taskId = ids[key];
+    if (!taskId) {
+        const message = Object.keys(ids).length === 0
+            ? `short id '${key}' not found; active task registry is empty.`
+            : `short id '${key}' not found in active task registry (it may have been cleaned up after archival; check 'task-short-id.js list').`;
+        return shortIdFailure('SHORT_ID_NOT_FOUND', message);
+    }
+    const taskMdPath = path.join(repoRoot, '.agents', 'workspace', 'active', taskId, 'task.md');
+    if (!fs.existsSync(taskMdPath)) {
+        const remainingActiveEntries = Object.values(ids).filter((candidateTaskId) => fs.existsSync(path.join(repoRoot, '.agents', 'workspace', 'active', candidateTaskId, 'task.md')));
+        const message = remainingActiveEntries.length === 0
+            ? `short id '${key}' not found; active task registry is empty.`
+            : `short id '${key}' not found in active task registry (it may have been cleaned up after archival; check 'task-short-id.js list').`;
+        return shortIdFailure('SHORT_ID_STALE', message, taskId);
+    }
+    return { ok: true, taskId };
+}
+function configuredShortIdLength(repoRoot) {
+    try {
+        const config = JSON.parse(fs.readFileSync(path.join(repoRoot, '.agents', '.airc.json'), 'utf8'));
+        const value = config.task?.shortIdLength;
+        return typeof value === 'number' && Number.isInteger(value) && value >= 1 ? value : 2;
+    }
+    catch {
+        return 2;
+    }
+}
+function validateRegistry(data, registryPath, width) {
+    if (!data || typeof data !== 'object' || Array.isArray(data) ||
+        data.version !== 1 ||
+        !data.ids || typeof data.ids !== 'object' ||
+        Array.isArray(data.ids)) {
+        throw Object.assign(new Error(`registry ${registryPath} has invalid schema`), {
+            code: 'SHORT_ID_REGISTRY_INVALID_SCHEMA'
+        });
+    }
+    const registry = data;
+    const keyPattern = new RegExp(`^\\d{${width}}$`);
+    const taskIds = new Set();
+    for (const [key, taskId] of Object.entries(registry.ids)) {
+        if (!keyPattern.test(key) || Number(key) < 1 || typeof taskId !== 'string' || !/^TASK-\d{8}-\d{6}$/.test(taskId)) {
+            throw Object.assign(new Error(`registry ${registryPath} has invalid schema`), {
+                code: 'SHORT_ID_REGISTRY_INVALID_SCHEMA'
+            });
+        }
+        if (taskIds.has(taskId)) {
+            throw Object.assign(new Error(`duplicate registry entries for taskId ${taskId}`), {
+                code: 'SHORT_ID_REGISTRY_DUPLICATE_TASK'
+            });
+        }
+        taskIds.add(taskId);
+    }
+    return registry;
+}
+function readRegistryStrict(registryPath, width) {
+    if (!fs.existsSync(registryPath))
+        return { version: 1, ids: {} };
+    let parsed;
+    try {
+        parsed = JSON.parse(fs.readFileSync(registryPath, 'utf8'));
+    }
+    catch (error) {
+        throw Object.assign(new Error(`registry ${registryPath} is not valid JSON: ${String(error)}`), {
+            code: 'SHORT_ID_REGISTRY_INVALID_JSON'
+        });
+    }
+    return validateRegistry(parsed, registryPath, width);
+}
+function withRegistryLock(activeDir, operation) {
+    fs.mkdirSync(activeDir, { recursive: true });
+    const lockPath = path.join(activeDir, LOCK_NAME);
+    const deadline = Date.now() + 5000;
+    for (;;) {
+        try {
+            fs.mkdirSync(lockPath);
+            break;
+        }
+        catch (error) {
+            if (error.code !== 'EEXIST')
+                throw error;
+            if (Date.now() >= deadline) {
+                throw Object.assign(new Error('registry lock timeout after 5000ms'), {
+                    code: 'SHORT_ID_LOCK_TIMEOUT'
+                });
+            }
+        }
+    }
+    try {
+        return operation();
+    }
+    finally {
+        fs.rmdirSync(lockPath);
+    }
+}
+function writeRegistry(registryPath, registry) {
+    const temporary = `${registryPath}.tmp.${process.pid}.${Math.random().toString(36).slice(2)}`;
+    fs.writeFileSync(temporary, `${JSON.stringify(registry, null, 2)}\n`, { flag: 'wx' });
+    try {
+        fs.renameSync(temporary, registryPath);
+    }
+    catch (error) {
+        try {
+            fs.unlinkSync(temporary);
+        }
+        catch { /* best effort temp cleanup */ }
+        throw error;
+    }
+}
+function mutateShortIdRegistry(repoRoot, taskId, requested) {
+    const activeDir = path.join(repoRoot, '.agents', 'workspace', 'active');
+    return mutateShortIdRegistryAt(activeDir, configuredShortIdLength(repoRoot), taskId, requested);
+}
+function mutateShortIdRegistryAt(activeDir, width, taskId, requested) {
+    const registryPath = path.join(activeDir, REGISTRY_NAME);
+    return withRegistryLock(activeDir, () => {
+        const registry = readRegistryStrict(registryPath, width);
+        const original = JSON.stringify(registry.ids);
+        for (const [key, candidate] of Object.entries(registry.ids)) {
+            if (candidate !== taskId && !fs.existsSync(path.join(activeDir, candidate, 'task.md')))
+                delete registry.ids[key];
+        }
+        const existing = Object.entries(registry.ids).find(([, candidate]) => candidate === taskId);
+        let result;
+        if (requested === 'alloc') {
+            if (!fs.existsSync(path.join(activeDir, taskId, 'task.md'))) {
+                throw Object.assign(new Error(`task ${taskId} not found in ${activeDir}`), { code: 'SHORT_ID_TASK_NOT_ACTIVE' });
+            }
+            if (existing)
+                result = { effect: 'unchanged', shortId: existing[0], changed: false };
+            else {
+                let key = null;
+                for (let value = 1; value < 10 ** width; value += 1) {
+                    const candidate = String(value).padStart(width, '0');
+                    if (!registry.ids[candidate]) {
+                        key = candidate;
+                        break;
+                    }
+                }
+                if (!key)
+                    throw Object.assign(new Error(`short id width exhausted (current shortIdLength=${width})`), { code: 'SHORT_ID_CAPACITY_EXCEEDED' });
+                registry.ids[key] = taskId;
+                result = { effect: 'allocated', shortId: key, changed: true };
+            }
+        }
+        else if (requested === 'release') {
+            if (!existing)
+                result = { effect: 'unchanged', shortId: null, changed: false };
+            else {
+                delete registry.ids[existing[0]];
+                result = { effect: 'released', shortId: existing[0], changed: true };
+            }
+        }
+        else
+            result = { effect: 'unchanged', shortId: existing ? existing[0] : null, changed: false };
+        const changed = original !== JSON.stringify(registry.ids);
+        if (changed)
+            writeRegistry(registryPath, registry);
+        return { ...result, changed };
+    });
+}
+function executeShortIdCommand(request) {
+    try {
+        if (!Number.isInteger(request.shortIdLength) || request.shortIdLength < 1) {
+            throw Object.assign(new Error('short-id-length must be a positive integer'), { code: 'SHORT_ID_PAYLOAD_INVALID' });
+        }
+        if (request.operation === 'alloc' || request.operation === 'release') {
+            if (!request.argument || !/^TASK-\d{8}-\d{6}$/.test(request.argument)) {
+                throw Object.assign(new Error(`${request.operation} requires a full TASK-id`), { code: 'SHORT_ID_PAYLOAD_INVALID' });
+            }
+            const result = mutateShortIdRegistryAt(request.activeDir, request.shortIdLength, request.argument, request.operation);
+            return { status: result.changed ? 'applied' : 'no-op', changed: result.changed, output: result.shortId ?? '', error: null };
+        }
+        const registryPath = path.join(request.activeDir, REGISTRY_NAME);
+        if (request.operation === 'resolve') {
+            if (!request.argument)
+                throw Object.assign(new Error('resolve requires a short id'), { code: 'SHORT_ID_PAYLOAD_INVALID' });
+            const normalized = normalizeShortIdInput(request.argument, { shortIdLength: request.shortIdLength });
+            if (normalized.kind === 'error')
+                throw Object.assign(new Error(normalized.message), { code: normalized.code });
+            if (normalized.kind !== 'shortId') {
+                throw Object.assign(new Error(`invalid short id format '${request.argument}'`), { code: 'SHORT_ID_FORMAT_INVALID' });
+            }
+            return withRegistryLock(request.activeDir, () => {
+                const registry = readRegistryStrict(registryPath, request.shortIdLength);
+                let changed = false;
+                for (const [key, taskId] of Object.entries(registry.ids)) {
+                    if (!fs.existsSync(path.join(request.activeDir, taskId, 'task.md'))) {
+                        delete registry.ids[key];
+                        changed = true;
+                    }
+                }
+                if (changed)
+                    writeRegistry(registryPath, registry);
+                const taskId = registry.ids[normalized.value];
+                if (!taskId)
+                    throw Object.assign(new Error(`short id '${normalized.value}' not found in active task registry`), { code: 'SHORT_ID_NOT_FOUND' });
+                return { status: changed ? 'applied' : 'no-op', changed, output: taskId, error: null };
+            });
+        }
+        const registry = readRegistryStrict(registryPath, request.shortIdLength);
+        if (request.verify) {
+            const active = fs.existsSync(request.activeDir)
+                ? fs.readdirSync(request.activeDir).filter((entry) => /^TASK-\d{8}-\d{6}$/.test(entry) && fs.existsSync(path.join(request.activeDir, entry, 'task.md')))
+                : [];
+            const registered = new Map();
+            for (const [key, taskId] of Object.entries(registry.ids))
+                registered.set(taskId, [...(registered.get(taskId) ?? []), key]);
+            const diff = {
+                missing_in_registry: active.filter((taskId) => !registered.has(taskId)).map((taskId) => ({ taskId })),
+                orphans_in_registry: Object.entries(registry.ids).filter(([, taskId]) => !active.includes(taskId)).map(([key, taskId]) => ({ key, taskId })),
+                duplicate_registry_keys: [...registered.entries()].filter(([, keys]) => keys.length > 1).map(([taskId, keys]) => ({ taskId, keys }))
+            };
+            const clean = Object.values(diff).every((items) => items.length === 0);
+            return { status: clean ? 'no-op' : 'failed', changed: false, output: clean ? '' : JSON.stringify(diff), error: clean ? null : { code: 'SHORT_ID_VERIFY_FAILED', message: 'registry differs from active tasks' } };
+        }
+        return { status: 'no-op', changed: false, output: JSON.stringify(registry, null, 2), error: null };
+    }
+    catch (error) {
+        return { status: 'failed', changed: false, output: '', error: { code: error.code ?? 'SHORT_ID_OPERATION_FAILED', message: error instanceof Error ? error.message : String(error) } };
+    }
 }
 function readRegistry(repoRoot) {
     const registryPath = path.join(repoRoot, '.agents', 'workspace', 'active', REGISTRY_NAME);
@@ -54,12 +339,12 @@ function loadShortIdByTaskId(repoRoot) {
     if (!registry)
         return map;
     for (const [key, taskId] of Object.entries(registry.ids)) {
-        map.set(taskId, `#${key}`);
+        map.set(taskId, key);
     }
     return map;
 }
 /**
- * Resolve a branch to its active-task short id (`#NN`), or `null` when no
+ * Resolve a branch to its active-task short id (`NN`), or `null` when no
  * active task is bound to that branch.
  *
  * Two-state semantics: this only consults the active registry
@@ -76,7 +361,7 @@ function lookupShortIdByBranch(branch, repoRoot, _opts) {
     for (const [key, taskId] of Object.entries(registry.ids)) {
         const taskBranch = readBranchFromTaskMd(repoRoot, taskId);
         if (taskBranch && taskBranch === branch) {
-            matches.push(`#${key}`);
+            matches.push(key);
         }
     }
     if (matches.length === 0)
@@ -86,5 +371,5 @@ function lookupShortIdByBranch(branch, repoRoot, _opts) {
     }
     return matches[0];
 }
-export { normalizeShortIdInput, lookupShortIdByBranch, loadShortIdByTaskId };
+export { normalizeShortIdInput, isRemovedHashShortIdInput, resolveShortIdReadOnly, lookupShortIdByBranch, loadShortIdByTaskId, configuredShortIdLength, mutateShortIdRegistry, executeShortIdCommand };
 //# sourceMappingURL=short-id.js.map

package/dist/lib/task/snapshot.js

@@ -0,0 +1,95 @@
+import fs from 'node:fs';
+import path from 'node:path';
+import { execFileSync } from 'node:child_process';
+import { resolveTaskRef } from './resolve-ref.js';
+function relativeDisplay(repoRoot, target) {
+    return path.relative(repoRoot, target).split(path.sep).join('/');
+}
+function stripOneTrailingNewline(value) {
+    return value.endsWith('\r\n') ? value.slice(0, -2) : value.endsWith('\n') ? value.slice(0, -1) : value;
+}
+function defaultGitStatus(repoRoot) {
+    return execFileSync('git', ['-c', 'core.quotePath=true', 'status', '--short', '--untracked-files=all'], {
+        cwd: repoRoot,
+        encoding: 'utf8',
+        stdio: ['pipe', 'pipe', 'pipe']
+    });
+}
+function displayName(name) {
+    return /[\t\r\n]/.test(name) ? JSON.stringify(name) : name;
+}
+function renderDirectory(entries, taskDir, lstat) {
+    return [...entries]
+        .sort((left, right) => left.name < right.name ? -1 : left.name > right.name ? 1 : 0)
+        .map((entry) => {
+        const stat = lstat(path.join(taskDir, entry.name));
+        const type = stat.isSymbolicLink() ? 'l' : stat.isDirectory() ? 'd' : stat.isFile() ? 'f' : 'o';
+        const bytes = type === 'f' ? String(stat.size) : '-';
+        return `${type}\t${bytes}\t${displayName(entry.name)}`;
+    })
+        .join('\n');
+}
+function renderTail(content) {
+    const normalized = content.replace(/\r\n/g, '\n').replace(/\r/g, '\n');
+    if (normalized.length === 0)
+        return '';
+    const lines = normalized.endsWith('\n') ? normalized.slice(0, -1).split('\n') : normalized.split('\n');
+    return lines.slice(-10).join('\n');
+}
+function renderTaskSnapshot(observations) {
+    return observations.map((observation) => {
+        const output = observation.output === '' ? '(empty)' : observation.output;
+        return `${observation.command}\n${output}`;
+    }).join('\n');
+}
+function collectTaskSnapshot(taskRef, options = {}) {
+    const resolved = resolveTaskRef(taskRef, { repoRoot: options.repoRoot });
+    if (!resolved.ok) {
+        return {
+            status: 'failed', changed: false, requestRef: taskRef, taskId: resolved.taskId,
+            taskDir: null, taskState: null, observations: [], evidence: null,
+            error: { code: resolved.code, message: resolved.message }
+        };
+    }
+    const taskPath = relativeDisplay(resolved.repoRoot, resolved.taskMdPath);
+    const taskDirPath = relativeDisplay(resolved.repoRoot, resolved.taskDir);
+    const observations = [];
+    try {
+        const output = stripOneTrailingNewline((options.gitStatus ?? defaultGitStatus)(resolved.repoRoot));
+        observations.push({ name: 'git', status: 'ready', command: '$ git status -s', output, error: null });
+    }
+    catch (error) {
+        return failedSnapshot(resolved, taskRef, observations, 'git', '$ git status -s', 'SNAPSHOT_GIT_FAILED', error);
+    }
+    try {
+        const entries = (options.readDirectory ?? ((dir) => fs.readdirSync(dir, { withFileTypes: true })))(resolved.taskDir);
+        const output = renderDirectory(entries, resolved.taskDir, options.lstat ?? fs.lstatSync);
+        observations.push({ name: 'task-directory', status: 'ready', command: `$ ls -la ${taskDirPath}/`, output, error: null });
+    }
+    catch (error) {
+        return failedSnapshot(resolved, taskRef, observations, 'task-directory', `$ ls -la ${taskDirPath}/`, 'SNAPSHOT_DIRECTORY_READ_FAILED', error);
+    }
+    try {
+        const content = (options.readTask ?? ((file) => fs.readFileSync(file, 'utf8')))(resolved.taskMdPath);
+        observations.push({ name: 'task-tail', status: 'ready', command: `$ tail ${taskPath}`, output: renderTail(content), error: null });
+    }
+    catch (error) {
+        return failedSnapshot(resolved, taskRef, observations, 'task-tail', `$ tail ${taskPath}`, 'SNAPSHOT_TASK_READ_FAILED', error);
+    }
+    return {
+        status: 'ready', changed: false, requestRef: taskRef, taskId: resolved.taskId,
+        taskDir: resolved.taskDir, taskState: resolved.state, observations,
+        evidence: renderTaskSnapshot(observations), error: null
+    };
+}
+function failedSnapshot(resolved, taskRef, observations, name, command, code, error) {
+    const message = error instanceof Error ? error.message : String(error);
+    observations.push({ name, status: 'failed', command, output: null, error: message });
+    return {
+        status: 'failed', changed: false, requestRef: taskRef, taskId: resolved.taskId,
+        taskDir: resolved.taskDir, taskState: resolved.state, observations,
+        evidence: null, error: { code, message }
+    };
+}
+export { collectTaskSnapshot, renderTaskSnapshot };
+//# sourceMappingURL=snapshot.js.map

package/dist/lib/task/verification-checks.js

@@ -0,0 +1,8 @@
+const LOCAL_VERIFICATION_CHECKS = [
+    'task-meta', 'artifact', 'implementation-input', 'activity-log', 'completion-checklist'
+];
+function isLocalVerificationCheck(value) {
+    return LOCAL_VERIFICATION_CHECKS.includes(value);
+}
+export { LOCAL_VERIFICATION_CHECKS, isLocalVerificationCheck };
+//# sourceMappingURL=verification-checks.js.map

package/dist/lib/task/verification-config.js

@@ -0,0 +1,14 @@
+import fs from 'node:fs';
+import path from 'node:path';
+function loadVerificationConfig(repositoryRoot, skillName) {
+    const verifyPath = path.join(repositoryRoot, '.agents', 'skills', skillName, 'config', 'verify.json');
+    if (!fs.existsSync(verifyPath))
+        throw new Error(`config/verify.json not found for skill '${skillName}'`);
+    const parsed = JSON.parse(fs.readFileSync(verifyPath, 'utf8'));
+    if (!parsed.checks || typeof parsed.checks !== 'object' || Array.isArray(parsed.checks)) {
+        throw new Error(`config/verify.json has invalid checks for skill '${skillName}'`);
+    }
+    return { ...(parsed.skill ? { skill: parsed.skill } : {}), checks: parsed.checks };
+}
+export { loadVerificationConfig };
+//# sourceMappingURL=verification-config.js.map