tracegrove 0.0.0-stage → 0.3.1

package/dist/core/localScenarioStore.js

@@ -0,0 +1,218 @@
+import { IdString, QualificationRoundAdmission, ScenarioDefinition, ScenarioProjection, ScopeSchema, SelectionManifest, digestOfValue, sameRef, sameScope, verifySelfDigest } from "../protocol/index.js";
+import { LocalLedger } from "./ledger.js";
+import { Conflict } from "./errors.js";
+import { appendImmutable, checkAdmission, checkLocalScenarioState, storedDefinition, storedSelection } from "./localScenarioState.js";
+import { localScenarioActivationPorts } from "./localScenarioActivation.js";
+import { localScenarioStructurePorts } from "./localScenarioStructure.js";
+import { localScenarioPromotionPorts } from "./localScenarioPromotion.js";
+/** Single-writer local owner. No hosted IAM, physical provisioning, approval creation or execution fallback. */
+export class LocalScenarioStore {
+    ledger;
+    id;
+    authority;
+    scope;
+    aggregate;
+    constructor(ledger, id, scope, authority) {
+        this.ledger = ledger;
+        this.id = id;
+        this.authority = authority;
+        IdString.parse(id);
+        this.scope = ScopeSchema.parse(scope);
+        this.aggregate = `workflow-scenarios:${digestOfValue(this.scope).hex}`;
+    }
+    scoped(id, scope) {
+        if (id !== this.id || !sameScope(scope, this.scope))
+            throw new Conflict('local scenario identity or scope mismatch');
+    }
+    scopedDocument(document) {
+        if (!sameScope(document.scope, this.scope) || !verifySelfDigest(document))
+            throw new Conflict('scenario input document digest or scope mismatch');
+    }
+    current() {
+        const entry = this.ledger.current(this.aggregate);
+        if (!entry)
+            return { version: 0, state: { schemaVersion: 'workflow.local-scenario-state/v1', scope: this.scope, scenarios: [] } };
+        if (!entry.type.startsWith('workflow.scenario.'))
+            throw new Conflict('local scenario registry entry has a foreign event type');
+        return { version: entry.version, state: checkLocalScenarioState(entry.data, this.scope) };
+    }
+    entry(state) {
+        const entry = state.scenarios.find(item => item.projection.id === this.id);
+        if (!entry)
+            throw new Conflict('local scenario is not initialized');
+        return entry;
+    }
+    write(version, state, event) {
+        this.ledger.append(this.aggregate, version, event, checkLocalScenarioState(state, this.scope));
+    }
+    async checkDefinition(definition) {
+        await this.authority.validateDefinition(structuredClone(definition));
+        if (!definition.sourcePlanRef)
+            return null;
+        if (!this.authority.reviewStore)
+            throw new Conflict('source-backed scenarios require their current review owner');
+        return this.authority.reviewStore.definitionSnapshot(this.ledger, structuredClone(definition));
+    }
+    async initialize(raw, selections) {
+        return this.initializeState(raw, selections, 'validating');
+    }
+    /** Stage an authorized proposal without claiming structural validation or admitting rounds. */
+    async propose(raw, selections) {
+        return this.initializeState(raw, selections, 'proposed');
+    }
+    async initializeState(raw, selections, initialState) {
+        const definition = ScenarioDefinition.parse(raw);
+        const parsed = selections.map(selection => SelectionManifest.parse(selection));
+        for (const document of [definition, ...parsed])
+            this.scopedDocument(document);
+        const uniqueSelections = [];
+        for (const selection of parsed)
+            appendImmutable(uniqueSelections, selection);
+        await this.authority.authorize(structuredClone(this.scope), 'initialize');
+        const reviewed = await this.checkDefinition(definition);
+        await this.authority.authorize(structuredClone(this.scope), 'initialize');
+        const { version, state } = this.current();
+        if (state.scenarios.some(item => item.projection.id === this.id))
+            throw new Conflict('local scenario is already initialized');
+        const projection = ScenarioProjection.parse({ id: this.id, scope: this.scope, aggregateVersion: 1, definitionRef: definition.ref,
+            state: initialState, invalidationEpoch: 0, latestRoundSequence: 0, qualificationRoundRefs: [], activationDecisionRef: null });
+        state.scenarios.push({ projection, definitions: [definition], selections: uniqueSelections, admissions: [], activations: [], structuralValidations: [], promotion: null });
+        reviewed?.assertCurrent();
+        this.write(version, state, 'workflow.scenario.initialized');
+    }
+    async stage(raw, selections = []) {
+        const definition = ScenarioDefinition.parse(raw);
+        const parsed = selections.map(selection => SelectionManifest.parse(selection));
+        for (const document of [definition, ...parsed])
+            this.scopedDocument(document);
+        await this.authority.authorize(structuredClone(this.scope), 'stage');
+        const { version, state } = this.current();
+        const entry = this.entry(state);
+        const before = digestOfValue(entry);
+        appendImmutable(entry.definitions, definition);
+        for (const selection of parsed)
+            appendImmutable(entry.selections, selection);
+        if (digestOfValue(entry).hex !== before.hex)
+            this.write(version, state, 'workflow.scenario.documents-staged');
+    }
+    async read(id, scope) {
+        this.scoped(id, scope);
+        await this.authority.authorize(structuredClone(this.scope), 'read');
+        const entry = this.entry(this.current().state);
+        return structuredClone({ projection: entry.projection, admissions: entry.admissions });
+    }
+    async resolveDefinition(ref, scope) {
+        this.scoped(this.id, scope);
+        await this.authority.authorize(structuredClone(this.scope), 'read');
+        return structuredClone(storedDefinition(this.entry(this.current().state), ref));
+    }
+    async resolveSelection(ref, scope) {
+        this.scoped(this.id, scope);
+        await this.authority.authorize(structuredClone(this.scope), 'read');
+        return structuredClone(storedSelection(this.entry(this.current().state), ref));
+    }
+    async resolveAdmission(ref, scope) {
+        const snapshot = await this.read(this.id, scope);
+        const admission = snapshot.admissions.find(item => sameRef(item.ref, ref));
+        if (!admission)
+            throw new Conflict('qualification admission is not registered');
+        return structuredClone(admission);
+    }
+    /** Execution uses this owner's actual writer, never a producer's copied registration document. */
+    async executionContext(ref, scope, ledger) {
+        this.scoped(this.id, scope);
+        if (ledger !== this.ledger)
+            throw new Conflict('qualification execution must use the registration owner ledger');
+        await this.authority.authorize(structuredClone(this.scope), 'read');
+        const { version, state } = this.current();
+        const entry = this.entry(state);
+        const admission = entry.admissions.find(item => sameRef(item.ref, ref));
+        if (!admission || !['validating', 'active'].includes(entry.projection.state) ||
+            !sameRef(admission.scenarioRef, entry.projection.definitionRef) || admission.invalidationEpoch !== entry.projection.invalidationEpoch)
+            throw new Conflict('qualification registration is missing, invalidated or not executable');
+        const definition = storedDefinition(entry, admission.scenarioRef);
+        const reviewed = await this.checkDefinition(definition);
+        await this.authority.validateStateLeases(structuredClone(admission));
+        await this.authority.authorize(structuredClone(this.scope), 'read');
+        if (this.current().version !== version)
+            throw new Conflict('qualification authority changed during execution admission');
+        reviewed?.assertCurrent();
+        return structuredClone({ admission, definition, selection: storedSelection(entry, admission.selectionManifestRef),
+            matrix: storedSelection(entry, admission.qualificationMatrixRef), ...(reviewed ? { sourceReview: reviewed.documents } : {}) });
+    }
+    async commit(expected, raw, rawAdmission) {
+        const next = ScenarioProjection.parse(raw);
+        this.scoped(next.id, next.scope);
+        const admission = rawAdmission === null ? null : QualificationRoundAdmission.parse(rawAdmission);
+        if (admission)
+            this.scopedDocument(admission);
+        const action = admission ? 'register_round' : 'invalidate';
+        await this.authority.authorize(structuredClone(this.scope), action);
+        const { version, state } = this.current();
+        const entry = this.entry(state);
+        const previous = entry.projection;
+        if (previous.aggregateVersion !== expected)
+            return false;
+        let allowed;
+        let definition;
+        if (admission) {
+            if (!['validating', 'active'].includes(previous.state) || !sameRef(admission.scenarioRef, previous.definitionRef) ||
+                admission.roundSequence !== previous.latestRoundSequence + 1 || admission.invalidationEpoch !== previous.invalidationEpoch)
+                throw new Conflict('qualification admission has a stale state, definition, epoch or sequence');
+            checkAdmission(entry, admission);
+            definition = storedDefinition(entry, previous.definitionRef);
+            allowed = { ...previous, aggregateVersion: previous.aggregateVersion + 1, latestRoundSequence: admission.roundSequence };
+            entry.admissions.push(admission);
+        }
+        else {
+            definition = storedDefinition(entry, next.definitionRef);
+            if (previous.state === 'retired' || definition.ref.id !== previous.definitionRef.id || definition.ref.revision === previous.definitionRef.revision)
+                throw new Conflict('semantic invalidation requires a new revision of the same non-retired scenario');
+            allowed = { ...previous, definitionRef: definition.ref, aggregateVersion: previous.aggregateVersion + 1,
+                invalidationEpoch: previous.invalidationEpoch + 1, state: 'degraded', activationDecisionRef: null };
+        }
+        if (digestOfValue(next).hex !== digestOfValue(allowed).hex)
+            throw new Conflict('scenario commit attempts an unauthorized projection transition');
+        entry.projection = next;
+        checkLocalScenarioState(state, this.scope);
+        const reviewed = await this.checkDefinition(definition);
+        if (admission)
+            await this.authority.validateStateLeases(structuredClone(admission));
+        await this.authority.authorize(structuredClone(this.scope), action);
+        if (this.current().version !== version)
+            return false;
+        reviewed?.assertCurrent();
+        this.write(version, state, admission ? 'workflow.scenario.round-registered' : 'workflow.scenario.invalidated');
+        return true;
+    }
+    ports() {
+        return { authorize: async (scope, action) => { this.scoped(this.id, scope); await this.authority.authorize(structuredClone(scope), action); },
+            read: (id, scope) => this.read(id, scope), resolveDefinition: (ref, scope) => this.resolveDefinition(ref, scope),
+            resolveSelection: (ref, scope) => this.resolveSelection(ref, scope),
+            validateDefinition: async (definition) => {
+                this.scopedDocument(definition);
+                await this.authority.authorize(structuredClone(this.scope), 'read');
+                (await this.checkDefinition(definition))?.assertCurrent();
+            },
+            compareAndSwap: (version, projection, admission) => this.commit(version, projection, admission) };
+    }
+    owner() {
+        return { id: this.id, scope: structuredClone(this.scope), ledger: this.ledger, readPorts: this.ports(),
+            authorizeRead: async (scope) => { this.scoped(this.id, scope); await this.authority.authorize(structuredClone(scope), 'read'); },
+            checkDefinition: definition => this.checkDefinition(definition),
+            current: () => this.current(), entry: state => this.entry(state), write: (version, state, event) => this.write(version, state, event),
+        };
+    }
+    activationPorts(results, authority) {
+        return localScenarioActivationPorts(this.owner(), results, authority);
+    }
+    structuralPorts(authority) {
+        return localScenarioStructurePorts(this.owner(), authority);
+    }
+    promotionPorts(review, authority) {
+        return localScenarioPromotionPorts({ ...this.owner(), authorizeInitialization: async () => {
+                await this.authority.authorize(structuredClone(this.scope), 'initialize');
+            } }, review, authority);
+    }
+}
+//# sourceMappingURL=localScenarioStore.js.map

package/dist/core/localScenarioStore.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"localScenarioStore.js","sourceRoot":"","sources":["../../src/core/localScenarioStore.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,2BAA2B,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,WAAW,EAAE,iBAAiB,EACpH,aAAa,EAAE,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAwB,MAAM,sBAAsB,CAAC;AAC1G,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,eAAe,EACpD,MAAM,yBAAyB,CAAC;AAGhF,OAAO,EAAE,4BAA4B,EAAyC,MAAM,8BAA8B,CAAC;AACnH,OAAO,EAAE,2BAA2B,EAAwC,MAAM,6BAA6B,CAAC;AAGhH,OAAO,EAAE,2BAA2B,EAAwC,MAAM,6BAA6B,CAAC;AAahH,gHAAgH;AAChH,MAAM,OAAO,kBAAkB;IAGA;IAAsC;IAA2C;IAF7F,KAAK,CAAQ;IACb,SAAS,CAAS;IACnC,YAA6B,MAAmB,EAAmB,EAAU,EAAE,KAAY,EAAmB,SAAiC;QAAlH,WAAM,GAAN,MAAM,CAAa;QAAmB,OAAE,GAAF,EAAE,CAAQ;QAAiC,cAAS,GAAT,SAAS,CAAwB;QAC7I,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAAC,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1D,IAAI,CAAC,SAAS,GAAG,sBAAsB,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC;IACzE,CAAC;IACO,MAAM,CAAC,EAAU,EAAE,KAAY;QACrC,IAAI,EAAE,KAAK,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,2CAA2C,CAAC,CAAC;IACvH,CAAC;IACO,cAAc,CAAC,QAAoC;QACzD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,kDAAkD,CAAC,CAAC;IACpJ,CAAC;IACO,OAAO;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClD,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,kCAAkC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC;QAClI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,oBAAoB,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,wDAAwD,CAAC,CAAC;QAC/H,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IAC5F,CAAC;IACO,KAAK,CAAC,KAAyB;QACrC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3E,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,QAAQ,CAAC,mCAAmC,CAAC,CAAC;QAAC,OAAO,KAAK,CAAC;IACpF,CAAC;IACO,KAAK,CAAC,OAAe,EAAE,KAAyB,EAAE,KAAa;QACrE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACjG,CAAC;IACO,KAAK,CAAC,eAAe,CAAC,UAA8B;QAC1D,MAAM,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;QACrE,IAAI,CAAC,UAAU,CAAC,aAAa;YAAE,OAAO,IAAI,CAAC;QAC3C,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW;YAAE,MAAM,IAAI,QAAQ,CAAC,4DAA4D,CAAC,CAAC;QAClH,OAAO,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;IACjG,CAAC;IACD,KAAK,CAAC,UAAU,CAAC,GAAY,EAAE,UAAqB;QAClD,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAC7D,CAAC;IACD,+FAA+F;IAC/F,KAAK,CAAC,OAAO,CAAC,GAAY,EAAE,UAAqB;QAC/C,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAC3D,CAAC;IACO,KAAK,CAAC,eAAe,CAAC,GAAY,EAAE,UAAqB,EAAE,YAAuC;QACxG,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAAC,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QACjI,KAAK,MAAM,QAAQ,IAAI,CAAC,UAAU,EAAE,GAAG,MAAM,CAAC;YAAE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC9E,MAAM,gBAAgB,GAAwB,EAAE,CAAC;QACjD,KAAK,MAAM,SAAS,IAAI,MAAM;YAAE,eAAe,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;QAC7E,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,CAAC;QAC1E,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QACxD,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,CAAC;QAC1E,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,uCAAuC,CAAC,CAAC;QAC9H,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,gBAAgB,EAAE,CAAC,EAAE,aAAa,EAAE,UAAU,CAAC,GAAG;YAC9H,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE,sBAAsB,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,CAAC;QAChI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,UAAU,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,qBAAqB,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3K,QAAQ,EAAE,aAAa,EAAE,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,+BAA+B,CAAC,CAAC;IAC9D,CAAC;IACD,KAAK,CAAC,KAAK,CAAC,GAAY,EAAE,aAAwB,EAAE;QAClD,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAAC,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QACjI,KAAK,MAAM,QAAQ,IAAI,CAAC,UAAU,EAAE,GAAG,MAAM,CAAC;YAAE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC9E,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;QACrE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAAC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAAC,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QAChH,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QAAC,KAAK,MAAM,SAAS,IAAI,MAAM;YAAE,eAAe,CAAC,KAAK,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAC7H,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,GAAG;YAAE,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,oCAAoC,CAAC,CAAC;IAChH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAU,EAAE,KAAY;QACjC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAAC,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QAC5F,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;QAC/C,OAAO,eAAe,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,KAAK,CAAC,iBAAiB,CAAC,GAAQ,EAAE,KAAY;QAC5C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAAC,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACjG,OAAO,eAAe,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAClF,CAAC;IACD,KAAK,CAAC,gBAAgB,CAAC,GAAQ,EAAE,KAAY;QAC3C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAAC,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACjG,OAAO,eAAe,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,KAAK,CAAC,gBAAgB,CAAC,GAAQ,EAAE,KAAY;QAC3C,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAAC,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7H,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,QAAQ,CAAC,2CAA2C,CAAC,CAAC;QAAC,OAAO,eAAe,CAAC,SAAS,CAAC,CAAC;IACrH,CAAC;IACD,kGAAkG;IAClG,KAAK,CAAC,gBAAgB,CAAC,GAAQ,EAAE,KAAY,EAAE,MAAmB;QAChE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,QAAQ,CAAC,gEAAgE,CAAC,CAAC;QACjH,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAAC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3E,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACxE,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC;YACxE,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,SAAS,CAAC,iBAAiB,KAAK,KAAK,CAAC,UAAU,CAAC,iBAAiB;YAAE,MAAM,IAAI,QAAQ,CAAC,sEAAsE,CAAC,CAAC;QACtO,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QACxD,MAAM,IAAI,CAAC,SAAS,CAAC,mBAAmB,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;QACrE,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,OAAO,KAAK,OAAO;YAAE,MAAM,IAAI,QAAQ,CAAC,4DAA4D,CAAC,CAAC;QACzH,QAAQ,EAAE,aAAa,EAAE,CAAC;QAC1B,OAAO,eAAe,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,oBAAoB,CAAC;YAC/G,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,sBAAsB,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACnI,CAAC;IACO,KAAK,CAAC,MAAM,CAAC,QAAgB,EAAE,GAAuB,EAAE,YAAgD;QAC9G,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7E,MAAM,SAAS,GAAG,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACjG,IAAI,SAAS;YAAE,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,YAAY,CAAC;QAC3D,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAAC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAAC,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC;QAC9G,IAAI,QAAQ,CAAC,gBAAgB,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACzD,IAAI,OAA2B,CAAC;QAChC,IAAI,UAA8B,CAAC;QACnC,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAC;gBAC7G,SAAS,CAAC,aAAa,KAAK,QAAQ,CAAC,mBAAmB,GAAG,CAAC,IAAI,SAAS,CAAC,iBAAiB,KAAK,QAAQ,CAAC,iBAAiB;gBAAE,MAAM,IAAI,QAAQ,CAAC,0EAA0E,CAAC,CAAC;YAC/N,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACjC,UAAU,GAAG,gBAAgB,CAAC,KAAK,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;YAC7D,OAAO,GAAG,EAAE,GAAG,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB,GAAG,CAAC,EAAE,mBAAmB,EAAE,SAAS,CAAC,aAAa,EAAE,CAAC;YACzH,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACN,UAAU,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;YACzD,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,aAAa,CAAC,EAAE,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,KAAK,QAAQ,CAAC,aAAa,CAAC,QAAQ;gBAAE,MAAM,IAAI,QAAQ,CAAC,gFAAgF,CAAC,CAAC;YACzP,OAAO,GAAG,EAAE,GAAG,QAAQ,EAAE,aAAa,EAAE,UAAU,CAAC,GAAG,EAAE,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB,GAAG,CAAC;gBACrG,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB,GAAG,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC;QACxG,CAAC;QACD,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,aAAa,CAAC,OAAO,CAAC,CAAC,GAAG;YAAE,MAAM,IAAI,QAAQ,CAAC,gEAAgE,CAAC,CAAC;QACjJ,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC;QAAC,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACpE,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QACxD,IAAI,SAAS;YAAE,MAAM,IAAI,CAAC,SAAS,CAAC,mBAAmB,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;QACpF,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,OAAO,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QACrD,QAAQ,EAAE,aAAa,EAAE,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,oCAAoC,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC;QAC/G,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK;QACH,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3I,IAAI,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,iBAAiB,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC;YAChH,gBAAgB,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC;YACnE,kBAAkB,EAAE,KAAK,EAAC,UAAU,EAAC,EAAE;gBACrC,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;gBAAC,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;gBACrG,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC;YAC5D,CAAC;YACD,cAAc,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,CAAC;IACtG,CAAC;IACO,KAAK;QACX,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,KAAK,EAAE;YACpG,aAAa,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YAC9H,eAAe,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC;YAC/D,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC;SACtI,CAAC;IACJ,CAAC;IACD,eAAe,CAAC,OAAkC,EAAE,SAA2C;QAC7F,OAAO,4BAA4B,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IACxE,CAAC;IACD,eAAe,CAAC,SAA0C;QACxD,OAAO,2BAA2B,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,SAAS,CAAC,CAAC;IAC9D,CAAC;IACD,cAAc,CAAC,MAAwB,EAAE,SAA0C;QACjF,OAAO,2BAA2B,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,EAAE,uBAAuB,EAAE,KAAK,IAAI,EAAE;gBACxF,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,CAAC;YAC5E,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAC1B,CAAC;CACF"}

package/dist/core/localScenarioStructure.d.ts

@@ -0,0 +1,4 @@
+import { type ScenarioStructurePorts } from './scenarioStructure.ts';
+import type { LocalScenarioOwner } from './localScenarioOwner.ts';
+export type LocalScenarioStructureAuthority = Pick<ScenarioStructurePorts, 'authorizeValidation'>;
+export declare function localScenarioStructurePorts(owner: LocalScenarioOwner, authority: LocalScenarioStructureAuthority): ScenarioStructurePorts;

package/dist/core/localScenarioStructure.js

@@ -0,0 +1,52 @@
+import { IdString, ScenarioProjection, ScenarioRevisionToken, ScenarioStructuralValidation, SourceSelection, digestOfValue, refKey, sameScope, verifySelfDigest } from "../protocol/index.js";
+import { StructuralActor, deriveScenarioStructure, structuralIntent } from "./scenarioStructure.js";
+import { storedDefinition, storedSelection } from "./localScenarioState.js";
+import { validateScenarioSnapshot } from "./scenario.js";
+import { Conflict } from "./errors.js";
+import { validateReviewedSourceSelection } from "./sourceReviewEvidence.js";
+export function localScenarioStructurePorts(owner, authority) {
+    return { ...owner.readPorts,
+        authorizeValidation: async (scope, digest) => {
+            if (!sameScope(scope, owner.scope))
+                throw new Conflict('structural validation scope mismatch');
+            return authority.authorizeValidation(structuredClone(scope), structuredClone(digest));
+        },
+        readStructuralValidation: async (id, scope) => {
+            IdString.parse(id);
+            await owner.authorizeRead(scope);
+            return structuredClone(owner.entry(owner.current().state).structuralValidations.find(v => v.ref.id === id) ?? null);
+        },
+        compareAndSwapStructuralValidation: async (rawToken, rawNext, rawValidation, rawBundle) => {
+            const token = ScenarioRevisionToken.parse(rawToken);
+            const next = ScenarioProjection.parse(rawNext);
+            const validation = ScenarioStructuralValidation.parse(rawValidation);
+            const bundle = structuredClone(rawBundle);
+            if (token.id !== owner.id || next.id !== owner.id || !sameScope(token.scope, owner.scope) ||
+                !sameScope(next.scope, owner.scope) || !sameScope(validation.scope, owner.scope) || !verifySelfDigest(validation))
+                throw new Conflict('structural validation identity, scope or seal mismatch');
+            await owner.authorizeRead(structuredClone(owner.scope));
+            const { version, state } = owner.current();
+            const entry = owner.entry(state);
+            if (entry.structuralValidations.some(v => v.ref.id === validation.ref.id))
+                return false;
+            validateScenarioSnapshot({ projection: entry.projection, admissions: entry.admissions }, token);
+            const definition = storedDefinition(entry, token.expectedDefinitionRef);
+            const reviewed = await owner.checkDefinition(definition);
+            if (reviewed && bundle.request?.sourceSelectionRef)
+                validateReviewedSourceSelection(reviewed.documents, SourceSelection.parse(bundle.documents[refKey(bundle.request.sourceSelectionRef)]));
+            const intent = structuralIntent(token, bundle);
+            const actor = StructuralActor.parse(await authority.authorizeValidation(structuredClone(owner.scope), structuredClone(intent.digest)));
+            const expected = deriveScenarioStructure(token, entry.projection, definition, storedSelection(entry, definition.qualificationMatrixRef), bundle, actor, validation.validatedAt);
+            if (digestOfValue(expected.validation).hex !== digestOfValue(validation).hex || digestOfValue(expected.next).hex !== digestOfValue(next).hex)
+                throw new Conflict('structural validation differs from compiled closure or current authority');
+            if (owner.current().version !== version)
+                return false;
+            reviewed?.assertCurrent();
+            entry.projection = next;
+            entry.structuralValidations.push(validation);
+            owner.write(version, state, 'workflow.scenario.structure-validated');
+            return true;
+        },
+    };
+}
+//# sourceMappingURL=localScenarioStructure.js.map

package/dist/core/localScenarioStructure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"localScenarioStructure.js","sourceRoot":"","sources":["../../src/core/localScenarioStructure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,4BAA4B,EAAE,eAAe,EACzG,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,gBAAgB,EAA+B,MAAM,wBAAwB,CAAC;AACjI,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC5E,OAAO,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAEzD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAG5E,MAAM,UAAU,2BAA2B,CAAC,KAAyB,EAAE,SAA0C;IAC/G,OAAO,EAAE,GAAG,KAAK,CAAC,SAAS;QACzB,mBAAmB,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;YAC3C,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,QAAQ,CAAC,sCAAsC,CAAC,CAAC;YAC/F,OAAO,SAAS,CAAC,mBAAmB,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;QACxF,CAAC;QACD,wBAAwB,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;YAC5C,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAAC,MAAM,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YACrD,OAAO,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC;QACtH,CAAC;QACD,kCAAkC,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,EAAE;YACxF,MAAM,KAAK,GAAG,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAAC,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACpG,MAAM,UAAU,GAAG,4BAA4B,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YAAC,MAAM,MAAM,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;YAChH,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;gBACrF,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC;gBAAE,MAAM,IAAI,QAAQ,CAAC,wDAAwD,CAAC,CAAC;YACpM,MAAM,KAAK,CAAC,aAAa,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YACxD,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;YAAC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC7E,IAAI,KAAK,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,OAAO,KAAK,CAAC;YACxF,wBAAwB,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,EAAE,KAAK,CAAC,CAAC;YAChG,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACxE,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;YACzD,IAAI,QAAQ,IAAI,MAAM,CAAC,OAAO,EAAE,kBAAkB;gBAAE,+BAA+B,CAAC,QAAQ,CAAC,SAAS,EACpG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;YACtF,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC/C,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,SAAS,CAAC,mBAAmB,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvI,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,EAAE,UAAU,EAC1E,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,sBAAsB,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;YACpG,IAAI,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,GAAG,KAAK,aAAa,CAAC,UAAU,CAAC,CAAC,GAAG,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG;gBAAE,MAAM,IAAI,QAAQ,CAAC,0EAA0E,CAAC,CAAC;YAC7O,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC,OAAO,KAAK,OAAO;gBAAE,OAAO,KAAK,CAAC;YACtD,QAAQ,EAAE,aAAa,EAAE,CAAC;YAC1B,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC;YAAC,KAAK,CAAC,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACtE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,uCAAuC,CAAC,CAAC;YACrE,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/core/localStructureState.d.ts

@@ -0,0 +1,2 @@
+import type { StoredScenario } from './localScenarioState.ts';
+export declare function validateStoredStructure(entry: StoredScenario): void;

package/dist/core/localStructureState.js

@@ -0,0 +1,22 @@
+import { sameRef, sameScope, verifySelfDigest } from "../protocol/index.js";
+import { structuralIntentBinding } from "./scenarioStructure.js";
+import { Conflict } from "./errors.js";
+export function validateStoredStructure(entry) {
+    const p = entry.projection;
+    const ids = new Set();
+    for (const record of entry.structuralValidations) {
+        const token = record.snapshot;
+        const definition = entry.definitions.find(d => sameRef(d.ref, token.expectedDefinitionRef));
+        if (ids.has(record.ref.id) || !verifySelfDigest(record) || record.ref.revision !== '1' ||
+            record.ref.id !== structuralIntentBinding(token, record.requestRef, record.executableClosureDigest).id ||
+            !sameScope(record.scope, p.scope) || !sameScope(token.scope, p.scope) || token.id !== p.id ||
+            token.expectedAggregateVersion >= p.aggregateVersion || token.expectedInvalidationEpoch > p.invalidationEpoch ||
+            token.expectedLatestRoundSequence > p.latestRoundSequence || !definition ||
+            !sameRef(record.qualificationMatrixRef, definition.qualificationMatrixRef))
+            throw new Conflict('stored structural validation identity, history or bindings changed');
+        ids.add(record.ref.id);
+    }
+    if (p.state === 'validating' && entry.structuralValidations.length && !entry.structuralValidations.some(record => sameRef(record.snapshot.expectedDefinitionRef, p.definitionRef) && record.snapshot.expectedInvalidationEpoch === p.invalidationEpoch))
+        throw new Conflict('validating scenario lacks current structural validation');
+}
+//# sourceMappingURL=localStructureState.js.map

package/dist/core/localStructureState.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"localStructureState.js","sourceRoot":"","sources":["../../src/core/localStructureState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAGvC,MAAM,UAAU,uBAAuB,CAAC,KAAqB;IAC3D,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;IAAC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1D,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,qBAAqB,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC9B,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAAC;QAC5F,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,KAAK,GAAG;YAClF,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,uBAAuB,CAAC,CAAC,EAAE;YACtG,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;YAC1F,KAAK,CAAC,wBAAwB,IAAI,CAAC,CAAC,gBAAgB,IAAI,KAAK,CAAC,yBAAyB,GAAG,CAAC,CAAC,iBAAiB;YAC7G,KAAK,CAAC,2BAA2B,GAAG,CAAC,CAAC,mBAAmB,IAAI,CAAC,UAAU;YACxE,CAAC,OAAO,CAAC,MAAM,CAAC,sBAAsB,EAAE,UAAU,CAAC,sBAAsB,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,oEAAoE,CAAC,CAAC;QACzK,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,KAAK,CAAC,qBAAqB,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAC/G,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,qBAAqB,EAAE,CAAC,CAAC,aAAa,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,yBAAyB,KAAK,CAAC,CAAC,iBAAiB,CAAC;QAAE,MAAM,IAAI,QAAQ,CAAC,yDAAyD,CAAC,CAAC;AACzN,CAAC"}