@pixel-point/toolcraft 0.0.17 → 0.0.19

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pixel-point/toolcraft",
-  "version": "0.0.17",
+  "version": "0.0.19",
   "license": "SEE LICENSE IN LICENSE.md",
   "type": "module",
   "bin": {

package/src/generate-demand-only-lifecycle.test.mjs

@@ -18,7 +18,7 @@ import {
 } from "./dependency-install.mjs";
 import { generateToolcraft } from "./generate.mjs";
 
-test("fresh generated app runs initial proof then one semantic material delivery", async (t) => {
+test("fresh generated app runs one initial proof then focused material verification", async (t) => {
   const tempRoot = await fs.mkdtemp(
     path.join(os.tmpdir(), "toolcraft-demand-only-lifecycle-"),
   );
@@ -97,6 +97,14 @@ test("fresh generated app runs initial proof then one semantic material delivery
       command: "pnpm",
     },
     { args: ["verify:delivery"], command: "pnpm" },
+    {
+      args: ["exec", "vitest", "run", "src/app/material-output.test.tsx"],
+      command: "pnpm",
+    },
+    {
+      args: ["test:feature", "--", "material.layer"],
+      command: "pnpm",
+    },
     { args: ["verify:delivery"], command: "pnpm" },
   ]);
 });

package/src/generate-performance-iteration-execution.test.mjs

@@ -50,7 +50,7 @@ test("generated standalone app preserves authority-bound performance iteration l
       receiptModule.TOOLCRAFT_DELIVERY_RECEIPT_VERSION,
       targetedReportModule.TOOLCRAFT_TARGETED_PERFORMANCE_REPORT_VERSION,
     ],
-    [1, 4, 7, 3],
+    [1, 6, 8, 3],
   );
   const authorityPolicySource = await fs.readFile(
     path.join(
@@ -99,7 +99,7 @@ test("generated standalone app preserves authority-bound performance iteration l
   }
   const output = `${stdout}\n${stderr}`;
   assert.doesNotMatch(output, /ERR_MODULE_NOT_FOUND/u);
-  assert.match(output, /^# tests 11$/mu);
-  assert.match(output, /^# pass 11$/mu);
+  assert.match(output, /^# tests 7$/mu);
+  assert.match(output, /^# pass 7$/mu);
   assert.match(output, /^# fail 0$/mu);
 });

package/src/generate-test-delivery-architecture-assertions.mjs

@@ -1,13 +1,13 @@
 import assert from "node:assert/strict";
 import fs from "node:fs/promises";
 import path from "node:path";
-import { pathToFileURL } from "node:url";
 
 export const deliveryArchitecturePaths = Object.freeze([
   "e2e/toolcraft-delivery-catalog-reporter.ts",
   "scripts/run-delivery-verification.mjs",
   "scripts/toolcraft-delivery-anchor.mjs",
   "scripts/toolcraft-delivery-executor.mjs",
+  "scripts/toolcraft-delivery-lifecycle.mjs",
   "scripts/toolcraft-delivery-functional-context.d.mts",
   "scripts/toolcraft-delivery-functional-context.mjs",
   "scripts/toolcraft-delivery-plan-construction.mjs",
@@ -17,64 +17,12 @@ export const deliveryArchitecturePaths = Object.freeze([
   "scripts/toolcraft-functional-proof-primitives.d.mts",
   "scripts/toolcraft-functional-proof-primitives.mjs",
   "scripts/toolcraft-proof-process.mjs",
-  "scripts/toolcraft-verification-impact-inventory.d.mts",
-  "scripts/toolcraft-verification-impact-inventory.mjs",
-  "scripts/toolcraft-verification-impact.mjs",
-  "scripts/toolcraft-verification-input-roles.d.mts",
-  "scripts/toolcraft-verification-input-roles.mjs",
 ]);
 
 async function readGeneratedScript(targetDir, relativePath) {
   return fs.readFile(path.join(targetDir, "scripts", relativePath), "utf8");
 }
 
-async function assertGeneratedInputRoleBehavior(targetDir) {
-  const scriptsDir = path.join(targetDir, "scripts");
-  const [
-    { toolcraftVerificationInputRootFamilies },
-    { createToolcraftProductVerificationContext },
-  ] = await Promise.all([
-    import(
-      pathToFileURL(
-        path.join(
-          scriptsDir,
-          "toolcraft-verification-input-roles.mjs",
-        ),
-      ).href
-    ),
-    import(
-      pathToFileURL(
-        path.join(scriptsDir, "toolcraft-verification-impact.mjs"),
-      ).href
-    ),
-  ]);
-  const { generated, starter } = toolcraftVerificationInputRootFamilies;
-  const generatedPaths = [
-    ...generated.runtimeRootPaths,
-    ...generated.semanticProofRootPaths,
-  ];
-  const starterPaths = [
-    ...starter.runtimeRootPaths,
-    ...starter.semanticProofRootPaths,
-  ];
-  assert.equal(
-    generatedPaths.some((repoPath) => starterPaths.includes(repoPath)),
-    false,
-    "Generated and starter semantic root families must stay distinct.",
-  );
-  const { inputRoles: roles } =
-    await createToolcraftProductVerificationContext(targetDir);
-  assert.equal(roles.rootFamily, generated.name);
-  assert.equal(
-    roles.impactInventoryPath,
-    generated.impactInventoryPath,
-  );
-  assert.equal(
-    roles.runtimeProductionPaths.includes(generated.compositionPath),
-    true,
-  );
-}
-
 export async function assertGeneratedDeliveryArchitecture(targetDir) {
   for (const relativePath of deliveryArchitecturePaths) {
     assert.ok(
@@ -82,15 +30,14 @@ export async function assertGeneratedDeliveryArchitecture(targetDir) {
       `Generated output must contain ${relativePath}.`,
     );
   }
-
   const sources = {
     catalog: await readGeneratedScript(
       targetDir,
       "playwright-test-title-selection.mjs",
     ),
-    impact: await readGeneratedScript(
+    lifecycle: await readGeneratedScript(
       targetDir,
-      "toolcraft-verification-impact-inventory.mjs",
+      "toolcraft-delivery-lifecycle.mjs",
     ),
     model: await readGeneratedScript(
       targetDir,
@@ -104,34 +51,25 @@ export async function assertGeneratedDeliveryArchitecture(targetDir) {
       targetDir,
       "toolcraft-delivery-receipt.mjs",
     ),
-    resolution: await readGeneratedScript(
-      targetDir,
-      "toolcraft-verification-impact-resolution.mjs",
-    ),
   };
 
   assert.match(sources.catalog, /Delivery catalog\.version must be 2/);
-  assert.match(
-    sources.impact,
-    /TOOLCRAFT_VERIFICATION_IMPACT_VERSION = 3/,
-  );
   assert.match(
     sources.model,
-    /TOOLCRAFT_FUNCTIONAL_PROOF_MODEL_VERSION = 1/,
+    /TOOLCRAFT_FUNCTIONAL_PROOF_MODEL_VERSION = 2/,
   );
-  assert.match(sources.plan, /TOOLCRAFT_DELIVERY_PLAN_VERSION = 4/);
-  assert.match(sources.receipt, /TOOLCRAFT_DELIVERY_RECEIPT_VERSION = 7/);
-  assert.doesNotMatch(
-    sources.resolution,
-    /createCompleteCurrentProof|requiresCompleteCurrentProofForPath/,
+  assert.match(sources.plan, /TOOLCRAFT_DELIVERY_PLAN_VERSION = 6/);
+  assert.match(sources.receipt, /TOOLCRAFT_DELIVERY_RECEIPT_VERSION = 8/);
+  assert.match(
+    sources.lifecycle,
+    /TOOLCRAFT_INITIAL_PROOF_ALREADY_COMPLETE/,
   );
   assert.doesNotMatch(
     sources.plan,
-    /TOOLCRAFT_DELIVERY_PLAN_VERSION = [123]\b/,
+    /TOOLCRAFT_DELIVERY_PLAN_VERSION = [1-5]\b/,
   );
   assert.doesNotMatch(
     sources.receipt,
-    /TOOLCRAFT_DELIVERY_RECEIPT_VERSION = [1-6]\b/,
+    /TOOLCRAFT_DELIVERY_RECEIPT_VERSION = [1-7]\b/,
   );
-  await assertGeneratedInputRoleBehavior(targetDir);
 }

package/src/generate-test-demand-only-lifecycle.mjs

@@ -5,17 +5,17 @@ import path from "node:path";
 import {
   loadGeneratedProofModule,
   runGeneratedCommand,
+  runGeneratedExecutable,
+  runGeneratedScript,
 } from "./generate-test-dependency-sandbox.mjs";
 import {
   assertGeneratedInitialFunctionalDelivery,
-  assertGeneratedLaterFunctionalDelivery,
 } from "./generate-test-standalone-delivery-stages.mjs";
 import {
   writeGeneratedProductFixture,
 } from "./generate-test-product-fixture.mjs";
 import {
   applyGeneratedProductMaterialIteration,
-  generatedProductMaterialIterationFixturePaths,
 } from "./generate-test-product-iteration.mjs";
 const materialAcceptanceIds = Object.freeze([
   "material.chocolate",
@@ -35,30 +35,6 @@ const materialBrowserTestNames = Object.freeze([
   "browser: sprinkle color changes material output",
   "browser: sprinkles visibility changes material output",
 ]);
-const materialDeliveryBrowserTestNames = Object.freeze([
-  "browser: ambient speed changes product output",
-  ...materialBrowserTestNames,
-  "browser: timeline playback drives product output",
-]);
-const materialDeliveryAcceptanceIds = Object.freeze([
-  "animation.speed",
-  ...materialAcceptanceIds,
-  "runtime.timeline",
-]);
-const materialProductTestFiles = Object.freeze([
-  "src/app/acceptance/validation-pipeline.test.ts",
-  "src/app/app-acceptance.base-coverage.test.ts",
-  "src/app/app-acceptance.product-output-export.test.ts",
-  "src/app/app-acceptance.product-readiness.test.ts",
-  "src/app/app-acceptance.product-worklog.test.ts",
-  "src/app/app-automated-runtime-evidence.test.ts",
-  "src/app/app-performance.fixture-helper.test.ts",
-  "src/app/app-performance.gates.test.ts",
-  "src/app/app-performance.lifecycle.test.ts",
-  "src/app/app-schema.test.ts",
-  "src/app/material-output.test.tsx",
-]);
-
 function deepFreeze(value) {
   if (value && typeof value === "object" && !Object.isFrozen(value)) {
     Object.values(value).forEach(deepFreeze);
@@ -131,6 +107,7 @@ async function loadInitialPlan({ targetDir }) {
   const functionalContext =
     await collectToolcraftDeliveryFunctionalContext(targetDir);
   const planningInputs = await loadToolcraftDeliveryPlanningInputs({
+    authority: null,
     currentInventory,
     functionalContext,
     integrity,
@@ -200,10 +177,11 @@ async function assertMalformedFunctionalPlanFailsClosed({
         getEscalationRecommendation: () => null,
         loadPlanningInputs: async () => fixture.planningInputs,
         readDeliveryAnchor: async () => ({ missing: true }),
+        readPerformanceAuthority: async () => null,
       }),
       projectDir: targetDir,
     }),
-    /functional.*performance/iu,
+    /initial delivery proof is not the fixed complete functional proof/iu,
   );
   assert.deepEqual(proofCalls, []);
   assert.equal(checkpointWrites, 0);
@@ -287,6 +265,7 @@ export async function assertGeneratedFreshDemandOnlyLifecycle({
     execFileAsync,
     targetDir,
   });
+  const initialCheckpointBytes = await fs.readFile(checkpointPath);
   await applyGeneratedProductMaterialIteration(targetDir);
   const materialCatalog = await collectToolcraftDeliveryCatalog(targetDir);
   const materialRows = materialCatalog.acceptance.filter(
@@ -300,15 +279,34 @@ export async function assertGeneratedFreshDemandOnlyLifecycle({
     materialRows.map(({ testName }) => testName).sort(),
     materialBrowserTestNames,
   );
-  await assertGeneratedLaterFunctionalDelivery({
-    acceptanceCatalog: materialCatalog.acceptance,
-    browserEnv,
-    checkpointPath,
+  await runGeneratedExecutable(
     execFileAsync,
-    expectedAcceptanceIds: materialDeliveryAcceptanceIds,
-    expectedBrowserTestNames: materialDeliveryBrowserTestNames,
-    expectedChangedFiles: generatedProductMaterialIterationFixturePaths,
-    expectedProductTestFiles: materialProductTestFiles,
     targetDir,
-  });
+    "vitest",
+    ["run", "src/app/material-output.test.tsx"],
+  );
+  const focusedResult = await runGeneratedCommand(
+    execFileAsync,
+    targetDir,
+    ["test:feature", "--", "material.layer"],
+    { env: browserEnv },
+  );
+  const focusedOutput = `${focusedResult.stdout ?? ""}\n${focusedResult.stderr ?? ""}`;
+  for (const acceptanceId of materialAcceptanceIds.filter(
+    (id) => id !== "material.exportedAppearance",
+  )) {
+    assert.match(focusedOutput, new RegExp(acceptanceId.replace(".", "\\."), "u"));
+  }
+  assert.doesNotMatch(focusedOutput, /material\.exportedAppearance/u);
+  assert.doesNotMatch(focusedOutput, /actions\.output|canvas\.|lighting\./u);
+  await runGeneratedScript(
+    execFileAsync,
+    targetDir,
+    "verify:delivery",
+  );
+  assert.deepEqual(
+    await fs.readFile(checkpointPath),
+    initialCheckpointBytes,
+    "A repeated ordinary delivery command must preserve the initial checkpoint byte-for-byte.",
+  );
 }

package/src/generate-test-dependency-sandbox.mjs

@@ -103,7 +103,10 @@ export async function withDeclaredDependencySandbox(targetDir, callback) {
   }
 }
 
-function createGeneratedCommandEnvironment(packageManager, overrides = {}) {
+export function createGeneratedCommandEnvironment(
+  packageManager,
+  overrides = {},
+) {
   const childEnv = {
     ...process.env,
     ...overrides,

package/src/generate-test-doc-assertions.mjs

@@ -2,6 +2,22 @@ import assert from "node:assert/strict";
 import fs from "node:fs/promises";
 import path from "node:path";
 
+import {
+  assertGeneratedExportIntentDocsDoNotInferVideo,
+  collectGeneratedAgentFacingDocs,
+  getMissingGeneratedPerformanceLifecycleMarkers,
+  getStaleAgentPerformanceWorkflowFailures,
+} from "./generate-test-doc-policy-assertions.mjs";
+import { assertGeneratedExportDocs } from "./generate-test-export-doc-assertions.mjs";
+
+export {
+  assertGeneratedExportIntentDocsDoNotInferVideo,
+  collectGeneratedAgentFacingDocs,
+  getMissingGeneratedPerformanceLifecycleMarkers,
+  getStaleAgentPerformanceWorkflowFailures,
+  staleAnimationDerivedVideoPattern,
+} from "./generate-test-doc-policy-assertions.mjs";
+
 const generatedDocPaths = [
   "README.md",
   "workflow.md",
@@ -23,70 +39,6 @@ const generatedDocPaths = [
   "core/reference-study.md",
 ];
 
-const staleAgentPerformanceWorkflowPattern =
-  /app-performance-impact|explicit-performance-work|test:browser:perf|verify:(?:final|quick|ui)|verify:perf:(?:playwright|record-iteration|refresh)|--reason=performance-iteration|--performance-test/iu;
-
-const generatedPerformanceLifecycleMarkers = [
-  "<!-- toolcraft-performance-lifecycle: first-delivery=functional; later-delivery=functional-targeted; complaint=one-authority-targeted-performance-iteration; full-audit=explicit-only -->",
-  "<!-- toolcraft-performance-iteration: authority=exact-request-evidence+canonical-path-ids; fixture=reachable-development; after-pass=return-app-to-user+stop -->",
-  "<!-- toolcraft-performance-full-authority: automatic=forbidden; recommendation=two-compatible-iterations-or-broad-unlocalizable-problem; command=pnpm verify:perf; authority=explicit-user-request-or-accepted-offer -->",
-  "<!-- toolcraft-performance-routing: localized=agent-targeted; ambiguous=one-user-facing-choice; broad=offer-targeted-or-full; full=explicit-only -->",
-];
-
-export function getMissingGeneratedPerformanceLifecycleMarkers(sources) {
-  return sources.flatMap(({ docPath, source }) =>
-    generatedPerformanceLifecycleMarkers.flatMap((marker) =>
-      source.includes(marker)
-        ? []
-        : [`docs/toolcraft/${docPath} must include canonical marker: ${marker}`],
-    ),
-  );
-}
-
-async function collectMarkdownPaths(rootDir, relativeDir = "") {
-  const currentDir = path.join(rootDir, relativeDir);
-  const entries = await fs.readdir(currentDir, { withFileTypes: true });
-  const markdownPaths = [];
-
-  for (const entry of entries.sort((left, right) => left.name.localeCompare(right.name))) {
-    const relativePath = path.join(relativeDir, entry.name);
-    if (entry.isDirectory()) {
-      markdownPaths.push(...(await collectMarkdownPaths(rootDir, relativePath)));
-    } else if (entry.isFile() && entry.name.endsWith(".md")) {
-      markdownPaths.push(relativePath);
-    }
-  }
-
-  return markdownPaths;
-}
-
-export async function collectGeneratedAgentFacingDocs(targetDir) {
-  const docsRoot = path.join(targetDir, "docs/toolcraft");
-  const docPaths = await collectMarkdownPaths(docsRoot);
-  const docs = await Promise.all(
-    docPaths.map(async (docPath) => ({
-      docPath: path.posix.join("docs/toolcraft", docPath.split(path.sep).join("/")),
-      source: await fs.readFile(path.join(docsRoot, docPath), "utf8"),
-    })),
-  );
-
-  return [
-    {
-      docPath: "AGENTS.md",
-      source: await fs.readFile(path.join(targetDir, "AGENTS.md"), "utf8"),
-    },
-    ...docs,
-  ];
-}
-
-export function getStaleAgentPerformanceWorkflowFailures(sources) {
-  return sources.flatMap(({ docPath, source }) =>
-    staleAgentPerformanceWorkflowPattern.test(source)
-      ? [`${docPath} contains removed performance workflow guidance`]
-      : [],
-  );
-}
-
 export async function assertGeneratedDocs(targetDir) {
   await Promise.all(
     generatedDocPaths.map((docPath) => fs.stat(path.join(targetDir, "docs/toolcraft", docPath))),
@@ -96,8 +48,9 @@ export async function assertGeneratedDocs(targetDir) {
   const licenseSource = await fs.readFile(path.join(targetDir, "LICENSE.md"), "utf8");
   const noticeSource = await fs.readFile(path.join(targetDir, "NOTICE.md"), "utf8");
   const localDocPaths = generatedDocPaths.filter((docPath) => docPath !== "README.md");
+  const generatedAgentFacingDocs = await collectGeneratedAgentFacingDocs(targetDir);
   const staleWorkflowFailures = getStaleAgentPerformanceWorkflowFailures(
-    await collectGeneratedAgentFacingDocs(targetDir),
+    generatedAgentFacingDocs,
   );
 
   assert.match(noticeSource, /Mediabunny/u);
@@ -109,6 +62,7 @@ export async function assertGeneratedDocs(targetDir) {
     [],
     `Generated agent-facing docs contain stale performance workflow guidance:\n${staleWorkflowFailures.join("\n")}`,
   );
+  assertGeneratedExportIntentDocsDoNotInferVideo(generatedAgentFacingDocs);
 
   assert.match(agentsSource, /Quick Entry Contract/);
   assert.match(agentsSource, /Local Reference Docs/);
@@ -127,12 +81,15 @@ export async function assertGeneratedDocs(targetDir) {
   assert.match(agentsSource, /Verification Tier Classifier/);
   assert.match(agentsSource, /Verification tier: Tier N/);
   assert.match(agentsSource, /npm run verify:delivery/);
-  assert.match(agentsSource, /coherent user-visible delivery batch/i);
+  assert.match(agentsSource, /first product delivery/i);
+  assert.match(
+    agentsSource,
+    /toolcraft-performance-lifecycle: first-delivery=functional-complete; later-edits=focused-only; complaint=one-authority-targeted-performance-iteration; full-audit=explicit-only/,
+  );
   assert.match(
     agentsSource,
-    /toolcraft-performance-lifecycle: first-delivery=functional; later-delivery=functional-targeted; complaint=one-authority-targeted-performance-iteration; full-audit=explicit-only/,
+    /repeated bare `verify:delivery` exits before inventory, build, tests, export, and performance work/is,
   );
-  assert.match(agentsSource, /bare `npm run verify:delivery` derives the required proof/i);
   assert.match(
     agentsSource,
     /only exact request authority[^\n]*measured targeted performance/i,
@@ -141,7 +98,7 @@ export async function assertGeneratedDocs(targetDir) {
     agentsSource,
     /during development[^\n]*affected performance scenarios|targeted performance scenarios only for touched/i,
   );
-  assert.match(agentsSource, /app-verification-impact\.json/);
+  assert.match(agentsSource, /ordinary edits use only the smallest feature-focused tests and browser checks/i);
   assert.match(agentsSource, /does not depend only on a mutable package script/i);
   assert.match(agentsSource, /pnpm ai:check/);
   assert.match(agentsSource, /use `brainstorming`/);
@@ -149,6 +106,7 @@ export async function assertGeneratedDocs(targetDir) {
   assert.match(agentsSource, /use `systematic-debugging`/);
   assert.match(agentsSource, /browser` workflow/);
   assert.match(agentsSource, /pnpm test:browser/);
+  assert.match(agentsSource, /npm run test:feature --/);
   assert.match(agentsSource, /signed local `AGENTS\.md` and `docs\/toolcraft\/\*` files are the mandatory workflow authority/i);
   assert.match(agentsSource, /generated with `--no-skills`, continue through the equivalent signed local workflow/i);
   assert.match(agentsSource, /Do not silently ignore a missing workflow capability/);
@@ -163,6 +121,8 @@ export async function assertGeneratedDocs(targetDir) {
   assert.match(agentsSource, /exportRenderer/);
   assert.match(agentsSource, /renderDefaultCanvasMedia=\{false\}/);
   assert.match(agentsSource, /onPanelAction/);
+  assert.match(agentsSource, /canonical runtime representation across defaults, live edits, persistence, settings import, and keyframes/i);
+  assert.match(agentsSource, /property edits declare `selectionScope` as global or selected-entity/i);
   assert.match(agentsSource, /MIT License/);
   assert.match(agentsSource, /LICENSE\.md/);
   assert.match(agentsSource, /NOTICE\.md/);
@@ -203,6 +163,10 @@ export async function assertGeneratedDocs(targetDir) {
     path.join(targetDir, "docs/toolcraft/core/timeline-animation.md"),
     "utf8",
   );
+  const coreReferenceStudySource = await fs.readFile(
+    path.join(targetDir, "docs/toolcraft/core/reference-study.md"),
+    "utf8",
+  );
 
   assert.match(componentRulesSource, /Slider `step` means numeric snapping only/);
   assert.match(componentRulesSource, /variant: "discrete"/);
@@ -236,16 +200,32 @@ export async function assertGeneratedDocs(targetDir) {
   assert.match(coreRuntimeBoundarySource, /copied runtime tree or its signed integrity manifest is missing/);
   assert.match(coreRuntimeBoundarySource, /modelPresentation/);
   assert.match(coreRuntimeBoundarySource, /exportRenderer/);
-  assert.match(coreRuntimeBoundarySource, /runtime owns typed image\/video actions end to end/i);
   assert.match(coreRuntimeBoundarySource, /does not suppress runtime model layers/);
   assert.match(componentRulesSource, /Do not show Layers for a single-layer app/);
   assert.match(coreTimelineSource, /Any app with `Export Video` must enable the top Toolcraft timeline/);
-  assert.match(coreSetupExportSource, /Every product exposes `Export PNG`/);
-  assert.match(
+  for (const requiredReferenceStudyTerm of [
+    "npm run reference:study",
+    "--kind",
+    "--grid",
+    "--fps",
+    "--timestamps-file",
+    "12 FPS",
+    "120",
+    "referenceInputs",
+    "reference-parity",
+    "no-reference fast path",
+  ]) {
+    assert.match(
+      coreReferenceStudySource,
+      new RegExp(requiredReferenceStudyTerm.replace(/[.*+?^${}()|[\]\\]/gu, "\\$&"), "iu"),
+      `Core reference-study docs must mention ${requiredReferenceStudyTerm}.`,
+    );
+  }
+  assertGeneratedExportDocs({
+    agentsSource,
+    coreRuntimeBoundarySource,
     coreSetupExportSource,
-    /Products whose requested delivery includes animation also expose `Export Video`/,
-  );
-  assert.match(coreSetupExportSource, /Clipboard copy is optional and never replaces export/);
+  });
   assert.match(coreSetupExportSource, /renderScaleCoverage/);
   assert.match(coreSetupExportSource, /selected-backing-pixels/);
   assert.match(coreSetupExportSource, /canvas-render-scale-backing/);
@@ -271,6 +251,10 @@ export async function assertGeneratedDocs(targetDir) {
   );
   assert.match(assemblyDocsSource, /@\/toolcraft\/runtime/);
   assert.match(assemblyDocsSource, /ToolcraftAppComposition/);
+  assert.match(
+    assemblyDocsSource,
+    /Every product declaration requires `productReadiness\.exportIntent`/,
+  );
   assert.match(assemblyDocsSource, /protected route/);
   assert.match(assemblyDocsSource, /transferMode: "reference-runtime-clone"/);
   assert.match(assemblyDocsSource, /`canvasContent` must not contain app UI/);
@@ -284,6 +268,7 @@ export async function assertGeneratedDocs(targetDir) {
   assert.match(acceptanceDocsSource, /automatedTestName/);
   assert.match(acceptanceDocsSource, /browserTestName/);
   assert.match(acceptanceDocsSource, /app-acceptance-data\.ts/);
+  assert.match(acceptanceDocsSource, /productReadiness\.exportIntent/);
   assert.match(
     acceptanceDocsSource,
     /Contract docs are signed except product-owned `agent-worklog\.md` and optional `workflow-observation\.md`; only the observation stays outside `sourceHash`/,
@@ -291,7 +276,8 @@ export async function assertGeneratedDocs(targetDir) {
   assert.match(acceptanceDocsSource, /Framework meta-tests are product-invariant/);
   assert.match(acceptanceDocsSource, /protected neutral contract fixtures/);
   assert.match(acceptanceDocsSource, /do not edit supplied `app-performance\.\*` meta-tests/i);
-  assert.match(acceptanceDocsSource, /app-verification-impact\.json/);
+  assert.match(acceptanceDocsSource, /Later ordinary edits do not derive an aggregate proof model/i);
+  assert.match(acceptanceDocsSource, /^(?=[\s\S]*test:feature)(?=[\s\S]*semantic)(?=[\s\S]*--all[\s\S]*product acceptance)/i);
   assert.match(acceptanceDocsSource, /app-kernel-benchmarks\.ts/);
   assert.match(acceptanceDocsSource, /renderScaleCoverage/);
   assert.match(acceptanceDocsSource, /selected-backing-pixels/);
@@ -306,14 +292,8 @@ export async function assertGeneratedDocs(targetDir) {
   );
   assert.match(acceptanceDocsSource, /actual encoded packet metadata/i);
   assert.match(acceptanceDocsSource, /distinct decoded frame hashes/i);
-  assert.match(
-    acceptanceDocsSource,
-    /Each browser file owns one acceptance domain/i,
-  );
-  assert.match(
-    acceptanceDocsSource,
-    /proof and test paths cannot own them/i,
-  );
+  assert.match(acceptanceDocsSource, /selectionScopeCoverage: "two-entity-isolation"/);
+  assert.match(acceptanceDocsSource, /editing A changes only A, editing B changes only B/i);
   for (const coverage of [
     "package-extraction",
     "deterministic-root-selection",
@@ -349,6 +329,14 @@ export async function assertGeneratedDocs(targetDir) {
     path.join(targetDir, "docs/toolcraft/core/performance.md"),
     "utf8",
   );
+  const schemaDocsSource = await fs.readFile(
+    path.join(targetDir, "docs/toolcraft/schema-reference.md"),
+    "utf8",
+  );
+  assert.match(schemaDocsSource, /one canonical runtime value model/i);
+  assert.match(schemaDocsSource, /`color` state is an expanded uppercase `#RRGGBB` string/i);
+  assert.match(componentRulesSource, /Built-in controls own canonical runtime values/i);
+  assert.match(worklogDocsSource, /Canonical control values and selected-entity isolation/i);
   assert.deepEqual(
     getMissingGeneratedPerformanceLifecycleMarkers([
       { docPath: "workflow.md", source: workflowDocsSource },
@@ -367,6 +355,7 @@ export async function assertGeneratedDocs(targetDir) {
   assert.match(rendererDocsSource, /combined fixtures/i);
   assert.match(rendererDocsSource, /modelPresentation/);
   assert.match(rendererDocsSource, /ToolcraftAppComposition\.exportRenderer/);
+  assert.match(rendererDocsSource, /svgExportRenderer/);
   assert.match(rendererDocsSource, /useToolcraftModelPresentationConsumer/);
   assert.match(rendererDocsSource, /acquirePresentation/);
   assert.match(rendererDocsSource, /lease\.release/);
@@ -397,9 +386,12 @@ export async function assertGeneratedDocs(targetDir) {
   );
   assert.match(corePerformanceDocsSource, /exact 30 FPS packet cadence[\s\S]*functional correctness/i);
   assert.match(performanceDocsSource, /exact 30 FPS packet cadence[\s\S]*functional proof/i);
-  assert.match(performanceDocsSource, /coherent (?:user-visible )?delivery batch/i);
+  assert.match(performanceDocsSource, /first product delivery/i);
   assert.match(performanceDocsSource, /verify:delivery/);
-  assert.match(performanceDocsSource, /immediately previous successful delivery/i);
+  assert.match(
+    performanceDocsSource,
+    /repeated bare `verify:delivery` exits before inventory, build, tests, export, and performance work/i,
+  );
   assert.match(performanceDocsSource, /performance-iteration/);
   assert.match(performanceDocsSource, /renderScaleCoverage/);
   assert.match(performanceDocsSource, /canvas-render-scale-backing/);
@@ -426,15 +418,15 @@ export async function assertGeneratedDocs(targetDir) {
   assert.match(performanceDocsSource, /Use bare `npm run verify:delivery` once/i);
   assert.match(
     workflowDocsSource,
-    /immediate previous and current semantic functional proof models/i,
+    /Later ordinary edits:[^\n]*exact unit\/component test[^\n]*npm run test:feature -- <acceptance-id>/i,
   );
   assert.match(
     workflowDocsSource,
-    /unchanged `sourceHash` fast path does not collect the catalog, dependency graph, or functional proof model/i,
+    /repeated bare `npm run verify:delivery` is a protected no-op[^\n]*exits before inventory, build, tests, export, and performance work/i,
   );
   assert.match(
     workflowDocsSource,
-    /do not rerun the aggregate, export, or performance matrix after every edit/i,
+    /do not rerun the aggregate, export, or performance matrix after edits/i,
   );
   assert.match(
     performanceDocsSource,