@c4a/context 0.6.19 → 0.7.1

package/docs/reference/project-api.md

@@ -218,21 +218,18 @@ inventing overlapping file ranges.
 
 ### Status declaration coverage
 
-`context status --format json --view full` includes a `declarationGraph` and
-`configurationGaps` for document workflows. Each row reports capture, align,
-compile, and Review coverage for a canonical source plus collection. Gaps are
-non-blocking before structure confirmation. Once a structure is confirmed,
-compile routing is exact: phase selection uses canonical source plus collection,
-and candidate progress remains bound to the current `structure_digest`. A
-compile phase from another collection is never used as fallback.
-
-Captured align targets that do not yet have an active confirmed structure are
-reported in `pendingStructureTargets`. They remain unfinished even when the
-currently active structures have been closed, verified, and built. Missing
-compile or Review declarations route to `needs-prose-configuration`; once the
-declarations are complete, status returns the exact align investigation command
-for the next target. A built package does not freeze the workspace or require a
-new workspace for later sources.
+`context status --format json --view full` includes `declarationGraph` and
+`configurationGaps` for source/capture/review/package declarations. New
+workspaces do not add align or compile rows: confirmed requirements, owner
+cells, exact Provider selection, workset progress, audit, and Candidate compile
+belong to the Indexer lifecycle selected by
+`route.indexer.lifecycle-required`.
+
+`pendingStructureTargets` and align/compile coverage may still appear while
+diagnosing an existing workspace that explicitly declares legacy prose phases.
+They are compatibility diagnostics, not a second default workflow and not a
+fallback when an Indexer Result is unavailable. A built package does not freeze
+the workspace or require a new workspace for later sources.
 
 `context status --format json` defaults to the compact workflow route, target,
 progress, counts, and aggregated diagnostics. Use `--view full` only when
@@ -392,7 +389,12 @@ const localDocs = source("20260712", "local-manual", { type: "file" });
 
 ### `alignProse`
 
-Open the prose structure gate for document evidence:
+Legacy compatibility factory for an existing workspace that explicitly owns a
+prose structure phase. New projects must use `src/indexers.yaml` and the
+Markdown Indexer lifecycle; the default Graph never selects `alignProse` as an
+alternate authoring route.
+
+For migration or repair of an existing declaration:
 
 ```ts
 alignProse({
@@ -505,19 +507,14 @@ ranges are never structure boundaries. Structure validation blocks repeated
 fixed-width line grids that cut through AST blocks and reports sections that
 cross multiple heading paths, without classifying document topics.
 
-After capture, the capture phase itself exposes collection-neutral `read-plan`,
-`source-index`, `span-detail`, `span-text`, and other read-only evidence views.
-Status selects `route.document.classification-required` until every captured
-target has an evidence-backed, user-confirmed align declaration. Align then
-adds `schema` and `structure-summary` for structure work. Agents should not
-scan `sources/` or `.tmp` to invent evidence. They may read only the exact
-source-body files selected as required resources by the current Route; those
-files carry stable content digests and must be read in full before a receipt is
-reported. Read all required direct paths, then execute the Route's single
-`resources.after_read.command`; the CLI writes and carries the merged receipt
-set without requiring Agent-authored JSON. That acknowledgement response
-already contains the re-evaluated `workflow.current`, so no additional status
-command is needed.
+For a new workspace, capture is followed by
+`route.indexer.lifecycle-required`; the Markdown Provider receives exact
+captured evidence and returns a schema-validated Result from which Context
+derives layout. The align evidence views below apply only when the current CLI
+explicitly selects a legacy phase for migration or repair. Agents must not scan
+`sources/` or `.tmp` to invent evidence. Read only the exact source-body files
+selected as required resources by that Route and execute its
+`resources.after_read.command` after the complete read.
 
 Generated Context Views use the same content-addressed rule. Materialization
 returns a receipt-set path and an exact post-read command. Read the complete
@@ -539,7 +536,11 @@ separate Agent-authored payload or approval step.
 
 ### `compileProse`
 
-Compile confirmed prose structure into reviewable source-bound draft pages:
+Legacy compatibility factory that compiles an already confirmed legacy prose
+structure. New workspaces compile the accepted Indexer Result store through the
+Indexer Candidate compile Route and do not declare this phase.
+
+For migration or repair of an existing declaration:
 
 ```ts
 compileProse({
@@ -587,7 +588,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({
@@ -602,7 +603,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 |
@@ -982,16 +983,16 @@ prompt. After the user reports that limitation, the exact conversation phrase
 `context review approve-all ... --force` command. Other generic approval or
 continue wording does not invoke it.
 
-The gate is batch-scoped: prose waits for every planned View across all active
-structure slots and every declared `pendingStructureTargets` item in the round;
-codeindex waits for every pending extract phase in the confirmed module round.
+The gate is batch-scoped: the current Indexer Candidate batch waits for every
+required owner cell to have an accepted current Result and a ready audit.
 Candidate count/hash therefore describes the complete current batch rather than
-one page, source slot, or module. Deterministic close later merges all active
-slots into `knowledge/structure.yaml`, retains only their source, collection,
-and consumed snapshot hash as `source_inputs`, then removes the lifecycle slots.
+one page, source slot, or module. Deterministic close projects approved Indexer
+Nodes, Views, Sections, edges, and exact source/Result bindings into
+`knowledge/structure.yaml`.
 
-`status.structureBatch` lists unclassified, configuration-required, pending,
-and active structure slots together with the execution policy for the round.
+`status.structureBatch` is retained only as a diagnostic for an existing
+workspace with explicit legacy prose phases; it does not participate in the
+default Indexer Route.
 
 If the user explicitly asks for an automated or quick approval/rejection path,
 use the scoped quick commands instead of hand-writing a payload:

package/index.d.ts

@@ -1,12 +1,58 @@
 import type { PackageNavigationDefinition, PackageSelectDefinition } from "./contracts.js";
 import type { PhaseDefinition, PhaseResourceReference } from "./phases.js";
 import type { ProjectSourceDefinition } from "./sources.js";
+export * from "./indexerCoreExports.js";
+export { indexerComposerContractSchema, indexerComposerDeclarationSchema, indexerExecutionSchema, indexerProviderLayerFragmentSchema, indexerProviderManifestSchema, indexerProviderOperationSchema, indexerToolSourceDeclarationSchema, isIndexerLayerFragmentKind, isIndexerProviderProtocol, loadIndexerProviderManifest, parseIndexerProviderManifest, } from "./indexerProvider.js";
+export type { IndexerComposerContract, IndexerComposerDeclaration, IndexerExecution, IndexerProviderLayerFragment, IndexerProviderManifest, IndexerProviderOperation, IndexerToolSourceDeclaration, } from "./indexerProvider.js";
+export { canonicalOwnerCellRef, indexRequirementSchema, indexRequirementSetSchema, indexerRegistryDigests, indexerDistributionSchema, indexerRegistryEntrySchema, indexerRegistrySchema, loadIndexerRegistry, parseIndexerRegistry, requirementSetFromRegistry, validateFinalizedIndexerRegistry, } from "./indexerRegistry.js";
+export type { IndexRequirement, IndexRequirementSet, IndexerJson, IndexerDistribution, IndexerRegistry, IndexerRegistryEntry, IndexerScopeTarget, LoadedIndexerRegistry, } from "./indexerRegistry.js";
+export { compareIndexRequirementContraction } from "./indexerRequirementComparison.js";
+export type { RequirementComparisonChange, RequirementContractionComparatorOptions, RequirementContractionComparison, RequirementContractionRelation, ResolvedQuestionContractView, } from "./indexerRequirementComparison.js";
+export * from "./indexerRequirementConfirmation.js";
+export * from "./indexerRequirementLifecycle.js";
+export { deriveIndexerProgramExecutionPolicy, indexerCliReleaseManifestSchema, indexerHostExecutionCapabilitiesSchema, indexerProviderBundleIntegrity, indexerProgramAuthorizationSchema, indexerProgramIdentityDigest, resolvedProviderBundleSchema, resolvedProviderReceiptDigest, resolvedProviderStableFingerprint, validateIndexerProgramAuthorization, validateResolvedProviderBundle, } from "./indexerProviderResolution.js";
+export * from "./indexerProviderResolutionAction.js";
+export type { ExpectedProviderResolution, IndexerCliReleaseManifest, IndexerHostExecutionCapabilities, IndexerProgramAuthorization, IndexerProgramExecutionLevel, IndexerProgramExecutionPolicy, ProviderResolutionRequest, ResolvedProviderBundle, } from "./indexerProviderResolution.js";
+export * from "./indexerProviderComposition.js";
+export * from "./indexerProviderSelectionProposal.js";
+export * from "./indexerCustomizationLadder.js";
+export { indexerMetricContractSchema, indexerArtifactPolicyVariantSchema, indexerInventoryDomainSchema, indexerOperatorContractDigest, indexerOperatorContractSchema, indexerProfileContractDigest, indexerProfileContractEntrySchema, indexerProfileContractSchema, indexerProfileSubjectKeySchema, indexerQuestionTargetDomainSchema, indexerReaderQuestionContractSchema, indexerSubjectKeyContractSchema, inflationSensitiveHardMaximum, validateIndexerOperatorContract, validateIndexerProfileContract, } from "./indexerProfileContract.js";
+export type { IndexerMetricContract, IndexerOperatorContract, IndexerProfileContract, IndexerProfileContractEntry, IndexerProfileSubjectKey, IndexerReaderQuestionContract, IndexerSubjectKeyContract, } from "./indexerProfileContract.js";
+export { createIndexerOverlayValidationReceipt, indexerContractOverlayDigest, indexerContractOverlaySchema, indexerOverlayValidationReceiptDigest, indexerOverlayValidationReceiptSchema, validateIndexerContractOverlay, validateIndexerOverlayValidationReceipt, } from "./indexerContractOverlay.js";
+export type { IndexerContractOverlay, IndexerOverlayConformanceReport, IndexerOverlayValidationReceipt, } from "./indexerContractOverlay.js";
+export * from "./indexerOverlayQuestionAmendment.js";
+export * from "./indexerOverlayQuestionApplyProposal.js";
+export * from "./indexerBaseQuestionAmendment.js";
+export { composeIndexerLayerInput, DEFAULT_INDEXER_LAYER_FRAGMENT_LIMITS, indexerCanonicalRefSchema, indexerComposerRefSchema, indexerEvidenceRefSchema, indexerLayerCompositionInputDigest, indexerLayerCompositionInputSchema, indexerLayerFragmentDigest, indexerLayerFragmentPayloadSchema, indexerLayerFragmentSchema, indexerMaterializedLayerFragmentSchema, indexerProviderLayerRefSchema, validateAndMaterializeIndexerLayerFragment, validateIndexerLayerCompositionInput, validateIndexerMaterializedLayerFragment, } from "./indexerLayerComposition.js";
+export type { IndexerEvidenceRef, IndexerLayerCompositionInput, IndexerLayerFragment, IndexerLayerFragmentLimits, IndexerLayerFragmentPayload, IndexerMaterializedLayerFragment, } from "./indexerLayerComposition.js";
+export { canonicalIndexerNodeRef, indexerSubjectKeySchema, } from "./indexerSubjectIdentity.js";
+export type { IndexerSubjectKey } from "./indexerSubjectIdentity.js";
+export * from "./indexerSubjectKeyAuthority.js";
+export { buildIndexerPostAuthorFragmentRequest, composeIndexerPostAuthorEnvelope, indexerComposedResultEnvelopeSchema, indexerComposerInvocationReceiptSchema, indexerEffectiveComposerSchema, indexerEffectiveComposerSetSchema, indexerLayerFragmentRunResultSchema, indexerPostAuthorFragmentRequestSchema, indexerPostAuthorWorksetDigest, indexerPostAuthorWorksetSchema, indexerPostAuthorWorksetSetDigest, indexerPostAuthorWorksetSetSchema, indexerPrimaryResultViewDigest, indexerPrimaryResultViewSchema, materializeIndexerPrimaryResultView, planIndexerPostAuthorComposition, resolveEffectiveIndexerComposers, validateIndexerPostAuthorFragmentResult, validateIndexerPostAuthorFragmentRequest, validateIndexerEffectiveComposerSet, validateIndexerPrimaryResultView, } from "./indexerPostAuthorComposition.js";
+export type { IndexerComposedResultEnvelope, IndexerComposerInvocationReceipt, IndexerEffectiveComposer, IndexerEffectiveComposerSet, IndexerLayerFragmentRunResult, IndexerPostAuthorFragmentRequest, IndexerPostAuthorPlan, IndexerPostAuthorWorkset, IndexerPostAuthorWorksetSet, IndexerPrimaryArtifactView, IndexerPrimaryFactView, IndexerPrimaryResultView, } from "./indexerPostAuthorComposition.js";
+export { buildIndexerMainWorkset, buildIndexerMainWorksetSet, buildIndexerMainTransportBatch, buildIndexerTargetResolutionView, indexerMainWorksetDigest, indexerMainWorksetSchema, indexerMainWorksetSetDigest, indexerMainWorksetSetSchema, indexerMainTransportBatchSchema, indexerOwnerCohortRef, indexerTargetResolutionViewDigest, indexerTargetResolutionViewSchema, validateIndexerMainWorkset, validateIndexerMainWorksetSet, validateIndexerTargetResolutionView, } from "./indexerMainWorkset.js";
+export type { IndexerMainAuthorWorkset, IndexerMainPartitionWorkset, IndexerMainWorkset, IndexerMainWorksetSet, IndexerMainTransportBatch, IndexerTargetResolutionView, } from "./indexerMainWorkset.js";
+export { indexerPartitionGroupProjectionDigest, indexerPartitionPlanBindingDigest, indexerPartitionPlanCanonicalHash, indexerPartitionPlanSchema, indexerPartitionStrategySchema, indexerPartitionStrategySetDigest, validateIndexerPartitionPlan, } from "./indexerPartitionPlan.js";
+export type { IndexerMemberDisposition, IndexerPartitionGroup, IndexerPartitionPlan, IndexerPartitionStrategy, } from "./indexerPartitionPlan.js";
+export * from "./indexerPartitionConvergence.js";
+export * from "./indexerArtifactDependencies.js";
+export * from "./indexerDependencyView.js";
+export * from "./indexerRunEnvelope.js";
+export * from "./indexerSharedArtifactFingerprint.js";
+export * from "./indexerIncrementalImpact.js";
+export * from "./indexerMainRunProtocol.js";
+export * from "./indexerMainLifecycle.js";
+export * from "./indexerSubjectCatalog.js";
+export * from "./indexerMaterialAnswerRunProtocol.js";
+export * from "./indexerProgramRunProtocol.js";
+export * from "./indexerAgentStepProtocol.js";
+export * from "./indexerLifecycle.js";
 export type { CodegraphCollection, CodeIndexCollection, DocumentMainlineCollection, EntityStatus, KnowledgeCollection, MainlineCollection, MarkdownTransform, FileCaptureProcessorDefinition, OkfRoot, PackageKind, PackageNavigationDefinition, PackageSelectDefinition, TopLevelNamespace, } from "./contracts.js";
 export { assertDocumentMainlineCollection, assertKnowledgeCollection, assertMainlineCollection, assertOkfRoot, assertTopLevelNamespace, DOC_MAINLINE_COLLECTIONS, DEFAULT_PACKAGE_NAVIGATION, KNOWLEDGE_COLLECTIONS, MAINLINE_COLLECTIONS, OKF_ROOTS, TOP_LEVEL_NAMESPACES, } from "./contracts.js";
 export { assertDocumentEvidenceSectionMetadata, DOCUMENT_COMPILE_ACTION_SCHEMA_VERSION, DOCUMENT_EVIDENCE_SECTION_VALIDATION_STAGES, DOCUMENT_SECTION_CONTENT_MODES, DOCUMENT_STRUCTURE_SCHEMA_VERSION, } from "./documentEvidence.js";
 export type { DocumentEvidenceSectionMetadata, DocumentEvidenceSectionValidationOptions, DocumentEvidenceSectionValidationStage, DocumentSectionContentMode, } from "./documentEvidence.js";
 export { alignProse, captureFile, captureLark, compileProse, CODE_INDEX_CAPABILITIES, CODE_INDEX_COVERAGE_KINDS, CODE_INDEX_LIFECYCLES, CODE_INDEX_MODULE_FACETS, CODE_INDEX_MODULE_TYPES, CODE_INDEX_OUTPUT_PROFILES, customPhase, extractCustom, extractTs, ExtractTsConfigurationError, NO_ENTRY_DETECTED, requiredCodeIndexCoverage, mdxJsonDocs, reviewValidity, } from "./phases.js";
-export type { AlignProsePhaseDefinition, CaptureFilePhaseDefinition, CaptureLarkPhaseDefinition, CompileProsePhaseDefinition, ContextPhase, ContextPhaseContext, CustomPhaseDefinition, CustomCodeCandidateDraft, CustomCodeCandidateEdge, CustomCodeCandidateSection, CustomCodeCandidateReview, CustomCodeEvidence, CustomCodeExtractionContext, CustomCodeExtractionResult, CustomCodeExtractor, CodeIndexCapability, CodeIndexCapabilityGap, CodeIndexCoverageKind, CodeIndexInspectionAdapter, CodeIndexInspectionContext, CodeIndexInspectionFinding, CodeIndexInspectionFindingKind, CodeIndexInspectionInventory, CodeIndexInspectionResult, CodeIndexLifecycle, CodeIndexModuleFacet, CodeIndexModuleType, CodeIndexOutputProfile, CodeIndexUnitPlan, ExtractCustomPhaseDefinition, ExtractTsPhaseDefinition, PhaseDefinition, PhaseResourceReference, ReviewValidityPhaseDefinition, ReviewValidityScope, } from "./phases.js";
+export type { AlignProsePhaseDefinition, CaptureFilePhaseDefinition, CaptureLarkPhaseDefinition, CompileProsePhaseDefinition, ContextPhase, ContextPhaseContext, CustomPhaseDefinition, CustomCodeCandidateDraft, CustomCodeCandidateEdge, CustomCodeCandidateSection, CustomCodeCandidateReview, CustomCodeEvidence, CustomCodeExtractionContext, CustomCodeExtractionResult, CustomCodeExtractor, CodeIndexCapability, CodeIndexCapabilityGap, CodeIndexCoverageKind, CodeIndexInspectionAdapter, CodeIndexInspectionContext, CodeIndexInspectionFinding, CodeIndexInspectionFindingKind, CodeIndexInspectionInventory, CodeIndexInspectionResult, CodeIndexIdentityGroup, CodeIndexChainCandidate, CodeIndexChainCandidateDecision, CodeIndexChainCandidateFamily, CodeIndexLifecycle, CodeIndexModuleFacet, CodeIndexModuleType, CodeIndexOutputProfile, CodeIndexUnitPlan, ExtractCustomPhaseDefinition, ExtractTsPhaseDefinition, PhaseDefinition, PhaseResourceReference, ReviewValidityPhaseDefinition, ReviewValidityScope, } from "./phases.js";
 export { allSources, DEFAULT_FILE_SOURCES_REGISTRY_PATH, DEFAULT_LARK_SOURCES_REGISTRY_PATH, DEFAULT_REPO_SOURCES_REGISTRY_PATH, loadSourcesRegistry, resolveSourceReference, source, } from "./sources.js";
 export type { DocumentSourceDefinition, DocumentSourceReference, DocumentSourceType, FileSourceDefinition, FileSourceReference, FileSourceRegistryEntry, LarkSourceDefinition, LarkSourceReference, LarkSourceRegistryEntry, LoadSourcesRegistryOptions, ProjectSourceDefinition, RepoProjectSourceDefinition, RepoSourceDefinition, RepoSourceReference, RepoSourceRegistryEntry, RepoSourcesRegistry, SourceCollectionReference, SourceDefinition, SourceReference, SourcesRegistry, SourceType, } from "./sources.js";
 export type TemplateVarValue = string | number | boolean | null | Record<string, unknown> | readonly Record<string, unknown>[];