@nimiplatform/nimi-coding 0.2.8 → 0.3.0

package/cli/lib/internal/contracts-parse.mjs

@@ -1,284 +1,73 @@
 import {
-  BLUEPRINT_REFERENCE_REF,
-  SPEC_GENERATION_AUDIT_CONTRACT_REF,
   SPEC_GENERATION_AUDIT_COVERAGE_STATUS_ENUM,
-  SPEC_GENERATION_AUDIT_FILE_REQUIRED_FIELDS,
-  SPEC_GENERATION_AUDIT_REF,
   SPEC_GENERATION_AUDIT_REQUIRED_TOP_LEVEL_FIELDS,
   SPEC_GENERATION_AUDIT_SOURCE_BASIS_ENUM,
-  SPEC_GENERATION_INPUTS_CONTRACT_REF,
-  SPEC_GENERATION_INPUTS_REF,
-  SPEC_RECONSTRUCTION_SUMMARY_REQUIRED_FIELDS,
-  SPEC_RECONSTRUCTION_SUMMARY_STATUS,
-  SPEC_TREE_MODEL_REF,
 } from "../../constants.mjs";
-import {
-  arraysEqual,
-  isPlainObject,
-  toStringArray,
-} from "../value-helpers.mjs";
+import { arraysEqual, isPlainObject, toStringArray } from "../value-helpers.mjs";
 import { parseYamlText } from "../yaml-helpers.mjs";
-export {
-  parseAuditSweepContract,
-  parseDocSpecAuditContract,
-  parseExternalHostCompatibilityContract,
-  parseHighRiskAdmissionContract,
-  parseHighRiskExecutionContract,
-  parseHighRiskSchemaContract,
-} from "./contracts-parse-high-risk.mjs";
 
-const SPEC_TREE_PROFILE_ENUM = ["minimal", "standard", "mature", "surface_taxonomy_v1"];
-const AUTHORITY_MODE_ENUM = [
-  "external_authority_active",
-  "external_blueprint_active",
-  "canonical_cutover_ready",
-  "canonical_active",
-  "surface_class_validated",
-];
-const BLUEPRINT_MODE_ENUM = [
-  "none",
-  "repo_spec_blueprint",
-  "custom_blueprint",
-];
-const SPEC_GENERATION_MODE_ENUM = ["mixed", "class_filtered"];
-const SPEC_GENERATION_ACCEPTANCE_MODE_ENUM = [
-  "canonical_tree_validity_without_blueprint",
+const ACCEPTANCE_MODES = [
   "semantic_and_structural_parity_when_blueprint_exists",
   "placement_validity_before_generation",
 ];
-const SPEC_GENERATION_ORDER_ENUM = [
-  "index",
-  "kernel_markdown",
-  "kernel_tables",
-  "generated_views",
-  "thin_guides",
-  "classify_inputs",
-  "validate_placement",
-  "product_authority",
-  "product_authority_tables",
-  "derived_views",
-  "generation_audit",
+const SPEC_GENERATION_INPUT_FIELDS = [
+  "mode",
+  "canonical_target_root",
+  "code_inputs",
+  "docs_inputs",
+  "structure_inputs",
+  "local_inputs",
+  "forbidden_source_classes",
+  "generation_order",
+  "inference_rules",
+  "acceptance_mode",
+];
+const SPEC_GENERATION_INPUT_DOCUMENT_FIELDS = [
+  "version",
+  "contract_ref",
+  "spec_generation_inputs",
 ];
-const TOPIC_LIFECYCLE_REPORT_MARKDOWN = /^\.nimi\/topics\/(?:proposal|ongoing|pending|closed)\/\d{4}-\d{2}-\d{2}-[a-z0-9]+(?:-[a-z0-9]+)*\/[A-Za-z0-9]+(?:-[A-Za-z0-9]+)*\.md$/;
-
-function normalizeAuthorityModeValue(value) {
-  return value === "external_blueprint_active" ? "external_authority_active" : value;
-}
 
 function toStringOrNull(value) {
   return typeof value === "string" ? value : null;
 }
 
-function toStringList(value) {
-  if (typeof value === "string") {
-    return [value];
-  }
-  return toStringArray(value);
+function hasExactFields(value, expectedFields) {
+  return isPlainObject(value)
+    && arraysEqual(Object.keys(value).sort(), [...expectedFields].sort());
 }
 
-function normalizePathClass(entry) {
-  if (!isPlainObject(entry)) {
-    return null;
-  }
-
-  return {
-    id: toStringOrNull(entry.id),
-    pathPatterns: toStringArray(entry.path_patterns),
-    excludedPathPatterns: toStringArray(entry.excluded_path_patterns),
-    allowedExtensions: toStringArray(entry.allowed_extensions),
-    generatorRefs: toStringArray(entry.generator_refs),
-    mustReferenceNormativeIds: entry.must_reference_normative_ids === true,
-    normative: entry.normative === true,
-  };
-}
-
-function normalizeSpecDomain(entry) {
-  if (!isPlainObject(entry)) {
-    return null;
-  }
-
-  return {
-    id: toStringOrNull(entry.id),
-    root: toStringOrNull(entry.root),
-    normativeRoot: toStringOrNull(entry.normative_root),
-    tablesRoot: toStringOrNull(entry.tables_root),
-    generatedRoot: toStringOrNull(entry.generated_root),
-    guidePaths: toStringArray(entry.guide_paths),
-  };
-}
-
-function normalizeGeneratedPipeline(entry) {
-  if (!isPlainObject(entry)) {
-    return null;
-  }
-
-  return {
-    id: toStringOrNull(entry.id),
-    ownerSurface: toStringOrNull(entry.owner_surface),
-    inputRoots: toStringArray(entry.input_roots).length > 0
-      ? toStringArray(entry.input_roots)
-      : [
-        ...toStringList(entry.input_contract_ref),
-        ...toStringList(entry.input_config_ref),
-      ],
-    outputRoots: toStringArray(entry.output_roots),
-    generateCommand: toStringOrNull(entry.generate_command),
-    driftCheckCommand: toStringOrNull(entry.drift_check_command),
-  };
-}
-
-function normalizeV2SpecDomain(entry) {
-  if (!isPlainObject(entry)) {
-    return null;
-  }
-  const root = toStringOrNull(entry.root);
-  return {
-    id: toStringOrNull(entry.id),
-    root,
-    normativeRoot: root ? `${root}/kernel` : null,
-    tablesRoot: root ? `${root}/kernel/tables` : null,
-    generatedRoot: null,
-    guidePaths: [],
-  };
-}
-
-function normalizeV2PathClass(entry) {
-  if (!isPlainObject(entry)) {
-    return null;
-  }
-  return {
-    id: toStringOrNull(entry.id),
-    pathPatterns: toStringArray(entry.path_patterns),
-    excludedPathPatterns: toStringArray(entry.excluded_path_patterns),
-    allowedExtensions: toStringArray(entry.allowed_extensions),
-    generatorRefs: [],
-    mustReferenceNormativeIds: entry.must_reference_product_authority_ids === true,
-    normative: ["product_authority", "product_authority_table"].includes(entry.id),
-  };
-}
-
-function pathStartsWithRoot(targetPath, root) {
-  if (typeof targetPath !== "string" || typeof root !== "string") {
-    return false;
-  }
-
-  return targetPath === root || targetPath.startsWith(`${root}/`);
-}
-
-function isDatePrefixedTopicLifecycleMarkdownPath(value) {
-  if (typeof value !== "string") {
-    return false;
-  }
-  return TOPIC_LIFECYCLE_REPORT_MARKDOWN.test(value);
-}
-
-function topicLifecycleMarkdownPathsAreSortable(paths) {
-  return paths.every((entry) => {
-    if (typeof entry !== "string") {
-      return true;
-    }
-    if (entry.startsWith(".local/report/")) {
-      return false;
-    }
-    if (!entry.startsWith(".nimi/topics/")) {
-      return true;
-    }
-    if (!entry.endsWith(".md")) {
-      return true;
-    }
-    return isDatePrefixedTopicLifecycleMarkdownPath(entry);
-  });
-}
-
-function isAllowedV2AuthorityDocsRoot(root) {
-  if (typeof root !== "string" || root.length === 0) {
-    return false;
-  }
-  if (root === "." || root === "./" || root === "/" || root === "**" || root.includes("..")) {
-    return false;
-  }
-  return root === ".nimi/spec" || root.startsWith(".nimi/spec/");
-}
-
-export function parseSpecReconstructionContract(text) {
-  const parsed = parseYamlText(text);
-  const version = parsed?.version ?? null;
-  const summaryRequiredFields = toStringArray(parsed?.summary_required_fields);
-  const summaryStatusEnum = toStringArray(parsed?.summary_status_enum);
-  const completionRequirements = toStringArray(parsed?.completion_requirements);
-  const canonicalTreeCompletion = isPlainObject(parsed?.canonical_tree_completion)
-    ? {
-      profileRef: toStringOrNull(parsed.canonical_tree_completion.profile_ref),
-      generationInputsRef: toStringOrNull(parsed.canonical_tree_completion.generation_inputs_ref),
-      auditContractRef: toStringOrNull(parsed.canonical_tree_completion.audit_contract_ref),
-      auditRef: toStringOrNull(parsed.canonical_tree_completion.audit_ref),
-      requiredTreeState: toStringOrNull(parsed.canonical_tree_completion.required_tree_state),
-      requiredFilesValid: parsed.canonical_tree_completion.required_files_valid === true,
-    }
-    : null;
-
-  const expectedSummaryFields = version === 2
-    ? [...SPEC_RECONSTRUCTION_SUMMARY_REQUIRED_FIELDS.slice(0, 2), "placement_report_ref", ...SPEC_RECONSTRUCTION_SUMMARY_REQUIRED_FIELDS.slice(2)]
-    : SPEC_RECONSTRUCTION_SUMMARY_REQUIRED_FIELDS;
-  const expectedProfileRef = version === 2 ? ".nimi/contracts/surface-taxonomy.schema.yaml" : SPEC_TREE_MODEL_REF;
-  const expectedInputsRef = version === 2 ? ".nimi/config/spec-generation-inputs.yaml" : SPEC_GENERATION_INPUTS_REF;
-  const expectedAuditContractRef = version === 2 ? ".nimi/contracts/spec-generation-audit.schema.yaml" : SPEC_GENERATION_AUDIT_CONTRACT_REF;
-  const expectedAuditRef = version === 2 ? ".nimi/local/state/spec-generation/spec-generation-audit.yaml" : SPEC_GENERATION_AUDIT_REF;
-  const fileClassRequirement = version === 2
-    ? "declared_surface_class_constraints_valid"
-    : "declared_file_class_constraints_valid";
-  const auditRequirement = version === 2
-    ? "spec_generation_audit_present_and_valid_as_local_state"
-    : "spec_generation_audit_present_and_valid";
-
-  return {
-    ok: [1, 2].includes(version)
-      && arraysEqual(summaryRequiredFields, expectedSummaryFields)
-      && arraysEqual(summaryStatusEnum, SPEC_RECONSTRUCTION_SUMMARY_STATUS)
-      && completionRequirements.includes("canonical_tree_ready")
-      && completionRequirements.includes("declared_profile_required_files_valid")
-      && completionRequirements.includes(fileClassRequirement)
-      && completionRequirements.includes(auditRequirement)
-      && completionRequirements.includes("required_canonical_files_have_matching_audit_entries")
-      && completionRequirements.includes("unresolved_gaps_must_remain_explicit")
-      && completionRequirements.includes("semantic_and_structural_parity_when_blueprint_exists")
-      && canonicalTreeCompletion?.profileRef === expectedProfileRef
-      && canonicalTreeCompletion?.generationInputsRef === expectedInputsRef
-      && canonicalTreeCompletion?.auditContractRef === expectedAuditContractRef
-      && canonicalTreeCompletion?.auditRef === expectedAuditRef
-      && canonicalTreeCompletion?.requiredTreeState === "canonical_tree_ready"
-      && canonicalTreeCompletion?.requiredFilesValid === true,
-    canonicalTreeCompletion,
-    summaryRequiredFields,
-    summaryStatusEnum,
-    completionRequirements,
-  };
+function isAllowedAuthorityRoot(root) {
+  return typeof root === "string"
+    && (root === ".nimi/spec" || root.startsWith(".nimi/spec/"))
+    && !root.includes("..");
 }
 
 export function parseSpecGenerationAuditContract(text) {
   const parsed = parseYamlText(text);
-  const version = parsed?.version ?? null;
   const requiredTopLevelFields = toStringArray(parsed?.required_top_level_fields);
   const requiredFileEntryFields = toStringArray(parsed?.required_file_entry_fields);
   const sourceBasisEnum = toStringArray(parsed?.source_basis_enum);
   const coverageStatusEnum = toStringArray(parsed?.coverage_status_enum);
   const hardConstraints = toStringArray(parsed?.hard_constraints);
-
-  const expectedTopLevelFields = version === 2
-    ? [...SPEC_GENERATION_AUDIT_REQUIRED_TOP_LEVEL_FIELDS.slice(0, 4), "placement_report_ref", ...SPEC_GENERATION_AUDIT_REQUIRED_TOP_LEVEL_FIELDS.slice(4)]
-    : SPEC_GENERATION_AUDIT_REQUIRED_TOP_LEVEL_FIELDS;
-  const expectedFileEntryFields = version === 2
-    ? ["canonical_path", "surface_class", "source_refs", "source_basis", "coverage_status", "unresolved_items"]
-    : SPEC_GENERATION_AUDIT_FILE_REQUIRED_FIELDS;
-  const expectedTargetRef = version === 2 ? ".nimi/local/state/spec-generation/spec-generation-audit.yaml" : SPEC_GENERATION_AUDIT_REF;
-  const sourceConstraint = version === 2
-    ? "source_refs_must_stay_within_class_filtered_declared_inputs"
-    : "source_refs_must_stay_within_declared_inputs_or_optional_benchmark_root";
+  const expectedTopLevelFields = [
+    ...SPEC_GENERATION_AUDIT_REQUIRED_TOP_LEVEL_FIELDS.slice(0, 4),
+    "placement_report_ref",
+    ...SPEC_GENERATION_AUDIT_REQUIRED_TOP_LEVEL_FIELDS.slice(4),
+  ];
+  const expectedFileEntryFields = [
+    "canonical_path",
+    "surface_class",
+    "source_refs",
+    "source_basis",
+    "coverage_status",
+    "unresolved_items",
+  ];
 
   return {
-    ok: [1, 2].includes(version)
+    ok: parsed?.version === 2
       && String(parsed?.audit_contract?.id ?? "") === "canonical_spec_generation_audit"
-      && String(parsed?.audit_contract?.target_ref ?? "") === expectedTargetRef
+      && String(parsed?.audit_contract?.target_ref ?? "") === ".nimi/local/state/spec-generation/spec-generation-audit.yaml"
       && arraysEqual(requiredTopLevelFields, expectedTopLevelFields)
       && arraysEqual(requiredFileEntryFields, expectedFileEntryFields)
       && arraysEqual(sourceBasisEnum, SPEC_GENERATION_AUDIT_SOURCE_BASIS_ENUM)
@@ -286,7 +75,7 @@ export function parseSpecGenerationAuditContract(text) {
       && hardConstraints.includes("every_generated_canonical_file_requires_a_matching_audit_entry")
       && hardConstraints.includes("required_canonical_files_must_not_be_placeholder_not_allowed")
       && hardConstraints.includes("unresolved_or_inferred_content_must_be_explicit")
-      && hardConstraints.includes(sourceConstraint)
+      && hardConstraints.includes("source_refs_must_stay_within_class_filtered_declared_inputs")
       && hardConstraints.includes("no_empty_success_looking_audit_entries"),
     requiredTopLevelFields,
     requiredFileEntryFields,
@@ -303,39 +92,16 @@ export function parseSpecGenerationInputsContract(text) {
   const generationOrderEnum = toStringArray(parsed?.generation_order_enum);
   const hardConstraints = toStringArray(parsed?.hard_constraints);
 
-  if (parsed?.version === 2) {
-    return {
-      ok: String(contract?.id ?? "") === "canonical_spec_generation_inputs"
-        && String(contract?.owner ?? "") === "nimi-coding"
-        && requiredFields.includes("mode")
-        && requiredFields.includes("canonical_target_root")
-        && requiredFields.includes("docs_inputs")
-        && requiredFields.includes("forbidden_source_classes")
-        && arraysEqual(toStringArray(parsed?.mode_enum), ["class_filtered"])
-        && SPEC_GENERATION_ACCEPTANCE_MODE_ENUM.includes(toStringArray(parsed?.acceptance_mode_enum)[0])
-        && generationOrderEnum.includes("classify_inputs")
-        && generationOrderEnum.includes("validate_placement")
-        && hardConstraints.includes("docs_roots_blanket_ingestion_is_forbidden")
-        && hardConstraints.includes("each_input_file_must_have_an_accepted_surface_class_before_render"),
-      requiredFields,
-      generationOrderEnum,
-      hardConstraints,
-    };
-  }
-
   return {
-    ok: parsed?.version === 1
+    ok: parsed?.version === 3
       && String(contract?.id ?? "") === "canonical_spec_generation_inputs"
-      && String(contract?.target_root ?? "") === ".nimi/spec"
-      && arraysEqual(toStringArray(contract?.mode_enum), SPEC_GENERATION_MODE_ENUM)
-      && arraysEqual(toStringArray(contract?.acceptance_mode_enum), SPEC_GENERATION_ACCEPTANCE_MODE_ENUM)
-      && arraysEqual(generationOrderEnum, SPEC_GENERATION_ORDER_ENUM)
-      && requiredFields.includes("mode")
-      && requiredFields.includes("canonical_target_root")
-      && requiredFields.includes("benchmark_blueprint_root")
-      && hardConstraints.includes("canonical_target_root_must_be_.nimi/spec")
-      && hardConstraints.includes("local_report_markdown_paths_must_use_topic_lifecycle_shape")
-      && hardConstraints.includes("human_authored_topic_reports_must_use_.nimi/topics_as_canonical_root"),
+      && String(contract?.owner ?? "") === "nimi-coding"
+      && arraysEqual(toStringArray(parsed?.mode_enum), ["class_filtered"])
+      && arraysEqual(requiredFields, SPEC_GENERATION_INPUT_FIELDS)
+      && generationOrderEnum.includes("classify_inputs")
+      && generationOrderEnum.includes("validate_placement")
+      && hardConstraints.includes("docs_roots_blanket_ingestion_is_forbidden")
+      && hardConstraints.includes("each_input_file_must_have_an_accepted_surface_class_before_render"),
     requiredFields,
     generationOrderEnum,
     hardConstraints,
@@ -345,236 +111,51 @@ export function parseSpecGenerationInputsContract(text) {
 export function parseSpecGenerationInputsConfig(text) {
   const parsed = parseYamlText(text);
   const config = parsed?.spec_generation_inputs;
-  const mode = toStringOrNull(config?.mode);
-  const canonicalTargetRoot = toStringOrNull(config?.canonical_target_root);
-  const codeRoots = toStringArray(config?.code_roots);
-  const docsRoots = toStringArray(config?.docs_roots);
-  const structureRoots = toStringArray(config?.structure_roots);
   const codeInputs = Array.isArray(config?.code_inputs) ? config.code_inputs : [];
   const docsInputs = Array.isArray(config?.docs_inputs) ? config.docs_inputs : [];
   const structureInputs = Array.isArray(config?.structure_inputs) ? config.structure_inputs : [];
-  const topicInputs = Array.isArray(config?.topic_inputs) ? config.topic_inputs : [];
   const localInputs = Array.isArray(config?.local_inputs) ? config.local_inputs : [];
   const forbiddenSourceClasses = toStringArray(config?.forbidden_source_classes);
-  const humanNotePaths = toStringArray(config?.human_note_paths);
-  const benchmarkBlueprintRoot = typeof config?.benchmark_blueprint_root === "string"
-    ? config.benchmark_blueprint_root
-    : null;
-  const benchmarkMode = toStringOrNull(config?.benchmark_mode);
-  const acceptanceMode = toStringOrNull(config?.acceptance_mode);
   const generationOrder = toStringArray(config?.generation_order);
   const inferenceRules = toStringArray(config?.inference_rules);
-
-  if (parsed?.version === 2) {
-    const legacyRootsAbsent = !("code_roots" in config)
-      && !("docs_roots" in config)
-      && !("structure_roots" in config);
-    return {
-      ok: String(parsed?.contract_ref ?? "") === ".nimi/contracts/spec-generation-inputs.schema.yaml"
-        && mode === "class_filtered"
-        && canonicalTargetRoot === ".nimi/spec"
-        && legacyRootsAbsent
-        && Array.isArray(codeInputs)
-        && docsInputs.length > 0
-        && docsInputs.every((entry) => isPlainObject(entry)
-          && typeof entry.root === "string"
-          && isAllowedV2AuthorityDocsRoot(entry.root)
-          && Array.isArray(entry.allowed_surface_classes)
-          && Array.isArray(entry.forbidden_surface_classes)
-          && entry.use_as_authority === true)
-        && Array.isArray(structureInputs)
-        && Array.isArray(topicInputs)
-        && Array.isArray(localInputs)
-        && forbiddenSourceClasses.length > 0
-        && generationOrder.includes("classify_inputs")
-        && generationOrder.includes("validate_placement")
-        && inferenceRules.includes("no_blanket_docs_roots")
-        && SPEC_GENERATION_ACCEPTANCE_MODE_ENUM.includes(acceptanceMode)
-        && topicLifecycleMarkdownPathsAreSortable(humanNotePaths),
-      mode,
-      canonicalTargetRoot,
-      codeRoots: codeInputs.map((entry) => String(entry.root ?? "")).filter(Boolean),
-      docsRoots: docsInputs.map((entry) => String(entry.root ?? "")).filter(Boolean),
-      structureRoots: structureInputs.map((entry) => String(entry.root ?? "")).filter(Boolean),
-      humanNotePaths,
-      benchmarkBlueprintRoot,
-      benchmarkMode: benchmarkMode ?? "none",
-      acceptanceMode,
-      generationOrder,
-      inferenceRules,
-    };
-  }
+  const acceptanceMode = toStringOrNull(config?.acceptance_mode);
 
   return {
-    ok: parsed?.version === 1
-      && String(parsed?.contract_ref ?? "") === SPEC_GENERATION_INPUTS_CONTRACT_REF
-      && SPEC_GENERATION_MODE_ENUM.includes(mode)
-      && canonicalTargetRoot === ".nimi/spec"
-      && Array.isArray(codeRoots)
-      && Array.isArray(docsRoots)
-      && Array.isArray(structureRoots)
-      && Array.isArray(humanNotePaths)
-      && topicLifecycleMarkdownPathsAreSortable(humanNotePaths)
-      && BLUEPRINT_MODE_ENUM.includes(benchmarkMode)
-      && SPEC_GENERATION_ACCEPTANCE_MODE_ENUM.includes(acceptanceMode)
-      && generationOrder.length > 0
-      && generationOrder.every((entry) => SPEC_GENERATION_ORDER_ENUM.includes(entry))
-      && inferenceRules.length > 0
-      && (
-        benchmarkMode === "none"
-          ? benchmarkBlueprintRoot === null
-          : typeof benchmarkBlueprintRoot === "string" && benchmarkBlueprintRoot.length > 0
-      ),
-    mode,
-    canonicalTargetRoot,
-    codeRoots,
-    docsRoots,
-    structureRoots,
-    humanNotePaths,
-    benchmarkBlueprintRoot,
-    benchmarkMode,
+    ok: hasExactFields(parsed, SPEC_GENERATION_INPUT_DOCUMENT_FIELDS)
+      && hasExactFields(config, SPEC_GENERATION_INPUT_FIELDS)
+      && parsed.version === 3
+      && String(parsed?.contract_ref ?? "") === ".nimi/contracts/spec-generation-inputs.schema.yaml"
+      && config?.mode === "class_filtered"
+      && config?.canonical_target_root === ".nimi/spec"
+      && docsInputs.length > 0
+      && docsInputs.every((entry) => isPlainObject(entry)
+        && isAllowedAuthorityRoot(entry.root)
+        && Array.isArray(entry.allowed_surface_classes)
+        && Array.isArray(entry.forbidden_surface_classes)
+        && entry.use_as_authority === true)
+      && Array.isArray(codeInputs)
+      && Array.isArray(structureInputs)
+      && Array.isArray(localInputs)
+      && forbiddenSourceClasses.length > 0
+      && generationOrder.includes("classify_inputs")
+      && generationOrder.includes("validate_placement")
+      && inferenceRules.includes("no_blanket_docs_roots")
+      && ACCEPTANCE_MODES.includes(acceptanceMode),
+    mode: toStringOrNull(config?.mode),
+    canonicalTargetRoot: toStringOrNull(config?.canonical_target_root),
+    codeRoots: codeInputs.map((entry) => String(entry?.root ?? "")).filter(Boolean),
+    docsRoots: docsInputs.map((entry) => String(entry?.root ?? "")).filter(Boolean),
+    structureRoots: structureInputs.map((entry) => String(entry?.root ?? "")).filter(Boolean),
+    localRoots: localInputs.map((entry) => String(entry?.root ?? "")).filter(Boolean),
+    humanNotePaths: [],
+    benchmarkBlueprintRoot: null,
+    benchmarkMode: "none",
     acceptanceMode,
     generationOrder,
     inferenceRules,
   };
 }
 
-export function parseSpecTreeModel(text) {
-  const parsed = parseYamlText(text);
-  const model = parsed?.spec_tree_model;
-  const profile = toStringOrNull(model?.profile);
-  const canonicalRoot = toStringOrNull(model?.canonical_root) ?? toStringOrNull(model?.product_authority_root);
-  const authorityMode = normalizeAuthorityModeValue(toStringOrNull(model?.authority_mode));
-  const isV2 = parsed?.version === 2;
-  const domains = Array.isArray(model?.domains)
-    ? model.domains.map(isV2 ? normalizeV2SpecDomain : normalizeSpecDomain).filter(Boolean)
-    : [];
-  const normativeClassSource = isV2 ? model?.product_authority_classes : model?.normative_classes;
-  const derivedClassSource = isV2
-    ? (Array.isArray(model?.non_authority_classes) ? model.non_authority_classes.filter((entry) => entry?.id === "derived_view") : [])
-    : model?.derived_classes;
-  const normativeClasses = Array.isArray(normativeClassSource)
-    ? normativeClassSource.map(isV2 ? normalizeV2PathClass : normalizePathClass).filter(Boolean)
-    : [];
-  const derivedClasses = Array.isArray(derivedClassSource)
-    ? derivedClassSource.map(isV2 ? (entry) => ({
-      id: toStringOrNull(entry.id),
-      pathPatterns: toStringArray(entry.allowed_roots),
-      excludedPathPatterns: [],
-      allowedExtensions: [],
-      generatorRefs: [],
-      mustReferenceNormativeIds: false,
-      normative: false,
-    }) : normalizePathClass).filter(Boolean)
-    : [];
-  const guidanceClasses = Array.isArray(model?.guidance_classes)
-    ? model.guidance_classes.map(isV2 ? normalizeV2PathClass : normalizePathClass).filter(Boolean)
-    : [];
-  const requiredFilesByProfile = SPEC_TREE_PROFILE_ENUM.reduce((acc, currentProfile) => {
-    acc[currentProfile] = toStringArray(model?.required_files?.[currentProfile]);
-    return acc;
-  }, {});
-  if (isV2 && requiredFilesByProfile.surface_taxonomy_v1.length === 0) {
-    requiredFilesByProfile.surface_taxonomy_v1 = requiredFilesByProfile.minimal;
-  }
-  const generatedPipelines = Array.isArray(model?.generated_pipelines)
-    ? model.generated_pipelines.map(normalizeGeneratedPipeline).filter(Boolean)
-    : [];
-  const failClosedRules = toStringArray(model?.fail_closed_rules);
-  const blueprintSource = isPlainObject(model?.blueprint_source)
-    ? {
-      mode: toStringOrNull(model.blueprint_source.mode),
-      root: toStringOrNull(model.blueprint_source.root),
-      equivalenceContractRef: toStringOrNull(model.blueprint_source.equivalence_contract_ref),
-    }
-    : null;
-
-  const canonicalRootValid = canonicalRoot === ".nimi/spec";
-  const profileValid = SPEC_TREE_PROFILE_ENUM.includes(profile);
-  const authorityModeValid = AUTHORITY_MODE_ENUM.includes(authorityMode);
-  const domainRootsValid = domains.length > 0 && domains.every((domain) => (
-    typeof domain.id === "string"
-    && typeof domain.root === "string"
-    && typeof domain.normativeRoot === "string"
-    && typeof domain.tablesRoot === "string"
-    && pathStartsWithRoot(domain.root, canonicalRoot)
-    && pathStartsWithRoot(domain.normativeRoot, domain.root)
-    && pathStartsWithRoot(domain.tablesRoot, domain.normativeRoot)
-    && (!domain.generatedRoot || pathStartsWithRoot(domain.generatedRoot, domain.normativeRoot))
-    && domain.guidePaths.every((guidePath) => pathStartsWithRoot(guidePath, domain.root))
-  ));
-  const profilesToCheck = isV2 ? [profile] : SPEC_TREE_PROFILE_ENUM.filter((entry) => entry !== "surface_taxonomy_v1");
-  const requiredFilesValid = profilesToCheck.every((currentProfile) => (
-    requiredFilesByProfile[currentProfile].length > 0
-    && requiredFilesByProfile[currentProfile].every((requiredPath) => pathStartsWithRoot(requiredPath, canonicalRoot))
-  ));
-  const fileClassIdsPresent = normativeClasses.every((entry) => entry.id && entry.pathPatterns.length > 0)
-    && derivedClasses.every((entry) => entry.id && entry.pathPatterns.length > 0)
-    && guidanceClasses.every((entry) => entry.id && entry.pathPatterns.length > 0);
-  const generatedPipelinesValid = generatedPipelines.every((entry) => (
-    entry.id
-    && entry.ownerSurface
-    && entry.generateCommand
-    && entry.inputRoots.length > 0
-    && entry.outputRoots.length > 0
-  ));
-  const blueprintSourceValid = !blueprintSource || (
-    typeof blueprintSource.mode === "string"
-    && ["repo_spec_blueprint", "custom_blueprint"].includes(blueprintSource.mode)
-    && typeof blueprintSource.root === "string"
-    && typeof blueprintSource.equivalenceContractRef === "string"
-    && isDatePrefixedTopicLifecycleMarkdownPath(blueprintSource.equivalenceContractRef)
-  );
-
-  return {
-    ok: [1, 2].includes(parsed?.version)
-      && profileValid
-      && canonicalRootValid
-      && authorityModeValid
-      && domainRootsValid
-      && requiredFilesValid
-      && fileClassIdsPresent
-      && generatedPipelinesValid
-      && failClosedRules.length > 0
-      && blueprintSourceValid,
-    version: parsed?.version ?? null,
-    profile,
-    canonicalRoot,
-    authorityMode,
-    domains,
-    normativeClasses,
-    derivedClasses,
-    guidanceClasses,
-    requiredFilesByProfile,
-    generatedPipelines,
-    failClosedRules,
-    blueprintSource,
-  };
-}
-
-export function parseCommandGatingMatrix(text) {
-  const parsed = parseYamlText(text);
-  const entries = Array.isArray(parsed?.command_gating_matrix)
-    ? parsed.command_gating_matrix
-      .filter((entry) => isPlainObject(entry) && typeof entry.command === "string")
-      .map((entry) => ({
-        command: entry.command,
-        skill: toStringOrNull(entry.skill),
-        allowedTreeStates: toStringArray(entry.allowed_tree_states),
-        allowedAuthorityModes: toStringArray(entry.allowed_authority_modes).map(normalizeAuthorityModeValue),
-        completedRequires: isPlainObject(entry.completed_requires) ? entry.completed_requires : null,
-        requires: isPlainObject(entry.requires) ? entry.requires : null,
-        notes: toStringArray(entry.notes),
-        reports: toStringArray(entry.reports),
-      }))
-    : [];
-
-  return {
-    ok: parsed?.version === 1 && entries.length > 0,
-    entries,
-  };
-}
-
 export function parseBlueprintReference(text) {
   if (!text) {
     return {
@@ -593,14 +174,15 @@ export function parseBlueprintReference(text) {
   const root = toStringOrNull(reference?.root);
   const canonicalTargetRoot = toStringOrNull(reference?.canonical_target_root);
   const equivalenceContractRef = toStringOrNull(reference?.equivalence_contract_ref);
+  const localRefValid = equivalenceContractRef === null
+    || (equivalenceContractRef.startsWith(".nimi/local/") && !equivalenceContractRef.includes(".."));
 
   return {
-    ok: parsed?.version === 1
+    ok: parsed?.version === 2
       && ["repo_spec_blueprint", "custom_blueprint"].includes(mode)
       && typeof root === "string"
-      && typeof canonicalTargetRoot === "string"
-      && typeof equivalenceContractRef === "string"
-      && isDatePrefixedTopicLifecycleMarkdownPath(equivalenceContractRef),
+      && canonicalTargetRoot === ".nimi/spec"
+      && localRefValid,
     present: true,
     mode,
     root,
@@ -608,21 +190,3 @@ export function parseBlueprintReference(text) {
     equivalenceContractRef,
   };
 }
-
-export function matchCommandGatingRule(commandGatingMatrix, command, skillId = null) {
-  if (!commandGatingMatrix?.entries) {
-    return null;
-  }
-
-  return commandGatingMatrix.entries.find((entry) => {
-    if (entry.command !== command) {
-      return false;
-    }
-
-    if (skillId === null) {
-      return !entry.skill;
-    }
-
-    return entry.skill === skillId;
-  }) ?? null;
-}