testguard-cli 0.16.0 → 0.18.0

package/src/scaffold/apply-append.mjs

@@ -0,0 +1,71 @@
+import { fstatSync, fsyncSync, ftruncateSync, readSync, writeSync } from 'node:fs';
+import { join } from 'node:path';
+import { isDeepStrictEqual } from 'node:util';
+import { persistRecovery } from '../claims/annotation-placement.mjs';
+import { readSpecDoc, writeSpecDoc } from '../evidence/writer.mjs';
+import { admitDraftAppend } from './admission.mjs';
+import { openDraftAppend } from './open-append.mjs';
+
+/** Explicit internal draft publication. Partial writes never auto-rollback. */
+export function applyDraftAppend({ request, plan }) {
+  let handle, stage = 'preparation';
+  const report = { ok: false, state: 'refused', writeAttempted: false, bytesWritten: 0, failed: [] };
+  const fail = (error) => {
+    report.ok = false; report.state = report.writeAttempted ? 'write-unconfirmed' : 'refused';
+    report.failed.push({ stage, reason: error.message });
+  };
+  try {
+    handle = openDraftAppend({ request, plan }); report.recoveryDir = handle.recoveryDir;
+    if (handle.plan.changed) {
+      stage = 'spec-publication';
+      writeSpecDoc('claims', handle.plan.draft.path, handle.plan.doc, { publish: (output) => {
+        if (output !== handle.plan.output) throw new Error('draft append serialized output changed');
+        stage = 'started-journal';
+        persistRecovery(join(handle.recoveryDir, 'started.json'), Buffer.from(JSON.stringify({ draft: handle.plan.draft.file, state: 'started' })));
+        stage = 'write-preflight'; handle.assertCurrent();
+        const bytes = Buffer.from(output, 'utf8');
+        stage = 'draft-write'; report.writeAttempted = true;
+        while (report.bytesWritten < bytes.length) {
+          const offset = report.bytesWritten;
+          const count = writeSync(handle.fd, bytes, offset, bytes.length - offset, offset);
+          if (!Number.isInteger(count) || count <= 0 || count > bytes.length - offset) throw new Error('draft write made no valid progress');
+          report.bytesWritten += count;
+        }
+        stage = 'truncate'; ftruncateSync(handle.fd, bytes.length);
+        stage = 'draft-fsync'; fsyncSync(handle.fd);
+        stage = 'verification'; handle.assertOwned();
+        const stat = fstatSync(handle.fd), identity = handle.plan.draft.identity;
+        if (!stat.isFile() || stat.nlink !== 1 || stat.dev !== identity.dev || stat.ino !== identity.ino || stat.mode !== identity.mode || stat.size !== bytes.length) throw new Error('draft descriptor verification failed');
+        const buffer = Buffer.alloc(bytes.length + 1); let length = 0;
+        while (length < buffer.length) {
+          const count = readSync(handle.fd, buffer, length, buffer.length - length, length);
+          if (!count) break;
+          length += count;
+        }
+        if (length !== bytes.length || !buffer.subarray(0, length).equals(bytes)) throw new Error('draft byte verification failed');
+        readSpecDoc('claims', handle.plan.draft.path, { source: buffer.subarray(0, length).toString('utf8') });
+        const current = admitDraftAppend(request);
+        if (current.projectDir !== handle.plan.projectDir || current.draft.source !== output || current.draft.identity.dev !== identity.dev || current.draft.identity.ino !== identity.ino || current.draft.identity.mode !== identity.mode || !isDeepStrictEqual(current.sources, handle.plan.sources)) throw new Error('draft or sources changed after write');
+        handle.assertOwned();
+      } });
+      report.state = 'updated';
+    } else { handle.assertCurrent(); report.state = 'unchanged'; }
+    report.ok = true;
+  } catch (error) {
+    if (error.recoveryDir) report.recoveryDir = error.recoveryDir;
+    if (error.lockRelease) report.release = error.lockRelease;
+    fail(error);
+  } finally {
+    if (handle) {
+      report.release = handle.release();
+      if (!report.release.released) { stage = 'release'; fail(new Error(report.release.reason || 'resource release failed')); }
+    }
+  }
+  if (report.recoveryDir) {
+    stage = 'result-journal';
+    try { persistRecovery(join(report.recoveryDir, 'result.json'), Buffer.from(JSON.stringify(report))); }
+    catch (error) { fail(error); }
+  }
+  report.failed.forEach(Object.freeze); Object.freeze(report.failed);
+  return Object.freeze(report);
+}

package/src/scaffold/fix-input.mjs

@@ -0,0 +1,119 @@
+import { spawnSync } from 'node:child_process';
+import { lstatSync, realpathSync } from 'node:fs';
+import { isAbsolute, relative, resolve, sep } from 'node:path';
+import { devNull } from 'node:os';
+import { createHash } from 'node:crypto';
+import { performance } from 'node:perf_hooks';
+import { parseFixChangedPaths, parseFixProjectMarkers, validateFixProjectPrefix } from './fix-paths.mjs';
+import { admitIntentProject } from './admission.mjs';
+
+const OBJECT_ID = /^(?:[a-f0-9]{40}|[a-f0-9]{64})$/;
+const MAX_BYTES = 128 * 1024;
+function refuse(reason) { throw new Error(`fix input refused: ${reason}`); }
+
+function localFixContext({ projectDir, commit, budgetMs = 5000 }) {
+  if (typeof commit !== 'string' || !OBJECT_ID.test(commit)) refuse('full-object-id-required');
+  if (!Number.isSafeInteger(budgetMs) || budgetMs < 1 || budgetMs > 5000) refuse('invalid-budget');
+  const started = performance.now();
+  const requestedRoot = resolve(projectDir);
+  if (lstatSync(requestedRoot).isSymbolicLink()) refuse('unsafe-root');
+  const root = realpathSync(requestedRoot);
+  const identity = lstatSync(root);
+  if (!identity.isDirectory()) refuse('unsafe-root');
+  const checkRoot = () => {
+    const current = lstatSync(requestedRoot);
+    if (current.isSymbolicLink() || !current.isDirectory() || current.dev !== identity.dev || current.ino !== identity.ino || realpathSync(requestedRoot) !== root) refuse('root-changed');
+  };
+  const env = Object.fromEntries(Object.entries(process.env).filter(([key]) => !key.toUpperCase().startsWith('GIT_')));
+  Object.assign(env, { GIT_CONFIG_NOSYSTEM: '1', GIT_CONFIG_GLOBAL: devNull, GIT_TERMINAL_PROMPT: '0', GIT_OPTIONAL_LOCKS: '0', GIT_PAGER: 'cat', LC_ALL: 'C' });
+  let captured = 0;
+  const read = args => {
+    checkRoot();
+    const remaining = Math.floor(budgetMs - (performance.now() - started));
+    if (remaining < 1) refuse('deadline');
+    const run = spawnSync('git', ['--no-lazy-fetch', '--no-replace-objects', '-c', 'core.fsmonitor=false', '-c', `core.hooksPath=${devNull}`, ...args], {
+      cwd: root, env, shell: false, timeout: remaining, maxBuffer: MAX_BYTES,
+    });
+    if (run.error || run.signal || run.status !== 0 || performance.now() - started >= budgetMs) refuse('object-read-unavailable');
+    if (!Buffer.isBuffer(run.stdout) || run.stdout.length > MAX_BYTES) refuse('object-byte-limit');
+    captured += run.stdout.length;
+    if (captured > 512 * 1024) refuse('aggregate-byte-limit');
+    checkRoot();
+    return run.stdout;
+  };
+  const finish = () => {
+    checkRoot();
+    if (budgetMs <= performance.now() - started) refuse('deadline');
+  };
+  return { root, read, finish };
+}
+
+function commitMetadata(context, commit) {
+  const bytes = context.read(['cat-file', 'commit', commit]);
+  const hash = createHash(commit.length === 40 ? 'sha1' : 'sha256').update(`commit ${bytes.length}\0`).update(bytes).digest('hex');
+  if (hash !== commit) refuse('object-identity-mismatch');
+  let text;
+  try { text = new TextDecoder('utf-8', { fatal: true }).decode(bytes); }
+  catch { refuse('invalid-utf8'); }
+  if (text.includes('\0')) refuse('invalid-encoding');
+  const separator = text.indexOf('\n\n');
+  if (separator < 0) refuse('malformed-commit');
+  const parents = text.slice(0, separator).split('\n').filter(line => line.startsWith('parent ')).map(line => line.slice(7));
+  if (parents.length !== 1 || !OBJECT_ID.test(parents[0]) || parents[0].length !== commit.length) refuse('single-parent-required');
+  const subject = text.slice(separator + 2).split('\n', 1)[0];
+  if (Buffer.byteLength(subject) > 1024 || /[\x00-\x1f\x7f-\x9f]/.test(subject)) refuse('unsafe-subject');
+  return Object.freeze({ commit, parent: parents[0], subject });
+}
+
+/** Local immutable metadata, not a bug claim or an authenticated intent source. */
+export function readFixCommitMetadata(options) {
+  const context = localFixContext(options);
+  const metadata = commitMetadata(context, options.commit);
+  context.finish();
+  return metadata;
+}
+
+/** Complete bounded historical diff for an exact worktree root, not current source authority. */
+export function readFixCommitInventory(options) { return fixInventory(options, false); }
+
+/** Explicit selected nested project; historical inventory is not current source authority. */
+export function readNestedFixCommitInventory(options) { return fixInventory(options, true); }
+
+/** Observe root/nested selection once, under one unchanged offline Git context. */
+export function readScopedFixCommitInventory(options) { return fixInventory(options, 'selected'); }
+
+function fixInventory(options, mode) {
+  const context = localFixContext(options);
+  let toplevel;
+  try { toplevel = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true }).decode(context.read(['rev-parse', '--show-toplevel'])); }
+  catch (error) { if (error instanceof TypeError) refuse('invalid-root-encoding'); throw error; }
+  const scoped = mode === 'selected';
+  const nested = scoped ? toplevel.endsWith('\n') && toplevel.slice(0, -1) !== context.root : mode;
+  let projectPrefix = '', selected;
+  if (!nested) {
+    if (!toplevel.endsWith('\n') || toplevel.slice(0, -1) !== context.root) refuse('project-root-required');
+  } else {
+    if (!toplevel.endsWith('\n')) refuse('project-root-required');
+    const repositoryRoot = realpathSync(toplevel.slice(0, -1));
+    const prefix = relative(repositoryRoot, context.root);
+    if (!prefix) refuse('nested-project-required');
+    if (isAbsolute(prefix) || prefix === '..' || prefix.startsWith(`..${sep}`)) refuse('outside-project');
+    projectPrefix = validateFixProjectPrefix(prefix.split(sep).join('/'));
+    selected = admitIntentProject({ projectDir: context.root });
+  }
+  const metadata = commitMetadata(context, options.commit);
+  const tree = id => context.read(['ls-tree', '-r', '--name-only', '-z', '--full-tree', id]);
+  const projects = parseFixProjectMarkers(tree(metadata.parent), tree(metadata.commit), { projectPrefix });
+  const args = ['diff-tree', '--raw', '--no-abbrev', '-z', '--no-renames', '--no-ext-diff', '--no-textconv', '-r', '--no-commit-id', metadata.parent, metadata.commit, '--'];
+  if (projectPrefix) args.push(`:(top,literal)${projectPrefix}/`);
+  const raw = context.read(args);
+  const inventory = parseFixChangedPaths(raw, { nestedProjects: projects, objectIdWidth: metadata.commit.length, projectPrefix });
+  if (selected) {
+    const current = admitIntentProject({ projectDir: context.root });
+    if (current.projectDir !== selected.projectDir || current.marker.hash !== selected.marker.hash ||
+      Object.entries(selected.marker.identity).some(([key, value]) => current.marker.identity[key] !== value)) refuse('project-marker-changed');
+  }
+  context.finish();
+  if (scoped) return Object.freeze({ scope: projectPrefix ? 'selected-nested-project' : 'project-root', ...metadata, ...inventory });
+  return Object.freeze({ ...metadata, ...inventory });
+}

package/src/scaffold/fix-paths.mjs

@@ -0,0 +1,90 @@
+import { extname } from 'node:path';
+
+const PRIVATE = new Set(['.local', '.wolf', '.git', '.testguard', 'graphify-out']);
+const SUPPORTED = new Set(['.js', '.mjs', '.cjs', '.ts', '.mts', '.cts', '.jsx', '.tsx', '.py']);
+function refuse(reason) { throw new Error(`fix inventory refused: ${reason}`); }
+function safePath(file) {
+  if (!file || file.includes('\\') || /[\x00-\x1f\x7f-\x9f]/.test(file) || file.split('/').some(part => !part || part === '.' || part === '..') || /^[A-Za-z]:/.test(file)) refuse('unsafe-path');
+  if (Buffer.byteLength(file) > 4096) refuse('path-byte-limit');
+  return file;
+}
+
+export function validateFixProjectPrefix(prefix) {
+  if (typeof prefix !== 'string') refuse('unsafe-project-prefix');
+  if (!prefix) return prefix;
+  safePath(prefix);
+  if (prefix.split('/').some(part => PRIVATE.has(part))) refuse('excluded-project');
+  return prefix;
+}
+
+/** Complete historical marker union only; current filesystem admission remains separate. */
+export function parseFixProjectMarkers(parentRaw, commitRaw, { projectPrefix = '' } = {}) {
+  validateFixProjectPrefix(projectPrefix);
+  const projects = new Set();
+  for (const raw of [parentRaw, commitRaw]) {
+    if (!Buffer.isBuffer(raw)) refuse('buffer-required');
+    if (raw.length > 128 * 1024) refuse('output-byte-limit');
+    let listing;
+    try { listing = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true }).decode(raw); }
+    catch { refuse('invalid-utf8'); }
+    if (listing && !listing.endsWith('\0')) refuse('truncated-output');
+    const files = listing ? listing.slice(0, -1).split('\0') : [];
+    if (files.length > 4096) refuse('tree-name-count-limit');
+    const namesSeen = new Set();
+    for (const name of files) {
+      const file = safePath(name);
+      if (namesSeen.has(file)) refuse('duplicate-path');
+      namesSeen.add(file);
+      if (!file.endsWith('/testguard.claims.json')) continue;
+      const project = file.slice(0, -'/testguard.claims.json'.length);
+      projects.add(project);
+      if (projects.size > 256) refuse('project-count-limit');
+    }
+  }
+  if (projectPrefix) {
+    const descendants = [...projects].filter(project => project.startsWith(`${projectPrefix}/`));
+    projects.clear();
+    for (const project of descendants) projects.add(project.slice(projectPrefix.length + 1));
+  }
+  return Object.freeze([...projects].filter(project => !project.split('/').some(part => PRIVATE.has(part))).sort());
+}
+
+/** Decode complete raw Git data only; supplied exclusions are not discovery authority. */
+export function parseFixChangedPaths(raw, { nestedProjects = [], objectIdWidth, projectPrefix = '' } = {}) {
+  validateFixProjectPrefix(projectPrefix);
+  if (!Buffer.isBuffer(raw)) refuse('buffer-required');
+  if (objectIdWidth !== undefined && objectIdWidth !== 40 && objectIdWidth !== 64) refuse('invalid-object-width');
+  if (raw.length > 128 * 1024) refuse('output-byte-limit');
+  if (!Array.isArray(nestedProjects) || nestedProjects.length > 256) refuse('project-count-limit');
+  const projects = nestedProjects.map(safePath);
+  let text;
+  try { text = new TextDecoder('utf-8', { fatal: true, ignoreBOM: true }).decode(raw); }
+  catch { refuse('invalid-utf8'); }
+  if (text && !text.endsWith('\0')) refuse('truncated-output');
+  const parts = text ? text.slice(0, -1).split('\0') : [];
+  if (parts.length % 2) refuse('malformed-record');
+  if (parts.length / 2 > 256) refuse('path-count-limit');
+  const paths = [], seen = new Set();
+  const counts = { total: 0, supported: 0, deleted: 0, unsupported: 0, excluded: 0 };
+  for (let i = 0; i < parts.length; i += 2) {
+    const match = /^:([0-7]{6}) ([0-7]{6}) ([a-f0-9]{40}|[a-f0-9]{64}) ([a-f0-9]{40}|[a-f0-9]{64}) ([AMDT])$/.exec(parts[i]);
+    if (!match || match[3].length !== match[4].length) refuse('malformed-record');
+    const [, oldMode, newMode, oldId, newId, status] = match;
+    if (objectIdWidth !== undefined && oldId.length !== objectIdWidth) refuse('object-width-mismatch');
+    const oldZero = /^0+$/.test(oldId), newZero = /^0+$/.test(newId);
+    if ((oldMode === '000000') !== oldZero || (newMode === '000000') !== newZero ||
+      (status === 'A' ? !oldZero || newZero : status === 'D' ? oldZero || !newZero : oldZero || newZero)) refuse('inconsistent-identity');
+    const repositoryFile = safePath(parts[i + 1]);
+    if (projectPrefix && !repositoryFile.startsWith(`${projectPrefix}/`)) refuse('out-of-scope-path');
+    const file = projectPrefix ? repositoryFile.slice(projectPrefix.length + 1) : repositoryFile;
+    if (seen.has(file)) refuse('duplicate-path');
+    seen.add(file); counts.total++;
+    if (file.split('/').some(part => PRIVATE.has(part)) || projects.some(project => file === project || file.startsWith(`${project}/`))) {
+      counts.excluded++; continue;
+    }
+    const disposition = status === 'D' ? 'deleted' : !['100644', '100755'].includes(newMode) || !SUPPORTED.has(extname(file)) ? 'unsupported' : 'supported';
+    counts[disposition]++;
+    paths.push(Object.freeze({ file, status, oldMode, newMode, oldId, newId, disposition }));
+  }
+  return Object.freeze({ paths: Object.freeze(paths), counts: Object.freeze(counts) });
+}

package/src/scaffold/intent.mjs

@@ -0,0 +1,2 @@
+// Authoring advice, not an authenticated origin or a verification result.
+export const intentHandoff = 'Supply intended observable behavior from a requirement, ADR, bug or incident independently of the implementation: name inputs, expected outcome and forbidden outcome. Record the supplied source kind/ref; when unavailable, keep inferred. Source references and annotations are not authenticated intent. Review each proposal against that intent before probing.';

package/src/scaffold/open-append.mjs

@@ -0,0 +1,44 @@
+import { constants, closeSync, fstatSync, openSync } from 'node:fs';
+import { isDeepStrictEqual } from 'node:util';
+import { planDraftAppend } from './plan-append.mjs';
+import { prepareDraftAppend } from './prepare-append.mjs';
+
+/** Acquire a checked descriptor; no draft writes and no implicit truncation. */
+export function openDraftAppend({ request, plan }) {
+  const prepared = prepareDraftAppend({ request, plan });
+  let fd, closed = false, releaseResult;
+  function release() {
+    if (closed) return releaseResult;
+    closed = true;
+    let closeError;
+    try { if (fd !== undefined) closeSync(fd); } catch (error) { closeError = error; }
+    let lockRelease;
+    try { lockRelease = prepared.release(); }
+    catch (error) { lockRelease = { released: false, reason: 'lock-release-failed', error: error.message }; }
+    releaseResult = closeError ? { released: false, reason: 'descriptor-close-failed', error: closeError.message, lockRelease } : lockRelease;
+    return releaseResult;
+  }
+  function assertCurrent() {
+    if (closed) throw new Error('draft append descriptor closed');
+    prepared.assertOwned();
+    if (!isDeepStrictEqual(planDraftAppend(request), prepared.plan)) throw new Error('draft append inputs changed before write');
+    if (fd !== undefined) {
+      const stat = fstatSync(fd);
+      if (!stat.isFile() || stat.nlink !== 1 || Object.entries(prepared.plan.draft.identity).some(([key, value]) => stat[key] !== value)) throw new Error('draft append descriptor changed');
+    }
+    prepared.assertOwned();
+  }
+  try {
+    assertCurrent();
+    if (prepared.plan.changed) {
+      if (constants.O_NOFOLLOW === undefined) throw new Error('draft append nofollow unavailable');
+      fd = openSync(prepared.plan.draft.path, constants.O_RDWR | constants.O_NOFOLLOW);
+      assertCurrent();
+    }
+    return Object.freeze({ ...prepared, fd, assertCurrent, release });
+  } catch (error) {
+    if (prepared.recoveryDir) error.recoveryDir = prepared.recoveryDir;
+    error.lockRelease = release();
+    throw error;
+  }
+}

package/src/scaffold/plan-append.mjs

@@ -0,0 +1,37 @@
+import { isDeepStrictEqual } from 'node:util';
+import { admitDraftAppend } from './admission.mjs';
+import { appendDraft } from './append.mjs';
+import { scaffoldFile } from './scaffold.mjs';
+
+const MAX_PROPOSALS = 4096;
+const MAX_OUTPUT_BYTES = 2 * 1024 * 1024;
+
+function boundedLimit(value, ceiling, name) {
+  if (!Number.isSafeInteger(value) || value < 0 || value > ceiling) throw new Error(`${name} must be a non-negative safe integer no greater than ${ceiling}`);
+  return value;
+}
+
+function outputOf(doc, maxOutputBytes) {
+  const output = JSON.stringify(doc, null, 2) + '\n';
+  if (Buffer.byteLength(output, 'utf8') > maxOutputBytes) throw new Error('draft append output byte limit exceeded');
+  return output;
+}
+
+/** Read-only generation. Lower internal limits may tighten, never raise caps. */
+export function planDraftAppend({ maxProposals = MAX_PROPOSALS, maxOutputBytes = MAX_OUTPUT_BYTES, toolVersion = '0.0.0', ...request }) {
+  boundedLimit(maxProposals, MAX_PROPOSALS, 'maxProposals');
+  boundedLimit(maxOutputBytes, MAX_OUTPUT_BYTES, 'maxOutputBytes');
+  const inputs = admitDraftAppend(request);
+  let doc = structuredClone(inputs.draft.doc);
+  let output = outputOf(doc, maxOutputBytes);
+  let generated = 0;
+  const initialFaults = doc.claims.find((claim) => claim.id === inputs.claimId).faults.length;
+  for (const input of inputs.sources) {
+    const proposed = scaffoldFile({ projectDir: inputs.projectDir, file: input.file, source: input.source, claimId: inputs.claimId, toolVersion, maxProposals: maxProposals - generated });
+    generated += proposed.stats.proposals;
+    doc = appendDraft({ draft: doc, proposals: proposed.doc, claimId: inputs.claimId });
+    output = outputOf(doc, maxOutputBytes);
+  }
+  const appended = doc.claims.find((claim) => claim.id === inputs.claimId).faults.length - initialFaults;
+  return { ...inputs, doc, output, changed: !isDeepStrictEqual(doc, inputs.draft.doc), stats: { targets: inputs.sources.length, generated, appended } };
+}

package/src/scaffold/plan-intent-input.mjs

@@ -0,0 +1,38 @@
+import { performance } from 'node:perf_hooks';
+import { intentInputRequest } from './request.mjs';
+import { admitIntentDocument } from './admission.mjs';
+import { readScopedFixCommitInventory } from './fix-input.mjs';
+import { writeSpecDoc } from '../evidence/writer.mjs';
+
+function freezeOwned(value) {
+  if (value && typeof value === 'object') {
+    for (const child of Object.values(value)) freezeOwned(child);
+    Object.freeze(value);
+  }
+  return value;
+}
+
+/** Validated read-only metadata, not a claim, a measurement or write authorization. */
+export function planIntentInput({ projectDir, command = 'scaffold', values, suppliedOptions = [], files = [], toolVersion = '0.0.0', budgetMs = 5000 }) {
+  if (!Number.isSafeInteger(budgetMs) || budgetMs < 1 || budgetMs > 5000) throw new Error('intent input invalid-budget');
+  const started = performance.now();
+  const request = intentInputRequest({ command, values, suppliedOptions, files });
+  if (!request) throw new Error('intent input requires an explicit mode');
+  const remaining = Math.floor(budgetMs - (performance.now() - started));
+  if (remaining < 1) throw new Error('intent input deadline');
+  let input;
+  if (request.kind === 'document') {
+    const admitted = admitIntentDocument({ projectDir, file: request.file });
+    input = { kind: 'document', file: admitted.file, hash: admitted.hash, bytes: admitted.identity.size };
+  } else {
+    input = { kind: 'fix', ...readScopedFixCommitInventory({ projectDir, commit: request.commit, budgetMs: remaining }) };
+  }
+  const doc = { schemaVersion: 1, tool: { name: 'testguard', version: toolVersion }, purpose: 'authoring-input', verification: 'not-performed', next: 'supply-independent-intent', input };
+  let output;
+  writeSpecDoc('authoring-input', 'read-only input preview', doc, { publish: bytes => {
+    if (Buffer.byteLength(bytes) > 1024 * 1024) throw new Error('intent input output byte limit exceeded');
+    output = bytes;
+  } });
+  if (performance.now() - started >= budgetMs) throw new Error('intent input deadline');
+  return freezeOwned({ doc, output });
+}

package/src/scaffold/prepare-append.mjs

@@ -0,0 +1,46 @@
+import { chmodSync, mkdtempSync } from 'node:fs';
+import { join } from 'node:path';
+import { isDeepStrictEqual } from 'node:util';
+import { authoringLock, persistRecovery, recoveryBase } from '../claims/annotation-placement.mjs';
+import { sha256 } from '../util/hash.mjs';
+import { planDraftAppend } from './plan-append.mjs';
+
+function freezeOwned(value) {
+  if (value && typeof value === 'object') {
+    for (const child of Object.values(value)) freezeOwned(child);
+    Object.freeze(value);
+  }
+  return value;
+}
+
+/** Preparation only: current-plan replay and recovery, never draft writes. */
+export function prepareDraftAppend({ request, plan }) {
+  const initial = planDraftAppend(request);
+  if (!isDeepStrictEqual(initial, plan)) throw new Error('draft append plan changed');
+  if (!initial.changed) return freezeOwned({ ready: true, plan: initial, release: () => ({ released: true }), assertOwned: () => {} });
+  // All cooperative source/draft authoring in the checkout shares this lock.
+  const lock = authoringLock(initial.projectDir);
+  let recoveryDir;
+  try {
+    const fresh = planDraftAppend(request);
+    if (!isDeepStrictEqual(fresh, initial)) throw new Error('draft append plan changed under lock');
+    lock.assertOwned();
+    recoveryDir = mkdtempSync(join(recoveryBase(fresh.projectDir), 'testguard-draft-recovery-'));
+    chmodSync(recoveryDir, 0o700);
+    persistRecovery(join(recoveryDir, 'draft.original'), Buffer.from(fresh.draft.source, 'utf8'));
+    const manifest = {
+      state: 'prepared', projectDir: fresh.projectDir, draftPath: fresh.draft.path,
+      claimId: fresh.claimId, sourceHash: fresh.draft.hash,
+      proposedHash: sha256(Buffer.from(fresh.output, 'utf8')), identity: fresh.draft.identity,
+      sources: fresh.sources.map(({ file, hash, identity }) => ({ file, hash, identity })),
+    };
+    persistRecovery(join(recoveryDir, 'manifest.json'), Buffer.from(JSON.stringify(manifest), 'utf8'));
+    lock.assertOwned();
+    return freezeOwned({ ready: true, plan: fresh, recoveryDir, release: lock.release, assertOwned: lock.assertOwned });
+  } catch (error) {
+    if (recoveryDir) error.recoveryDir = recoveryDir;
+    try { error.lockRelease = lock.release(); }
+    catch (releaseError) { error.lockRelease = { released: false, reason: 'lock-release-failed', error: releaseError.message }; }
+    throw error;
+  }
+}

package/src/scaffold/request.mjs

@@ -0,0 +1,30 @@
+/** Token-aware CLI admission; defaults are not explicit user options. */
+export function draftAppendRequest({ command, values, suppliedOptions = [], files = [] }) {
+  if (values.into === undefined) return null;
+  if (command !== 'scaffold') throw new Error('--into is only valid on scaffold');
+  const allowed = new Set(['into', 'claim', 'json', 'help', 'version']);
+  const conflict = suppliedOptions.find(name => !allowed.has(name));
+  if (conflict || values.out !== undefined || values.claims !== undefined) throw new Error(`--into cannot use --${conflict || (values.out !== undefined ? 'out' : 'claims')}`);
+  if (!Array.isArray(values.into) || values.into.length !== 1 || !values.into[0]?.trim() || values.into[0] !== values.into[0].trim()) throw new Error('--into requires exactly one existing draft path');
+  if (!Array.isArray(values.claim) || values.claim.length !== 1 || !values.claim[0]?.trim() || values.claim[0].includes(',') || values.claim[0] !== values.claim[0].trim()) throw new Error('--into requires exactly one --claim <existing-ID>');
+  if (!files.length) throw new Error('--into requires at least one source file');
+  return { draftPath: values.into[0], claimId: values.claim[0], files };
+}
+
+/** Internal read-only input selection; public CLI exposure requires its report contract. */
+export function intentInputRequest({ command, values, suppliedOptions = [], files = [] }) {
+  const modes = ['from-document', 'from-fix'].filter(name => values[name] !== undefined);
+  if (!modes.length) return null;
+  if ('scaffold' !== command) throw new Error('intent input is only valid on scaffold');
+  if (modes.length !== 1) throw new Error('select exactly one input mode');
+  const allowed = new Set(['from-document', 'from-fix', 'json', 'help', 'version']);
+  const conflict = suppliedOptions.find(name => !allowed.has(name)) ?? ['into', 'claim', 'claims', 'out'].find(name => values[name] !== undefined);
+  if (conflict) throw new Error(`intent input cannot use --${conflict}`);
+  if (files.length) throw new Error('intent input cannot use positional source files');
+  const mode = modes[0], selectors = values[mode];
+  if (!Array.isArray(selectors) || selectors.length !== 1 || typeof selectors[0] !== 'string' || !selectors[0] || selectors[0] !== selectors[0].trim() || selectors[0].includes('\0')) throw new Error('intent input requires exactly one nonempty trimmed selector');
+  const selector = selectors[0];
+  if (Buffer.byteLength(selector) > 4096) throw new Error('intent input selector-byte-limit');
+  if (mode === 'from-fix' && !/^(?:[a-f0-9]{40}|[a-f0-9]{64})$/.test(selector)) throw new Error('intent input requires full-object-id');
+  return Object.freeze(mode === 'from-document' ? { kind: 'document', file: selector } : { kind: 'fix', commit: selector });
+}

package/src/scaffold/scaffold.mjs

@@ -1,5 +1,5 @@
 import { readFileSync } from 'node:fs';
-import { basename, extname, join } from 'node:path';
+import { join } from 'node:path';
 import { proposalsForLine, functionHead, functionParams } from './producers.mjs';
 import * as py from './producers.python.mjs';
 import { locate } from '../probe/inject.mjs';
@@ -15,8 +15,6 @@ const NO_FIELD_DROPS = /\.(test|spec)\.[cm]?[jt]sx?$|(^|\/)(__tests__|__fixtures
 // change which proposals a JavaScript file gets.
 const NO_FIELD_DROPS_PY = /(^|\/)(test[^/]*\.py|[^/]*_test\.py|conftest\.py)$|(^|\/)(tests?|__fixtures__|fixtures|migrations)\//;
 
-const idPart = (s) => s.replace(/[^A-Za-z0-9]+/g, '-').replace(/^-+|-+$/g, '').toUpperCase();
-
 const isPython = (file) => file.endsWith('.py');
 
 /**
@@ -136,10 +134,13 @@ function anchorFor(source, find, offset) {
  * with `producedBy: { producer: "derived" }` and TODO statements a human must
  * replace. Never touches the real claims file.
  */
-export function scaffoldFile({ projectDir, file, claimId, existingClaims, toolVersion = '0.0.0' }) {
-  const source = readFileSync(join(projectDir, file), 'utf8');
+export function scaffoldFile({ projectDir, file, claimId, existingClaims, toolVersion = '0.0.0', source: admittedSource, maxProposals }) {
+  if (maxProposals !== undefined && (!Number.isSafeInteger(maxProposals) || maxProposals < 0)) throw new Error('maxProposals must be a non-negative safe integer');
+  if (admittedSource !== undefined && typeof admittedSource !== 'string') throw new Error('source must be a string');
+  // Internal authoring can scan bytes already admitted through a descriptor.
+  // Legacy callers still read the file; supplied empty text never falls back.
+  const source = admittedSource === undefined ? readFileSync(join(projectDir, file), 'utf8') : admittedSource;
   const lines = source.split('\n');
-  const stem = idPart(basename(file, extname(file)));
   const producedBy = { producer: 'derived', by: `testguard scaffold ${toolVersion}` };
 
   const groups = new Map(); // key → { id, proposals[] , annotated }
@@ -150,28 +151,40 @@ export function scaffoldFile({ projectDir, file, claimId, existingClaims, toolVe
 
   const fieldDrops = !(isPython(file) ? NO_FIELD_DROPS_PY : NO_FIELD_DROPS).test(file);
   const scan = isPython(file) ? scanPython : scanJs;
-  const proposals = scan({ source, lines, fieldDrops, keep: (fault) => usableProposal(source, fault), anchor: (find, offset) => anchorFor(source, find, offset) });
+  let accepted = 0;
+  const keep = (fault) => {
+    if (!usableProposal(source, fault)) return false;
+    if (maxProposals !== undefined && accepted >= maxProposals) throw new Error('scaffold proposal limit exceeded');
+    accepted++;
+    return true;
+  };
+  const proposals = scan({ source, lines, fieldDrops, keep, anchor: (find, offset) => anchorFor(source, find, offset) });
 
   const existing = new Map((existingClaims?.claims ?? []).map((c) => [c.id, c]));
   const usedIds = new Set();
   for (const p of proposals) {
     const key = claimId ? '__all__' : p.annotation ?? p.fn ?? '__file__';
-    let id = claimId ?? p.annotation ?? `${stem}-${p.fn ? idPart(p.fn) : 'FILE'}`;
+    let id = claimId ?? p.annotation ?? null;
     groupFor(key, id).proposals.push(p);
   }
 
   const defendedBy = discoverDefenders(projectDir, file);
   const claims = [];
+  const reservedIds = new Set([...existing.keys(), ...[...groups.values()].map(g => g.id).filter(id => id !== null)]);
+  let placeholder = 1;
   for (const g of groups.values()) {
     let id = g.id;
+    if (id === null) {
+      do { id = `TODO-CLAIM-${placeholder++}`; } while (reservedIds.has(id) || usedIds.has(id));
+    }
     while (usedIds.has(id)) id += '-2';
     usedIds.add(id);
     const base = existing.get(id);
     const fnLabel = g.proposals[0].fn ? `\`${g.proposals[0].fn}\`` : 'this file';
     const claim = {
       id,
-      statement: base?.statement ?? `TODO: state what ${fnLabel} in ${file} guarantees (${g.proposals.length} proposed fault${g.proposals.length === 1 ? '' : 's'}; keep or drop each)`,
-      source: base?.source ?? { kind: 'manual', ref: `testguard scaffold ${file}` },
+      statement: base?.statement ?? `TODO: supply intended observable behavior for ${fnLabel} in ${file} from a requirement, ADR, bug or incident: inputs, expected outcome and forbidden outcome (${g.proposals.length} proposed fault${g.proposals.length === 1 ? '' : 's'}; keep or drop each against that intent)`,
+      source: base?.source ?? { kind: 'inferred', ref: `testguard scaffold ${file}` },
       severity: base?.severity ?? 'medium',
       producedBy: base?.producedBy ?? producedBy,
       ...(base?.defendedBy?.length ? { defendedBy: base.defendedBy } : defendedBy.length ? { defendedBy } : {}),