@mirnoorata/codexa 0.5.1 → 0.7.0

package/dist/types.d.ts

@@ -153,6 +153,17 @@ export interface WorkflowStep {
     confidence: Confidence;
     reason: string;
 }
+export type PacketSummarySource = "deterministic" | "external" | "llm-ready";
+export interface PacketEvidenceProfile {
+    symbolSources?: Partial<Record<FactSource, number>>;
+    edgeSources?: Partial<Record<FactSource, number>>;
+    edgeConfidence?: Partial<Record<Confidence, number>>;
+    workflowConfidence?: Partial<Record<Confidence, number>>;
+    riskConfidence?: Partial<Record<Confidence, number>>;
+    staticAnalysisSymbolCount?: number;
+    lspSymbolCount?: number;
+    deterministicSymbolCount?: number;
+}
 export interface WorkflowTraceFact extends BaseFact {
     type: "WorkflowTrace";
     workflowKind: "route" | "job" | "test" | "manifest" | "module";
@@ -164,6 +175,29 @@ export interface WorkflowTraceFact extends BaseFact {
     steps: WorkflowStep[];
     summary: string;
     rank: number;
+    processKind?: "entry-process" | "intra-module-process" | "cross-module-process";
+    entryScore?: number;
+    terminalFiles?: string[];
+    relatedModules?: string[];
+    stepCounts?: Partial<Record<WorkflowStep["kind"], number>>;
+    evidenceCounts?: Partial<Record<Confidence, number>>;
+    evidenceProfile?: PacketEvidenceProfile;
+    summarySource?: PacketSummarySource;
+    summaryPrompt?: string;
+    truncation?: {
+        relatedFiles?: {
+            total: number;
+            returned: number;
+        };
+        tests?: {
+            total: number;
+            returned: number;
+        };
+        steps?: {
+            total: number;
+            returned: number;
+        };
+    };
 }
 export interface ModuleClusterFact extends BaseFact {
     type: "ModuleCluster";
@@ -171,6 +205,42 @@ export interface ModuleClusterFact extends BaseFact {
     files: string[];
     summary: string;
     rank: number;
+    clusterKind?: "path" | "functional";
+    sourceModules?: string[];
+    communityScore?: number;
+    topFiles?: string[];
+    topSymbols?: string[];
+    workflows?: string[];
+    tests?: string[];
+    risks?: string[];
+    relationCount?: number;
+    crossModuleRelationCount?: number;
+    evidenceCounts?: Partial<Record<Confidence, number>>;
+    evidenceProfile?: PacketEvidenceProfile;
+    summarySource?: PacketSummarySource;
+    summaryPrompt?: string;
+    truncation?: {
+        files?: {
+            total: number;
+            returned: number;
+        };
+        symbols?: {
+            total: number;
+            returned: number;
+        };
+        workflows?: {
+            total: number;
+            returned: number;
+        };
+        tests?: {
+            total: number;
+            returned: number;
+        };
+        risks?: {
+            total: number;
+            returned: number;
+        };
+    };
 }
 export interface RiskSignalFact extends BaseFact {
     type: "RiskSignal";
@@ -453,7 +523,7 @@ export interface ComplexityReviewData extends QueryObject {
     items: ComplexityReviewItem[];
     invariants: string[];
 }
-export type QueryResultMode = "context_pack" | "task_brief" | "focus_brief" | "session_context" | "change_plan" | "post_edit_review" | "test_plan" | "repo_map" | "search" | "find_context" | "symbol_context" | "impact" | "diff_impact" | "callers" | "callees" | "dependency_path" | "workflow_path" | "placeholder_report" | "session_memory" | "freshness";
+export type QueryResultMode = "context_pack" | "task_brief" | "focus_brief" | "session_context" | "change_plan" | "post_edit_review" | "test_plan" | "repo_map" | "search" | "find_context" | "symbol_context" | "impact" | "diff_impact" | "callers" | "callees" | "dependency_path" | "workflow_path" | "placeholder_report" | "session_memory" | "freshness" | "proof_card";
 export interface BaseQueryData {
     mode: QueryResultMode;
     task?: string;
@@ -585,6 +655,10 @@ export interface PostEditReviewData extends BaseQueryData {
 }
 export interface TestPlanData extends BaseQueryData {
     mode: "test_plan";
+    actionability?: string;
+    targetFiles?: string[];
+    unindexedTargetFiles?: string[];
+    rejectedTargetFiles?: string[];
     changedFiles?: string[];
     changedEntries?: ChangedFileEntry[];
     changedSymbols?: CompactChangedSymbol[];
@@ -600,7 +674,20 @@ export interface TestPlanData extends BaseQueryData {
     verificationLedger?: VerificationLedgerEntry[];
     testsNotRun?: TestRecommendation[];
 }
-export type CodexaQueryData = ContextPacketData | FocusBriefData | ChangePlanData | PostEditReviewData | TestPlanData;
+export interface ProofCardData extends BaseQueryData {
+    mode: "proof_card";
+    actionability?: string;
+    repoRoot?: string;
+    freshness?: QueryObject;
+    readFirst?: QueryObject[];
+    snapshot?: QueryObject;
+    verification?: QueryObject;
+    policies?: QueryObject;
+    trustPosture?: string[];
+    nextCommands?: string[];
+    gaps?: string[];
+}
+export type CodexaQueryData = ContextPacketData | FocusBriefData | ChangePlanData | PostEditReviewData | TestPlanData | ProofCardData;
 export type ChangeType = "style" | "api" | "behavior" | "rename" | "delete" | "unknown";
 export interface ContextPackInput {
     task?: string;

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AA63BA,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAU,CAAC;AACjE,MAAM,CAAC,MAAM,gDAAgD,GAAG,qBAAqB,CAAC;AACtF,MAAM,CAAC,MAAM,6CAA6C,GAAG,qBAAqB,CAAC;AACnF,MAAM,CAAC,MAAM,2BAA2B,GAAG,wBAAwB,CAAC;AAUpE,MAAM,CAAC,MAAM,+BAA+B,GAA2B;IACrE,aAAa,EAAE,sCAAsC;IACrD,yBAAyB,EAAE,yBAAyB;IACpD,gCAAgC,EAAE,gDAAgD;IAClF,6BAA6B,EAAE,6CAA6C;IAC5E,yBAAyB,EAAE,2BAA2B;CACvD,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAg8BA,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAU,CAAC;AACjE,MAAM,CAAC,MAAM,gDAAgD,GAAG,qBAAqB,CAAC;AACtF,MAAM,CAAC,MAAM,6CAA6C,GAAG,qBAAqB,CAAC;AACnF,MAAM,CAAC,MAAM,2BAA2B,GAAG,wBAAwB,CAAC;AAUpE,MAAM,CAAC,MAAM,+BAA+B,GAA2B;IACrE,aAAa,EAAE,sCAAsC;IACrD,yBAAyB,EAAE,yBAAyB;IACpD,gCAAgC,EAAE,gDAAgD;IAClF,6BAA6B,EAAE,6CAA6C;IAC5E,yBAAyB,EAAE,2BAA2B;CACvD,CAAC"}

package/integrations/.claude-plugin/marketplace.json

@@ -8,7 +8,7 @@
       "name": "codexa",
       "source": "./claude-code",
       "description": "Codexa for Claude Code. MCP server exposes evidence-backed repo context tools; SessionStart injects repo context, PreToolUse saves an implicit pre-edit baseline, Stop runs the post-edit drift review and surfaces blocking drift to the model. Slash commands wrap the codexa CLI.",
-      "version": "0.5.1",
+      "version": "0.7.0",
       "category": "development",
       "tags": [
         "codexa",

package/integrations/claude-code/.claude-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "codexa",
-  "version": "0.5.1",
+  "version": "0.7.0",
   "description": "Codexa for Claude Code. MCP server exposes evidence-backed repo context tools; SessionStart injects repo context, PreToolUse saves an implicit pre-edit baseline, Stop runs the post-edit drift review and surfaces blocking drift to the model. Slash commands wrap the codexa CLI.",
   "author": {
     "name": "Codexa"

package/integrations/claude-code/README.md

@@ -42,6 +42,7 @@ Slash commands available to Claude:
 | ------------------ | ------------------------------------ |
 | `/codexa-status`   | `codexa status <repo>`               |
 | `/codexa-brief`    | `codexa brief <repo> --diff`         |
+| `/codexa-prove`    | `codexa prove <repo> --diff`         |
 | `/codexa-plan`     | `codexa change-plan --save-snapshot` |
 | `/codexa-review`   | `codexa post-edit-review`            |
 | `/codexa-impact`   | `codexa impact` / `diff-impact`      |
@@ -60,7 +61,7 @@ They do not maintain a separate index, ranking layer, planner, or source-editing
 path. The primary Codexa path stays:
 
 ```text
-session_context -> task_brief -> change_plan(saveSnapshot) -> post_edit_review -> test_plan
+session_context -> task_brief -> change_plan(saveSnapshot) -> post_edit_review -> test_plan -> proof_card
 ```
 
 Use `symbol_context`, `impact`, `callers`, and `callees` when Claude needs to
@@ -80,6 +81,12 @@ Treat `codexa/integrations/` as a local Claude Code plugin marketplace. It
 ships inside the npm package, so both a git checkout and an npm install work
 as the marketplace source.
 
+For a repo that should be ready for both proof cards and Claude hook guidance:
+
+```bash
+codexa init <repo> --claude-md --policy-pack
+```
+
 ### Quick, supported path (persistent)
 
 From a Claude Code session:

package/integrations/claude-code/commands/codexa-prove.md

@@ -0,0 +1,12 @@
+---
+description: Print a Codexa proof card for the current repo and task
+argument-hint: "[task description]"
+disable-model-invocation: true
+allowed-tools: Bash(bash:*)
+---
+
+Ask Codexa for a compact proof card. It reports freshness, dirty-tree state,
+read-first files, saved change-plan snapshot status, verification commands that
+would earn credit, local policy-pack status, trust posture, and remaining gaps.
+
+!`bash "${CLAUDE_PLUGIN_ROOT}/scripts/cmd/prove.sh" "$ARGUMENTS"`

package/integrations/claude-code/scripts/cmd/prove.sh

@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+set -u
+CMD_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd -P)"
+# shellcheck source=lib.sh
+. "$CMD_DIR/lib.sh"
+
+raw_args="${1-}"
+
+repo="$(cmd_require_codexa_repo)" || exit 1
+cmd_require_codexa_cli
+
+cli_args=(prove "$repo" --diff)
+if [[ -n "$raw_args" ]]; then
+  cli_args+=(--task "$raw_args")
+fi
+
+exec "$NODE_BIN" "$CODEXA_CLI" "${cli_args[@]}"

package/integrations/claude-code/tests/cmd-smoke.sh

@@ -156,6 +156,27 @@ else
   fail "brief passes the full task string through --task, preserving spaces" "rc=$LAST_RC stdout='$LAST_STDOUT'"
 fi
 
+# ---------- prove ----------
+section "prove.sh"
+
+run_cmd "prove.sh" "" "$REPO"
+if [[ $LAST_RC -eq 0 ]] && printf '%s' "$LAST_STDOUT" | grep -Fxq "ARG: prove" \
+   && printf '%s' "$LAST_STDOUT" | grep -Fxq "ARG: --diff"; then
+  pass "prove with no arguments prints a repo proof card"
+else
+  fail "prove with no arguments prints a repo proof card" "rc=$LAST_RC stdout='$LAST_STDOUT'"
+fi
+
+PROVE_TASK="fix behavior; rm -rf /"
+run_cmd "prove.sh" "$PROVE_TASK" "$REPO"
+if [[ $LAST_RC -eq 0 ]] && printf '%s' "$LAST_STDOUT" | grep -Fxq "ARG: prove" \
+   && printf '%s' "$LAST_STDOUT" | grep -Fxq "ARG: $PROVE_TASK" \
+   && ! printf '%s' "$LAST_STDOUT" | grep -q "^rm: "; then
+  pass "prove treats the full argument string as task text"
+else
+  fail "prove treats the full argument string as task text" "rc=$LAST_RC stdout='$LAST_STDOUT'"
+fi
+
 # ---------- plan ----------
 section "plan.sh"
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mirnoorata/codexa",
-  "version": "0.5.1",
+  "version": "0.7.0",
   "mcpName": "io.github.mirnoorata/codexa",
   "description": "Codex-native codebase intelligence context compiler and query-only MCP server.",
   "keywords": [

package/plugins/codexa/.codex-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "codexa",
-  "version": "0.5.1",
+  "version": "0.7.0",
   "description": "Codex-native codebase intelligence workflows, MCP setup, and edit accountability for repositories indexed by Codexa.",
   "author": {
     "name": "Codexa maintainers",

package/plugins/codexa/skills/codexa/SKILL.md

@@ -10,7 +10,7 @@ Use this skill when a task involves understanding, editing, reviewing, or verify
 ## Operating Rules
 
 1. Resolve the active repository first. If the repo has `.codex/config.toml`, use the project-local Codexa MCP server. If the MCP server is unavailable, run the equivalent `codexa` CLI command from the repository.
-2. Primary Codexa path: `session_context -> search(if target unclear) -> task_brief -> change_plan(saveSnapshot) -> post_edit_review -> test_plan`.
+2. Primary Codexa path: `session_context -> search(if target unclear) -> task_brief -> change_plan(saveSnapshot) -> post_edit_review -> test_plan -> proof_card`.
 3. For broad tasks, call `session_context` first. If the target is unclear or `actionability` says `needs_target`, `raw_search_better`, or `raw_search_sufficient`, use first-class `search` or ask for an explicit target before planning edits.
 4. For code edits, debugging, reviews, or non-trivial refactors, call `search` first when the target is unclear; otherwise call `task_brief` before reading or editing source.
 5. For symbol-level changes, call `symbol_context` or `impact` when you need callers, callees, implementations, tests, risks, edge evidence, or the next exact Codexa tool.
@@ -38,6 +38,7 @@ codexa impact . --symbol "<symbol_or_stable_id>"
 codexa change-plan . --task "<task>" --save-snapshot --task-id "<task_id>"
 codexa post-edit-review . --task-id "<task_id>" --ran-command "<command>"
 codexa test-plan .
+codexa prove . --task "<task>" --task-id "<task_id>" --ran-command "<command>"
 codexa serve . --transport http --host 127.0.0.1 --port 8729
 ```