@korallis/k-pi 0.1.0

package/dist/kpi/schemas/evidence.schema.json

@@ -0,0 +1,43 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "evidence.schema.json",
+  "title": "K-pi evidence",
+  "type": "object",
+  "required": ["head", "commands", "ac_results"],
+  "properties": {
+    "head": {
+      "type": "string",
+      "minLength": 1
+    },
+    "commands": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/commandRecord" }
+    },
+    "ac_results": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/acResult" }
+    }
+  },
+  "$defs": {
+    "commandRecord": {
+      "type": "object",
+      "required": ["cmd", "exit"],
+      "properties": {
+        "cmd": { "type": "string", "minLength": 1 },
+        "exit": { "type": "integer" },
+        "excerpt": { "type": "string" }
+      },
+      "additionalProperties": false
+    },
+    "acResult": {
+      "type": "object",
+      "required": ["id", "passed"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "passed": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

package/dist/kpi/schemas/stack.schema.json

@@ -0,0 +1,102 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "stack.schema.json",
+  "title": "K-pi Dune stack",
+  "type": "object",
+  "required": [
+    "version",
+    "shape",
+    "delivery",
+    "root",
+    "modules",
+    "scaffold_first"
+  ],
+  "properties": {
+    "version": {
+      "const": 1
+    },
+    "shape": {
+      "const": "dune"
+    },
+    "delivery": {
+      "enum": [
+        "vertical",
+        "horizontal"
+      ]
+    },
+    "delivery_reason": {
+      "type": "string",
+      "minLength": 1
+    },
+    "root": {
+      "type": "string",
+      "minLength": 1
+    },
+    "scaffold_first": {
+      "const": true
+    },
+    "task_hash": {
+      "type": "string",
+      "minLength": 1
+    },
+    "current_module_id": {
+      "type": "string",
+      "minLength": 1
+    },
+    "modules": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "$ref": "#/$defs/module"
+      }
+    }
+  },
+  "additionalProperties": false,
+  "$defs": {
+    "module": {
+      "type": "object",
+      "required": [
+        "id",
+        "purpose",
+        "folder",
+        "interface",
+        "allowed_paths",
+        "depends_on"
+      ],
+      "properties": {
+        "id": {
+          "type": "string",
+          "minLength": 1
+        },
+        "purpose": {
+          "type": "string",
+          "minLength": 1
+        },
+        "folder": {
+          "type": "string",
+          "minLength": 1
+        },
+        "interface": {
+          "type": "string",
+          "minLength": 1
+        },
+        "allowed_paths": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        },
+        "depends_on": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        }
+      },
+      "additionalProperties": false
+    }
+  }
+}

package/dist/kpi/schemas/task.schema.json

@@ -0,0 +1,165 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "task.schema.json",
+  "title": "K-pi task",
+  "type": "object",
+  "required": [
+    "job_id",
+    "mode",
+    "goal",
+    "nongoals",
+    "acceptance",
+    "constraints",
+    "quality_gates",
+    "ac"
+  ],
+  "properties": {
+    "job_id": {
+      "type": "string",
+      "pattern": "^[a-z0-9]+(?:-[a-z0-9]+)*$",
+      "maxLength": 128
+    },
+    "mode": {
+      "enum": ["gated", "autopilot"]
+    },
+    "goal": {
+      "type": "string",
+      "minLength": 1
+    },
+    "nongoals": {
+      "type": "array",
+      "items": { "type": "string" }
+    },
+    "acceptance": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/acceptanceCriterion" }
+    },
+    "constraints": {
+      "type": "array",
+      "items": { "type": "string" }
+    },
+    "quality_gates": {
+      "type": "array",
+      "items": { "type": "string", "minLength": 1 }
+    },
+    "ac": {
+      "type": "object",
+      "required": ["quality"],
+      "properties": {
+        "quality": {
+          "enum": ["executable", "partial", "narrative"]
+        }
+      },
+      "additionalProperties": false
+    },
+    "playbook": {
+      "type": "string",
+      "minLength": 1
+    },
+    "playbook_steps": {
+      "type": "array",
+      "minItems": 1,
+      "items": { "$ref": "#/$defs/playbookStep" }
+    },
+    "runtime_dependencies": {
+      "type": "array",
+      "items": { "type": "string", "minLength": 1 }
+    },
+    "dependency_baseline": {
+      "type": "array",
+      "items": { "type": "string", "minLength": 1 }
+    },
+    "limits": { "$ref": "#/$defs/taskLimits" },
+    "current_module_id": {
+      "type": "string",
+      "minLength": 1
+    },
+    "research_network": { "enum": ["auto", "offline"] }
+  },
+  "dependentRequired": {
+    "playbook": ["playbook_steps"],
+    "playbook_steps": ["playbook"]
+  },
+  "$defs": {
+    "playbookStep": {
+      "type": "object",
+      "required": ["node", "text"],
+      "properties": {
+        "node": { "type": "string", "minLength": 1 },
+        "text": { "type": "string", "minLength": 1 },
+        "skip": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": false
+    },
+    "taskLimits": {
+      "type": "object",
+      "properties": {
+        "maxSteps": { "type": "integer", "minimum": 1 },
+        "maxNodeRuns": { "type": "integer", "minimum": 1 },
+        "maxConcurrency": { "type": "integer", "minimum": 1 },
+        "maxRounds": { "type": "integer", "minimum": 1 },
+        "maxTransientRetries": { "type": "integer", "minimum": 1 },
+        "maxCostUsd": { "type": "number", "exclusiveMinimum": 0 },
+        "timeoutMs": { "type": "number", "minimum": 1 }
+      },
+      "additionalProperties": false
+    },
+    "acceptanceCriterion": {
+      "type": "object",
+      "required": ["id", "statement", "required"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "statement": { "type": "string", "minLength": 1 },
+        "required": { "type": "boolean" },
+        "check": { "$ref": "#/$defs/acceptanceCheck" },
+        "bounds": { "$ref": "#/$defs/acceptanceBounds" }
+      },
+      "additionalProperties": false
+    },
+    "acceptanceCheck": {
+      "type": "object",
+      "required": ["kind"],
+      "properties": {
+        "kind": {
+          "enum": [
+            "command",
+            "file_exists",
+            "file_absent",
+            "grep_empty",
+            "grep_matches",
+            "json_path",
+            "http_probe"
+          ]
+        },
+        "cmd": { "type": "string", "minLength": 1 },
+        "expect": {
+          "type": "object",
+          "properties": {
+            "exit": { "type": "integer" },
+            "stdout_includes": {
+              "type": "array",
+              "items": { "type": "string" }
+            }
+          },
+          "additionalProperties": false
+        }
+      },
+      "additionalProperties": true
+    },
+    "acceptanceBounds": {
+      "type": "object",
+      "properties": {
+        "write_allow": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "write_deny": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

package/dist/kpi/schemas/verdict.schema.json

@@ -0,0 +1,44 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "verdict.schema.json",
+  "title": "K-pi verdict",
+  "type": "object",
+  "required": [
+    "status",
+    "approved",
+    "blockingIssues",
+    "nonBlockingIssues",
+    "evidence",
+    "round",
+    "output_fingerprint"
+  ],
+  "properties": {
+    "status": {
+      "enum": ["PASS", "REVISE", "BLOCKED"]
+    },
+    "approved": {
+      "type": "boolean"
+    },
+    "blockingIssues": {
+      "type": "array",
+      "items": { "type": "string" }
+    },
+    "nonBlockingIssues": {
+      "type": "array",
+      "items": { "type": "string" }
+    },
+    "evidence": {
+      "type": "array",
+      "items": { "type": "string" }
+    },
+    "round": {
+      "type": "integer",
+      "minimum": 0
+    },
+    "output_fingerprint": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    }
+  },
+  "additionalProperties": false
+}

package/dist/kpi/skills/concise-output/SKILL.md

@@ -0,0 +1,10 @@
+---
+name: concise-output
+description: Use whenever writing to the user.
+---
+
+# Concise output
+
+Lead with the verdict. Then give only relevant paths, commands, evidence, and the next action.
+
+Do not narrate routine work, restate the request, or reproduce board state in chat. Never claim completion without fresh verification.

package/dist/kpi/skills/context-pack/SKILL.md

@@ -0,0 +1,10 @@
+---
+name: context-pack
+description: Use at job start to freeze the minimum repository and task context needed by graph workers.
+---
+
+# Context pack
+
+Build run-scoped `context.md` from the goal or frozen plan, applicable `AGENTS.md`, repository structure, relevant existing patterns, constraints, and quality gates. Prefer file-backed facts over conversation memory. Include exact source paths and omit secrets, generated output, unrelated files, and speculative decisions.
+
+Once execution begins, acceptance criteria and frozen plan fingerprints do not change. A mismatch requires a plan check or human decision.

package/dist/kpi/skills/conventional-commit/SKILL.md

@@ -0,0 +1,12 @@
+---
+name: conventional-commit
+description: Use only in the ship node after gated approval to create the local commit.
+---
+
+# Conventional commit
+
+Create exactly one local commit for the approved candidate. Its subject must match:
+
+`^(feat|fix|docs|refactor|test|chore)(\(.+\))?: `
+
+Choose the narrowest accurate type and optional scope. Use an imperative summary tied to the frozen goal. Do not amend unrelated history, push, deploy, or include files outside the approved candidate.

package/dist/kpi/skills/isolated-review/SKILL.md

@@ -0,0 +1,10 @@
+---
+name: isolated-review
+description: Use in the isolated, read-only reviewer node after fresh verification evidence exists.
+---
+
+# Isolated review
+
+Read the frozen task, candidate, current diff, and HEAD-bound evidence without relying on implementer conversation. Check every required acceptance criterion, write bounds, and claimed command result. Do not modify repository files.
+
+Return only a verdict matching `schemas/verdict.schema.json`. `approved` is true only when status is `PASS`, blocking issues are empty, required evidence is fresh, and bounds held. Cite concrete paths or receipts in `evidence`.

package/dist/kpi/skills/kg-claim/SKILL.md

@@ -0,0 +1,26 @@
+---
+name: kg-claim
+description: Use when a decision should outlive the run, to propose a source-backed knowledge graph claim through the inbox.
+---
+
+# KG claim
+
+A claim that outlives the run is a record, not a sentence in chat. Propose it with `kg_propose`, which writes one patch to `.kpi/kg/inbox/`. The control plane is the only authoritative writer: it snapshots the prior state, validates the patch, stamps the next revision, and appends to `.kpi/kg/{nodes,edges,sources}.jsonl`.
+
+Never write those files, and never write `.kpi/kg/snapshots/`. Policy denies it, and a direct write would break the one-writer rule the store depends on.
+
+## Patch contract
+
+One patch carries a `source`, a `node`, an `edge`, or any combination, applied in that order so an edge may cite a source and a node the same patch adds.
+
+Every record carries `id`, `kind`, `source_ids`, `status`, `observed_at`. The control plane assigns `rev`; state one only when you mean the exact next revision.
+
+- `status` is `proposed | verified | rejected | superseded`. A claim you have not verified is `proposed`.
+- `observed_at` is an RFC 3339 instant, and `valid_from` / `valid_to` bound a claim that is only true for a period.
+- A `source` also carries `uri`. Register the source before, or in the same patch as, the claim that cites it.
+- A `node` and an `edge` must cite at least one existing source id. An unresolvable `source_ids` entry is rejected.
+- An `edge` also carries `from` and `to`, which must name known nodes, plus `confidence` between 0 and 1 when the edge is inferred rather than observed.
+
+## When not to claim
+
+Skip the claim for anything the run already records: acceptance criteria, evidence, verdicts, and commits live in the run store. Claim the durable decision and the source that justifies it.

package/dist/kpi/skills/minimalist/SKILL.md

@@ -0,0 +1,24 @@
+---
+name: minimalist
+description: Choose the smallest correct implementation before changing files
+---
+
+# Minimalist
+
+Adapted from Alireza Rezvani's `engineering/minimalist` skill under the MIT License.
+
+Before the first implementation change, write `candidate.json.ladder` with `ladder`, `used`, and `skipped`.
+
+Stop at the first rung that holds:
+
+1. YAGNI: do not build an unrequested capability.
+2. Reuse: use the repository's existing implementation.
+3. Standard library: use it directly.
+4. Native platform: prefer the runtime or operating system primitive.
+5. Existing dependency: use only dependencies already declared.
+6. One-liner: do not create a helper for one expression.
+7. Minimum code: write the smallest correct implementation.
+
+No new runtime dependency unless `task.json` explicitly names it. No utility module before a second caller. Proof gates still apply.
+
+Copyright © Alireza Rezvani. MIT License.

package/dist/kpi/skills/quality-gates/SKILL.md

@@ -0,0 +1,10 @@
+---
+name: quality-gates
+description: Use in tester and verify nodes to produce mechanical, HEAD-bound evidence.
+---
+
+# Quality gates
+
+Read `task.json.quality_gates`; those exact commands are authoritative and originate from project `AGENTS.md`. Run every required acceptance check and quality gate. Record command, exit code, concise excerpt, current HEAD, and per-criterion result in `evidence.json`.
+
+Any required non-zero command or stale HEAD is red. Never replace a required command with an easier proxy, infer success from model output, or omit a failing receipt.

package/dist/kpi/skills/spec-first/SKILL.md

@@ -0,0 +1,10 @@
+---
+name: spec-first
+description: Use for a non-trivial feature when frozen requirements, design, and tasks do not exist yet.
+---
+
+# Spec first
+
+Research repository behavior and existing conventions before planning. Write `specs/<id>/requirements.md`, `design.md`, and `tasks.md` before implementation. Requirements include observable acceptance criteria, constraints, and non-goals. Design identifies existing extension points and risks. Tasks are ordered vertical slices with explicit checks and write bounds.
+
+Do not implement production code. Do not invent evidence or mark narrative criteria executable.

package/dist/kpi/skills/tdd-cycle/SKILL.md

@@ -0,0 +1,10 @@
+---
+name: tdd-cycle
+description: Use when the implementer writes or changes production behavior.
+---
+
+# TDD cycle
+
+For non-trivial behavior, add or update the smallest test that expresses the frozen acceptance criterion. Run it before production changes and preserve the failing command, exit code, and relevant output in `evidence.json`. Implement only enough to make that behavior pass, then rerun the focused test.
+
+Never weaken an assertion to obtain green. Keep deterministic tests isolated and full-suite safe. A one-line fix may skip the red step only when `task.json` identifies it as trivial.

package/dist/kpi/templates/AGENTS.md

@@ -0,0 +1,31 @@
+# Project instructions
+
+## Commands
+
+- Setup: `<setup-command>`
+- Test: `<test-command>`
+- Lint: `<lint-command>`
+- Typecheck: `<typecheck-command>`
+
+## Quality gates
+
+Before completion, run `<test-command>`, `<lint-command>`, and `<typecheck-command>`. Record their outputs in the active run evidence.
+
+## Do not
+
+- Edit outside the active task bounds.
+- Push, deploy, delete production data, or expose secrets.
+- Add a runtime dependency unless the task contract names it.
+- Claim completion without fresh verification.
+
+## Loop protocol
+
+1. Read the task, research, plan, and current run files.
+2. Record the minimalist ladder decision before editing.
+3. Implement only the current vertical slice.
+4. Run the acceptance checks and quality gates.
+5. Leave irreversible actions to the outer loop.
+
+## Voice
+
+Keep user-visible answers short: verdict, paths, commands, next action.

package/dist/kpi/templates/APPEND_SYSTEM.md

@@ -0,0 +1,13 @@
+# K-π outer-loop instructions
+
+Keep Pi's default system instructions active and apply this file in addition.
+
+The outer loop owns node order, return paths, approval gates, and terminal state. Workers produce contract files; they do not declare the run complete.
+
+Keep user-visible answers short: verdict, paths, commands, next action. Do not narrate routine work or reproduce the control board in chat.
+
+Do not claim completion unless the responsible node ran and fresh verification exists. Prefer `task.json`, `candidate.json`, `evidence.json`, `verdict.json`, and `state.json` over guesses or chat memory.
+
+Irreversible external actions require a human gate or an evidence-backed deterministic `release.set` permitted by policy.
+
+Before attaching a new Anthropic subscription slot, show the extra-usage warning in the package accounts contract: harness usage may incur per-token extra usage and is not the in-app plan bar.

package/dist/kpi/templates/context-pack/product.md

@@ -0,0 +1,7 @@
+# Product context
+
+- Product: `<product-name>`
+- Users: `<primary-users>`
+- Goal: `<current-product-goal>`
+- Non-goals: `<explicit-non-goals>`
+- Acceptance criteria: `<executable-acceptance-criteria>`

package/dist/kpi/templates/context-pack/structure.md

@@ -0,0 +1,7 @@
+# Structure context
+
+- Source root: `<source-root>`
+- Capability folders: `<folder-map>`
+- Public interfaces: `<interface-paths>`
+- Test twins: `<test-paths>`
+- Active write bounds: `<allowed-paths>`

package/dist/kpi/templates/context-pack/tech.md

@@ -0,0 +1,9 @@
+# Technology context
+
+- Runtime: `<runtime-and-version>`
+- Package manager: `<package-manager>`
+- Frameworks: `<frameworks>`
+- Setup: `<setup-command>`
+- Test: `<test-command>`
+- Lint: `<lint-command>`
+- Typecheck: `<typecheck-command>`

package/dist/kpi/templates/policy.json

@@ -0,0 +1,17 @@
+{
+  "deny": [
+    "git push",
+    "git push --force",
+    "git reset --hard",
+    "rm -rf",
+    "chmod 777"
+  ],
+  "commit": {
+    "gated": "confirm",
+    "autopilot": "after-release"
+  },
+  "unknown": {
+    "gated": "confirm",
+    "autopilot": "deny"
+  }
+}

package/dist/kpi/themes/loop-amber.json

@@ -0,0 +1,82 @@
+{
+  "$schema": "https://raw.githubusercontent.com/earendil-works/pi/main/packages/coding-agent/src/modes/interactive/theme/theme-schema.json",
+  "name": "loop-amber",
+  "vars": {
+    "accent": "#ff6a1a",
+    "success": "#3dff6a",
+    "error": "#ff3b3b",
+    "warning": "#ffb020",
+    "text": "#ddd7ce",
+    "muted": "#948b80",
+    "dim": "#625c54",
+    "borderMuted": "#3d3832",
+    "selectedBg": "#3a2519",
+    "userMessageBg": "#2b211b",
+    "customMessageBg": "#241f1b",
+    "toolPendingBg": "#2d211a",
+    "toolSuccessBg": "#19301f",
+    "toolErrorBg": "#351b1b"
+  },
+  "colors": {
+    "accent": "#ff6a1a",
+    "border": "#78401f",
+    "borderAccent": "#ff6a1a",
+    "borderMuted": "borderMuted",
+    "success": "#3dff6a",
+    "error": "#ff3b3b",
+    "warning": "#ffb020",
+    "muted": "muted",
+    "dim": "dim",
+    "text": "text",
+    "thinkingText": "muted",
+    "selectedBg": "selectedBg",
+    "scrollbarThumb": "selectedBg",
+    "searchMatchBg": "selectedBg",
+    "searchMatchText": "text",
+    "userMessageBg": "userMessageBg",
+    "userMessageText": "text",
+    "customMessageBg": "customMessageBg",
+    "customMessageText": "text",
+    "customMessageLabel": "#ff6a1a",
+    "toolPendingBg": "toolPendingBg",
+    "toolSuccessBg": "toolSuccessBg",
+    "toolErrorBg": "toolErrorBg",
+    "toolTitle": "#ff6a1a",
+    "toolOutput": "muted",
+    "mdHeading": "warning",
+    "mdLink": "accent",
+    "mdLinkUrl": "dim",
+    "mdCode": "#ff9154",
+    "mdCodeBlock": "success",
+    "mdCodeBlockBorder": "borderMuted",
+    "mdQuote": "muted",
+    "mdQuoteBorder": "#78401f",
+    "mdHr": "borderMuted",
+    "mdListBullet": "accent",
+    "toolDiffAdded": "success",
+    "toolDiffRemoved": "error",
+    "toolDiffContext": "muted",
+    "syntaxComment": "#7f766c",
+    "syntaxKeyword": "#ff8a4c",
+    "syntaxFunction": "#ffc06b",
+    "syntaxVariable": "#ddd7ce",
+    "syntaxString": "#d7b56d",
+    "syntaxNumber": "#a7d98b",
+    "syntaxType": "#72d6b0",
+    "syntaxOperator": "#ff9154",
+    "syntaxPunctuation": "#b7afa5",
+    "thinkingOff": "dim",
+    "thinkingMinimal": "#766d63",
+    "thinkingLow": "#9a5935",
+    "thinkingMedium": "#c45b20",
+    "thinkingHigh": "accent",
+    "thinkingXhigh": "#ff9a63",
+    "thinkingMax": "#ffc09c",
+    "bashMode": "success"
+  },
+  "export": {
+    "pageBg": "#0d0e0e",
+    "cardBg": "#151515",
+    "infoBg": "#2d211a"
+  }
+}