dirvi-lib 0.8.1 → 0.9.0

package/dist/app/app-api.d.ts

@@ -0,0 +1,74 @@
+import type { ViewApi } from './view-api.js';
+import type { CursorApi, FoldsApi, NavNodeApi, SerializableKey, State, StateApi, TreeNode, TreeNodeApi } from '../trees/index.js';
+/**
+ * Application-specific tree dependencies and operations.
+ *
+ * This is currently migrated through the generic TreeNode and State APIs.
+ * Navigation-specific APIs remain outside this type until NavNodeApi has been
+ * migrated from the old structural TreeNode API.
+ *
+ * @typeParam Id - The sibling-unique tree-node ID type.
+ * @typeParam Value - Application-owned data stored in each tree node.
+ * @typeParam ViewKey - The key used to identify view implementations.
+ */
+export type AppApi<Id extends SerializableKey, Value, ViewKey = string> = Readonly<{
+    /**
+     * Name used to distinguish the application, for example `posix` for a
+     * POSIX-directory application.
+     */
+    appId: string;
+    /**
+     * Name used to distinguish a particular application instance.
+     */
+    name: string;
+    /**
+     * ID used for the application's root node.
+     */
+    rootId: Id;
+    /**
+     * Loads direct children for the branch addressed by `path`.
+     *
+     * Returned nodes must be opaque tree values created or decoded through this
+     * application's TreeNodeApi specialization.
+     */
+    loadBranches: (path: readonly Id[]) => Promise<readonly TreeNode<Id, Value>[]>;
+    /**
+     * Creates the application's root node.
+     *
+     * Invariant: the returned node is an open branch. That invariant is checked
+     * when an initial State is created.
+     */
+    createRoot: () => Promise<TreeNode<Id, Value>>;
+    /**
+     * Subscribes to external data changes that require tree state to be loaded
+     * again.
+     *
+     * Returns an unsubscribe function.
+     */
+    subscribeToResync: (listener: () => void) => () => void;
+    /**
+     * Generic structural operations for this application's buffer tree.
+     */
+    treeNodeApi: TreeNodeApi<Id, Value>;
+    /**
+     * Semantic fold-state operations.
+     *
+     * This remains temporarily available while FoldNode itself is migrated.
+     */
+    foldsApi: FoldsApi<Id>;
+    cursorApi: CursorApi<Id>;
+    stateApi: StateApi<Id, Value>;
+    /**
+     * UI navigation projection and cursor-navigation operations.
+     */
+    navNodeApi: NavNodeApi<Id, Value>;
+    viewKey: ViewKey;
+    viewApi: ViewApi<State<Id, Value>, ViewKey>;
+}>;
+export type AppStateApis<Id extends SerializableKey, Value> = Readonly<{
+    treeNodeApi: TreeNodeApi<Id, Value>;
+    cursorApi: CursorApi<Id>;
+    stateApi: StateApi<Id, Value>;
+}>;
+export declare function createAppStateApis<Id extends SerializableKey, Value>(): AppStateApis<Id, Value>;
+//# sourceMappingURL=app-api.d.ts.map

package/dist/app/app-api.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"app-api.d.ts","sourceRoot":"","sources":["../../src/app/app-api.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EACV,SAAS,EAAE,QAAQ,EAAE,UAAU,EAC/B,eAAe,EACf,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,WAAW,EACZ,MAAM,mBAAmB,CAAC;AAO3B;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,CAAC,EAAE,SAAS,eAAe,EAAE,KAAK,EAAE,OAAO,GAAG,MAAM,IAAI,QAAQ,CAAC;IACjF;;;OAGG;IACH,KAAK,EAAE,MAAM,CAAC;IAEd;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IAEb;;OAEG;IACH,MAAM,EAAE,EAAE,CAAC;IAEX;;;;;OAKG;IACH,YAAY,EAAE,CACZ,IAAI,EAAE,SAAS,EAAE,EAAE,KAChB,OAAO,CAAC,SAAS,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAE7C;;;;;OAKG;IACH,UAAU,EAAE,MAAM,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;IAE/C;;;;;OAKG;IACH,iBAAiB,EAAE,CAAC,QAAQ,EAAE,MAAM,IAAI,KAAK,MAAM,IAAI,CAAC;IAExD;;OAEG;IACH,WAAW,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAEpC;;;;OAIG;IACH,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;IAEvB,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IAEzB,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAE9B;;OAEG;IACH,UAAU,EAAE,UAAU,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAElC,OAAO,EAAE,OAAO,CAAC;IAEjB,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;CAC7C,CAAC,CAAC;AAEH,MAAM,MAAM,YAAY,CAAC,EAAE,SAAS,eAAe,EAAE,KAAK,IAAI,QAAQ,CAAC;IACrE,WAAW,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACpC,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IACzB,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;CAC/B,CAAC,CAAC;AAEH,wBAAgB,kBAAkB,CAChC,EAAE,SAAS,eAAe,EAC1B,KAAK,KACF,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC,CAU3B"}

package/dist/app/app-api.js

@@ -0,0 +1,11 @@
+import { createCursorApi, createStateApi, createTreeNodeApi, } from '../trees/index.js';
+export function createAppStateApis() {
+    const treeNodeApi = createTreeNodeApi();
+    const cursorApi = createCursorApi();
+    const stateApi = createStateApi(treeNodeApi, cursorApi);
+    return {
+        treeNodeApi,
+        cursorApi,
+        stateApi,
+    };
+}

package/dist/app/effect-to-action.d.ts

@@ -0,0 +1,6 @@
+import type { CursorApi, FoldsApi, NavBranch, NavNodeApi, SerializableKey, State } from '../trees/index.js';
+import type { EffectAction } from '../input/domain/index.js';
+import type { ReducerAction } from './reducer-action.js';
+export type EffectToAction<Id extends SerializableKey, Value> = (effectAction: EffectAction<Id, Value>, navigation: NavBranch<Id>, state: State<Id, Value>) => ReducerAction<Id, Value> | undefined;
+export declare function createEffectToAction<Id extends SerializableKey, Value>(foldsApi: FoldsApi<Id>, cursorApi: CursorApi<Id>, navNodeApi: NavNodeApi<Id, Value>): EffectToAction<Id, Value>;
+//# sourceMappingURL=effect-to-action.d.ts.map

package/dist/app/effect-to-action.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-to-action.d.ts","sourceRoot":"","sources":["../../src/app/effect-to-action.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,SAAS,EAGT,QAAQ,EACR,SAAS,EACT,UAAU,EACV,eAAe,EACf,KAAK,EACN,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,YAAY,EAAqB,MAAM,0BAA0B,CAAC;AAChF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,MAAM,MAAM,cAAc,CAAC,EAAE,SAAS,eAAe,EAAE,KAAK,IAAI,CAC9D,YAAY,EAAE,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC,EACrC,UAAU,EAAE,SAAS,CAAC,EAAE,CAAC,EACzB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,KACpB,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC;AAkB1C,wBAAgB,oBAAoB,CAAC,EAAE,SAAS,eAAe,EAAE,KAAK,EACpE,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,EACtB,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC,EACxB,UAAU,EAAE,UAAU,CAAC,EAAE,EAAE,KAAK,CAAC,GAChC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,CA4J3B"}

package/dist/app/effect-to-action.js

@@ -0,0 +1,120 @@
+function resolveFoldTreeIndex(foldsApi, folds, foldTree) {
+    switch (foldTree.foldTreeReferenceType) {
+        case 'index':
+            return foldsApi.hasAtIndex(folds, foldTree.index)
+                ? foldTree.index
+                : undefined;
+        case 'name':
+            return foldsApi.getIndexByName(folds, foldTree.name);
+    }
+}
+export function createEffectToAction(foldsApi, cursorApi, navNodeApi) {
+    function effectToAction(effectAction, navigation, state) {
+        switch (effectAction.effectActionType) {
+            case 'nextEntry': {
+                const cursor = navNodeApi.nextCursor(navigation, state.cursor);
+                return cursor === undefined
+                    ? undefined
+                    : {
+                        kind: 'changeCursor',
+                        cursor,
+                    };
+            }
+            case 'prevEntry': {
+                const cursor = navNodeApi.previousCursor(navigation, state.cursor);
+                return cursor === undefined
+                    ? undefined
+                    : {
+                        kind: 'changeCursor',
+                        cursor,
+                    };
+            }
+            case 'setBranchEntries':
+                return {
+                    kind: 'updateBranch',
+                    path: effectAction.path,
+                    entries: effectAction.entries,
+                };
+            case 'navigateToParent': {
+                const navNode = navigation.children;
+                if (navNode === null) {
+                    return undefined;
+                }
+                const cursor = navNodeApi.parentCursor(navNode, state.cursor);
+                return cursor === undefined
+                    ? undefined
+                    : {
+                        kind: 'changeCursor',
+                        cursor,
+                    };
+            }
+            case 'addToFoldTree': {
+                if (state.cursor.length === 0) {
+                    return undefined;
+                }
+                const cursor = navNodeApi.cursorAfterFold(navigation, state.cursor);
+                if (cursor === undefined) {
+                    return undefined;
+                }
+                const foldTreeIndex = resolveFoldTreeIndex(foldsApi, state.folds, effectAction.foldTree);
+                if (foldTreeIndex === undefined) {
+                    return undefined;
+                }
+                return {
+                    kind: 'addToFoldTree',
+                    path: state.cursor,
+                    cursor,
+                    foldTreeIndex,
+                };
+            }
+            case 'removeFromFoldTree': {
+                const currentPath = cursorApi.getPath(state.cursor);
+                const navNode = navigation.children;
+                if (navNode === null) {
+                    return undefined;
+                }
+                const node = navNodeApi.getNodeAtPath(navNode, currentPath);
+                if (node === undefined || node.folded?.entries.length === 0) {
+                    return undefined;
+                }
+                const foldTreeIndex = resolveFoldTreeIndex(foldsApi, state.folds, effectAction.foldTree);
+                if (foldTreeIndex === undefined) {
+                    return undefined;
+                }
+                return {
+                    kind: 'removeFromFoldTree',
+                    path: currentPath,
+                    cursor: state.cursor,
+                    foldTreeIndex,
+                };
+            }
+            case 'fold': {
+                const foldTreeIndex = resolveFoldTreeIndex(foldsApi, state.folds, effectAction.foldTree);
+                return foldTreeIndex === undefined
+                    ? undefined
+                    : {
+                        kind: 'fold',
+                        foldTreeIndex,
+                    };
+            }
+            case 'unfold': {
+                const foldTreeIndex = resolveFoldTreeIndex(foldsApi, state.folds, effectAction.foldTree);
+                return foldTreeIndex === undefined
+                    ? undefined
+                    : {
+                        kind: 'unfold',
+                        foldTreeIndex,
+                    };
+            }
+            case 'createFoldTree':
+                return foldsApi.getIndexByName(state.folds, effectAction.name) ===
+                    undefined
+                    ? {
+                        kind: 'createFoldTree',
+                        name: effectAction.name,
+                    }
+                    : undefined;
+        }
+    }
+    return effectToAction;
+}

package/dist/app/index.d.ts

@@ -0,0 +1,6 @@
+export * from './app-api.js';
+export * from './effect-to-action.js';
+export * from './reducer.js';
+export * from './reducer-action.js';
+export * from './view-api.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/app/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/app/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC;AAC7B,cAAc,uBAAuB,CAAC;AACtC,cAAc,cAAc,CAAC;AAC7B,cAAc,qBAAqB,CAAC;AACpC,cAAc,eAAe,CAAC"}

package/dist/app/index.js

@@ -0,0 +1,5 @@
+export * from './app-api.js';
+export * from './effect-to-action.js';
+export * from './reducer.js';
+export * from './reducer-action.js';
+export * from './view-api.js';

package/dist/app/reducer-action.d.ts

@@ -0,0 +1,40 @@
+import type { Cursor, SerializableKey, State, TreeNode } from '../trees/index.js';
+export type ReducerAction<Id extends SerializableKey, Value> = {
+    kind: 'changeCursor';
+    cursor: Cursor<Id>;
+} | {
+    kind: 'updateBranch';
+    path: readonly Id[];
+    entries: readonly TreeNode<Id, Value>[] | null;
+} | {
+    kind: 'setState';
+    oldState: State<Id, Value>;
+    newState: State<Id, Value>;
+} | {
+    kind: 'addToFoldTree';
+    path: readonly Id[];
+    cursor: Cursor<Id>;
+    foldTreeIndex: number;
+} | {
+    kind: 'removeFromFoldTree';
+    path: readonly Id[];
+    cursor: Cursor<Id>;
+    foldTreeIndex: number;
+} | {
+    /**
+     * Activates a fold tree, making its hidden entries contribute to the
+     * visible navigation projection.
+     */
+    kind: 'fold';
+    foldTreeIndex: number;
+} | {
+    /**
+     * Deactivates a fold tree while preserving its fold definition.
+     */
+    kind: 'unfold';
+    foldTreeIndex: number;
+} | {
+    kind: 'createFoldTree';
+    name: string;
+};
+//# sourceMappingURL=reducer-action.d.ts.map

package/dist/app/reducer-action.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reducer-action.d.ts","sourceRoot":"","sources":["../../src/app/reducer-action.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAElF,MAAM,MAAM,aAAa,CAAC,EAAE,SAAS,eAAe,EAAE,KAAK,IACvD;IACE,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;CACpB,GACD;IACE,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC;IACpB,OAAO,EAAE,SAAS,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC;CAChD,GACD;IACE,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3B,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;CACvB,GACD;IACE,IAAI,EAAE,oBAAoB,CAAC;IAC3B,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;CACvB,GACD;IACE;;;OAGG;IACH,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;CACvB,GACD;IACE;;OAEG;IACH,IAAI,EAAE,QAAQ,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;CACvB,GACD;IACE,IAAI,EAAE,gBAAgB,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;CACd,CAAC"}

package/dist/app/reducer.d.ts

@@ -0,0 +1,5 @@
+import type { FoldsApi, SerializableKey, State, TreeNodeApi } from '../trees/index.js';
+import type { ReducerAction } from './reducer-action.js';
+export type Reducer<Id extends SerializableKey, Value> = (state: State<Id, Value>, action: ReducerAction<Id, Value>) => State<Id, Value>;
+export declare function createReducer<Id extends SerializableKey, Value>(treeNodeApi: TreeNodeApi<Id, Value>, foldsApi: FoldsApi<Id>): Reducer<Id, Value>;
+//# sourceMappingURL=reducer.d.ts.map

package/dist/app/reducer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reducer.d.ts","sourceRoot":"","sources":["../../src/app/reducer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,QAAQ,EACR,eAAe,EACf,KAAK,EACL,WAAW,EACZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAezD,MAAM,MAAM,OAAO,CAAC,EAAE,SAAS,eAAe,EAAE,KAAK,IAAI,CACvD,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EACvB,MAAM,EAAE,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,KAC7B,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AAEtB,wBAAgB,aAAa,CAAC,EAAE,SAAS,eAAe,EAAE,KAAK,EAC7D,WAAW,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,EACnC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,GACrB,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,CAwJpB"}

package/dist/app/reducer.js

@@ -0,0 +1,115 @@
+function firstAvailableAdditionalFoldIndex(foldsApi, state) {
+    let index = 1;
+    while (foldsApi.hasAtIndex(state.folds, index)) {
+        index += 1;
+    }
+    return index;
+}
+export function createReducer(treeNodeApi, foldsApi) {
+    return (state, action) => {
+        switch (action.kind) {
+            case 'changeCursor':
+                return {
+                    ...state,
+                    cursor: action.cursor,
+                };
+            case 'updateBranch': {
+                const root = treeNodeApi.updateAtPath(state.root, action.path, (node) => {
+                    /*
+                     * Loading/unloading is a branch-only operation. TreeNodeApi can
+                     * structurally convert any node, but the application reducer must
+                     * not turn a leaf into a branch.
+                     */
+                    if (treeNodeApi.kind(node) === 'leaf') {
+                        return undefined;
+                    }
+                    if (action.entries === null) {
+                        return treeNodeApi.toUnloadedBranch(node);
+                    }
+                    return treeNodeApi.withLoadedChildren(node, action.entries);
+                });
+                /*
+                 * State requires its root to remain a loaded branch. In particular,
+                 * refuse an accidental updateBranch with path [] and entries null.
+                 */
+                if (root === undefined || treeNodeApi.kind(root) !== 'loaded-branch') {
+                    return state;
+                }
+                return {
+                    ...state,
+                    root,
+                };
+            }
+            case 'setState': {
+                // A newer update has already been applied.
+                if (state !== action.oldState) {
+                    return state;
+                }
+                return {
+                    ...action.newState,
+                };
+            }
+            case 'addToFoldTree': {
+                const entryId = action.path.at(-1);
+                if (entryId === undefined) {
+                    return state;
+                }
+                const parentPath = action.path.slice(0, -1);
+                const folds = foldsApi.hideEntryAtPath(state.folds, action.foldTreeIndex, parentPath, entryId);
+                if (folds === undefined) {
+                    return state;
+                }
+                return {
+                    ...state,
+                    folds,
+                    cursor: action.cursor,
+                };
+            }
+            case 'removeFromFoldTree': {
+                // TODO: Change to show only entry at cursor. mirroring addToFoldTree
+                const folds = foldsApi.showAllHiddenEntriesAtPath(state.folds, action.foldTreeIndex, action.path);
+                if (folds === undefined) {
+                    return state;
+                }
+                return {
+                    ...state,
+                    folds,
+                    cursor: action.cursor,
+                };
+            }
+            case 'fold': {
+                const folds = foldsApi.activateAtIndex(state.folds, action.foldTreeIndex);
+                return folds === undefined
+                    ? state
+                    : {
+                        ...state,
+                        folds,
+                    };
+            }
+            case 'unfold': {
+                const folds = foldsApi.deactivateAtIndex(state.folds, action.foldTreeIndex);
+                return folds === undefined
+                    ? state
+                    : {
+                        ...state,
+                        folds,
+                    };
+            }
+            case 'createFoldTree': {
+                const index = firstAvailableAdditionalFoldIndex(foldsApi, state);
+                const folds = foldsApi.setAdditionalFoldAtIndex(state.folds, index, 
+                // Obtain this through the actual TreeNodeApi root-ID operation.
+                treeNodeApi.id(state.root), {
+                    name: action.name,
+                    description: null,
+                });
+                return folds === undefined
+                    ? state
+                    : {
+                        ...state,
+                        folds,
+                    };
+            }
+        }
+    };
+}

package/dist/app/view-api.d.ts

@@ -0,0 +1,11 @@
+export type ViewSummary = {
+    name: string;
+    updatedAt: string;
+};
+export type ViewApi<State, Key> = {
+    save: (key: Key, name: string, state: State) => Promise<void>;
+    load: (key: Key, name: string) => Promise<State | undefined>;
+    list: (key: Key) => Promise<readonly ViewSummary[]>;
+    remove: (key: Key, name: string) => Promise<void>;
+};
+//# sourceMappingURL=view-api.d.ts.map

package/dist/app/view-api.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-api.d.ts","sourceRoot":"","sources":["../../src/app/view-api.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,OAAO,CAAC,KAAK,EAAE,GAAG,IAAI;IAChC,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9D,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC;IAC7D,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,CAAC,SAAS,WAAW,EAAE,CAAC,CAAC;IACpD,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACnD,CAAC"}

package/dist/feedback/feedback.impl.d.ts

@@ -0,0 +1,9 @@
+import type { Feedback, FeedbackApi } from './feedback.types.js';
+/**
+ * Creates the feedback algebra.
+ *
+ * `onMessageAdded` is an application/UI hook. It is called after a new
+ * feedback value has been created, allowing an outer layer to render it.
+ */
+export declare function createFeedbackApi(onMessageAdded?: (feedback: Feedback, message: string) => void): FeedbackApi;
+//# sourceMappingURL=feedback.impl.d.ts.map

package/dist/feedback/feedback.impl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"feedback.impl.d.ts","sourceRoot":"","sources":["../../src/feedback/feedback.impl.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,QAAQ,EACR,WAAW,EAEZ,MAAM,qBAAqB,CAAC;AA2B7B;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,cAAc,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,GAC7D,WAAW,CAkBb"}

package/dist/feedback/feedback.impl.js

@@ -0,0 +1,34 @@
+const values = new WeakMap();
+function createFeedback(message, type) {
+    const feedback = Object.freeze({});
+    values.set(feedback, { message, type });
+    return feedback;
+}
+function getValue(feedback) {
+    const value = values.get(feedback);
+    if (value === undefined) {
+        throw new Error('Invalid Feedback value');
+    }
+    return value;
+}
+/**
+ * Creates the feedback algebra.
+ *
+ * `onMessageAdded` is an application/UI hook. It is called after a new
+ * feedback value has been created, allowing an outer layer to render it.
+ */
+export function createFeedbackApi(onMessageAdded) {
+    return {
+        addMessage(message, type = 'message') {
+            const feedback = createFeedback(message, type);
+            onMessageAdded?.(feedback, message);
+            return feedback;
+        },
+        getMessage(feedback) {
+            return getValue(feedback).message;
+        },
+        getType(feedback) {
+            return getValue(feedback).type;
+        },
+    };
+}

package/dist/feedback/feedback.types.d.ts

@@ -0,0 +1,24 @@
+export type FeedbackType = 'success' | 'message' | 'error';
+declare const feedbackBrand: unique symbol;
+/**
+ * Opaque runtime feedback message.
+ *
+ * Its representation is private to the feedback module. Consumers must use
+ * FeedbackApi operations to create, update, and inspect it.
+ */
+export type Feedback = Readonly<{
+    readonly [feedbackBrand]: typeof feedbackBrand;
+}>;
+export type FeedbackApi = Readonly<{
+    /**
+     * Creates feedback for a new message and notifies the configured hook.
+     * Defaults to a standard message.
+     */
+    addMessage: (message: string, type?: FeedbackType) => Feedback;
+    /** Returns the message represented by feedback. */
+    getMessage: (feedback: Feedback) => string;
+    /** Returns the display type represented by feedback. */
+    getType: (feedback: Feedback) => FeedbackType;
+}>;
+export {};
+//# sourceMappingURL=feedback.types.d.ts.map

package/dist/feedback/feedback.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"feedback.types.d.ts","sourceRoot":"","sources":["../../src/feedback/feedback.types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,CAAC;AAE3D,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAC;AAE3C;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC9B,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,aAAa,CAAC;CAChD,CAAC,CAAC;AAEH,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC;IACjC;;;OAGG;IACH,UAAU,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,YAAY,KAAK,QAAQ,CAAC;IAE/D,mDAAmD;IACnD,UAAU,EAAE,CAAC,QAAQ,EAAE,QAAQ,KAAK,MAAM,CAAC;IAE3C,wDAAwD;IACxD,OAAO,EAAE,CAAC,QAAQ,EAAE,QAAQ,KAAK,YAAY,CAAC;CAC/C,CAAC,CAAC"}

package/dist/feedback/index.d.ts

@@ -0,0 +1,3 @@
+export type * from './feedback.types.js';
+export { createFeedbackApi } from './feedback.impl.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/feedback/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/feedback/index.ts"],"names":[],"mappings":"AAAA,mBAAmB,qBAAqB,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/feedback/index.js

@@ -0,0 +1 @@
+export { createFeedbackApi } from './feedback.impl.js';

package/dist/index.d.ts

@@ -1,8 +1,6 @@
-export * from './tree-surfer-ui/application/user-input-to-intent.js';
-export * from './tree-surfer-ui/application/intent-to-effect.js';
-export * from './tree-surfer-ui/domain/effect.js';
-export * from './tree-surfer-ui/domain/input-mode-state.js';
-export * from './tree-surfer-ui/domain/intent.js';
-export * from './tree-surfer-ui/domain/user-input.js';
-export * from './tree-surfer/index.js';
+export * from './trees/index.js';
+export * from './feedback/index.js';
+export * from './app/index.js';
+export * from './input/application/index.js';
+export * from './input/domain/index.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,sDAAsD,CAAC;AACrE,cAAc,kDAAkD,CAAC;AAEjE,cAAc,mCAAmC,CAAC;AAClD,cAAc,6CAA6C,CAAC;AAC5D,cAAc,mCAAmC,CAAC;AAClD,cAAc,uCAAuC,CAAC;AAEtD,cAAc,wBAAwB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AAEjC,cAAc,qBAAqB,CAAC;AAEpC,cAAc,gBAAgB,CAAC;AAE/B,cAAc,8BAA8B,CAAC;AAE7C,cAAc,yBAAyB,CAAC"}

package/dist/index.js

@@ -1,7 +1,5 @@
-export * from './tree-surfer-ui/application/user-input-to-intent.js';
-export * from './tree-surfer-ui/application/intent-to-effect.js';
-export * from './tree-surfer-ui/domain/effect.js';
-export * from './tree-surfer-ui/domain/input-mode-state.js';
-export * from './tree-surfer-ui/domain/intent.js';
-export * from './tree-surfer-ui/domain/user-input.js';
-export * from './tree-surfer/index.js';
+export * from './trees/index.js';
+export * from './feedback/index.js';
+export * from './app/index.js';
+export * from './input/application/index.js';
+export * from './input/domain/index.js';

package/dist/input/application/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/input/application/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAC;AACtC,cAAc,2BAA2B,CAAC"}

package/dist/input/application/intent-to-effect-no-state.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intent-to-effect-no-state.test.d.ts","sourceRoot":"","sources":["../../../src/input/application/intent-to-effect-no-state.test.ts"],"names":[],"mappings":""}

package/dist/input/application/intent-to-effect.d.ts

@@ -0,0 +1,14 @@
+import type { CursorApi, SerializableKey, State, StateApi, TreeNodeApi } from '../../trees/index.js';
+import type { Effect, Intent } from '../domain/index.js';
+/**
+ * Converts a user intent and the current tree state into an effect.
+ *
+ * By design, "effect = intent + state": whether an effect should be executed
+ * depends on both the received intent and the current state.
+ *
+ * @typeParam Id - The sibling-unique tree-node ID type.
+ * @typeParam Value - Application-owned data stored in each tree node.
+ */
+export type IntentToEffect<Id extends SerializableKey, Value> = (intent: Intent, state: State<Id, Value>) => Effect<Id, Value> | undefined;
+export declare function createIntentToEffect<Id extends SerializableKey, Value>(stateApi: StateApi<Id, Value>, cursorApi: CursorApi<Id>, treeNodeApi: TreeNodeApi<Id, Value>): IntentToEffect<Id, Value>;
+//# sourceMappingURL=intent-to-effect.d.ts.map

package/dist/input/application/intent-to-effect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intent-to-effect.d.ts","sourceRoot":"","sources":["../../../src/input/application/intent-to-effect.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,SAAS,EACT,eAAe,EACf,KAAK,EACL,QAAQ,EACR,WAAW,EACZ,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,EAAgB,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAKvE;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,CAAC,EAAE,SAAS,eAAe,EAAE,KAAK,IAAI,CAC9D,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,KACpB,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC;AAEnC,wBAAgB,oBAAoB,CAAC,EAAE,SAAS,eAAe,EAAE,KAAK,EACpE,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,EAC7B,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC,EACxB,WAAW,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,GAClC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,CAkE3B"}