@nimiplatform/nimi-coding 0.4.0 → 0.6.0

package/spec/authority-audit.yaml

@@ -1,85 +1,89 @@
-version: 1
+version: 2
 spec:
-  id: nimicoding.authority-audit.v1
+  id: nimicoding.authority-audit.v2
   owner: nimi-coding
   status: active
-product_claim: complete_admitted_snapshot_and_explicit_project_binding_produce_deterministic_governance_bound_observations_findings_and_gaps
+product_claim: complete_admitted_authority_and_one_explicit_closed_binding_list_produce_only_deterministic_violation_findings_and_narrow_counts
+command: nimicoding authority audit <path> --bindings <file> --max-units <positive-safe-integer> --max-edges <positive-safe-integer> --max-bytes <positive-safe-integer> [--json|--sarif]
+surface:
+  report_format: nimicoding.authority-audit/v2
+  corpus_root: complete_input_authority_corpus
+  boolean_flags: [json, sarif]
+  value_flags: [bindings]
+  integer_flags: [max-units, max-edges, max-bytes]
+  repeatable_flags: []
+  blocking_findings_change_exit_code: true
+  advisory_findings_change_exit_code: false
 runtime:
   function: auditAuthorityPath(authorityPath_bindingsPath_budgets)
   source: one_complete_package_private_AuthorityIR_SourceMap_and_one_closed_binding_document
 binding:
-  format: nimicoding.authority-verifier-bindings/v1
+  format: nimicoding.authority-verifier-bindings/v2
   authority: package://@nimiplatform/nimi-coding/contracts/authority-verifier-bindings.schema.yaml
-  top_level_fields: [format, required_bindings, bindings]
-  required_bindings: non_empty_so_an_accidentally_emptied_CI_policy_is_refused
-  binding_fields: [id, detector, premise, targets, minimum, policy]
-  missing_required_binding: completed_gap
-  malformed_unknown_detector_or_invalid_authority_ref: refused_with_null_audit
-  tracked_project_governance: required_before_portable_blocking_adoption_but_not_inferred_or_verified_by_runtime
-detector:
-  id: minimum-independent-incoming-reference/v1
-  premise: exact_active_rule_selected_by_binding
-  targets: non_empty_unique_exact_active_definitions_selected_by_binding
-  attachment: premise_must_have_direct_applies_to_each_target
-  measurement: distinct_other_active_rule_sources_with_direct_applies_to_target
-  minimum: positive_safe_integer_from_binding
-  prose_ID_pattern_owner_scope_inference: forbidden
-  project_semantics: owner_admitted_governance_verifier_not_package_universal_invariant
+  top_level_fields: [format, bindings]
+  bindings: non_empty
+  binding_ID: unique_exact_dotted_lowercase_identifier
+  unknown_detector_extra_field_invalid_authority_ref_or_empty_list: refused_with_null_audit
+detectors:
+  minimum-independent-incoming-reference/v1:
+    binding_fields: [id, detector, premise, targets, minimum, policy]
+    premise: exact_active_rule_selected_by_binding
+    targets: non_empty_unique_exact_active_definitions_selected_by_binding
+    attachment: premise_must_have_direct_applies_to_each_target
+    measurement: distinct_other_active_rule_sources_with_direct_applies_to_target
+    minimum: positive_safe_integer_from_binding
+  exact-lexical-invariant/v1:
+    binding_fields: [id, detector, term, match, expectation, policy]
+    corpus: complete_active_authority
+    fields: [meaning, statement, condition, failure]
+    case: sensitive
+    match:
+      token: exact_literal_with_boundaries_outside_Unicode_letter_number_underscore_dot_or_hyphen
+      phrase: exact_non_overlapping_code_point_substring
+    expectation: [present, absent]
+    no_synonym_stemming_embedding_normalization_or_diff_derived_policy: true
 result:
-  format: nimicoding.authority-audit/v1
-  top_level_fields: [format, operationStatus, policyStatus, complete, observations, findings, gaps, counts, budgets]
-  operation_status: [completed]
-  policy_status:
+  format: nimicoding.authority-audit/v2
+  top_level_fields: [format, operationStatus, blockingStatus, findings, counts, budgets]
+  operationStatus: completed
+  blockingStatus:
     blocked: at_least_one_blocking_finding
-    indeterminate: no_blocking_finding_and_at_least_one_required_binding_gap
-    passed: no_blocking_finding_or_gap
-  complete: false_only_when_required_binding_gap_exists
+    clear: no_blocking_finding_advisory_findings_may_still_exist
   common_item_fields: [code, fingerprint, detector, binding, premise, basis, message, policy, authorityRefs, primaryLocation, relatedLocations, witness]
   location_fields: [file, range, sourcePointer]
   related_location_fields: [role, location]
-  basis:
-    governance_bound: configured_detector_observation_or_finding
-    required_coverage: required_binding_declaration_without_configured_detector_execution
-  required_binding_gap_fields:
-    detector: null
-    premise: null
-    basis: required_coverage
-    policy: required
-  observation: exactly_one_governance_bound_structural_observation_per_evaluated_binding
+  basis: configured
+  positive_binding_records_or_pass_witnesses: forbidden
   findings:
     - premise_target_direct_attachment_missing
     - minimum_independent_incoming_reference_not_met
-  finding_additional_fields: [target]
+    - exact_lexical_expectation_violation
   ordering:
-    observations: binding_ID
-    findings: [binding_ID, target_ID, code]
-    gaps: binding_ID
+    findings: [binding_ID, target_ID_when_present, code]
   fingerprint:
     algorithm: SHA-256_with_sha256_colon_prefix
-    inputs: [fingerprint_format, code, detector_when_present, binding_ID, premise_ID_when_present, target_ID_when_present, minimum_when_present]
-    excluded: [file, range, sourcePointer, policy, message, corpus_digest, run_identity]
+    excludes: [file, range, sourcePointer, policy, message, corpus_digest, run_identity]
   counts:
     fields: [bindings, returned, traversal]
-    binding_fields: [required, configured, evaluated]
-    returned_fields: [observations, findings, gaps]
+    binding_fields: [configured, evaluated]
+    returned_fields: [findings]
     traversal_fields: [units, edges]
 budgets:
   required: [maxUnits, maxEdges, maxBytes]
   values: positive_safe_integers
-  units_and_edges: complete_distinct_inspected_set_including_all_premise_outgoing_and_target_incoming_candidates_before_eligibility_filtering
+  units: distinct_units_inspected_by_all_configured_detectors
+  edges: distinct_authored_edges_inspected_by_graph_detectors
   bytes: UTF-8_bytes_of_compact_JSON.stringify_audit
   overflow: AUTH_AUDIT_BUDGET_with_null_audit_and_partial_false
 outcomes:
-  completed: audit_present_even_when_blocked_or_gap_exists
-  refused: invalid_corpus_binding_authority_reference_or_budget_with_null_audit
+  clear: audit_present_blockingStatus_clear_exit_0
+  blocked: audit_present_blockingStatus_blocked_exit_1
+  refused: invalid_corpus_binding_authority_reference_or_budget_with_null_audit_exit_1
   partial: forbidden
 boundaries:
   writes_authority: false
   binding_is_canonical_product_authority: false
-  canonical_rule_ref_proves_predicate_equivalence: false
-  detector_plugin_DSL_exception_filter_or_dynamic_execution: forbidden
-  Git_tracking_CI_SARIF_UI_AI_host_or_remediation: not_owned_by_runtime
+  natural_language_contradiction_or_business_completeness: not_evaluated
+  detector_plugin_DSL_exception_filter_external_result_or_dynamic_execution: forbidden
+  blocking_policy_inference_from_diff: forbidden
   public_JS_exports: none
-summary:
-  result_unitCount: full_compiled_corpus_units
-  proof_traversal_counts: audit.counts.traversal

package/spec/authority-authoring.yaml

@@ -41,11 +41,6 @@ fields:
   unit_common_resolved_from_container_or_unit: [owner, lifecycle, relations]
   markdown_frontmatter_also_requires: [format]
   format: nimicoding.authority/v2
-  migration_inputs:
-    format: nimicoding.authority/v1
-    admitted_by: [fmt --upgrade, check, compile, diff, impact]
-    rationale: history_snapshots_and_migration_inputs_are_read_not_authored
-    compatibility_authoring_surface: none
   identifier: dot_separated_lowercase_segments_start_and_end_alphanumeric
   kinds: [rule, definition]
   lifecycles: [active, removed]
@@ -80,24 +75,15 @@ relations:
   semantic_failures: [unknown_type, duplicate_edge, self_edge, dangling_target, type_mismatch, cardinality, cycle]
 commands:
   fmt:
-    syntax: nimicoding authority fmt <file> [--check] [--upgrade] [--json]
+    syntax: nimicoding authority fmt <file> [--check] [--json]
     semantic_status: not_evaluated
     writes: one_source_file_atomically_unless_check
     structural_discriminants: [format, kind, lifecycle]
     invention: forbidden
-    upgrade:
-      admits: nimicoding.authority/v1
-      emits: nimicoding.authority/v2
-      lifting: uniform_container_owner_and_single_valued_scope_plus_omission_of_defaulted_unit_fields
-      semantic_change: none_the_compiled_IR_is_identical_before_and_after
   check:
-    syntax: nimicoding authority check <path> [--scope-bindings <file>] [--require-format <format>] [--json]
+    syntax: nimicoding authority check <path> [--scope-bindings <file>] [--json]
     writes: none
     no_scope_bindings_flag: exact_existing_check_behavior
-    require_format:
-      admitted_values: [nimicoding.authority/v2, nimicoding.authority/v1]
-      enforcement: every_container_must_declare_the_exact_requested_format
-      default: absent_preserves_history_and_migration_compatibility
     scope_bindings:
       format: nimicoding.scope-bindings/v1
       document: closed_mapping_with_exact_format_and_non_empty_scopes_sequence
@@ -113,6 +99,7 @@ commands:
   compile:
     syntax: nimicoding authority compile <path> [--json]
     writes: none
+    source_format: exact_nimicoding.authority/v2_only
     ir_visibility: package_private
     public_json: operation_counts_and_diagnostics_only
   anchors:

package/spec/authority-change-candidates.yaml

@@ -0,0 +1,146 @@
+version: 1
+spec:
+  id: nimicoding.authority-change-candidates.v1
+  owner: nimi-coding
+  status: active
+product_claim: complete_deterministic_change_derived_recall_of_current_active_non_root_authority_candidates_over_caller_requested_explicit_exact_channels
+source:
+  before: one_complete_independently_admitted_package_private_AuthorityIR_and_SourceMap
+  after: one_complete_independently_admitted_package_private_AuthorityIR_and_SourceMap
+  changes: complete_semantic_diff_between_the_two_admitted_inputs
+command:
+  syntax: nimicoding authority change-candidates <before-path> <after-path> --channels <comma-separated-closed-set> --max-candidates <positive-safe-integer> --max-reasons <positive-safe-integer> --max-bytes <positive-safe-integer> [--json]
+channel_selection:
+  required: one_non_empty_array
+  admitted: [owner, scope, changed_term, direct_relation, definition_identity, definition_title]
+  unknown_duplicate_non_string_or_empty: AUTH_CHANGE_CANDIDATES_CHANNELS_with_null_product
+  input_order: non_semantic
+  output_order: canonical_admitted_channel_order
+  completeness_scope: exact_union_of_requested_channels_only
+  unrequested_channels: not_evaluated_and_do_not_recall_or_emit_reasons
+roots:
+  selection: every_exact_unit_ID_named_by_at_least_one_complete_semantic_diff_change
+  included_operations: [unit_added, modified, added, removed]
+  metadata_only_changes: included_because_owner_and_title_rename_context_are_product_relevant_recall_inputs
+  formatting_profile_file_move_container_regroup_and_source_order_only_change: no_root
+  root_record_fields: [id, changes, before, after]
+  change_fields: [operation, pointer]
+  side_fields: [kind, owner, lifecycle, title, location]
+  absent_side: explicit_null
+candidate_universe:
+  source: after_only
+  lifecycle: active_only
+  roots: excluded
+  removed_tombstones: excluded
+  admission: at_least_one_exact_recall_reason_from_one_declared_channel
+  ordering: lexical_unit_ID
+recall_channels:
+  owner:
+    match: exact_owner_equality_between_candidate_and_each_before_or_after_root
+    reason_witness: exact_raw_owner_and_both_SourceMap_locations
+  scope:
+    match: exact_scope_membership_shared_by_an_active_rule_candidate_and_each_before_or_after_active_rule_root
+    reason_witness: exact_raw_scope_and_both_SourceMap_locations
+  changed_term:
+    root_fields: [title, meaning, statement, condition, failure]
+    root_values: only_normalized_terms_present_on_one_changed_field_side_and_absent_from_the_other_side_plus_every_after_term_of_a_unit_added_root
+    candidate_fields: [title, meaning, statement, condition, failure]
+    normalization: [Unicode_NFKC, split_camelCase_boundary, deterministic_lowercase, Unicode_Letter_or_Number_runs, deduplicate_terms]
+    match: one_or_more_exact_normalized_terms_shared_by_one_changed_root_field_and_one_candidate_field
+    excluded: [unchanged_root_text, owner, scope, lifecycle, relations, removal_reason, fuzzy_matching, stopwords, synonyms, translation, embedding, model_inference]
+    unchanged_terms_within_a_changed_field: excluded
+    reason_witness: complete_shared_changed_term_set_plus_both_raw_fields_and_both_SourceMap_locations
+  direct_relation:
+    source: complete_before_and_after_authored_applies_to_or_supersedes_edges
+    match: candidate_is_the_exact_source_or_target_endpoint_of_an_edge_incident_to_a_root
+    direction: incoming_or_outgoing_relative_to_the_root_while_preserving_authored_source_and_target
+    reason_witness: complete_authored_edge_with_source_relation_target_locations_plus_root_and_candidate_ID_locations
+  definition_identity:
+    anchors:
+      - a_definition_root_on_the_same_side
+      - an_exact_definition_target_of_a_relation_authored_by_a_root_on_the_same_side
+    match:
+      - candidate_authors_a_relation_to_the_exact_same_definition_ID
+      - candidate_raw_text_contains_the_exact_NFKC_definition_ID_with_identifier_token_boundaries
+    reason_witness: exact_definition_ID_title_and_locations_root_reference_and_candidate_field_or_relation
+  definition_title:
+    anchors: same_as_definition_identity
+    match: candidate_raw_text_contains_the_complete_exact_NFKC_case_sensitive_definition_title_with_Unicode_Letter_Number_boundaries
+    excluded: [partial_title, case_fold, fuzzy_phrase, synonym, translation]
+    reason_witness: exact_definition_ID_title_and_locations_root_reference_and_candidate_raw_field
+composition:
+  selection: set_union_of_every_candidate_admitted_by_any_requested_channel_on_either_side
+  reasons: every_unique_exact_requested_channel_side_root_and_witness_tuple
+  duplicate_candidates_and_reasons: suppressed
+  ranking_top_k_stopwords_frequency_cutoff_or_heuristic_reduction: forbidden
+  zero_candidates: successful_complete_empty_union
+  semantic_judgment: none
+candidate:
+  fields: [id, kind, owner, lifecycle, title, modality, scope, rawFields, relations, primaryIdLocation, reasons]
+  modality: exact_must_or_must_not_for_rules_and_explicit_null_for_definitions
+  scope: exact_after_scope_for_rules_and_empty_for_definitions
+  raw_fields: [meaning, statement, condition, failure]
+  absent_raw_fields: explicit_null
+  relations: complete_after_authored_relation_records
+  reason_fields: [channel, side, rootId, witness]
+  reason_channels: [owner, scope, changed_term, direct_relation, definition_identity, definition_title]
+  side: before_or_after
+  locations:
+    fields: [file, range, sourcePointer]
+    paths: relative_to_the_corresponding_input_root_when_inside_it
+payload:
+  format: nimicoding.authority-change-candidates/v1
+  fields: [format, complete, requestedChannels, roots, candidates, counts, budgets, policy]
+  requestedChannels: canonical_ordered_exact_caller_set
+  complete: true_only_when_the_entire_requested_channel_union_and_every_requested_channel_reason_are_returned
+  count_fields: [beforeUnits, afterUnits, changedRoots, eligibleAfterUnits, candidates, reasons]
+  budget_fields: [maxCandidates, maxReasons, maxBytes]
+  policy_fields: [roots, candidateUniverse, recall, changedTerms, ordering, interpretation]
+  excluded:
+    - score_or_rank
+    - truncated_or_partial_candidates
+    - inferred_relation
+    - conflict_or_consistency_finding
+    - retirement_or_replacement_recommendation
+    - authority_pass_or_fail
+    - implementation_or_test_conformance
+budgets:
+  max_candidates: required_explicit_positive_safe_integer_over_the_complete_requested_channel_candidate_union
+  max_reasons: required_explicit_positive_safe_integer_over_all_unique_exact_requested_channel_reasons
+  max_bytes: required_explicit_positive_safe_integer_over_UTF-8_bytes_of_compact_JSON_stringify_complete_payload
+  candidate_or_reason_overflow: AUTH_CHANGE_CANDIDATES_BUDGET_with_null_product_and_partial_false
+  byte_overflow: AUTH_CHANGE_CANDIDATES_BUDGET_with_null_product_and_partial_false
+  silent_reduction: forbidden
+  evaluation_stages:
+    - exact_candidate_ID_union_using_only_light_indexes_and_match_descriptors
+    - exact_unique_logical_reason_count_without_global_reason_key_storage_or_SourceMap_witness_objects
+    - full_reason_candidate_root_and_payload_materialization_only_after_candidate_and_reason_budgets_pass
+  candidate_overflow: return_exact_required_candidate_count_without_reason_witness_candidate_record_or_payload_materialization
+  reason_overflow: return_exact_required_reason_count_without_reason_witness_candidate_record_or_payload_materialization
+  duplicate_match_occurrences: collapsed_by_each_channel_visitor_before_reason_counting
+indexing:
+  snapshot_indexes: [by_ID, by_owner, by_scope, incoming_relations, outgoing_relations, by_container]
+  changed_terms: one_precomputed_candidate_field_term_set_plus_exact_term_to_candidate_field_inverted_index_per_side
+  definition_patterns:
+    normalization: each_candidate_text_field_and_each_unique_definition_identity_or_title_pattern_is_NFKC_normalized_once_per_index_build
+    matching: one_deterministic_Aho_Corasick_multi_pattern_scan_per_candidate_field_and_stage
+    boundaries: exact_identity_or_Unicode_Letter_Number_title_boundaries_are_checked_on_each_match
+  direct_relations: snapshot_adjacency_indexes_without_candidate_linear_search
+  persistence: none_indexes_are_transient_and_derived_from_the_two_immutable_compiler_snapshots
+fail_closed:
+  invalid_before_or_after_authority: preserve_complete_side_qualified_diff_or_compiler_diagnostics
+  invalid_transition: preserve_AUTH_DIFF_TRANSITION_INVALID
+  invalid_channels: AUTH_CHANGE_CANDIDATES_CHANNELS
+  invalid_runtime_budget: AUTH_CHANGE_CANDIDATES_BUDGET_with_null_product
+  partial_product: forbidden
+boundaries:
+  read_only: true
+  writes_or_durable_artifacts: none
+  public_JS_exports: none
+  authority_or_product_semantic_decision: not_claimed
+  natural_language_contradiction_detection: not_admitted
+  relation_generation_or_repair: not_admitted
+  hard_cut_workflow_or_report: host_owned_not_admitted
+  implementation_code_test_or_gate_location: separate_product_not_included
+  source_container_proximity_annotation: not_included_because_it_is_non_semantic_unbounded_and_derivable_from_returned_locations
+  cache_SQLite_embedding_or_persistent_index: none

package/spec/authority-consumers.yaml

@@ -28,10 +28,17 @@ inputs:
     scheme_knowledge: none_this_tool_knows_no_particular_project_scheme
     absent_scheme: reference_is_externalUnresolved_never_dead
 reference_grammar:
+  escaped_line_continuation: exact_backslash_LF_or_backslash_CRLF_is_removed_for_matching_while_locations_use_the_original_source_line
+  source_string_escape_boundary: one_backslash_followed_by_a_common_escape_starter_ends_the_local_path_while_two_or_more_backslashes_remain_a_Windows_separator_run
   local_literal:
     shape: .nimi<separator_run>spec_optionally_followed_by_further_segments
     separators: forward_or_back_slash_runs_because_source_literals_escape_backslashes
     bare_root_admitted: true
+    terminal_period_disambiguation:
+      raw_target_or_prefix_exists: preserve_raw_target
+      raw_absent_and_removing_exactly_one_period_resolves: classify_the_single_period_as_sentence_punctuation
+      raw_and_single_period_stripped_both_absent: preserve_raw_target_and_report_dead
+      raw_and_single_period_stripped_both_exist: preserve_raw_target
     excluded: glob_star_or_angle_bracket_placeholder
   local_constructor:
     shape: adjacent_string_literals_beginning_with_.nimi_then_spec

package/spec/authority-discovery.yaml

@@ -25,7 +25,7 @@ filters:
   zero_lexical_match_in_nonempty_eligible_universe: AUTH_DISCOVERY_NOT_FOUND_without_absence_proof
 fields:
   included: [id, title, owner, scope, meaning, statement, condition, failure, reason]
-  excluded: [relations, container_or_file_name, SourceMap_path_text, derived_context, implementation_evidence, test_evidence]
+  excluded: [relations, container_or_file_name, SourceMap_path_text, derived_context, implementation_artifacts, test_artifacts]
   match: normalized_token_equality
   admission: at_least_one_query_term_matches_one_included_field_of_an_eligible_unit
 ranking:
@@ -55,7 +55,7 @@ snippets:
   omissions: exact_nonnegative_omittedBeforeTerms_and_omittedAfterTerms_counts
   complete: true_only_when_no_normalized_field_term_is_omitted
   traceability: exact_portable_field_SourceMap_location_on_every_match
-  boundary: snippet_is_lexical_evidence_not_source_prose_context_or_an_explanation
+  boundary: snippet_is_a_lexical_match_not_source_prose_context_or_an_explanation
 preview:
   option_group: preview_direction_relations_and_max_edges_must_be_all_present_or_all_absent
   source: existing_M1_direct_authored_graph_over_the_same_complete_compiler_snapshot

package/spec/authority-graph.yaml

@@ -38,7 +38,7 @@ budgets:
   required_all: [max_units, max_edges, max_bytes]
   path_also_requires: max_hops
   subgraph_also_requires: depth
-  units_and_edges: constrain_complete_traversal_proof_not_only_returned_witness
+  units_and_edges: constrain_complete_traversal_accounting_not_only_returned_witness
   bytes: UTF-8_bytes_of_compact_JSON.stringify_graph
   overflow: AUTH_GRAPH_BUDGET_with_null_graph_and_partial_false
 outcomes:

package/spec/authority-impact.yaml

@@ -1,12 +1,12 @@
-version: 1
+version: 2
 spec:
-  id: nimicoding.authority-impact.v1
+  id: nimicoding.authority-impact.v2
   owner: nimi-coding
   status: active
-product_claim: compare_admitted_compiler_outputs_and_report_declared_review_obligations_without_claiming_sync_or_completion
+product_claim: compare_admitted_compiler_outputs_and_report_declared_relation_impact_and_host_owned_follow_up_targets_without_accepting_completion_state
 commands:
   diff: nimicoding authority diff <before-path> <after-path> --max-bytes <positive-integer> [--json]
-  impact: nimicoding authority impact <before-path> <after-path> --dispositions <file> --max-bytes <positive-integer> [--json]
+  impact: nimicoding authority impact <before-path> <after-path> --max-bytes <positive-integer> [--json]
 diff:
   source: two_independently_admitted_compiler_outputs
   format: nimicoding.authority-diff/v1
@@ -21,64 +21,41 @@ diff:
       added: scope_value_or_relation_added
       removed: scope_value_or_relation_removed
     source_record_fields: [file, range, sourcePointer]
-    range_fields: [start, end]
-    position_fields: [line, column]
   unit_removed_operation: forbidden
   physical_unit_deletion: AUTH_DIFF_TRANSITION_INVALID
   retirement: active_unit_is_replaced_by_a_valid_same_ID_same_kind_removed_tombstone
-  tombstone_retention: removed_unit_remains_present_until_a_separately_admitted_reserved_ID_mechanism_exists
   pure_profile_format_file_rename_unit_order_or_container_regroup_change: empty
   ordering: [unit_ID, JSON_pointer, operation, values]
   traceability: changed_values_reference_before_and_or_after_SourceMap
-  invalid_input_diagnostics:
-    path_identity: before_or_after_prefix_plus_input_root_relative_path
-    related_paths: same_side_prefix_and_relative_normalization
-    ordering: global_diagnostic_order_after_normalization
-    relocated_equivalent_inputs: byte_identical_JSON
   byte_budget:
-    scope: semantic_diff_only_not_complete_CLI_report_or_compiler_diagnostics
-    measure: UTF-8_bytes_of_compact_JSON_stringify_diff
-    overflow: AUTH_DIFF_BUDGET
-    result: {diff: null, partial: false}
+    measure: UTF-8_bytes_of_compact_JSON.stringify_diff
+    overflow: AUTH_DIFF_BUDGET_with_null_diff_and_partial_false
 impact:
-  format: nimicoding.authority-impact/v1
-  top_level_fields: [format, changedUnits, impactedUnits, obligations, complete]
+  format: nimicoding.authority-impact/v2
+  top_level_fields: [format, analysisStatus, changedUnits, impactedUnits, obligations]
+  analysisStatus: completed
   impacted_unit_fields: [id, kind]
-  obligation_fields: [ruleId, type, target, disposition]
-  disposition_fields_when_addressed: [ruleId, type, target, status, evidence]
-  roots: normative_governance_definition_rule_graph_changes; non_normative_metadata_diff_is_reported_but_creates_no_obligation
+  obligation_fields: [ruleId, type, target]
+  roots: normative_governance_definition_rule_graph_changes; non_normative_metadata_diff_is_reported_but_creates_no_impact_root
   direction: reverse_declared_relations_from_changed_units_to_dependents
   relation_categories: [applies_to, supersedes]
   unrelated_units: excluded
   active_rule_obligations:
     consumer: union_of_before_and_after_declared_scope
-    test: one_explicit_evidence_disposition_per_impacted_active_rule
-  missing_disposition: AUTH_IMPACT_UNDISPOSED
-  complete: every_required_declared_obligation_has_exact_addressed_evidence
-  proof_boundary: does_not_prove_implementation_consumer_or_test_synchronization
-  partial_success: false
-  failure_report: may_list_complete_impacted_units_and_unresolved_obligations_with_ok_false
+    test: one_host_follow_up_target_per_impacted_active_rule
+  completion_or_disposition_input: forbidden
   byte_budget:
-    scope: semantic_diff_and_impact_only_not_complete_CLI_report_or_compiler_diagnostics
-    measure: UTF-8_bytes_of_compact_JSON_stringify_object_containing_diff_and_impact
-    overflow: AUTH_IMPACT_BUDGET
-    result: {diff: null, impact: null, partial: false}
-dispositions:
-  format: nimicoding.authority-impact-dispositions/v1
-  authority: package://@nimiplatform/nimi-coding/contracts/authority-impact-dispositions.schema.yaml
-  status: addressed
-  evidence: explicit_non_empty_text
-  inference: forbidden
+    measure: UTF-8_bytes_of_compact_JSON.stringify_object_containing_diff_and_impact
+    overflow: AUTH_IMPACT_BUDGET_with_null_diff_null_impact_and_partial_false
 fail_closed:
   invalid_before_or_after_authority: compiler_diagnostics
   identity_reuse_kind_change_or_physical_deletion: AUTH_DIFF_TRANSITION_INVALID_or_compiler_identity_diagnostics
   dangling_relation_or_illegal_lifecycle: compiler_diagnostics
-  malformed_or_extra_disposition: AUTH_IMPACT_DISPOSITION_INVALID
   missing_or_invalid_max_bytes: CLI_usage_failure
 boundaries:
   writes_authority: false
   durable_artifacts: none
   git_interpretation: none
+  host_obligation_state_receipt_test_execution_or_completion: not_accepted_or_owned
   natural_language_contradiction_detection: not_claimed
   implementation_consumer_test_sync_proof: not_admitted
-  storage_search_embedding_visualization_AI_execution_Atlas: not_admitted

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