@nimiplatform/nimi-coding 0.4.0 → 0.5.0

package/spec/authority-review.yaml

@@ -1,10 +1,10 @@
-version: 1
+version: 2
 spec:
-  id: nimicoding.authority-review.v1
+  id: nimicoding.authority-review.v2
   owner: nimi-coding
   status: active
-product_claim: one_explicit_Git_base_commit_and_one_stable_current_worktree_produce_an_exact_read_only_change_review_over_complete_canonical_snapshots
-command: nimicoding authority review <repository-path> --base <git-ref> --bindings <file> --dispositions <file> --max-units <positive-safe-integer> --max-edges <positive-safe-integer> --max-bytes <positive-safe-integer> [--json]
+product_claim: one_explicit_Git_base_commit_and_one_stable_current_worktree_produce_exact_read_only_authority_analysis_with_narrow_component_statuses
+command: nimicoding authority review <repository-path> --base <git-ref> --bindings <file> --max-units <positive-safe-integer> --max-edges <positive-safe-integer> --max-bytes <positive-safe-integer> [--json]
 capture:
   repository: exact_non_bare_Git_worktree_root
   base_ref:
@@ -14,76 +14,58 @@ capture:
   base_authority:
     source: Git_object_database
     root: .nimi/spec_tree_required
-    inventory: all_nested_tree_and_leaf_entries_without_suffix_filtering
     admitted_entry_types: [tree, regular_blob_100644_or_100755]
-    refused: [symlink_blob, gitlink, unknown_mode_or_type, invalid_UTF-8_path, path_escape, duplicate_path, missing_object]
   worktree_authority:
     source: complete_live_filesystem_inventory_under_.nimi/spec
     includes: [tracked_unchanged, tracked_modification, tracked_deletion, untracked_or_ignored_file, unsupported_regular_file]
     refused: [missing_root, symlink, non_regular_entry, invalid_UTF-8_path, path_escape]
-    stability: retain_exact_directory_and_file_handles_while_capturing_paths_types_bytes_and_metadata_then_recapture_complete_live_inventory_and_revalidate_all_held_handles_at_capture_commit
     race: any_path_type_byte_or_stability_metadata_change_refuses_the_whole_capture
   materialization:
     location: independent_0700_temporary_directory
-    isolation: physical_temporary_root_must_be_outside_worktree_and_Git_administration_roots_before_any_directory_is_created_and_is_rechecked_after_creation
-    validation: readback_paths_types_and_bytes_must_match_capture
     cleanup: required_after_success_or_failure
-  Git_mutation: [checkout, stash, reset, stage, commit, branch_update, worktree_update, index_update]
-  Git_mutation_posture: forbidden
+  Git_mutation: forbidden
 snapshot_identity:
   format: sha256_colon_lowercase_hex
   domain: nimicoding.authority-snapshot-content/v1
   inputs: sorted_repository_relative_regular_file_paths_entry_type_exact_byte_length_and_bytes
-  excludes: [base_ref_name, commit_OID, executable_bit, permissions, mtime, ctime, inode, absolute_path, temporary_path, traversal_order]
-  result:
-    base: [commitOid, contentIdentity, file_count, unit_count, byte_count]
-    worktree: [contentIdentity, file_count, unit_count, byte_count]
 oracles:
-  admission_and_counts: compileAuthorityPath_on_each_materialized_snapshot
-  semantic_delta: diffAuthorityPaths
-  declared_impact: impactAuthorityPaths
-  current_governance: auditAuthorityPath_on_worktree_snapshot_only
-  copied_Git_parser_IR_graph_diff_or_detector: forbidden
+  admission_and_counts: exactly_one_compileAuthorityPath_call_per_materialized_side
+  immutable_read_model: createCompiledAuthoritySnapshot_with_by_ID_owner_scope_container_and_incoming_outgoing_indexes
+  semantic_delta: diffAuthoritySnapshots_on_the_two_admitted_read_models
+  declared_impact: impactAuthorityDiff_on_the_single_computed_semantic_diff
+  configured_audit: auditAuthoritySnapshot_on_the_admitted_worktree_read_model_only
+  component_recompile_or_persistent_cache: forbidden
 product:
-  format: nimicoding.authority-review/v1
-  top_level_fields: [format, operationStatus, policyStatus, complete, partial, snapshots, components, diff, impact, audit, budgets]
+  format: nimicoding.authority-review/v2
+  top_level_fields: [format, operationStatus, analysisComplete, partial, businessSemanticStatus, implementationConformanceStatus, snapshots, components, diff, impact, audit, budgets]
   operationStatus: completed
-  policyStatus:
-    blocked: current_audit_has_a_blocking_finding
-    indeterminate: no_blocking_finding_and_impact_or_audit_coverage_is_incomplete
-    passed: review_is_complete_and_current_audit_policy_passed
-  complete: impact_complete_and_audit_complete_independent_of_blocking_policy
+  analysisComplete: snapshot_capture_corpus_admission_diff_impact_and_configured_audit_all_finished
   partial: false
-  components: [snapshots, diff, impact, audit]
-  component_fields: [operationStatus, complete]
-  logical_products:
-    diff: nimicoding.authority-diff/v1
-    impact: nimicoding.authority-impact/v1
-    audit: nimicoding.authority-audit/v1
-  audit_claim: current_snapshot_only_without_before_after_finding_attribution
+  businessSemanticStatus: not_evaluated
+  implementationConformanceStatus: not_evaluated
+  components:
+    snapshotCapture: {fields: [status], status: captured}
+    corpusAdmission: {fields: [status], status: admitted}
+    semanticDiff: {fields: [status], status: computed}
+    declaredImpact: {fields: [status], status: computed}
+    configuredAudit: {fields: [status, blockingStatus], status: evaluated, blockingStatus: [clear, blocked]}
+  no_generic_policy_pass_or_conformance_status: true
 budgets:
   required: [maxUnits, maxEdges, maxBytes]
   values: positive_safe_integers
-  units_and_edges: existing_audit_proof_traversal_semantics
   component_bytes: same_explicit_maxBytes_passed_to_diff_impact_and_audit
   review_bytes: UTF-8_bytes_of_compact_JSON.stringify_complete_review
   overflow: AUTH_REVIEW_BUDGET_or_existing_component_budget_with_review_null_and_partial_false
 outcomes:
-  completed_passed: review_present_complete_true_policy_passed_exit_0
-  completed_blocked: review_present_policy_blocked_exit_1
-  completed_incomplete: review_present_complete_false_exit_1
-  refused: invalid_Git_corpus_binding_disposition_capture_transition_or_budget_returns_review_null_partial_false_exit_1
+  completed_clear: review_present_analysisComplete_true_configured_audit_clear_exit_0
+  completed_blocked: review_present_analysisComplete_true_configured_audit_blocked_exit_1
+  refused: invalid_Git_corpus_binding_capture_transition_or_budget_returns_review_null_partial_false_exit_1
   usage_error: missing_repeated_or_invalid_CLI_argument_exit_2_without_review_product
   failed: uncaught_IO_resource_or_internal_failure_exit_2_without_review_product
-  unresolved_impact: only_AUTH_IMPACT_UNDISPOSED_preserves_complete_logical_review_with_complete_false
-  invalid_disposition: any_AUTH_IMPACT_DISPOSITION_INVALID_refuses_whole_review
-  required_audit_gap: preserves_complete_logical_review_with_complete_false
-  blocking_finding: preserves_complete_logical_review_without_claiming_finding_was_introduced_by_change
 boundaries:
   writes_authority_or_project_files: false
-  durable_cache_database_history_or_receipt: none
-  SARIF_review_aggregation: none
-  heuristic_rename_split_merge_semantics: forbidden
-  PR_branch_policy_approval_comment_commit_release_or_task_orchestration: not_owned
+  durable_cache_database_history_receipt_or_external_result: none
+  impact_disposition_or_host_completion_state: not_accepted
   arbitrary_shell_plugin_test_model_embedding_or_semantic_search_execution: forbidden
+  business_semantic_and_implementation_conformance: explicitly_not_evaluated
   public_AuthorityIR_or_SourceMap_export: none

package/spec/authority-terms.yaml

@@ -26,7 +26,11 @@ inputs:
     required_for_code: true
     admission: must_be_one_exact_term_the_closed_lexical_grammar_admits
 lexical_grammar:
-  classes: [snake_case, camelCase, UPPER_SNAKE, PascalCase, dotted]
+  classes: [snake_case, camelCase, UPPER_SNAKE, ALL_CAPS, PascalCase, dotted]
+  all_caps_shape: '[A-Z]{2,}'
+  all_caps_semantics: lexical_shape_only_without_acronym_or_product_identity_inference
+  acronym_leading_pascal_shape: '[A-Z]{2,}[a-z][a-z0-9]*([A-Z][a-z0-9]*)*'
+  ordinary_title_words: excluded_unless_they_match_the_existing_multi_segment_PascalCase_shape
   boundaries: ASCII_identifier_boundaries_required
   excluded: terms_inside_longer_path_like_tokens_containing_a_slash
   dotted_exclusion: final_segments_that_are_known_code_extensions

package/spec/product-scope.yaml

@@ -1,4 +1,4 @@
-version: 7
+version: 9
 product:
   package_name: "@nimiplatform/nimi-coding"
   mission: canonical_authority_methodology_formatter_compiler_primitives_and_deterministic_gates
@@ -7,11 +7,11 @@ owned_surfaces:
   - 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
 canonical_boundary:
   host_product_authority: .nimi/spec/**/*.authority.{yaml,md}
@@ -29,12 +29,13 @@ 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
 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

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

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