@agentshouse/mdmodel 0.1.0-cc9fa0498a7f7 → 0.1.0-cd90851746292

package/dist/types.d.ts

@@ -2,6 +2,7 @@ import type { Definition } from './definition.js';
 export type Library = Readonly<Record<string, string>>;
 export type VerifiedModel = {
     readonly types: Readonly<Record<string, Definition>>;
+    readonly nameable?: readonly string[];
 };
 export type ModelVerification = {
     readonly verdict: 'accept';
@@ -13,13 +14,14 @@ export type ModelVerification = {
 };
 export type ValidationContext = {
     readonly binaryTargets: readonly string[];
+    readonly anyRoom?: true;
 };
 export type ProjectionContext = {
     readonly documentTargets: readonly string[];
     readonly definition?: Definition;
 };
 export type DivisionContext = ProjectionContext & {
-    readonly budget: number;
+    readonly bound: number;
 };
 export type Extent = {
     readonly start: number;
@@ -28,10 +30,12 @@ export type Extent = {
 export type Span = Extent & {
     readonly text: string;
 };
-export type Document = {
+export type Frontmatter = {
     readonly content: string;
     readonly type: string | undefined;
     readonly fields: Readonly<Record<string, unknown>>;
+};
+export type Document = Frontmatter & {
     readonly preamble: string;
     readonly sections: Readonly<Record<string, string>>;
 };
@@ -41,11 +45,27 @@ export type Refusal = {
     readonly location?: string;
     readonly referrers?: readonly string[];
 };
+export type Reached = {
+    readonly target: string | null;
+    readonly to: readonly string[];
+};
+export type DocumentCheck = {
+    readonly ok: false;
+} | {
+    readonly ok: true;
+    readonly type: string;
+    readonly typed: boolean;
+    readonly references: readonly Reached[];
+};
 export type Validation = {
     readonly verdict: 'accept';
 } | ({
     readonly verdict: 'refuse';
 } & Refusal);
+export type ValidationStep = {
+    readonly path: string;
+    readonly resolved: number;
+};
 export type Projection = {
     readonly ok: true;
     readonly text: string;
@@ -60,6 +80,13 @@ export type Division = {
     readonly ok: false;
     readonly refusal: Refusal;
 };
+export type FrontmatterResult = {
+    readonly ok: true;
+    readonly frontmatter: Frontmatter;
+} | {
+    readonly ok: false;
+    readonly refusal: Refusal;
+};
 export type ParseResult = {
     readonly ok: true;
     readonly document: Document;
@@ -75,7 +102,27 @@ export type Reference = {
     readonly pointer: string;
     readonly value: string;
     readonly to: readonly string[];
+    readonly crossRoom?: true;
 };
+export type RoomReference = {
+    readonly handle: string;
+    readonly path: string;
+} & ({
+    readonly kind: 'link';
+    readonly href: string;
+} | {
+    readonly kind: 'field';
+    readonly pointer: string;
+    readonly value: string;
+    readonly to: readonly string[];
+    readonly crossRoom?: true;
+} | {
+    readonly kind: 'item';
+    readonly section: string;
+    readonly href: string;
+    readonly to: readonly string[];
+    readonly crossRoom?: true;
+});
 export type Change = {
     readonly kind: 'field';
     readonly name: string;
@@ -106,6 +153,7 @@ export type ApplyResult = {
 } | {
     readonly outcome: 'stale';
     readonly document: Document;
+    readonly stale: readonly number[];
 } | {
     readonly outcome: 'refuse';
     readonly refusal: Refusal;

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEvD,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;CACtD,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;CAAE,GAC7D;IACE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEN,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG,iBAAiB,GAAG;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG,MAAM,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,GAC9B,CAAC;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,GAAG,OAAO,CAAC,CAAC;AAE/C,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC5C;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,MAAM,GACd;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEN,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAC5D;IAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEvD,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;CAAE,GAC7D;IACE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEN,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG,iBAAiB,GAAG;IAChD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG,MAAM,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,WAAW,GAAG;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;CAAE,GACtB;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,OAAO,EAAE,CAAC;CACzC,CAAC;AAEN,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,GAC9B,CAAC;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,GAAG,OAAO,CAAC,CAAC;AAE/C,MAAM,MAAM,cAAc,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAElF,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC5C;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,CAC7E;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAChD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;CAC3B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;CAC3B,CACJ,CAAC;AAEF,MAAM,MAAM,MAAM,GACd;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEN,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAC5D;IACE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,GACD;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC"}

package/dist/validate.d.ts

@@ -1,4 +1,32 @@
-import type { Library, ModelVerification, Validation, ValidationContext, VerifiedModel } from './types.js';
-export declare function verify(schema: string): ModelVerification;
+import { type Definition } from './definition.js';
+import type { DocumentCheck, Library, ModelVerification, Reached, RoomReference, Validation, ValidationContext, ValidationStep, VerifiedModel } from './types.js';
+export declare function resolves(reference: Reached, typeOf: (path: string) => string | undefined, binary: (path: string) => boolean): boolean;
+export declare function verify(schema: string, provided?: VerifiedModel): ModelVerification;
+export declare function checkDocument(file: string, content: string, model: VerifiedModel, context?: Pick<ValidationContext, 'anyRoom'>): DocumentCheck;
+export declare function sectionReferences(file: string, content: string, definition: Definition): readonly Reached[];
+export declare function bodyRoomLinks(body: string): RoomReference[];
+export declare function roomReferences(file: string, content: string, definition?: Definition): readonly RoomReference[];
+type Placed = {
+    readonly reference: Reached;
+    readonly location: string;
+};
+export type Assessment = {
+    readonly file: string;
+    readonly type: string | undefined;
+    readonly targets: readonly string[];
+    readonly read: Validation | null;
+    readonly structured: Validation | null;
+    readonly fields: readonly Placed[];
+    readonly linked: boolean;
+    readonly sections: readonly Placed[];
+};
+export declare function assess(file: string, content: string, binary: boolean, model?: VerifiedModel, context?: Pick<ValidationContext, 'anyRoom'>): Assessment;
+export type Verdicts = {
+    add(assessment: Assessment, typeOf: (path: string) => string | undefined, binary: (path: string) => boolean): number;
+    verdict(): Validation;
+};
+export declare function verdicts(): Verdicts;
+export declare function validating(library: ReadonlyMap<string, string>, context?: ValidationContext, model?: VerifiedModel): Generator<ValidationStep, Validation, void>;
 export declare function validate(library: Library, context?: ValidationContext, model?: VerifiedModel): Validation;
+export {};
 //# sourceMappingURL=validate.d.ts.map

package/dist/validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAGV,OAAO,EACP,iBAAiB,EACjB,UAAU,EACV,iBAAiB,EACjB,aAAa,EACd,MAAM,YAAY,CAAC;AAwDpB,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAQxD;AAED,wBAAgB,QAAQ,CACtB,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,iBAAyC,EAClD,KAAK,GAAE,aAA6B,GACnC,UAAU,CAqGZ"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyC,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AASzF,OAAO,KAAK,EAEV,aAAa,EAEb,OAAO,EACP,iBAAiB,EACjB,OAAO,EACP,aAAa,EACb,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,aAAa,EACd,MAAM,YAAY,CAAC;AA8CpB,wBAAgB,QAAQ,CACtB,SAAS,EAAE,OAAO,EAClB,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,EAC5C,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GAChC,OAAO,CAET;AA8BD,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,aAAa,GAAG,iBAAiB,CAQlF;AA0ED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,aAAa,EACpB,OAAO,GAAE,IAAI,CAAC,iBAAiB,EAAE,SAAS,CAAM,GAC/C,aAAa,CA0Bf;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,UAAU,GACrB,SAAS,OAAO,EAAE,CAiBpB;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,EAAE,CAO3D;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,UAAU,CAAC,EAAE,UAAU,GACtB,SAAS,aAAa,EAAE,CAsC1B;AAQD,KAAK,MAAM,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzE,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAEF,wBAAgB,MAAM,CACpB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,OAAO,EACf,KAAK,GAAE,aAA6B,EACpC,OAAO,GAAE,IAAI,CAAC,iBAAiB,EAAE,SAAS,CAAM,GAC/C,UAAU,CA0BZ;AAyCD,MAAM,MAAM,QAAQ,GAAG;IACrB,GAAG,CACD,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,EAC5C,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GAChC,MAAM,CAAC;IACV,OAAO,IAAI,UAAU,CAAC;CACvB,CAAC;AAEF,wBAAgB,QAAQ,IAAI,QAAQ,CA+DnC;AAED,wBAAiB,UAAU,CACzB,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACpC,OAAO,GAAE,iBAAyC,EAClD,KAAK,GAAE,aAA6B,GACnC,SAAS,CAAC,cAAc,EAAE,UAAU,EAAE,IAAI,CAAC,CAsB7C;AAED,wBAAgB,QAAQ,CACtB,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,iBAAyC,EAClD,KAAK,GAAE,aAA6B,GACnC,UAAU,CAKZ"}

package/dist/validate.js

@@ -1,10 +1,11 @@
 import { ATTACHMENT, BUILT_IN_TYPE, readSchema } from './definition.js';
 import { parse } from './document.js';
 import { hrefOccurrences, linkInventory } from './links.js';
-import { classifyHref } from './paths.js';
+import { classifyHref, roomTarget } from './paths.js';
 import { references } from './references.js';
 import { refusal } from './refuse.js';
-import { fitsItem, frontmatterRefusal } from './schema.js';
+import { conditionedSections, fitsItem, frontmatterRefusal } from './schema.js';
+import { openPatternBudget, PatternTooCostly } from './pattern.js';
 import { headingSpans, listItems } from './sections.js';
 import { bodyAfterFrontmatter, bodyStartOf } from './yaml.js';
 function refuse(file, rule, extra) {
@@ -18,33 +19,50 @@ function instanceType(document) {
         return null;
     return raw;
 }
-function reaches(file, href, to, types, binaryTargets) {
-    const resolved = classifyHref(file, href);
-    if (resolved.kind !== 'path')
+function reaches(reference, typeOf, binary) {
+    if (reference.target === null)
         return false;
-    if (to.includes(ATTACHMENT))
+    if (reference.to.includes(ATTACHMENT))
         return true;
-    if (binaryTargets.has(resolved.path))
+    if (binary(reference.target))
+        return false;
+    const held = typeOf(reference.target);
+    return held === undefined || reference.to.includes(held);
+}
+function missing(reference, typeOf, binary) {
+    if (reference.to.includes(ATTACHMENT) || reference.target === null)
         return false;
-    const held = types.get(resolved.path);
-    return held === undefined || to.includes(held);
+    return typeOf(reference.target) === undefined && !binary(reference.target);
+}
+export function resolves(reference, typeOf, binary) {
+    return reaches(reference, typeOf, binary) && !missing(reference, typeOf, binary);
 }
-function itemHrefs(content, items) {
-    const bodyStart = bodyStartOf(content);
-    const { uses } = linkInventory(content.slice(bodyStart));
+function usesIn(content) {
+    let held;
+    return () => {
+        if (held !== undefined)
+            return held;
+        const bodyStart = bodyStartOf(content);
+        held = linkInventory(content.slice(bodyStart)).uses.map((use) => ({
+            ...use,
+            start: bodyStart + use.start,
+            end: bodyStart + use.end,
+        }));
+        return held;
+    };
+}
+function itemHrefs(content, items, uses) {
     const hrefs = [];
     for (const item of items) {
-        const link = uses.find((use) => bodyStart + use.start === item.start &&
-            bodyStart + use.end === item.end &&
-            content[item.start] === '[');
+        const link = uses().find((use) => use.start === item.start && use.end === item.end && content[item.start] === '[');
         if (link === undefined)
             return null;
         hrefs.push(link.destination.href);
     }
     return hrefs;
 }
-export function verify(schema) {
-    const read = readSchema(schema);
+export function verify(schema, provided) {
+    const read = readSchema(schema, provided);
     if ('types' in read)
         return { verdict: 'accept', model: read };
     return {
@@ -53,114 +71,299 @@ export function verify(schema) {
         ...(read.location === undefined ? {} : { location: read.location }),
     };
 }
-export function validate(library, context = { binaryTargets: [] }, model = { types: {} }) {
-    const binaryTargets = new Set(context.binaryTargets);
-    const files = Object.keys(library).sort();
-    const types = new Map();
-    const documents = new Map();
-    for (const file of files) {
-        if (binaryTargets.has(file))
-            return refuse(file, 'binary-target-document');
-        const parsed = parse(library[file], file);
-        if (!parsed.ok)
-            return { verdict: 'refuse', ...parsed.refusal };
-        types.set(file, parsed.document.type ?? BUILT_IN_TYPE);
-        if (instanceType(parsed.document) !== BUILT_IN_TYPE)
-            documents.set(file, parsed.document);
+function structure(file, content, document, definition) {
+    if (definition === undefined)
+        return { refusal: refuse(file, 'unknown-type', { location: '/type' }) };
+    const fieldFailure = frontmatterRefusal(definition, document.fields);
+    if (fieldFailure !== undefined) {
+        return { refusal: refuse(file, fieldFailure.rule, { location: fieldFailure.location }) };
     }
-    const definitions = new Map(Object.entries(model.types));
-    const sectionReferences = new Map();
-    for (const [file, document] of documents) {
-        const kind = instanceType(document);
-        if (kind === BUILT_IN_TYPE)
+    const spans = headingSpans(content, bodyStartOf(content));
+    const uses = usesIn(content);
+    const sections = [];
+    const conditioned = conditionedSections(definition, document.fields);
+    for (const [name, spec] of Object.entries(definition.sections)) {
+        const occurrences = spans.filter((one) => one.name === name);
+        if (occurrences.length === 0 && spec.required)
+            return { refusal: refuse(file, 'required-section', { location: name }) };
+        if (conditioned.includes(name) &&
+            occurrences.every((span) => content.slice(span.bodyStart, span.bodyEnd).trim() === ''))
+            return { refusal: refuse(file, 'conditional-section', { location: name }) };
+        if (spec.kind !== 'list')
             continue;
-        const definition = kind === null ? undefined : definitions.get(kind);
-        if (definition === undefined)
-            return refuse(file, 'unknown-type', { location: '/type' });
-        const fieldFailure = frontmatterRefusal(definition, document.fields);
-        if (fieldFailure !== undefined) {
-            return refuse(file, fieldFailure.rule, { location: fieldFailure.location });
-        }
-        const content = library[file];
-        const spans = headingSpans(content, bodyStartOf(content));
-        const references = [];
-        for (const [name, spec] of Object.entries(definition.sections)) {
-            const occurrences = spans.filter((one) => one.name === name);
-            if (occurrences.length === 0 && spec.required)
-                return refuse(file, 'required-section', { location: name });
-            if (spec.kind !== 'list')
+        for (const span of occurrences) {
+            const items = listItems(content, span.bodyStart, span.bodyEnd);
+            if (items === null ||
+                items.some((item) => !fitsItem(definition, name, content.slice(item.start, item.end))))
+                return { refusal: refuse(file, 'structured-section', { location: name }) };
+            if (spec.items.reference === undefined)
                 continue;
-            for (const span of occurrences) {
-                const items = listItems(content, span.bodyStart, span.bodyEnd);
-                if (items === null ||
-                    items.some((item) => !fitsItem(definition, name, content.slice(item.start, item.end))))
-                    return refuse(file, 'structured-section', { location: name });
-                if (spec.items.reference === undefined)
-                    continue;
-                const hrefs = itemHrefs(content, items);
-                if (hrefs === null)
-                    return refuse(file, 'structured-section', { location: name });
-                references.push({ section: name, to: spec.items.reference, hrefs });
-            }
+            const hrefs = itemHrefs(content, items, uses);
+            if (hrefs === null)
+                return { refusal: refuse(file, 'structured-section', { location: name }) };
+            sections.push({
+                section: name,
+                to: spec.items.reference,
+                crossRoom: spec.items.crossRoom === true,
+                hrefs,
+            });
         }
-        sectionReferences.set(file, references);
     }
-    for (const [file, document] of documents) {
-        const kind = instanceType(document);
-        if (kind === null || kind === BUILT_IN_TYPE)
+    return { sections };
+}
+function linked(file, content) {
+    return hrefOccurrences(bodyAfterFrontmatter(content)).every((occurrence) => classifyHref(file, occurrence.href).kind !== 'invalid');
+}
+function reached(file, href, to) {
+    const resolved = classifyHref(file, href);
+    return { target: resolved.kind === 'path' ? resolved.path : null, to };
+}
+function crossing(file, href, crossRoom) {
+    return crossRoom === true && classifyHref(file, href).kind === 'room';
+}
+function definitionOf(document, model) {
+    const kind = instanceType(document);
+    return kind === null || !Object.hasOwn(model.types, kind) ? undefined : model.types[kind];
+}
+export function checkDocument(file, content, model, context = {}) {
+    const anyRoom = context.anyRoom === true;
+    const parsed = parse(content, file);
+    if (!parsed.ok)
+        return { ok: false };
+    const document = parsed.document;
+    const type = document.type ?? BUILT_IN_TYPE;
+    if (instanceType(document) === BUILT_IN_TYPE)
+        return { ok: true, type, typed: false, references: [] };
+    const definition = definitionOf(document, model);
+    const read = structure(file, content, document, definition);
+    if ('refusal' in read || definition === undefined || !linked(file, content))
+        return { ok: false };
+    return {
+        ok: true,
+        type,
+        typed: true,
+        references: [
+            ...references(document, definition).flatMap(({ value, to, crossRoom }) => crossing(file, value, anyRoom || crossRoom) ? [] : [reached(file, value, to)]),
+            ...read.sections.flatMap(({ to, crossRoom, hrefs }) => hrefs.flatMap((href) => crossing(file, href, anyRoom || crossRoom) ? [] : [reached(file, href, to)])),
+        ],
+    };
+}
+export function sectionReferences(file, content, definition) {
+    const referring = (name) => {
+        const spec = Object.hasOwn(definition.sections, name) ? definition.sections[name] : undefined;
+        return spec?.kind === 'list' && spec.items.reference !== undefined ? spec.items : undefined;
+    };
+    if (!Object.keys(definition.sections).some((name) => referring(name) !== undefined))
+        return [];
+    const uses = usesIn(content);
+    const found = [];
+    for (const span of headingSpans(content, bodyStartOf(content))) {
+        const items = referring(span.name);
+        if (items === undefined)
             continue;
-        const definition = definitions.get(kind);
-        if (definition === undefined)
+        const listed = listItems(content, span.bodyStart, span.bodyEnd);
+        const hrefs = listed === null ? null : itemHrefs(content, listed, uses);
+        for (const href of hrefs ?? [])
+            if (!crossing(file, href, items.crossRoom))
+                found.push(reached(file, href, items.reference));
+    }
+    return found;
+}
+export function bodyRoomLinks(body) {
+    const found = [];
+    for (const href of new Set(hrefOccurrences(body).map((occurrence) => occurrence.href))) {
+        const room = roomTarget(href);
+        if (room !== null)
+            found.push({ kind: 'link', href, ...room });
+    }
+    return found;
+}
+export function roomReferences(file, content, definition) {
+    const found = bodyRoomLinks(bodyAfterFrontmatter(content));
+    if (definition === undefined)
+        return found;
+    const parsed = parse(content, file);
+    if (!parsed.ok)
+        return found;
+    for (const { pointer, value, to, crossRoom } of references(parsed.document, definition)) {
+        const room = roomTarget(value);
+        if (room !== null)
+            found.push({
+                kind: 'field',
+                pointer,
+                value,
+                to,
+                ...room,
+                ...(crossRoom ? { crossRoom } : {}),
+            });
+    }
+    const uses = usesIn(content);
+    for (const span of headingSpans(content, bodyStartOf(content))) {
+        const spec = Object.hasOwn(definition.sections, span.name)
+            ? definition.sections[span.name]
+            : undefined;
+        if (spec?.kind !== 'list' || spec.items.reference === undefined)
             continue;
-        for (const { pointer, to, value } of references(document, definition)) {
-            if (!reaches(file, value, to, types, binaryTargets))
-                return refuse(file, 'unresolved-reference', { location: pointer });
-        }
-        const body = bodyAfterFrontmatter(library[file]);
-        for (const occurrence of hrefOccurrences(body)) {
-            const resolved = classifyHref(file, occurrence.href);
-            if (resolved.kind === 'invalid')
-                return refuse(file, 'unresolved-link');
+        const listed = listItems(content, span.bodyStart, span.bodyEnd);
+        for (const href of (listed === null ? null : itemHrefs(content, listed, uses)) ?? []) {
+            const room = roomTarget(href);
+            if (room !== null)
+                found.push({
+                    kind: 'item',
+                    section: span.name,
+                    href,
+                    to: spec.items.reference,
+                    ...room,
+                    ...(spec.items.crossRoom === true ? { crossRoom: true } : {}),
+                });
         }
-        for (const { section, to, hrefs } of sectionReferences.get(file)) {
-            for (const href of hrefs) {
-                if (!reaches(file, href, to, types, binaryTargets))
-                    return refuse(file, 'unresolved-reference', { location: section });
+    }
+    return found;
+}
+function least(refused, file, verdict) {
+    return refused === undefined || file < refused.file ? { file, verdict } : refused;
+}
+export function assess(file, content, binary, model = { types: {} }, context = {}) {
+    const unread = { file, type: undefined, targets: [], structured: null, fields: [], sections: [] };
+    if (binary)
+        return { ...unread, read: refuse(file, 'binary-target-document'), linked: true };
+    const parsed = parse(content, file);
+    if (!parsed.ok)
+        return { ...unread, read: { verdict: 'refuse', ...parsed.refusal }, linked: true };
+    const document = parsed.document;
+    const type = document.type ?? BUILT_IN_TYPE;
+    const typed = { file, type, read: null, structured: null };
+    if (instanceType(document) === BUILT_IN_TYPE) {
+        return { ...typed, targets: [], fields: [], linked: true, sections: [] };
+    }
+    const definition = definitionOf(document, model);
+    try {
+        return structured(file, content, typed, document, definition, context);
+    }
+    catch (error) {
+        if (!(error instanceof PatternTooCostly))
+            throw error;
+        return {
+            ...typed,
+            targets: [],
+            structured: refuse(file, 'pattern', { location: '' }),
+            fields: [],
+            linked: true,
+            sections: [],
+        };
+    }
+}
+function structured(file, content, typed, document, definition, context) {
+    const read = structure(file, content, document, definition);
+    if ('refusal' in read || definition === undefined) {
+        return {
+            ...typed,
+            targets: [],
+            structured: 'refusal' in read ? read.refusal : null,
+            fields: [],
+            linked: true,
+            sections: [],
+        };
+    }
+    const anyRoom = context.anyRoom === true;
+    const fields = references(document, definition).flatMap(({ pointer, value, to, crossRoom }) => crossing(file, value, anyRoom || crossRoom)
+        ? []
+        : [{ reference: reached(file, value, to), location: pointer }]);
+    const sections = read.sections.flatMap(({ section, to, crossRoom, hrefs }) => hrefs.flatMap((href) => crossing(file, href, anyRoom || crossRoom)
+        ? []
+        : [{ reference: reached(file, href, to), location: section }]));
+    const targets = new Set();
+    for (const { reference } of [...fields, ...sections]) {
+        if (reference.target !== null)
+            targets.add(reference.target);
+    }
+    return { ...typed, targets: [...targets], fields, linked: linked(file, content), sections };
+}
+export function verdicts() {
+    let read;
+    let structured;
+    let referred;
+    let missed;
+    const unreached = (placed, typeOf, binary) => placed.find(({ reference }) => !reaches(reference, typeOf, binary));
+    return {
+        add(assessment, typeOf, binary) {
+            const { file } = assessment;
+            if (assessment.read !== null) {
+                read = least(read, file, assessment.read);
+                return 0;
+            }
+            if (assessment.structured !== null) {
+                structured = least(structured, file, assessment.structured);
+                return 0;
+            }
+            const field = unreached(assessment.fields, typeOf, binary);
+            if (field !== undefined) {
+                referred = least(referred, file, refuse(file, 'unresolved-reference', { location: field.location }));
+                return 0;
             }
+            if (!assessment.linked) {
+                referred = least(referred, file, refuse(file, 'unresolved-link'));
+                return 0;
+            }
+            const section = unreached(assessment.sections, typeOf, binary);
+            if (section !== undefined) {
+                referred = least(referred, file, refuse(file, 'unresolved-reference', { location: section.location }));
+                return 0;
+            }
+            const all = [...assessment.fields, ...assessment.sections];
+            for (const { reference } of all) {
+                if (!missing(reference, typeOf, binary))
+                    continue;
+                const path = reference.target;
+                if (missed === undefined || path < missed.path)
+                    missed = { path, referrers: [] };
+                if (path === missed.path && missed.referrers.at(-1) !== file)
+                    missed.referrers.push(file);
+            }
+            return all.length;
+        },
+        verdict() {
+            const refused = read ?? structured ?? referred;
+            if (refused !== undefined)
+                return refused.verdict;
+            if (missed !== undefined) {
+                return refuse(missed.path, 'referenced-missing-file', {
+                    referrers: [...missed.referrers].sort(),
+                });
+            }
+            return { verdict: 'accept' };
+        },
+    };
+}
+export function* validating(library, context = { binaryTargets: [] }, model = { types: {} }) {
+    const binaryTargets = new Set(context.binaryTargets);
+    const binary = (path) => binaryTargets.has(path);
+    const types = new Map();
+    const assessments = [];
+    const closeBudget = openPatternBudget();
+    try {
+        for (const [file, content] of library) {
+            const assessment = assess(file, content, binary(file), model, context);
+            if (assessment.type !== undefined)
+                types.set(file, assessment.type);
+            assessments.push(assessment);
+            yield { path: file, resolved: 0 };
         }
-    }
-    const missing = new Map();
-    for (const [file, document] of documents) {
-        const kind = instanceType(document);
-        if (kind === null || kind === BUILT_IN_TYPE)
-            continue;
-        const definition = definitions.get(kind);
-        if (definition === undefined)
-            continue;
-        const named = [
-            ...references(document, definition),
-            ...sectionReferences
-                .get(file)
-                .flatMap(({ to, hrefs }) => hrefs.map((value) => ({ value, to }))),
-        ];
-        for (const { value, to } of named) {
-            if (to.includes(ATTACHMENT))
-                continue;
-            const resolved = classifyHref(file, value);
-            if (resolved.kind !== 'path')
-                continue;
-            if (types.has(resolved.path) || binaryTargets.has(resolved.path))
-                continue;
-            const referrers = missing.get(resolved.path) ?? [];
-            referrers.push(file);
-            missing.set(resolved.path, referrers);
+        const judged = verdicts();
+        for (const assessment of assessments) {
+            const resolved = judged.add(assessment, (path) => types.get(path), binary);
+            yield { path: assessment.file, resolved };
         }
+        return judged.verdict();
     }
-    const missingPaths = [...missing.keys()].sort();
-    if (missingPaths.length > 0) {
-        const path = missingPaths[0];
-        const referrers = [...new Set(missing.get(path) ?? [])].sort();
-        return refuse(path, 'referenced-missing-file', { referrers });
+    finally {
+        closeBudget();
     }
-    return { verdict: 'accept' };
+}
+export function validate(library, context = { binaryTargets: [] }, model = { types: {} }) {
+    const steps = validating(new Map(Object.entries(library)), context, model);
+    let step = steps.next();
+    while (step.done !== true)
+        step = steps.next();
+    return step.value;
 }