@nimiplatform/nimi-coding 0.2.7 → 0.3.0

package/contracts/projection-edge.schema.yaml

@@ -1,130 +1,46 @@
-version: 1
+version: 2
 contract:
-  id: nimicoding.projection-edge.v1
+  id: nimicoding.projection-edge.v2
   owner: nimi-coding
-  purpose: Declare allowed projections between package, host, product, and derived surfaces.
-required_top_level_fields:
-  - version
-  - projection_edges
-  - edge_kind_enum
-  - semantic_constraints
-projection_edge_required_fields:
-  - edge_id
-  - edge_kind
-  - source_ref
-  - source_class
-  - source_owner
-  - target_ref
-  - target_class
-  - target_owner
-  - allowed_fields
-  - forbidden_promoted_fields
-  - drift_check_command
-  - failure_disposition
-shared_enum_ref: shared-enums.yaml
+  purpose: Declare one-way projections without granting source authority to the projection.
+required_top_level_fields: [version, projection_edges, edge_kind_enum, semantic_constraints]
+projection_edge_required_fields: [edge_id, edge_kind, source_ref, source_class, source_owner, target_ref, target_class, target_owner, allowed_fields, forbidden_fields, drift_check_command]
 projection_edges:
-  - edge_id: nimi_coding_package_to_host_anchor
-    edge_kind: package_to_host_anchor
-    source_ref: package://@nimiplatform/nimi-coding/{spec,methodology,contracts,config}/**
+  - edge_id: package_to_managed_methodology
+    edge_kind: package_to_managed_projection
+    source_ref: package://@nimiplatform/nimi-coding/methodology/**
     source_class: methodology_authority
-    source_owner: nimi_coding_package
-    target_ref: .nimi/spec/_meta/nimi-coding-admission-anchor.yaml
-    target_class: host_projection_anchor
-    target_owner: nimi_host
-    allowed_fields: [package_id, package_version, package_truth_root, projection_edges, must_not_override]
-    forbidden_promoted_fields: [package_methodology_body, product_rule_body, lifecycle_status, run_ledger, private_evidence]
-    drift_check_command: pnpm exec nimicoding validate-projection-edges --profile nimi
-    failure_disposition: fail_closed
-  - edge_id: nimi_coding_package_to_managed_projection
+    source_owner: nimi-coding
+    target_ref: .nimi/methodology/**
+    target_class: nimicoding_managed_projection
+    target_owner: nimi-coding
+    allowed_fields: [all_package_owned_fields]
+    forbidden_fields: [host_product_authority_override]
+    drift_check_command: pnpm exec nimicoding sync --check
+  - edge_id: package_to_managed_contracts
+    edge_kind: package_to_managed_projection
+    source_ref: package://@nimiplatform/nimi-coding/contracts/**
+    source_class: methodology_authority
+    source_owner: nimi-coding
+    target_ref: .nimi/contracts/**
+    target_class: nimicoding_managed_projection
+    target_owner: nimi-coding
+    allowed_fields: [all_package_owned_fields]
+    forbidden_fields: [host_product_authority_override]
+    drift_check_command: pnpm exec nimicoding sync --check
+  - edge_id: package_to_managed_config
     edge_kind: package_to_managed_projection
-    source_ref: package://@nimiplatform/nimi-coding/{config,contracts,methodology,spec}/**
+    source_ref: package://@nimiplatform/nimi-coding/config/**
     source_class: methodology_authority
-    source_owner: nimi_coding_package
-    target_ref: .nimi/{config,contracts,methodology}/**
+    source_owner: nimi-coding
+    target_ref: .nimi/config/**
     target_class: nimicoding_managed_projection
-    target_owner: nimi_host
-    allowed_fields: [projected_package_file_body]
-    forbidden_promoted_fields: [product_rule_body, lifecycle_status, run_ledger, private_evidence]
+    target_owner: nimi-coding
+    allowed_fields: [package_owned_defaults]
+    forbidden_fields: [host_product_authority_override]
     drift_check_command: pnpm exec nimicoding sync --check
-    failure_disposition: fail_closed
-  - edge_id: product_authority_to_derived_view
-    edge_kind: product_to_derived_view
-    source_ref: .nimi/spec/<domain>/kernel/**
-    source_class: product_authority
-    source_owner: product_domain
-    target_ref: stdout_view
-    target_class: derived_view
-    target_owner: generator
-    allowed_fields: [rendered_summary, source_refs, generator_id]
-    forbidden_promoted_fields: [product_rule_body_without_source_ref, audit_coverage_status, lifecycle_status]
-    drift_check_command: pnpm exec nimicoding generate-spec-derived-docs --profile nimi --check
-    failure_disposition: fail_closed
-  - edge_id: product_authority_to_support_registry
-    edge_kind: product_to_support_registry
-    source_ref: .nimi/spec/<domain>/kernel/**
-    source_class: product_authority
-    source_owner: product_domain
-    target_ref: .nimi/spec/<domain>/kernel/tables/*.yaml
-    target_class: support_registry
-    target_owner: product_domain
-    allowed_fields: [registry_id, owner, schema_ref, authority_refs, command_refs, evidence_class]
-    forbidden_promoted_fields: [audit_coverage_status, audit_date, lifecycle_status, roadmap_status, run_ledger]
-    drift_check_command: pnpm exec nimicoding validate-table-family --profile nimi
-    failure_disposition: fail_closed
-  - edge_id: authority_to_local_audit_evidence
-    edge_kind: authority_to_audit_evidence
-    source_ref: .nimi/spec/<domain>/kernel/**
-    source_class: product_authority
-    source_owner: product_domain
-    target_ref: .nimi/local/audit/**
-    target_class: audit_evidence_state
-    target_owner: audit_workflow
-    allowed_fields: [authority_refs, evidence_refs, finding_refs, coverage_scope, audit_validity]
-    forbidden_promoted_fields: [product_rule_body, package_methodology_body]
-    drift_check_command: pnpm exec nimicoding validate-placement --profile nimi
-    failure_disposition: fail_closed
-  - edge_id: topic_to_local_lifecycle_state
-    edge_kind: topic_to_local_state
-    source_ref: .nimi/topics/**
-    source_class: lifecycle_progress_state
-    source_owner: topic_lifecycle
-    target_ref: .nimi/local/state/**
-    target_class: lifecycle_progress_state
-    target_owner: execution_workflow
-    allowed_fields: [topic_id, wave_id, status, packet_ref, result_ref, closeout_ref]
-    forbidden_promoted_fields: [product_rule_body, package_methodology_body, private_evidence]
-    drift_check_command: pnpm exec nimicoding topic validate --profile nimi
-    failure_disposition: fail_closed
-edge_kind_enum:
-  - package_to_host_anchor
-  - package_to_managed_projection
-  - product_to_derived_view
-  - product_to_support_registry
-  - authority_to_audit_evidence
-  - topic_to_local_state
-failure_disposition_enum:
-  - fail_closed
-  - block
-allowed_target_classes:
-  - host_projection_anchor
-  - nimicoding_managed_projection
-  - derived_view
-  - support_registry
-  - audit_evidence_state
-  - lifecycle_progress_state
-forbidden_promoted_fields_catalog:
-  - package_methodology_body
-  - product_rule_body
-  - generated_rendered_body
-  - audit_coverage_status
-  - audit_date
-  - lifecycle_status
-  - roadmap_status
-  - run_ledger
-  - private_evidence
+edge_kind_enum: [package_to_managed_projection, package_to_host_anchor, authority_to_derived_view, authority_to_audit_evidence]
 semantic_constraints:
-  - host_projection_anchor_must_not_copy_package_methodology_body
-  - nimicoding_managed_projection_is_project_local_cli_projection_not_product_authority
-  - derived_view_projection_must_be_reproducible
-  - audit_evidence_may_cite_authority_but_never_override_it
-  - missing_projection_edge_is_a_validation_failure
+  - projection_target_must_not_gain_more_authority_than_source
+  - projection_edges_do_not_define_execution_order
+  - drift_checks_must_be_deterministic

package/contracts/shared-enums.yaml

@@ -1,11 +1,13 @@
-version: 1
+version: 2
 contract:
-  id: nimicoding.spec-surface-shared-enums.v1
+  id: nimicoding.spec-surface-shared-enums.v2
   owner: nimi-coding
 surface_class_enum:
   - product_authority
   - product_authority_table
   - thin_guidance
+  - host_instruction
+  - tracked_derived_projection
   - derived_view
   - spec_generation_state
   - audit_evidence_state
@@ -13,9 +15,7 @@ surface_class_enum:
   - methodology_authority
   - nimicoding_managed_projection
   - host_projection_anchor
-  - candidate_roadmap
   - support_registry
-  - lifecycle_progress_state
 authority_rank_enum:
   - active_product_canonical
   - package_canonical
@@ -24,9 +24,7 @@ authority_rank_enum:
   - guidance_only
   - derived_non_authority
   - evidence_only
-  - lifecycle_state
   - operational_local
-  - candidate_only
 tracking_policy_enum:
   - tracked_required
   - tracked_forbidden
@@ -59,8 +57,6 @@ artifact_class_enum:
   - state_manifest
   - audit_index
   - audit_summary
-  - roadmap_index
-  - roadmap_summary
 semantic_constraints:
   - all_contracts_must_use_underscore_enum_values
   - hyphenated_dispositions_are_forbidden

package/contracts/spec-generation-inputs.schema.yaml

@@ -1,115 +1,20 @@
-version: 2
+version: 3
 input_contract:
   id: canonical_spec_generation_inputs
   owner: nimi-coding
-  replaces_version: 1
-  purpose: Replace blanket docs_roots ingestion with class-filtered generation inputs.
+  purpose: Admit class-filtered evidence for spec construction without owning the host's execution process.
 required_fields:
   - mode
   - canonical_target_root
   - code_inputs
   - docs_inputs
   - structure_inputs
-  - topic_inputs
   - local_inputs
   - forbidden_source_classes
   - generation_order
   - inference_rules
   - acceptance_mode
-document_instance:
-  mode: class_filtered
-  canonical_target_root: .nimi/spec
-  code_inputs: []
-  docs_inputs:
-    - root: .nimi/spec
-      class_filter: product_authority_only
-      allowed_surface_classes: [product_authority, product_authority_table, thin_guidance, host_projection_anchor, support_registry]
-      forbidden_surface_classes: [derived_view, spec_generation_state, audit_evidence_state, operational_local_artifact, nimicoding_managed_projection, candidate_roadmap, lifecycle_progress_state, methodology_authority]
-      owner: nimi_host
-      use_as_authority: true
-      projection_edge_ref: null
-  structure_inputs: []
-  topic_inputs:
-    - root: .nimi/topics
-      owner: topic_lifecycle
-      allowed_surface_classes: [lifecycle_progress_state, candidate_roadmap]
-      use_as_authority: false
-  local_inputs:
-    - root: .nimi/local
-      owner: local_execution
-      allowed_surface_classes: [spec_generation_state, audit_evidence_state, operational_local_artifact, lifecycle_progress_state]
-      use_as_authority: false
-  forbidden_source_classes:
-    - derived_view
-    - spec_generation_state
-    - audit_evidence_state
-    - operational_local_artifact
-    - nimicoding_managed_projection
-    - candidate_roadmap
-    - lifecycle_progress_state
-  generation_order: [classify_inputs, validate_placement, product_authority, product_authority_tables, thin_guides, derived_views, generation_audit]
-  inference_rules: [no_blanket_docs_roots, no_generated_as_authority, no_derived_views_written_to_local, no_audit_or_lifecycle_state_as_authority]
-  acceptance_mode: placement_validity_before_generation
-docs_input_required_fields:
-  - root
-  - class_filter
-  - allowed_surface_classes
-  - forbidden_surface_classes
-  - owner
-  - use_as_authority
-  - projection_edge_ref
-shared_enum_ref: shared-enums.yaml
-generic_input_required_fields:
-  - root
-  - owner
-  - allowed_surface_classes
-  - forbidden_surface_classes
-  - use_as_authority
-code_input_required_fields:
-  - root
-  - owner
-  - projection_edge_ref
-structure_input_required_fields:
-  - root
-  - owner
-  - allowed_surface_classes
-topic_input_required_fields:
-  - root
-  - owner
-  - allowed_surface_classes
-  - use_as_authority
-local_input_required_fields:
-  - root
-  - owner
-  - allowed_surface_classes
-  - use_as_authority
-input_item_schemas:
-  code_inputs: code_input_required_fields
-  docs_inputs: docs_input_required_fields
-  structure_inputs: structure_input_required_fields
-  topic_inputs: topic_input_required_fields
-  local_inputs: local_input_required_fields
-baseline_inputs:
-  docs_inputs:
-    - root: .nimi/spec
-      class_filter: product_authority_only
-      allowed_surface_classes: [product_authority, product_authority_table, thin_guidance, host_projection_anchor, support_registry]
-      forbidden_surface_classes: [derived_view, spec_generation_state, audit_evidence_state, operational_local_artifact, nimicoding_managed_projection, candidate_roadmap, lifecycle_progress_state, methodology_authority]
-      owner: nimi_host
-      use_as_authority: true
-      projection_edge_ref: null
-  topic_inputs:
-    - root: .nimi/topics
-      owner: topic_lifecycle
-      allowed_surface_classes: [lifecycle_progress_state, candidate_roadmap]
-      use_as_authority: false
-  local_inputs:
-    - root: .nimi/local
-      owner: local_execution
-      allowed_surface_classes: [spec_generation_state, audit_evidence_state, operational_local_artifact, lifecycle_progress_state]
-      use_as_authority: false
-mode_enum:
-  - class_filtered
+mode_enum: [class_filtered]
 acceptance_mode_enum:
   - placement_validity_before_generation
   - semantic_and_structural_parity_when_blueprint_exists
@@ -121,20 +26,18 @@ generation_order_enum:
   - thin_guides
   - derived_views
   - generation_audit
-forbidden_source_classes:
-  - derived_view
-  - spec_generation_state
-  - audit_evidence_state
-  - operational_local_artifact
-  - nimicoding_managed_projection
-  - candidate_roadmap
-  - lifecycle_progress_state
+docs_input_required_fields:
+  - root
+  - class_filter
+  - allowed_surface_classes
+  - forbidden_surface_classes
+  - owner
+  - use_as_authority
+  - projection_edge_ref
+local_input_required_fields: [root, owner, allowed_surface_classes, use_as_authority]
 hard_constraints:
   - docs_roots_blanket_ingestion_is_forbidden
-  - canonical_target_root_must_be_.nimi/spec_for_product_authority_outputs_only
   - each_input_file_must_have_an_accepted_surface_class_before_render
-  - generated_views_must_not_be_used_as_authority_inputs
-  - generated_views_must_render_to_stdout_only
-  - audit_state_and_lifecycle_state_must_not_be_used_as_product_authority_inputs
-  - nimicoding_managed_projections_may_be_read_as_project_context_but_not_as_product_authority_inputs
-  - generation_audit_outputs_must_default_to_.nimi/local/state/spec-generation
+  - local_inputs_must_not_be_used_as_product_authority
+  - generated_or_audit_material_must_not_be_promoted_to_product_authority
+  - host_native_execution_state_is_outside_this_contract

package/contracts/spec-layout.schema.yaml

@@ -0,0 +1,32 @@
+version: 1
+contract:
+  id: nimicoding.host-spec-layout.v1
+  owner: nimi-coding
+  purpose: Admit host-specific Spec paths without weakening package authority invariants.
+host_config_ref: .nimi/config/spec-layout.yaml
+required_top_level_fields: [version, contract_ref, spec_layout]
+layout_required_fields: [canonical_root, host_instruction_paths, tracked_derived_projections, table_family_extensions]
+tracked_derived_projection_required_fields:
+  - projection_id
+  - root
+  - source_roots
+  - generate_command
+  - drift_check_command
+  - required_marker
+table_family_extension_required_fields:
+  - table_family
+  - authority_class
+  - required_fields
+  - forbidden_fields
+semantic_constraints:
+  - host_layout_is_validation_data_not_product_authority
+  - host_layout_must_define_only_spec_surface_shape
+  - host_instruction_paths_must_not_overlap_product_authority_patterns
+  - tracked_derived_projection_is_never_product_authority
+  - tracked_derived_projection_requires_a_deterministic_generator_and_drift_check
+  - tracked_derived_projection_root_must_stay_inside_the_canonical_spec_tree
+  - tracked_derived_projection_roots_must_match_generated_paths
+  - tracked_derived_projection_root_must_not_overlap_direct_product_authority_files
+  - host_instruction_paths_may_carry_repository_instructions_but_not_product_rules
+  - table_family_extensions_define_shape_only_and_must_not_carry_product_rows
+  - table_family_extensions_must_not_shadow_package_families

package/contracts/surface-taxonomy.schema.yaml

@@ -1,26 +1,10 @@
-version: 1
+version: 2
 contract:
-  id: nimicoding.surface-taxonomy.v1
+  id: nimicoding.surface-taxonomy.v2
   owner: nimi-coding
-  purpose: Define every spec surface class before placement validation or migration.
-required_top_level_fields:
-  - version
-  - taxonomy
-  - class_enum
-  - authority_rank_enum
-  - tracking_policy_enum
-  - mutability_enum
-  - semantic_constraints
-class_required_fields:
-  - class_id
-  - owner_kind
-  - authority_rank
-  - allowed_roots
-  - tracking_policy
-  - mutability
-  - reference_rules
-  - promotion_rules
-  - fail_closed_cases
+  purpose: Define authority, support, generated, evidence, and local surfaces before spec validation.
+required_top_level_fields: [version, taxonomy, class_enum, authority_rank_enum, tracking_policy_enum, mutability_enum, semantic_constraints]
+class_required_fields: [class_id, owner_kind, authority_rank, allowed_roots, tracking_policy, mutability, reference_rules, promotion_rules, fail_closed_cases]
 shared_enum_ref: shared-enums.yaml
 taxonomy:
   - class_id: product_authority
@@ -29,9 +13,9 @@ taxonomy:
     allowed_roots: [".nimi/spec/<domain>/kernel/*.md"]
     tracking_policy: tracked_required
     mutability: human_admitted
-    reference_rules: [may_reference_product_authority_table, may_reference_thin_guidance, may_reference_minimal_host_projection_anchor]
-    promotion_rules: [only_admitted_topic_wave_may_change_product_authority]
-    fail_closed_cases: [contains_lifecycle_status, contains_audit_coverage, contains_package_methodology_body]
+    reference_rules: [may_reference_product_authority_table, may_reference_thin_guidance]
+    promotion_rules: [authority_changes_require_explicit_product_decision]
+    fail_closed_cases: [contains_audit_coverage, contains_operational_state, contains_package_methodology_body]
   - class_id: product_authority_table
     owner_kind: product_domain
     authority_rank: active_product_canonical
@@ -50,10 +34,28 @@ taxonomy:
     reference_rules: [may_reference_product_authority, must_not_define_rule_body]
     promotion_rules: [normative_content_must_move_to_product_authority]
     fail_closed_cases: [contains_must_rule_body, defines_new_rule_id, defines_acceptance_gate]
+  - class_id: host_instruction
+    owner_kind: product_host
+    authority_rank: support_only
+    allowed_roots: ["host-spec-layout://host_instruction_paths"]
+    tracking_policy: tracked_only_with_explicit_admission
+    mutability: human_admitted
+    reference_rules: [may_define_repository_editing_and_validation_instructions, must_not_define_product_rule_body]
+    promotion_rules: [product_semantics_must_move_to_product_authority]
+    fail_closed_cases: [path_not_admitted_by_host_spec_layout, defines_product_rule]
+  - class_id: tracked_derived_projection
+    owner_kind: generator
+    authority_rank: derived_non_authority
+    allowed_roots: ["host-spec-layout://tracked_derived_projections"]
+    tracking_policy: tracked_only_with_explicit_admission
+    mutability: generated_reproducible
+    reference_rules: [must_declare_source_roots, must_declare_generate_command, must_declare_drift_check, must_not_be_referenced_as_authority]
+    promotion_rules: [never_promote_derived_output]
+    fail_closed_cases: [missing_layout_admission, missing_generated_marker, referenced_as_authority, overlaps_direct_product_authority]
   - class_id: derived_view
     owner_kind: generator
     authority_rank: derived_non_authority
-    allowed_roots: ["stdout_view"]
+    allowed_roots: [stdout_view]
     tracking_policy: untracked_stdout_only
     mutability: generated_reproducible
     reference_rules: [may_reference_declared_inputs, must_not_be_referenced_as_authority]
@@ -61,29 +63,29 @@ taxonomy:
     fail_closed_cases: [referenced_as_authority, stored_under_product_authority_root, written_to_local_derived]
   - class_id: spec_generation_state
     owner_kind: spec_generator
-    authority_rank: lifecycle_state
+    authority_rank: operational_local
     allowed_roots: [".nimi/local/state/spec-generation/**"]
     tracking_policy: local_only
     mutability: operational_snapshot
     reference_rules: [may_cite_inputs_and_generation_command]
     promotion_rules: [never_promote_generation_state]
-    fail_closed_cases: [stored_under_.nimi/spec_meta, used_as_product_authority_input]
+    fail_closed_cases: [stored_under_.nimi/spec, used_as_product_authority_input]
   - class_id: audit_evidence_state
-    owner_kind: audit_workflow
+    owner_kind: verification_process
     authority_rank: evidence_only
     allowed_roots: [".nimi/local/audit/**"]
     tracking_policy: local_only
     mutability: operational_snapshot
     reference_rules: [may_cite_authority_refs, must_not_override_authority]
-    promotion_rules: [may_justify_change_packet_only]
+    promotion_rules: [may_justify_an_explicit_authority_change]
     fail_closed_cases: [stored_under_product_authority_root, contains_private_material_in_tracked_root]
   - class_id: operational_local_artifact
-    owner_kind: host_adapter
+    owner_kind: external_tooling
     authority_rank: operational_local
     allowed_roots: [".nimi/local/**"]
     tracking_policy: local_only
     mutability: disposable
-    reference_rules: [may_be_cited_as_evidence]
+    reference_rules: [may_be_cited_as_non_authoritative_evidence]
     promotion_rules: [never_promote_operational_artifact]
     fail_closed_cases: [stored_under_.nimi/spec]
   - class_id: methodology_authority
@@ -101,8 +103,8 @@ taxonomy:
     allowed_roots: [".nimi/methodology/**", ".nimi/contracts/**", ".nimi/config/**"]
     tracking_policy: tracked_required
     mutability: package_projected
-    reference_rules: [may_be_read_as_project_local_nimicoding_context, must_not_override_product_authority]
-    promotion_rules: [created_or_refreshed_only_by_nimicoding_init_or_sync]
+    reference_rules: [may_be_read_as_project_local_context, must_not_override_product_authority]
+    promotion_rules: [created_or_refreshed_only_by_nimicoding_start_or_sync]
     fail_closed_cases: [copied_to_host_product_authority, promoted_to_product_spec, drift_without_sync_policy]
   - class_id: host_projection_anchor
     owner_kind: host_projection
@@ -112,16 +114,7 @@ taxonomy:
     mutability: human_admitted
     reference_rules: [may_point_to_methodology_authority, must_be_minimal]
     promotion_rules: [never_promote_to_product_authority]
-    fail_closed_cases: [contains_package_methodology_body, contains_lifecycle_status]
-  - class_id: candidate_roadmap
-    owner_kind: planning_owner
-    authority_rank: candidate_only
-    allowed_roots: [".nimi/topics/**"]
-    tracking_policy: local_only
-    mutability: human_admitted
-    reference_rules: [may_cite_product_authority, must_not_authorize_implementation]
-    promotion_rules: [must_move_to_product_authority_through_admitted_wave]
-    fail_closed_cases: [stored_under_.nimi/spec, referenced_as_active_authority]
+    fail_closed_cases: [contains_package_methodology_body, contains_operational_state]
   - class_id: support_registry
     owner_kind: package_or_product_owner
     authority_rank: support_only
@@ -131,60 +124,16 @@ taxonomy:
     reference_rules: [may_register_evidence_commands, may_reference_product_authority]
     promotion_rules: [semantic_rows_move_to_product_authority]
     fail_closed_cases: [contains_status_field, contains_coverage_field, contains_audit_date, contains_progress_field]
-  - class_id: lifecycle_progress_state
-    owner_kind: topic_or_execution_workflow
-    authority_rank: lifecycle_state
-    allowed_roots: [".nimi/topics/**", ".nimi/local/state/**"]
-    tracking_policy: local_only
-    mutability: operational_snapshot
-    reference_rules: [may_cite_topic_packets_and_results]
-    promotion_rules: [never_promote_lifecycle_state]
-    fail_closed_cases: [stored_under_.nimi/spec, used_as_product_authority]
-class_enum:
-  - product_authority
-  - product_authority_table
-  - thin_guidance
-  - derived_view
-  - spec_generation_state
-  - audit_evidence_state
-  - operational_local_artifact
-  - methodology_authority
-  - nimicoding_managed_projection
-  - host_projection_anchor
-  - candidate_roadmap
-  - support_registry
-  - lifecycle_progress_state
-authority_rank_enum:
-  - active_product_canonical
-  - package_canonical
-  - package_projection_support
-  - support_only
-  - guidance_only
-  - derived_non_authority
-  - evidence_only
-  - lifecycle_state
-  - operational_local
-  - candidate_only
-tracking_policy_enum:
-  - tracked_required
-  - tracked_forbidden
-  - local_only
-  - tracked_only_with_explicit_admission
-mutability_enum:
-  - human_admitted
-  - package_admitted
-  - package_projected
-  - generated_reproducible
-  - operational_snapshot
-  - disposable
+class_enum: [product_authority, product_authority_table, thin_guidance, host_instruction, tracked_derived_projection, derived_view, spec_generation_state, audit_evidence_state, operational_local_artifact, methodology_authority, nimicoding_managed_projection, host_projection_anchor, support_registry]
+authority_rank_enum: [active_product_canonical, package_canonical, package_projection_support, support_only, guidance_only, derived_non_authority, evidence_only, operational_local]
+tracking_policy_enum: [tracked_required, tracked_forbidden, local_only, tracked_only_with_explicit_admission]
+mutability_enum: [human_admitted, package_admitted, package_projected, generated_reproducible, operational_snapshot, disposable]
 semantic_constraints:
   - every_candidate_file_gets_exactly_one_surface_class
   - unclassified_files_fail_closed
-  - product_authority_classes_must_not_contain_lifecycle_state_or_audit_coverage
+  - product_authority_classes_must_not_contain_operational_or_audit_state
   - generated_and_derived_classes_are_never_authority
+  - tracked_derived_projection_requires_host_spec_layout_admission
   - package_methodology_and_package_spec_remain_package_owned
-  - nimicoding_managed_projection_may_exist_in_host_project_but_is_not_product_authority
-  - host_projection_anchor_must_be_minimal_and_must_not_copy_package_body
-  - support_registry_must_not_store_run_or_coverage_status
-  - candidate_roadmap_must_not_live_under_.nimi/spec
+  - nimicoding_managed_projection_is_not_product_authority
   - tracked_non_product_outputs_require_tracked_output_admission

package/contracts/table-family.schema.yaml

@@ -127,7 +127,7 @@ forbidden_fields_by_authority_class:
 semantic_constraints:
   - kernel_tables_path_is_not_authority_without_table_family
   - support_registry_may_register_evidence_commands_but_not_current_coverage
-  - lifecycle_state_and_audit_coverage_must_move_local
+  - operational_state_and_audit_coverage_must_move_local
   - unknown_table_family_fails_closed
   - product_authority_table_rows_must_define_stable_product_facts
   - release_gate_registry_must_use_gate_registry_family_not_closed_enum