@sentropic/focus 0.5.0-rc.3 → 0.5.0-rc.7
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/editing/anchors.d.ts +14 -0
- package/dist/editing/anchors.d.ts.map +1 -0
- package/dist/editing/anchors.js +113 -0
- package/dist/editing/anchors.js.map +1 -0
- package/dist/editing/codec.d.ts +24 -0
- package/dist/editing/codec.d.ts.map +1 -0
- package/dist/editing/codec.js +143 -0
- package/dist/editing/codec.js.map +1 -0
- package/dist/editing/contract.d.ts +129 -0
- package/dist/editing/contract.d.ts.map +1 -0
- package/dist/editing/contract.js +76 -0
- package/dist/editing/contract.js.map +1 -0
- package/dist/editing/diff.d.ts +12 -0
- package/dist/editing/diff.d.ts.map +1 -0
- package/dist/editing/diff.js +125 -0
- package/dist/editing/diff.js.map +1 -0
- package/dist/editing/digest.d.ts +6 -0
- package/dist/editing/digest.d.ts.map +1 -0
- package/dist/editing/digest.js +56 -0
- package/dist/editing/digest.js.map +1 -0
- package/dist/editing/index.d.ts +7 -0
- package/dist/editing/index.d.ts.map +1 -0
- package/dist/editing/index.js +7 -0
- package/dist/editing/index.js.map +1 -0
- package/dist/editing/reconcile.d.ts +66 -0
- package/dist/editing/reconcile.d.ts.map +1 -0
- package/dist/editing/reconcile.js +167 -0
- package/dist/editing/reconcile.js.map +1 -0
- package/dist/editing/structure.d.ts +24 -0
- package/dist/editing/structure.d.ts.map +1 -0
- package/dist/editing/structure.js +71 -0
- package/dist/editing/structure.js.map +1 -0
- package/dist/index.d.ts +4 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +2 -0
- package/dist/index.js.map +1 -1
- package/dist/model.d.ts +71 -1
- package/dist/model.d.ts.map +1 -1
- package/dist/model.js +1 -1
- package/dist/model.js.map +1 -1
- package/dist/registry/definitions.d.ts +1 -1
- package/dist/registry/definitions.d.ts.map +1 -1
- package/dist/registry/definitions.js +40 -32
- package/dist/registry/definitions.js.map +1 -1
- package/dist/render/evidence.d.ts +10 -0
- package/dist/render/evidence.d.ts.map +1 -0
- package/dist/render/evidence.js +37 -0
- package/dist/render/evidence.js.map +1 -0
- package/dist/render/html.d.ts.map +1 -1
- package/dist/render/html.js +2 -0
- package/dist/render/html.js.map +1 -1
- package/dist/render/md.d.ts.map +1 -1
- package/dist/render/md.js +3 -0
- package/dist/render/md.js.map +1 -1
- package/dist/render/terminal.d.ts.map +1 -1
- package/dist/render/terminal.js +3 -0
- package/dist/render/terminal.js.map +1 -1
- package/dist/validation/evidence-bytes.d.ts +5 -0
- package/dist/validation/evidence-bytes.d.ts.map +1 -0
- package/dist/validation/evidence-bytes.js +57 -0
- package/dist/validation/evidence-bytes.js.map +1 -0
- package/dist/validation/evidence-shape.d.ts +12 -0
- package/dist/validation/evidence-shape.d.ts.map +1 -0
- package/dist/validation/evidence-shape.js +54 -0
- package/dist/validation/evidence-shape.js.map +1 -0
- package/dist/validation/evidence-sources.d.ts +7 -0
- package/dist/validation/evidence-sources.d.ts.map +1 -0
- package/dist/validation/evidence-sources.js +56 -0
- package/dist/validation/evidence-sources.js.map +1 -0
- package/dist/validation/evidence.d.ts +5 -0
- package/dist/validation/evidence.d.ts.map +1 -0
- package/dist/validation/evidence.js +131 -0
- package/dist/validation/evidence.js.map +1 -0
- package/dist/validation/index.d.ts +1 -1
- package/dist/validation/index.d.ts.map +1 -1
- package/dist/validation/index.js +11 -1
- package/dist/validation/index.js.map +1 -1
- package/dist/validation/readability.d.ts.map +1 -1
- package/dist/validation/readability.js +21 -0
- package/dist/validation/readability.js.map +1 -1
- package/package.json +14 -3
- package/registry/entries.v1.json +17 -4
- package/schemas/decision-dossier-document.v2.schema.json +925 -0
- package/schemas/focus-edit-return.v1.schema.json +950 -0
- package/schemas/focus-editing-manifest.v1.schema.json +167 -0
- package/skills/focus/SKILL.md +50 -1
|
@@ -0,0 +1,125 @@
|
|
|
1
|
+
import { fieldKey, readParagraphs, sealManifest, sourceNode } from './anchors.js';
|
|
2
|
+
import { baseDigest, canonicalJson } from './digest.js';
|
|
3
|
+
import { assertParagraphText } from './codec.js';
|
|
4
|
+
export const paragraphAnchors = (values, index) => ({ parentId: null, previousParagraphId: values[index - 1]?.paragraphId ?? null, nextParagraphId: values[index + 1]?.paragraphId ?? null });
|
|
5
|
+
export function diffParagraphs(baseline, draft, transactionId) {
|
|
6
|
+
for (const list of [baseline, draft])
|
|
7
|
+
if (new Set(list.map(p => p.paragraphId)).size !== list.length)
|
|
8
|
+
throw new Error('duplicate-paragraph-id');
|
|
9
|
+
const changes = [];
|
|
10
|
+
const emit = (p, operation, before, after, beforeAnchors, anchors) => {
|
|
11
|
+
const { text: _text, ...address } = p;
|
|
12
|
+
changes.push({ ...address, operation, before, after, beforeAnchors, anchors, changeId: `${transactionId}:${changes.length + 1}` });
|
|
13
|
+
};
|
|
14
|
+
const keys = [...new Set([...baseline, ...draft].map(fieldKey))];
|
|
15
|
+
for (const key of keys) {
|
|
16
|
+
const work = baseline.filter(p => fieldKey(p) === key).map(p => ({ ...p })), desired = draft.filter(p => fieldKey(p) === key);
|
|
17
|
+
for (let i = work.length - 1; i >= 0; i--)
|
|
18
|
+
if (!desired.some(p => p.paragraphId === work[i].paragraphId)) {
|
|
19
|
+
const anchors = paragraphAnchors(work, i);
|
|
20
|
+
emit(work[i], 'delete', work[i].text, null, anchors, anchors);
|
|
21
|
+
work.splice(i, 1);
|
|
22
|
+
}
|
|
23
|
+
for (const p of desired) {
|
|
24
|
+
const index = work.findIndex(w => w.paragraphId === p.paragraphId);
|
|
25
|
+
if (index >= 0 && work[index].text !== p.text) {
|
|
26
|
+
const anchors = paragraphAnchors(work, index);
|
|
27
|
+
emit(p, 'replace', work[index].text, p.text, anchors, anchors);
|
|
28
|
+
work[index].text = p.text;
|
|
29
|
+
}
|
|
30
|
+
}
|
|
31
|
+
desired.forEach((p, index) => {
|
|
32
|
+
const at = work.findIndex(w => w.paragraphId === p.paragraphId);
|
|
33
|
+
if (at === index)
|
|
34
|
+
return;
|
|
35
|
+
const before = at < 0 ? null : paragraphAnchors(work, at);
|
|
36
|
+
if (at >= 0)
|
|
37
|
+
work.splice(at, 1);
|
|
38
|
+
const anchors = { parentId: null, previousParagraphId: work[index - 1]?.paragraphId ?? null, nextParagraphId: work[index]?.paragraphId ?? null };
|
|
39
|
+
emit(p, at < 0 ? 'insert' : 'move', at < 0 ? null : p.text, p.text, before, anchors);
|
|
40
|
+
work.splice(index, 0, p);
|
|
41
|
+
});
|
|
42
|
+
}
|
|
43
|
+
return { transactionId, changes };
|
|
44
|
+
}
|
|
45
|
+
/** Applies one atomic batch to source tokens. Opaque gaps are never reserialized.
|
|
46
|
+
* A retired identity is restored only when explicitly listed in `restoreIds`:
|
|
47
|
+
* reviving any other retired identity silently reassigns it (D13). */
|
|
48
|
+
export function applyParagraphChanges(document, manifest, transactions, restoreIds = null) {
|
|
49
|
+
const values = readParagraphs(document, manifest), changes = transactions.flatMap(t => t.changes);
|
|
50
|
+
if (!changes.length)
|
|
51
|
+
return { document: structuredClone(document), manifest: structuredClone(manifest) };
|
|
52
|
+
const next = structuredClone(document), paragraphs = [], retired = new Set(manifest.retiredParagraphIds);
|
|
53
|
+
for (const f of manifest.fields) {
|
|
54
|
+
const key = fieldKey(f), source = sourceNode(document, f)[f.field];
|
|
55
|
+
const ps = manifest.paragraphs.filter(p => fieldKey(p) === key).sort((a, b) => a.range.start - b.range.start);
|
|
56
|
+
const tokens = [];
|
|
57
|
+
let offset = 0;
|
|
58
|
+
for (const p of ps) {
|
|
59
|
+
tokens.push({ text: source.slice(offset, p.range.start) }, { text: source.slice(p.range.start, p.range.end), value: values.find(v => v.paragraphId === p.paragraphId) });
|
|
60
|
+
offset = p.range.end;
|
|
61
|
+
}
|
|
62
|
+
tokens.push({ text: source.slice(offset) });
|
|
63
|
+
const active = () => tokens.filter(t => t.value).map(t => t.value);
|
|
64
|
+
for (const c of changes.filter(c => fieldKey(c) === key)) {
|
|
65
|
+
if (c.documentRef !== document.ref || c.format !== f.contentFormat)
|
|
66
|
+
throw new Error('address');
|
|
67
|
+
let tokenIndex = tokens.findIndex(t => t.value?.paragraphId === c.paragraphId);
|
|
68
|
+
const list = active(), index = list.findIndex(p => p.paragraphId === c.paragraphId);
|
|
69
|
+
if (c.operation === 'insert') {
|
|
70
|
+
if (values.some(p => p.paragraphId === c.paragraphId) || (retired.has(c.paragraphId) && !restoreIds?.has(c.paragraphId)) || tokenIndex >= 0 || c.before !== null || c.after === null)
|
|
71
|
+
throw new Error('reused-paragraph-id');
|
|
72
|
+
}
|
|
73
|
+
else {
|
|
74
|
+
if (index < 0 || list[index].text !== c.before)
|
|
75
|
+
throw new Error('paragraph-precondition');
|
|
76
|
+
if (canonicalJson(paragraphAnchors(list, index)) !== canonicalJson(c.beforeAnchors))
|
|
77
|
+
throw new Error('structural-precondition');
|
|
78
|
+
// Topology-preserving operations carry the same anchors out as in: a
|
|
79
|
+
// forged output topology would otherwise apply cleanly and break its
|
|
80
|
+
// own revocation with a structural-precondition failure.
|
|
81
|
+
if ((c.operation === 'replace' || c.operation === 'delete') && canonicalJson(c.anchors) !== canonicalJson(c.beforeAnchors))
|
|
82
|
+
throw new Error('structural-precondition');
|
|
83
|
+
}
|
|
84
|
+
if (c.after !== null)
|
|
85
|
+
assertParagraphText(c.after, c.format);
|
|
86
|
+
if (c.operation === 'replace') {
|
|
87
|
+
if (c.after === null)
|
|
88
|
+
throw new Error('replace-value');
|
|
89
|
+
tokens[tokenIndex] = { text: c.after, value: { ...list[index], text: c.after } };
|
|
90
|
+
continue;
|
|
91
|
+
}
|
|
92
|
+
if (c.operation === 'delete') {
|
|
93
|
+
if (c.after !== null)
|
|
94
|
+
throw new Error('delete-value');
|
|
95
|
+
tokens.splice(tokenIndex, 1);
|
|
96
|
+
retired.add(c.paragraphId);
|
|
97
|
+
continue;
|
|
98
|
+
}
|
|
99
|
+
if (c.operation === 'move') {
|
|
100
|
+
if (c.after !== c.before)
|
|
101
|
+
throw new Error('move-content');
|
|
102
|
+
tokens.splice(tokenIndex, 1);
|
|
103
|
+
}
|
|
104
|
+
const now = active(), previous = c.anchors.previousParagraphId, following = c.anchors.nextParagraphId;
|
|
105
|
+
const position = previous === null ? 0 : now.findIndex(p => p.paragraphId === previous) + 1;
|
|
106
|
+
if ((previous !== null && position === 0) || (now[position]?.paragraphId ?? null) !== following || c.anchors.parentId !== null)
|
|
107
|
+
throw new Error('ambiguous-placement');
|
|
108
|
+
tokenIndex = previous === null ? (following === null ? tokens.length : tokens.findIndex(t => t.value?.paragraphId === following)) : tokens.findIndex(t => t.value?.paragraphId === previous) + 1;
|
|
109
|
+
const value = { documentRef: document.ref, nodeId: c.nodeId, targetRef: c.targetRef, field: c.field, paragraphId: c.paragraphId, blockKind: 'paragraph', format: c.format, text: c.after };
|
|
110
|
+
tokens.splice(tokenIndex, 0, ...(previous === null ? [] : [{ text: '\n\n' }]), { text: c.after, value }, ...(previous === null && following !== null ? [{ text: '\n\n' }] : []));
|
|
111
|
+
retired.delete(c.paragraphId);
|
|
112
|
+
}
|
|
113
|
+
let text = '', order = 0;
|
|
114
|
+
for (const token of tokens) {
|
|
115
|
+
if (token.value)
|
|
116
|
+
paragraphs.push({ nodeId: f.nodeId, targetRef: f.targetRef, field: f.field, paragraphId: token.value.paragraphId, blockKind: 'paragraph', parentId: null, order: order++, range: { start: text.length, end: text.length + token.text.length, unit: 'utf16' } });
|
|
117
|
+
text += token.text;
|
|
118
|
+
}
|
|
119
|
+
sourceNode(next, f)[f.field] = text;
|
|
120
|
+
}
|
|
121
|
+
if (changes.some(c => !manifest.fields.some(f => fieldKey(f) === fieldKey(c))))
|
|
122
|
+
throw new Error('unsupported-field');
|
|
123
|
+
return { document: next, manifest: sealManifest({ schemaVersion: 1, manifestId: manifest.manifestId, documentRef: manifest.documentRef, baseHash: baseDigest(next), fields: structuredClone(manifest.fields), paragraphs, retiredParagraphIds: [...retired] }) };
|
|
124
|
+
}
|
|
125
|
+
//# sourceMappingURL=diff.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../src/editing/diff.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEjD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAwB,EAAE,KAAa,EAAW,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,WAAW,IAAI,IAAI,EAAE,eAAe,EAAE,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,WAAW,IAAI,IAAI,EAAE,CAAC,CAAC;AACjO,MAAM,UAAU,cAAc,CAAC,QAA0B,EAAE,KAAuB,EAAE,aAAqB;IACvG,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC;QAAE,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAChJ,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,CAAC,CAAiB,EAAE,SAAuC,EAAE,MAAqB,EAAE,KAAoB,EAAE,aAA6B,EAAE,OAAgB,EAAE,EAAE;QACxK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,GAAG,CAAC,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,aAAa,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACrI,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACjE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QAC9H,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;YAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;gBACzG,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9H,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;YACnE,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAAC,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;YAAC,CAAC;QAC9L,CAAC;QACD,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;YAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;YAChE,IAAI,EAAE,KAAK,KAAK;gBAAE,OAAO;YACzB,MAAM,MAAM,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC1D,IAAI,EAAE,IAAI,CAAC;gBAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YAChC,MAAM,OAAO,GAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,WAAW,IAAI,IAAI,EAAE,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,WAAW,IAAI,IAAI,EAAE,CAAC;YAC1J,IAAI,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACjH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC;AACpC,CAAC;AAED;;sEAEsE;AACtE,MAAM,UAAU,qBAAqB,CAAC,QAAiC,EAAE,QAA8B,EAAE,YAA+B,EAAE,aAAyC,IAAI;IACrL,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAClG,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,EAAE,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;IACzG,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,EAAE,UAAU,GAAgB,EAAE,EAAE,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IAEtH,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAW,CAAC;QAC7E,MAAM,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9G,MAAM,MAAM,GAAY,EAAE,CAAC;QAAC,IAAI,MAAM,GAAG,CAAC,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAE,EAAE,CAAC,CAAC;YAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAAC,CAAC;QACxN,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAM,CAAC,CAAC;QACpE,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,aAAa;gBAAE,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;YAC/F,IAAI,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;YAC/E,MAAM,IAAI,GAAG,MAAM,EAAE,EAAE,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;YACpF,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;gBAC7B,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;YAC/N,CAAC;iBAAM,CAAC;gBACN,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM;oBAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;gBAC1F,IAAI,aAAa,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;gBAChI,qEAAqE;gBACrE,qEAAqE;gBACrE,yDAAyD;gBACzD,IAAI,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;YACzK,CAAC;YACD,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;gBAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YAC7D,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBAAC,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,eAAe,CAAC,CAAC;gBAAC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YACtL,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;gBAAC,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;gBAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;gBAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC5J,IAAI,CAAC,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;gBAAC,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,MAAM;oBAAE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;gBAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAAC,CAAC;YACxH,MAAM,GAAG,GAAG,MAAM,EAAE,EAAE,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,mBAAmB,EAAE,SAAS,GAAG,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;YACtG,MAAM,QAAQ,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC5F,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,WAAW,IAAI,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACvK,UAAU,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,WAAW,KAAK,QAAQ,CAAC,GAAG,CAAC,CAAC;YACjM,MAAM,KAAK,GAAmB,EAAE,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,KAAM,EAAE,CAAC;YAC5M,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,KAAM,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,QAAQ,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACnN,CAAC;QACD,IAAI,IAAI,GAAG,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,KAAK;gBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;YACjR,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC;QACrB,CAAC;QACD,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;IACtC,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACrH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,mBAAmB,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;AACnQ,CAAC"}
|
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
/** RFC 8785 JSON values: UTF-16 key order, ECMAScript numbers, no coercion. */
|
|
2
|
+
export declare function canonicalJson(value: unknown): string;
|
|
3
|
+
export declare const baseDigest: (value: unknown) => string;
|
|
4
|
+
export declare function manifestDigest(value: object): string;
|
|
5
|
+
export declare function returnDigest(value: object): string;
|
|
6
|
+
//# sourceMappingURL=digest.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"digest.d.ts","sourceRoot":"","sources":["../../src/editing/digest.ts"],"names":[],"mappings":"AAGA,+EAA+E;AAC/E,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CA4BpD;AACD,eAAO,MAAM,UAAU,GAAI,OAAO,OAAO,KAAG,MAAwF,CAAC;AACrI,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGpD;AACD,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGlD"}
|
|
@@ -0,0 +1,56 @@
|
|
|
1
|
+
import { sha256 } from '@noble/hashes/sha2.js';
|
|
2
|
+
import { bytesToHex } from '@noble/hashes/utils.js';
|
|
3
|
+
/** RFC 8785 JSON values: UTF-16 key order, ECMAScript numbers, no coercion. */
|
|
4
|
+
export function canonicalJson(value) {
|
|
5
|
+
const ancestors = new Set();
|
|
6
|
+
const string = (s) => {
|
|
7
|
+
for (let i = 0; i < s.length; i++) {
|
|
8
|
+
const c = s.charCodeAt(i);
|
|
9
|
+
if (c >= 0xd800 && c <= 0xdbff) {
|
|
10
|
+
const next = s.charCodeAt(++i);
|
|
11
|
+
if (!(next >= 0xdc00 && next <= 0xdfff))
|
|
12
|
+
throw new Error('Non-I-JSON surrogate');
|
|
13
|
+
}
|
|
14
|
+
else if (c >= 0xdc00 && c <= 0xdfff)
|
|
15
|
+
throw new Error('Non-I-JSON surrogate');
|
|
16
|
+
}
|
|
17
|
+
return JSON.stringify(s);
|
|
18
|
+
};
|
|
19
|
+
const encode = (v) => {
|
|
20
|
+
if (v === null)
|
|
21
|
+
return 'null';
|
|
22
|
+
if (typeof v === 'string')
|
|
23
|
+
return string(v);
|
|
24
|
+
if (typeof v === 'boolean')
|
|
25
|
+
return String(v);
|
|
26
|
+
if (typeof v === 'number' && Number.isFinite(v))
|
|
27
|
+
return JSON.stringify(v);
|
|
28
|
+
if (typeof v !== 'object' || ancestors.has(v))
|
|
29
|
+
throw new Error('Expected acyclic JSON value');
|
|
30
|
+
ancestors.add(v);
|
|
31
|
+
let result;
|
|
32
|
+
if (Array.isArray(v)) {
|
|
33
|
+
if (Object.keys(v).length !== v.length)
|
|
34
|
+
throw new Error('Expected dense JSON array');
|
|
35
|
+
result = `[${v.map(encode).join(',')}]`;
|
|
36
|
+
}
|
|
37
|
+
else {
|
|
38
|
+
if (Object.getPrototypeOf(v) !== Object.prototype && Object.getPrototypeOf(v) !== null)
|
|
39
|
+
throw new Error('Expected JSON object');
|
|
40
|
+
result = `{${Object.keys(v).sort().map(k => `${string(k)}:${encode(v[k])}`).join(',')}}`;
|
|
41
|
+
}
|
|
42
|
+
ancestors.delete(v);
|
|
43
|
+
return result;
|
|
44
|
+
};
|
|
45
|
+
return encode(value);
|
|
46
|
+
}
|
|
47
|
+
export const baseDigest = (value) => `sha256:${bytesToHex(sha256(new TextEncoder().encode(canonicalJson(value))))}`;
|
|
48
|
+
export function manifestDigest(value) {
|
|
49
|
+
const { manifestBaseHash: _ignored, ...projection } = value;
|
|
50
|
+
return baseDigest(projection);
|
|
51
|
+
}
|
|
52
|
+
export function returnDigest(value) {
|
|
53
|
+
const { digest: _ignored, ...projection } = value;
|
|
54
|
+
return baseDigest(projection);
|
|
55
|
+
}
|
|
56
|
+
//# sourceMappingURL=digest.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"digest.js","sourceRoot":"","sources":["../../src/editing/digest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD,+EAA+E;AAC/E,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,MAAM,GAAG,CAAC,CAAS,EAAU,EAAE;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;gBAAC,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;gBAAC,IAAI,CAAC,CAAC,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;YAAC,CAAC;iBAChJ,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAC/E,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,CAAU,EAAU,EAAE;QACpC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;QAC9B,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAC9F,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,MAAc,CAAC;QACnB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YACrF,MAAM,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,IAAI,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;YAChI,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAE,CAA6B,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACxH,CAAC;QACD,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAAC,OAAO,MAAM,CAAC;IACrC,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AACD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,UAAU,UAAU,CAAC,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACrI,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,GAAG,UAAU,EAAE,GAAG,KAAgC,CAAC;IACvF,OAAO,UAAU,CAAC,UAAU,CAAC,CAAC;AAChC,CAAC;AACD,MAAM,UAAU,YAAY,CAAC,KAAa;IACxC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,EAAE,GAAG,KAAgC,CAAC;IAC7E,OAAO,UAAU,CAAC,UAAU,CAAC,CAAC;AAChC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/editing/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/editing/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC"}
|
|
@@ -0,0 +1,66 @@
|
|
|
1
|
+
import type { DecisionDossierDocument } from '../model.js';
|
|
2
|
+
import type { EditTransaction, FocusEditingManifest, Production } from './contract.js';
|
|
3
|
+
export interface EditingSnapshot {
|
|
4
|
+
document: DecisionDossierDocument;
|
|
5
|
+
manifest: FocusEditingManifest;
|
|
6
|
+
}
|
|
7
|
+
export interface EditingConflict {
|
|
8
|
+
paragraphId?: string;
|
|
9
|
+
reason: string;
|
|
10
|
+
baseline?: string | null;
|
|
11
|
+
lineageApplied?: string | null;
|
|
12
|
+
current?: string | null;
|
|
13
|
+
requested?: string | null;
|
|
14
|
+
}
|
|
15
|
+
export interface EditReceipt {
|
|
16
|
+
returnId: string;
|
|
17
|
+
digest: string;
|
|
18
|
+
status: string;
|
|
19
|
+
baseHash?: string;
|
|
20
|
+
resultHash?: string;
|
|
21
|
+
previousStatus?: string;
|
|
22
|
+
transactions: {
|
|
23
|
+
transactionId: string;
|
|
24
|
+
changeIds: string[];
|
|
25
|
+
status: string;
|
|
26
|
+
}[];
|
|
27
|
+
conflicts: EditingConflict[];
|
|
28
|
+
}
|
|
29
|
+
export interface ReturnLineage {
|
|
30
|
+
baseHash: string;
|
|
31
|
+
manifestBaseHash: string;
|
|
32
|
+
production: Production;
|
|
33
|
+
head?: {
|
|
34
|
+
returnId: string;
|
|
35
|
+
supersededReturnIds: string[];
|
|
36
|
+
};
|
|
37
|
+
tombstones: string[];
|
|
38
|
+
seen: {
|
|
39
|
+
returnId: string;
|
|
40
|
+
digest: string;
|
|
41
|
+
receipt: EditReceipt;
|
|
42
|
+
}[];
|
|
43
|
+
applied: EditTransaction[];
|
|
44
|
+
applications: {
|
|
45
|
+
returnId: string;
|
|
46
|
+
baseHash: string;
|
|
47
|
+
resultHash: string;
|
|
48
|
+
transactions: EditTransaction[];
|
|
49
|
+
}[];
|
|
50
|
+
}
|
|
51
|
+
export interface ReconcileInput {
|
|
52
|
+
baseline: EditingSnapshot;
|
|
53
|
+
current: EditingSnapshot;
|
|
54
|
+
value: unknown;
|
|
55
|
+
production: Production;
|
|
56
|
+
lineage?: ReturnLineage;
|
|
57
|
+
}
|
|
58
|
+
export interface ReconcileResult extends EditingSnapshot {
|
|
59
|
+
ok: boolean;
|
|
60
|
+
lineage: ReturnLineage;
|
|
61
|
+
receipt: EditReceipt;
|
|
62
|
+
conflicts: EditingConflict[];
|
|
63
|
+
}
|
|
64
|
+
/** Data in/data out. Persistence and the final publication boundary belong to the host. */
|
|
65
|
+
export declare function reconcile(input: ReconcileInput): ReconcileResult;
|
|
66
|
+
//# sourceMappingURL=reconcile.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"reconcile.d.ts","sourceRoot":"","sources":["../../src/editing/reconcile.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,oBAAoB,EAAgC,UAAU,EAAE,MAAM,eAAe,CAAC;AAMrH,MAAM,WAAW,eAAe;IAAG,QAAQ,EAAE,uBAAuB,CAAC;IAAC,QAAQ,EAAE,oBAAoB,CAAA;CAAE;AACtG,MAAM,WAAW,eAAe;IAAG,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE;AACvL,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IACzF,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE;QAAE,aAAa,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC/E,SAAS,EAAE,eAAe,EAAE,CAAC;CAC9B;AACD,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,UAAU,CAAC;IACnE,IAAI,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,mBAAmB,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAC3D,UAAU,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,WAAW,CAAA;KAAE,EAAE,CAAC;IACzF,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,YAAY,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,eAAe,EAAE,CAAA;KAAE,EAAE,CAAC;CAC7G;AACD,MAAM,WAAW,cAAc;IAAG,QAAQ,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,OAAO,CAAC,EAAE,aAAa,CAAA;CAAE;AACxJ,MAAM,WAAW,eAAgB,SAAQ,eAAe;IAAG,EAAE,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,aAAa,CAAC;IAAC,OAAO,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,eAAe,EAAE,CAAA;CAAE;AAqDpJ,2FAA2F;AAC3F,wBAAgB,SAAS,CAAC,KAAK,EAAE,cAAc,GAAG,eAAe,CAsFhE"}
|
|
@@ -0,0 +1,167 @@
|
|
|
1
|
+
import { validateReturn, validateReturnStructure } from './contract.js';
|
|
2
|
+
import { fieldKey, readParagraphs, validateManifest, sourceNode, sealManifest } from './anchors.js';
|
|
3
|
+
import { applyParagraphChanges, diffParagraphs, paragraphAnchors } from './diff.js';
|
|
4
|
+
import { baseDigest, canonicalJson } from './digest.js';
|
|
5
|
+
/** Source gaps are addressed by paragraph identities, never matched by prose similarity. */
|
|
6
|
+
function fieldGaps(snapshot, field) {
|
|
7
|
+
const source = sourceNode(snapshot.document, field)[field.field];
|
|
8
|
+
const ps = snapshot.manifest.paragraphs.filter(p => fieldKey(p) === fieldKey(field)).sort((a, b) => a.order - b.order);
|
|
9
|
+
const gaps = new Map();
|
|
10
|
+
for (let i = 0; i <= ps.length; i++)
|
|
11
|
+
gaps.set(canonicalJson([ps[i - 1]?.paragraphId ?? null, ps[i]?.paragraphId ?? null]), source.slice(ps[i - 1]?.range.end ?? 0, ps[i]?.range.start ?? source.length));
|
|
12
|
+
return gaps;
|
|
13
|
+
}
|
|
14
|
+
/** Restore the original layout of structural edits, replaying independent third-party units.
|
|
15
|
+
* The source baseline supplies exact separators; unrelated source gaps remain current. */
|
|
16
|
+
function restoreStructuralFields(baseline, applied, current, keys, restoreIds) {
|
|
17
|
+
const document = structuredClone(current.document), paragraphs = structuredClone(current.manifest.paragraphs.filter(p => !keys.has(fieldKey(p))));
|
|
18
|
+
for (const f of baseline.manifest.fields.filter(f => keys.has(fieldKey(f)))) {
|
|
19
|
+
const previous = readParagraphs(applied.document, applied.manifest).filter(p => fieldKey(p) === fieldKey(f));
|
|
20
|
+
const now = readParagraphs(current.document, current.manifest).filter(p => fieldKey(p) === fieldKey(f));
|
|
21
|
+
const independent = diffParagraphs(previous, now, 'reconciler:independent');
|
|
22
|
+
// Pure text corrections carry the applied layout in their anchors. Re-anchor
|
|
23
|
+
// them onto the baseline topology before replaying: the text precondition
|
|
24
|
+
// stays third-party, but the topology precondition must describe the base
|
|
25
|
+
// being replayed onto, not the layout the lineage had already changed.
|
|
26
|
+
const baseValues = readParagraphs(baseline.document, baseline.manifest).filter(p => fieldKey(p) === fieldKey(f));
|
|
27
|
+
for (const c of independent.changes) {
|
|
28
|
+
if (c.operation !== 'replace')
|
|
29
|
+
continue;
|
|
30
|
+
const at = baseValues.findIndex(p => p.paragraphId === c.paragraphId);
|
|
31
|
+
if (at < 0)
|
|
32
|
+
continue;
|
|
33
|
+
const reanchored = paragraphAnchors(baseValues, at);
|
|
34
|
+
c.beforeAnchors = { ...reanchored };
|
|
35
|
+
c.anchors = { ...reanchored };
|
|
36
|
+
}
|
|
37
|
+
const rebased = applyParagraphChanges(baseline.document, baseline.manifest, independent.changes.length ? [independent] : [], restoreIds);
|
|
38
|
+
const baseGaps = fieldGaps(baseline, f), appliedGaps = fieldGaps(applied, f), currentGaps = fieldGaps(current, f), restoredGaps = fieldGaps(rebased, f);
|
|
39
|
+
for (const [key, gap] of currentGaps) {
|
|
40
|
+
if (appliedGaps.has(key) && gap !== appliedGaps.get(key) && baseGaps.get(key) !== appliedGaps.get(key))
|
|
41
|
+
throw new Error('structural-gap-diverged');
|
|
42
|
+
if (!appliedGaps.has(key) || baseGaps.get(key) === appliedGaps.get(key))
|
|
43
|
+
restoredGaps.set(key, gap);
|
|
44
|
+
}
|
|
45
|
+
const ps = rebased.manifest.paragraphs.filter(p => fieldKey(p) === fieldKey(f)).sort((a, b) => a.order - b.order);
|
|
46
|
+
const source = sourceNode(rebased.document, f)[f.field];
|
|
47
|
+
let text = '';
|
|
48
|
+
ps.forEach((p, index) => {
|
|
49
|
+
text += restoredGaps.get(canonicalJson([ps[index - 1]?.paragraphId ?? null, p.paragraphId])) ?? '';
|
|
50
|
+
const value = source.slice(p.range.start, p.range.end), start = text.length;
|
|
51
|
+
text += value;
|
|
52
|
+
paragraphs.push({ ...p, range: { start, end: text.length, unit: 'utf16' } });
|
|
53
|
+
});
|
|
54
|
+
text += restoredGaps.get(canonicalJson([ps.at(-1)?.paragraphId ?? null, null])) ?? '';
|
|
55
|
+
sourceNode(document, f)[f.field] = text;
|
|
56
|
+
}
|
|
57
|
+
const active = new Set(paragraphs.map(p => p.paragraphId));
|
|
58
|
+
const retiredParagraphIds = [...new Set([...current.manifest.retiredParagraphIds, ...current.manifest.paragraphs.map(p => p.paragraphId)])].filter(id => !active.has(id));
|
|
59
|
+
return { document, manifest: sealManifest({ ...current.manifest, baseHash: baseDigest(document), paragraphs, retiredParagraphIds }) };
|
|
60
|
+
}
|
|
61
|
+
/** Data in/data out. Persistence and the final publication boundary belong to the host. */
|
|
62
|
+
export function reconcile(input) {
|
|
63
|
+
const { baseline, current, production } = input;
|
|
64
|
+
const lineage = structuredClone(input.lineage ?? { baseHash: baseline.manifest.baseHash, manifestBaseHash: baseline.manifest.manifestBaseHash, production, tombstones: [], seen: [], applied: [], applications: [] });
|
|
65
|
+
const value = input.value;
|
|
66
|
+
let rememberIdentity = false;
|
|
67
|
+
const result = (status, conflicts = [], candidate = current, ok = false, appliedTransition) => {
|
|
68
|
+
const transactions = (validateReturnStructure(value) ? value.editReturn.transactions : []).map(t => ({ transactionId: t.transactionId, changeIds: t.changes.map(c => c.changeId), status }));
|
|
69
|
+
// The receipt names the changes the reconciler effectively applied or
|
|
70
|
+
// revoked — including revocation inverses the incoming return never
|
|
71
|
+
// listed — so a revocation is auditable by change identity.
|
|
72
|
+
if (ok && appliedTransition && appliedTransition.changes.length)
|
|
73
|
+
transactions.push({ transactionId: appliedTransition.transactionId, changeIds: appliedTransition.changes.map(c => c.changeId), status });
|
|
74
|
+
const receipt = { returnId: typeof value?.returnId === 'string' ? value.returnId : '', digest: typeof value?.digest === 'string' ? value.digest : '', status,
|
|
75
|
+
transactions, conflicts };
|
|
76
|
+
if (ok) {
|
|
77
|
+
receipt.baseHash = baseDigest(current.document);
|
|
78
|
+
receipt.resultHash = baseDigest(candidate.document);
|
|
79
|
+
}
|
|
80
|
+
if (rememberIdentity && !lineage.seen.some(s => s.returnId === value.returnId))
|
|
81
|
+
lineage.seen.push({ returnId: value.returnId, digest: value.digest, receipt });
|
|
82
|
+
return { ok, ...structuredClone(candidate), lineage, receipt, conflicts };
|
|
83
|
+
};
|
|
84
|
+
const validation = validateReturn(value, baseline.document, baseline.manifest);
|
|
85
|
+
if (!validation.ok)
|
|
86
|
+
return result('validation-refused', validation.issues.map(reason => ({ reason })));
|
|
87
|
+
if (canonicalJson(value.production) !== canonicalJson(production) || lineage.baseHash !== baseline.manifest.baseHash || lineage.manifestBaseHash !== baseline.manifest.manifestBaseHash || canonicalJson(lineage.production) !== canonicalJson(production))
|
|
88
|
+
return result('generation-mismatch');
|
|
89
|
+
const seen = lineage.seen.find(s => s.returnId === value.returnId);
|
|
90
|
+
if (seen) {
|
|
91
|
+
const out = result(seen.digest === value.digest ? 'already-processed' : 'identity-reuse');
|
|
92
|
+
// A replay reports the original diagnostic, never an empty success: the
|
|
93
|
+
// unsuccessful character of a refused return survives the replay.
|
|
94
|
+
out.receipt.previousStatus = seen.receipt.status;
|
|
95
|
+
out.receipt.conflicts = seen.receipt.conflicts;
|
|
96
|
+
if (seen.digest === value.digest) {
|
|
97
|
+
out.receipt.baseHash = seen.receipt.baseHash;
|
|
98
|
+
out.receipt.resultHash = seen.receipt.resultHash;
|
|
99
|
+
}
|
|
100
|
+
return out;
|
|
101
|
+
}
|
|
102
|
+
rememberIdentity = true;
|
|
103
|
+
if (lineage.tombstones.includes(value.returnId) || lineage.head?.supersededReturnIds.includes(value.returnId))
|
|
104
|
+
return result('superseded');
|
|
105
|
+
if (lineage.head) {
|
|
106
|
+
const at = value.editReturn.supersededReturnIds.indexOf(lineage.head.returnId);
|
|
107
|
+
if (at < 0 || canonicalJson(value.editReturn.supersededReturnIds.slice(at + 1)) !== canonicalJson(lineage.head.supersededReturnIds)) {
|
|
108
|
+
const fork = value.editReturn.supersedesReturnId === lineage.head.supersededReturnIds[0];
|
|
109
|
+
return result('lineage-order-indeterminate', [{ reason: fork ? 'fork' : 'ancestry-does-not-prove-succession' }]);
|
|
110
|
+
}
|
|
111
|
+
}
|
|
112
|
+
if (!validateManifest(current.manifest, current.document).ok || current.manifest.manifestId !== baseline.manifest.manifestId)
|
|
113
|
+
return result('conflict', [{ reason: 'mapping-loss' }]);
|
|
114
|
+
try {
|
|
115
|
+
const desired = applyParagraphChanges(baseline.document, baseline.manifest, value.editReturn.transactions);
|
|
116
|
+
// Compare the whole submitted batch before publication, including previously applied units
|
|
117
|
+
// that this cumulative head no longer requests.
|
|
118
|
+
const base = readParagraphs(baseline.document, baseline.manifest), actual = readParagraphs(current.document, current.manifest);
|
|
119
|
+
const applied = applyParagraphChanges(baseline.document, baseline.manifest, lineage.applied);
|
|
120
|
+
const appliedValues = readParagraphs(applied.document, applied.manifest), desiredValues = readParagraphs(desired.document, desired.manifest);
|
|
121
|
+
const oldChanges = lineage.applied.flatMap(t => t.changes), newChanges = value.editReturn.transactions.flatMap(t => t.changes);
|
|
122
|
+
const affected = new Set([...oldChanges, ...newChanges].map(c => c.paragraphId)), conflicts = [];
|
|
123
|
+
for (const id of affected) {
|
|
124
|
+
const b = base.find(p => p.paragraphId === id), a = actual.find(p => p.paragraphId === id), r = appliedValues.find(p => p.paragraphId === id), d = desiredValues.find(p => p.paragraphId === id);
|
|
125
|
+
const recorded = oldChanges.filter(c => c.paragraphId === id), expected = recorded.length ? r : b;
|
|
126
|
+
const sameAddress = !expected || (!!a && fieldKey(a) === fieldKey(expected));
|
|
127
|
+
let matches = (a?.text ?? null) === (expected?.text ?? null) && sameAddress;
|
|
128
|
+
// Every affected unit carries a topology precondition, including pure
|
|
129
|
+
// text replacements: a paragraph moved by a third party no longer
|
|
130
|
+
// matches, even when its text is unchanged.
|
|
131
|
+
if (matches && expected && a) {
|
|
132
|
+
const expectedList = (recorded.length ? appliedValues : base).filter(p => fieldKey(p) === fieldKey(expected));
|
|
133
|
+
const actualList = actual.filter(p => fieldKey(p) === fieldKey(a));
|
|
134
|
+
matches = canonicalJson(paragraphAnchors(expectedList, expectedList.indexOf(expected))) === canonicalJson(paragraphAnchors(actualList, actualList.indexOf(a)));
|
|
135
|
+
}
|
|
136
|
+
if (!matches)
|
|
137
|
+
conflicts.push({ paragraphId: id, reason: 'precondition-or-attribution', baseline: b?.text ?? null, ...(recorded.length ? { lineageApplied: r?.text ?? null } : {}), current: a?.text ?? null, requested: d?.text ?? null });
|
|
138
|
+
}
|
|
139
|
+
if (conflicts.length)
|
|
140
|
+
return result('conflict', conflicts);
|
|
141
|
+
const structuralFields = new Set(oldChanges.filter(c => c.operation !== 'replace').map(fieldKey));
|
|
142
|
+
// Only identities this lineage retired may be restored: revocation must
|
|
143
|
+
// revive lineage content, while a collision with a third-party
|
|
144
|
+
// retirement refuses instead of reassigning the identity (D13).
|
|
145
|
+
const deletedIds = (txs) => txs.flatMap(t => t.changes).filter(c => c.operation === 'delete').map(c => c.paragraphId);
|
|
146
|
+
const restoreIds = new Set([...deletedIds(lineage.applied), ...lineage.applications.flatMap(a => deletedIds(a.transactions))]);
|
|
147
|
+
const sourceRestored = restoreStructuralFields(baseline, applied, current, structuralFields, restoreIds);
|
|
148
|
+
const inverse = oldChanges.filter(c => !structuralFields.has(fieldKey(c))).slice().reverse().map(c => ({ ...c, operation: c.operation === 'insert' ? 'delete' : c.operation === 'delete' ? 'insert' : c.operation,
|
|
149
|
+
before: c.after, after: c.before, beforeAnchors: c.operation === 'delete' ? null : c.anchors, anchors: c.beforeAnchors ?? c.anchors }));
|
|
150
|
+
const restored = applyParagraphChanges(sourceRestored.document, sourceRestored.manifest, inverse.length ? [{ transactionId: 'reconciler:revoke', changes: inverse }] : [], restoreIds);
|
|
151
|
+
const candidate = applyParagraphChanges(restored.document, restored.manifest, value.editReturn.transactions, restoreIds);
|
|
152
|
+
if (!validateManifest(candidate.manifest, candidate.document).ok)
|
|
153
|
+
return result('conflict', [{ reason: 'result-mapping' }]);
|
|
154
|
+
const transition = diffParagraphs(actual, readParagraphs(candidate.document, candidate.manifest), `application:${value.returnId}`);
|
|
155
|
+
const revoked = oldChanges.some(c => !newChanges.some(n => n.paragraphId === c.paragraphId));
|
|
156
|
+
const out = result(revoked ? 'revocation-applied' : 'applied', [], candidate, true, transition);
|
|
157
|
+
lineage.head = { returnId: value.returnId, supersededReturnIds: [...value.editReturn.supersededReturnIds] };
|
|
158
|
+
lineage.tombstones = [...new Set([...lineage.tombstones, ...value.editReturn.supersededReturnIds])];
|
|
159
|
+
lineage.applied = structuredClone(value.editReturn.transactions);
|
|
160
|
+
lineage.applications.push({ returnId: value.returnId, baseHash: out.receipt.baseHash, resultHash: out.receipt.resultHash, transactions: transition.changes.length ? [transition] : [] });
|
|
161
|
+
return out;
|
|
162
|
+
}
|
|
163
|
+
catch (error) {
|
|
164
|
+
return result('conflict', [{ reason: error instanceof Error ? error.message : 'reconciliation-failed' }]);
|
|
165
|
+
}
|
|
166
|
+
}
|
|
167
|
+
//# sourceMappingURL=reconcile.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"reconcile.js","sourceRoot":"","sources":["../../src/editing/reconcile.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACpG,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AACpF,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAoBxD,4FAA4F;AAC5F,SAAS,SAAS,CAAC,QAAyB,EAAE,KAA6C;IACzF,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAW,CAAC;IAC3E,MAAM,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACvH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,IAAI,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACzM,OAAO,IAAI,CAAC;AACd,CAAC;AACD;0FAC0F;AAC1F,SAAS,uBAAuB,CAAC,QAAyB,EAAE,OAAwB,EAAE,OAAwB,EAAE,IAAiB,EAAE,UAA+B;IAChK,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,UAAU,GAAG,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClJ,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7G,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACxG,MAAM,WAAW,GAAG,cAAc,CAAC,QAAQ,EAAE,GAAG,EAAE,wBAAwB,CAAC,CAAC;QAC5E,6EAA6E;QAC7E,0EAA0E;QAC1E,0EAA0E;QAC1E,uEAAuE;QACvE,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACjH,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;gBAAE,SAAS;YACxC,MAAM,EAAE,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;YACtE,IAAI,EAAE,GAAG,CAAC;gBAAE,SAAS;YACrB,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACpD,CAAC,CAAC,aAAa,GAAG,EAAE,GAAG,UAAU,EAAE,CAAC;YACpC,CAAC,CAAC,OAAO,GAAG,EAAE,GAAG,UAAU,EAAE,CAAC;QAChC,CAAC;QACD,MAAM,OAAO,GAAG,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACzI,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,YAAY,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACxJ,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,WAAW,EAAE,CAAC;YACrC,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;YACnJ,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACtG,CAAC;QACD,MAAM,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAClH,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAW,CAAC;QAClE,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;YACtB,IAAI,IAAI,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,WAAW,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACnG,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;YAAC,IAAI,IAAI,KAAK,CAAC;YAC3F,UAAU,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAC/E,CAAC,CAAC,CAAC;QACH,IAAI,IAAI,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,IAAI,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACtF,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;IAC1C,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAC3D,MAAM,mBAAmB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,mBAAmB,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1K,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,CAAC,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,mBAAmB,EAAE,CAAC,EAAE,CAAC;AACxI,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,SAAS,CAAC,KAAqB;IAC7C,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAChD,MAAM,OAAO,GAAkB,eAAe,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;IACrO,MAAM,KAAK,GAAG,KAAK,CAAC,KAAoB,CAAC;IACzC,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAC7B,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,YAA+B,EAAE,EAAE,YAA6B,OAAO,EAAE,EAAE,GAAG,KAAK,EAAE,iBAAmC,EAAmB,EAAE;QAC3K,MAAM,YAAY,GAAG,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAC7L,sEAAsE;QACtE,oEAAoE;QACpE,4DAA4D;QAC5D,IAAI,EAAE,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,OAAO,CAAC,MAAM;YAAE,YAAY,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,iBAAiB,CAAC,aAAa,EAAE,SAAS,EAAE,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1M,MAAM,OAAO,GAAgB,EAAE,QAAQ,EAAE,OAAO,KAAK,EAAE,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,KAAK,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM;YACvK,YAAY,EAAE,SAAS,EAAE,CAAC;QAC5B,IAAI,EAAE,EAAE,CAAC;YAAC,OAAO,CAAC,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAAC,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAAC,CAAC;QACjH,IAAI,gBAAgB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QAC/J,OAAO,EAAE,EAAE,EAAE,GAAG,eAAe,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IAC5E,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC/E,IAAI,CAAC,UAAU,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC,oBAAoB,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACvG,IAAI,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,aAAa,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,CAAC,QAAQ,IAAI,OAAO,CAAC,gBAAgB,KAAK,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,IAAI,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,aAAa,CAAC,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC,qBAAqB,CAAC,CAAC;IACjS,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC;IACnE,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;QAC1F,wEAAwE;QACxE,kEAAkE;QAClE,GAAG,CAAC,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACjD,GAAG,CAAC,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;QAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAC,GAAG,CAAC,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAAC,CAAC;QACrI,OAAO,GAAG,CAAC;IACb,CAAC;IACD,gBAAgB,GAAG,IAAI,CAAC;IACxB,IAAI,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,MAAM,CAAC,YAAY,CAAC,CAAC;IAC3I,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/E,IAAI,EAAE,GAAG,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACpI,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,kBAAkB,KAAK,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;YACzF,OAAO,MAAM,CAAC,6BAA6B,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,oCAAoC,EAAE,CAAC,CAAC,CAAC;QACnH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,OAAO,CAAC,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,QAAQ,CAAC,UAAU;QAAE,OAAO,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;IACtL,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QAC3G,2FAA2F;QAC3F,gDAAgD;QAChD,MAAM,IAAI,GAAG,cAAc,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/H,MAAM,OAAO,GAAG,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7F,MAAM,aAAa,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,aAAa,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC7I,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC/H,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,GAAsB,EAAE,CAAC;QACpH,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;YACjM,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,EAAE,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClG,MAAM,WAAW,GAAG,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC7E,IAAI,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI,WAAW,CAAC;YAC5E,sEAAsE;YACtE,kEAAkE;YAClE,4CAA4C;YAC5C,IAAI,OAAO,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;gBAC7B,MAAM,YAAY,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC9G,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnE,OAAO,GAAG,aAAa,CAAC,gBAAgB,CAAC,YAAY,EAAE,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,gBAAgB,CAAC,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACjK,CAAC;YACD,IAAI,CAAC,OAAO;gBAAE,SAAS,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,6BAA6B,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,IAAI,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,IAAI,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;QAC7O,CAAC;QACD,IAAI,SAAS,CAAC,MAAM;YAAE,OAAO,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAC3D,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClG,wEAAwE;QACxE,+DAA+D;QAC/D,gEAAgE;QAChE,MAAM,UAAU,GAAG,CAAC,GAAsB,EAAY,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACnJ,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/H,MAAM,cAAc,GAAG,uBAAuB,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;QACzG,MAAM,OAAO,GAAsB,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;YAClO,MAAM,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC1I,MAAM,QAAQ,GAAG,qBAAqB,CAAC,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,mBAAmB,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACvL,MAAM,SAAS,GAAG,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;QACzH,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE;YAAE,OAAO,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;QAC5H,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,eAAe,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnI,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAC7F,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;QAChG,OAAO,CAAC,IAAI,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,mBAAmB,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC5G,OAAO,CAAC,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACpG,OAAO,CAAC,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QACjE,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,QAAS,EAAE,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,UAAW,EAAE,YAAY,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3L,OAAO,GAAG,CAAC;IACb,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAAC,OAAO,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,uBAAuB,EAAE,CAAC,CAAC,CAAC;IAAC,CAAC;AAChI,CAAC"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
/** Single source for published JSON Schemas and the structural validator.
|
|
2
|
+
* Only this deliberately small standard-JSON-Schema vocabulary is used. */
|
|
3
|
+
type Schema = {
|
|
4
|
+
type?: string | string[];
|
|
5
|
+
const?: unknown;
|
|
6
|
+
enum?: unknown[];
|
|
7
|
+
pattern?: string;
|
|
8
|
+
minLength?: number;
|
|
9
|
+
minimum?: number;
|
|
10
|
+
properties?: Record<string, Schema>;
|
|
11
|
+
required?: string[];
|
|
12
|
+
additionalProperties?: boolean;
|
|
13
|
+
items?: Schema;
|
|
14
|
+
uniqueItems?: boolean;
|
|
15
|
+
minItems?: number;
|
|
16
|
+
anyOf?: Schema[];
|
|
17
|
+
$schema?: string;
|
|
18
|
+
$id?: string;
|
|
19
|
+
};
|
|
20
|
+
export declare const manifestSchema: Schema;
|
|
21
|
+
export declare const returnSchema: Schema;
|
|
22
|
+
export declare function matchesSchema(schema: Schema, value: unknown): boolean;
|
|
23
|
+
export {};
|
|
24
|
+
//# sourceMappingURL=structure.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"structure.d.ts","sourceRoot":"","sources":["../../src/editing/structure.ts"],"names":[],"mappings":"AAAA;2EAC2E;AAC3E,KAAK,MAAM,GAAG;IAAE,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;IAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAClI,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IACzF,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAY/G,eAAO,MAAM,cAAc,EAAE,MAI5B,CAAC;AAUF,eAAO,MAAM,YAAY,EAAE,MAa1B,CAAC;AACF,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAmBrE"}
|
|
@@ -0,0 +1,71 @@
|
|
|
1
|
+
const text = { type: 'string' }, id = { type: 'string', minLength: 1 };
|
|
2
|
+
const nullableText = { type: ['string', 'null'] }, nullableId = { anyOf: [id, { type: 'null' }] };
|
|
3
|
+
const hash = { type: 'string', pattern: '^sha256:[a-f0-9]{64}$' };
|
|
4
|
+
const array = (items, uniqueItems = false) => ({ type: 'array', items, ...(uniqueItems ? { uniqueItems } : {}) });
|
|
5
|
+
const object = (properties, optional = []) => ({ type: 'object', additionalProperties: false, properties, required: Object.keys(properties).filter(k => !optional.includes(k)) });
|
|
6
|
+
const address = { nodeId: id, targetRef: id, field: { enum: ['markdown', 'question', 'recommendedAnswer', 'context', 'label', 'body', 'consequence'] } };
|
|
7
|
+
const format = { enum: ['text/plain', 'focus.markdown.p0@1'] };
|
|
8
|
+
const anchors = object({ parentId: { type: 'null' }, previousParagraphId: nullableId, nextParagraphId: nullableId });
|
|
9
|
+
const field = object({ ...address, contentFormat: format, blockKind: { enum: ['prose', 'question', 'option'] } });
|
|
10
|
+
const paragraph = object({ ...address, paragraphId: id, blockKind: { const: 'paragraph' }, parentId: { type: 'null' }, order: { type: 'integer', minimum: 0 },
|
|
11
|
+
range: object({ start: { type: 'integer', minimum: 0 }, end: { type: 'integer', minimum: 0 }, unit: { const: 'utf16' } }) });
|
|
12
|
+
export const manifestSchema = {
|
|
13
|
+
$schema: 'https://json-schema.org/draft/2020-12/schema', $id: 'urn:sentropic:focus:FocusEditingManifest:1.0.0',
|
|
14
|
+
...object({ schemaVersion: { const: 1 }, manifestId: id, documentRef: id, baseHash: hash, manifestBaseHash: hash,
|
|
15
|
+
fields: array(field), paragraphs: array(paragraph), retiredParagraphIds: array(id, true) }),
|
|
16
|
+
};
|
|
17
|
+
const changeProperties = { ...address, documentRef: id, paragraphId: id, changeId: id, blockKind: { const: 'paragraph' }, format,
|
|
18
|
+
operation: { enum: ['replace', 'insert', 'delete', 'move'] }, before: nullableText, after: nullableText,
|
|
19
|
+
anchors, beforeAnchors: { anyOf: [anchors, { type: 'null' }] } };
|
|
20
|
+
const change = { anyOf: ['replace', 'insert', 'delete', 'move'].map(operation => object({ ...changeProperties,
|
|
21
|
+
operation: { const: operation }, before: operation === 'insert' ? { type: 'null' } : text,
|
|
22
|
+
after: operation === 'delete' ? { type: 'null' } : text,
|
|
23
|
+
beforeAnchors: operation === 'insert' ? { type: 'null' } : anchors,
|
|
24
|
+
})) };
|
|
25
|
+
const { $id: _manifestId, $schema: _manifestDialect, ...embeddedManifest } = manifestSchema;
|
|
26
|
+
export const returnSchema = {
|
|
27
|
+
$schema: 'https://json-schema.org/draft/2020-12/schema', $id: 'urn:sentropic:focus:FocusEditReturn:1.0.0',
|
|
28
|
+
...object({ kind: { const: 'focus.return' }, schemaVersion: { const: 1 }, returnId: id, digest: hash, capture: object({ at: id }),
|
|
29
|
+
scope: { anyOf: [object({ workspaceId: id }), { type: 'null' }] },
|
|
30
|
+
source: object({ documentRef: id, hash: text, cursor: text, baseHash: hash, manifestId: id, manifestBaseHash: hash }),
|
|
31
|
+
production: { anyOf: [object({ producerId: id, generationId: id, requestId: id }), { type: 'null' }] },
|
|
32
|
+
manifest: embeddedManifest,
|
|
33
|
+
answers: array(object({ questionId: id, targetRef: id, optionIds: array(id, true), text: nullableText })),
|
|
34
|
+
notes: array(object({ targetRef: id, text: nullableText })),
|
|
35
|
+
editReturn: object({ schemaVersion: { const: 1 }, mode: { const: 'cumulative' },
|
|
36
|
+
transactions: array(object({ transactionId: id, changes: { ...array(change), minItems: 1 } })),
|
|
37
|
+
supersedesReturnId: id, supersededReturnIds: array(id, true) }, ['supersedesReturnId']),
|
|
38
|
+
}),
|
|
39
|
+
};
|
|
40
|
+
export function matchesSchema(schema, value) {
|
|
41
|
+
if (schema.anyOf && !schema.anyOf.some(s => matchesSchema(s, value)))
|
|
42
|
+
return false;
|
|
43
|
+
if ('const' in schema && value !== schema.const)
|
|
44
|
+
return false;
|
|
45
|
+
if (schema.enum && !schema.enum.includes(value))
|
|
46
|
+
return false;
|
|
47
|
+
const type = value === null ? 'null' : Array.isArray(value) ? 'array' : typeof value;
|
|
48
|
+
if (schema.type && !(Array.isArray(schema.type) ? schema.type : [schema.type]).some(t => t === type || (t === 'integer' && Number.isInteger(value))))
|
|
49
|
+
return false;
|
|
50
|
+
if (typeof value === 'string' && ((schema.minLength !== undefined && [...value].length < schema.minLength) || (schema.pattern && !new RegExp(schema.pattern, 'u').test(value))))
|
|
51
|
+
return false;
|
|
52
|
+
if (typeof value === 'number' && schema.minimum !== undefined && value < schema.minimum)
|
|
53
|
+
return false;
|
|
54
|
+
if (Array.isArray(value)) {
|
|
55
|
+
if (schema.minItems !== undefined && value.length < schema.minItems)
|
|
56
|
+
return false;
|
|
57
|
+
if (schema.uniqueItems && new Set(value.map(v => JSON.stringify(v))).size !== value.length)
|
|
58
|
+
return false;
|
|
59
|
+
if (schema.items && !value.every(v => matchesSchema(schema.items, v)))
|
|
60
|
+
return false;
|
|
61
|
+
}
|
|
62
|
+
if (value !== null && typeof value === 'object' && !Array.isArray(value) && schema.properties) {
|
|
63
|
+
const v = value;
|
|
64
|
+
if (schema.required?.some(k => !Object.hasOwn(v, k)))
|
|
65
|
+
return false;
|
|
66
|
+
if (Object.keys(v).some(k => Object.hasOwn(schema.properties, k) ? !matchesSchema(schema.properties[k], v[k]) : schema.additionalProperties === false))
|
|
67
|
+
return false;
|
|
68
|
+
}
|
|
69
|
+
return true;
|
|
70
|
+
}
|
|
71
|
+
//# sourceMappingURL=structure.js.map
|