@agentshouse/mdmodel 0.1.0-cd90851746292 → 0.1.0-cdbd463e01dc2

package/dist/types.d.ts

@@ -12,9 +12,16 @@ export type ModelVerification = {
     readonly rule: string;
     readonly location?: string;
 };
+export type TypedPath = {
+    readonly path: string;
+    readonly type: string;
+    readonly named: boolean;
+    readonly body: boolean;
+};
 export type ValidationContext = {
     readonly binaryTargets: readonly string[];
     readonly anyRoom?: true;
+    readonly typedPaths?: readonly TypedPath[];
 };
 export type ProjectionContext = {
     readonly documentTargets: readonly string[];

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;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"}
+{"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,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;CAC5C,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

@@ -2,8 +2,9 @@ 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 readTypes(schema: string, provided?: VerifiedModel): VerifiedModel;
+type Placing = Pick<ValidationContext, 'anyRoom' | 'typedPaths'>;
+export declare function checkDocument(file: string, content: string, model: VerifiedModel, context?: Placing): DocumentCheck;
 export declare function bodyRoomLinks(body: string): RoomReference[];
 export declare function roomReferences(file: string, content: string, definition?: Definition): readonly RoomReference[];
 type Placed = {
@@ -20,7 +21,7 @@ export type Assessment = {
     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 declare function assess(file: string, content: string, binary: boolean, model?: VerifiedModel, context?: Placing): Assessment;
 export type Verdicts = {
     add(assessment: Assessment, typeOf: (path: string) => string | undefined, binary: (path: string) => boolean): number;
     verdict(): Validation;

package/dist/validate.d.ts.map

@@ -1 +1 @@
-{"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"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyC,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAWzF,OAAO,KAAK,EAEV,aAAa,EAEb,OAAO,EACP,iBAAiB,EACjB,OAAO,EACP,aAAa,EAEb,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,aAAa,EACd,MAAM,YAAY,CAAC;AA6GpB,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;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,aAAa,GAAG,aAAa,CAIjF;AAoFD,KAAK,OAAO,GAAG,IAAI,CAAC,iBAAiB,EAAE,SAAS,GAAG,YAAY,CAAC,CAAC;AAEjE,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,aAAa,EACpB,OAAO,GAAE,OAAY,GACpB,aAAa,CAoCf;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,OAAY,GACpB,UAAU,CAwCZ;AA+CD,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,8 +1,10 @@
 import { ATTACHMENT, BUILT_IN_TYPE, readSchema } from './definition.js';
-import { parse } from './document.js';
+import { links, parse } from './document.js';
+import { MEMBER_FIELD } from './fields.js';
 import { hrefOccurrences, linkInventory } from './links.js';
 import { classifyHref, roomTarget } from './paths.js';
 import { references } from './references.js';
+import { isDocumentPath, ROOM_DESCRIPTION } from './reserved.js';
 import { refusal } from './refuse.js';
 import { conditionedSections, fitsItem, frontmatterRefusal } from './schema.js';
 import { openPatternBudget, PatternTooCostly } from './pattern.js';
@@ -11,6 +13,50 @@ import { bodyAfterFrontmatter, bodyStartOf } from './yaml.js';
 function refuse(file, rule, extra) {
     return { verdict: 'refuse', ...refusal(file, rule, extra) };
 }
+function unmarkedMember(file, document, definition) {
+    return Object.hasOwn(document.fields, MEMBER_FIELD) && definition?.memberDocument !== true
+        ? refuse(file, 'undeclared-field', { location: `/${MEMBER_FIELD}` })
+        : null;
+}
+function reservedLink(file, document) {
+    return (document.type !== undefined &&
+        isDocumentPath(file) &&
+        links(document, file).some((link) => !isDocumentPath(link.target)));
+}
+function describedRoom(file, document) {
+    return file === ROOM_DESCRIPTION && document.type !== undefined
+        ? refuse(file, 'room-md-type', { location: '/type' })
+        : null;
+}
+function nameFits(pattern, name) {
+    const at = pattern.indexOf('*');
+    if (at === -1)
+        return pattern === name;
+    const head = pattern.slice(0, at);
+    const tail = pattern.slice(at + 1);
+    return name.length > head.length + tail.length && name.startsWith(head) && name.endsWith(tail);
+}
+function typedPathOf(file, typedPaths = []) {
+    const names = file.split('/');
+    return typedPaths.find(({ path }) => {
+        const patterns = path.split('/');
+        return (patterns.length === names.length &&
+            patterns.every((pattern, at) => nameFits(pattern, names[at])));
+    });
+}
+const HELD_TEXT = /\S/u;
+function typedPathRefusal(file, content, document, typedPath) {
+    if (typedPath === undefined)
+        return null;
+    if (document.type !== (typedPath.named ? typedPath.type : undefined))
+        return refuse(file, 'unknown-type', { location: '/type' });
+    return typedPath.body && !HELD_TEXT.test(bodyAfterFrontmatter(content))
+        ? refuse(file, 'required-body')
+        : null;
+}
+function kindOf(document, typedPath) {
+    return typedPath !== undefined && !typedPath.named ? typedPath.type : instanceType(document);
+}
 function instanceType(document) {
     const raw = document.fields.type;
     if (raw === undefined || raw === null)
@@ -71,6 +117,12 @@ export function verify(schema, provided) {
         ...(read.location === undefined ? {} : { location: read.location }),
     };
 }
+export function readTypes(schema, provided) {
+    const read = readSchema(schema, provided, false);
+    if ('types' in read)
+        return read;
+    throw new Error(`the schema reads as no types: ${read.rule} ${read.location ?? ''}`.trim());
+}
 function structure(file, content, document, definition) {
     if (definition === undefined)
         return { refusal: refuse(file, 'unknown-type', { location: '/type' }) };
@@ -109,7 +161,8 @@ function structure(file, content, document, definition) {
             });
         }
     }
-    return { sections };
+    const member = unmarkedMember(file, document, definition);
+    return member === null ? { sections } : { refusal: member };
 }
 function linked(file, content) {
     return hrefOccurrences(bodyAfterFrontmatter(content)).every((occurrence) => classifyHref(file, occurrence.href).kind !== 'invalid');
@@ -118,11 +171,19 @@ function reached(file, href, to) {
     const resolved = classifyHref(file, href);
     return { target: resolved.kind === 'path' ? resolved.path : null, to };
 }
+function referred(file, href, to) {
+    const reference = reached(file, href, to);
+    return reference.target !== null &&
+        isDocumentPath(file) &&
+        !isDocumentPath(reference.target) &&
+        !to.includes(ATTACHMENT)
+        ? { target: null, to }
+        : reference;
+}
 function crossing(file, href, crossRoom) {
     return crossRoom === true && classifyHref(file, href).kind === 'room';
 }
-function definitionOf(document, model) {
-    const kind = instanceType(document);
+function definitionOf(kind, model) {
     return kind === null || !Object.hasOwn(model.types, kind) ? undefined : model.types[kind];
 }
 export function checkDocument(file, content, model, context = {}) {
@@ -132,9 +193,17 @@ export function checkDocument(file, content, model, context = {}) {
         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 typedPath = typedPathOf(file, context.typedPaths);
+    if (describedRoom(file, document) !== null ||
+        typedPathRefusal(file, content, document, typedPath) !== null ||
+        reservedLink(file, document))
+        return { ok: false };
+    const kind = kindOf(document, typedPath);
+    if (kind === BUILT_IN_TYPE)
+        return unmarkedMember(file, document, undefined) === null
+            ? { ok: true, type, typed: false, references: [] }
+            : { ok: false };
+    const definition = definitionOf(kind, model);
     const read = structure(file, content, document, definition);
     if ('refusal' in read || definition === undefined || !linked(file, content))
         return { ok: false };
@@ -143,32 +212,11 @@ export function checkDocument(file, content, model, context = {}) {
         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)])),
+            ...references(document, definition).flatMap(({ value, to, crossRoom }) => crossing(file, value, anyRoom || crossRoom) ? [] : [referred(file, value, to)]),
+            ...read.sections.flatMap(({ to, crossRoom, hrefs }) => hrefs.flatMap((href) => crossing(file, href, anyRoom || crossRoom) ? [] : [referred(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 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))) {
@@ -233,10 +281,23 @@ export function assess(file, content, binary, model = { types: {} }, context = {
     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 typedPath = typedPathOf(file, context.typedPaths);
+    const described = describedRoom(file, document) ?? typedPathRefusal(file, content, document, typedPath);
+    if (described !== null)
+        return { ...typed, targets: [], structured: described, fields: [], linked: true, sections: [] };
+    const kind = kindOf(document, typedPath);
+    if (kind === BUILT_IN_TYPE) {
+        const structured = unmarkedMember(file, document, undefined);
+        return {
+            ...typed,
+            targets: [],
+            structured,
+            fields: [],
+            linked: !reservedLink(file, document),
+            sections: [],
+        };
     }
-    const definition = definitionOf(document, model);
+    const definition = definitionOf(kind, model);
     try {
         return structured(file, content, typed, document, definition, context);
     }
@@ -268,16 +329,22 @@ function structured(file, content, typed, document, definition, context) {
     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 }]);
+        : [{ reference: referred(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 }]));
+        : [{ reference: referred(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 };
+    return {
+        ...typed,
+        targets: [...targets],
+        fields,
+        linked: linked(file, content) && !reservedLink(file, document),
+        sections,
+    };
 }
 export function verdicts() {
     let read;

package/fixtures/README.md

@@ -65,6 +65,19 @@ value one span carries part of. `start` and `end` are UTF-8 byte offsets into th
 source; every source in this corpus is ASCII, so a consumer compares the
 addressed `source` with an ordinary string slice.
 
+## Queries
+
+`queries.json` is the one table of cases both query evaluators answer. It carries `schema`,
+one schema text; `documents`, each named and carrying its `path`, the `type` a collection
+stores for it (`any` for an untyped Markdown Document, `null` for one that is not Markdown),
+its `fileId`, the `text` the device holds or `null`, and its `fields`; and `cases`, each with a
+`name`, a `query` of filter parts, the `document` it names and whether it `matches`. Verify
+the schema and plan `{ ...query, select: {} }` with `planOf` against its types. Then
+`matches(plan, candidate)` over the named Document, given its type's definition, and the
+condition `sql.tests` writes over a collection holding every Document of the table with the
+values `indexed` derives from it must both answer `matches`. A new operator adds its cases
+here first.
+
 ## Verdict format
 
 Acceptance:
@@ -115,12 +128,14 @@ schema text. The model's own rules:
 | `reference`               | `reference` is not on a string or names something but a type, `any`, `attachment` |
 | `sections`                | A section is not `{ kind: text }` or `{ kind: list, items }` over one scalar      |
 | `member_document`         | The mark is not a boolean, or a second type carries it                            |
-| `unknown-type`            | A file declares a type absent from the governing schema                           |
+| `unknown-type`            | A file declares a type absent from the governing schema, or other than its typed path requires it to name |
 | `undeclared-field`        | A closed object carries a key it does not declare                                 |
 | `required-section`        | A required section heading is missing                                             |
 | `conditional-section`     | A section its type's `if` branch requires is absent or holds no text              |
 | `unresolved-reference`    | A reference at any depth or a section item reaches no member it admits            |
-| `unresolved-link`         | A body link is an absolute path or leaves the collection                          |
+| `unresolved-link`         | A body link is an absolute path, leaves the collection or, from a typed Document at a document path, reaches a reserved name |
+| `room-md-type`            | `ROOM.md` declares a type                                                         |
+| `required-body`           | A file at a typed path that requires a body has a body holding no text            |
 | `structured-section`      | A declared list section is not a list of values of its item schema                |
 | `referenced-missing-file` | Remaining files still reference an absent path                                    |
 | `unwritable-link`         | No Markdown destination form can carry a new link destination                     |

package/fixtures/cases/link-into-a-reserved-name/context.json

@@ -0,0 +1 @@
+{ "binaryTargets": [] }

package/fixtures/cases/link-into-a-reserved-name/expected.json

@@ -0,0 +1,5 @@
+{
+  "verdict": "refuse",
+  "file": "notes/a.md",
+  "rule": "unresolved-link"
+}

package/fixtures/cases/link-into-a-reserved-name/library/notes/a.md

@@ -0,0 +1,6 @@
+---
+type: note
+title: Plan
+---
+
+See [the schema](../settings/schema.yaml).

package/fixtures/cases/link-into-a-reserved-name/schema.yaml

@@ -0,0 +1,3 @@
+note:
+  properties:
+    title: { type: string }

package/fixtures/cases/link-into-a-reserved-name-from-an-untyped-document/context.json

@@ -0,0 +1 @@
+{ "binaryTargets": [] }

package/fixtures/cases/link-into-a-reserved-name-from-an-untyped-document/expected.json

@@ -0,0 +1,5 @@
+{
+  "verdict": "refuse",
+  "file": "notes/b.md",
+  "rule": "unresolved-link"
+}

package/fixtures/cases/link-into-a-reserved-name-from-an-untyped-document/library/notes/b.md

@@ -0,0 +1,5 @@
+---
+type: any
+---
+
+See [the Room](../Rooms/other/plan.md).

package/fixtures/cases/member-on-an-untyped-document/context.json

@@ -0,0 +1 @@
+{ "binaryTargets": [] }

package/fixtures/cases/member-on-an-untyped-document/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "note.md",
+  "location": "/member",
+  "rule": "undeclared-field"
+}

package/fixtures/cases/member-on-an-untyped-document/library/note.md

@@ -0,0 +1,4 @@
+---
+member: ana@example.com
+---
+# Ana

package/fixtures/cases/member-on-another-type/context.json

@@ -0,0 +1 @@
+{ "binaryTargets": [] }

package/fixtures/cases/member-on-another-type/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "note.md",
+  "location": "/member",
+  "rule": "undeclared-field"
+}

package/fixtures/cases/member-on-another-type/library/note.md

@@ -0,0 +1,4 @@
+---
+type: note
+member: ana@example.com
+---

package/fixtures/cases/member-on-another-type/schema.yaml

@@ -0,0 +1,7 @@
+contact:
+  member_document: true
+  properties:
+    name: { type: string }
+note:
+  properties:
+    member: { type: string }

package/fixtures/cases/reference-into-a-reserved-name/context.json

@@ -0,0 +1 @@
+{ "binaryTargets": [] }

package/fixtures/cases/reference-into-a-reserved-name/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "notes/a.md",
+  "rule": "unresolved-reference",
+  "location": "/brief"
+}

package/fixtures/cases/reference-into-a-reserved-name/library/notes/a.md

@@ -0,0 +1,4 @@
+---
+type: task
+brief: ../settings/brief.md
+---

package/fixtures/cases/reference-into-a-reserved-name/library/settings/brief.md

@@ -0,0 +1 @@
+The brief.

package/fixtures/cases/reference-into-a-reserved-name/schema.yaml

@@ -0,0 +1,3 @@
+task:
+  properties:
+    brief: { type: string, reference: any }

package/fixtures/cases/room-md-declares-a-type/context.json

@@ -0,0 +1 @@
+{ "binaryTargets": [] }

package/fixtures/cases/room-md-declares-a-type/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "ROOM.md",
+  "location": "/type",
+  "rule": "room-md-type"
+}

package/fixtures/cases/room-md-declares-a-type/library/ROOM.md

@@ -0,0 +1,5 @@
+---
+type: any
+---
+
+# Research

package/fixtures/cases/typed-path-names-another-type/context.json

@@ -0,0 +1,11 @@
+{
+  "binaryTargets": [],
+  "typedPaths": [
+    {
+      "path": "settings/prefs/*.md",
+      "type": "prefs",
+      "named": true,
+      "body": false
+    }
+  ]
+}

package/fixtures/cases/typed-path-names-another-type/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "settings/prefs/one.md",
+  "rule": "unknown-type",
+  "location": "/type"
+}

package/fixtures/cases/typed-path-names-another-type/library/settings/prefs/one.md

@@ -0,0 +1,3 @@
+---
+type: note
+---

package/fixtures/cases/typed-path-names-another-type/schema.yaml

@@ -0,0 +1,6 @@
+prefs:
+  properties:
+    theme: { type: string }
+note:
+  properties:
+    title: { type: string }

package/fixtures/cases/typed-path-names-its-type/context.json

@@ -0,0 +1,11 @@
+{
+  "binaryTargets": [],
+  "typedPaths": [
+    {
+      "path": "settings/prefs/*.md",
+      "type": "prefs",
+      "named": true,
+      "body": false
+    }
+  ]
+}

package/fixtures/cases/typed-path-names-its-type/expected.json

@@ -0,0 +1,3 @@
+{
+  "verdict": "accept"
+}

package/fixtures/cases/typed-path-names-its-type/library/settings/prefs/deeper/two.md

@@ -0,0 +1 @@
+Dark.

package/fixtures/cases/typed-path-names-its-type/library/settings/prefs/one.md

@@ -0,0 +1,4 @@
+---
+type: prefs
+theme: dark
+---

package/fixtures/cases/typed-path-names-its-type/schema.yaml

@@ -0,0 +1,6 @@
+prefs:
+  properties:
+    theme: { type: string }
+note:
+  properties:
+    title: { type: string }

package/fixtures/cases/typed-path-names-no-type/context.json

@@ -0,0 +1,11 @@
+{
+  "binaryTargets": [],
+  "typedPaths": [
+    {
+      "path": "settings/prefs/*.md",
+      "type": "prefs",
+      "named": true,
+      "body": false
+    }
+  ]
+}

package/fixtures/cases/typed-path-names-no-type/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "settings/prefs/one.md",
+  "rule": "unknown-type",
+  "location": "/type"
+}

package/fixtures/cases/typed-path-names-no-type/library/settings/prefs/one.md

@@ -0,0 +1 @@
+Dark.

package/fixtures/cases/typed-path-names-no-type/schema.yaml

@@ -0,0 +1,6 @@
+prefs:
+  properties:
+    theme: { type: string }
+note:
+  properties:
+    title: { type: string }

package/fixtures/cases/unnamed-typed-path-checks-its-fields/context.json

@@ -0,0 +1,11 @@
+{
+  "binaryTargets": [],
+  "typedPaths": [
+    {
+      "path": "rooms/*/tasks/*.md",
+      "type": "task",
+      "named": false,
+      "body": true
+    }
+  ]
+}

package/fixtures/cases/unnamed-typed-path-checks-its-fields/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "rooms/team/tasks/plan.md",
+  "rule": "required",
+  "location": "/owner"
+}

package/fixtures/cases/unnamed-typed-path-checks-its-fields/library/rooms/team/tasks/plan.md

@@ -0,0 +1,4 @@
+---
+title: Plan
+---
+Write the plan.

package/fixtures/cases/unnamed-typed-path-checks-its-fields/schema.yaml

@@ -0,0 +1,5 @@
+task:
+  properties:
+    title: { type: string, maxLength: 20 }
+    owner: { type: string, format: uuid }
+  required: [title, owner]

package/fixtures/cases/unnamed-typed-path-names-a-type/context.json

@@ -0,0 +1,11 @@
+{
+  "binaryTargets": [],
+  "typedPaths": [
+    {
+      "path": "rooms/*/tasks/*.md",
+      "type": "task",
+      "named": false,
+      "body": true
+    }
+  ]
+}

package/fixtures/cases/unnamed-typed-path-names-a-type/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "rooms/team/tasks/plan.md",
+  "rule": "unknown-type",
+  "location": "/type"
+}

package/fixtures/cases/unnamed-typed-path-names-a-type/library/rooms/team/tasks/plan.md

@@ -0,0 +1,6 @@
+---
+type: task
+title: Plan
+owner: 019a0000-0000-7000-8000-000000000001
+---
+Write the plan.

package/fixtures/cases/unnamed-typed-path-names-a-type/schema.yaml

@@ -0,0 +1,5 @@
+task:
+  properties:
+    title: { type: string, maxLength: 20 }
+    owner: { type: string, format: uuid }
+  required: [title, owner]