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

package/dist/index.js

@@ -4,7 +4,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",
@@ -143,7 +151,8 @@ var ProvenanceSchema = z2.enum([
   Provenance.EXTRACTED,
   Provenance.INFERRED,
   Provenance.OBSERVED,
-  Provenance.STALE
+  Provenance.STALE,
+  Provenance.FRONTIER
 ]);
 var EdgeTypeSchema = z2.enum([
   EdgeType.CALLS,
@@ -277,6 +286,16 @@ var ServiceNodeSchema = z3.object({
   // absent on a non-k8s service. See docs/contracts/schema.md.
   declaredImage: z3.string().optional(),
   declaredReplicas: z3.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: z3.string().optional(),
+  observedReadyReplicas: z3.number().optional(),
   repoPath: z3.string().optional(),
   owner: z3.string().optional(),
   dependencies: z3.record(z3.string(), z3.string()).optional(),
@@ -622,6 +641,7 @@ var NodeContextSchema = z5.object({
 var NodeClassificationSchema = z5.enum([
   "primary-failure",
   "symptom-only",
+  "unreachable",
   "unrelated"
 ]);
 var RootCauseCandidateSchema = z5.object({
@@ -1094,6 +1114,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;
@@ -1104,7 +1127,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 };
     }
@@ -1413,6 +1436,16 @@ var ObservedFailingDivergenceSchema = z9.object({
   incidentCount: z9.number().int().positive().optional(),
   httpStatusCode: z9.number().int().optional()
 });
+var DeployMismatchKindSchema = z9.enum(["image", "replicas"]);
+var DeployMismatchDivergenceSchema = z9.object({
+  type: z9.literal("deploy-mismatch"),
+  ...commonFields,
+  kind: DeployMismatchKindSchema,
+  declaredImage: z9.string().optional(),
+  observedImage: z9.string().optional(),
+  declaredReplicas: z9.number().optional(),
+  observedReplicas: z9.number().optional()
+});
 var DivergenceSchema = z9.discriminatedUnion("type", [
   MissingObservedDivergenceSchema,
   MissingExtractedDivergenceSchema,
@@ -1420,7 +1453,8 @@ var DivergenceSchema = z9.discriminatedUnion("type", [
   HostMismatchDivergenceSchema,
   CompatViolationDivergenceSchema,
   ObservedSymbolMismatchDivergenceSchema,
-  ObservedFailingDivergenceSchema
+  ObservedFailingDivergenceSchema,
+  DeployMismatchDivergenceSchema
 ]);
 var DivergenceResultSchema = z9.object({
   divergences: z9.array(DivergenceSchema),
@@ -1436,7 +1470,8 @@ var DivergenceTypeSchema = z9.enum([
   "host-mismatch",
   "compat-violation",
   "observed-symbol-mismatch",
-  "observed-failing"
+  "observed-failing",
+  "deploy-mismatch"
 ]);
 
 // src/mcp-tools.ts
@@ -1674,6 +1709,8 @@ export {
   DEFAULT_EXTRACTED_PRECISION_FLOOR,
   DaemonHealthResponseSchema,
   DatabaseNodeSchema,
+  DeployMismatchDivergenceSchema,
+  DeployMismatchKindSchema,
   DiscoveredViaSchema,
   DivergenceResultSchema,
   DivergenceSchema,
@@ -1776,6 +1813,7 @@ export {
   extractedEdgeId,
   extractedPrecisionFloor,
   fileId,
+  frontierEdgeId,
   frontierId,
   graphqlOperationId,
   grpcMethodId,