@nimiplatform/nimi-coding 0.4.0 → 0.6.0

package/spec/code-authority-annotations.yaml

@@ -0,0 +1,42 @@
+version: 1
+spec:
+  id: nimicoding.code-authority-annotations.v1
+  owner: nimi-coding
+  status: experimental
+product_claim: exact_standalone_markers_link_selected_tracked_current_source_to_current_canonical_authority_lifecycle
+command: nimicoding code authority --repo <exact-git-worktree-root> (--authority <exact-id>|--source <repo-relative-.ts-.tsx-or-.go-path>|--audit) --max-files <integer> --max-bytes <integer>=512
+markers:
+  authority: "// nimi-authority: <exact-authority-id>"
+  deprecated: "// nimi-deprecated: <exact-authority-id>"
+  optional: true
+  attachment: source_file_with_exact_marker_and_bounded_nearby_source_only
+  declaration_ownership: not_evaluated
+  deprecated_pairing: not_evaluated
+scan:
+  authority_corpus: complete_repository_.nimi/spec
+  source_inventory: Git_tracked_current_filesystem
+  source_languages: [TypeScript, TSX, Go]
+  persistent_index_or_cache: none
+  ordering: deterministic
+operations:
+  authority_to_code: all_exact_marker_occurrences_in_the_complete_admitted_source_scan
+  code_to_authority: exact_marker_occurrences_in_one_tracked_source_file
+  lifecycle_audit: [active-reference, explicit-deprecated, removed-reference, superseded-reference, missing-reference, invalid-annotation]
+response:
+  format: nimicoding.code-authority-response/v1
+  transport: one_compact_JSON_object_on_stdout_with_terminating_newline
+  stderr: empty_for_recognized_code_operations
+  statuses: [completed, findings, refused]
+  public_budgets: [max-files, max-bytes]
+  minimum_valid_max_bytes: 512
+  partial_results: forbidden
+boundaries:
+  annotation_is_authority: false
+  annotation_proves_conformance: false
+  unannotated_source: not_evaluated
+  active_authority_statement_drift: not_evaluated
+  automatic_legacy_detection: false
+  annotation_coverage_gate: false
+  scope_binding_dependency: none
+  writes_repository: false
+  workflow_task_or_completion_state: none

package/spec/code-context.yaml

@@ -0,0 +1,38 @@
+version: 1
+spec:
+  id: nimicoding.code-context.v1
+  owner: nimi-coding
+  status: experimental
+product_claim: explicit_TypeScript_root_returns_one_bounded_root_direct_static_outbound_projection_or_fails
+command: nimicoding code context <repo-relative-.ts-or-.tsx-path> --repo <exact-git-worktree-root> --symbol <top-level-identifier> --tsconfig <repo-relative-tsconfig> --max-bytes <integer>=512
+compiler:
+  language: TypeScript_TSX
+  version: 5.9.3
+  source: nearest_repo_contained_tsconfig_owner_package
+  program: fresh_complete_selected_config_without_project_references
+root:
+  selector: one_exact_top_level_Identifier
+  admitted: [function, class, interface, type_alias, single_declarator_variable_statement]
+  merged_overloaded_nested_member_namespace_enum_or_declaration_root: refused
+projection:
+  scope: selected_root_AST_only
+  relations: [static_value_binding, static_type_binding, static_constructor_binding, static_JSX_binding]
+  target: complete_nonempty_portable_declaration_set
+  target_source: optional_single_repository_declaration_syntactic_slice
+  runtime_dispatch: not_evaluated
+response:
+  format: nimicoding.code-context-response/v1
+  transport: one_compact_JSON_object_on_stdout_with_terminating_newline
+  stderr: empty_for_recognized_code_operations
+  statuses: [completed, partial, refused]
+  public_budget: complete_UTF-8_response_max_bytes
+  minimum_valid_max_bytes: 512
+  partial: deterministic_longest_atomic_prefix_with_first_missing_frontier
+boundaries:
+  writes_repository: false
+  persistent_index_or_cache: none
+  authority_association: not_claimed
+  source_location_or_inbound_impact: not_admitted
+  structural_advice: not_admitted
+  task_workflow_verification_or_completion: not_admitted
+  other_languages: not_admitted

package/spec/product-scope.yaml

@@ -1,18 +1,19 @@
-version: 7
+version: 11
 product:
   package_name: "@nimiplatform/nimi-coding"
-  mission: canonical_authority_methodology_formatter_compiler_primitives_and_deterministic_gates
+  mission: canonical_authority_products_bounded_read_only_code_context_and_explicit_code_authority_marker_lookup
 owned_surfaces:
   - compact_authority_authoring_methodology
   - exact_authority_guide_projection_and_managed_instruction_blocks
   - canonical_authority_format_and_complete_root_check
   - private_compile_bounded_filtered_lexical_discovery_with_field_snippets_optional_direct_authored_relation_preview_exact_query_and_declared_outgoing_context
+  - immutable_per_invocation_compiler_snapshots_with_transient_exact_indexes_and_change_derived_candidate_recall
   - semantic_diff_and_declared_review_impact
   - bounded_direct_references_exact_relation_paths_and_local_subgraphs
-  - project_bound_deterministic_authority_audit_and_SARIF_projection
+  - project_bound_deterministic_graph_and_exact_lexical_authority_audit_and_SARIF_projection
   - git_aware_exact_read_only_authority_change_review
-  - stable_current_worktree_authority_to_package_script_target_evidence
-  - optional_L3_repository_governance_not_authority_admission
+  - explicit_TypeScript_5_9_3_root_direct_bounded_code_context
+  - transient_exact_code_authority_marker_lookup_and_lifecycle_audit_for_tracked_current_TypeScript_TSX_and_Go_source
 canonical_boundary:
   host_product_authority: .nimi/spec/**/*.authority.{yaml,md}
   sole_conformance_gate: nimicoding_authority_check_complete_.nimi/spec
@@ -29,12 +30,17 @@ out_of_scope:
   - profile_specific_authority_validation
   - planning_task_lifecycle_delegation_execution_review_or_approval
   - host_workflow_command_aggregation
+  - external_probe_result_attestation_test_execution_or_proof_packet_aggregation
   - sqlite_cache_incremental_embedding_semantic_search_visualization_AI_execution_or_Atlas
+  - code_location_inbound_impact_structural_advice_other_semantic_languages_or_task_completeness
+  - annotation_coverage_ownership_conformance_inference_or_unannotated_legacy_detection
 claims:
   discovery: bounded_deterministic_exact_filtered_lexical_candidates_with_SourceMapped_field_snippets_and_optional_M1_direct_authored_relation_preview_not_semantic_search_selection_context_or_absence_proof
+  change_candidates: complete_union_of_caller_requested_exact_channels_with_raw_fields_modality_and_reasons_not_semantic_relevance_conflict_retirement_absence_or_conformance
   context: complete_declared_outgoing_interpretation_closure_not_complete_task_context
-  impact: declared_review_obligation_not_sync_or_completion_proof
+  impact: declared_relation_impact_and_host_follow_up_targets_not_workflow_state_sync_or_completion_proof
   graph: complete_bounded_explicit_relation_navigation_not_semantic_inference_or_raw_IR
-  audit: governance_bound_verifier_results_not_prose_predicate_inference_or_plugin_execution
-  review: immutable_base_OID_and_stable_worktree_exact_snapshots_composed_through_existing_compiler_diff_impact_and_current_audit_oracles
-  evidence: exact_identity_bound_package_script_target_reachability_and_external_supplied_observations_not_command_execution_test_success_runtime_reachability_or_conformance_attestation
+  audit: configured_graph_and_exact_case_sensitive_lexical_results_not_prose_predicate_inference_semantic_synonym_or_plugin_execution
+  review: immutable_base_OID_and_stable_worktree_exact_snapshots_composed_through_existing_compiler_diff_impact_and_current_audit_oracles_with_business_and_implementation_status_not_evaluated
+  code_context: complete_selected_TypeScript_Program_root_direct_static_outbound_projection_with_output_budget_and_explicit_frontier_not_location_impact_runtime_dispatch_or_task_context
+  code_authority: complete_transient_scan_of_selected_tracked_current_source_scope_for_exact_authored_markers_and_current_canonical_lifecycle_not_attachment_ownership_conformance_or_unannotated_semantics

package/cli/commands/validate-ai-governance.mjs

@@ -1,335 +0,0 @@
-import { localize } from "../lib/ui.mjs";
-import { loadGovernanceConfig, requireProfile } from "../lib/internal/governance/config.mjs";
-import { evaluateAiContextBudget, formatBytes } from "../lib/internal/governance/ai/ai-context-budget-core.mjs";
-import { evaluateAiStructureBudget } from "../lib/internal/governance/ai/ai-structure-budget-core.mjs";
-import { evaluateHighRiskDocMetadata } from "../lib/internal/governance/ai/check-high-risk-doc-metadata-core.mjs";
-import {
-  evaluateAgentsFreshnessCheck,
-  runAgentsFreshnessCheck,
-} from "../lib/internal/governance/ai/check-agents-freshness.mjs";
-
-const SCOPES = new Set([
-  "agents-freshness",
-  "context-budget",
-  "structure-budget",
-  "high-risk-doc-metadata",
-]);
-
-function parseOptions(args) {
-  const options = {
-    profile: null,
-    scope: "all",
-    json: false,
-  };
-
-  for (let index = 0; index < args.length; index += 1) {
-    const arg = args[index];
-
-    if (arg === "--profile") {
-      const value = args[index + 1];
-      if (!value || value.startsWith("--")) {
-        return { ok: false, error: "nimicoding validate-ai-governance refused: --profile requires a value.\n" };
-      }
-      options.profile = value;
-      index += 1;
-      continue;
-    }
-
-    if (arg === "--scope") {
-      const value = args[index + 1];
-      if (!value || value.startsWith("--")) {
-        return { ok: false, error: "nimicoding validate-ai-governance refused: --scope requires a value.\n" };
-      }
-      options.scope = value;
-      index += 1;
-      continue;
-    }
-
-    if (arg === "--json") {
-      options.json = true;
-      continue;
-    }
-
-    return {
-      ok: false,
-      error: `nimicoding validate-ai-governance refused: unknown option ${arg}.\n`,
-    };
-  }
-
-  if (options.scope !== "all" && !SCOPES.has(options.scope)) {
-    return {
-      ok: false,
-      error: `nimicoding validate-ai-governance refused: unsupported --scope value ${options.scope}.\n`,
-    };
-  }
-
-  return { ok: true, options };
-}
-
-function writeJson(payload) {
-  process.stdout.write(`${JSON.stringify(payload, null, 2)}\n`);
-}
-
-function buildContextBudgetReport(governanceConfig) {
-  const report = evaluateAiContextBudget({
-    cwd: process.cwd(),
-    config: governanceConfig.aiGovernance.contextBudget,
-    configPathLabel: ".nimi/config/governance.yaml#ai_governance.context_budget",
-  });
-  const exitCode = report.invalidWaivers.length > 0 || report.expiredWaivers.length > 0 || report.errors.length > 0
-    ? 1
-    : 0;
-  return { exitCode, report };
-}
-
-function buildStructureBudgetReport(governanceConfig) {
-  const report = evaluateAiStructureBudget({
-    cwd: process.cwd(),
-    config: governanceConfig.aiGovernance.structureBudget,
-    configPathLabel: ".nimi/config/governance.yaml#ai_governance.structure_budget",
-  });
-  const exitCode = report.errors.length > 0 || report.expiredWaivers.length > 0 ? 1 : 0;
-  return { exitCode, report };
-}
-
-function buildHighRiskDocMetadataReport(governanceConfig) {
-  const config = governanceConfig.aiGovernance.highRiskDocMetadata;
-  const report = evaluateHighRiskDocMetadata({
-    repoRoot: process.cwd(),
-    docRoots: Array.isArray(config.doc_roots) ? config.doc_roots : [".local"],
-    exemptPaths: Array.isArray(config.exempt_paths) ? config.exempt_paths : [],
-    namePatterns: Array.isArray(config.name_patterns) ? config.name_patterns : [],
-    requiredMetadataKeys: Array.isArray(config.required_metadata_keys)
-      ? config.required_metadata_keys
-      : [],
-  });
-  return {
-    exitCode: report.failures.length > 0 ? 1 : 0,
-    report: {
-      ...report,
-      exemptPaths: [...report.exemptPaths],
-    },
-  };
-}
-
-function buildAgentsFreshnessReport(governanceConfig) {
-  const report = evaluateAgentsFreshnessCheck({
-    projectRoot: process.cwd(),
-    config: governanceConfig.aiGovernance.agentsFreshness,
-  });
-  return {
-    exitCode: report.failures.length > 0 ? 1 : 0,
-    report,
-  };
-}
-
-function formatStructureRow(row) {
-  if (row.check === "depth") {
-    return `${row.file} [rule=${row.ruleId}] depth=${row.depth} base=${row.depthBase} subject=${row.depthSubject} (threshold warn>=${row.warningDepth} error>=${row.errorDepth})`;
-  }
-  return `${row.file} [rule=${row.ruleId}] basename=${row.basename} (forwarding shell outside allowed basename set)`;
-}
-
-function formatContextBudgetRow(row, thresholdPrefix) {
-  return `${row.file} [${row.profile}] lines=${row.lines} bytes=${formatBytes(row.bytes)} max-line=${formatBytes(row.maxLineBytes)} avg-line=${formatBytes(Math.round(row.averageLineBytes))} `
-    + `(${thresholdPrefix} lines>=${row[`${thresholdPrefix}Lines`] ?? "-"} bytes>=${row[`${thresholdPrefix}Bytes`] ?? "-"} max-line>=${row[`${thresholdPrefix}MaxLineBytes`] ?? "-"} avg-line>=${row[`${thresholdPrefix}AverageLineBytes`] ?? "-"})`;
-}
-
-async function runContextBudget(governanceConfig) {
-  const { exitCode, report } = buildContextBudgetReport(governanceConfig);
-
-  process.stdout.write(`ai-context-budget: config=${report.configPath}\n`);
-  process.stdout.write(`ai-context-budget: tracked=${report.totalTrackedFiles}, analyzed=${report.analyzedFiles}\n`);
-
-  for (const row of report.warnings) {
-    process.stderr.write(`WARN: ${formatContextBudgetRow(row, "warning")}\n`);
-  }
-  for (const row of report.waivedErrors) {
-    const until = row.waiver?.until ? row.waiver.until.toISOString().slice(0, 10) : "n/a";
-    const reason = row.waiver?.reason || "no reason";
-    process.stderr.write(`WARN: WAIVED error for ${formatContextBudgetRow(row, "error")} until=${until} reason=${reason}\n`);
-  }
-  for (const row of report.expiredWaivers) {
-    process.stderr.write(`ERROR: waiver expired for ${formatContextBudgetRow(row, "error")}\n`);
-  }
-  for (const row of report.invalidWaivers) {
-    process.stderr.write(`ERROR: invalid waiver for ${row.file}: ${row.detail}\n`);
-  }
-  for (const row of report.errors) {
-    process.stderr.write(`ERROR: ${formatContextBudgetRow(row, "error")}\n`);
-  }
-
-  if (exitCode !== 0) {
-    return exitCode;
-  }
-
-  process.stdout.write("ai-context-budget: OK\n");
-  return 0;
-}
-
-async function runStructureBudget(governanceConfig) {
-  const { exitCode, report } = buildStructureBudgetReport(governanceConfig);
-
-  process.stdout.write(`ai-structure-budget: config=${report.configPath}\n`);
-  process.stdout.write(`ai-structure-budget: tracked=${report.totalTrackedFiles}, analyzed=${report.analyzedFiles}\n`);
-  for (const row of report.warnings) {
-    process.stderr.write(`WARN: ${formatStructureRow(row)}\n`);
-  }
-  for (const row of report.waivedErrors) {
-    const until = row.waiver?.untilDate ? row.waiver.untilDate.toISOString().slice(0, 10) : "n/a";
-    const reason = row.waiver?.reason || "no reason";
-    process.stderr.write(`WARN: WAIVED error for ${formatStructureRow(row)} until=${until} reason=${reason}\n`);
-  }
-  for (const row of report.expiredWaivers) {
-    process.stderr.write(`ERROR: expired waiver for ${formatStructureRow(row)}\n`);
-  }
-  for (const row of report.errors) {
-    process.stderr.write(`ERROR: ${formatStructureRow(row)}\n`);
-  }
-  if (exitCode !== 0) {
-    return exitCode;
-  }
-
-  process.stdout.write("ai-structure-budget: OK\n");
-  return 0;
-}
-
-async function runHighRiskDocMetadata(governanceConfig) {
-  const { exitCode, report } = buildHighRiskDocMetadataReport(governanceConfig);
-
-  if (exitCode !== 0) {
-    process.stderr.write("high-risk doc metadata check failed:\n");
-    for (const failure of report.failures) {
-      process.stderr.write(`- ${failure}\n`);
-    }
-    return exitCode;
-  }
-
-  process.stdout.write(`high-risk doc metadata check passed (${report.scanned.length} file(s) scanned)\n`);
-  return 0;
-}
-
-function runJsonScope(governanceConfig, scope) {
-  if (scope === "agents-freshness") {
-    return buildAgentsFreshnessReport(governanceConfig);
-  }
-  if (scope === "context-budget") {
-    return buildContextBudgetReport(governanceConfig);
-  }
-  if (scope === "structure-budget") {
-    return buildStructureBudgetReport(governanceConfig);
-  }
-  if (scope === "high-risk-doc-metadata") {
-    return buildHighRiskDocMetadataReport(governanceConfig);
-  }
-  return {
-    exitCode: 2,
-    report: { error: `unsupported scope: ${scope}` },
-  };
-}
-
-export async function runValidateAiGovernance(args) {
-  const wantsJson = args.includes("--json");
-  const parsed = parseOptions(args);
-  if (!parsed.ok) {
-    if (wantsJson) {
-      writeJson({
-        ok: false,
-        command: "validate-ai-governance",
-        error: parsed.error.trim(),
-      });
-    } else {
-      process.stderr.write(localize(parsed.error, parsed.error));
-    }
-    return 2;
-  }
-
-  const governance = await loadGovernanceConfig(process.cwd());
-  if (!governance.ok) {
-    const error = `nimicoding validate-ai-governance refused: ${governance.reason} at ${governance.path}.`;
-    if (parsed.options.json) {
-      writeJson({
-        ok: false,
-        command: "validate-ai-governance",
-        error,
-        governancePath: governance.path,
-      });
-    } else {
-      process.stderr.write(localize(
-        `${error}\n`,
-        `nimicoding validate-ai-governance 已拒绝：${governance.path} 的治理配置不可用。\n`,
-      ));
-    }
-    return 2;
-  }
-
-  const profileCheck = requireProfile(governance.config, parsed.options.profile);
-  if (!profileCheck.ok) {
-    const error = `nimicoding validate-ai-governance refused: ${profileCheck.error}.`;
-    if (parsed.options.json) {
-      writeJson({
-        ok: false,
-        command: "validate-ai-governance",
-        error,
-        profile: profileCheck.profile,
-      });
-    } else {
-      process.stderr.write(localize(
-        `${error}\n`,
-        `nimicoding validate-ai-governance 已拒绝：${profileCheck.error}。\n`,
-      ));
-    }
-    return 2;
-  }
-
-  const scopes = parsed.options.scope === "all"
-    ? ["agents-freshness", "context-budget", "structure-budget", "high-risk-doc-metadata"]
-    : [parsed.options.scope];
-
-  if (parsed.options.json) {
-    const results = [];
-    let exitCode = 0;
-    for (const scope of scopes) {
-      const result = runJsonScope(governance.config, scope);
-      if (exitCode === 0 && result.exitCode !== 0) {
-        exitCode = result.exitCode;
-      }
-      results.push({
-        scope,
-        ok: result.exitCode === 0,
-        exitCode: result.exitCode,
-        report: result.report,
-      });
-    }
-    writeJson({
-      ok: exitCode === 0,
-      command: "validate-ai-governance",
-      profile: profileCheck.profile,
-      scope: parsed.options.scope,
-      scopes: results,
-    });
-    return exitCode;
-  }
-
-  for (const scope of scopes) {
-    let exitCode = 0;
-    if (scope === "agents-freshness") {
-      exitCode = runAgentsFreshnessCheck({
-        projectRoot: process.cwd(),
-        config: governance.config.aiGovernance.agentsFreshness,
-      });
-    } else if (scope === "context-budget") {
-      exitCode = await runContextBudget(governance.config);
-    } else if (scope === "structure-budget") {
-      exitCode = await runStructureBudget(governance.config);
-    } else if (scope === "high-risk-doc-metadata") {
-      exitCode = await runHighRiskDocMetadata(governance.config);
-    }
-
-    if (exitCode !== 0) {
-      return exitCode;
-    }
-  }
-
-  return 0;
-}

package/cli/lib/authority/evidence-snapshot.mjs

@@ -1 +0,0 @@
-export { withGitEvidenceSnapshot } from "./git-snapshot.mjs";