@overkill-dev/model 0.0.1 → 0.0.2

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) Overkill contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/model/model-authoring.d.ts

@@ -0,0 +1,6 @@
+import { type PropertyInvocation } from '@overkill-dev/property';
+import type { TestCase } from '@overkill-dev/engine';
+import type { ModelDefinition, ModelScenarioDefinition } from './model-definition.ts';
+export declare function modelScenario<State, Operation, System>(definition: ModelScenarioDefinition<State, Operation, System>): PropertyInvocation<readonly Operation[]>;
+export declare function model<State, Operation, System>(definition: ModelDefinition<State, Operation, System>): TestCase;
+//# sourceMappingURL=model-authoring.d.ts.map

package/model/model-authoring.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-authoring.d.ts","sourceRoot":"","sources":["../../../../source/model/model-authoring.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,KAAK,kBAAkB,EAAE,MAAM,wBAA8C,CAAC;AACjG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAA0C,CAAC;AACzE,OAAO,KAAK,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAItF,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAClD,UAAU,EAAE,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,GAC9D,kBAAkB,CAAC,SAAS,SAAS,EAAE,CAAC,CAiB1C;AAED,wBAAgB,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,QAAQ,CAE/G"}

package/model/model-authoring.js

@@ -0,0 +1,25 @@
+import { property } from "@overkill-dev/property";
+import { modelTrace } from "./model-trace.js";
+import { modelExecution } from "./model-execution.js";
+export function modelScenario(definition) {
+    const snapshot = Object.freeze({
+        ...definition,
+        length: Object.freeze({ ...definition.length }),
+        examples: Object.freeze(Array.from(definition.examples)),
+        coverage: Object.freeze(definition.coverage.map(function (requirement) {
+            return Object.freeze({ ...requirement });
+        }))
+    });
+    const generator = modelTrace(snapshot, snapshot.length);
+    const invocation = {
+        generator: snapshot.codec === null ? generator : generator.withCodec(snapshot.codec),
+        examples: snapshot.examples,
+        coverage: snapshot.coverage,
+        test: modelExecution(snapshot)
+    };
+    return Object.freeze(invocation);
+}
+export function model(definition) {
+    return property({ title: definition.title, settings: definition.settings, ...modelScenario(definition) });
+}
+//# sourceMappingURL=model-authoring.js.map

package/model/model-authoring.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-authoring.js","sourceRoot":"","sources":["../../../../source/model/model-authoring.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAA2B,MAAM,wBAA8C,CAAC;AAGjG,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtD,MAAM,UAAU,aAAa,CACzB,UAA6D;IAE7D,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;QAC3B,GAAG,UAAU;QACb,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;QAC/C,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACxD,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,WAAW;YACjE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;KACN,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG;QACf,SAAS,EAAE,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;QACpF,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,IAAI,EAAE,cAAc,CAAC,QAAQ,CAAC;KACjC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,KAAK,CAA2B,UAAqD;IACjG,OAAO,QAAQ,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,GAAG,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;AAC9G,CAAC"}

package/model/model-definition.d.ts

@@ -0,0 +1,26 @@
+import type { Generator as PropertyGenerator, LengthBounds, PropertyCoverageRequirement, PropertyExample, PropertyInputCodec, PropertySampleScope, PropertySettings } from '@overkill-dev/property';
+export type ModelTransition<State> = {
+    readonly kind: 'disabled';
+} | {
+    readonly kind: 'enabled';
+    readonly state: State;
+};
+export type ModelMachine<State, Operation> = {
+    readonly initial: () => State;
+    readonly commands: (state: Readonly<State>) => PropertyGenerator<Operation> | null;
+    readonly transition: (state: Readonly<State>, operation: Readonly<Operation>) => ModelTransition<State>;
+};
+export type ModelScenarioDefinition<State, Operation, System> = ModelMachine<State, Operation> & {
+    readonly length: LengthBounds;
+    readonly codec: PropertyInputCodec<readonly Operation[]> | null;
+    readonly examples: readonly PropertyExample<readonly Operation[]>[];
+    readonly coverage: readonly PropertyCoverageRequirement[];
+    readonly create: (sample: PropertySampleScope<readonly Operation[]>) => Promise<System> | System;
+    readonly run: (operation: Operation, system: System, sample: PropertySampleScope<readonly Operation[]>) => Promise<void> | void;
+    readonly check: (state: Readonly<State>, system: System, sample: PropertySampleScope<readonly Operation[]>) => Promise<void> | void;
+};
+export type ModelDefinition<State, Operation, System> = ModelScenarioDefinition<State, Operation, System> & {
+    readonly title: string;
+    readonly settings: PropertySettings;
+};
+//# sourceMappingURL=model-definition.d.ts.map

package/model/model-definition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-definition.d.ts","sourceRoot":"","sources":["../../../../source/model/model-definition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,SAAS,IAAI,iBAAiB,EAC9B,YAAY,EACZ,2BAA2B,EAC3B,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EACnB,MAAM,wBAA8C,CAAC;AAEtD,MAAM,MAAM,eAAe,CAAC,KAAK,IAAI;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAAE,GAAG;IAClE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,YAAY,CAAC,KAAK,EAAE,SAAS,IAAI;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,KAAK,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,iBAAiB,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;IACnF,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,eAAe,CAAC,KAAK,CAAC,CAAC;CAC3G,CAAC;AAEF,MAAM,MAAM,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,IAAI,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG;IAC7F,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC,SAAS,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC;IAChE,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,CAAC,SAAS,SAAS,EAAE,CAAC,EAAE,CAAC;IACpE,QAAQ,CAAC,QAAQ,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC1D,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,mBAAmB,CAAC,SAAS,SAAS,EAAE,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;IACjG,QAAQ,CAAC,GAAG,EAAE,CACV,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,mBAAmB,CAAC,SAAS,SAAS,EAAE,CAAC,KAChD,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,CACZ,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,EACtB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,mBAAmB,CAAC,SAAS,SAAS,EAAE,CAAC,KAChD,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,IAAI,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG;IACxG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;CACvC,CAAC"}

package/model/model-execution.js

@@ -0,0 +1,42 @@
+function predictModelTrace(machine, operations, prediction, signal) {
+    const systemOperations = operations.values();
+    const initial = machine.initial();
+    let state = initial;
+    const steps = prediction.map(function predictOperation(operation, index) {
+        signal.throwIfAborted();
+        const systemOperation = systemOperations.next();
+        if (systemOperation.done === true) {
+            throw new TypeError('Model reconstruction changed the trace length.');
+        }
+        const next = machine.transition(state, operation);
+        if (next.kind === 'disabled') {
+            throw new TypeError(`Model trace contains a disabled operation at index ${index}.`);
+        }
+        state = next.state;
+        return { state, operation: systemOperation.value };
+    });
+    if (systemOperations.next().done !== true) {
+        throw new TypeError('Model reconstruction changed the trace length.');
+    }
+    return { initial, steps };
+}
+async function checkOperations(definition, steps, system, sample) {
+    for (const step of steps) {
+        sample.signal.throwIfAborted();
+        await definition.run(step.operation, system, sample);
+        sample.signal.throwIfAborted();
+        await definition.check(step.state, system, sample);
+    }
+}
+export function modelExecution(definition) {
+    return async function evaluateModel(operations, sample) {
+        const prediction = predictModelTrace(definition, operations, sample.reconstructInput(), sample.signal);
+        sample.signal.throwIfAborted();
+        const system = await definition.create(sample);
+        sample.signal.throwIfAborted();
+        await definition.check(prediction.initial, system, sample);
+        await checkOperations(definition, prediction.steps, system, sample);
+        return sample.assert.collect();
+    };
+}
+//# sourceMappingURL=model-execution.js.map

package/model/model-execution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-execution.js","sourceRoot":"","sources":["../../../../source/model/model-execution.ts"],"names":[],"mappings":"AASA,SAAS,iBAAiB,CACtB,OAAuC,EACvC,UAAgC,EAChC,UAAgC,EAChC,MAAmB;IAEnB,MAAM,gBAAgB,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;IAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;IAClC,IAAI,KAAK,GAAG,OAAO,CAAC;IACpB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,gBAAgB,CAAC,SAAS,EAAE,KAAK;QACnE,MAAM,CAAC,cAAc,EAAE,CAAC;QACxB,MAAM,eAAe,GAAG,gBAAgB,CAAC,IAAI,EAAE,CAAC;QAChD,IAAI,eAAe,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAChC,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAClD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,MAAM,IAAI,SAAS,CAAC,sDAAsD,KAAK,GAAG,CAAC,CAAC;QACxF,CAAC;QACD,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACnB,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,eAAe,CAAC,KAAK,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,IAAI,gBAAgB,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxC,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC;AAED,KAAK,UAAU,eAAe,CAC1B,UAA6D,EAC7D,KAA6C,EAC7C,MAAc,EACd,MAAiD;IAEjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;QAC/B,MAAM,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACrD,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;QAC/B,MAAM,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACvD,CAAC;AACL,CAAC;AAED,MAAM,UAAU,cAAc,CAC1B,UAA6D;IAE7D,OAAO,KAAK,UAAU,aAAa,CAAC,UAAU,EAAE,MAAM;QAClD,MAAM,UAAU,GAAG,iBAAiB,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,gBAAgB,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QACvG,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;QAC/B,MAAM,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC3D,MAAM,eAAe,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACpE,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;IACnC,CAAC,CAAC;AACN,CAAC"}

package/model/model-trace.js

@@ -0,0 +1,38 @@
+import { gen } from "@overkill-dev/property";
+function traceSuffix(machine, state, remaining) {
+    if (remaining === 0) {
+        return gen.constant(null).map(function () {
+            return [];
+        });
+    }
+    const commands = machine.commands(state);
+    if (commands === null) {
+        return gen.constant(null).map(function () {
+            return [];
+        });
+    }
+    return commands
+        .filter(function enabled(operation) {
+        return machine.transition(state, operation).kind === 'enabled';
+    })
+        .flatMap(function extendTrace(operation) {
+        const next = machine.transition(state, operation);
+        if (next.kind !== 'enabled') {
+            throw new TypeError('Model transitions must be deterministic.');
+        }
+        return traceSuffix(machine, next.state, remaining - 1).map(function prependOperation(suffix) {
+            return [operation, ...suffix];
+        });
+    });
+}
+export function modelTrace(machine, length) {
+    return gen
+        .array(gen.constant(null), length)
+        .flatMap(function generateTrace(slots) {
+        return traceSuffix(machine, machine.initial(), slots.length);
+    })
+        .filter(function meetsMinimum(trace) {
+        return trace.length >= length.minLength;
+    });
+}
+//# sourceMappingURL=model-trace.js.map

package/model/model-trace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-trace.js","sourceRoot":"","sources":["../../../../source/model/model-trace.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,GAAG,EAGN,MAAM,wBAA8C,CAAC;AAGtD,SAAS,WAAW,CAChB,OAAuC,EACvC,KAAY,EACZ,SAAiB;IAEjB,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;QAClB,OAAO,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAuB;YAChD,OAAO,EAAE,CAAC;QACd,CAAC,CAAC,CAAC;IACP,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAuB;YAChD,OAAO,EAAE,CAAC;QACd,CAAC,CAAC,CAAC;IACP,CAAC;IACD,OAAO,QAAQ;SACV,MAAM,CAAC,SAAS,OAAO,CAAC,SAAS;QAC9B,OAAO,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;IACnE,CAAC,CAAC;SACD,OAAO,CAAC,SAAS,WAAW,CAAC,SAAS;QACnC,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAClD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC,GAAG,CACtD,SAAS,gBAAgB,CAAC,MAAM;YAC5B,OAAO,CAAE,SAAS,EAAE,GAAG,MAAM,CAAE,CAAC;QACpC,CAAC,CACJ,CAAC;IACN,CAAC,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,UAAU,CACtB,OAAuC,EACvC,MAAoB;IAEpB,OAAO,GAAG;SACL,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;SACjC,OAAO,CAAC,SAAS,aAAa,CAAC,KAAK;QACjC,OAAO,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACjE,CAAC,CAAC;SACD,MAAM,CAAC,SAAS,YAAY,CAAC,KAAK;QAC/B,OAAO,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC;IAC5C,CAAC,CAAC,CAAC;AACX,CAAC"}

package/package.json

@@ -1,7 +1,35 @@
 {
-  "name": "@overkill-dev/model",
-  "version": "0.0.1",
-  "description": "Placeholder claiming the npm package name \"@overkill-dev/model\" so a trusted publisher can be configured. See https://github.com/npm/cli/issues/8544.",
-  "license": "MIT",
-  "deprecated": "Placeholder published as a workaround so a Trusted Publisher could be configured. See https://github.com/npm/cli/issues/8544."
-}
+    "author": "Christian Rackerseder <git@echooff.de>",
+    "bugs": {
+        "url": "https://github.com/enormora/overkill/issues"
+    },
+    "description": "Sequential model-based testing above the Overkill property core.",
+    "engines": {
+        "node": "^26.9.0"
+    },
+    "exports": {
+        ".": {
+            "import": "./packages/model/model.entry-point.js",
+            "types": "./packages/model/model.entry-point.d.ts"
+        }
+    },
+    "homepage": "https://github.com/enormora/overkill#readme",
+    "keywords": [
+        "tdd",
+        "test",
+        "tests"
+    ],
+    "license": "MIT",
+    "name": "@overkill-dev/model",
+    "peerDependencies": {
+        "@overkill-dev/engine": "0.0.78",
+        "@overkill-dev/property": "0.0.3"
+    },
+    "repository": {
+        "type": "git",
+        "url": "git+https://github.com/enormora/overkill.git"
+    },
+    "sideEffects": false,
+    "type": "module",
+    "version": "0.0.2"
+}

package/packages/model/model.entry-point.d.ts

@@ -0,0 +1,3 @@
+export { model, modelScenario } from '../../model/model-authoring.ts';
+export type { ModelDefinition, ModelMachine, ModelScenarioDefinition, ModelTransition } from '../../model/model-definition.ts';
+//# sourceMappingURL=model.entry-point.d.ts.map

package/packages/model/model.entry-point.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.entry-point.d.ts","sourceRoot":"","sources":["../../../../../source/packages/model/model.entry-point.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AACtE,YAAY,EACR,eAAe,EACf,YAAY,EACZ,uBAAuB,EACvB,eAAe,EAClB,MAAM,iCAAiC,CAAC"}

package/packages/model/model.entry-point.js

@@ -0,0 +1,2 @@
+export { model, modelScenario } from "../../model/model-authoring.js";
+//# sourceMappingURL=model.entry-point.js.map

package/packages/model/model.entry-point.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.entry-point.js","sourceRoot":"","sources":["../../../../../source/packages/model/model.entry-point.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC"}

package/readme.md

@@ -1,7 +1,57 @@
-# @overkill-dev/model
+# `@overkill-dev/model`
 
-This version is a placeholder published only to claim the npm name `@overkill-dev/model` so a Trusted Publisher
-can subsequently be configured for it. It contains no real package content and is published already
-deprecated.
+Install separately with `npm install -D @overkill-dev/model`. Model tests use
+`testFamily: 'property'` profiles and their normal budgets and supervision.
+They cannot attach resources or access capabilities forbidden to properties.
 
-Workaround context: https://github.com/npm/cli/issues/8544
+```ts
+import { model } from '@overkill-dev/model';
+import { gen } from '@overkill-dev/property';
+
+export const testNode = model({
+    title: 'counter matches its model',
+    settings: {},
+    initial: () => 0,
+    commands: () => gen.integer({ min: 1, max: 5 }),
+    transition: (state, operation) => ({ kind: 'enabled', state: state + operation }),
+    length: { minLength: 1, maxLength: 20 },
+    codec: null,
+    examples: [],
+    coverage: [],
+    create: () => ({ value: 0 }),
+    run(operation, system) {
+        system.value += operation;
+    },
+    check(state, system, sample) {
+        sample.assert.equal(system.value, state);
+    }
+});
+```
+
+`initial`, `commands`, and `transition` are pure, synchronous, deterministic
+callbacks. Initial state must be fresh. Transitions return a new expected state
+without mutating their state or operation. Disabled transitions return
+`{ kind: 'disabled' }`; generation rejects them rather than skipping commands.
+Return `null` from `commands` for a terminal state. Short terminal traces must
+still satisfy `minLength`. Property `maxSize` caps generated trace length.
+
+Each evaluation reconstructs separate operation graphs for prediction and system
+execution. Aliases and cycles remain intact within each graph. The scheduled
+command sequence stays fixed when a payload refers back to its trace. System mutation
+cannot change expected model state or retained witnesses. This relies on the
+property reconstruction contract: factories cannot return shared mutable data.
+Supply a versioned codec for the complete trace when operations use custom types.
+
+`create`, `run`, and `check` may be asynchronous. Checks run initially and after
+each operation. Register disposal through `sample.cleanup`; cleanup finishes
+before another trial starts. Assertions retain ordinary `assert` and `require`
+semantics, including zero-assertion detection. One model is one property case.
+
+`modelScenario(definition)` omits `title` and `settings` and returns a property
+invocation. Pass it to `scope.forall` inside `withProperties`, or spread it into
+`property`. Preview its generator with `sampleGenerator`.
+
+Shrinking, failure confirmation, witnesses, corpus promotion, and replay use
+existing property APIs and commands. Stored traces replay without command
+generation and independently of current generation length limits. Every stored
+transition must remain enabled; incompatible traces fail before system creation.

package/software-bill-of-materials.cyclonedx.json

@@ -0,0 +1,67 @@
+{
+    "$schema": "http://cyclonedx.org/schema/bom-1.6.schema.json",
+    "bomFormat": "CycloneDX",
+    "specVersion": "1.6",
+    "version": 1,
+    "metadata": {
+        "tools": {
+            "components": [
+                {
+                    "type": "application",
+                    "name": "packtory",
+                    "version": "0.0.124"
+                }
+            ]
+        },
+        "component": {
+            "type": "library",
+            "name": "@overkill-dev/model",
+            "version": "0.0.2",
+            "bom-ref": "pkg:npm/@overkill-dev/model@0.0.2",
+            "purl": "pkg:npm/@overkill-dev/model@0.0.2"
+        }
+    },
+    "components": [
+        {
+            "type": "library",
+            "name": "@overkill-dev/engine",
+            "version": "0.0.78",
+            "bom-ref": "pkg:npm/@overkill-dev/engine@0.0.78",
+            "scope": "optional",
+            "licenses": [
+                {
+                    "expression": "MIT"
+                }
+            ],
+            "purl": "pkg:npm/@overkill-dev/engine@0.0.78"
+        },
+        {
+            "type": "library",
+            "name": "@overkill-dev/property",
+            "version": "0.0.3",
+            "bom-ref": "pkg:npm/@overkill-dev/property@0.0.3",
+            "scope": "optional",
+            "licenses": [
+                {
+                    "expression": "MIT"
+                }
+            ],
+            "purl": "pkg:npm/@overkill-dev/property@0.0.3"
+        }
+    ],
+    "dependencies": [
+        {
+            "ref": "pkg:npm/@overkill-dev/engine@0.0.78"
+        },
+        {
+            "ref": "pkg:npm/@overkill-dev/model@0.0.2",
+            "dependsOn": [
+                "pkg:npm/@overkill-dev/engine@0.0.78",
+                "pkg:npm/@overkill-dev/property@0.0.3"
+            ]
+        },
+        {
+            "ref": "pkg:npm/@overkill-dev/property@0.0.3"
+        }
+    ]
+}