@nimiplatform/nimi-coding 0.4.0 → 0.5.0

package/methodology/authority-authoring.yaml

@@ -1,4 +1,4 @@
-version: 2
+version: 4
 id: nimicoding.authority-authoring
 purpose: Author explicit .nimi/spec authority without inference.
 authority_boundary:
@@ -14,7 +14,7 @@ daily_workflow:
   - Modify only project-owned canonical authority. Choose every product value before writing; never infer an ID, owner, scope, condition, failure, or relation.
   - Run nimicoding authority fmt <changed-file> for each changed file.
   - Run nimicoding authority check <complete-path> [--scope-bindings <file>] --json; then compile. For repository anchors run nimicoding authority anchors <repository-path> --spec <corpus-path> [--scope-bindings <file>] --max-units <positive-safe-integer> --max-anchors <positive-safe-integer> --max-bytes <positive-safe-integer> --json.
-  - For semantic changes, run diff and impact with explicit budgets and complete inputs; address every obligation and rerun impact.
+  - For semantic changes, run diff and impact with explicit budgets and complete inputs. Treat returned obligations only as host-owned follow-up targets; run the project's real code, type, test, and gate workflow separately.
   - Never continue from compiler diagnostics, unknown IDs, budget failures, or partial/guessed results.
 
 source_profiles:
@@ -22,7 +22,7 @@ source_profiles:
     shape: "Closed mapping: format nimicoding.authority/v2; owner?; scope string?; units. Units/IDs/order unchanged."
     defaults: owner/rule scope inherit; unit overrides; definitions lack scope.
     omissions: lifecycle active and relations [] may be omitted; removed/reason stay explicit; missing owner/rule scope at both levels fails.
-    legacy: nimicoding.authority/v1 remains accepted unchanged; fmt --upgrade emits v2 and hoists uniform defaults.
+    format: nimicoding.authority/v2_only_without_legacy_migration_or_history_input
   markdown:
     shape: One unit per file. Front matter carries format, id, kind, owner, lifecycle, rule modality/scope, and relations.
     title: One plain H1.
@@ -67,38 +67,21 @@ relation_rules:
 
 formatter_and_diagnostics:
   - fmt canonicalizes; v2 strips redundant unit defaults but keeps container choices.
-  - fmt --upgrade emits v2, hoists uniform owner/single scope, and preserves compiled meaning.
+  - Any source format other than nimicoding.authority/v2 fails fmt, check, compile, diff, impact, and review admission.
   - check/compile use the complete path and fail closed; no public or partial AuthorityIR is emitted.
   - Diagnostics give locations, reasons, conflicts, and repair categories, never product values.
   - Fix values only from task or product authority. Do not invent container defaults, fallback data, historical inference, internal contracts, or wildcard corpus reading.
 
 change_workflow:
   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
+  candidates: 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
+  impact: nimicoding authority impact <before-path> <after-path> --max-bytes <positive-integer> --json
   boundaries:
     - Diff compares complete canonical inputs; formatting, profile, file, and order-only changes are semantic zero.
-    - Impact follows declared reverse applies_to/supersedes only. Each impacted active rule needs evidence for every before/after scope consumer and one test obligation.
+    - Change candidates are the complete union only for caller-requested exact owner, scope, changed-term, direct-relation, Definition-identity, and Definition-title channels. They are recall inputs for AI or human judgment, never conflict, retirement, authority, absence, or conformance findings.
+    - Impact follows declared reverse applies_to/supersedes only and reports every before/after scope consumer plus one test follow-up target for each impacted active rule.
     - Diff/impact budgets cover complete compact payloads; budget failure returns no partial result.
-    - Dispositions are local evidence under .nimi/local, never authority or proof that implementation, consumers, or tests are synchronized.
-
-disposition_authoring:
-  workflow:
-    - Write the empty skeleton and run impact to obtain exact obligations from the failed result.
-    - Add exactly one entry per impacted active rule using real project evidence, then rerun impact with the same budget. Missing or extra dispositions fail.
-  empty_skeleton: |
-    format: nimicoding.authority-impact-dispositions/v1
-    rules: []
-  complete_example: |
-    format: nimicoding.authority-impact-dispositions/v1
-    rules:
-      - id: rule.checkout-session
-        consumers:
-          - scope: api.checkout
-            status: addressed
-            evidence: src/checkout/session-handler.ts
-        test:
-          status: addressed
-          evidence: tests/checkout-session.test.ts
+    - Impact accepts no disposition, receipt, external result, test outcome, or completion state. The host owns execution and workflow state.
 
 canonical_examples:
   complete_yaml_lifecycle: |

package/methodology/core.yaml

@@ -1,4 +1,4 @@
-version: 5
+version: 6
 methodology:
   id: nimi-coding
   mission: Preserve explicit project-authored canonical authority through deterministic formatting, compilation, and fail-closed gates.
@@ -9,6 +9,7 @@ methodology:
       - canonical_authority_formatter_and_conformance_gate
       - bounded_deterministic_exact_filtered_lexical_candidate_discovery_with_SourceMapped_field_snippets_and_optional_direct_authored_relation_preview
       - private_compiler_filtered_lexical_discovery_and_exact_query
+      - immutable_per_invocation_compiler_snapshots_transient_exact_indexes_and_change_derived_candidate_recall
       - complete_declared_outgoing_interpretation_closure
       - bounded_explicit_relation_graph_navigation
       - project_bound_deterministic_authority_audit_and_SARIF_projection
@@ -27,12 +28,13 @@ methodology:
     - host_canonical_authority_under_.nimi/spec
     - projected_compact_authoring_methodology
     - package_internal_compiler_contracts
-    - local_non_authority_evidence
+    - local_derived_output
   boundaries:
     discovery: bounded_exact_filtered_lexical_candidates_with_SourceMapped_field_snippets_and_optional_M1_direct_authored_relation_preview_not_semantic_search_selection_context_complete_recall_or_absence_proof
+    change_candidates: complete_union_for_explicit_requested_exact_channels_not_conflict_retirement_authority_or_conformance_judgment
     context: complete_declared_outgoing_interpretation_closure_not_complete_task_context
     graph: bounded_explicit_relation_navigation_not_semantic_inference_or_raw_IR
     audit: explicit_project_verifier_bindings_not_prose_inference_plugin_execution_or_product_authority
-    impact: declared_review_obligations_not_implementation_consumer_or_test_sync_proof
+    impact: declared_relation_impact_and_host_follow_up_targets_not_implementation_consumer_or_test_sync_proof
     authority_admission: nimicoding_authority_check_on_complete_canonical_root
     optional_repository_governance: separate_L3_not_authority_admission

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nimiplatform/nimi-coding",
-  "version": "0.4.0",
+  "version": "0.5.0",
   "private": false,
   "description": "Canonical authority methodology, formatter, compiler primitives, and deterministic gates.",
   "license": "MIT",

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