@descryy/ir 0.1.1 → 0.2.0

package/dist/index.d.ts

@@ -8,10 +8,10 @@
  */
 export { NODE_TYPES, EDGE_TYPES, FILELESS_NODE_TYPES, TYPE_LIKE_NODE_TYPES, CALLABLE_NODE_TYPES, isNodeType, isEdgeType, isFilelessNodeType, isTypeLikeNodeType, isCallableNodeType, } from "./vocabulary.ts";
 export type { NodeType, EdgeType } from "./vocabulary.ts";
-export { RESOLUTION_LEVELS, UNRESOLVED_REF_CLASSES, SKIP_REASONS } from "./ir.ts";
-export type { ResolutionLevel, Range, IRNode, IREdge, IRBatch, UnresolvedRef, UnresolvedRefClass, ConfirmedFact, CrossLanguageDeclaration, SkippedFile, SkipReason, } from "./ir.ts";
-export { RELIABILITY_CLASSES, reliabilityCap, reliabilityNote } from "./reliability.ts";
-export type { ReliabilityClass } from "./reliability.ts";
+export { RESOLUTION_LEVELS, UNRESOLVED_REF_CLASSES, SKIP_REASONS, CONFIRMED_FACT_SCOPES, isConfirmedFactScope } from "./ir.ts";
+export type { ResolutionLevel, Range, IRNode, IREdge, IRBatch, UnresolvedRef, UnresolvedRefClass, ConfirmedFact, ConfirmedFactScope, ConfirmedIncident, CrossLanguageDeclaration, SkippedFile, SkipReason, } from "./ir.ts";
+export { RELIABILITY_CLASSES, reliabilityCap, reliabilityDisclosure, reliabilityNote } from "./reliability.ts";
+export type { ReliabilityClass, ReliabilityDisclosure } from "./reliability.ts";
 export { RESULT_STATES, TOOL_CLASSES, isResultState, isToolClass } from "./tool-surface.ts";
 export type { ResultState, ToolClass } from "./tool-surface.ts";
 export { ENVIRONMENT_LEVELS, EVIDENCE_CATEGORIES, FAULT_LAYER_CONFIDENCES, FAULT_LAYERS, FINDING_FIELDS, REPORT_CATEGORIES, RUNTIME_SIGNAL_TYPES, RederivationError, SIGNAL_TYPE_COUNTS, classifyFaultLayer, directMechanismEvidence, evidencePrecondition, faultLayerConfidence, humanAssertedOnPath, independentSignalTypes, minimumResolution, rederive, reportCategory, } from "./finding.ts";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,UAAU,EACV,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE1D,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAClF,YAAY,EACV,eAAe,EACf,KAAK,EACL,MAAM,EACN,MAAM,EACN,OAAO,EACP,aAAa,EACb,kBAAkB,EAClB,aAAa,EACb,wBAAwB,EACxB,WAAW,EACX,UAAU,GACX,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxF,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEzD,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC5F,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEhE,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,oBAAoB,EACpB,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,EACjB,QAAQ,EACR,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,YAAY,EACV,eAAe,EACf,OAAO,EACP,gBAAgB,EAChB,gBAAgB,EAChB,UAAU,EACV,oBAAoB,EACpB,OAAO,EACP,YAAY,EACZ,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,aAAa,EACb,kBAAkB,GACnB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,+BAA+B,EAC/B,8BAA8B,EAC9B,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,sBAAsB,GACvB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,iBAAiB,EACjB,0BAA0B,EAC1B,mBAAmB,EACnB,qBAAqB,EACrB,0BAA0B,EAC1B,yBAAyB,GAC1B,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,eAAe,EACf,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,cAAc,EACd,cAAc,EACd,UAAU,EACV,2BAA2B,EAC3B,aAAa,EACb,MAAM,EACN,MAAM,EACN,aAAa,EACb,kBAAkB,EAClB,OAAO,EACP,qBAAqB,EACrB,WAAW,EACX,QAAQ,EACR,WAAW,EACX,SAAS,EACT,OAAO,GACR,MAAM,eAAe,CAAC;AACvB,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAE9D,OAAO,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AACtF,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAE5F,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAC9F,YAAY,EACV,aAAa,EACb,SAAS,EACT,KAAK,EACL,eAAe,EACf,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,UAAU,EACV,sBAAsB,EACtB,WAAW,EACX,aAAa,EACb,wBAAwB,EACxB,iBAAiB,EACjB,WAAW,EACX,SAAS,EACT,cAAc,EACd,SAAS,EACT,YAAY,EACZ,iBAAiB,EACjB,WAAW,EACX,UAAU,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,aAAa,EACb,aAAa,EACb,cAAc,EACd,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,WAAW,EACX,UAAU,EACV,kBAAkB,EAClB,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,WAAW,EACX,MAAM,EACN,UAAU,EACV,mBAAmB,EACnB,UAAU,EACV,aAAa,EACb,aAAa,EACb,eAAe,EACf,aAAa,EACb,cAAc,EACd,WAAW,EACX,UAAU,EACV,WAAW,GACZ,MAAM,wBAAwB,CAAC;AAEhC,YAAY,EACV,QAAQ,EACR,OAAO,EACP,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,QAAQ,EACR,eAAe,GAChB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,aAAa,EACb,eAAe,EACf,cAAc,EACd,qBAAqB,GACtB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,UAAU,EACV,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE1D,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,YAAY,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,SAAS,CAAC;AAC/H,YAAY,EACV,eAAe,EACf,KAAK,EACL,MAAM,EACN,MAAM,EACN,OAAO,EACP,aAAa,EACb,kBAAkB,EAClB,aAAa,EACb,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,WAAW,EACX,UAAU,GACX,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAC/G,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAEhF,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC5F,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEhE,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,oBAAoB,EACpB,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,EACjB,QAAQ,EACR,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,YAAY,EACV,eAAe,EACf,OAAO,EACP,gBAAgB,EAChB,gBAAgB,EAChB,UAAU,EACV,oBAAoB,EACpB,OAAO,EACP,YAAY,EACZ,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,aAAa,EACb,kBAAkB,GACnB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,+BAA+B,EAC/B,8BAA8B,EAC9B,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,sBAAsB,GACvB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,iBAAiB,EACjB,0BAA0B,EAC1B,mBAAmB,EACnB,qBAAqB,EACrB,0BAA0B,EAC1B,yBAAyB,GAC1B,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,eAAe,EACf,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,cAAc,EACd,cAAc,EACd,UAAU,EACV,2BAA2B,EAC3B,aAAa,EACb,MAAM,EACN,MAAM,EACN,aAAa,EACb,kBAAkB,EAClB,OAAO,EACP,qBAAqB,EACrB,WAAW,EACX,QAAQ,EACR,WAAW,EACX,SAAS,EACT,OAAO,GACR,MAAM,eAAe,CAAC;AACvB,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAE9D,OAAO,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AACtF,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAE5F,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAC9F,YAAY,EACV,aAAa,EACb,SAAS,EACT,KAAK,EACL,eAAe,EACf,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,UAAU,EACV,sBAAsB,EACtB,WAAW,EACX,aAAa,EACb,wBAAwB,EACxB,iBAAiB,EACjB,WAAW,EACX,SAAS,EACT,cAAc,EACd,SAAS,EACT,YAAY,EACZ,iBAAiB,EACjB,WAAW,EACX,UAAU,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,aAAa,EACb,aAAa,EACb,cAAc,EACd,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,WAAW,EACX,UAAU,EACV,kBAAkB,EAClB,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,WAAW,EACX,MAAM,EACN,UAAU,EACV,mBAAmB,EACnB,UAAU,EACV,aAAa,EACb,aAAa,EACb,eAAe,EACf,aAAa,EACb,cAAc,EACd,WAAW,EACX,UAAU,EACV,WAAW,GACZ,MAAM,wBAAwB,CAAC;AAEhC,YAAY,EACV,QAAQ,EACR,OAAO,EACP,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,QAAQ,EACR,eAAe,GAChB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,aAAa,EACb,eAAe,EACf,cAAc,EACd,qBAAqB,GACtB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/index.js

@@ -7,8 +7,8 @@
  * boundary a dependency-direction fact rather than a convention.
  */
 export { NODE_TYPES, EDGE_TYPES, FILELESS_NODE_TYPES, TYPE_LIKE_NODE_TYPES, CALLABLE_NODE_TYPES, isNodeType, isEdgeType, isFilelessNodeType, isTypeLikeNodeType, isCallableNodeType, } from "./vocabulary.js";
-export { RESOLUTION_LEVELS, UNRESOLVED_REF_CLASSES, SKIP_REASONS } from "./ir.js";
-export { RELIABILITY_CLASSES, reliabilityCap, reliabilityNote } from "./reliability.js";
+export { RESOLUTION_LEVELS, UNRESOLVED_REF_CLASSES, SKIP_REASONS, CONFIRMED_FACT_SCOPES, isConfirmedFactScope } from "./ir.js";
+export { RELIABILITY_CLASSES, reliabilityCap, reliabilityDisclosure, reliabilityNote } from "./reliability.js";
 export { RESULT_STATES, TOOL_CLASSES, isResultState, isToolClass } from "./tool-surface.js";
 export { ENVIRONMENT_LEVELS, EVIDENCE_CATEGORIES, FAULT_LAYER_CONFIDENCES, FAULT_LAYERS, FINDING_FIELDS, REPORT_CATEGORIES, RUNTIME_SIGNAL_TYPES, RederivationError, SIGNAL_TYPE_COUNTS, classifyFaultLayer, directMechanismEvidence, evidencePrecondition, faultLayerConfidence, humanAssertedOnPath, independentSignalTypes, minimumResolution, rederive, reportCategory, } from "./finding.js";
 export { detectGraphRuntimeContradiction, findGraphRuntimeContradictions, toGraphDefectRecord, } from "./contradiction.js";

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,UAAU,EACV,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAelF,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGxF,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAG5F,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,oBAAoB,EACpB,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,EACjB,QAAQ,EACR,cAAc,GACf,MAAM,cAAc,CAAC;AAsBtB,OAAO,EACL,+BAA+B,EAC/B,8BAA8B,EAC9B,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAO5B,OAAO,EACL,iBAAiB,EACjB,0BAA0B,EAC1B,mBAAmB,EACnB,qBAAqB,EACrB,0BAA0B,EAC1B,yBAAyB,GAC1B,MAAM,iBAAiB,CAAC;AAQzB,OAAO,EACL,cAAc,EACd,cAAc,EACd,UAAU,EACV,2BAA2B,EAC3B,aAAa,EACb,MAAM,EACN,MAAM,EACN,aAAa,EACb,kBAAkB,EAClB,OAAO,EACP,qBAAqB,EACrB,WAAW,EACX,QAAQ,EACR,WAAW,EACX,SAAS,EACT,OAAO,GACR,MAAM,eAAe,CAAC;AAGvB,OAAO,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAGtF,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAS9F,OAAO,EACL,UAAU,EACV,sBAAsB,EACtB,WAAW,EACX,aAAa,EACb,wBAAwB,EACxB,iBAAiB,EACjB,WAAW,EACX,SAAS,EACT,cAAc,EACd,SAAS,EACT,YAAY,EACZ,iBAAiB,EACjB,WAAW,EACX,UAAU,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,aAAa,EACb,aAAa,EACb,cAAc,EACd,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAoChC,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,aAAa,EACb,eAAe,EACf,cAAc,EACd,qBAAqB,GACtB,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,UAAU,EACV,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,YAAY,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,SAAS,CAAC;AAiB/H,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAG/G,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAG5F,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,oBAAoB,EACpB,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,EACjB,QAAQ,EACR,cAAc,GACf,MAAM,cAAc,CAAC;AAsBtB,OAAO,EACL,+BAA+B,EAC/B,8BAA8B,EAC9B,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAO5B,OAAO,EACL,iBAAiB,EACjB,0BAA0B,EAC1B,mBAAmB,EACnB,qBAAqB,EACrB,0BAA0B,EAC1B,yBAAyB,GAC1B,MAAM,iBAAiB,CAAC;AAQzB,OAAO,EACL,cAAc,EACd,cAAc,EACd,UAAU,EACV,2BAA2B,EAC3B,aAAa,EACb,MAAM,EACN,MAAM,EACN,aAAa,EACb,kBAAkB,EAClB,OAAO,EACP,qBAAqB,EACrB,WAAW,EACX,QAAQ,EACR,WAAW,EACX,SAAS,EACT,OAAO,GACR,MAAM,eAAe,CAAC;AAGvB,OAAO,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAGtF,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAS9F,OAAO,EACL,UAAU,EACV,sBAAsB,EACtB,WAAW,EACX,aAAa,EACb,wBAAwB,EACxB,iBAAiB,EACjB,WAAW,EACX,SAAS,EACT,cAAc,EACd,SAAS,EACT,YAAY,EACZ,iBAAiB,EACjB,WAAW,EACX,UAAU,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,aAAa,EACb,aAAa,EACb,cAAc,EACd,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAoChC,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,aAAa,EACb,eAAe,EACf,cAAc,EACd,qBAAqB,GACtB,MAAM,mBAAmB,CAAC"}

package/dist/ir.d.ts

@@ -265,7 +265,108 @@ export interface ConfirmedFact {
      * the mismatch rather than presenting an old answer as current.
      */
     readonly confirmedAtCommit?: string;
+    /**
+     * How far this answer reaches. `"repo"` — the default, and what every fact
+     * recorded before this field existed means — answers rows in `repo` alone.
+     * `"workspace"` also answers rows in every repository declared into the same
+     * workspace by `link_workspace`.
+     *
+     * **A declaration, never an inference.** Two repositories in one workspace
+     * can each read an environment variable of the same name with genuinely
+     * different values — two services both reading `DATABASE_URL` is the
+     * dangerous case, not a contrived one — so matching on name alone across a
+     * workspace would silently answer the second repository's row with the
+     * first's value. A workspace declaration is evidence that two repositories
+     * ship together; it is not evidence that a name means the same thing in
+     * both. Only the person recording the answer knows which, so only they may
+     * say. See DEC-NEXT-workspace-scoped-confirmed-facts.
+     *
+     * Absent means `"repo"`. Never widened by a default.
+     */
+    readonly scope?: ConfirmedFactScope;
+    /**
+     * The workspace id this fact was confirmed under. Required in practice for
+     * `scope: "workspace"` — a fact with no workspace id names no boundary to
+     * cross, and `applyConfirmedFacts` will not let it cross one.
+     */
+    readonly workspace?: string;
+}
+/**
+ * A defect a developer says happened, recorded through `mark_incident`.
+ *
+ * ## Why this is testimony and not a reading of the repository
+ *
+ * Every other `INCIDENT` in the graph is derived from something git already
+ * holds — a revert trailer, a `Revert "…"` subject, a `Fixes #123`. Those are
+ * declarations too, but they are declarations *stored in the repository*, so a
+ * rebuild re-derives them from the same bytes and nothing is lost. This one is
+ * not in the repository at all: a developer fixed something, said so, and no
+ * commit records that they said it.
+ *
+ * That is why it lives beside `ConfirmedFact` in `.descry/config.json` rather
+ * than in the graph: DEC-223 made exactly this storage decision for exactly
+ * this class of data — a handful of small, human-inspectable records per
+ * repository, versioned with the code, in a file a person can read and correct.
+ * A store is derived data (DEC-017) and is dropped on every schema change; a
+ * fact a person asserted must not be.
+ *
+ * ## What it may and may not claim
+ *
+ * It says a defect existed and which files were involved. It does **not** say
+ * why, and nothing may promote it: an edge minted from one is human-asserted
+ * and capped at reliability class B by DEC-223's own rule, however much
+ * structure surrounds it. One unaudited assertion is one unaudited assertion.
+ *
+ * See `DEC-NEXT-incident-minting-beyond-explicit-reverts`.
+ */
+export interface ConfirmedIncident {
+    /** Scope — matches `RepoRoot.repo`. Never inferred across repositories. */
+    readonly repo: string;
+    /** What broke, in the developer's own words. Becomes the `INCIDENT` node's name. */
+    readonly summary: string;
+    /**
+     * Repo-relative paths the defect lived in. At least one.
+     *
+     * These become `INCIDENT_CORRELATED` edges, which is what makes the incident
+     * findable by `similarIncidents`' file-overlap signal and what biases diff
+     * scoping toward them later. A record naming no file is a sentence with
+     * nothing to attach it to, so it is refused rather than stored.
+     */
+    readonly files: readonly string[];
+    /**
+     * The error text as the developer saw it, if there was one.
+     *
+     * Feeds `similarIncidents`' message-similarity signal, which today has only a
+     * commit subject line to work with. Real error text is the thing that signal
+     * was designed for and has never been given.
+     */
+    readonly errorText?: string;
+    /** The commit that fixed it, when there is one. Becomes a `FIX_PATTERN`. */
+    readonly fixedAtCommit?: string;
+    /** Free text — who or what is asserting this. Not validated; recorded as given. */
+    readonly confirmedBy: string;
+    /** ISO timestamp. Also this record's identity — see the source that projects it. */
+    readonly confirmedAt: string;
+    /**
+     * The execution that witnessed this, when a **run** recorded it rather than a
+     * person — `observe_runtime` seeing a service die.
+     *
+     * Present or absent is the whole difference between the two, and it changes
+     * what the record means rather than decorating it. A developer's record is
+     * testimony: it may be wrong and nothing can check it. A run's is an
+     * observation: a process really did exit non-zero or take a fatal signal, and
+     * the run id says which run saw it. Both are stored here for the same reason
+     * — neither is in the repository, and a store is derived data — but only the
+     * second one is a fact about the world.
+     *
+     * The projecting source reads this to stamp `detectedVia`, so a consumer can
+     * tell them apart without inspecting `confirmedBy` prose.
+     */
+    readonly observedInRun?: string;
 }
+export declare const CONFIRMED_FACT_SCOPES: readonly ["repo", "workspace"];
+export type ConfirmedFactScope = (typeof CONFIRMED_FACT_SCOPES)[number];
+export declare function isConfirmedFactScope(value: unknown): value is ConfirmedFactScope;
 /**
  * A node this batch offers as a target for a **declared cross-language
  * namespace peer** — see `CapabilityMatrix.crossLanguageNamespace`, DEC-161.

package/dist/ir.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../src/ir.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE1D;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEhD,eAAO,MAAM,iBAAiB,0BAA2B,CAAC;AAE1D,0CAA0C;AAC1C,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,MAAM;IACrB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB,iEAAiE;IACjE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,oCAAoC;IACpC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IAE7B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IAErC;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACnD;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,iEAAiE;IACjE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAwCG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,eAAO,MAAM,sBAAsB,iFAKzB,CAAC;AACX,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,WAAW,aAAa;IAC5B,2EAA2E;IAC3E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mEAAmE;IACnE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,kCAAkC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,+EAA+E;IAC/E,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,qBAAqB;IACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CACrC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,gEAAiE,CAAC;AAC3F,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,uGAAuG;IACvG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;;;;;OAQG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC;;;;;OAKG;IACH,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,uEAAuE;IACvE,QAAQ,CAAC,iBAAiB,EAAE,eAAe,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C;;;;;OAKG;IACH,QAAQ,CAAC,yBAAyB,CAAC,EAAE,SAAS,wBAAwB,EAAE,CAAC;CAC1E"}
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../src/ir.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE1D;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEhD,eAAO,MAAM,iBAAiB,0BAA2B,CAAC;AAE1D,0CAA0C;AAC1C,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,MAAM;IACrB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB,iEAAiE;IACjE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,oCAAoC;IACpC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IAE7B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IAErC;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACnD;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,iEAAiE;IACjE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAwCG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,eAAO,MAAM,sBAAsB,iFAKzB,CAAC;AACX,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,WAAW,aAAa;IAC5B,2EAA2E;IAC3E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mEAAmE;IACnE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,kCAAkC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,+EAA+E;IAC/E,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,qBAAqB;IACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC;;;;;;;;;;;;;;;;;OAiBG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAC;IACpC;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,WAAW,iBAAiB;IAChC,2EAA2E;IAC3E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oFAAoF;IACpF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;;;;;OAOG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,4EAA4E;IAC5E,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,mFAAmF;IACnF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,oFAAoF;IACpF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,eAAO,MAAM,qBAAqB,gCAAiC,CAAC;AACpE,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;AAExE,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,kBAAkB,CAEhF;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,gEAAiE,CAAC;AAC3F,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,uGAAuG;IACvG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;;;;;OAQG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC;;;;;OAKG;IACH,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,uEAAuE;IACvE,QAAQ,CAAC,iBAAiB,EAAE,eAAe,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C;;;;;OAKG;IACH,QAAQ,CAAC,yBAAyB,CAAC,EAAE,SAAS,wBAAwB,EAAE,CAAC;CAC1E"}

package/dist/ir.js

@@ -62,6 +62,10 @@ export const UNRESOLVED_REF_CLASSES = [
     "out-of-scope",
     "varies-per-call",
 ];
+export const CONFIRMED_FACT_SCOPES = ["repo", "workspace"];
+export function isConfirmedFactScope(value) {
+    return typeof value === "string" && CONFIRMED_FACT_SCOPES.includes(value);
+}
 /**
  * Why a file this batch's adapter attempted contributed no nodes or edges.
  *

package/dist/ir.js.map

@@ -1 +1 @@
-{"version":3,"file":"ir.js","sourceRoot":"","sources":["../src/ir.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAoBH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAU,CAAC;AA2H1D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,eAAe;IACf,gBAAgB;IAChB,cAAc;IACd,iBAAiB;CACT,CAAC;AAuGX;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,WAAW,EAAE,YAAY,EAAE,eAAe,EAAE,OAAO,CAAU,CAAC"}
+{"version":3,"file":"ir.js","sourceRoot":"","sources":["../src/ir.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAoBH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAU,CAAC;AA2H1D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,eAAe;IACf,gBAAgB;IAChB,cAAc;IACd,iBAAiB;CACT,CAAC;AAqLX,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,MAAM,EAAE,WAAW,CAAU,CAAC;AAGpE,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,qBAA2C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACnG,CAAC;AAuBD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,WAAW,EAAE,YAAY,EAAE,eAAe,EAAE,OAAO,CAAU,CAAC"}

package/dist/reliability.d.ts

@@ -86,4 +86,35 @@ export declare function reliabilityCap(resolution: ResolutionLevel, nameLevel: b
  * resolved one. Defaults `false` so every pre-existing caller is unaffected.
  */
 export declare function reliabilityNote(resolution: ResolutionLevel, nameLevel: boolean, humanAsserted?: boolean, emptyPath?: boolean): string;
+/**
+ * The same sentence, plus the two things a repeat caller needs: a stable key
+ * naming *which* disclosure this is, and a short form that restates the cap
+ * without restating the argument for it.
+ *
+ * Measured, not supposed: the R0/class-C sentence is 354 characters — ~88
+ * tokens — and it appeared byte-for-byte identical on the large majority of
+ * one session's thirty-odd calls. The full text is not wrong on the second
+ * call; it is simply the same text, and a tool used in a tight local loop pays
+ * for it every time.
+ *
+ * What the short form must keep is exactly what rule 7 is about: the
+ * resolution floor and the class it caps to are on **every** reply, first or
+ * fiftieth. Only the explanation collapses, and it collapses into a named
+ * reference to the full one — a reader who joined late can ask for it, and a
+ * reader who did not is not being told less than they were told before.
+ *
+ * `key` is a category, not a hash of the sentence: two calls whose evidence
+ * caps for the same reason share it. Callers with no session to dedupe within
+ * (`reliabilityNote`, every non-MCP consumer) are unaffected.
+ */
+export interface ReliabilityDisclosure {
+    /** Stable category name. Same reason for the cap ⇒ same key. */
+    readonly key: string;
+    readonly cap: ReliabilityClass;
+    /** The whole argument. What a caller sees the first time in a session. */
+    readonly full: string;
+    /** Floor, class and a pointer to `key`. What a caller sees after that. */
+    readonly brief: string;
+}
+export declare function reliabilityDisclosure(resolution: ResolutionLevel, nameLevel: boolean, humanAsserted?: boolean, emptyPath?: boolean): ReliabilityDisclosure;
 //# sourceMappingURL=reliability.d.ts.map

package/dist/reliability.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reliability.d.ts","sourceRoot":"","sources":["../src/reliability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAI/C;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAE/C,eAAO,MAAM,mBAAmB,0BAA2B,CAAC;AAE5D;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAC5B,UAAU,EAAE,eAAe,EAC3B,SAAS,EAAE,OAAO,EAClB,aAAa,UAAQ,GACpB,gBAAgB,CAsBlB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,eAAe,EAC3B,SAAS,EAAE,OAAO,EAClB,aAAa,UAAQ,EACrB,SAAS,UAAQ,GAChB,MAAM,CAwFR"}
+{"version":3,"file":"reliability.d.ts","sourceRoot":"","sources":["../src/reliability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAI/C;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAE/C,eAAO,MAAM,mBAAmB,0BAA2B,CAAC;AAE5D;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAC5B,UAAU,EAAE,eAAe,EAC3B,SAAS,EAAE,OAAO,EAClB,aAAa,UAAQ,GACpB,gBAAgB,CAsBlB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,eAAe,EAC3B,SAAS,EAAE,OAAO,EAClB,aAAa,UAAQ,EACrB,SAAS,UAAQ,GAChB,MAAM,CAER;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,qBAAqB;IACpC,gEAAgE;IAChE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,gBAAgB,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,eAAe,EAC3B,SAAS,EAAE,OAAO,EAClB,aAAa,UAAQ,EACrB,SAAS,UAAQ,GAChB,qBAAqB,CAUvB"}

package/dist/reliability.js

@@ -100,6 +100,33 @@ export function reliabilityCap(resolution, nameLevel, humanAsserted = false) {
  * resolved one. Defaults `false` so every pre-existing caller is unaffected.
  */
 export function reliabilityNote(resolution, nameLevel, humanAsserted = false, emptyPath = false) {
+    return reliabilityDisclosure(resolution, nameLevel, humanAsserted, emptyPath).full;
+}
+export function reliabilityDisclosure(resolution, nameLevel, humanAsserted = false, emptyPath = false) {
+    const cap = reliabilityCap(resolution, nameLevel, humanAsserted);
+    const key = disclosureKey(resolution, nameLevel, humanAsserted, emptyPath);
+    const full = fullNote(resolution, nameLevel, humanAsserted, emptyPath);
+    const brief = `R${resolution}, capped at reliability class ${cap} — see disclosure "${key}", stated in ` +
+        "full earlier in this session.";
+    // A "short" form longer than what it replaces is not a saving, and the A-row
+    // sentences are already brief. Never spend more to say less.
+    return { key, cap, full, brief: brief.length < full.length ? brief : full };
+}
+function disclosureKey(resolution, nameLevel, humanAsserted, emptyPath) {
+    const structuralCap = reliabilityCap(resolution, nameLevel);
+    if (humanAsserted && RELIABILITY_ORDER[structuralCap] > RELIABILITY_ORDER.B) {
+        return "human-asserted-cap";
+    }
+    const cap = reliabilityCap(resolution, nameLevel, humanAsserted);
+    if (cap === "C" && emptyPath)
+        return `r${resolution}-untraced-path`;
+    if (cap === "C")
+        return `r${resolution}-${nameLevel ? "name" : "shape"}-level`;
+    // At B and A the sentence turns on the resolution and, at R2 only, on which
+    // kind of claim it is. Anything that changes the sentence changes the key.
+    return resolution === 2 ? `r2-${nameLevel ? "name" : "shape"}-level` : `r${resolution}-class-${cap.toLowerCase()}`;
+}
+function fullNote(resolution, nameLevel, humanAsserted, emptyPath) {
     const cap = reliabilityCap(resolution, nameLevel, humanAsserted);
     const structuralCap = reliabilityCap(resolution, nameLevel);
     const basis = `The weakest evidence under this answer is R${resolution}`;

package/dist/reliability.js.map

@@ -1 +1 @@
-{"version":3,"file":"reliability.js","sourceRoot":"","sources":["../src/reliability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAIH,MAAM,iBAAiB,GAA+C,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAW3F,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAU,CAAC;AAE5D;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAC5B,UAA2B,EAC3B,SAAkB,EAClB,aAAa,GAAG,KAAK;IAErB,MAAM,UAAU,GAAG,CAAC,GAAqB,EAAE;QACzC,QAAQ,UAAU,EAAE,CAAC;YACnB,KAAK,CAAC;gBACJ,OAAO,GAAG,CAAC;YACb,KAAK,CAAC;gBACJ,OAAO,GAAG,CAAC;YACb,KAAK,CAAC;gBACJ,OAAO,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAC/B;gBACE,yEAAyE;gBACzE,2EAA2E;gBAC3E,uBAAuB;gBACvB,OAAO,GAAG,CAAC;QACf,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;IAEL,IAAI,CAAC,aAAa;QAAE,OAAO,UAAU,CAAC;IACtC,6EAA6E;IAC7E,6EAA6E;IAC7E,wDAAwD;IACxD,OAAO,iBAAiB,CAAC,UAAU,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;AAChF,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,eAAe,CAC7B,UAA2B,EAC3B,SAAkB,EAClB,aAAa,GAAG,KAAK,EACrB,SAAS,GAAG,KAAK;IAEjB,MAAM,GAAG,GAAG,cAAc,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,cAAc,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,8CAA8C,UAAU,EAAE,CAAC;IAEzE,IAAI,aAAa,IAAI,iBAAiB,CAAC,aAAa,CAAC,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC;QAC5E,2EAA2E;QAC3E,0EAA0E;QAC1E,qEAAqE;QACrE,wEAAwE;QACxE,OAAO,CACL,GAAG,KAAK,kFAAkF;YAC1F,4FAA4F;YAC5F,uFAAuF,CACxF,CAAC;IACJ,CAAC;IAED,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,GAAG;YACN,qEAAqE;YACrE,gEAAgE;YAChE,uEAAuE;YACvE,wEAAwE;YACxE,mEAAmE;YACnE,+DAA+D;YAC/D,+DAA+D;YAC/D,qEAAqE;YACrE,iEAAiE;YACjE,uEAAuE;YACvE,wEAAwE;YACxE,gBAAgB;YAChB,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,CACL,GAAG,KAAK,8EAA8E;oBACtF,yFAAyF;oBACzF,2FAA2F;oBAC3F,yFAAyF;oBACzF,yFAAyF;oBACzF,gEAAgE,CACjE,CAAC;YACJ,CAAC;YACD,yEAAyE;YACzE,0EAA0E;YAC1E,2EAA2E;YAC3E,uEAAuE;YACvE,4CAA4C;YAC5C,EAAE;YACF,wEAAwE;YACxE,uEAAuE;YACvE,qEAAqE;YACrE,0EAA0E;YAC1E,oEAAoE;YACpE,uEAAuE;YACvE,wEAAwE;YACxE,oEAAoE;YACpE,EAAE;YACF,wEAAwE;YACxE,wEAAwE;YACxE,gEAAgE;YAChE,OAAO,SAAS;gBACd,CAAC,CAAC,GAAG,KAAK,8EAA8E;oBACtF,wFAAwF;oBACxF,wFAAwF;oBACxF,gEAAgE;gBAClE,CAAC,CAAC,GAAG,KAAK,8EAA8E;oBACtF,wFAAwF;oBACxF,sFAAsF;oBACtF,cAAc,CAAC;QACrB,KAAK,GAAG;YACN,OAAO,CACL,GAAG,KAAK,gFAAgF;gBACxF,UAAU;gBACV,CAAC,UAAU,KAAK,CAAC;oBACf,CAAC,CAAC,iFAAiF;wBACjF,gEAAgE;oBAClE,CAAC,CAAC,2EAA2E,CAAC,CACjF,CAAC;QACJ;YACE,OAAO,CACL,GAAG,KAAK,qCAAqC;gBAC7C,CAAC,UAAU,KAAK,CAAC;oBACf,CAAC,CAAC,qFAAqF;wBACrF,2EAA2E;oBAC7E,CAAC,CAAC,UAAU,KAAK,CAAC;wBAChB,CAAC,CAAC,+DAA+D;wBACjE,CAAC,CAAC,qDAAqD,CAAC,CAC7D,CAAC;IACN,CAAC;AACH,CAAC"}
+{"version":3,"file":"reliability.js","sourceRoot":"","sources":["../src/reliability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAIH,MAAM,iBAAiB,GAA+C,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAW3F,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAU,CAAC;AAE5D;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAC5B,UAA2B,EAC3B,SAAkB,EAClB,aAAa,GAAG,KAAK;IAErB,MAAM,UAAU,GAAG,CAAC,GAAqB,EAAE;QACzC,QAAQ,UAAU,EAAE,CAAC;YACnB,KAAK,CAAC;gBACJ,OAAO,GAAG,CAAC;YACb,KAAK,CAAC;gBACJ,OAAO,GAAG,CAAC;YACb,KAAK,CAAC;gBACJ,OAAO,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAC/B;gBACE,yEAAyE;gBACzE,2EAA2E;gBAC3E,uBAAuB;gBACvB,OAAO,GAAG,CAAC;QACf,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;IAEL,IAAI,CAAC,aAAa;QAAE,OAAO,UAAU,CAAC;IACtC,6EAA6E;IAC7E,6EAA6E;IAC7E,wDAAwD;IACxD,OAAO,iBAAiB,CAAC,UAAU,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;AAChF,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,eAAe,CAC7B,UAA2B,EAC3B,SAAkB,EAClB,aAAa,GAAG,KAAK,EACrB,SAAS,GAAG,KAAK;IAEjB,OAAO,qBAAqB,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC;AACrF,CAAC;AAiCD,MAAM,UAAU,qBAAqB,CACnC,UAA2B,EAC3B,SAAkB,EAClB,aAAa,GAAG,KAAK,EACrB,SAAS,GAAG,KAAK;IAEjB,MAAM,GAAG,GAAG,cAAc,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;IACvE,MAAM,KAAK,GACT,IAAI,UAAU,iCAAiC,GAAG,sBAAsB,GAAG,eAAe;QAC1F,+BAA+B,CAAC;IAClC,6EAA6E;IAC7E,6DAA6D;IAC7D,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,aAAa,CACpB,UAA2B,EAC3B,SAAkB,EAClB,aAAsB,EACtB,SAAkB;IAElB,MAAM,aAAa,GAAG,cAAc,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAC5D,IAAI,aAAa,IAAI,iBAAiB,CAAC,aAAa,CAAC,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC;QAC5E,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,MAAM,GAAG,GAAG,cAAc,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IACjE,IAAI,GAAG,KAAK,GAAG,IAAI,SAAS;QAAE,OAAO,IAAI,UAAU,gBAAgB,CAAC;IACpE,IAAI,GAAG,KAAK,GAAG;QAAE,OAAO,IAAI,UAAU,IAAI,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,QAAQ,CAAC;IAC/E,4EAA4E;IAC5E,2EAA2E;IAC3E,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,UAAU,UAAU,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC;AACrH,CAAC;AAED,SAAS,QAAQ,CACf,UAA2B,EAC3B,SAAkB,EAClB,aAAsB,EACtB,SAAkB;IAElB,MAAM,GAAG,GAAG,cAAc,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,cAAc,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,8CAA8C,UAAU,EAAE,CAAC;IAEzE,IAAI,aAAa,IAAI,iBAAiB,CAAC,aAAa,CAAC,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC;QAC5E,2EAA2E;QAC3E,0EAA0E;QAC1E,qEAAqE;QACrE,wEAAwE;QACxE,OAAO,CACL,GAAG,KAAK,kFAAkF;YAC1F,4FAA4F;YAC5F,uFAAuF,CACxF,CAAC;IACJ,CAAC;IAED,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,GAAG;YACN,qEAAqE;YACrE,gEAAgE;YAChE,uEAAuE;YACvE,wEAAwE;YACxE,mEAAmE;YACnE,+DAA+D;YAC/D,+DAA+D;YAC/D,qEAAqE;YACrE,iEAAiE;YACjE,uEAAuE;YACvE,wEAAwE;YACxE,gBAAgB;YAChB,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,CACL,GAAG,KAAK,8EAA8E;oBACtF,yFAAyF;oBACzF,2FAA2F;oBAC3F,yFAAyF;oBACzF,yFAAyF;oBACzF,gEAAgE,CACjE,CAAC;YACJ,CAAC;YACD,yEAAyE;YACzE,0EAA0E;YAC1E,2EAA2E;YAC3E,uEAAuE;YACvE,4CAA4C;YAC5C,EAAE;YACF,wEAAwE;YACxE,uEAAuE;YACvE,qEAAqE;YACrE,0EAA0E;YAC1E,oEAAoE;YACpE,uEAAuE;YACvE,wEAAwE;YACxE,oEAAoE;YACpE,EAAE;YACF,wEAAwE;YACxE,wEAAwE;YACxE,gEAAgE;YAChE,OAAO,SAAS;gBACd,CAAC,CAAC,GAAG,KAAK,8EAA8E;oBACtF,wFAAwF;oBACxF,wFAAwF;oBACxF,gEAAgE;gBAClE,CAAC,CAAC,GAAG,KAAK,8EAA8E;oBACtF,wFAAwF;oBACxF,sFAAsF;oBACtF,cAAc,CAAC;QACrB,KAAK,GAAG;YACN,OAAO,CACL,GAAG,KAAK,gFAAgF;gBACxF,UAAU;gBACV,CAAC,UAAU,KAAK,CAAC;oBACf,CAAC,CAAC,iFAAiF;wBACjF,gEAAgE;oBAClE,CAAC,CAAC,2EAA2E,CAAC,CACjF,CAAC;QACJ;YACE,OAAO,CACL,GAAG,KAAK,qCAAqC;gBAC7C,CAAC,UAAU,KAAK,CAAC;oBACf,CAAC,CAAC,qFAAqF;wBACrF,2EAA2E;oBAC7E,CAAC,CAAC,UAAU,KAAK,CAAC;wBAChB,CAAC,CAAC,+DAA+D;wBACjE,CAAC,CAAC,qDAAqD,CAAC,CAC7D,CAAC;IACN,CAAC;AACH,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@descryy/ir",
-  "version": "0.1.1",
+  "version": "0.2.0",
   "type": "module",
   "description": "Canonical IR, graph vocabulary, node identity, Normaliser, adapter contracts, conformance harness. Zero runtime dependencies by design.",
   "license": "MIT",