@neat.is/types 0.9.13-dev.20260901 → 0.9.14

package/dist/index.cjs

@@ -48,6 +48,8 @@ __export(index_exports, {
   DEFAULT_EXTRACTED_PRECISION_FLOOR: () => DEFAULT_EXTRACTED_PRECISION_FLOOR,
   DaemonHealthResponseSchema: () => DaemonHealthResponseSchema,
   DatabaseNodeSchema: () => DatabaseNodeSchema,
+  DeployMismatchDivergenceSchema: () => DeployMismatchDivergenceSchema,
+  DeployMismatchKindSchema: () => DeployMismatchKindSchema,
   DiscoveredViaSchema: () => DiscoveredViaSchema,
   DivergenceResultSchema: () => DivergenceResultSchema,
   DivergenceSchema: () => DivergenceSchema,
@@ -150,6 +152,7 @@ __export(index_exports, {
   extractedEdgeId: () => extractedEdgeId,
   extractedPrecisionFloor: () => extractedPrecisionFloor,
   fileId: () => fileId,
+  frontierEdgeId: () => frontierEdgeId,
   frontierId: () => frontierId,
   graphqlOperationId: () => graphqlOperationId,
   grpcMethodId: () => grpcMethodId,
@@ -186,7 +189,15 @@ var Provenance = {
   EXTRACTED: "EXTRACTED",
   INFERRED: "INFERRED",
   OBSERVED: "OBSERVED",
-  STALE: "STALE"
+  STALE: "STALE",
+  // The staged-surface tense (ADR-094 / ADR-226): a claim outside the settled
+  // graph — an edge NEAT reached toward but cannot yet observe (a hop whose far
+  // end hung), or a proposed relationship not yet enacted. "Provenance is
+  // everything outside the graph." A FRONTIER edge is a real, persisted surface,
+  // but it is NEVER ranked: it stays out of `PROV_RANK` and is skipped by settled
+  // traversal (Rule 3, edge level). It graduates to OBSERVED (promotion) when its
+  // real twin arrives, or is culled. Restores the value ADR-068 froze out.
+  FRONTIER: "FRONTIER"
 };
 var EdgeType = {
   CALLS: "CALLS",
@@ -325,7 +336,8 @@ var ProvenanceSchema = import_zod2.z.enum([
   Provenance.EXTRACTED,
   Provenance.INFERRED,
   Provenance.OBSERVED,
-  Provenance.STALE
+  Provenance.STALE,
+  Provenance.FRONTIER
 ]);
 var EdgeTypeSchema = import_zod2.z.enum([
   EdgeType.CALLS,
@@ -459,6 +471,16 @@ var ServiceNodeSchema = import_zod3.z.object({
   // absent on a non-k8s service. See docs/contracts/schema.md.
   declaredImage: import_zod3.z.string().optional(),
   declaredReplicas: import_zod3.z.number().optional(),
+  // Observed k8s deploy state, stamped by the k8s observed reader
+  // (`connectors/kubernetes/`) from live cluster state: the container image the
+  // running pods actually report and the count of ready replicas. Compared on
+  // this same `service:<name>` node against `declaredImage`/`declaredReplicas`
+  // (above) to surface a `deploy-mismatch` divergence — the stuck rollout where
+  // the manifest declares a new image but the old pods still serve it, so no
+  // incident fires (the service is up) yet declared ≠ running. Optional growth
+  // (ADR-031, ADR-225), absent on a non-k8s service.
+  observedImage: import_zod3.z.string().optional(),
+  observedReadyReplicas: import_zod3.z.number().optional(),
   repoPath: import_zod3.z.string().optional(),
   owner: import_zod3.z.string().optional(),
   dependencies: import_zod3.z.record(import_zod3.z.string(), import_zod3.z.string()).optional(),
@@ -804,6 +826,7 @@ var NodeContextSchema = import_zod5.z.object({
 var NodeClassificationSchema = import_zod5.z.enum([
   "primary-failure",
   "symptom-only",
+  "unreachable",
   "unrelated"
 ]);
 var RootCauseCandidateSchema = import_zod5.z.object({
@@ -1276,6 +1299,9 @@ function observedEdgeId(source, target, type) {
 function inferredEdgeId(source, target, type) {
   return `${type}:INFERRED:${source}${EDGE_ARROW}${target}`;
 }
+function frontierEdgeId(source, target, type) {
+  return `${type}:FRONTIER:${source}${EDGE_ARROW}${target}`;
+}
 function parseEdgeId(id) {
   const arrowIdx = id.lastIndexOf(EDGE_ARROW);
   if (arrowIdx === -1) return null;
@@ -1286,7 +1312,7 @@ function parseEdgeId(id) {
   if (firstColon === -1) return null;
   const type = left.slice(0, firstColon);
   const rest = left.slice(firstColon + 1);
-  for (const prov of ["OBSERVED", "INFERRED"]) {
+  for (const prov of ["OBSERVED", "INFERRED", "FRONTIER"]) {
     if (rest.startsWith(`${prov}:`)) {
       return { type, provenance: prov, source: rest.slice(prov.length + 1), target };
     }
@@ -1595,6 +1621,16 @@ var ObservedFailingDivergenceSchema = import_zod9.z.object({
   incidentCount: import_zod9.z.number().int().positive().optional(),
   httpStatusCode: import_zod9.z.number().int().optional()
 });
+var DeployMismatchKindSchema = import_zod9.z.enum(["image", "replicas"]);
+var DeployMismatchDivergenceSchema = import_zod9.z.object({
+  type: import_zod9.z.literal("deploy-mismatch"),
+  ...commonFields,
+  kind: DeployMismatchKindSchema,
+  declaredImage: import_zod9.z.string().optional(),
+  observedImage: import_zod9.z.string().optional(),
+  declaredReplicas: import_zod9.z.number().optional(),
+  observedReplicas: import_zod9.z.number().optional()
+});
 var DivergenceSchema = import_zod9.z.discriminatedUnion("type", [
   MissingObservedDivergenceSchema,
   MissingExtractedDivergenceSchema,
@@ -1602,7 +1638,8 @@ var DivergenceSchema = import_zod9.z.discriminatedUnion("type", [
   HostMismatchDivergenceSchema,
   CompatViolationDivergenceSchema,
   ObservedSymbolMismatchDivergenceSchema,
-  ObservedFailingDivergenceSchema
+  ObservedFailingDivergenceSchema,
+  DeployMismatchDivergenceSchema
 ]);
 var DivergenceResultSchema = import_zod9.z.object({
   divergences: import_zod9.z.array(DivergenceSchema),
@@ -1618,7 +1655,8 @@ var DivergenceTypeSchema = import_zod9.z.enum([
   "host-mismatch",
   "compat-violation",
   "observed-symbol-mismatch",
-  "observed-failing"
+  "observed-failing",
+  "deploy-mismatch"
 ]);
 
 // src/mcp-tools.ts
@@ -1857,6 +1895,8 @@ function passesExtractedFloor(confidence) {
   DEFAULT_EXTRACTED_PRECISION_FLOOR,
   DaemonHealthResponseSchema,
   DatabaseNodeSchema,
+  DeployMismatchDivergenceSchema,
+  DeployMismatchKindSchema,
   DiscoveredViaSchema,
   DivergenceResultSchema,
   DivergenceSchema,
@@ -1959,6 +1999,7 @@ function passesExtractedFloor(confidence) {
   extractedEdgeId,
   extractedPrecisionFloor,
   fileId,
+  frontierEdgeId,
   frontierId,
   graphqlOperationId,
   grpcMethodId,