@nimiplatform/nimi-coding 0.2.8 → 0.3.0

package/contracts/tracked-output-admission.schema.yaml

@@ -1,70 +1,17 @@
-version: 1
+version: 2
 contract:
-  id: nimicoding.tracked-output-admission.v1
+  id: nimicoding.tracked-output-admission.v2
   owner: nimi-coding
-  purpose: Define the only allowed path for tracked non-product artifacts.
-required_top_level_fields:
-  - version
-  - admissions
-  - allowed_roots
-  - privacy_posture_enum
-  - semantic_constraints
-admission_required_fields:
-  - artifact_class
-  - root
-  - owner
-  - schema_ref
-  - privacy_posture
-  - retention
-  - regeneration_or_review_command
-  - drift_check_command
-  - forbidden_fields
-  - max_size_policy
-  - non_parallel_truth_basis
-shared_enum_ref: shared-enums.yaml
-artifact_class_enum:
-  - derived_manifest
-  - derived_summary
-  - state_manifest
-  - audit_index
-  - audit_summary
-  - roadmap_index
-  - roadmap_summary
+  purpose: Make every tracked non-product output explicit and narrow.
+required_top_level_fields: [version, admissions, semantic_constraints]
+admission_required_fields: [root, allowed_artifact_classes, owner, rationale, validation_commands]
 admissions: []
-allowed_roots:
-  - .nimi/derived/**
-  - .nimi/state/**
-  - .nimi/audit/**
-  - .nimi/roadmap/**
-privacy_posture_enum:
-  - non_private
-  - redacted
-retention_enum:
-  - compact_manifest
-  - compact_summary
-  - compact_index
-max_size_policy_required_fields:
-  - max_files
-  - max_bytes_per_file
-  - max_rows_per_file
-non_parallel_truth_basis_enum:
-  - indexes_authority_refs_without_rule_body
-  - summarizes_redacted_evidence_without_raw_payload
-  - records_regeneration_metadata_without_generated_body
-  - records_product_facing_roadmap_without_implementation_authority
-forbidden_fields:
-  - raw_audit_transcript
-  - private_prompt
-  - private_finding_detail
-  - product_rule_body
-  - package_methodology_body
-  - current_run_ledger
-  - raw_evidence_payload
-  - personal_or_secret_data
+default_policy:
+  tracked_non_product_outputs: forbidden_without_explicit_admission
+  local_operational_outputs_root: .nimi/local
+  generated_views: stdout_only
 semantic_constraints:
-  - tracked_non_product_roots_are_disabled_without_admission
-  - empty_admissions_means_all_tracked_non_product_roots_fail_closed
-  - admission_must_prove_artifact_is_compact_non_private_and_non_parallel_truth
-  - audit_raw_materials_are_never_tracked_by_this_contract
-  - generated_views_must_be_reproducible_if_tracked
-  - roadmap_records_must_not_authorize_implementation
+  - empty_admission_list_is_valid_and_means_no_tracked_non_product_outputs
+  - admission_does_not_promote_output_to_product_authority
+  - output_root_must_not_overlap_.nimi/spec
+  - validation_commands_must_be_deterministic

package/methodology/core.yaml

@@ -1,25 +1,33 @@
-version: 1
-product:
-  package_name: "@nimiplatform/nimi-coding"
-  repository_stage: bootstrap
-truth_model:
-  root: ".nimi"
-  methodology_in_project: true
-  ai_native_first: true
-  human_projection: derived_only
-execution_bootstrap:
-  self_hosting: false
-  current_governance_mode: main_repo_nimi_coding
-  local_topic_runtime_admitted: false
-methodology_posture:
-  risk_shape: authority_bearing_or_high_risk_only
-  execution_default: inline_manager_worker
-  continuity_model: continuity_agnostic
-entry_policy:
-  high_risk_work_requires_methodology: true
-  small_low_risk_changes_need_topic: false
-deferred_surfaces:
-  - skill_runtime
-  - skill_installation_runtime
-  - self_hosting_execution
-  - project_local_topic_runtime
+version: 3
+methodology:
+  id: nimi-coding
+  mission: Preserve explicit product authority while AI-assisted changes are designed, implemented, and verified by the host environment.
+  package_boundary:
+    owns:
+      - methodology_principles
+      - spec_construction_contracts
+      - managed_methodology_and_contract_projections
+      - deterministic_spec_and_governance_validation
+    does_not_own:
+      - task_planning
+      - task_state
+      - agent_delegation
+      - implementation_execution
+      - review_or_approval_state
+      - provider_runtime
+  principles:
+    - authority_before_convenience
+    - explicit_complexity_over_ambiguous_simplicity
+    - root_cause_over_local_patch
+    - no_pseudo_success
+    - evidence_must_not_override_authority
+    - generated_views_are_never_canonical
+    - unresolved_semantic_forks_fail_closed
+  authority_order:
+    - host_product_spec
+    - package_methodology_and_contracts
+    - local_non_authority_evidence
+    - implementation
+  host_integration:
+    execution_owner: host_native_capabilities
+    constraint: nimi-coding_outputs_may_inform_but_must_not_orchestrate_host_execution

package/methodology/four-closure-policy.yaml

@@ -1,28 +1,20 @@
-version: 1
+version: 2
 four_closure_policy:
+  purpose: Require independent proof that a material change is complete.
   closures:
-    - authority
-    - semantic
-    - consumer
-    - drift_resistance
-  rule:
-    all_four_must_be_explicit_for_wave_closeout: true
-  wave_closeout_evidence:
-    require_packet_lineage: true
-    require_result_lineage: true
-  true_close_audit_evidence:
-    require_wave_closeout_for_closed_waves: true
-    require_packet_lineage_for_closed_waves: true
-    require_result_lineage_for_closed_waves: true
-  authority_examples:
-    - canonical_owner_is_unique
-    - no_parallel_truth_remains
-  semantic_examples:
-    - required_fields_and_failure_modes_are_pinned
-    - complex_cases_are_not_deferred_as_assumptions
-  consumer_examples:
-    - normal_consumers_use_the_correct_seam
-    - shortcuts_cannot_silently_become_mainline_truth
-  drift_resistance_examples:
-    - forbidden_shortcuts_are_explicit
-    - future_implementers_cannot_easily_thin_the_design
+    functional:
+      question: Does the implemented behavior satisfy the admitted product rules?
+      required_evidence: executable_tests_or_equivalent_deterministic_proof
+    negative:
+      question: Are forbidden and failure paths explicitly exercised?
+      required_evidence: negative_tests_or_contract_refusals
+    structural:
+      question: Does the result preserve module, dependency, and authority boundaries?
+      required_evidence: build_lint_static_checks_and_boundary_validators
+    drift_resistance:
+      question: Will deterministic checks reject a future divergence?
+      required_evidence: committed_validator_or_reproducible_check
+  acceptance:
+    all_four_must_be_explicit_for_material_change: true
+    missing_closure_is_not_success: true
+    evidence_format_and_review_process_are_host_owned: true

package/methodology/role-separation-policy.yaml

@@ -1,28 +1,22 @@
-version: 1
+version: 2
 role_separation_policy:
-  roles:
-    manager:
-      owns:
-        - wave_graph
-        - packet_admission
-        - manager_judgement
-        - closeout_sync
-      must_not:
-        - silently_implement_production_scope_while_changing_semantics
-    worker:
-      owns:
-        - one_admitted_packet
-        - bounded_write_set_execution
-      must_not:
-        - widen_owner_domain
-        - weaken_fail_closed_rules
-    auditor:
-      owns:
-        - structural_review
-        - drift_detection
-        - closure_verification
-        - pre_implementation_authority_convergence_evidence
-      must_not:
-        - silently_turn_missing_scope_into_future_follow_up
-        - mutate_authority_or_implementation_while_auditing
-        - decide_semantic_acceptance_or_packet_admission
+  purpose: Prevent one perspective from silently defining authority, implementation, and acceptance.
+  logical_responsibilities:
+    authority_authoring:
+      owns: [product_intent, normative_rules, explicit_semantic_decisions]
+      must_not_self_validate: implementation_conformance
+    implementation:
+      owns: [code_changes, migrations, executable_tests]
+      must_not_self_authorize: product_semantic_changes
+    verification:
+      owns: [contract_checks, negative_evidence, structural_and_drift_proof]
+      must_not_rewrite: product_authority_to_make_results_pass
+  separation_rule:
+    required: responsibilities_remain_distinguishable_in_evidence_and_decisions
+    mechanism: host_owned
+    physical_agent_or_session_topology: not_prescribed
+  failure_conditions:
+    - implementation_invents_missing_authority
+    - verification_accepts_pseudo_success
+    - generated_evidence_is_promoted_to_authority
+    - unresolved_owner_ambiguity_is_silently_resolved

package/methodology/spec-reconstruction.yaml

@@ -1,49 +1,32 @@
-version: 2
+version: 3
 reconstruction:
-  required: true
-  owner: nimi-coding
+  id: spec_reconstruction
+  owner: host_product_team
+  package_role: contracts_methodology_and_deterministic_validation
+  execution_owner: host_native_capabilities
   generation_inputs_ref: .nimi/config/spec-generation-inputs.yaml
   surface_taxonomy_ref: .nimi/contracts/surface-taxonomy.schema.yaml
   placement_contract_ref: .nimi/contracts/placement-contract.schema.yaml
   table_family_contract_ref: .nimi/contracts/table-family.schema.yaml
   domain_admission_contract_ref: .nimi/contracts/domain-admission.schema.yaml
   tracked_output_admission_contract_ref: .nimi/contracts/tracked-output-admission.schema.yaml
-  spec_tree_model_ref: .nimi/contracts/surface-taxonomy.schema.yaml
-  result_contract_ref: .nimi/contracts/spec-reconstruction-result.yaml
-  trigger:
-    bootstrap_state: bootstrap_only
   goals:
     - establish_project_canonical_rule_root
-    - classify_every_spec_surface_before_generation
+    - classify_every_input_before_generation
     - keep_product_authority_under_.nimi/spec
     - keep_package_methodology_under_nimi-coding
-    - keep_generation_audit_state_under_.nimi/local/state/spec-generation
-    - keep_audit_evidence_under_.nimi/local/audit
+    - keep_generation_state_under_.nimi/local/state/spec-generation
+    - keep_verification_evidence_under_.nimi/local/audit
     - separate_product_authority_tables_from_support_registries
     - reject_generated_views_as_authority_inputs
-    - reject_lifecycle_state_as_product_authority
-    - accept_mixed_inputs_only_through_class_filtered_inputs
     - preserve_authority_explicitness
     - stop_on_authority_ambiguity
   target_root: .nimi/spec
   audit_root: .nimi/local/state/spec-generation/spec-generation-audit.yaml
   target_tree_shape:
-    required_surface_classes:
-      - product_authority
-      - product_authority_table
-      - thin_guidance
-    optional_surface_classes:
-      - 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
+    required_surface_classes: [product_authority, product_authority_table, thin_guidance]
+    optional_surface_classes: [host_projection_anchor, support_registry, host_instruction, tracked_derived_projection]
+    forbidden_surface_classes: [derived_view, spec_generation_state, audit_evidence_state, operational_local_artifact, nimicoding_managed_projection, methodology_authority]
     minimal_required_outputs:
       - .nimi/spec/INDEX.md
       - .nimi/spec/project/kernel/index.md
@@ -69,18 +52,18 @@ reconstruction:
   hard_constraints:
     - no_human_friendly_parallel_truth
     - no_silent_authority_inference
-    - no_project_source_mutation_during_reconstruction
     - write_product_authority_outputs_only_under_.nimi/spec
     - write_file_level_generation_audit_under_.nimi/local/state/spec-generation
-    - never_write_generation_audit_under_.nimi/spec/_meta
+    - never_write_generation_audit_under_.nimi/spec
     - every_generated_canonical_file_requires_explicit_source_basis_and_unresolved_gap_tracking
     - every_input_file_requires_surface_class_before_generation
     - package_methodology_and_package_spec_must_not_be_promoted_into_.nimi/spec
     - host_projection_anchors_must_be_minimal_and_admitted
     - unresolved_ambiguity_must_remain_explicit
-    - do_not_treat_repo_local_support_files_as_canonical_tree_completion
-  lifecycle_contract_ref: .nimi/contracts/spec-reconstruction-result.yaml
+    - nimi_coding_must_not_create_or_manage_host_execution_state
   completion_gate:
-    bootstrap_state_tree_state: canonical_tree_ready
-    required_profile: surface_taxonomy_v1
+    required_profile: surface_taxonomy_v2
     audit_contract_ref: .nimi/contracts/spec-generation-audit.schema.yaml
+    validation_commands:
+      - pnpm exec nimicoding validate-spec-tree -- .nimi/spec
+      - pnpm exec nimicoding validate-spec-audit -- .nimi/local/state/spec-generation/spec-generation-audit.yaml

package/package.json

@@ -1,8 +1,8 @@
 {
   "name": "@nimiplatform/nimi-coding",
-  "version": "0.2.8",
+  "version": "0.3.0",
   "private": false,
-  "description": "AI-native coding governance toolkit for bootstrapping .nimi/** into arbitrary projects.",
+  "description": "AI-native methodology, spec construction, and deterministic governance validation.",
   "license": "MIT",
   "homepage": "https://docs.nimi.ai/nimicoding",
   "repository": {
@@ -38,13 +38,11 @@
     "nimicoding"
   ],
   "dependencies": {
-    "@openai/codex-sdk": "^0.124.0",
     "yaml": "^2.8.1"
   },
   "files": [
     "bin",
     "cli",
-    "adapters",
     "config",
     "contracts",
     "methodology",

package/spec/_meta/spec-tree-model.yaml

@@ -1,6 +1,6 @@
-version: 2
+version: 3
 spec_tree_model:
-  profile: surface_taxonomy_v1
+  profile: surface_taxonomy_v2
   product_authority_root: .nimi/spec
   package_authority_root: package://@nimiplatform/nimi-coding
   authority_mode: surface_class_validated
@@ -13,118 +13,23 @@ spec_tree_model:
     domain_admission: package://@nimiplatform/nimi-coding/contracts/domain-admission.schema.yaml
     tracked_output_admission: package://@nimiplatform/nimi-coding/contracts/tracked-output-admission.schema.yaml
     migration_inventory: package://@nimiplatform/nimi-coding/contracts/migration-inventory.schema.yaml
-    workflow_consumer: package://@nimiplatform/nimi-coding/contracts/workflow-consumer.schema.yaml
   domains:
     - id: project
       root: .nimi/spec/project
       authority_class: active_product
       allowed_surface_classes: [product_authority, product_authority_table, thin_guidance, support_registry]
-  product_authority_classes:
-    - id: product_authority
-      path_patterns:
-        - .nimi/spec/**/kernel/*.md
-      allowed_extensions:
-        - .md
-      authority_rank: active_product_canonical
-      required_admission: domain_admission
-    - id: product_authority_table
-      path_patterns:
-        - .nimi/spec/**/kernel/tables/**/*.yaml
-        - .nimi/spec/**/kernel/tables/**/*.yml
-      allowed_extensions:
-        - .yaml
-        - .yml
-      authority_rank: active_product_canonical
-      required_admission: domain_admission_and_table_family
-  guidance_classes:
-    - id: thin_guidance
-      path_patterns:
-        - .nimi/spec/**/*.md
-      excluded_path_patterns:
-        - .nimi/spec/**/kernel/*.md
-      must_reference_product_authority_ids: true
-      must_not_define_rule_body: true
-      authority_rank: guidance_only
-  non_authority_classes:
-    - id: derived_view
-      allowed_roots:
-        - stdout_view
-      forbidden_roots:
-        - .nimi/spec/**/kernel/generated/**
-        - .nimi/spec/generated/**
-      tracking_policy: untracked_stdout_only
-    - id: spec_generation_state
-      allowed_roots:
-        - .nimi/local/state/spec-generation/**
-      forbidden_roots:
-        - .nimi/spec/_meta/spec-generation-audit.yaml
-        - .nimi/spec/_meta/spec-generation-audit/**
-      tracking_policy: local_only
-    - id: audit_evidence_state
-      allowed_roots:
-        - .nimi/local/audit/**
-      forbidden_roots:
-        - .nimi/spec/**
-      tracking_policy: local_only
-    - id: lifecycle_progress_state
-      allowed_roots:
-        - .nimi/topics/**
-        - .nimi/local/state/**
-      forbidden_roots:
-        - .nimi/spec/**
-      tracking_policy: local_only
-    - id: candidate_roadmap
-      allowed_roots:
-        - .nimi/topics/**
-      forbidden_roots:
-        - .nimi/spec/**
-      tracking_policy: local_only
-  package_authority_classes:
-    - id: methodology_authority
-      allowed_roots:
-        - package://@nimiplatform/nimi-coding/spec/**
-        - package://@nimiplatform/nimi-coding/methodology/**
-        - package://@nimiplatform/nimi-coding/contracts/**
-        - package://@nimiplatform/nimi-coding/config/**
-      forbidden_roots:
-        - .nimi/spec/**
-      authority_rank: package_canonical
-  support_classes:
-    - id: host_projection_anchor
-      allowed_roots:
-        - .nimi/spec/_meta/<package>-admission-anchor.yaml
-        - .nimi/config/host-overlay.yaml
-      required_contract: package://@nimiplatform/nimi-coding/contracts/projection-edge.schema.yaml
-      must_be_minimal: true
-    - id: nimicoding_managed_projection
-      allowed_roots:
-        - .nimi/methodology/**
-        - .nimi/contracts/**
-        - .nimi/config/**
-      required_contract: package://@nimiplatform/nimi-coding/contracts/projection-edge.schema.yaml
   required_files:
-    surface_taxonomy_v1:
+    surface_taxonomy_v2:
       - .nimi/spec/INDEX.md
       - .nimi/spec/project/kernel/index.md
       - .nimi/spec/project/kernel/core-rules.md
       - .nimi/spec/project/kernel/tables/rule-catalog.yaml
-    minimal:
-      - .nimi/spec/INDEX.md
-      - .nimi/spec/project/kernel/index.md
-      - .nimi/spec/project/kernel/core-rules.md
-      - .nimi/spec/project/kernel/tables/rule-catalog.yaml
-    standard:
-      - .nimi/spec/INDEX.md
-    mature:
-      - .nimi/spec/INDEX.md
   generated_pipelines:
     - id: spec_human_doc
-      owner_surface: nimi-coding
       input_contract_ref: package://@nimiplatform/nimi-coding/contracts/spec-generation-inputs.schema.yaml
       input_config_ref: package://@nimiplatform/nimi-coding/config/spec-generation-inputs.yaml
       output_class: derived_view
-      output_roots:
-        - stdout_view
+      output_roots: [stdout_view]
       audit_output_root: .nimi/local/state/spec-generation
       generate_command: pnpm exec nimicoding generate-spec-derived-docs --profile nimi --scope spec-human-doc
       drift_check_command: pnpm exec nimicoding generate-spec-derived-docs --profile nimi --scope spec-human-doc --check
@@ -135,6 +40,5 @@ spec_tree_model:
     - domain_roots_must_not_escape_product_authority_root
     - product_authority_table_without_table_family_is_invalid
     - generated_outputs_must_not_overlap_product_authority_roots
-    - audit_and_lifecycle_state_must_not_live_under_.nimi/spec
+    - operational_and_audit_state_must_not_live_under_.nimi/spec
     - package_methodology_must_not_be_copied_to_host_product_authority
-    - future_or_backlog_content_under_.nimi/spec_is_invalid

package/spec/product-scope.yaml

@@ -1,59 +1,27 @@
-version: 2
+version: 3
 product:
   package_name: "@nimiplatform/nimi-coding"
-  mission: ai_native_coding_governance_toolkit
-target_experience:
-  install_step: "npm install -D @nimiplatform/nimi-coding"
-  bootstrap_step: "npx nimicoding start"
-  reconstruction_owner: ai_skills
-  canonical_spec_root: ".nimi/spec"
-  phase_one_posture: contract_and_checklist_only
-methodology_posture:
-  risk_shape: authority_bearing_or_high_risk_only
-  execution_default: inline_manager_worker
-  continuity_model: continuity_agnostic
-standalone_completion:
-  profile: boundary_complete
-  completed_surfaces:
-    - bootstrap
-    - doctor
-    - handoff
-    - sweep_audit
-    - sweep_design
-    - validators
-    - topic_lifecycle_report_methodology
-    - closeout
-    - ingest
-    - review
-    - decision
-    - admission
-    - host_overlay_recognition
-  deferred_execution_surfaces:
-    - packet_bound_run_kernel
-    - provider_backed_execution
-    - scheduler
-    - notification
-    - automation_backend
-    - multi_topic_orchestration
-  promoted_parity_gap_summary:
-    - packet_bound_run_kernel
-    - provider_backed_execution
-    - scheduler_automation_notification
-canonical_spec_model:
-  state_carrier_ref: package://@nimiplatform/nimi-coding/spec/bootstrap-state.yaml
-  posture_carrier_ref: package://@nimiplatform/nimi-coding/spec/product-scope.yaml
-  phase_one_contracts:
-    - package://@nimiplatform/nimi-coding/spec/_meta/spec-tree-model.yaml
-    - package://@nimiplatform/nimi-coding/spec/_meta/command-gating-matrix.yaml
-    - package://@nimiplatform/nimi-coding/spec/_meta/spec-authority-cutover-readiness.yaml
-    - package://@nimiplatform/nimi-coding/spec/_meta/generate-drift-migration-checklist.yaml
-    - package://@nimiplatform/nimi-coding/spec/_meta/governance-routing-cutover-checklist.yaml
-    - package://@nimiplatform/nimi-coding/spec/_meta/phase2-impacted-surface-matrix.yaml
-    - package://@nimiplatform/nimi-coding/spec/bootstrap-state.yaml
-    - package://@nimiplatform/nimi-coding/spec/product-scope.yaml
-    - package://@nimiplatform/nimi-coding/contracts/sweep-design-result.yaml
-  blocked_until_phase_two:
-    - command_behavior_rewrites_not_admitted
-    - authority_cutover_not_admitted
-    - physical_spec_tree_migration_not_admitted
-  high_risk_admission_evidence: .nimi/local/high-risk-admissions.yaml
+  mission: methodology_spec_construction_and_deterministic_validation
+owned_surfaces:
+  - bootstrap_and_sync_of_managed_.nimi_projections
+  - methodology_principles
+  - spec_surface_taxonomy_and_placement_contracts
+  - spec_construction_inputs_and_generation_audit_contracts
+  - deterministic_spec_governance_and_ai_governance_checks
+out_of_scope:
+  - planning_or_task_lifecycle
+  - agent_or_provider_orchestration
+  - implementation_execution
+  - review_approval_or_completion_state
+  - host_prompt_or_context_management
+  - scheduling_notifications_and_automation
+integration_contract:
+  host_owns_execution: true
+  nimi_coding_may_emit_non_mutating_analysis: true
+  nimi_coding_may_validate_declared_artifacts: true
+  nimi_coding_must_not_create_host_execution_state: true
+canonical_roots:
+  package_authority: package://@nimiplatform/nimi-coding
+  host_product_authority: .nimi/spec
+  managed_projection_roots: [.nimi/config, .nimi/contracts, .nimi/methodology]
+  local_non_authority_root: .nimi/local

package/adapters/README.md

@@ -1,25 +0,0 @@
-# Adapters
-
-This directory holds optional runtime-adapter guidance for external execution
-hosts.
-
-Adapters in this package do not become methodology owners. They exist to map
-project-local `.nimi/**` truth into a host-specific execution surface while
-preserving these boundaries:
-
-- `.nimi/**` remains the semantic owner.
-- External hosts may own operational state, transport, routing, and execution
-  continuity.
-- Native host review features may provide evidence or risk signals only.
-- External hosts must not redefine acceptance, disposition, or canonical
-  project truth.
-
-Admitted adapter sketches:
-
-- [`codex`](./codex/README.md) — native Codex SDK host via `@openai/codex-sdk`
-- [`oh-my-codex`](./oh-my-codex/README.md) — external execution host via JSON handoff
-- [`claude`](./claude/README.md) — inline coding host via CLAUDE.md + PreToolUse hooks
-
-The package-owned host-agnostic baseline for any external host lives in
-`.nimi/contracts/external-host-compatibility.yaml`. Named adapter overlays may
-specialize that baseline, but they do not replace it.