@c4a/context-cli 0.6.19 → 0.7.0

package/providers/context/provider.yaml

@@ -1,12 +1,13 @@
 schema: agent-graph.provider.v1
 id: c4a/context
-version: 0.6.19
+version: 0.7.0
 name: Context workflow
 description: Internal work contract for Context knowledge workspaces.
 graphs:
   - graphs/workspace.yaml
+  - graphs/indexer.yaml
 catalogs:
   codes: codes.yaml
 compatibility:
-  agentGraph: ^0.2.6
+  agentGraph: ^0.2.7
   node: ">=20"

package/providers/context/resources/manuals/reference/code-extractors.md

@@ -44,10 +44,10 @@ Current reusable capabilities are:
 
 | Source fact | Preferred capability | Lifecycle integration |
 |---|---|---|
-| TypeScript/TSX package or file scope | `extractTs()` | Context-owned phase |
+| TypeScript/JavaScript package or TSX/JSX file scope | `extractTs()` | Context-owned phase |
 | Go declarations, imports, calls, and common HTTP routes | `@c4a/extract-go` | call from `extractCustom()` |
 | Rush workspace packages, tags, dependencies, entries, and owners | `@c4a/extract-rush` | call from `extractCustom()`; may complement a language extractor |
-| React Router route declarations | `extractReactRouterRoutes()` from `@c4a/extract-ts` | call from `extractCustom()`; complements TypeScript symbols |
+| React Router route declarations | `extractReactRouterRoutes()` from `@c4a/extract-ts` | call from `extractCustom()`; complements ECMAScript symbols |
 | Rust, Python, Java/JVM, or an unsupported framework/protocol | no assumed built-in parser | project-owned `extractCustom()` adapter |
 
 The custom extraction preview verifies this selection mechanically. Context

package/providers/context/resources/manuals/reference/project-api.md

@@ -593,7 +593,7 @@ does not infer relationships or inject relation markers into verbatim body.
 
 ### `extractTs`
 
-Extract exported TypeScript / TSX symbols into draft candidates:
+Extract exported TypeScript / JavaScript / TSX / JSX symbols into draft candidates:
 
 ```ts
 extractTs({
@@ -608,7 +608,7 @@ Options:
 |---|---|
 | `source` | `source("date", "module")` for one repo module |
 | `collection` | Code extraction uses `"codeindex"` |
-| `include` | Optional glob list inside the selected source; default is `["src/**/*.{ts,tsx}"]` |
+| `include` | Optional glob list inside the selected source; default is `["src/**/*.{ts,tsx,mts,cts,js,jsx,mjs,cjs}"]` |
 | `mode` | `"exports"` (default) traces public exports from automatic or configured entries; `"scan"` uses every file matched by `include` as an entry root |
 | `entries` | Optional source-relative entry files for `"exports"` mode. They override `package.json` entry detection and live only in the Context project configuration |
 | `exportedOnly` | Defaults to `true` in `"exports"` mode and `false` in `"scan"` mode |

package/providers/context/resources/procedures/code-extraction.md

@@ -77,6 +77,10 @@ separately, together with each index unit's output owner, output profile,
 projected Markdown count, total bytes, largest sampled page, and risk flags.
 For custom phases, also report detected structural probes, covered and uncovered
 probe counts, representative evidence paths, and the affected output profile.
+The preview command returns a bounded summary plus one digest-bound item view.
+Follow its `next_action.command` pages until `preview_items_complete` when the
+Route requires semantic scope, ownership, capability, or scale inspection;
+never recover omitted inventory with host-output slicing.
 Use resolved entry files, exported/internal counts, and symbol-kind counts as
 structural scope evidence only. Resolve TypeScript/JavaScript
 configuration and aliases through the extractor rather than guessing paths
@@ -124,7 +128,7 @@ Do not open Review while another extraction target in the same batch remains.
 Unchanged approved or rejected symbols do not need another decision; new or
 changed candidates remain subject to the current Review policy.
 
-For TypeScript sources, Context also carries extractor-reported AST relations
+For TypeScript, JavaScript, TSX, and JSX sources, Context also carries extractor-reported AST relations
 between selected symbols. A relation is projected only when both endpoints
 resolve uniquely inside the selected module; external, unselected, and
 ambiguous endpoints are counted as omissions instead of guessed. The extract
@@ -142,7 +146,7 @@ source-backed extraction that found no approved edges from an older or
 otherwise unknown relationship mode. Never infer missing edges from symbol
 co-occurrence, filenames, or package size.
 
-When the built-in TypeScript extractor cannot represent the code source, use a
+When the built-in ECMAScript-family extractor cannot represent the code source, use a
 declared `extractCustom` phase. The project-owned callback returns candidate
 semantics plus structured source evidence; Context owns canonical refs,
 fingerprints, candidate storage, Review snapshots, freshness, and rerun cleanup.

package/providers/context/resources/procedures/code-index-audit.md

@@ -13,6 +13,33 @@ scope, and decides whether the index is fit for its declared output profiles.
 Reader metrics exclude Context lifecycle comments and evidence annotations.
 Improve the source-backed knowledge itself; do not change Markdown syntax,
 sentence count, or pagination solely to influence a mechanical counter.
+The complete inventory is evidence, not the default reader-facing output. Do
+not create one sentence, bullet, table row, or page for every discovered file
+or symbol merely to satisfy coverage or density. Group related identities by a
+reader-visible capability, entrypoint, protocol boundary, lifecycle stage, or
+handoff, then explain the group's responsibility, stable inputs and outputs,
+state or failure boundary when applicable, next handoff, and exact supporting
+sources. A granular catalog is appropriate only for a declared public API,
+protocol, or command reference.
+
+When the report shows low density, add source-backed explanation or a complete
+relationship chain. Never add repeated `Observed ...` rows. When symbol
+coverage is low, use a verified evidence-backed group or a profile-appropriate
+catalog instead of copying the inventory into prose. Normalized template
+repetitions do not count as semantic facts, and enumeration-heavy output has a
+profile-specific ceiling.
+
+Identity groups and chain candidates are mechanical contracts, not optional
+notes. A group counts only when its members belong to the target inventory, its
+source files belong to the eligible inventory, and its reader-facing page cites
+those files. Every chain candidate must be documented, merged into a documented
+candidate, excluded with a concrete reason, or routed to missing-material input.
+For each discovered external boundary family, retain a representative
+source-backed chain or an explicit material gap.
+When the boundary inventory contains adjacent families such as operation and
+handler, handler and downstream, command and effect, event and processor, or a
+cross-source handoff, the adapter must return the corresponding candidate
+family. Returning an empty candidate list does not bypass chain review.
 
 The report contains no aggregate score. Every dimension is computed
 independently with its observed value, floor, recommended target, ceiling,
@@ -22,12 +49,15 @@ dimension. Every elevated signal must receive an assessment tied to inspected
 content. Submit one `context.code-index-audit-decision.v1` payload for the
 complete batch.
 
-Read the complete inventory before deciding. It separates eligible and
-analyzed files/LOC, read documents, target and exported symbols, stable entries,
-protocol boundaries, exclusions, and parser gaps. For each failed or
-below-target dimension, use the returned uncovered identities, affected pages,
-recommended template resources, and action vocabulary. Do not replace those
-facts with an inferred file list.
+Read the complete digest-bound inventory before deciding. The Route-selected
+audit resource returns one budget-safe inspection command. Execute it and then
+each returned `next_action.command` until `audit_items_complete`; do not use
+host output truncation or shell slicing as pagination. The item stream separates
+eligible and analyzed files/LOC, read documents, target and exported symbols,
+stable entries, protocol boundaries, exclusions, and parser gaps. For each
+failed or below-target dimension, use the returned uncovered identities,
+affected pages, recommended template resources, and action vocabulary. Do not
+replace those facts with an inferred file list.
 
 For custom adapters, file and symbol identity arrays are complete denominators,
 not samples: their lengths must match the declared counts, analyzed identities

package/providers/context/resources/procedures/document-optimization.md

@@ -18,8 +18,9 @@ decision for each fragment to the returned `payload_target`:
 - `keep` when it is already useful and readable. If the fragment has any
   mechanical signal, include a concrete `assessment` that explains why every
   signal is a false positive or why changing the Section would reduce source
-  fidelity. Name every reported signal code in that assessment so the CLI can
-  verify complete coverage; do not use one generic assessment for a batch;
+  fidelity. `high` signals cannot be kept unchanged. Name every remaining
+  `review` signal code in that assessment so the CLI can verify complete
+  coverage; do not use one generic assessment for a batch;
 - `repair` for local typography, Markdown, spacing, or a descriptive link label
   whose purpose is already stated in the same Section;
 - `reshape` for source-preserving structural changes such as a wide table into
@@ -33,6 +34,10 @@ with impact and action, and deprecations with a replacement remain knowledge.
 Mechanical signals are review leads, not a complete readability verdict. Read
 every fragment even when it has no signal. A mixture of false positives and
 valid repair candidates does not justify keeping the whole batch unchanged.
+Signals marked `high` are deterministic presentation obligations. A repair or
+reshape is rescanned against the effective replacement and cannot complete
+while one of those signals remains. Signals marked `review` require semantic
+inspection and may be kept only with the signal-specific assessment below.
 Every actionable signal must end in a safe edit, an eligible omission, a
 batched input request, or a Section-specific explanation that the signal is a
 false positive or that the edit would damage source fidelity. Time, token or
@@ -56,6 +61,14 @@ missing-input boundaries. A large repair set is expected work, not a blocker.
 If an `input_requests` batch remains after completing all independently safe
 analysis, ask once for that batch and resume from the returned Route.
 
+If the same current-batch quality problem fails three consecutive apply
+attempts, stop the automatic revision loop and follow
+`route.document-optimization.guidance-required`. Present one aggregated report
+for all affected Sections and ask for content-organization, source-fidelity, or
+missing-material direction. Do not restart Sections that already pass. A
+successful complete-batch apply clears the temporary retry record; retry
+history is never knowledge or package content.
+
 Keep all work inside the same source Section. Preserve link destinations,
 images, code, commands, numbers, identifiers, conditions, and source markers
 exactly. Do not introduce facts, infer an answer, or replace a complete
@@ -64,8 +77,14 @@ contract with a summary.
 After the complete payload is ready, execute the exact `next_action.command`
 returned by the plan. Context rejects stale, incomplete, duplicate,
 cross-Section, protected-value, semantically broad, or unexplained signaled
-`keep` decisions. The assessment is used only to audit the current decision and
-is not stored in approved knowledge, revisions, or package output. Unchanged
+`keep` decisions. It also rescans every repair and reshape against the same
+mechanical analyzer before writing the revision; submitting a decision is not
+proof that the effective Markdown is clean. A repair or reshape that retains a
+review-confidence signal must include a Section-specific assessment naming
+that signal. The apply result reports each signal as `resolved` or `justified`
+with its source and post-revision range. The assessment and rescan detail are
+used only to audit the current decision and are not stored in approved
+knowledge, revisions, or package output. Unchanged
 Sections reuse their previous decision; changed Sections alone return to this
 phase.
 

package/providers/context/resources/semantic/code-index/templates/adapter.md

@@ -89,6 +89,15 @@ helper separately.
 Add structured edges only for concrete registration and call paths. Keep a
 narrative locator when dynamic dispatch prevents an unambiguous edge.
 
+Return `identityGroups` when several target identities share one explained
+adapter responsibility. Return every source-backed adjacency in
+`chainCandidates`, then provide one `chainCandidateDecisions` record for each
+candidate. A documented decision names the reader-facing view and emits its
+structured edge; an equivalent candidate merges into that canonical candidate;
+false positives and missing external material use `exclude` or `request-input`
+with a concrete reason. Read `contracts-and-chains.md` for the complete generic
+contract.
+
 ## Template composition examples
 
 - An HTTP endpoint backed by an RPC client is `api-service` + `adapter`; combine

package/providers/context/resources/semantic/code-index/templates/contracts-and-chains.md

@@ -0,0 +1,81 @@
+---
+id: semantic.code-index.template.contracts-and-chains
+kind: procedure
+media-type: text/markdown
+---
+
+# Contracts, identity groups, and execution chains
+
+Use this resource after module classification when a code index must connect
+stable identities without turning the inventory into reader-facing prose. It
+applies to application, service, library, runtime, command, adapter, and
+cross-source units.
+
+## Separate inspection facts from reader content
+
+The adapter inventory is complete machine evidence. A reader page should group
+members only when they share a source-backed responsibility, boundary, or
+lifecycle. Do not create one sentence, bullet, row, or page per discovered
+identity.
+
+An `identityGroups` record must provide:
+
+- a stable group `id`;
+- the exact target `members` from the same index-unit inventory;
+- one reader-facing `viewRef` that explains their common responsibility;
+- `sourceFiles` from the eligible-file inventory that prove membership.
+
+The referenced page must cite every declared source file. A group does not pass
+coverage merely because its members exist in frontmatter or evidence.
+
+## Discover chain candidates
+
+Emit a candidate only when code structure or an authoritative declaration
+supports both adjacent endpoints. Supported families are:
+
+- `entry-operation`;
+- `operation-handler`;
+- `handler-downstream`;
+- `event-processing`;
+- `command-effect`;
+- `export-implementation`;
+- `cross-source-handoff`.
+
+Each candidate records a stable `id`, `from`, `to`, confidence, and the exact
+eligible `sourceFiles` that support the adjacency. Imports, filenames, symbol
+co-occurrence, or similar names alone are ambiguous evidence; mark such a
+candidate ambiguous or request material instead of asserting a runtime chain.
+
+## Decide every candidate
+
+Every discovered candidate receives exactly one decision:
+
+- `document`: add a source-backed structured edge and name its reader-facing
+  `viewRef`;
+- `merge`: point `canonicalChainId` at an equivalent candidate whose decision
+  is `document`;
+- `exclude`: explain why the static match is not a stable runtime relation;
+- `request-input`: explain which external protocol, runtime registration, or
+  authoritative material is missing.
+
+Decision coverage is 100%. Excluding all candidates does not close an external
+boundary family: at least one representative chain must be documented, merged
+into a documented chain, or explicitly require material.
+
+## Reader-facing chain blueprint
+
+```markdown
+## <Reader goal or boundary>
+
+<Explain the starting trigger and the stable outcome.>
+
+1. **Entry or trigger** — <identity and responsibility>.
+2. **Operation or handler** — <validation, transformation, or state change>.
+3. **External handoff or effect** — <contract, ownership, and next boundary>.
+
+Failure and retry boundary: <only source-backed behavior>.
+Evidence: <section-scoped locators for each adjacent handoff>.
+```
+
+Remove stages that do not apply. Do not leave empty template headings, repeat a
+module inventory, or infer missing runtime behavior.

package/providers/context/resources/views/resolved-indexer-instructions.yaml

@@ -0,0 +1,23 @@
+schema: agent-graph.resource.v2
+id: resolved-indexer-instructions
+kind: procedure
+mediaType: text/markdown
+materializer: actions/materialize-indexer-instructions.yaml
+input:
+  protocol: context.indexer.materialize-request/v1
+  handler: context.materialize-indexer-instructions/v1
+  resource_id: resolved-indexer-instructions
+  indexer_id: __runtime__
+  provider_id: __runtime__
+  provider_fingerprint: sha256:0000000000000000000000000000000000000000000000000000000000000000
+  provider_integrity: sha256:0000000000000000000000000000000000000000000000000000000000000000
+  manifest_digest: sha256:0000000000000000000000000000000000000000000000000000000000000000
+  requirement_set_digest: sha256:0000000000000000000000000000000000000000000000000000000000000000
+  workset_ref: __runtime__
+  workset_digest: sha256:0000000000000000000000000000000000000000000000000000000000000000
+  profile: __runtime__
+  composer_id: null
+  instruction_set_digest: sha256:0000000000000000000000000000000000000000000000000000000000000000
+  customization_fingerprint: sha256:0000000000000000000000000000000000000000000000000000000000000000
+  request_digest: sha256:0000000000000000000000000000000000000000000000000000000000000000
+description: Runtime-bound exact Provider instructions; Context replaces the reserved template input before exposing this Route.

package/providers/context/schemas/document-optimization-decisions.schema.json

@@ -26,7 +26,7 @@
           "assessment": {
             "type": "string",
             "minLength": 12,
-            "description": "Required when keeping a Section that has mechanical signals. Explain why the signals are false positives or why changing the Section would reduce source fidelity. This value is decision-only and is not published."
+            "description": "Required when keeping a Section that has mechanical signals and when a repair or reshape retains review-confidence signals after rescan. Name every remaining signal code and explain why it is a false positive or why changing the Section would reduce source fidelity. Repair and reshape replacements cannot retain high-confidence signals. This value is decision-only and is not published."
           },
           "reason": {
             "enum": [

package/providers/context/schemas/indexer-agent-step-input.schema.json

@@ -0,0 +1,30 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "context.indexer.agent-step-input/v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["protocol", "run_request", "instruction_request_digest", "input_digest"],
+  "properties": {
+    "protocol": { "const": "context.indexer.agent-step-input/v1" },
+    "run_request": {
+      "type": "object",
+      "required": ["protocol", "operation", "workset", "composition_input", "final_authority", "execution_request_digest"],
+      "properties": {
+        "protocol": { "const": "context.indexer.run-request/v1" },
+        "operation": { "enum": ["main-index", "material-answer"] },
+        "workset": { "type": "object" },
+        "composition_input": { "type": "object" },
+        "final_authority": { "type": "object" },
+        "execution_request_digest": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "instruction_request_digest": { "$ref": "#/$defs/digest" },
+    "input_digest": { "$ref": "#/$defs/digest" }
+  },
+  "$defs": {
+    "digest": {
+      "type": "string",
+      "pattern": "^sha256:[a-f0-9]{64}$"
+    }
+  }
+}

package/providers/context/schemas/indexer-agent-step-result.schema.json

@@ -0,0 +1,47 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "context.indexer.agent-step-result/v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "protocol",
+    "input_digest",
+    "instruction_payload_digest",
+    "run_result",
+    "execution_receipt",
+    "stable_result_digest"
+  ],
+  "properties": {
+    "protocol": { "const": "context.indexer.agent-step-result/v1" },
+    "input_digest": { "$ref": "#/$defs/digest" },
+    "instruction_payload_digest": { "$ref": "#/$defs/digest" },
+    "run_result": {
+      "type": "object",
+      "required": ["protocol", "operation", "result"],
+      "properties": {
+        "protocol": { "const": "context.indexer.run-result/v1" },
+        "operation": { "enum": ["main-index", "material-answer"] },
+        "result": { "type": "object" }
+      }
+    },
+    "execution_receipt": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["adapter", "adapter_version", "execution_id", "receipt_digest"],
+      "properties": {
+        "adapter": { "type": "string", "minLength": 1 },
+        "adapter_version": { "type": "string", "minLength": 1 },
+        "model": { "type": "string", "minLength": 1 },
+        "execution_id": { "type": "string", "minLength": 1 },
+        "receipt_digest": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "stable_result_digest": { "$ref": "#/$defs/digest" }
+  },
+  "$defs": {
+    "digest": {
+      "type": "string",
+      "pattern": "^sha256:[a-f0-9]{64}$"
+    }
+  }
+}

package/providers/context/schemas/indexer-candidate-compile-input.schema.json

@@ -0,0 +1,57 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "context.indexer.candidate-compile-input/v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "protocol",
+    "accepted_result_refs",
+    "subject_key_schema_set",
+    "layout_proposal_set",
+    "layout_transition",
+    "layout_change_confirmations",
+    "rendered_artifacts"
+  ],
+  "properties": {
+    "protocol": { "const": "context.indexer.candidate-compile-input/v1" },
+    "accepted_result_refs": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": [
+          "workset_digest",
+          "execution_request_digest",
+          "acceptance_digest",
+          "artifact_result_digest"
+        ],
+        "properties": {
+          "workset_digest": { "$ref": "#/$defs/digest" },
+          "execution_request_digest": { "$ref": "#/$defs/digest" },
+          "acceptance_digest": { "$ref": "#/$defs/digest" },
+          "artifact_result_digest": { "$ref": "#/$defs/digest" }
+        }
+      }
+    },
+    "subject_key_schema_set": { "type": "object" },
+    "layout_proposal_set": { "type": "object" },
+    "layout_transition": { "type": "object" },
+    "layout_change_confirmations": { "type": "array", "items": { "type": "object" } },
+    "rendered_artifacts": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["artifact_result_digest", "artifacts"],
+        "properties": {
+          "artifact_result_digest": { "$ref": "#/$defs/digest" },
+          "artifacts": { "type": "array", "items": { "type": "object" } }
+        }
+      }
+    }
+  },
+  "$defs": {
+    "digest": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" }
+  }
+}

package/providers/context/schemas/indexer-candidate-compile-output.schema.json

@@ -0,0 +1,38 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "context.indexer.candidate-compile-action/v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "protocol",
+    "outcome",
+    "graph_outcome",
+    "compile",
+    "transaction",
+    "receipt_digest"
+  ],
+  "properties": {
+    "protocol": { "const": "context.indexer.candidate-compile-action/v1" },
+    "outcome": { "const": "indexer-candidates-compiled" },
+    "graph_outcome": { "const": "completed" },
+    "compile": {
+      "type": "object",
+      "required": [
+        "protocol",
+        "layout_proposal_set_digest",
+        "layout_transition_digest",
+        "accepted_result_set_digest",
+        "result_bindings",
+        "files",
+        "artifact_manifest",
+        "physical_artifact_audit",
+        "compile_digest"
+      ]
+    },
+    "transaction": { "type": "object" },
+    "receipt_digest": { "$ref": "#/$defs/digest" }
+  },
+  "$defs": {
+    "digest": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" }
+  }
+}

package/providers/context/schemas/indexer-candidate-review-readiness-input.schema.json

@@ -0,0 +1,46 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "context.indexer.candidate-review-readiness-input/v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "protocol",
+    "binding",
+    "precompile_audit_report_digest",
+    "postcompile_audit_report_digest",
+    "profile_override_receipt_digest",
+    "input_digest"
+  ],
+  "properties": {
+    "protocol": { "const": "context.indexer.candidate-review-readiness-input/v1" },
+    "binding": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "requirement_set_digest",
+        "registry_digest",
+        "inventory_digest",
+        "layout_digest",
+        "candidate_set_digest",
+        "effective_revision_digest"
+      ],
+      "properties": {
+        "requirement_set_digest": { "$ref": "#/$defs/digest" },
+        "registry_digest": { "$ref": "#/$defs/digest" },
+        "inventory_digest": { "$ref": "#/$defs/digest" },
+        "layout_digest": { "$ref": "#/$defs/digest" },
+        "candidate_set_digest": { "$ref": "#/$defs/digest" },
+        "effective_revision_digest": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "precompile_audit_report_digest": { "$ref": "#/$defs/digest" },
+    "postcompile_audit_report_digest": { "$ref": "#/$defs/digest" },
+    "profile_override_receipt_digest": {
+      "oneOf": [{ "$ref": "#/$defs/digest" }, { "type": "null" }]
+    },
+    "input_digest": { "$ref": "#/$defs/digest" }
+  },
+  "$defs": {
+    "digest": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" }
+  }
+}