@jamesaphoenix/tx-types 0.8.1 → 0.9.0

package/dist/anchor.d.ts

@@ -103,7 +103,7 @@ export type InvalidationLog = typeof InvalidationLogSchema.Type;
  * Anchor with freshness information for lazy verification.
  * Returned by getWithVerification - includes whether anchor was fresh or verified.
  */
-export interface AnchorWithFreshness {
+export type AnchorWithFreshness = {
     readonly anchor: Anchor;
     /** True if anchor was still within TTL, false if verification was needed */
     readonly isFresh: boolean;
@@ -116,7 +116,7 @@ export interface AnchorWithFreshness {
         readonly action: "unchanged" | "self_healed" | "drifted" | "invalidated";
         readonly reason?: string;
     };
-}
+};
 /** Database row type for anchors (snake_case from SQLite). */
 export interface AnchorRow {
     id: number;

package/dist/anchor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"anchor.d.ts","sourceRoot":"","sources":["../src/anchor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,mDAAoD,CAAC;AAE9E;;;;;GAKG;AACH,eAAO,MAAM,eAAe,0CAA2C,CAAC;AAExE;;GAEG;AACH,eAAO,MAAM,oBAAoB,8DAA+D,CAAC;AAMjG,mCAAmC;AACnC,eAAO,MAAM,cAAc,+DAG1B,CAAA;AACD,MAAM,MAAM,QAAQ,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEjD,0BAA0B;AAC1B,eAAO,MAAM,gBAAgB,0DAAkC,CAAA;AAC/D,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAErD,4BAA4B;AAC5B,eAAO,MAAM,kBAAkB,iDAAqC,CAAA;AACpE,MAAM,MAAM,YAAY,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAEzD,kCAAkC;AAClC,eAAO,MAAM,wBAAwB,qEAA0C,CAAA;AAC/E,MAAM,MAAM,kBAAkB,GAAG,OAAO,wBAAwB,CAAC,IAAI,CAAA;AAErE,gEAAgE;AAChE,eAAO,MAAM,YAAY;;;;;;;;;;IAUvB,8EAA8E;;;;;;EAM9E,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE7C,uCAAuC;AACvC,eAAO,MAAM,uBAAuB;;;;;;;;;IASlC,4EAA4E;;EAE5E,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAA;AAEnE,oCAAoC;AACpC,eAAO,MAAM,uBAAuB;;;;;;;IAOlC,0DAA0D;;;;EAI1D,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAA;AAEnE,6DAA6D;AAC7D,eAAO,MAAM,qBAAqB;;;;;;;;;;;EAWhC,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAE/D;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,wDAAwD;IACxD,QAAQ,CAAC,kBAAkB,CAAC,EAAE;QAC5B,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAC;QACtC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;QACjC,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,GAAG,aAAa,CAAC;QACzE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;KAC1B,CAAC;CACH;AAMD,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,uEAAuE;AACvE,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,cAAc,EAAE,MAAM,CAAC;CACxB"}
+{"version":3,"file":"anchor.d.ts","sourceRoot":"","sources":["../src/anchor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,mDAAoD,CAAC;AAE9E;;;;;GAKG;AACH,eAAO,MAAM,eAAe,0CAA2C,CAAC;AAExE;;GAEG;AACH,eAAO,MAAM,oBAAoB,8DAA+D,CAAC;AAMjG,mCAAmC;AACnC,eAAO,MAAM,cAAc,+DAG1B,CAAA;AACD,MAAM,MAAM,QAAQ,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEjD,0BAA0B;AAC1B,eAAO,MAAM,gBAAgB,0DAAkC,CAAA;AAC/D,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAErD,4BAA4B;AAC5B,eAAO,MAAM,kBAAkB,iDAAqC,CAAA;AACpE,MAAM,MAAM,YAAY,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAEzD,kCAAkC;AAClC,eAAO,MAAM,wBAAwB,qEAA0C,CAAA;AAC/E,MAAM,MAAM,kBAAkB,GAAG,OAAO,wBAAwB,CAAC,IAAI,CAAA;AAErE,gEAAgE;AAChE,eAAO,MAAM,YAAY;;;;;;;;;;IAUvB,8EAA8E;;;;;;EAM9E,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE7C,uCAAuC;AACvC,eAAO,MAAM,uBAAuB;;;;;;;;;IASlC,4EAA4E;;EAE5E,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAA;AAEnE,oCAAoC;AACpC,eAAO,MAAM,uBAAuB;;;;;;;IAOlC,0DAA0D;;;;EAI1D,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAA;AAEnE,6DAA6D;AAC7D,eAAO,MAAM,qBAAqB;;;;;;;;;;;EAWhC,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAE/D;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,wDAAwD;IACxD,QAAQ,CAAC,kBAAkB,CAAC,EAAE;QAC5B,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAC;QACtC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;QACjC,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,GAAG,aAAa,CAAC;QACzE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;KAC1B,CAAC;CACH,CAAA;AAMD,8DAA8D;AAC9D,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,uEAAuE;AACvE,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,cAAc,EAAE,MAAM,CAAC;CACxB"}

package/dist/index.d.ts

@@ -30,6 +30,7 @@ export { MESSAGE_STATUSES, MessageStatusSchema, MessageIdSchema, MessageSchema,
 export { SOURCE_TYPES, SourceTypeSchema, TrackedProjectSchema, CreateTrackedProjectInputSchema, type SourceType, type TrackedProjectId, type TrackedProject, type CreateTrackedProjectInput, type TrackedProjectRow, } from "./tracked-project.js";
 export { FINDING_SEVERITIES, LOSS_WEIGHTS, AGENT_RUNTIMES, AgentRuntimeSchema, FindingSeveritySchema, FindingSchema, DuplicateSchema, DedupResultSchema, CycleConfigSchema, RoundMetricsSchema, CycleResultSchema, type AgentRuntime, type FindingSeverity, type Finding, type Duplicate, type DedupResult, type CycleConfig, type RoundMetrics, type CycleResult, type CycleProgressEvent, } from "./cycle.js";
 export { DOC_KINDS, DOC_STATUSES, DOC_LINK_TYPES, TASK_DOC_LINK_TYPES, INVARIANT_ENFORCEMENT_TYPES, INVARIANT_STATUSES, EARS_PATTERNS, DocKindSchema, DocStatusSchema, DocLinkTypeSchema, TaskDocLinkTypeSchema, DocIdSchema, DocSchema, DocWithLinksSchema, DocLinkSchema, TaskDocLinkSchema, CreateDocInputSchema, InvariantEnforcementSchema, InvariantStatusSchema, InvariantIdSchema, InvariantSchema, InvariantCheckSchema, UpsertInvariantInputSchema, RecordInvariantCheckInputSchema, EarsPatternSchema, EarsPrioritySchema, EarsRequirementIdSchema, EarsRequirementSchema, DocGraphNodeSchema, DocGraphEdgeSchema, DocGraphSchema, isValidDocKind, InvalidDocKindError, assertDocKind, isValidDocStatus, InvalidDocStatusError, assertDocStatus, isValidDocLinkType, InvalidDocLinkTypeError, assertDocLinkType, type DocKind, type DocStatus, type DocLinkType, type TaskDocLinkType, type DocId, type Doc, type DocWithLinks, type DocLink, type TaskDocLink, type CreateDocInput, type InvariantEnforcement, type InvariantStatus, type InvariantId, type Invariant, type InvariantCheck, type UpsertInvariantInput, type RecordInvariantCheckInput, type EarsPattern, type EarsPriority, type EarsRequirementId, type EarsRequirement, type DocGraphNode, type DocGraphEdge, type DocGraph, type DocRow, type DocLinkRow, type TaskDocLinkRow, type InvariantRow, type InvariantCheckRow, } from "./doc.js";
+export { SPEC_DISCOVERY_METHODS, SPEC_SCOPE_TYPES, SPEC_PHASES, SpecDiscoveryMethodSchema, SpecScopeTypeSchema, SpecPhaseSchema, SpecTestIdSchema, SpecTestSchema, SpecTestRunSchema, SpecSignoffSchema, SpecScopeFilterSchema, DiscoverResultSchema, FciResultSchema, SpecTestLatestRunSchema, TraceabilityMatrixTestSchema, TraceabilityMatrixEntrySchema, TraceabilityMatrixSchema, BatchRunInputSchema, type SpecDiscoveryMethod, type SpecScopeType, type SpecPhase, type SpecTestId, type SpecTest, type SpecTestRun, type SpecSignoff, type SpecScopeFilter, type DiscoverResult, type FciResult, type SpecTestLatestRun, type TraceabilityMatrixTest, type TraceabilityMatrixEntry, type TraceabilityMatrix, type BatchRunInput, type SpecTestRow, type SpecTestRunRow, type SpecSignoffRow, } from "./spec-trace.js";
 export { MEMORY_LINK_TYPES, MemoryLinkTypeSchema, MemoryDocumentIdSchema, MemoryDocumentSchema, MemoryDocumentWithScoreSchema, MemoryLinkSchema, MemorySourceSchema, MemoryPropertySchema, MemorySearchOptionsSchema, MemoryIndexStatusSchema, CreateMemoryDocumentInputSchema, MemoryDocumentSerializedSchema, MemoryDocumentWithScoreSerializedSchema, type MemoryLinkType, type MemoryDocumentId, type MemoryDocument, type MemoryDocumentWithScore, type MemoryLink, type MemorySource, type MemoryProperty, type MemorySearchOptions, type MemoryIndexStatus, type CreateMemoryDocumentInput, type MemoryDocumentSerialized, type MemoryDocumentWithScoreSerialized, type MemoryDocumentRow, type MemoryDocumentRowWithBM25, type MemoryLinkRow, type MemorySourceRow, type MemoryPropertyRow, } from "./memory.js";
 export { PinIdSchema, PinSchema, PinSerializedSchema, serializePin, type PinId, type Pin, type PinSerialized, type PinRow, type PinConfigRow, } from "./pin.js";
 export { TaskWithDepsSerializedSchema, LearningSerializedSchema, LearningWithScoreSerializedSchema, FileLearningsSerializedSchema, RunSerializedSchema, AttemptSerializedSchema, type TaskWithDepsSerialized, type LearningSerialized, type LearningWithScoreSerialized, type FileLearningsSerialized, type RunSerialized, type AttemptSerialized, serializeTask, serializeLearning, serializeLearningWithScore, serializeFileLearning, serializeRun, serializeAttempt, MessageSerializedSchema, type MessageSerialized, serializeMessage, InboxResponseSchema, type InboxResponse, serializeMemoryDocument, serializeMemoryDocumentWithScore, ErrorResponseSchema, type ListResponse, type PaginatedResponse, type ActionResponse, type ErrorResponse, TaskReadyResponseSchema, TaskListResponseSchema, TaskDetailResponseSchema, TaskCompletionResponseSchema, TaskTreeResponseSchema, type TaskReadyResponse, type TaskListResponse, type TaskDetailResponse, type TaskCompletionResponse, type TaskTreeResponse, LearningSearchResponseSchema, ContextResponseSchema, FileLearningListResponseSchema, type LearningSearchResponse, type ContextResponse, type FileLearningListResponse, RunListResponseSchema, RunDetailResponseSchema, type RunListResponse, type RunDetailResponse, SyncExportResponseSchema, SyncImportResponseSchema, type SyncExportResponse, type SyncImportResponse, } from "./response.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,sBAAsB,EACtB,YAAY,EACZ,UAAU,EACV,kBAAkB,EAClB,cAAc,EACd,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,sBAAsB,EACtB,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,MAAM,EACX,KAAK,IAAI,EACT,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,OAAO,EACZ,KAAK,aAAa,GACnB,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,qBAAqB,EACrB,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,gCAAgC,EAChC,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EACzB,mBAAmB,EACnB,0BAA0B,EAC1B,4BAA4B,EAC5B,sBAAsB,EACtB,KAAK,kBAAkB,EACvB,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EACzB,KAAK,WAAW,EAChB,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,EACrB,KAAK,0BAA0B,EAC/B,KAAK,sBAAsB,GAC5B,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,6BAA6B,EAC7B,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,uBAAuB,EAC5B,KAAK,eAAe,GACrB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,aAAa,EACb,wBAAwB,EACxB,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,OAAO,EACZ,KAAK,kBAAkB,EACvB,KAAK,UAAU,GAChB,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,YAAY,EACZ,eAAe,EACf,WAAW,EACX,SAAS,EACT,oBAAoB,EACpB,oBAAoB,EACpB,KAAK,KAAK,EACV,KAAK,SAAS,EACd,KAAK,GAAG,EACR,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,MAAM,GACZ,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EAClB,wBAAwB,EACxB,YAAY,EACZ,uBAAuB,EACvB,uBAAuB,EACvB,qBAAqB,EACrB,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,MAAM,EACX,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,SAAS,EACd,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,kBAAkB,GACxB,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,UAAU,EACV,UAAU,EACV,cAAc,EACd,cAAc,EACd,YAAY,EACZ,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,EAClB,KAAK,MAAM,EACX,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,IAAI,EACT,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,OAAO,EACZ,KAAK,YAAY,GAClB,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,mBAAmB,EACnB,8BAA8B,EAC9B,kBAAkB,EAClB,6BAA6B,EAC7B,qBAAqB,EACrB,uBAAuB,EACvB,uBAAuB,EACvB,0BAA0B,EAC1B,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,wBAAwB,EAC7B,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,uBAAuB,EAC5B,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,GAC1B,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,EAClB,yBAAyB,EACzB,uBAAuB,EACvB,qBAAqB,EACrB,qBAAqB,EACrB,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,0BAA0B,EAC1B,qBAAqB,EACrB,sBAAsB,EACtB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,YAAY,GAClB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,mBAAmB,EACnB,WAAW,EACX,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,KAAK,GACX,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,sBAAsB,EACtB,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,EACnB,yBAAyB,EACzB,KAAK,aAAa,EAClB,KAAK,SAAS,EACd,KAAK,OAAO,EACZ,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAChB,KAAK,UAAU,GAChB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,oBAAoB,EACpB,+BAA+B,EAC/B,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,yBAAyB,EAC9B,KAAK,iBAAiB,GACvB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,cAAc,EACd,kBAAkB,EAClB,qBAAqB,EACrB,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,KAAK,YAAY,EACjB,KAAK,eAAe,EACpB,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,kBAAkB,GACxB,MAAM,YAAY,CAAA;AAGnB,OAAO,EACL,SAAS,EACT,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,2BAA2B,EAC3B,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,WAAW,EACX,SAAS,EACT,kBAAkB,EAClB,aAAa,EACb,iBAAiB,EACjB,oBAAoB,EACpB,0BAA0B,EAC1B,qBAAqB,EACrB,iBAAiB,EACjB,eAAe,EACf,oBAAoB,EACpB,0BAA0B,EAC1B,+BAA+B,EAC/B,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,EACrB,eAAe,EACf,kBAAkB,EAClB,uBAAuB,EACvB,iBAAiB,EACjB,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,KAAK,EACV,KAAK,GAAG,EACR,KAAK,YAAY,EACjB,KAAK,OAAO,EACZ,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,cAAc,EACnB,KAAK,oBAAoB,EACzB,KAAK,yBAAyB,EAC9B,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,MAAM,EACX,KAAK,UAAU,EACf,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,iBAAiB,GACvB,MAAM,UAAU,CAAA;AAGjB,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,6BAA6B,EAC7B,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,EACpB,yBAAyB,EACzB,uBAAuB,EACvB,+BAA+B,EAC/B,8BAA8B,EAC9B,uCAAuC,EACvC,KAAK,cAAc,EACnB,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,uBAAuB,EAC5B,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,yBAAyB,EAC9B,KAAK,wBAAwB,EAC7B,KAAK,iCAAiC,EACtC,KAAK,iBAAiB,EACtB,KAAK,yBAAyB,EAC9B,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,iBAAiB,GACvB,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,WAAW,EACX,SAAS,EACT,mBAAmB,EACnB,YAAY,EACZ,KAAK,KAAK,EACV,KAAK,GAAG,EACR,KAAK,aAAa,EAClB,KAAK,MAAM,EACX,KAAK,YAAY,GAClB,MAAM,UAAU,CAAA;AAGjB,OAAO,EAEL,4BAA4B,EAC5B,wBAAwB,EACxB,iCAAiC,EACjC,6BAA6B,EAC7B,mBAAmB,EACnB,uBAAuB,EAEvB,KAAK,sBAAsB,EAC3B,KAAK,kBAAkB,EACvB,KAAK,2BAA2B,EAChC,KAAK,uBAAuB,EAC5B,KAAK,aAAa,EAClB,KAAK,iBAAiB,EAEtB,aAAa,EACb,iBAAiB,EACjB,0BAA0B,EAC1B,qBAAqB,EACrB,YAAY,EACZ,gBAAgB,EAEhB,uBAAuB,EACvB,KAAK,iBAAiB,EACtB,gBAAgB,EAChB,mBAAmB,EACnB,KAAK,aAAa,EAElB,uBAAuB,EACvB,gCAAgC,EAEhC,mBAAmB,EAEnB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,aAAa,EAElB,uBAAuB,EACvB,sBAAsB,EACtB,wBAAwB,EACxB,4BAA4B,EAC5B,sBAAsB,EACtB,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,KAAK,sBAAsB,EAC3B,KAAK,gBAAgB,EAErB,4BAA4B,EAC5B,qBAAqB,EACrB,8BAA8B,EAC9B,KAAK,sBAAsB,EAC3B,KAAK,eAAe,EACpB,KAAK,wBAAwB,EAE7B,qBAAqB,EACrB,uBAAuB,EACvB,KAAK,eAAe,EACpB,KAAK,iBAAiB,EAEtB,wBAAwB,EACxB,wBAAwB,EACxB,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,GACxB,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,sBAAsB,EACtB,YAAY,EACZ,UAAU,EACV,kBAAkB,EAClB,cAAc,EACd,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,sBAAsB,EACtB,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,MAAM,EACX,KAAK,IAAI,EACT,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,OAAO,EACZ,KAAK,aAAa,GACnB,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,qBAAqB,EACrB,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,gCAAgC,EAChC,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EACzB,mBAAmB,EACnB,0BAA0B,EAC1B,4BAA4B,EAC5B,sBAAsB,EACtB,KAAK,kBAAkB,EACvB,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EACzB,KAAK,WAAW,EAChB,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,EACrB,KAAK,0BAA0B,EAC/B,KAAK,sBAAsB,GAC5B,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,6BAA6B,EAC7B,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,uBAAuB,EAC5B,KAAK,eAAe,GACrB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,aAAa,EACb,wBAAwB,EACxB,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,OAAO,EACZ,KAAK,kBAAkB,EACvB,KAAK,UAAU,GAChB,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,YAAY,EACZ,eAAe,EACf,WAAW,EACX,SAAS,EACT,oBAAoB,EACpB,oBAAoB,EACpB,KAAK,KAAK,EACV,KAAK,SAAS,EACd,KAAK,GAAG,EACR,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,MAAM,GACZ,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EAClB,wBAAwB,EACxB,YAAY,EACZ,uBAAuB,EACvB,uBAAuB,EACvB,qBAAqB,EACrB,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,MAAM,EACX,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,SAAS,EACd,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,kBAAkB,GACxB,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,UAAU,EACV,UAAU,EACV,cAAc,EACd,cAAc,EACd,YAAY,EACZ,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,EAClB,KAAK,MAAM,EACX,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,IAAI,EACT,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,OAAO,EACZ,KAAK,YAAY,GAClB,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,mBAAmB,EACnB,8BAA8B,EAC9B,kBAAkB,EAClB,6BAA6B,EAC7B,qBAAqB,EACrB,uBAAuB,EACvB,uBAAuB,EACvB,0BAA0B,EAC1B,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,wBAAwB,EAC7B,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,uBAAuB,EAC5B,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,GAC1B,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,EAClB,yBAAyB,EACzB,uBAAuB,EACvB,qBAAqB,EACrB,qBAAqB,EACrB,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,0BAA0B,EAC1B,qBAAqB,EACrB,sBAAsB,EACtB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,YAAY,GAClB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,mBAAmB,EACnB,WAAW,EACX,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,KAAK,GACX,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,sBAAsB,EACtB,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,EACnB,yBAAyB,EACzB,KAAK,aAAa,EAClB,KAAK,SAAS,EACd,KAAK,OAAO,EACZ,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAChB,KAAK,UAAU,GAChB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,oBAAoB,EACpB,+BAA+B,EAC/B,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,yBAAyB,EAC9B,KAAK,iBAAiB,GACvB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,cAAc,EACd,kBAAkB,EAClB,qBAAqB,EACrB,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,KAAK,YAAY,EACjB,KAAK,eAAe,EACpB,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,kBAAkB,GACxB,MAAM,YAAY,CAAA;AAGnB,OAAO,EACL,SAAS,EACT,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,2BAA2B,EAC3B,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,WAAW,EACX,SAAS,EACT,kBAAkB,EAClB,aAAa,EACb,iBAAiB,EACjB,oBAAoB,EACpB,0BAA0B,EAC1B,qBAAqB,EACrB,iBAAiB,EACjB,eAAe,EACf,oBAAoB,EACpB,0BAA0B,EAC1B,+BAA+B,EAC/B,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,EACrB,eAAe,EACf,kBAAkB,EAClB,uBAAuB,EACvB,iBAAiB,EACjB,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,KAAK,EACV,KAAK,GAAG,EACR,KAAK,YAAY,EACjB,KAAK,OAAO,EACZ,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,cAAc,EACnB,KAAK,oBAAoB,EACzB,KAAK,yBAAyB,EAC9B,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,MAAM,EACX,KAAK,UAAU,EACf,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,iBAAiB,GACvB,MAAM,UAAU,CAAA;AAGjB,OAAO,EACL,sBAAsB,EACtB,gBAAgB,EAChB,WAAW,EACX,yBAAyB,EACzB,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,EACpB,eAAe,EACf,uBAAuB,EACvB,4BAA4B,EAC5B,6BAA6B,EAC7B,wBAAwB,EACxB,mBAAmB,EACnB,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,KAAK,SAAS,EACd,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,iBAAiB,EACtB,KAAK,sBAAsB,EAC3B,KAAK,uBAAuB,EAC5B,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,cAAc,GACpB,MAAM,iBAAiB,CAAA;AAGxB,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,6BAA6B,EAC7B,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,EACpB,yBAAyB,EACzB,uBAAuB,EACvB,+BAA+B,EAC/B,8BAA8B,EAC9B,uCAAuC,EACvC,KAAK,cAAc,EACnB,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,uBAAuB,EAC5B,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,yBAAyB,EAC9B,KAAK,wBAAwB,EAC7B,KAAK,iCAAiC,EACtC,KAAK,iBAAiB,EACtB,KAAK,yBAAyB,EAC9B,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,iBAAiB,GACvB,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,WAAW,EACX,SAAS,EACT,mBAAmB,EACnB,YAAY,EACZ,KAAK,KAAK,EACV,KAAK,GAAG,EACR,KAAK,aAAa,EAClB,KAAK,MAAM,EACX,KAAK,YAAY,GAClB,MAAM,UAAU,CAAA;AAGjB,OAAO,EAEL,4BAA4B,EAC5B,wBAAwB,EACxB,iCAAiC,EACjC,6BAA6B,EAC7B,mBAAmB,EACnB,uBAAuB,EAEvB,KAAK,sBAAsB,EAC3B,KAAK,kBAAkB,EACvB,KAAK,2BAA2B,EAChC,KAAK,uBAAuB,EAC5B,KAAK,aAAa,EAClB,KAAK,iBAAiB,EAEtB,aAAa,EACb,iBAAiB,EACjB,0BAA0B,EAC1B,qBAAqB,EACrB,YAAY,EACZ,gBAAgB,EAEhB,uBAAuB,EACvB,KAAK,iBAAiB,EACtB,gBAAgB,EAChB,mBAAmB,EACnB,KAAK,aAAa,EAElB,uBAAuB,EACvB,gCAAgC,EAEhC,mBAAmB,EAEnB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,aAAa,EAElB,uBAAuB,EACvB,sBAAsB,EACtB,wBAAwB,EACxB,4BAA4B,EAC5B,sBAAsB,EACtB,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,KAAK,sBAAsB,EAC3B,KAAK,gBAAgB,EAErB,4BAA4B,EAC5B,qBAAqB,EACrB,8BAA8B,EAC9B,KAAK,sBAAsB,EAC3B,KAAK,eAAe,EACpB,KAAK,wBAAwB,EAE7B,qBAAqB,EACrB,uBAAuB,EACvB,KAAK,eAAe,EACpB,KAAK,iBAAiB,EAEtB,wBAAwB,EACxB,wBAAwB,EACxB,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,GACxB,MAAM,eAAe,CAAC"}

package/dist/index.js

@@ -44,6 +44,8 @@ export { SOURCE_TYPES, SourceTypeSchema, TrackedProjectSchema, CreateTrackedProj
 export { FINDING_SEVERITIES, LOSS_WEIGHTS, AGENT_RUNTIMES, AgentRuntimeSchema, FindingSeveritySchema, FindingSchema, DuplicateSchema, DedupResultSchema, CycleConfigSchema, RoundMetricsSchema, CycleResultSchema, } from "./cycle.js";
 // Doc types & schemas (docs-as-primitives, DD-023)
 export { DOC_KINDS, DOC_STATUSES, DOC_LINK_TYPES, TASK_DOC_LINK_TYPES, INVARIANT_ENFORCEMENT_TYPES, INVARIANT_STATUSES, EARS_PATTERNS, DocKindSchema, DocStatusSchema, DocLinkTypeSchema, TaskDocLinkTypeSchema, DocIdSchema, DocSchema, DocWithLinksSchema, DocLinkSchema, TaskDocLinkSchema, CreateDocInputSchema, InvariantEnforcementSchema, InvariantStatusSchema, InvariantIdSchema, InvariantSchema, InvariantCheckSchema, UpsertInvariantInputSchema, RecordInvariantCheckInputSchema, EarsPatternSchema, EarsPrioritySchema, EarsRequirementIdSchema, EarsRequirementSchema, DocGraphNodeSchema, DocGraphEdgeSchema, DocGraphSchema, isValidDocKind, InvalidDocKindError, assertDocKind, isValidDocStatus, InvalidDocStatusError, assertDocStatus, isValidDocLinkType, InvalidDocLinkTypeError, assertDocLinkType, } from "./doc.js";
+// Spec traceability types & schemas
+export { SPEC_DISCOVERY_METHODS, SPEC_SCOPE_TYPES, SPEC_PHASES, SpecDiscoveryMethodSchema, SpecScopeTypeSchema, SpecPhaseSchema, SpecTestIdSchema, SpecTestSchema, SpecTestRunSchema, SpecSignoffSchema, SpecScopeFilterSchema, DiscoverResultSchema, FciResultSchema, SpecTestLatestRunSchema, TraceabilityMatrixTestSchema, TraceabilityMatrixEntrySchema, TraceabilityMatrixSchema, BatchRunInputSchema, } from "./spec-trace.js";
 // Memory types & schemas (filesystem-backed memory system)
 export { MEMORY_LINK_TYPES, MemoryLinkTypeSchema, MemoryDocumentIdSchema, MemoryDocumentSchema, MemoryDocumentWithScoreSchema, MemoryLinkSchema, MemorySourceSchema, MemoryPropertySchema, MemorySearchOptionsSchema, MemoryIndexStatusSchema, CreateMemoryDocumentInputSchema, MemoryDocumentSerializedSchema, MemoryDocumentWithScoreSerializedSchema, } from "./memory.js";
 // Pin types & schemas (context pins for agent memory injection)

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,uBAAuB;AACvB,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,sBAAsB,EACtB,YAAY,EACZ,UAAU,EACV,kBAAkB,EAClB,cAAc,EACd,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,sBAAsB,GAcvB,MAAM,WAAW,CAAC;AAEnB,2BAA2B;AAC3B,OAAO,EACL,qBAAqB,EACrB,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,gCAAgC,EAChC,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EACzB,mBAAmB,EACnB,0BAA0B,EAC1B,4BAA4B,EAC5B,sBAAsB,GAiBvB,MAAM,eAAe,CAAC;AAEvB,gCAAgC;AAChC,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,6BAA6B,GAK9B,MAAM,oBAAoB,CAAC;AAE5B,0BAA0B;AAC1B,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,aAAa,EACb,wBAAwB,GAMzB,MAAM,cAAc,CAAC;AAEtB,sBAAsB;AACtB,OAAO,EACL,YAAY,EACZ,eAAe,EACf,WAAW,EACX,SAAS,EACT,oBAAoB,EACpB,oBAAoB,GAOrB,MAAM,UAAU,CAAC;AAElB,yBAAyB;AACzB,OAAO,EACL,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EAClB,wBAAwB,EACxB,YAAY,EACZ,uBAAuB,EACvB,uBAAuB,EACvB,qBAAqB,GAYtB,MAAM,aAAa,CAAA;AAEpB,uBAAuB;AACvB,OAAO,EACL,UAAU,EACV,UAAU,EACV,cAAc,EACd,cAAc,EACd,YAAY,EACZ,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,GASnB,MAAM,WAAW,CAAC;AAEnB,gCAAgC;AAChC,OAAO,EACL,mBAAmB,EACnB,8BAA8B,EAC9B,kBAAkB,EAClB,6BAA6B,EAC7B,qBAAqB,EACrB,uBAAuB,EACvB,uBAAuB,EACvB,0BAA0B,GAa3B,MAAM,oBAAoB,CAAC;AAE5B,mEAAmE;AACnE,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,EAClB,yBAAyB,EACzB,uBAAuB,EACvB,qBAAqB,EACrB,qBAAqB,EACrB,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,0BAA0B,EAC1B,qBAAqB,EACrB,sBAAsB,GAavB,MAAM,gBAAgB,CAAC;AAExB,wDAAwD;AACxD,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,mBAAmB,EACnB,WAAW,GAOZ,MAAM,aAAa,CAAA;AAEpB,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,sBAAsB,EACtB,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,EACnB,yBAAyB,GAO1B,MAAM,cAAc,CAAA;AAErB,sDAAsD;AACtD,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,oBAAoB,EACpB,+BAA+B,GAMhC,MAAM,sBAAsB,CAAC;AAE9B,sDAAsD;AACtD,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,cAAc,EACd,kBAAkB,EAClB,qBAAqB,EACrB,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,GAUlB,MAAM,YAAY,CAAA;AAEnB,mDAAmD;AACnD,OAAO,EACL,SAAS,EACT,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,2BAA2B,EAC3B,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,WAAW,EACX,SAAS,EACT,kBAAkB,EAClB,aAAa,EACb,iBAAiB,EACjB,oBAAoB,EACpB,0BAA0B,EAC1B,qBAAqB,EACrB,iBAAiB,EACjB,eAAe,EACf,oBAAoB,EACpB,0BAA0B,EAC1B,+BAA+B,EAC/B,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,EACrB,eAAe,EACf,kBAAkB,EAClB,uBAAuB,EACvB,iBAAiB,GA8BlB,MAAM,UAAU,CAAA;AAEjB,2DAA2D;AAC3D,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,6BAA6B,EAC7B,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,EACpB,yBAAyB,EACzB,uBAAuB,EACvB,+BAA+B,EAC/B,8BAA8B,EAC9B,uCAAuC,GAkBxC,MAAM,aAAa,CAAA;AAEpB,gEAAgE;AAChE,OAAO,EACL,WAAW,EACX,SAAS,EACT,mBAAmB,EACnB,YAAY,GAMb,MAAM,UAAU,CAAA;AAEjB,mEAAmE;AACnE,OAAO;AACL,4BAA4B;AAC5B,4BAA4B,EAC5B,wBAAwB,EACxB,iCAAiC,EACjC,6BAA6B,EAC7B,mBAAmB,EACnB,uBAAuB;AAQvB,0BAA0B;AAC1B,aAAa,EACb,iBAAiB,EACjB,0BAA0B,EAC1B,qBAAqB,EACrB,YAAY,EACZ,gBAAgB;AAChB,qCAAqC;AACrC,uBAAuB,EAEvB,gBAAgB,EAChB,mBAAmB;AAEnB,iCAAiC;AACjC,uBAAuB,EACvB,gCAAgC;AAChC,4BAA4B;AAC5B,mBAAmB;AAMnB,gCAAgC;AAChC,uBAAuB,EACvB,sBAAsB,EACtB,wBAAwB,EACxB,4BAA4B,EAC5B,sBAAsB;AAMtB,oCAAoC;AACpC,4BAA4B,EAC5B,qBAAqB,EACrB,8BAA8B;AAI9B,+BAA+B;AAC/B,qBAAqB,EACrB,uBAAuB;AAGvB,gCAAgC;AAChC,wBAAwB,EACxB,wBAAwB,GAGzB,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,uBAAuB;AACvB,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,sBAAsB,EACtB,YAAY,EACZ,UAAU,EACV,kBAAkB,EAClB,cAAc,EACd,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,sBAAsB,GAcvB,MAAM,WAAW,CAAC;AAEnB,2BAA2B;AAC3B,OAAO,EACL,qBAAqB,EACrB,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,gCAAgC,EAChC,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EACzB,mBAAmB,EACnB,0BAA0B,EAC1B,4BAA4B,EAC5B,sBAAsB,GAiBvB,MAAM,eAAe,CAAC;AAEvB,gCAAgC;AAChC,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,6BAA6B,GAK9B,MAAM,oBAAoB,CAAC;AAE5B,0BAA0B;AAC1B,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,aAAa,EACb,wBAAwB,GAMzB,MAAM,cAAc,CAAC;AAEtB,sBAAsB;AACtB,OAAO,EACL,YAAY,EACZ,eAAe,EACf,WAAW,EACX,SAAS,EACT,oBAAoB,EACpB,oBAAoB,GAOrB,MAAM,UAAU,CAAC;AAElB,yBAAyB;AACzB,OAAO,EACL,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EAClB,wBAAwB,EACxB,YAAY,EACZ,uBAAuB,EACvB,uBAAuB,EACvB,qBAAqB,GAYtB,MAAM,aAAa,CAAA;AAEpB,uBAAuB;AACvB,OAAO,EACL,UAAU,EACV,UAAU,EACV,cAAc,EACd,cAAc,EACd,YAAY,EACZ,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,GASnB,MAAM,WAAW,CAAC;AAEnB,gCAAgC;AAChC,OAAO,EACL,mBAAmB,EACnB,8BAA8B,EAC9B,kBAAkB,EAClB,6BAA6B,EAC7B,qBAAqB,EACrB,uBAAuB,EACvB,uBAAuB,EACvB,0BAA0B,GAa3B,MAAM,oBAAoB,CAAC;AAE5B,mEAAmE;AACnE,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,EAClB,yBAAyB,EACzB,uBAAuB,EACvB,qBAAqB,EACrB,qBAAqB,EACrB,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,0BAA0B,EAC1B,qBAAqB,EACrB,sBAAsB,GAavB,MAAM,gBAAgB,CAAC;AAExB,wDAAwD;AACxD,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,mBAAmB,EACnB,WAAW,GAOZ,MAAM,aAAa,CAAA;AAEpB,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,sBAAsB,EACtB,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,EACnB,yBAAyB,GAO1B,MAAM,cAAc,CAAA;AAErB,sDAAsD;AACtD,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,oBAAoB,EACpB,+BAA+B,GAMhC,MAAM,sBAAsB,CAAC;AAE9B,sDAAsD;AACtD,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,cAAc,EACd,kBAAkB,EAClB,qBAAqB,EACrB,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,GAUlB,MAAM,YAAY,CAAA;AAEnB,mDAAmD;AACnD,OAAO,EACL,SAAS,EACT,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,2BAA2B,EAC3B,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,WAAW,EACX,SAAS,EACT,kBAAkB,EAClB,aAAa,EACb,iBAAiB,EACjB,oBAAoB,EACpB,0BAA0B,EAC1B,qBAAqB,EACrB,iBAAiB,EACjB,eAAe,EACf,oBAAoB,EACpB,0BAA0B,EAC1B,+BAA+B,EAC/B,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,EACrB,eAAe,EACf,kBAAkB,EAClB,uBAAuB,EACvB,iBAAiB,GA8BlB,MAAM,UAAU,CAAA;AAEjB,oCAAoC;AACpC,OAAO,EACL,sBAAsB,EACtB,gBAAgB,EAChB,WAAW,EACX,yBAAyB,EACzB,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,EACpB,eAAe,EACf,uBAAuB,EACvB,4BAA4B,EAC5B,6BAA6B,EAC7B,wBAAwB,EACxB,mBAAmB,GAmBpB,MAAM,iBAAiB,CAAA;AAExB,2DAA2D;AAC3D,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,6BAA6B,EAC7B,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,EACpB,yBAAyB,EACzB,uBAAuB,EACvB,+BAA+B,EAC/B,8BAA8B,EAC9B,uCAAuC,GAkBxC,MAAM,aAAa,CAAA;AAEpB,gEAAgE;AAChE,OAAO,EACL,WAAW,EACX,SAAS,EACT,mBAAmB,EACnB,YAAY,GAMb,MAAM,UAAU,CAAA;AAEjB,mEAAmE;AACnE,OAAO;AACL,4BAA4B;AAC5B,4BAA4B,EAC5B,wBAAwB,EACxB,iCAAiC,EACjC,6BAA6B,EAC7B,mBAAmB,EACnB,uBAAuB;AAQvB,0BAA0B;AAC1B,aAAa,EACb,iBAAiB,EACjB,0BAA0B,EAC1B,qBAAqB,EACrB,YAAY,EACZ,gBAAgB;AAChB,qCAAqC;AACrC,uBAAuB,EAEvB,gBAAgB,EAChB,mBAAmB;AAEnB,iCAAiC;AACjC,uBAAuB,EACvB,gCAAgC;AAChC,4BAA4B;AAC5B,mBAAmB;AAMnB,gCAAgC;AAChC,uBAAuB,EACvB,sBAAsB,EACtB,wBAAwB,EACxB,4BAA4B,EAC5B,sBAAsB;AAMtB,oCAAoC;AACpC,4BAA4B,EAC5B,qBAAqB,EACrB,8BAA8B;AAI9B,+BAA+B;AAC/B,qBAAqB,EACrB,uBAAuB;AAGvB,gCAAgC;AAChC,wBAAwB,EACxB,wBAAwB,GAGzB,MAAM,eAAe,CAAC"}

package/dist/spec-trace.d.ts

@@ -0,0 +1,163 @@
+/**
+ * Spec traceability types for tx
+ *
+ * Maps invariants <-> tests and tracks run outcomes for Feature Completion Index (FCI).
+ * Uses Effect Schema for runtime validation and static typing.
+ */
+import { Schema } from "effect";
+export declare const SPEC_DISCOVERY_METHODS: readonly ["tag", "comment", "manifest", "manual"];
+export declare const SPEC_SCOPE_TYPES: readonly ["doc", "subsystem", "global"];
+export declare const SPEC_PHASES: readonly ["BUILD", "HARDEN", "COMPLETE"];
+export declare const SpecDiscoveryMethodSchema: Schema.Literal<["tag", "comment", "manifest", "manual"]>;
+export type SpecDiscoveryMethod = typeof SpecDiscoveryMethodSchema.Type;
+export declare const SpecScopeTypeSchema: Schema.Literal<["doc", "subsystem", "global"]>;
+export type SpecScopeType = typeof SpecScopeTypeSchema.Type;
+export declare const SpecPhaseSchema: Schema.Literal<["BUILD", "HARDEN", "COMPLETE"]>;
+export type SpecPhase = typeof SpecPhaseSchema.Type;
+/** Canonical test identity: {relative_file}::{test_name}. */
+export declare const SpecTestIdSchema: Schema.filter<typeof Schema.String>;
+export type SpecTestId = typeof SpecTestIdSchema.Type;
+export declare const SpecTestSchema: Schema.Struct<{
+    id: Schema.filter<typeof Schema.Number>;
+    invariantId: typeof Schema.String;
+    testId: Schema.filter<typeof Schema.String>;
+    testFile: typeof Schema.String;
+    testName: Schema.NullOr<typeof Schema.String>;
+    framework: Schema.NullOr<typeof Schema.String>;
+    discovery: Schema.Literal<["tag", "comment", "manifest", "manual"]>;
+    createdAt: typeof Schema.DateFromSelf;
+    updatedAt: typeof Schema.DateFromSelf;
+}>;
+export type SpecTest = typeof SpecTestSchema.Type;
+export declare const SpecTestRunSchema: Schema.Struct<{
+    id: Schema.filter<typeof Schema.Number>;
+    specTestId: Schema.filter<typeof Schema.Number>;
+    passed: typeof Schema.Boolean;
+    durationMs: Schema.NullOr<Schema.filter<typeof Schema.Number>>;
+    details: Schema.NullOr<typeof Schema.String>;
+    runAt: typeof Schema.DateFromSelf;
+}>;
+export type SpecTestRun = typeof SpecTestRunSchema.Type;
+export declare const SpecSignoffSchema: Schema.Struct<{
+    id: Schema.filter<typeof Schema.Number>;
+    scopeType: Schema.Literal<["doc", "subsystem", "global"]>;
+    scopeValue: Schema.NullOr<typeof Schema.String>;
+    signedOffBy: typeof Schema.String;
+    notes: Schema.NullOr<typeof Schema.String>;
+    signedOffAt: typeof Schema.DateFromSelf;
+}>;
+export type SpecSignoff = typeof SpecSignoffSchema.Type;
+export declare const SpecScopeFilterSchema: Schema.Struct<{
+    doc: Schema.optional<typeof Schema.String>;
+    subsystem: Schema.optional<typeof Schema.String>;
+}>;
+export type SpecScopeFilter = typeof SpecScopeFilterSchema.Type;
+export declare const DiscoverResultSchema: Schema.Struct<{
+    scannedFiles: Schema.filter<typeof Schema.Number>;
+    discoveredLinks: Schema.filter<typeof Schema.Number>;
+    upserted: Schema.filter<typeof Schema.Number>;
+    tagLinks: Schema.filter<typeof Schema.Number>;
+    commentLinks: Schema.filter<typeof Schema.Number>;
+    manifestLinks: Schema.filter<typeof Schema.Number>;
+}>;
+export type DiscoverResult = typeof DiscoverResultSchema.Type;
+export declare const FciResultSchema: Schema.Struct<{
+    total: Schema.filter<typeof Schema.Number>;
+    covered: Schema.filter<typeof Schema.Number>;
+    uncovered: Schema.filter<typeof Schema.Number>;
+    passing: Schema.filter<typeof Schema.Number>;
+    failing: Schema.filter<typeof Schema.Number>;
+    untested: Schema.filter<typeof Schema.Number>;
+    fci: typeof Schema.Number;
+    phase: Schema.Literal<["BUILD", "HARDEN", "COMPLETE"]>;
+}>;
+export type FciResult = typeof FciResultSchema.Type;
+export declare const SpecTestLatestRunSchema: Schema.Struct<{
+    passed: Schema.NullOr<typeof Schema.Boolean>;
+    runAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+}>;
+export type SpecTestLatestRun = typeof SpecTestLatestRunSchema.Type;
+export declare const TraceabilityMatrixTestSchema: Schema.Struct<{
+    specTestId: Schema.filter<typeof Schema.Number>;
+    testId: Schema.filter<typeof Schema.String>;
+    testFile: typeof Schema.String;
+    testName: Schema.NullOr<typeof Schema.String>;
+    framework: Schema.NullOr<typeof Schema.String>;
+    discovery: Schema.Literal<["tag", "comment", "manifest", "manual"]>;
+    latestRun: Schema.Struct<{
+        passed: Schema.NullOr<typeof Schema.Boolean>;
+        runAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+    }>;
+}>;
+export type TraceabilityMatrixTest = typeof TraceabilityMatrixTestSchema.Type;
+export declare const TraceabilityMatrixEntrySchema: Schema.Struct<{
+    invariantId: typeof Schema.String;
+    rule: typeof Schema.String;
+    subsystem: Schema.NullOr<typeof Schema.String>;
+    tests: Schema.Array$<Schema.Struct<{
+        specTestId: Schema.filter<typeof Schema.Number>;
+        testId: Schema.filter<typeof Schema.String>;
+        testFile: typeof Schema.String;
+        testName: Schema.NullOr<typeof Schema.String>;
+        framework: Schema.NullOr<typeof Schema.String>;
+        discovery: Schema.Literal<["tag", "comment", "manifest", "manual"]>;
+        latestRun: Schema.Struct<{
+            passed: Schema.NullOr<typeof Schema.Boolean>;
+            runAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+        }>;
+    }>>;
+}>;
+export type TraceabilityMatrixEntry = typeof TraceabilityMatrixEntrySchema.Type;
+export declare const TraceabilityMatrixSchema: Schema.Array$<Schema.Struct<{
+    invariantId: typeof Schema.String;
+    rule: typeof Schema.String;
+    subsystem: Schema.NullOr<typeof Schema.String>;
+    tests: Schema.Array$<Schema.Struct<{
+        specTestId: Schema.filter<typeof Schema.Number>;
+        testId: Schema.filter<typeof Schema.String>;
+        testFile: typeof Schema.String;
+        testName: Schema.NullOr<typeof Schema.String>;
+        framework: Schema.NullOr<typeof Schema.String>;
+        discovery: Schema.Literal<["tag", "comment", "manifest", "manual"]>;
+        latestRun: Schema.Struct<{
+            passed: Schema.NullOr<typeof Schema.Boolean>;
+            runAt: Schema.NullOr<typeof Schema.DateFromSelf>;
+        }>;
+    }>>;
+}>>;
+export type TraceabilityMatrix = typeof TraceabilityMatrixSchema.Type;
+export declare const BatchRunInputSchema: Schema.Struct<{
+    testId: Schema.filter<typeof Schema.String>;
+    passed: typeof Schema.Boolean;
+    durationMs: Schema.optional<Schema.NullOr<Schema.filter<typeof Schema.Number>>>;
+    details: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+}>;
+export type BatchRunInput = typeof BatchRunInputSchema.Type;
+export interface SpecTestRow {
+    id: number;
+    invariant_id: string;
+    test_id: string;
+    test_file: string;
+    test_name: string | null;
+    framework: string | null;
+    discovery: string;
+    created_at: string;
+    updated_at: string;
+}
+export interface SpecTestRunRow {
+    id: number;
+    spec_test_id: number;
+    passed: number;
+    duration_ms: number | null;
+    details: string | null;
+    run_at: string;
+}
+export interface SpecSignoffRow {
+    id: number;
+    scope_type: string;
+    scope_value: string | null;
+    signed_off_by: string;
+    notes: string | null;
+    signed_off_at: string;
+}
+//# sourceMappingURL=spec-trace.d.ts.map

package/dist/spec-trace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-trace.d.ts","sourceRoot":"","sources":["../src/spec-trace.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B,eAAO,MAAM,sBAAsB,mDAAoD,CAAA;AACvF,eAAO,MAAM,gBAAgB,yCAA0C,CAAA;AACvE,eAAO,MAAM,WAAW,0CAA2C,CAAA;AAMnE,eAAO,MAAM,yBAAyB,0DAA4C,CAAA;AAClF,MAAM,MAAM,mBAAmB,GAAG,OAAO,yBAAyB,CAAC,IAAI,CAAA;AAEvE,eAAO,MAAM,mBAAmB,gDAAsC,CAAA;AACtE,MAAM,MAAM,aAAa,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AAE3D,eAAO,MAAM,eAAe,iDAAiC,CAAA;AAC7D,MAAM,MAAM,SAAS,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAEnD,6DAA6D;AAC7D,eAAO,MAAM,gBAAgB,qCAA0C,CAAA;AACvE,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAErD,eAAO,MAAM,cAAc;;;;;;;;;;EAUzB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEjD,eAAO,MAAM,iBAAiB;;;;;;;EAO5B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAEvD,eAAO,MAAM,iBAAiB;;;;;;;EAO5B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAEvD,eAAO,MAAM,qBAAqB;;;EAGhC,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;;;;;EAO/B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAE7D,eAAO,MAAM,eAAe;;;;;;;;;EAS1B,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAEnD,eAAO,MAAM,uBAAuB;;;EAGlC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAA;AAEnE,eAAO,MAAM,4BAA4B;;;;;;;;;;;EAQvC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,OAAO,4BAA4B,CAAC,IAAI,CAAA;AAE7E,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;EAKxC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,OAAO,6BAA6B,CAAC,IAAI,CAAA;AAE/E,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;GAA8C,CAAA;AACnF,MAAM,MAAM,kBAAkB,GAAG,OAAO,wBAAwB,CAAC,IAAI,CAAA;AAErE,eAAO,MAAM,mBAAmB;;;;;EAK9B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AAM3D,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAA;IACV,YAAY,EAAE,MAAM,CAAA;IACpB,OAAO,EAAE,MAAM,CAAA;IACf,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACxB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACxB,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;IAClB,UAAU,EAAE,MAAM,CAAA;CACnB;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAA;IACV,YAAY,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,MAAM,CAAA;IACd,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IACtB,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAA;IACV,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,aAAa,EAAE,MAAM,CAAA;IACrB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,aAAa,EAAE,MAAM,CAAA;CACtB"}

package/dist/spec-trace.js

@@ -0,0 +1,97 @@
+/**
+ * Spec traceability types for tx
+ *
+ * Maps invariants <-> tests and tracks run outcomes for Feature Completion Index (FCI).
+ * Uses Effect Schema for runtime validation and static typing.
+ */
+import { Schema } from "effect";
+// =============================================================================
+// CONSTANTS
+// =============================================================================
+export const SPEC_DISCOVERY_METHODS = ["tag", "comment", "manifest", "manual"];
+export const SPEC_SCOPE_TYPES = ["doc", "subsystem", "global"];
+export const SPEC_PHASES = ["BUILD", "HARDEN", "COMPLETE"];
+// =============================================================================
+// SCHEMAS & TYPES
+// =============================================================================
+export const SpecDiscoveryMethodSchema = Schema.Literal(...SPEC_DISCOVERY_METHODS);
+export const SpecScopeTypeSchema = Schema.Literal(...SPEC_SCOPE_TYPES);
+export const SpecPhaseSchema = Schema.Literal(...SPEC_PHASES);
+/** Canonical test identity: {relative_file}::{test_name}. */
+export const SpecTestIdSchema = Schema.String.pipe(Schema.minLength(1));
+export const SpecTestSchema = Schema.Struct({
+    id: Schema.Number.pipe(Schema.int()),
+    invariantId: Schema.String,
+    testId: SpecTestIdSchema,
+    testFile: Schema.String,
+    testName: Schema.NullOr(Schema.String),
+    framework: Schema.NullOr(Schema.String),
+    discovery: SpecDiscoveryMethodSchema,
+    createdAt: Schema.DateFromSelf,
+    updatedAt: Schema.DateFromSelf,
+});
+export const SpecTestRunSchema = Schema.Struct({
+    id: Schema.Number.pipe(Schema.int()),
+    specTestId: Schema.Number.pipe(Schema.int()),
+    passed: Schema.Boolean,
+    durationMs: Schema.NullOr(Schema.Number.pipe(Schema.int())),
+    details: Schema.NullOr(Schema.String),
+    runAt: Schema.DateFromSelf,
+});
+export const SpecSignoffSchema = Schema.Struct({
+    id: Schema.Number.pipe(Schema.int()),
+    scopeType: SpecScopeTypeSchema,
+    scopeValue: Schema.NullOr(Schema.String),
+    signedOffBy: Schema.String,
+    notes: Schema.NullOr(Schema.String),
+    signedOffAt: Schema.DateFromSelf,
+});
+export const SpecScopeFilterSchema = Schema.Struct({
+    doc: Schema.optional(Schema.String),
+    subsystem: Schema.optional(Schema.String),
+});
+export const DiscoverResultSchema = Schema.Struct({
+    scannedFiles: Schema.Number.pipe(Schema.int()),
+    discoveredLinks: Schema.Number.pipe(Schema.int()),
+    upserted: Schema.Number.pipe(Schema.int()),
+    tagLinks: Schema.Number.pipe(Schema.int()),
+    commentLinks: Schema.Number.pipe(Schema.int()),
+    manifestLinks: Schema.Number.pipe(Schema.int()),
+});
+export const FciResultSchema = Schema.Struct({
+    total: Schema.Number.pipe(Schema.int()),
+    covered: Schema.Number.pipe(Schema.int()),
+    uncovered: Schema.Number.pipe(Schema.int()),
+    passing: Schema.Number.pipe(Schema.int()),
+    failing: Schema.Number.pipe(Schema.int()),
+    untested: Schema.Number.pipe(Schema.int()),
+    fci: Schema.Number,
+    phase: SpecPhaseSchema,
+});
+export const SpecTestLatestRunSchema = Schema.Struct({
+    passed: Schema.NullOr(Schema.Boolean),
+    runAt: Schema.NullOr(Schema.DateFromSelf),
+});
+export const TraceabilityMatrixTestSchema = Schema.Struct({
+    specTestId: Schema.Number.pipe(Schema.int()),
+    testId: SpecTestIdSchema,
+    testFile: Schema.String,
+    testName: Schema.NullOr(Schema.String),
+    framework: Schema.NullOr(Schema.String),
+    discovery: SpecDiscoveryMethodSchema,
+    latestRun: SpecTestLatestRunSchema,
+});
+export const TraceabilityMatrixEntrySchema = Schema.Struct({
+    invariantId: Schema.String,
+    rule: Schema.String,
+    subsystem: Schema.NullOr(Schema.String),
+    tests: Schema.Array(TraceabilityMatrixTestSchema),
+});
+export const TraceabilityMatrixSchema = Schema.Array(TraceabilityMatrixEntrySchema);
+export const BatchRunInputSchema = Schema.Struct({
+    testId: SpecTestIdSchema,
+    passed: Schema.Boolean,
+    durationMs: Schema.optional(Schema.NullOr(Schema.Number.pipe(Schema.int()))),
+    details: Schema.optional(Schema.NullOr(Schema.String)),
+});
+//# sourceMappingURL=spec-trace.js.map

package/dist/spec-trace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-trace.js","sourceRoot":"","sources":["../src/spec-trace.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,gFAAgF;AAChF,YAAY;AACZ,gFAAgF;AAEhF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAU,CAAA;AACvF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,CAAU,CAAA;AACvE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAU,CAAA;AAEnE,gFAAgF;AAChF,kBAAkB;AAClB,gFAAgF;AAEhF,MAAM,CAAC,MAAM,yBAAyB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,sBAAsB,CAAC,CAAA;AAGlF,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,gBAAgB,CAAC,CAAA;AAGtE,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,WAAW,CAAC,CAAA;AAG7D,6DAA6D;AAC7D,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;AAGvE,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1C,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACpC,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,MAAM,EAAE,gBAAgB;IACxB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,SAAS,EAAE,yBAAyB;IACpC,SAAS,EAAE,MAAM,CAAC,YAAY;IAC9B,SAAS,EAAE,MAAM,CAAC,YAAY;CAC/B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7C,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACpC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC5C,MAAM,EAAE,MAAM,CAAC,OAAO;IACtB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IAC3D,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,KAAK,EAAE,MAAM,CAAC,YAAY;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7C,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACpC,SAAS,EAAE,mBAAmB;IAC9B,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACnC,WAAW,EAAE,MAAM,CAAC,YAAY;CACjC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACnC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CAC1C,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IAChD,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC9C,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACjD,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC1C,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC9C,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;CAChD,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACzC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3C,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACzC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACzC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC1C,GAAG,EAAE,MAAM,CAAC,MAAM;IAClB,KAAK,EAAE,eAAe;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;IACrC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;CAC1C,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC;IACxD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC5C,MAAM,EAAE,gBAAgB;IACxB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,SAAS,EAAE,yBAAyB;IACpC,SAAS,EAAE,uBAAuB;CACnC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,6BAA6B,GAAG,MAAM,CAAC,MAAM,CAAC;IACzD,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC;CAClD,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAA;AAGnF,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,MAAM,EAAE,gBAAgB;IACxB,MAAM,EAAE,MAAM,CAAC,OAAO;IACtB,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC5E,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACvD,CAAC,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@jamesaphoenix/tx-types",
-  "version": "0.8.1",
+  "version": "0.9.0",
   "description": "Shared TypeScript types for tx - Effect Schema definitions",
   "type": "module",
   "main": "./dist/index.js",