@agentshouse/mdruntime 0.1.0-alpha.2 → 0.1.0-alpha.21

package/dist/collection.js

@@ -1,6 +1,5 @@
 import { parse, validate, VERSION } from '@agentshouse/mdmodel';
-const MARKDOWN = '.md';
-const DEFINITION = 'definition';
+import { beneath, normalize } from './paths.js';
 export const MD_MODEL = {
     identity: '@agentshouse/mdmodel',
     version: VERSION
@@ -10,39 +9,112 @@ export const PRESENTED = {
         $regex: '\\.md$'
     }
 };
-function isMarkdown(path) {
-    return path.endsWith(MARKDOWN);
+function selected(composition, path) {
+    return composition.selection !== null && composition.selection.roots.some((root)=>beneath(root, path));
 }
-function declaredIn(document, part) {
-    return document.fields[part] ?? {};
+export function governing(composition, path) {
+    return composition.selection !== null && selected(composition, path) ? composition.selection.model : composition.model;
 }
-function mdType(path, document) {
-    return {
-        name: path.slice(path.lastIndexOf('/') + 1, -MARKDOWN.length),
-        path,
-        fields: declaredIn(document, 'fields'),
-        sections: declaredIn(document, 'sections')
-    };
+export function typesAt(composition, path) {
+    const model = governing(composition, path);
+    return model.status === 'unavailable' ? [] : model.types;
 }
-export function readCollection(text, binaryTargets) {
+export function parseCollection(text, composition, previous) {
     const documents = {};
     for (const path of Object.keys(text).sort()){
+        const retained = previous?.collection.documents[path];
+        if (retained !== undefined && previous?.text[path] === text[path]) {
+            documents[path] = retained;
+            continue;
+        }
         const parsed = parse(text[path], path);
-        if (!parsed.ok) return null;
-        documents[path] = parsed.document;
-    }
-    if (validate(text, {
-        binaryTargets
-    }).verdict === 'refuse') return null;
-    const types = [];
-    for (const [path, document] of Object.entries(documents)){
-        if (!isMarkdown(path) || document.type !== DEFINITION) continue;
-        types.push(mdType(path, document));
+        if (parsed.ok) documents[path] = parsed.document;
     }
     return {
         documents,
-        types
+        composition
+    };
+}
+export function readCollection(text, composition, previous) {
+    if (!validRoot(composition.collectionRoot)) return null;
+    const collection = parseCollection(text, composition, previous);
+    if (Object.keys(collection.documents).length !== Object.keys(text).length) return null;
+    if (Object.entries(collection.documents).some(([path, document])=>!member(path, composition.collectionRoot) && !selected(composition, path) && document.type !== undefined && document.type !== 'any')) return null;
+    return collection;
+}
+export function validRoot(root) {
+    return typeof root === 'string' && normalize(root) === root;
+}
+function member(path, root) {
+    return root === '' || path.startsWith(`${root}/`);
+}
+function validateAgainst(documents, binaryTargets, prefix, model, binding) {
+    if (model.status === 'unavailable' || binding === null) {
+        const typed = Object.entries(documents).find(([, content])=>{
+            const parsed = parse(content);
+            return parsed.ok && parsed.document.type !== undefined && parsed.document.type !== 'any';
+        });
+        if (typed !== undefined) return {
+            verdict: 'refuse',
+            rule: 'model-unavailable',
+            file: `${prefix}${typed[0]}`,
+            version: VERSION
+        };
+        return validate(documents, {
+            binaryTargets
+        });
+    }
+    const verdict = binding.validate({
+        model: model.snapshot,
+        documents,
+        binaryTargets
+    });
+    if (verdict.verdict === 'refuse' && verdict.source === 'model') return verdict;
+    if (verdict.verdict === 'accept') return verdict;
+    return {
+        ...verdict,
+        file: `${prefix}${verdict.file}`,
+        ...verdict.referrers === undefined ? {} : {
+            referrers: verdict.referrers.map((path)=>`${prefix}${path}`)
+        }
     };
 }
+export function validateCollection(text, binaryTargets, composition, binding) {
+    const prefix = composition.collectionRoot === '' ? '' : `${composition.collectionRoot}/`;
+    const collection = {};
+    const selection = {};
+    for (const [path, content] of Object.entries(text)){
+        if (member(path, composition.collectionRoot)) {
+            collection[path.slice(prefix.length)] = content;
+            continue;
+        }
+        if (selected(composition, path)) {
+            selection[path] = content;
+            continue;
+        }
+        const parsed = parse(content, path);
+        if (!parsed.ok) return {
+            verdict: 'refuse',
+            ...parsed.refusal
+        };
+        if (Object.hasOwn(parsed.document.fields, 'type') && parsed.document.fields.type !== 'any') {
+            return {
+                verdict: 'refuse',
+                rule: 'outside-collection-type',
+                file: path,
+                version: VERSION
+            };
+        }
+    }
+    const verdicts = [
+        validateAgainst(collection, binaryTargets.filter((path)=>member(path, composition.collectionRoot)).map((path)=>path.slice(prefix.length)), prefix, composition.model, binding)
+    ];
+    if (composition.selection !== null) {
+        verdicts.push(validateAgainst(selection, binaryTargets.filter((path)=>selected(composition, path)), '', composition.selection.model, binding));
+    }
+    const refusals = verdicts.filter((verdict)=>verdict.verdict === 'refuse');
+    if (refusals.length === 0) return verdicts[0];
+    return refusals.find((refusal)=>refusal.rule !== 'model-unavailable') ?? refusals[0];
+}
 
 //# sourceMappingURL=collection.js.map

package/dist/collection.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdruntime/src/collection.ts"],"sourcesContent":["import { parse, validate, VERSION, type Document } from '@agentshouse/mdmodel';\nimport type { Selector } from '@agentshouse/query';\nimport type { MdModelIdentity } from './adapter.js';\n\nconst MARKDOWN = '.md';\nconst DEFINITION = 'definition';\n\nexport const MD_MODEL: MdModelIdentity = { identity: '@agentshouse/mdmodel', version: VERSION };\n\nexport const PRESENTED: Selector = { path: { $regex: '\\\\.md$' } };\n\nexport type MdType = {\n  name: string;\n  path: string;\n  fields: Readonly<Record<string, unknown>>;\n  sections: Readonly<Record<string, unknown>>;\n};\n\nexport type Collection = {\n  documents: Readonly<Record<string, Document>>;\n  types: readonly MdType[];\n};\n\nfunction isMarkdown(path: string) {\n  return path.endsWith(MARKDOWN);\n}\n\nfunction declaredIn(document: Document, part: 'fields' | 'sections') {\n  return (document.fields[part] ?? {}) as Readonly<Record<string, unknown>>;\n}\n\nfunction mdType(path: string, document: Document): MdType {\n  return {\n    name: path.slice(path.lastIndexOf('/') + 1, -MARKDOWN.length),\n    path,\n    fields: declaredIn(document, 'fields'),\n    sections: declaredIn(document, 'sections'),\n  };\n}\n\nexport function readCollection(\n  text: Readonly<Record<string, string>>,\n  binaryTargets: readonly string[],\n): Collection | null {\n  const documents: Record<string, Document> = {};\n  for (const path of Object.keys(text).sort()) {\n    const parsed = parse(text[path], path);\n    if (!parsed.ok) return null;\n    documents[path] = parsed.document;\n  }\n  if (validate(text, { binaryTargets }).verdict === 'refuse') return null;\n  const types: MdType[] = [];\n  for (const [path, document] of Object.entries(documents)) {\n    if (!isMarkdown(path) || document.type !== DEFINITION) continue;\n    types.push(mdType(path, document));\n  }\n  return { documents, types };\n}\n"],"names":["parse","validate","VERSION","MARKDOWN","DEFINITION","MD_MODEL","identity","version","PRESENTED","path","$regex","isMarkdown","endsWith","declaredIn","document","part","fields","mdType","name","slice","lastIndexOf","length","sections","readCollection","text","binaryTargets","documents","Object","keys","sort","parsed","ok","verdict","types","entries","type","push"],"mappings":"AAAA,SAASA,KAAK,EAAEC,QAAQ,EAAEC,OAAO,QAAuB,uBAAuB;AAI/E,MAAMC,WAAW;AACjB,MAAMC,aAAa;AAEnB,OAAO,MAAMC,WAA4B;IAAEC,UAAU;IAAwBC,SAASL;AAAQ,EAAE;AAEhG,OAAO,MAAMM,YAAsB;IAAEC,MAAM;QAAEC,QAAQ;IAAS;AAAE,EAAE;AAclE,SAASC,WAAWF,IAAY;IAC9B,OAAOA,KAAKG,QAAQ,CAACT;AACvB;AAEA,SAASU,WAAWC,QAAkB,EAAEC,IAA2B;IACjE,OAAQD,SAASE,MAAM,CAACD,KAAK,IAAI,CAAC;AACpC;AAEA,SAASE,OAAOR,IAAY,EAAEK,QAAkB;IAC9C,OAAO;QACLI,MAAMT,KAAKU,KAAK,CAACV,KAAKW,WAAW,CAAC,OAAO,GAAG,CAACjB,SAASkB,MAAM;QAC5DZ;QACAO,QAAQH,WAAWC,UAAU;QAC7BQ,UAAUT,WAAWC,UAAU;IACjC;AACF;AAEA,OAAO,SAASS,eACdC,IAAsC,EACtCC,aAAgC;IAEhC,MAAMC,YAAsC,CAAC;IAC7C,KAAK,MAAMjB,QAAQkB,OAAOC,IAAI,CAACJ,MAAMK,IAAI,GAAI;QAC3C,MAAMC,SAAS9B,MAAMwB,IAAI,CAACf,KAAK,EAAEA;QACjC,IAAI,CAACqB,OAAOC,EAAE,EAAE,OAAO;QACvBL,SAAS,CAACjB,KAAK,GAAGqB,OAAOhB,QAAQ;IACnC;IACA,IAAIb,SAASuB,MAAM;QAAEC;IAAc,GAAGO,OAAO,KAAK,UAAU,OAAO;IACnE,MAAMC,QAAkB,EAAE;IAC1B,KAAK,MAAM,CAACxB,MAAMK,SAAS,IAAIa,OAAOO,OAAO,CAACR,WAAY;QACxD,IAAI,CAACf,WAAWF,SAASK,SAASqB,IAAI,KAAK/B,YAAY;QACvD6B,MAAMG,IAAI,CAACnB,OAAOR,MAAMK;IAC1B;IACA,OAAO;QAAEY;QAAWO;IAAM;AAC5B"}
+{"version":3,"sources":["/workspace/packages/mdruntime/src/collection.ts"],"sourcesContent":["import { parse, validate, VERSION, type Document, type Validation } from '@agentshouse/mdmodel';\nimport type { Selector } from '@agentshouse/query';\nimport { beneath, normalize } from './paths.js';\nimport type { AttachedModelBinding, ModelState } from './model.js';\nimport type { MdModelIdentity } from './adapter.js';\n\nexport const MD_MODEL: MdModelIdentity = { identity: '@agentshouse/mdmodel', version: VERSION };\n\nexport const PRESENTED: Selector = { path: { $regex: '\\\\.md$' } };\n\nexport type MdType = {\n  name: string;\n  path: string;\n  fields: Readonly<Record<string, unknown>>;\n  sections: Readonly<Record<string, unknown>>;\n};\n\nexport type Collection = {\n  documents: Readonly<Record<string, Document>>;\n  composition: Composition;\n};\n\nexport type Composition = {\n  collectionRoot: string;\n  model: ModelState;\n  selection: { roots: readonly string[]; model: ModelState } | null;\n};\n\nfunction selected(composition: Composition, path: string): boolean {\n  return (\n    composition.selection !== null &&\n    composition.selection.roots.some((root) => beneath(root, path))\n  );\n}\n\nexport function governing(composition: Composition, path: string): ModelState {\n  return composition.selection !== null && selected(composition, path)\n    ? composition.selection.model\n    : composition.model;\n}\n\nexport function typesAt(composition: Composition, path: string): readonly MdType[] {\n  const model = governing(composition, path);\n  return model.status === 'unavailable' ? [] : model.types;\n}\n\nexport function parseCollection(\n  text: Readonly<Record<string, string>>,\n  composition: Composition,\n  previous?: { text: Readonly<Record<string, string>>; collection: Collection },\n): Collection {\n  const documents: Record<string, Document> = {};\n  for (const path of Object.keys(text).sort()) {\n    const retained = previous?.collection.documents[path];\n    if (retained !== undefined && previous?.text[path] === text[path]) {\n      documents[path] = retained;\n      continue;\n    }\n    const parsed = parse(text[path], path);\n    if (parsed.ok) documents[path] = parsed.document;\n  }\n  return { documents, composition };\n}\n\nexport function readCollection(\n  text: Readonly<Record<string, string>>,\n  composition: Composition,\n  previous?: { text: Readonly<Record<string, string>>; collection: Collection },\n): Collection | null {\n  if (!validRoot(composition.collectionRoot)) return null;\n  const collection = parseCollection(text, composition, previous);\n  if (Object.keys(collection.documents).length !== Object.keys(text).length) return null;\n  if (\n    Object.entries(collection.documents).some(\n      ([path, document]) =>\n        !member(path, composition.collectionRoot) &&\n        !selected(composition, path) &&\n        document.type !== undefined &&\n        document.type !== 'any',\n    )\n  )\n    return null;\n  return collection;\n}\n\nexport function validRoot(root: unknown): root is string {\n  return typeof root === 'string' && normalize(root) === root;\n}\n\nfunction member(path: string, root: string): boolean {\n  return root === '' || path.startsWith(`${root}/`);\n}\n\ntype Refusal = Extract<Validation, { verdict: 'refuse' }> & { source?: 'content' | 'model' };\n\nfunction validateAgainst(\n  documents: Readonly<Record<string, string>>,\n  binaryTargets: readonly string[],\n  prefix: string,\n  model: ModelState,\n  binding: AttachedModelBinding | null,\n): Validation & { source?: 'content' | 'model' } {\n  if (model.status === 'unavailable' || binding === null) {\n    const typed = Object.entries(documents).find(([, content]) => {\n      const parsed = parse(content);\n      return parsed.ok && parsed.document.type !== undefined && parsed.document.type !== 'any';\n    });\n    if (typed !== undefined)\n      return {\n        verdict: 'refuse',\n        rule: 'model-unavailable',\n        file: `${prefix}${typed[0]}`,\n        version: VERSION,\n      };\n    return validate(documents, { binaryTargets });\n  }\n  const verdict = binding.validate({ model: model.snapshot, documents, binaryTargets });\n  if (verdict.verdict === 'refuse' && verdict.source === 'model') return verdict;\n  if (verdict.verdict === 'accept') return verdict;\n  return {\n    ...verdict,\n    file: `${prefix}${verdict.file}`,\n    ...(verdict.referrers === undefined\n      ? {}\n      : { referrers: verdict.referrers.map((path) => `${prefix}${path}`) }),\n  };\n}\n\nexport function validateCollection(\n  text: Readonly<Record<string, string>>,\n  binaryTargets: readonly string[],\n  composition: Composition,\n  binding: AttachedModelBinding | null,\n): Validation & { source?: 'content' | 'model' } {\n  const prefix = composition.collectionRoot === '' ? '' : `${composition.collectionRoot}/`;\n  const collection: Record<string, string> = {};\n  const selection: Record<string, string> = {};\n  for (const [path, content] of Object.entries(text)) {\n    if (member(path, composition.collectionRoot)) {\n      collection[path.slice(prefix.length)] = content;\n      continue;\n    }\n    if (selected(composition, path)) {\n      selection[path] = content;\n      continue;\n    }\n    const parsed = parse(content, path);\n    if (!parsed.ok) return { verdict: 'refuse', ...parsed.refusal };\n    if (Object.hasOwn(parsed.document.fields, 'type') && parsed.document.fields.type !== 'any') {\n      return { verdict: 'refuse', rule: 'outside-collection-type', file: path, version: VERSION };\n    }\n  }\n  const verdicts = [\n    validateAgainst(\n      collection,\n      binaryTargets\n        .filter((path) => member(path, composition.collectionRoot))\n        .map((path) => path.slice(prefix.length)),\n      prefix,\n      composition.model,\n      binding,\n    ),\n  ];\n  if (composition.selection !== null) {\n    verdicts.push(\n      validateAgainst(\n        selection,\n        binaryTargets.filter((path) => selected(composition, path)),\n        '',\n        composition.selection.model,\n        binding,\n      ),\n    );\n  }\n  const refusals = verdicts.filter((verdict): verdict is Refusal => verdict.verdict === 'refuse');\n  if (refusals.length === 0) return verdicts[0];\n  return refusals.find((refusal) => refusal.rule !== 'model-unavailable') ?? refusals[0];\n}\n"],"names":["parse","validate","VERSION","beneath","normalize","MD_MODEL","identity","version","PRESENTED","path","$regex","selected","composition","selection","roots","some","root","governing","model","typesAt","status","types","parseCollection","text","previous","documents","Object","keys","sort","retained","collection","undefined","parsed","ok","document","readCollection","validRoot","collectionRoot","length","entries","member","type","startsWith","validateAgainst","binaryTargets","prefix","binding","typed","find","content","verdict","rule","file","snapshot","source","referrers","map","validateCollection","slice","refusal","hasOwn","fields","verdicts","filter","push","refusals"],"mappings":"AAAA,SAASA,KAAK,EAAEC,QAAQ,EAAEC,OAAO,QAAwC,uBAAuB;AAEhG,SAASC,OAAO,EAAEC,SAAS,QAAQ,aAAa;AAIhD,OAAO,MAAMC,WAA4B;IAAEC,UAAU;IAAwBC,SAASL;AAAQ,EAAE;AAEhG,OAAO,MAAMM,YAAsB;IAAEC,MAAM;QAAEC,QAAQ;IAAS;AAAE,EAAE;AAoBlE,SAASC,SAASC,WAAwB,EAAEH,IAAY;IACtD,OACEG,YAAYC,SAAS,KAAK,QAC1BD,YAAYC,SAAS,CAACC,KAAK,CAACC,IAAI,CAAC,CAACC,OAASb,QAAQa,MAAMP;AAE7D;AAEA,OAAO,SAASQ,UAAUL,WAAwB,EAAEH,IAAY;IAC9D,OAAOG,YAAYC,SAAS,KAAK,QAAQF,SAASC,aAAaH,QAC3DG,YAAYC,SAAS,CAACK,KAAK,GAC3BN,YAAYM,KAAK;AACvB;AAEA,OAAO,SAASC,QAAQP,WAAwB,EAAEH,IAAY;IAC5D,MAAMS,QAAQD,UAAUL,aAAaH;IACrC,OAAOS,MAAME,MAAM,KAAK,gBAAgB,EAAE,GAAGF,MAAMG,KAAK;AAC1D;AAEA,OAAO,SAASC,gBACdC,IAAsC,EACtCX,WAAwB,EACxBY,QAA6E;IAE7E,MAAMC,YAAsC,CAAC;IAC7C,KAAK,MAAMhB,QAAQiB,OAAOC,IAAI,CAACJ,MAAMK,IAAI,GAAI;QAC3C,MAAMC,WAAWL,UAAUM,WAAWL,SAAS,CAAChB,KAAK;QACrD,IAAIoB,aAAaE,aAAaP,UAAUD,IAAI,CAACd,KAAK,KAAKc,IAAI,CAACd,KAAK,EAAE;YACjEgB,SAAS,CAAChB,KAAK,GAAGoB;YAClB;QACF;QACA,MAAMG,SAAShC,MAAMuB,IAAI,CAACd,KAAK,EAAEA;QACjC,IAAIuB,OAAOC,EAAE,EAAER,SAAS,CAAChB,KAAK,GAAGuB,OAAOE,QAAQ;IAClD;IACA,OAAO;QAAET;QAAWb;IAAY;AAClC;AAEA,OAAO,SAASuB,eACdZ,IAAsC,EACtCX,WAAwB,EACxBY,QAA6E;IAE7E,IAAI,CAACY,UAAUxB,YAAYyB,cAAc,GAAG,OAAO;IACnD,MAAMP,aAAaR,gBAAgBC,MAAMX,aAAaY;IACtD,IAAIE,OAAOC,IAAI,CAACG,WAAWL,SAAS,EAAEa,MAAM,KAAKZ,OAAOC,IAAI,CAACJ,MAAMe,MAAM,EAAE,OAAO;IAClF,IACEZ,OAAOa,OAAO,CAACT,WAAWL,SAAS,EAAEV,IAAI,CACvC,CAAC,CAACN,MAAMyB,SAAS,GACf,CAACM,OAAO/B,MAAMG,YAAYyB,cAAc,KACxC,CAAC1B,SAASC,aAAaH,SACvByB,SAASO,IAAI,KAAKV,aAClBG,SAASO,IAAI,KAAK,QAGtB,OAAO;IACT,OAAOX;AACT;AAEA,OAAO,SAASM,UAAUpB,IAAa;IACrC,OAAO,OAAOA,SAAS,YAAYZ,UAAUY,UAAUA;AACzD;AAEA,SAASwB,OAAO/B,IAAY,EAAEO,IAAY;IACxC,OAAOA,SAAS,MAAMP,KAAKiC,UAAU,CAAC,GAAG1B,KAAK,CAAC,CAAC;AAClD;AAIA,SAAS2B,gBACPlB,SAA2C,EAC3CmB,aAAgC,EAChCC,MAAc,EACd3B,KAAiB,EACjB4B,OAAoC;IAEpC,IAAI5B,MAAME,MAAM,KAAK,iBAAiB0B,YAAY,MAAM;QACtD,MAAMC,QAAQrB,OAAOa,OAAO,CAACd,WAAWuB,IAAI,CAAC,CAAC,GAAGC,QAAQ;YACvD,MAAMjB,SAAShC,MAAMiD;YACrB,OAAOjB,OAAOC,EAAE,IAAID,OAAOE,QAAQ,CAACO,IAAI,KAAKV,aAAaC,OAAOE,QAAQ,CAACO,IAAI,KAAK;QACrF;QACA,IAAIM,UAAUhB,WACZ,OAAO;YACLmB,SAAS;YACTC,MAAM;YACNC,MAAM,GAAGP,SAASE,KAAK,CAAC,EAAE,EAAE;YAC5BxC,SAASL;QACX;QACF,OAAOD,SAASwB,WAAW;YAAEmB;QAAc;IAC7C;IACA,MAAMM,UAAUJ,QAAQ7C,QAAQ,CAAC;QAAEiB,OAAOA,MAAMmC,QAAQ;QAAE5B;QAAWmB;IAAc;IACnF,IAAIM,QAAQA,OAAO,KAAK,YAAYA,QAAQI,MAAM,KAAK,SAAS,OAAOJ;IACvE,IAAIA,QAAQA,OAAO,KAAK,UAAU,OAAOA;IACzC,OAAO;QACL,GAAGA,OAAO;QACVE,MAAM,GAAGP,SAASK,QAAQE,IAAI,EAAE;QAChC,GAAIF,QAAQK,SAAS,KAAKxB,YACtB,CAAC,IACD;YAAEwB,WAAWL,QAAQK,SAAS,CAACC,GAAG,CAAC,CAAC/C,OAAS,GAAGoC,SAASpC,MAAM;QAAE,CAAC;IACxE;AACF;AAEA,OAAO,SAASgD,mBACdlC,IAAsC,EACtCqB,aAAgC,EAChChC,WAAwB,EACxBkC,OAAoC;IAEpC,MAAMD,SAASjC,YAAYyB,cAAc,KAAK,KAAK,KAAK,GAAGzB,YAAYyB,cAAc,CAAC,CAAC,CAAC;IACxF,MAAMP,aAAqC,CAAC;IAC5C,MAAMjB,YAAoC,CAAC;IAC3C,KAAK,MAAM,CAACJ,MAAMwC,QAAQ,IAAIvB,OAAOa,OAAO,CAAChB,MAAO;QAClD,IAAIiB,OAAO/B,MAAMG,YAAYyB,cAAc,GAAG;YAC5CP,UAAU,CAACrB,KAAKiD,KAAK,CAACb,OAAOP,MAAM,EAAE,GAAGW;YACxC;QACF;QACA,IAAItC,SAASC,aAAaH,OAAO;YAC/BI,SAAS,CAACJ,KAAK,GAAGwC;YAClB;QACF;QACA,MAAMjB,SAAShC,MAAMiD,SAASxC;QAC9B,IAAI,CAACuB,OAAOC,EAAE,EAAE,OAAO;YAAEiB,SAAS;YAAU,GAAGlB,OAAO2B,OAAO;QAAC;QAC9D,IAAIjC,OAAOkC,MAAM,CAAC5B,OAAOE,QAAQ,CAAC2B,MAAM,EAAE,WAAW7B,OAAOE,QAAQ,CAAC2B,MAAM,CAACpB,IAAI,KAAK,OAAO;YAC1F,OAAO;gBAAES,SAAS;gBAAUC,MAAM;gBAA2BC,MAAM3C;gBAAMF,SAASL;YAAQ;QAC5F;IACF;IACA,MAAM4D,WAAW;QACfnB,gBACEb,YACAc,cACGmB,MAAM,CAAC,CAACtD,OAAS+B,OAAO/B,MAAMG,YAAYyB,cAAc,GACxDmB,GAAG,CAAC,CAAC/C,OAASA,KAAKiD,KAAK,CAACb,OAAOP,MAAM,IACzCO,QACAjC,YAAYM,KAAK,EACjB4B;KAEH;IACD,IAAIlC,YAAYC,SAAS,KAAK,MAAM;QAClCiD,SAASE,IAAI,CACXrB,gBACE9B,WACA+B,cAAcmB,MAAM,CAAC,CAACtD,OAASE,SAASC,aAAaH,QACrD,IACAG,YAAYC,SAAS,CAACK,KAAK,EAC3B4B;IAGN;IACA,MAAMmB,WAAWH,SAASC,MAAM,CAAC,CAACb,UAAgCA,QAAQA,OAAO,KAAK;IACtF,IAAIe,SAAS3B,MAAM,KAAK,GAAG,OAAOwB,QAAQ,CAAC,EAAE;IAC7C,OAAOG,SAASjB,IAAI,CAAC,CAACW,UAAYA,QAAQR,IAAI,KAAK,wBAAwBc,QAAQ,CAAC,EAAE;AACxF"}

package/dist/connection.d.ts

@@ -1,34 +1,116 @@
+import { type QueryBinding } from './query.js';
+import { type AttachedModelBinding, type TypesResult } from './model.js';
 import { type QueryOptions, type QueryResult } from '@agentshouse/query';
-import { type Adapter, type Authorization } from './adapter.js';
-import { type MdType } from './collection.js';
+import { type Adapter, type Authorization, type HistoryResult, type ProviderRefusal } from './adapter.js';
+import { type ConversationSurface, type ConversationView } from './conversation.js';
+import type { Change, WrittenBy } from './change.js';
+import { type CallResult, type QueueEntry, type SubmissionOutcome } from './outcome.js';
+import { type SaveRefusal } from './save.js';
+import { type SyncStatus } from './status.js';
+import { type RuntimeShell } from './durability.js';
+export type AppTypedSelection = {
+    roots: readonly string[];
+    attachedModel: import('./model.js').ModelIdentity | null;
+    model: TypesResult;
+};
 export type AppRoom = {
+    collectionRoot: string;
     name: string;
     locator: string;
-    writeGrants: readonly string[];
+    operations: import('./adapter.js').OperationScopes;
+    replica: import('./adapter.js').ReplicaAdmission;
+    attachedModel: import('./model.js').ModelIdentity | null;
+    model: TypesResult;
+    typedSelection: AppTypedSelection | null;
     providerOwnedPaths: readonly string[];
     roomVersion: string | null;
     synchronizationAvailable: boolean;
+    refusal: ProviderRefusal | null;
+};
+export type AppSlotEntry = {
+    room: AppRoom;
+    segment: string | null;
+};
+export type AppSlot = {
+    slot: string;
+    entries: readonly AppSlotEntry[];
 };
-export type ConnectionRefusalReason = 'no-matching-version' | 'missing-required-guarantee' | 'md-model-version-mismatch' | 'revoked-authorization';
+export type RoomTypes = {
+    collection: TypesResult;
+    typedSelection: TypesResult | null;
+};
+export type ConnectionRefusalReason = 'no-matching-version' | 'missing-required-guarantee' | 'md-model-version-mismatch' | 'revoked-authorization' | 'client-host-protocol-mismatch';
 export type ConnectionRefusal = {
     reason: ConnectionRefusalReason;
     reauthorizationOffered: boolean;
+    refusal: ProviderRefusal | null;
 };
 export type MdRuntimeOptions = {
     adapter: Adapter;
+    shell: RuntimeShell;
+    modelBinding: AttachedModelBinding | null;
+    queryBinding: QueryBinding | null;
     requiredGuarantees: readonly string[];
     authorization?: Authorization;
     discoveryIntervalMs?: number;
     signal?: AbortSignal;
 };
+export type SaveResult = {
+    outcome: 'saved';
+    id: string;
+} | ({
+    outcome: 'refused';
+} & SaveRefusal);
+export type DraftEntry = {
+    readonly locator: string;
+    readonly path: string;
+    readonly content: unknown;
+};
+export type DraftSurface = {
+    list(): Promise<readonly DraftEntry[]>;
+    read(locator: string, path: string): unknown;
+    replace(locator: string, path: string, content: unknown): Promise<void>;
+    discard(locator: string, path: string): Promise<void>;
+};
+export type QueueSurface = {
+    discard(locator: string, identifier: string): Promise<void>;
+};
+export type PresentationSurface = {
+    read(app: string): Promise<unknown>;
+    write(app: string, value: unknown): Promise<void>;
+};
+export type HistoryQuery = {
+    revision?: string;
+    pageToken?: string;
+};
 export type MdRuntime = {
+    loaded(): Promise<void>;
     rooms(): readonly AppRoom[];
+    slots(): readonly AppSlot[];
     query(options?: QueryOptions): QueryResult;
-    types(locator: string): readonly MdType[];
+    types(locator: string): RoomTypes;
+    syncStatus(): SyncStatus;
+    draft: DraftSurface;
+    conversation: ConversationSurface;
+    presentation: PresentationSurface;
+    save(locator: string, changes: readonly Change[], replacing?: string, writtenBy?: WrittenBy): Promise<SaveResult>;
+    outcome(identifier: string): SubmissionOutcome | null;
+    queue: QueueSurface;
+    history(locator: string, path: string, query?: HistoryQuery): Promise<HistoryResult>;
+    call(name: string, input: unknown): Promise<CallResult>;
+    log(): string;
+    storageLoss(): string | null;
+    persistence(): boolean;
     observe: {
         (topic: 'rooms', listener: (rooms: readonly AppRoom[]) => void): () => void;
         (topic: 'connection-refusal', listener: (refusal: ConnectionRefusal | null) => void): () => void;
+        (topic: 'storage-loss', listener: (statement: string | null) => void): () => void;
+        (topic: 'sync-status', listener: (status: SyncStatus) => void): () => void;
         (topic: 'query', query: QueryOptions, listener: (result: QueryResult) => void): () => void;
+        (topic: 'queue', locator: string, listener: (entries: readonly QueueEntry[]) => void): () => void;
+        (topic: 'drafts', listener: (drafts: readonly DraftEntry[]) => void): () => void;
+        (topic: 'presentation', app: string, listener: (value: unknown) => void): () => void;
+        (topic: 'conversation', conversation: string, listener: (view: ConversationView) => void): () => void;
     };
     reauthorize(): Promise<void>;
 };

package/dist/connection.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"connection.d.ts","sourceRoot":"","sources":["../src/connection.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,WAAW,EAEjB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAGL,KAAK,OAAO,EACZ,KAAK,aAAa,EAEnB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAuB,KAAK,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAOnE,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,wBAAwB,EAAE,OAAO,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAC/B,qBAAqB,GACrB,4BAA4B,GAC5B,2BAA2B,GAC3B,uBAAuB,CAAC;AAE5B,MAAM,MAAM,iBAAiB,GAAG;IAC9B,MAAM,EAAE,uBAAuB,CAAC;IAChC,sBAAsB,EAAE,OAAO,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,KAAK,IAAI,SAAS,OAAO,EAAE,CAAC;IAC5B,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,WAAW,CAAC;IAC3C,KAAK,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IAC1C,OAAO,EAAE;QACP,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;QAC5E,CACE,KAAK,EAAE,oBAAoB,EAC3B,QAAQ,EAAE,CAAC,OAAO,EAAE,iBAAiB,GAAG,IAAI,KAAK,IAAI,GACpD,MAAM,IAAI,CAAC;QACd,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;KAC5F,CAAC;IACF,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC9B,CAAC;AAOF,wBAAgB,eAAe,CAAC,OAAO,EAAE,gBAAgB,GAAG,SAAS,CAyRpE"}
+{"version":3,"file":"connection.d.ts","sourceRoot":"","sources":["../src/connection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,KAAK,YAAY,EAAmB,MAAM,YAAY,CAAC;AAC1E,OAAO,EAKL,KAAK,oBAAoB,EAEzB,KAAK,WAAW,EACjB,MAAM,YAAY,CAAC;AACpB,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,WAAW,EAEjB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAIL,KAAK,OAAO,EAEZ,KAAK,aAAa,EAIlB,KAAK,aAAa,EAKlB,KAAK,eAAe,EAErB,MAAM,cAAc,CAAC;AAGtB,OAAO,EAGL,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,EACtB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,MAAM,EAAe,SAAS,EAAE,MAAM,aAAa,CAAC;AAGlE,OAAO,EAKL,KAAK,UAAU,EACf,KAAK,UAAU,EAEf,KAAK,iBAAiB,EACvB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAA8B,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AASzE,OAAO,EAQL,KAAK,UAAU,EAChB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAqC,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AA4CvF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,OAAO,YAAY,EAAE,aAAa,GAAG,IAAI,CAAC;IACzD,KAAK,EAAE,WAAW,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,OAAO,cAAc,EAAE,eAAe,CAAC;IACnD,OAAO,EAAE,OAAO,cAAc,EAAE,gBAAgB,CAAC;IACjD,aAAa,EAAE,OAAO,YAAY,EAAE,aAAa,GAAG,IAAI,CAAC;IACzD,KAAK,EAAE,WAAW,CAAC;IACnB,cAAc,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACzC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,wBAAwB,EAAE,OAAO,CAAC;IAClC,OAAO,EAAE,eAAe,GAAG,IAAI,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,UAAU,EAAE,WAAW,CAAC;IACxB,cAAc,EAAE,WAAW,GAAG,IAAI,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAC/B,qBAAqB,GACrB,4BAA4B,GAC5B,2BAA2B,GAC3B,uBAAuB,GACvB,+BAA+B,CAAC;AAEpC,MAAM,MAAM,iBAAiB,GAAG;IAC9B,MAAM,EAAE,uBAAuB,CAAC;IAChC,sBAAsB,EAAE,OAAO,CAAC;IAChC,OAAO,EAAE,eAAe,GAAG,IAAI,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,YAAY,CAAC;IACpB,YAAY,EAAE,oBAAoB,GAAG,IAAI,CAAC;IAC1C,YAAY,EAAE,YAAY,GAAG,IAAI,CAAC;IAClC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAAG,CAAC;IAAE,OAAO,EAAE,SAAS,CAAA;CAAE,GAAG,WAAW,CAAC,CAAC;AAEnG,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,IAAI,OAAO,CAAC,SAAS,UAAU,EAAE,CAAC,CAAC;IACvC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC7C,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxE,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACvD,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC7D,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACpC,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACnD,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACxB,KAAK,IAAI,SAAS,OAAO,EAAE,CAAC;IAC5B,KAAK,IAAI,SAAS,OAAO,EAAE,CAAC;IAC5B,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,WAAW,CAAC;IAC3C,KAAK,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,UAAU,IAAI,UAAU,CAAC;IACzB,KAAK,EAAE,YAAY,CAAC;IACpB,YAAY,EAAE,mBAAmB,CAAC;IAClC,YAAY,EAAE,mBAAmB,CAAC;IAClC,IAAI,CACF,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,SAAS,CAAC,EAAE,MAAM,EAClB,SAAS,CAAC,EAAE,SAAS,GACpB,OAAO,CAAC,UAAU,CAAC,CAAC;IACvB,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CAAC;IACtD,KAAK,EAAE,YAAY,CAAC;IACpB,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IACrF,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACxD,GAAG,IAAI,MAAM,CAAC;IACd,WAAW,IAAI,MAAM,GAAG,IAAI,CAAC;IAC7B,WAAW,IAAI,OAAO,CAAC;IACvB,OAAO,EAAE;QACP,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;QAC5E,CACE,KAAK,EAAE,oBAAoB,EAC3B,QAAQ,EAAE,CAAC,OAAO,EAAE,iBAAiB,GAAG,IAAI,KAAK,IAAI,GACpD,MAAM,IAAI,CAAC;QACd,CAAC,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;QAClF,CAAC,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;QAC3E,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;QAC3F,CACE,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,KAAK,IAAI,GACjD,MAAM,IAAI,CAAC;QACd,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;QACjF,CAAC,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;QACrF,CACE,KAAK,EAAE,cAAc,EACrB,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,CAAC,IAAI,EAAE,gBAAgB,KAAK,IAAI,GACzC,MAAM,IAAI,CAAC;KACf,CAAC;IACF,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC9B,CAAC;AAyBF,wBAAgB,eAAe,CAAC,OAAO,EAAE,gBAAgB,GAAG,SAAS,CAq5DpE"}