@nimiplatform/nimi-coding 0.1.0

package/contracts/orchestration-state.schema.yaml

@@ -0,0 +1,41 @@
+id: nimi-coding.orchestration-state.v1
+kind: orchestration-state
+required:
+  - state_id
+  - topic_id
+  - packet_ref
+  - run_status
+  - current_phase_id
+  - last_completed_phase_id
+  - awaiting_human_action
+  - updated_at
+  - owner
+optional:
+  - pause_reason
+  - notification_refs
+  - current_prompt_ref
+  - latest_worker_output_ref
+  - latest_acceptance_ref
+  - latest_evidence_refs
+  - started_at
+run_status_enum:
+  - running
+  - paused
+  - awaiting_confirmation
+  - completed
+  - failed
+  - superseded
+notification_ref_required:
+  - event
+  - correlation_id
+rules:
+  - packet_ref must resolve to an execution packet artifact
+  - current_phase_id and last_completed_phase_id must be null or existing packet phase ids
+  - running state requires current_phase_id
+  - paused state requires current_phase_id, pause_reason, and awaiting_human_action
+  - awaiting_confirmation state requires current_phase_id and awaiting_human_action and is legacy-only for older runs
+  - failed state requires awaiting_human_action
+  - completed state requires last_completed_phase_id and must not carry current_phase_id, awaiting_human_action, or pause_reason
+  - resume_token and transport secrets are forbidden
+  - notification_refs entries may track event/correlation emission refs, but they must not become notification log state ownership
+  - orchestration state must not encode semantic acceptance or finding judgments

package/contracts/overflow-continuation.schema.yaml

@@ -0,0 +1,12 @@
+id: nimicoding.overflow-continuation.v1
+kind: overflow-continuation
+required:
+  - topic_id
+  - wave_id
+  - overflowed_packet_id
+  - manager_judgement
+  - continuation_packet_id
+  - same_owner_domain
+rules:
+  - overflow continuation must not be used to hide a cross-domain scope expansion
+  - same_owner_domain must be explicit and true before continuation is admitted

package/contracts/packet.schema.yaml

@@ -0,0 +1,30 @@
+id: nimicoding.topic-packet.v1
+kind: topic-packet
+required:
+  - packet_id
+  - topic_id
+  - wave_id
+  - packet_kind
+  - status
+  - authority_owner
+  - canonical_seams
+  - forbidden_shortcuts
+  - acceptance_invariants
+  - negative_tests
+  - reopen_conditions
+status_enum:
+  - draft
+  - preflight
+  - candidate
+  - admitted
+  - dispatched
+  - closed
+  - superseded
+freeze_allowed_status_enum:
+  - draft
+  - preflight
+  - candidate
+rules:
+  - packet must not be admitted unless all six design fields are explicit
+  - packet must name only one primary wave owner domain
+  - packet must not encode scheduler/runtime transport ownership

package/contracts/pending-note.schema.yaml

@@ -0,0 +1,17 @@
+id: nimicoding.pending-note.v1
+kind: pending-note
+required:
+  - pending_note_id
+  - topic_id
+  - entered_from_state
+  - reason
+  - summary
+  - status
+status_enum:
+  - active
+  - resumed
+  - closed
+rules:
+  - pending note must exist before topic enters pending
+  - pending note must declare explicit reopen criteria or close trigger
+  - pending note must not coexist with active implementation tracking

package/contracts/prompt.schema.yaml

@@ -0,0 +1,12 @@
+id: nimi-coding.prompt.v1
+kind: prompt
+required_blocks:
+  - Task Goal
+  - Authority Reads
+  - Confirmed State
+  - Hard Constraints
+  - Must Complete
+  - Explicit Non-Goals
+  - Required Checks
+  - Required Final Output Format
+  - Blocker Escalation Rule

package/contracts/remediation.schema.yaml

@@ -0,0 +1,16 @@
+id: nimicoding.remediation.v1
+kind: remediation
+required:
+  - remediation_id
+  - topic_id
+  - wave_id
+  - kind
+  - reason
+kind_enum:
+  - a
+  - b
+  - continuation
+  - execution_state_closure
+rules:
+  - remediation kind must use a package-owned enum
+  - continuation remediation must preserve packet lineage to the overflowed scope

package/contracts/result.schema.yaml

@@ -0,0 +1,24 @@
+id: nimicoding.topic-result.v1
+kind: topic-result
+required:
+  - result_id
+  - topic_id
+  - wave_id
+  - result_kind
+  - verdict
+  - verified_at
+verified_at_format: iso8601_utc_timestamp
+verdict_enum:
+  - PASS
+  - NEEDS_REVISION
+  - FAIL
+  - OVERFLOW
+result_kind_enum:
+  - preflight
+  - implementation
+  - audit
+  - judgement
+rules:
+  - OVERFLOW is distinct from PASS and FAIL
+  - audit verdict must not be stronger than attached evidence
+  - result must not silently reopen a retired wave

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

@@ -0,0 +1,31 @@
+version: 1
+audit_contract:
+  id: canonical_spec_generation_audit
+  target_ref: .nimi/spec/_meta/spec-generation-audit.yaml
+required_top_level_fields:
+  - generation_mode
+  - canonical_target_root
+  - declared_profile
+  - input_roots
+  - files
+required_file_entry_fields:
+  - canonical_path
+  - file_class
+  - source_refs
+  - source_basis
+  - coverage_status
+  - unresolved_items
+source_basis_enum:
+  - grounded
+  - mixed_grounded_and_inferred
+  - inferred
+coverage_status_enum:
+  - complete
+  - partial
+  - placeholder_not_allowed
+hard_constraints:
+  - every_generated_canonical_file_requires_a_matching_audit_entry
+  - required_canonical_files_must_not_be_placeholder_not_allowed
+  - unresolved_or_inferred_content_must_be_explicit
+  - source_refs_must_stay_within_declared_inputs_or_optional_benchmark_root
+  - no_empty_success_looking_audit_entries

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

@@ -0,0 +1,39 @@
+version: 1
+input_contract:
+  id: canonical_spec_generation_inputs
+  target_root: .nimi/spec
+  mode_enum:
+    - mixed
+  benchmark_mode_enum:
+    - none
+    - repo_spec_blueprint
+    - custom_blueprint
+  acceptance_mode_enum:
+    - canonical_tree_validity_without_blueprint
+    - semantic_and_structural_parity_when_blueprint_exists
+required_fields:
+  - mode
+  - canonical_target_root
+  - code_roots
+  - docs_roots
+  - structure_roots
+  - human_note_paths
+  - benchmark_blueprint_root
+  - benchmark_mode
+  - acceptance_mode
+  - generation_order
+  - inference_rules
+generation_order_enum:
+  - index
+  - kernel_markdown
+  - kernel_tables
+  - generated_views
+  - thin_guides
+hard_constraints:
+  - canonical_target_root_must_be_.nimi/spec
+  - benchmark_blueprint_root_is_optional
+  - benchmark_blueprint_root_must_not_be_required_for_ordinary_projects
+  - mixed_inputs_may_include_code_docs_structure_and_human_notes
+  - kernel_markdown_and_kernel_tables_take_priority_over_generated_views_and_guides
+  - local_report_markdown_paths_must_use_topic_lifecycle_shape
+  - human_authored_topic_reports_must_use_.nimi/topics_as_canonical_root

package/contracts/spec-reconstruction-result.yaml

@@ -0,0 +1,37 @@
+version: 1
+result_contract:
+  id: delegated_spec_reconstruction_result
+summary_required_fields:
+  - generated_paths
+  - audit_ref
+  - coverage_summary
+  - unresolved_file_count
+  - inferred_file_count
+  - status
+  - summary
+  - verified_at
+summary_status_enum:
+  - reconstructed
+  - partial
+  - blocked
+canonical_tree_completion:
+  profile_ref: .nimi/spec/_meta/spec-tree-model.yaml
+  generation_inputs_ref: .nimi/config/spec-generation-inputs.yaml
+  audit_contract_ref: .nimi/contracts/spec-generation-audit.schema.yaml
+  audit_ref: .nimi/spec/_meta/spec-generation-audit.yaml
+  required_tree_state: canonical_tree_ready
+  required_files_valid: true
+completion_requirements:
+  - canonical_tree_ready
+  - declared_profile_required_files_valid
+  - declared_file_class_constraints_valid
+  - spec_generation_audit_present_and_valid
+  - required_canonical_files_have_matching_audit_entries
+  - unresolved_gaps_must_remain_explicit
+  - blocked_must_be_reported_by_the_external_host
+  - semantic_and_structural_parity_when_blueprint_exists
+locality: local_only
+semantic_constraints:
+  - do_not_promote_closeout_summary_to_project_truth
+  - treat_declared_blueprint_as_benchmark_only_not_canonical_output_root
+  - completed_reconstruction_means_reconstructed_or_partial_only

package/contracts/topic-goal.schema.yaml

@@ -0,0 +1,78 @@
+id: nimicoding.topic-goal.v1
+kind: topic-goal-readiness-result
+canonical_owner: nimi-coding/contracts/topic-goal.schema.yaml
+host_projection_ref: .nimi/contracts/topic-goal.schema.yaml
+projection_rule: host projection must be byte-aligned with this package contract
+output_contract:
+  required:
+    - ok
+    - topic_id
+    - topic_ref
+    - topic_state
+    - true_close_status
+    - profile
+    - selected_next_target
+    - selected_wave_id
+    - topic_state_hash
+    - readiness
+    - goal_command
+    - source_artifacts
+    - validation_commands
+    - human_gates
+    - refusal_reasons
+  nullable:
+    - selected_wave_id
+    - goal_command
+readiness_check_shape:
+  required:
+    - id
+    - status
+    - severity
+    - message
+  status_enum:
+    - pass
+    - fail
+  severity_enum:
+    - info
+    - blocking
+validation_command_shape:
+  required:
+    - command
+    - cwd
+    - profile
+    - scope
+    - required
+    - expected_exit_code
+refusal_reason_enum:
+  - topic_validate_failed
+  - topic_graph_validate_failed
+  - topic_not_ongoing
+  - true_close_not_started_required
+  - strict_policy_ignored
+  - parallel_truth_not_forbidden
+  - unknown_profile
+  - selected_target_not_wave
+  - selected_wave_mismatch
+  - wave_override_forbidden
+  - selected_wave_not_executable
+  - dependency_not_terminal
+  - missing_primary_closure_goal
+  - forbidden_shortcuts_incomplete
+  - forbidden_shortcuts_catalog_drift
+  - required_artifact_missing
+  - unresolved_placeholder
+  - stop_line_missing
+  - human_gates_missing
+  - validation_commands_missing
+  - closeout_criteria_missing
+  - authority_owner_missing
+  - work_type_missing
+  - authority_alignment_missing
+  - host_projection_drift
+  - goal_too_large
+rules:
+  - slash output is emitted only when ok=true
+  - json output is emitted for ready and refused cases
+  - goal_command must be null whenever ok=false
+  - topic-goal output is a projection and must not mutate topic state
+  - host projection drift is a readiness refusal when the host projection exists

package/contracts/topic-run-ledger.schema.yaml

@@ -0,0 +1,72 @@
+id: nimicoding.topic-run-ledger.v1
+kind: topic-run-ledger
+ledger_required:
+  - ledger_id
+  - topic_id
+  - run_id
+  - kind
+  - run_status
+  - event_count
+  - event_refs
+  - latest_event_ref
+  - current_wave_id
+  - latest_decision_ref
+  - latest_packet_ref
+  - latest_prompt_ref
+  - latest_result_ref
+  - latest_closeout_ref
+  - current_human_gate
+  - retry_posture
+  - updated_at
+event_required:
+  - event_id
+  - topic_id
+  - run_id
+  - event_index
+  - event_kind
+  - stop_class
+  - recommended_action
+  - source_ref
+  - summary
+  - recorded_at
+  - artifact_refs
+event_kind_enum:
+  - decision_emitted
+  - wave_admitted
+  - packet_frozen
+  - worker_dispatched
+  - audit_dispatched
+  - result_recorded
+  - human_gate_opened
+  - human_gate_resolved
+  - wave_closed
+  - topic_closed
+  - runner_blocked
+run_status_enum:
+  - running
+  - awaiting_human_confirmation
+  - awaiting_external_evidence
+  - blocked
+  - completed
+artifact_ref_keys:
+  - decision_ref
+  - packet_ref
+  - prompt_ref
+  - worker_output_ref
+  - audit_output_ref
+  - result_ref
+  - closeout_ref
+  - evidence_ref
+retry_posture_enum:
+  - not_applicable
+  - retry_allowed_same_command
+  - retry_requires_new_packet
+  - retry_forbidden_until_human_gate
+rules:
+  - run events are append-only topic artifacts
+  - the ledger is a rebuildable projection from run events
+  - event stop_class and recommended_action must use the topic-step-decision contract enums
+  - continue events may record mechanically executed wave admission, packet freeze, and dispatch lineage without opening a human gate
+  - require_human_confirmation opens current_human_gate unless resolved by a later human_gate_resolved event
+  - completed must not imply semantic promotion or true-close
+  - no event may encode transport secrets or host resume tokens

package/contracts/topic-step-decision.schema.yaml

@@ -0,0 +1,45 @@
+id: nimicoding.topic-step-decision.v1
+kind: topic-step-decision
+required:
+  - decision_id
+  - topic_id
+  - wave_id
+  - decision_kind
+  - stop_class
+  - recommended_action
+  - reason_code
+  - requires_human_confirmation
+  - recommended_decision
+  - recommendation_rationale
+  - expected_artifacts
+  - next_command_ref
+stop_class_enum:
+  - continue
+  - require_human_confirmation
+  - await_external_evidence
+  - blocked
+  - completed
+recommended_action_enum:
+  - admit_wave
+  - freeze_packet
+  - dispatch_worker
+  - dispatch_audit
+  - record_result
+  - open_remediation
+  - continue_overflow
+  - hold_topic
+  - resume_topic
+  - closeout_wave
+  - closeout_topic
+  - no_action
+rules:
+  - continue must carry a concrete placeholder-free next_command_ref for a mechanically executable package-owned command
+  - continue may represent a lifecycle transition when the selected target and command inputs are uniquely determined
+  - require_human_confirmation must carry a recommended_decision and recommendation_rationale
+  - require_human_confirmation is reserved for manager judgement, branch selection, ambiguous input, overflow continuation, or other non-mechanical gates
+  - phase transitions must use continue when selected target and command inputs are uniquely determined, including lineage-backed wave closeout and dependency-ready next-wave admission
+  - post-spec-update review is the exception to mechanical phase transition continuation; after a spec/authority/redesign implementation PASS, run-next-step must use require_human_confirmation with reason_code=spec_update_review_required until a fresh judgement PASS is recorded
+  - await_external_evidence must be used when worker, audit, or result evidence is not yet available
+  - blocked must carry blocking_checks or a reason_code that names the failed gate
+  - completed must not imply semantic promotion or true-close
+  - decision output must not mutate topic state

package/contracts/topic.schema.yaml

@@ -0,0 +1,65 @@
+id: nimicoding.topic.v1
+kind: topic
+required:
+  - topic_id
+  - state
+  - created_at
+  - last_transition_at
+  - last_transition_reason
+  - title
+  - mode
+  - posture
+  - design_policy
+  - parallel_truth
+  - layering
+  - risk
+  - applicability
+  - entry_justification
+  - execution_mode
+  - selected_next_target
+  - current_true_close_status
+  - forbidden_shortcuts
+state_enum:
+  - proposal
+  - ongoing
+  - pending
+  - closed
+mode_enum:
+  - greenfield
+  - landed
+  - superseding
+posture_enum:
+  - no_legacy_hard_cut
+  - backward_compat
+design_policy_enum:
+  - complete_contract_first
+  - mvp_incremental
+parallel_truth_enum:
+  - forbidden
+  - admitted
+layering_enum:
+  - ontology
+  - time_phased
+risk_enum:
+  - high
+  - low
+applicability_enum:
+  - authority_bearing
+  - high_risk_refactor
+  - multi_wave_iteration
+  - complex_remediation
+execution_mode_enum:
+  - inline_manager_worker
+  - manager_worker_auditor
+true_close_status_enum:
+  - not_started
+  - pending
+  - true_closed
+  - revoked
+  - superseded
+rules:
+  - topic_id must remain date-first and sortable
+  - state records coarse lifecycle root posture, not every fine-grained machine state
+  - low-risk topics are exceptional and require explicit entry_justification
+  - topic must not exist without a selected_next_target once active execution is admitted
+  - forbidden_shortcuts must use package-owned catalog keys or declared topic-local extensions

package/contracts/true-close.schema.yaml

@@ -0,0 +1,15 @@
+id: nimicoding.true-close.v1
+kind: true-close
+required:
+  - topic_id
+  - status
+  - audit_ref
+  - judgement_ref
+status_enum:
+  - pending
+  - passed
+  - revoked
+  - superseded
+rules:
+  - passed true close may later become revoked
+  - revoked true close must point at the follow-up audit or remediation lineage

package/contracts/wave.schema.yaml

@@ -0,0 +1,29 @@
+id: nimicoding.wave.v1
+kind: wave
+required:
+  - wave_id
+  - slug
+  - state
+  - primary_closure_goal
+  - deps
+  - owner_domain
+  - parallelizable_after
+  - selected
+state_enum:
+  - candidate
+  - preflight_draft
+  - preflight_admitted
+  - implementation_admitted
+  - implementation_active
+  - needs_revision
+  - overflowed
+  - continuation_packet_open
+  - closed
+  - retired
+  - superseded
+rules:
+  - deps must reference only existing wave ids inside the same topic
+  - selected true is allowed for at most one active wave in a topic
+  - retired or superseded waves must not remain dispatchable
+  - overflowed is a lifecycle state and must not be normalized to closed without explicit continuation or trim judgement
+  - continuation_packet_open means overflow continuation has been explicitly admitted and linked to a frozen continuation packet

package/contracts/worker-output.schema.yaml

@@ -0,0 +1,15 @@
+id: nimi-coding.worker-output.v1
+kind: worker-output
+required_blocks:
+  - Findings
+  - Implementation summary
+  - Files changed
+  - Checks run
+  - Remaining gaps / risks
+  - Runner Signal
+optional_blocks:
+  - Chosen decision
+  - Authority / spec impact
+  - Guard behavior decision
+  - Next implementation step
+  - Remaining blockers

package/methodology/audit-sweep-p0p1-recall.yaml

@@ -0,0 +1,45 @@
+version: 1
+methodology:
+  id: audit_sweep_p0p1_recall
+  owner: nimi-coding/audit-sweep
+  purpose: Increase critical/high finding recall without turning every sweep into
+    an unbounded full audit.
+  activation_criteria:
+    - p0p1
+    - p0-p1
+    - p0
+    - p1
+    - critical-high
+    - critical_high
+  strategy:
+    mode: p0_p1_triage_then_deep
+    stages:
+      - triage every selected chunk against priority P0/P1 defect classes
+      - deep-audit only candidate P0/P1 signals, high-risk owner domains, or
+        calibration expected-defect chunks
+      - cluster duplicate symptoms under one canonical root-cause finding
+      - pause discovery when risk budget gates require remediation or admission
+  severity_mapping:
+    p0: critical
+    p1: high
+  priority_defect_classes:
+    - fail_open_or_pseudo_success
+    - authority_boundary_bypass
+    - unadmitted_truth_or_evidence_source
+    - partial_coverage_misrepresented_as_complete
+    - state_divergence_or_lost_update
+    - security_or_permission_bypass
+    - destructive_action_without_gate
+    - package_boundary_violation
+  no_p0p1_finding_requirement:
+    required: true
+    reasoning_field: coverage.p0p1_negative_reasoning
+    evidence_refs_field: coverage.p0p1_evidence_refs
+    evidence_refs_must_include_implementation: true
+    summary: If no critical/high finding is emitted, the auditor must explain why
+      applicable priority defect classes did not produce a P0/P1 issue and cite
+      implementation evidence.
+  non_goals:
+    - exhaustive proof that no issue exists
+    - new finding output format
+    - treating calibration fixture metadata as product findings

package/methodology/authority-convergence-policy.yaml

@@ -0,0 +1,42 @@
+version: 1
+authority_convergence_policy:
+  gate_id: pre_implementation_authority_convergence
+  purpose: >
+    Require an independent auditor pass after authority/spec changes and before
+    implementation dispatch, without making any concrete AI host runtime part of
+    nimicoding semantic truth.
+  trigger_packet_kinds:
+    - authority
+    - spec
+    - redesign
+    - preflight
+  trigger_ref_prefixes:
+    - .nimi/spec/
+  trigger_topic_fields:
+    work_type:
+      - redesign
+  required_result:
+    result_kind: audit
+    pass_verdict: PASS
+  post_update_review:
+    trigger_packet_kinds:
+      - authority
+      - spec
+      - redesign
+    trigger_ref_prefixes:
+      - .nimi/spec/
+    required_result:
+      result_kind: judgement
+      pass_verdict: PASS
+  blocked_verdicts:
+    - NEEDS_REVISION
+    - FAIL
+  dispatch:
+    pre_implementation_role: auditor
+    implementation_role: worker
+  hard_constraints:
+    - auditor_output_is_candidate_evidence_only
+    - manager_records_audit_result_before_implementation_dispatch
+    - unresolved_blocking_findings_fail_closed
+    - deferred_items_must_be_explicitly_non_blocking
+    - concrete_subagent_mechanics_belong_to_adapter_profiles_not_methodology_semantics