Added statute "prover" extension loading via "extension subjects"

compliance/test.js

@@ -1,11 +1,10 @@
 const { fork } = require('child_process');
 const { createWriteStream } = require('fs');
-const { join } = require('path');
+const { dirname, join } = require('path');
 const inspector = require('inspector');
 const LOG = require('loglevel');
 
-const COMPLIANCE_DIR = '../node_modules/@m-ld/m-ld-spec/compliance'.split('/');
-const COMPLIANCE_PATH = join(__dirname, ...COMPLIANCE_DIR);
+const COMPLIANCE_PATH = dirname(require.resolve('@m-ld/m-ld-spec/compliance/jasmine.json'));
 const Jasmine = require(require.resolve('jasmine', { paths: [COMPLIANCE_PATH] }));
 const jasmine = new Jasmine();
 

package.json

@@ -6,6 +6,7 @@
   "types": "dist/index.d.ts",
   "exports": {
     ".": "./dist/index.js",
+    "./dist/orm": "./dist/orm/index.js",
     "./dist/mqtt": "./dist/mqtt/index.js",
     "./dist/socket.io": "./dist/socket.io/index.js",
     "./dist/socket.io-server": "./dist/socket.io/server/index.js",

src/ably/AblyRemotes.ts

@@ -41,7 +41,7 @@ export class AblyRemotes extends PubsubRemotes {
 
   constructor(
     config: MeldAblyConfig,
-    extensions: MeldExtensions,
+    extensions: () => Promise<MeldExtensions>,
     connect = ablyConnect
   ) {
     super(config, extensions);

src/ably/AblyWrtcRemotes.ts

@@ -8,7 +8,7 @@ export class AblyWrtcRemotes extends AblyRemotes implements PeerSignaller {
 
   constructor(
     config: MeldAblyConfig & MeldWrtcConfig,
-    extensions: MeldExtensions,
+    extensions: () => Promise<MeldExtensions>,
     connect = ablyConnect
   ) {
     super(config, extensions, connect);

src/api.ts

@@ -11,7 +11,7 @@ import { QueryableRdfSource } from './rdfjs-support';
 import { Consumable, each, flow, Flowable } from 'rx-flowable';
 import { Future, tapComplete } from './engine/util';
 import { MeldMessageType } from './ns/m-ld';
-import { MeldApp, MeldConfig } from './config';
+import { MeldApp } from './config';
 
 /**
  * A convenience type for a struct with a `@insert` and `@delete` property, like
@@ -433,6 +433,32 @@ export interface MeldClone extends MeldStateMachine {
   close(err?: any): Promise<unknown>;
 }
 
+/**
+ * Some component of type `T` that is loaded from domain state. The current
+ * value may change as the domain evolves; and may also be temporarily
+ * unavailable during an update.
+ * @internal
+ */
+export interface StateManaged<T> {
+  /**
+   * Get the current or next available value, ready for use (or a rejection,
+   * e.g. if the clone is shutting down).
+   */
+  ready(): Promise<T>;
+  /**
+   * Initialises the extensions against the given clone state. This method could
+   * be used to read significant state into memory for the efficient
+   * implementation of an extension's function.
+   */
+  readonly initialise?: StateProc;
+  /**
+   * Called to inform the extensions of an update to the state, _after_ it has
+   * been applied. If available, this procedure will be called for every state
+   * after that passed to {@link initialise}.
+   */
+  readonly onUpdate?: UpdateProc<MeldPreUpdate>;
+}
+
 /**
  * Extensions applied to a **m-ld** clone.
  *
@@ -444,9 +470,6 @@ export interface MeldClone extends MeldStateMachine {
  * to prevent outdated clones from acting incorrectly in ways that could cause
  * data corruption or compromise security. Consult the extension's documentation
  * for safe operation.
- *
- * @experimental
- * @category Experimental
  */
 export interface MeldExtensions {
   /**
@@ -470,25 +493,6 @@ export interface MeldExtensions {
    * @experimental
    */
   readonly transportSecurity?: MeldTransportSecurity;
-  /**
-   * Initialises the extensions against the given clone state. This method could
-   * be used to read significant state into memory for the efficient
-   * implementation of an extension's function.
-   */
-  readonly initialise?: StateProc;
-  /**
-   * Called to inform the extensions of an update to the state, _after_ it has
-   * been applied. If available, this procedure will be called for every state
-   * after that passed to {@link initialise}.
-   */
-  readonly onUpdate?: UpdateProc<MeldPreUpdate>;
-}
-
-/**
- * Required constructor form for **m-ld** extension classes
- */
-export interface ConstructMeldExtensions {
-  new(config: MeldConfig, app: MeldApp): MeldExtensions;
 }
 
 /**