@agentshouse/mdmodel 0.1.0-alpha.12 → 0.1.0-alpha.13

package/README.md

@@ -72,8 +72,9 @@ normalization from the source Document. A binary target supplies no Document
 or MD Type and cannot satisfy a typed reference, including one to `any`.
 The existing `any` Document rules are unchanged.
 
-A typed Document carries only the frontmatter fields its MD type declares, so
-any other field is refused as `undeclared-field` at that field name. A field
+A typed Document carries the frontmatter fields its MD type declares, plus
+`type`, `site`, and `received`; any other field is refused as
+`undeclared-field` at that field name. A field
 name YAML carries to a record prototype, `__proto__` among them, is an ordinary
 undeclared field and is refused as one. A declared list section is validated as
 a list; its declared item kind governs projection eligibility rather than the

package/dist/validate.js

@@ -91,7 +91,11 @@ export function validate(library, context = {
             });
         }
         const declaredFields = new Set(Object.keys(definition.fields));
-        const undeclared = Object.keys(parsed.document.fields).find((name)=>name !== 'type' && !declaredFields.has(name));
+        const undeclared = Object.keys(parsed.document.fields).find((name)=>![
+                'type',
+                'site',
+                'received'
+            ].includes(name) && !declaredFields.has(name));
         if (undeclared !== undefined) return refuse(file, 'undeclared-field', {
             location: undeclared
         });

package/dist/validate.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdmodel/src/validate.ts"],"sourcesContent":["import { readDefinition, type Definition, type FieldSpec } from './definition.js';\nimport { parse } from './document.js';\nimport { hrefOccurrences } from './links.js';\nimport { classifyHref, isTypesPath } from './paths.js';\nimport { refusal } from './refuse.js';\nimport { parseListSection } from './sections.js';\nimport { validateFields } from './schema.js';\nimport type { Document, Library, Validation, ValidationContext } from './types.js';\nimport { bodyAfterFrontmatter } from './yaml.js';\n\nfunction refuse(\n  file: string,\n  rule: string,\n  extra?: { location?: string; referrers?: readonly string[] },\n): Validation {\n  return { verdict: 'refuse', ...refusal(file, rule, extra) };\n}\n\nfunction instanceType(document: Document, file: string): 'any' | 'definition' | 'invalid' | string {\n  if (isTypesPath(file)) return 'definition';\n  const raw = document.fields.type;\n  if (raw === undefined || raw === null) return 'any';\n  if (typeof raw !== 'string' || raw === '') return 'invalid';\n  return raw;\n}\n\nfunction referenceTargets(spec: FieldSpec, value: unknown): string[] {\n  if (spec.kind === 'reference' && typeof value === 'string') return [value];\n  if (spec.kind === 'list' && spec.of.kind === 'reference' && Array.isArray(value)) {\n    return value.filter((item): item is string => typeof item === 'string');\n  }\n  return [];\n}\n\nfunction expectedReferenceType(spec: FieldSpec): string | null {\n  if (spec.kind === 'reference') return spec.to;\n  if (spec.kind === 'list' && spec.of.kind === 'reference') return spec.of.to;\n  return null;\n}\n\nfunction declaredTypeOf(content: string): string | undefined {\n  const parsed = parse(content);\n  if (!parsed.ok) return undefined;\n  return parsed.document.type ?? 'any';\n}\n\nexport function validate(\n  library: Library,\n  context: ValidationContext = { binaryTargets: [] },\n): Validation {\n  const binaryTargets = new Set(context.binaryTargets);\n  const files = Object.keys(library).sort();\n  const documents = new Map<string, ReturnType<typeof parse>>();\n  for (const file of files) {\n    if (binaryTargets.has(file)) return refuse(file, 'binary-target-document');\n    const parsed = parse(library[file]!, file);\n    documents.set(file, parsed);\n    if (!parsed.ok) return { verdict: 'refuse', ...parsed.refusal };\n  }\n\n  const definitions = new Map<string, Definition>();\n  for (const file of files) {\n    if (!isTypesPath(file)) continue;\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const definition = readDefinition(file, parsed.document);\n    if ('rule' in definition) return { verdict: 'refuse', ...definition };\n    const existing = definitions.get(definition.name);\n    if (existing !== undefined)\n      return refuse(file, 'definition-duplicate', { location: definition.name });\n    definitions.set(definition.name, definition);\n  }\n\n  for (const file of files) {\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const kind = instanceType(parsed.document, file);\n    if (kind === 'any') continue;\n    if (kind === 'invalid' || kind === 'definition') {\n      if (kind === 'definition' && isTypesPath(file)) continue;\n      return refuse(file, 'unknown-type', { location: 'type' });\n    }\n    const definition = definitions.get(kind);\n    if (definition === undefined) return refuse(file, 'unknown-type', { location: 'type' });\n    const fieldFailure = validateFields(definition.fields, parsed.document.fields);\n    if (fieldFailure !== undefined) {\n      return refuse(file, fieldFailure.rule, { location: fieldFailure.field });\n    }\n    const declaredFields = new Set(Object.keys(definition.fields));\n    const undeclared = Object.keys(parsed.document.fields).find(\n      (name) => name !== 'type' && !declaredFields.has(name),\n    );\n    if (undeclared !== undefined) return refuse(file, 'undeclared-field', { location: undeclared });\n    for (const [name, spec] of Object.entries(definition.sections)) {\n      const body = parsed.document.sections[name];\n      if (body === undefined) {\n        if (spec.required) return refuse(file, 'required-section', { location: name });\n        continue;\n      }\n      if (spec.kind === 'list' && !parseListSection(body)) {\n        return refuse(file, 'structured-section', { location: name });\n      }\n    }\n  }\n\n  for (const file of files) {\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const kind = instanceType(parsed.document, file);\n    if (kind === 'any' || kind === 'definition' || kind === 'invalid') continue;\n    const definition = definitions.get(kind);\n    if (definition === undefined) continue;\n    for (const [name, spec] of Object.entries(definition.fields)) {\n      const targets = referenceTargets(spec, parsed.document.fields[name]);\n      const expected = expectedReferenceType(spec);\n      if (expected === null) continue;\n      for (const target of targets) {\n        const resolved = classifyHref(file, target);\n        if (resolved.kind !== 'path' || binaryTargets.has(resolved.path))\n          return refuse(file, 'unresolved-reference', { location: name });\n        if (!documents.has(resolved.path)) continue;\n        const targetType = declaredTypeOf(library[resolved.path]!);\n        if (targetType !== expected)\n          return refuse(file, 'unresolved-reference', { location: name });\n      }\n    }\n    const body = bodyAfterFrontmatter(library[file]!);\n    for (const occurrence of hrefOccurrences(body)) {\n      const resolved = classifyHref(file, occurrence.href);\n      if (resolved.kind === 'skip') continue;\n      if (\n        resolved.kind === 'invalid' ||\n        (!documents.has(resolved.path) && !binaryTargets.has(resolved.path))\n      ) {\n        return refuse(file, 'unresolved-link');\n      }\n    }\n  }\n\n  const missing = new Map<string, string[]>();\n  for (const file of files) {\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const kind = instanceType(parsed.document, file);\n    if (kind === 'any' || kind === 'definition' || kind === 'invalid') continue;\n    const definition = definitions.get(kind);\n    if (definition === undefined) continue;\n    for (const [name, spec] of Object.entries(definition.fields)) {\n      const expected = expectedReferenceType(spec);\n      if (expected === null) continue;\n      for (const target of referenceTargets(spec, parsed.document.fields[name])) {\n        const resolved = classifyHref(file, target);\n        if (resolved.kind !== 'path') continue;\n        if (documents.has(resolved.path)) continue;\n        const referrers = missing.get(resolved.path) ?? [];\n        referrers.push(file);\n        missing.set(resolved.path, referrers);\n      }\n    }\n  }\n  const missingPaths = [...missing.keys()].sort();\n  if (missingPaths.length > 0) {\n    const path = missingPaths[0]!;\n    const referrers = [...new Set(missing.get(path) ?? [])].sort();\n    return refuse(path, 'referenced-missing-file', { referrers });\n  }\n\n  return { verdict: 'accept' };\n}\n"],"names":["readDefinition","parse","hrefOccurrences","classifyHref","isTypesPath","refusal","parseListSection","validateFields","bodyAfterFrontmatter","refuse","file","rule","extra","verdict","instanceType","document","raw","fields","type","undefined","referenceTargets","spec","value","kind","of","Array","isArray","filter","item","expectedReferenceType","to","declaredTypeOf","content","parsed","ok","validate","library","context","binaryTargets","Set","files","Object","keys","sort","documents","Map","has","set","definitions","get","definition","existing","name","location","fieldFailure","field","declaredFields","undeclared","find","entries","sections","body","required","targets","expected","target","resolved","path","targetType","occurrence","href","missing","referrers","push","missingPaths","length"],"mappings":"AAAA,SAASA,cAAc,QAAyC,kBAAkB;AAClF,SAASC,KAAK,QAAQ,gBAAgB;AACtC,SAASC,eAAe,QAAQ,aAAa;AAC7C,SAASC,YAAY,EAAEC,WAAW,QAAQ,aAAa;AACvD,SAASC,OAAO,QAAQ,cAAc;AACtC,SAASC,gBAAgB,QAAQ,gBAAgB;AACjD,SAASC,cAAc,QAAQ,cAAc;AAE7C,SAASC,oBAAoB,QAAQ,YAAY;AAEjD,SAASC,OACPC,IAAY,EACZC,IAAY,EACZC,KAA4D;IAE5D,OAAO;QAAEC,SAAS;QAAU,GAAGR,QAAQK,MAAMC,MAAMC,MAAM;IAAC;AAC5D;AAEA,SAASE,aAAaC,QAAkB,EAAEL,IAAY;IACpD,IAAIN,YAAYM,OAAO,OAAO;IAC9B,MAAMM,MAAMD,SAASE,MAAM,CAACC,IAAI;IAChC,IAAIF,QAAQG,aAAaH,QAAQ,MAAM,OAAO;IAC9C,IAAI,OAAOA,QAAQ,YAAYA,QAAQ,IAAI,OAAO;IAClD,OAAOA;AACT;AAEA,SAASI,iBAAiBC,IAAe,EAAEC,KAAc;IACvD,IAAID,KAAKE,IAAI,KAAK,eAAe,OAAOD,UAAU,UAAU,OAAO;QAACA;KAAM;IAC1E,IAAID,KAAKE,IAAI,KAAK,UAAUF,KAAKG,EAAE,CAACD,IAAI,KAAK,eAAeE,MAAMC,OAAO,CAACJ,QAAQ;QAChF,OAAOA,MAAMK,MAAM,CAAC,CAACC,OAAyB,OAAOA,SAAS;IAChE;IACA,OAAO,EAAE;AACX;AAEA,SAASC,sBAAsBR,IAAe;IAC5C,IAAIA,KAAKE,IAAI,KAAK,aAAa,OAAOF,KAAKS,EAAE;IAC7C,IAAIT,KAAKE,IAAI,KAAK,UAAUF,KAAKG,EAAE,CAACD,IAAI,KAAK,aAAa,OAAOF,KAAKG,EAAE,CAACM,EAAE;IAC3E,OAAO;AACT;AAEA,SAASC,eAAeC,OAAe;IACrC,MAAMC,SAAShC,MAAM+B;IACrB,IAAI,CAACC,OAAOC,EAAE,EAAE,OAAOf;IACvB,OAAOc,OAAOlB,QAAQ,CAACG,IAAI,IAAI;AACjC;AAEA,OAAO,SAASiB,SACdC,OAAgB,EAChBC,UAA6B;IAAEC,eAAe,EAAE;AAAC,CAAC;IAElD,MAAMA,gBAAgB,IAAIC,IAAIF,QAAQC,aAAa;IACnD,MAAME,QAAQC,OAAOC,IAAI,CAACN,SAASO,IAAI;IACvC,MAAMC,YAAY,IAAIC;IACtB,KAAK,MAAMnC,QAAQ8B,MAAO;QACxB,IAAIF,cAAcQ,GAAG,CAACpC,OAAO,OAAOD,OAAOC,MAAM;QACjD,MAAMuB,SAAShC,MAAMmC,OAAO,CAAC1B,KAAK,EAAGA;QACrCkC,UAAUG,GAAG,CAACrC,MAAMuB;QACpB,IAAI,CAACA,OAAOC,EAAE,EAAE,OAAO;YAAErB,SAAS;YAAU,GAAGoB,OAAO5B,OAAO;QAAC;IAChE;IAEA,MAAM2C,cAAc,IAAIH;IACxB,KAAK,MAAMnC,QAAQ8B,MAAO;QACxB,IAAI,CAACpC,YAAYM,OAAO;QACxB,MAAMuB,SAASW,UAAUK,GAAG,CAACvC;QAC7B,IAAIuB,WAAWd,aAAa,CAACc,OAAOC,EAAE,EAAE;QACxC,MAAMgB,aAAalD,eAAeU,MAAMuB,OAAOlB,QAAQ;QACvD,IAAI,UAAUmC,YAAY,OAAO;YAAErC,SAAS;YAAU,GAAGqC,UAAU;QAAC;QACpE,MAAMC,WAAWH,YAAYC,GAAG,CAACC,WAAWE,IAAI;QAChD,IAAID,aAAahC,WACf,OAAOV,OAAOC,MAAM,wBAAwB;YAAE2C,UAAUH,WAAWE,IAAI;QAAC;QAC1EJ,YAAYD,GAAG,CAACG,WAAWE,IAAI,EAAEF;IACnC;IAEA,KAAK,MAAMxC,QAAQ8B,MAAO;QACxB,MAAMP,SAASW,UAAUK,GAAG,CAACvC;QAC7B,IAAIuB,WAAWd,aAAa,CAACc,OAAOC,EAAE,EAAE;QACxC,MAAMX,OAAOT,aAAamB,OAAOlB,QAAQ,EAAEL;QAC3C,IAAIa,SAAS,OAAO;QACpB,IAAIA,SAAS,aAAaA,SAAS,cAAc;YAC/C,IAAIA,SAAS,gBAAgBnB,YAAYM,OAAO;YAChD,OAAOD,OAAOC,MAAM,gBAAgB;gBAAE2C,UAAU;YAAO;QACzD;QACA,MAAMH,aAAaF,YAAYC,GAAG,CAAC1B;QACnC,IAAI2B,eAAe/B,WAAW,OAAOV,OAAOC,MAAM,gBAAgB;YAAE2C,UAAU;QAAO;QACrF,MAAMC,eAAe/C,eAAe2C,WAAWjC,MAAM,EAAEgB,OAAOlB,QAAQ,CAACE,MAAM;QAC7E,IAAIqC,iBAAiBnC,WAAW;YAC9B,OAAOV,OAAOC,MAAM4C,aAAa3C,IAAI,EAAE;gBAAE0C,UAAUC,aAAaC,KAAK;YAAC;QACxE;QACA,MAAMC,iBAAiB,IAAIjB,IAAIE,OAAOC,IAAI,CAACQ,WAAWjC,MAAM;QAC5D,MAAMwC,aAAahB,OAAOC,IAAI,CAACT,OAAOlB,QAAQ,CAACE,MAAM,EAAEyC,IAAI,CACzD,CAACN,OAASA,SAAS,UAAU,CAACI,eAAeV,GAAG,CAACM;QAEnD,IAAIK,eAAetC,WAAW,OAAOV,OAAOC,MAAM,oBAAoB;YAAE2C,UAAUI;QAAW;QAC7F,KAAK,MAAM,CAACL,MAAM/B,KAAK,IAAIoB,OAAOkB,OAAO,CAACT,WAAWU,QAAQ,EAAG;YAC9D,MAAMC,OAAO5B,OAAOlB,QAAQ,CAAC6C,QAAQ,CAACR,KAAK;YAC3C,IAAIS,SAAS1C,WAAW;gBACtB,IAAIE,KAAKyC,QAAQ,EAAE,OAAOrD,OAAOC,MAAM,oBAAoB;oBAAE2C,UAAUD;gBAAK;gBAC5E;YACF;YACA,IAAI/B,KAAKE,IAAI,KAAK,UAAU,CAACjB,iBAAiBuD,OAAO;gBACnD,OAAOpD,OAAOC,MAAM,sBAAsB;oBAAE2C,UAAUD;gBAAK;YAC7D;QACF;IACF;IAEA,KAAK,MAAM1C,QAAQ8B,MAAO;QACxB,MAAMP,SAASW,UAAUK,GAAG,CAACvC;QAC7B,IAAIuB,WAAWd,aAAa,CAACc,OAAOC,EAAE,EAAE;QACxC,MAAMX,OAAOT,aAAamB,OAAOlB,QAAQ,EAAEL;QAC3C,IAAIa,SAAS,SAASA,SAAS,gBAAgBA,SAAS,WAAW;QACnE,MAAM2B,aAAaF,YAAYC,GAAG,CAAC1B;QACnC,IAAI2B,eAAe/B,WAAW;QAC9B,KAAK,MAAM,CAACiC,MAAM/B,KAAK,IAAIoB,OAAOkB,OAAO,CAACT,WAAWjC,MAAM,EAAG;YAC5D,MAAM8C,UAAU3C,iBAAiBC,MAAMY,OAAOlB,QAAQ,CAACE,MAAM,CAACmC,KAAK;YACnE,MAAMY,WAAWnC,sBAAsBR;YACvC,IAAI2C,aAAa,MAAM;YACvB,KAAK,MAAMC,UAAUF,QAAS;gBAC5B,MAAMG,WAAW/D,aAAaO,MAAMuD;gBACpC,IAAIC,SAAS3C,IAAI,KAAK,UAAUe,cAAcQ,GAAG,CAACoB,SAASC,IAAI,GAC7D,OAAO1D,OAAOC,MAAM,wBAAwB;oBAAE2C,UAAUD;gBAAK;gBAC/D,IAAI,CAACR,UAAUE,GAAG,CAACoB,SAASC,IAAI,GAAG;gBACnC,MAAMC,aAAarC,eAAeK,OAAO,CAAC8B,SAASC,IAAI,CAAC;gBACxD,IAAIC,eAAeJ,UACjB,OAAOvD,OAAOC,MAAM,wBAAwB;oBAAE2C,UAAUD;gBAAK;YACjE;QACF;QACA,MAAMS,OAAOrD,qBAAqB4B,OAAO,CAAC1B,KAAK;QAC/C,KAAK,MAAM2D,cAAcnE,gBAAgB2D,MAAO;YAC9C,MAAMK,WAAW/D,aAAaO,MAAM2D,WAAWC,IAAI;YACnD,IAAIJ,SAAS3C,IAAI,KAAK,QAAQ;YAC9B,IACE2C,SAAS3C,IAAI,KAAK,aACjB,CAACqB,UAAUE,GAAG,CAACoB,SAASC,IAAI,KAAK,CAAC7B,cAAcQ,GAAG,CAACoB,SAASC,IAAI,GAClE;gBACA,OAAO1D,OAAOC,MAAM;YACtB;QACF;IACF;IAEA,MAAM6D,UAAU,IAAI1B;IACpB,KAAK,MAAMnC,QAAQ8B,MAAO;QACxB,MAAMP,SAASW,UAAUK,GAAG,CAACvC;QAC7B,IAAIuB,WAAWd,aAAa,CAACc,OAAOC,EAAE,EAAE;QACxC,MAAMX,OAAOT,aAAamB,OAAOlB,QAAQ,EAAEL;QAC3C,IAAIa,SAAS,SAASA,SAAS,gBAAgBA,SAAS,WAAW;QACnE,MAAM2B,aAAaF,YAAYC,GAAG,CAAC1B;QACnC,IAAI2B,eAAe/B,WAAW;QAC9B,KAAK,MAAM,CAACiC,MAAM/B,KAAK,IAAIoB,OAAOkB,OAAO,CAACT,WAAWjC,MAAM,EAAG;YAC5D,MAAM+C,WAAWnC,sBAAsBR;YACvC,IAAI2C,aAAa,MAAM;YACvB,KAAK,MAAMC,UAAU7C,iBAAiBC,MAAMY,OAAOlB,QAAQ,CAACE,MAAM,CAACmC,KAAK,EAAG;gBACzE,MAAMc,WAAW/D,aAAaO,MAAMuD;gBACpC,IAAIC,SAAS3C,IAAI,KAAK,QAAQ;gBAC9B,IAAIqB,UAAUE,GAAG,CAACoB,SAASC,IAAI,GAAG;gBAClC,MAAMK,YAAYD,QAAQtB,GAAG,CAACiB,SAASC,IAAI,KAAK,EAAE;gBAClDK,UAAUC,IAAI,CAAC/D;gBACf6D,QAAQxB,GAAG,CAACmB,SAASC,IAAI,EAAEK;YAC7B;QACF;IACF;IACA,MAAME,eAAe;WAAIH,QAAQ7B,IAAI;KAAG,CAACC,IAAI;IAC7C,IAAI+B,aAAaC,MAAM,GAAG,GAAG;QAC3B,MAAMR,OAAOO,YAAY,CAAC,EAAE;QAC5B,MAAMF,YAAY;eAAI,IAAIjC,IAAIgC,QAAQtB,GAAG,CAACkB,SAAS,EAAE;SAAE,CAACxB,IAAI;QAC5D,OAAOlC,OAAO0D,MAAM,2BAA2B;YAAEK;QAAU;IAC7D;IAEA,OAAO;QAAE3D,SAAS;IAAS;AAC7B"}
+{"version":3,"sources":["/workspace/packages/mdmodel/src/validate.ts"],"sourcesContent":["import { readDefinition, type Definition, type FieldSpec } from './definition.js';\nimport { parse } from './document.js';\nimport { hrefOccurrences } from './links.js';\nimport { classifyHref, isTypesPath } from './paths.js';\nimport { refusal } from './refuse.js';\nimport { parseListSection } from './sections.js';\nimport { validateFields } from './schema.js';\nimport type { Document, Library, Validation, ValidationContext } from './types.js';\nimport { bodyAfterFrontmatter } from './yaml.js';\n\nfunction refuse(\n  file: string,\n  rule: string,\n  extra?: { location?: string; referrers?: readonly string[] },\n): Validation {\n  return { verdict: 'refuse', ...refusal(file, rule, extra) };\n}\n\nfunction instanceType(document: Document, file: string): 'any' | 'definition' | 'invalid' | string {\n  if (isTypesPath(file)) return 'definition';\n  const raw = document.fields.type;\n  if (raw === undefined || raw === null) return 'any';\n  if (typeof raw !== 'string' || raw === '') return 'invalid';\n  return raw;\n}\n\nfunction referenceTargets(spec: FieldSpec, value: unknown): string[] {\n  if (spec.kind === 'reference' && typeof value === 'string') return [value];\n  if (spec.kind === 'list' && spec.of.kind === 'reference' && Array.isArray(value)) {\n    return value.filter((item): item is string => typeof item === 'string');\n  }\n  return [];\n}\n\nfunction expectedReferenceType(spec: FieldSpec): string | null {\n  if (spec.kind === 'reference') return spec.to;\n  if (spec.kind === 'list' && spec.of.kind === 'reference') return spec.of.to;\n  return null;\n}\n\nfunction declaredTypeOf(content: string): string | undefined {\n  const parsed = parse(content);\n  if (!parsed.ok) return undefined;\n  return parsed.document.type ?? 'any';\n}\n\nexport function validate(\n  library: Library,\n  context: ValidationContext = { binaryTargets: [] },\n): Validation {\n  const binaryTargets = new Set(context.binaryTargets);\n  const files = Object.keys(library).sort();\n  const documents = new Map<string, ReturnType<typeof parse>>();\n  for (const file of files) {\n    if (binaryTargets.has(file)) return refuse(file, 'binary-target-document');\n    const parsed = parse(library[file]!, file);\n    documents.set(file, parsed);\n    if (!parsed.ok) return { verdict: 'refuse', ...parsed.refusal };\n  }\n\n  const definitions = new Map<string, Definition>();\n  for (const file of files) {\n    if (!isTypesPath(file)) continue;\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const definition = readDefinition(file, parsed.document);\n    if ('rule' in definition) return { verdict: 'refuse', ...definition };\n    const existing = definitions.get(definition.name);\n    if (existing !== undefined)\n      return refuse(file, 'definition-duplicate', { location: definition.name });\n    definitions.set(definition.name, definition);\n  }\n\n  for (const file of files) {\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const kind = instanceType(parsed.document, file);\n    if (kind === 'any') continue;\n    if (kind === 'invalid' || kind === 'definition') {\n      if (kind === 'definition' && isTypesPath(file)) continue;\n      return refuse(file, 'unknown-type', { location: 'type' });\n    }\n    const definition = definitions.get(kind);\n    if (definition === undefined) return refuse(file, 'unknown-type', { location: 'type' });\n    const fieldFailure = validateFields(definition.fields, parsed.document.fields);\n    if (fieldFailure !== undefined) {\n      return refuse(file, fieldFailure.rule, { location: fieldFailure.field });\n    }\n    const declaredFields = new Set(Object.keys(definition.fields));\n    const undeclared = Object.keys(parsed.document.fields).find(\n      (name) => !['type', 'site', 'received'].includes(name) && !declaredFields.has(name),\n    );\n    if (undeclared !== undefined) return refuse(file, 'undeclared-field', { location: undeclared });\n    for (const [name, spec] of Object.entries(definition.sections)) {\n      const body = parsed.document.sections[name];\n      if (body === undefined) {\n        if (spec.required) return refuse(file, 'required-section', { location: name });\n        continue;\n      }\n      if (spec.kind === 'list' && !parseListSection(body)) {\n        return refuse(file, 'structured-section', { location: name });\n      }\n    }\n  }\n\n  for (const file of files) {\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const kind = instanceType(parsed.document, file);\n    if (kind === 'any' || kind === 'definition' || kind === 'invalid') continue;\n    const definition = definitions.get(kind);\n    if (definition === undefined) continue;\n    for (const [name, spec] of Object.entries(definition.fields)) {\n      const targets = referenceTargets(spec, parsed.document.fields[name]);\n      const expected = expectedReferenceType(spec);\n      if (expected === null) continue;\n      for (const target of targets) {\n        const resolved = classifyHref(file, target);\n        if (resolved.kind !== 'path' || binaryTargets.has(resolved.path))\n          return refuse(file, 'unresolved-reference', { location: name });\n        if (!documents.has(resolved.path)) continue;\n        const targetType = declaredTypeOf(library[resolved.path]!);\n        if (targetType !== expected)\n          return refuse(file, 'unresolved-reference', { location: name });\n      }\n    }\n    const body = bodyAfterFrontmatter(library[file]!);\n    for (const occurrence of hrefOccurrences(body)) {\n      const resolved = classifyHref(file, occurrence.href);\n      if (resolved.kind === 'skip') continue;\n      if (\n        resolved.kind === 'invalid' ||\n        (!documents.has(resolved.path) && !binaryTargets.has(resolved.path))\n      ) {\n        return refuse(file, 'unresolved-link');\n      }\n    }\n  }\n\n  const missing = new Map<string, string[]>();\n  for (const file of files) {\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const kind = instanceType(parsed.document, file);\n    if (kind === 'any' || kind === 'definition' || kind === 'invalid') continue;\n    const definition = definitions.get(kind);\n    if (definition === undefined) continue;\n    for (const [name, spec] of Object.entries(definition.fields)) {\n      const expected = expectedReferenceType(spec);\n      if (expected === null) continue;\n      for (const target of referenceTargets(spec, parsed.document.fields[name])) {\n        const resolved = classifyHref(file, target);\n        if (resolved.kind !== 'path') continue;\n        if (documents.has(resolved.path)) continue;\n        const referrers = missing.get(resolved.path) ?? [];\n        referrers.push(file);\n        missing.set(resolved.path, referrers);\n      }\n    }\n  }\n  const missingPaths = [...missing.keys()].sort();\n  if (missingPaths.length > 0) {\n    const path = missingPaths[0]!;\n    const referrers = [...new Set(missing.get(path) ?? [])].sort();\n    return refuse(path, 'referenced-missing-file', { referrers });\n  }\n\n  return { verdict: 'accept' };\n}\n"],"names":["readDefinition","parse","hrefOccurrences","classifyHref","isTypesPath","refusal","parseListSection","validateFields","bodyAfterFrontmatter","refuse","file","rule","extra","verdict","instanceType","document","raw","fields","type","undefined","referenceTargets","spec","value","kind","of","Array","isArray","filter","item","expectedReferenceType","to","declaredTypeOf","content","parsed","ok","validate","library","context","binaryTargets","Set","files","Object","keys","sort","documents","Map","has","set","definitions","get","definition","existing","name","location","fieldFailure","field","declaredFields","undeclared","find","includes","entries","sections","body","required","targets","expected","target","resolved","path","targetType","occurrence","href","missing","referrers","push","missingPaths","length"],"mappings":"AAAA,SAASA,cAAc,QAAyC,kBAAkB;AAClF,SAASC,KAAK,QAAQ,gBAAgB;AACtC,SAASC,eAAe,QAAQ,aAAa;AAC7C,SAASC,YAAY,EAAEC,WAAW,QAAQ,aAAa;AACvD,SAASC,OAAO,QAAQ,cAAc;AACtC,SAASC,gBAAgB,QAAQ,gBAAgB;AACjD,SAASC,cAAc,QAAQ,cAAc;AAE7C,SAASC,oBAAoB,QAAQ,YAAY;AAEjD,SAASC,OACPC,IAAY,EACZC,IAAY,EACZC,KAA4D;IAE5D,OAAO;QAAEC,SAAS;QAAU,GAAGR,QAAQK,MAAMC,MAAMC,MAAM;IAAC;AAC5D;AAEA,SAASE,aAAaC,QAAkB,EAAEL,IAAY;IACpD,IAAIN,YAAYM,OAAO,OAAO;IAC9B,MAAMM,MAAMD,SAASE,MAAM,CAACC,IAAI;IAChC,IAAIF,QAAQG,aAAaH,QAAQ,MAAM,OAAO;IAC9C,IAAI,OAAOA,QAAQ,YAAYA,QAAQ,IAAI,OAAO;IAClD,OAAOA;AACT;AAEA,SAASI,iBAAiBC,IAAe,EAAEC,KAAc;IACvD,IAAID,KAAKE,IAAI,KAAK,eAAe,OAAOD,UAAU,UAAU,OAAO;QAACA;KAAM;IAC1E,IAAID,KAAKE,IAAI,KAAK,UAAUF,KAAKG,EAAE,CAACD,IAAI,KAAK,eAAeE,MAAMC,OAAO,CAACJ,QAAQ;QAChF,OAAOA,MAAMK,MAAM,CAAC,CAACC,OAAyB,OAAOA,SAAS;IAChE;IACA,OAAO,EAAE;AACX;AAEA,SAASC,sBAAsBR,IAAe;IAC5C,IAAIA,KAAKE,IAAI,KAAK,aAAa,OAAOF,KAAKS,EAAE;IAC7C,IAAIT,KAAKE,IAAI,KAAK,UAAUF,KAAKG,EAAE,CAACD,IAAI,KAAK,aAAa,OAAOF,KAAKG,EAAE,CAACM,EAAE;IAC3E,OAAO;AACT;AAEA,SAASC,eAAeC,OAAe;IACrC,MAAMC,SAAShC,MAAM+B;IACrB,IAAI,CAACC,OAAOC,EAAE,EAAE,OAAOf;IACvB,OAAOc,OAAOlB,QAAQ,CAACG,IAAI,IAAI;AACjC;AAEA,OAAO,SAASiB,SACdC,OAAgB,EAChBC,UAA6B;IAAEC,eAAe,EAAE;AAAC,CAAC;IAElD,MAAMA,gBAAgB,IAAIC,IAAIF,QAAQC,aAAa;IACnD,MAAME,QAAQC,OAAOC,IAAI,CAACN,SAASO,IAAI;IACvC,MAAMC,YAAY,IAAIC;IACtB,KAAK,MAAMnC,QAAQ8B,MAAO;QACxB,IAAIF,cAAcQ,GAAG,CAACpC,OAAO,OAAOD,OAAOC,MAAM;QACjD,MAAMuB,SAAShC,MAAMmC,OAAO,CAAC1B,KAAK,EAAGA;QACrCkC,UAAUG,GAAG,CAACrC,MAAMuB;QACpB,IAAI,CAACA,OAAOC,EAAE,EAAE,OAAO;YAAErB,SAAS;YAAU,GAAGoB,OAAO5B,OAAO;QAAC;IAChE;IAEA,MAAM2C,cAAc,IAAIH;IACxB,KAAK,MAAMnC,QAAQ8B,MAAO;QACxB,IAAI,CAACpC,YAAYM,OAAO;QACxB,MAAMuB,SAASW,UAAUK,GAAG,CAACvC;QAC7B,IAAIuB,WAAWd,aAAa,CAACc,OAAOC,EAAE,EAAE;QACxC,MAAMgB,aAAalD,eAAeU,MAAMuB,OAAOlB,QAAQ;QACvD,IAAI,UAAUmC,YAAY,OAAO;YAAErC,SAAS;YAAU,GAAGqC,UAAU;QAAC;QACpE,MAAMC,WAAWH,YAAYC,GAAG,CAACC,WAAWE,IAAI;QAChD,IAAID,aAAahC,WACf,OAAOV,OAAOC,MAAM,wBAAwB;YAAE2C,UAAUH,WAAWE,IAAI;QAAC;QAC1EJ,YAAYD,GAAG,CAACG,WAAWE,IAAI,EAAEF;IACnC;IAEA,KAAK,MAAMxC,QAAQ8B,MAAO;QACxB,MAAMP,SAASW,UAAUK,GAAG,CAACvC;QAC7B,IAAIuB,WAAWd,aAAa,CAACc,OAAOC,EAAE,EAAE;QACxC,MAAMX,OAAOT,aAAamB,OAAOlB,QAAQ,EAAEL;QAC3C,IAAIa,SAAS,OAAO;QACpB,IAAIA,SAAS,aAAaA,SAAS,cAAc;YAC/C,IAAIA,SAAS,gBAAgBnB,YAAYM,OAAO;YAChD,OAAOD,OAAOC,MAAM,gBAAgB;gBAAE2C,UAAU;YAAO;QACzD;QACA,MAAMH,aAAaF,YAAYC,GAAG,CAAC1B;QACnC,IAAI2B,eAAe/B,WAAW,OAAOV,OAAOC,MAAM,gBAAgB;YAAE2C,UAAU;QAAO;QACrF,MAAMC,eAAe/C,eAAe2C,WAAWjC,MAAM,EAAEgB,OAAOlB,QAAQ,CAACE,MAAM;QAC7E,IAAIqC,iBAAiBnC,WAAW;YAC9B,OAAOV,OAAOC,MAAM4C,aAAa3C,IAAI,EAAE;gBAAE0C,UAAUC,aAAaC,KAAK;YAAC;QACxE;QACA,MAAMC,iBAAiB,IAAIjB,IAAIE,OAAOC,IAAI,CAACQ,WAAWjC,MAAM;QAC5D,MAAMwC,aAAahB,OAAOC,IAAI,CAACT,OAAOlB,QAAQ,CAACE,MAAM,EAAEyC,IAAI,CACzD,CAACN,OAAS,CAAC;gBAAC;gBAAQ;gBAAQ;aAAW,CAACO,QAAQ,CAACP,SAAS,CAACI,eAAeV,GAAG,CAACM;QAEhF,IAAIK,eAAetC,WAAW,OAAOV,OAAOC,MAAM,oBAAoB;YAAE2C,UAAUI;QAAW;QAC7F,KAAK,MAAM,CAACL,MAAM/B,KAAK,IAAIoB,OAAOmB,OAAO,CAACV,WAAWW,QAAQ,EAAG;YAC9D,MAAMC,OAAO7B,OAAOlB,QAAQ,CAAC8C,QAAQ,CAACT,KAAK;YAC3C,IAAIU,SAAS3C,WAAW;gBACtB,IAAIE,KAAK0C,QAAQ,EAAE,OAAOtD,OAAOC,MAAM,oBAAoB;oBAAE2C,UAAUD;gBAAK;gBAC5E;YACF;YACA,IAAI/B,KAAKE,IAAI,KAAK,UAAU,CAACjB,iBAAiBwD,OAAO;gBACnD,OAAOrD,OAAOC,MAAM,sBAAsB;oBAAE2C,UAAUD;gBAAK;YAC7D;QACF;IACF;IAEA,KAAK,MAAM1C,QAAQ8B,MAAO;QACxB,MAAMP,SAASW,UAAUK,GAAG,CAACvC;QAC7B,IAAIuB,WAAWd,aAAa,CAACc,OAAOC,EAAE,EAAE;QACxC,MAAMX,OAAOT,aAAamB,OAAOlB,QAAQ,EAAEL;QAC3C,IAAIa,SAAS,SAASA,SAAS,gBAAgBA,SAAS,WAAW;QACnE,MAAM2B,aAAaF,YAAYC,GAAG,CAAC1B;QACnC,IAAI2B,eAAe/B,WAAW;QAC9B,KAAK,MAAM,CAACiC,MAAM/B,KAAK,IAAIoB,OAAOmB,OAAO,CAACV,WAAWjC,MAAM,EAAG;YAC5D,MAAM+C,UAAU5C,iBAAiBC,MAAMY,OAAOlB,QAAQ,CAACE,MAAM,CAACmC,KAAK;YACnE,MAAMa,WAAWpC,sBAAsBR;YACvC,IAAI4C,aAAa,MAAM;YACvB,KAAK,MAAMC,UAAUF,QAAS;gBAC5B,MAAMG,WAAWhE,aAAaO,MAAMwD;gBACpC,IAAIC,SAAS5C,IAAI,KAAK,UAAUe,cAAcQ,GAAG,CAACqB,SAASC,IAAI,GAC7D,OAAO3D,OAAOC,MAAM,wBAAwB;oBAAE2C,UAAUD;gBAAK;gBAC/D,IAAI,CAACR,UAAUE,GAAG,CAACqB,SAASC,IAAI,GAAG;gBACnC,MAAMC,aAAatC,eAAeK,OAAO,CAAC+B,SAASC,IAAI,CAAC;gBACxD,IAAIC,eAAeJ,UACjB,OAAOxD,OAAOC,MAAM,wBAAwB;oBAAE2C,UAAUD;gBAAK;YACjE;QACF;QACA,MAAMU,OAAOtD,qBAAqB4B,OAAO,CAAC1B,KAAK;QAC/C,KAAK,MAAM4D,cAAcpE,gBAAgB4D,MAAO;YAC9C,MAAMK,WAAWhE,aAAaO,MAAM4D,WAAWC,IAAI;YACnD,IAAIJ,SAAS5C,IAAI,KAAK,QAAQ;YAC9B,IACE4C,SAAS5C,IAAI,KAAK,aACjB,CAACqB,UAAUE,GAAG,CAACqB,SAASC,IAAI,KAAK,CAAC9B,cAAcQ,GAAG,CAACqB,SAASC,IAAI,GAClE;gBACA,OAAO3D,OAAOC,MAAM;YACtB;QACF;IACF;IAEA,MAAM8D,UAAU,IAAI3B;IACpB,KAAK,MAAMnC,QAAQ8B,MAAO;QACxB,MAAMP,SAASW,UAAUK,GAAG,CAACvC;QAC7B,IAAIuB,WAAWd,aAAa,CAACc,OAAOC,EAAE,EAAE;QACxC,MAAMX,OAAOT,aAAamB,OAAOlB,QAAQ,EAAEL;QAC3C,IAAIa,SAAS,SAASA,SAAS,gBAAgBA,SAAS,WAAW;QACnE,MAAM2B,aAAaF,YAAYC,GAAG,CAAC1B;QACnC,IAAI2B,eAAe/B,WAAW;QAC9B,KAAK,MAAM,CAACiC,MAAM/B,KAAK,IAAIoB,OAAOmB,OAAO,CAACV,WAAWjC,MAAM,EAAG;YAC5D,MAAMgD,WAAWpC,sBAAsBR;YACvC,IAAI4C,aAAa,MAAM;YACvB,KAAK,MAAMC,UAAU9C,iBAAiBC,MAAMY,OAAOlB,QAAQ,CAACE,MAAM,CAACmC,KAAK,EAAG;gBACzE,MAAMe,WAAWhE,aAAaO,MAAMwD;gBACpC,IAAIC,SAAS5C,IAAI,KAAK,QAAQ;gBAC9B,IAAIqB,UAAUE,GAAG,CAACqB,SAASC,IAAI,GAAG;gBAClC,MAAMK,YAAYD,QAAQvB,GAAG,CAACkB,SAASC,IAAI,KAAK,EAAE;gBAClDK,UAAUC,IAAI,CAAChE;gBACf8D,QAAQzB,GAAG,CAACoB,SAASC,IAAI,EAAEK;YAC7B;QACF;IACF;IACA,MAAME,eAAe;WAAIH,QAAQ9B,IAAI;KAAG,CAACC,IAAI;IAC7C,IAAIgC,aAAaC,MAAM,GAAG,GAAG;QAC3B,MAAMR,OAAOO,YAAY,CAAC,EAAE;QAC5B,MAAMF,YAAY;eAAI,IAAIlC,IAAIiC,QAAQvB,GAAG,CAACmB,SAAS,EAAE;SAAE,CAACzB,IAAI;QAC5D,OAAOlC,OAAO2D,MAAM,2BAA2B;YAAEK;QAAU;IAC7D;IAEA,OAAO;QAAE5D,SAAS;IAAS;AAC7B"}

package/dist/version.d.ts

@@ -1,2 +1,2 @@
-export declare const VERSION = "0.1.0-alpha.12";
+export declare const VERSION = "0.1.0-alpha.13";
 //# sourceMappingURL=version.d.ts.map

package/dist/version.js

@@ -1,3 +1,3 @@
-export const VERSION = '0.1.0-alpha.12';
+export const VERSION = '0.1.0-alpha.13';
 
 //# sourceMappingURL=version.js.map

package/dist/version.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdmodel/src/version.ts"],"sourcesContent":["export const VERSION = '0.1.0-alpha.12';\n"],"names":["VERSION"],"mappings":"AAAA,OAAO,MAAMA,UAAU,iBAAiB"}
+{"version":3,"sources":["/workspace/packages/mdmodel/src/version.ts"],"sourcesContent":["export const VERSION = '0.1.0-alpha.13';\n"],"names":["VERSION"],"mappings":"AAAA,OAAO,MAAMA,UAAU,iBAAiB"}

package/fixtures/cases/submission-keys/context.json

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

package/fixtures/cases/submission-keys/expected.json

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

package/fixtures/cases/submission-keys/library/notes/visitor.md

@@ -0,0 +1,8 @@
+---
+type: note
+title: Visitor
+site: example
+received: 2026-09-26T12:00:00.000Z
+---
+
+Hello.

package/fixtures/cases/submission-keys/library/types/note.md

@@ -0,0 +1,5 @@
+---
+type: definition
+fields:
+  title: { kind: string, required: true }
+---

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agentshouse/mdmodel",
-  "version": "0.1.0-alpha.12",
+  "version": "0.1.0-alpha.13",
   "description": "MD Type language, parser, validator, structured change application, Markdown syntax profile, and conformance fixtures",
   "license": "MIT",
   "type": "module",