datanotes 3.4.1 → 3.5.0

package/README.md

@@ -14,7 +14,7 @@ Datanotes is the open-source database engine for Markdown: it runs a folder of n
 
 - **Agents can't write garbage.** Every write is checked against its table: types, links, unique values and CHECK constraints. A refused write changes nothing. Its answer says which value broke which rule and how to fix it.
 - **Every change can be undone.** The engine journals every write it makes. It records who made it: the agent, its session and its token. `undo_migration` takes any change back.
-- **It's still just Markdown.** A row is a note, and its front matter keys are the columns. Read it, edit it, grep it or commit it to Git. The engine reads your hand edits and checks them too.
+- **It's still just Markdown.** A row is a note, or a section of a pack note, and its front matter keys are the columns. Read it, edit it, grep it or commit it to Git. The engine reads your hand edits and checks them too.
 - **Extensions.** Install tables and MCP tools from a git repository, pinned and confirmed (`datanotes extension install`).
 - **Local first.** Datanotes is Apache-2.0 and runs on your machine. Nothing leaves it unless you turn that feature on.
 

package/dist/api/extension-columns.d.cts

@@ -0,0 +1,64 @@
+/**
+ * Column bindings of an extension: the manifest columns of a dependency role may be bound to
+ * columns of another name in the user's table (`--map role.column=column`). The manifest names
+ * columns in its view queries, CHECKs and link filters; this module rewrites those names to the
+ * bound ones, following link columns from role to role (`book.author.name`). Pure: no I/O.
+ *
+ * What it cannot rewrite safely it reports as an issue (fail closed), never guesses: a mapped
+ * column named in the outer clauses of a union view, or under a query key it does not know.
+ */
+import type { ExtensionManifest, ManifestColumn } from "./extension-manifest.cjs";
+/** role → (manifest column → bound column); only the columns whose names differ matter. */
+export type ColumnMap = Readonly<Record<string, Readonly<Record<string, string>>>>;
+/** A place where a mapped column is named and cannot be rewritten. */
+export interface ColumnIssue {
+    role: string;
+    column: string;
+    /** Where it is named: `view vw_x (union order_by)`. */
+    where: string;
+}
+type Obj = Record<string, unknown>;
+/** Rewrites the column names of bound roles; `issues` collects what it could not rewrite. */
+export declare class ColumnBinder {
+    private readonly manifest;
+    readonly issues: ColumnIssue[];
+    private readonly map;
+    constructor(manifest: Pick<ExtensionManifest, "tables">, map: ColumnMap);
+    /** True when no role has a column bound to another name: every rewrite is the identity. */
+    get empty(): boolean;
+    /** The bound name of a role's manifest column. */
+    name(role: string | null, column: string): string;
+    /** The manifest columns of a role bound to another name. */
+    mapped(role: string): string[];
+    /** The role a link column of `role` points to (`ref: "@x"`, or `self`), or null. */
+    private linkRole;
+    /** A dotted column path read on `role`: each part on the role the previous link points to. */
+    path(role: string | null, dotted: string): string;
+    /** A group_by or join expression: `col`, `path`, `date(col)`, `date(col)+1`. */
+    expr(role: string | null, e: string): string;
+    /** A `where` filter (or a CHECK) on `role`: keys are column paths; `or` / `and` / `not` nest. */
+    where(role: string | null, where: unknown): unknown;
+    /** A column spec of `role`: its link filter (`ref_where`), `ref_by`, `inverse`. */
+    column(role: string, c: ManifestColumn): ManifestColumn;
+    /** A view query: the tables it reads are roles (`@meal`); every column it names follows them. */
+    query(view: string, q: Obj): Obj;
+    private order;
+    /** `count`, `count:col`, `sum:meal.kcal`. */
+    private aggregate;
+    /** `{table, on: {left expr: right expr}, as, type, columns, where}`: `columns` and `where` read the joined table. */
+    private join;
+    /** `{union: [{table, columns, where}], …}`: each part on its role; the outer clauses read every part, so a mapped column there is an issue. */
+    private union;
+    /** A clause the binder does not rewrite: an issue for each mapped column it names. */
+    private unknown;
+    /**
+     * The mapped columns a value names, where nothing rewrites it: a word that is a mapped column of
+     * one of `roles`, or a later part of a dotted path (`author.name`) that is a mapped column of any
+     * role. `keys(key, inKeys)` tells whether the keys under `key` are names too.
+     */
+    named(v: unknown, roles: string[], keys: (key: string, inKeys: boolean) => boolean): {
+        role: string;
+        column: string;
+    }[];
+}
+export {};

package/dist/api/extension-columns.d.ts

@@ -0,0 +1,64 @@
+/**
+ * Column bindings of an extension: the manifest columns of a dependency role may be bound to
+ * columns of another name in the user's table (`--map role.column=column`). The manifest names
+ * columns in its view queries, CHECKs and link filters; this module rewrites those names to the
+ * bound ones, following link columns from role to role (`book.author.name`). Pure: no I/O.
+ *
+ * What it cannot rewrite safely it reports as an issue (fail closed), never guesses: a mapped
+ * column named in the outer clauses of a union view, or under a query key it does not know.
+ */
+import type { ExtensionManifest, ManifestColumn } from "./extension-manifest.js";
+/** role → (manifest column → bound column); only the columns whose names differ matter. */
+export type ColumnMap = Readonly<Record<string, Readonly<Record<string, string>>>>;
+/** A place where a mapped column is named and cannot be rewritten. */
+export interface ColumnIssue {
+    role: string;
+    column: string;
+    /** Where it is named: `view vw_x (union order_by)`. */
+    where: string;
+}
+type Obj = Record<string, unknown>;
+/** Rewrites the column names of bound roles; `issues` collects what it could not rewrite. */
+export declare class ColumnBinder {
+    private readonly manifest;
+    readonly issues: ColumnIssue[];
+    private readonly map;
+    constructor(manifest: Pick<ExtensionManifest, "tables">, map: ColumnMap);
+    /** True when no role has a column bound to another name: every rewrite is the identity. */
+    get empty(): boolean;
+    /** The bound name of a role's manifest column. */
+    name(role: string | null, column: string): string;
+    /** The manifest columns of a role bound to another name. */
+    mapped(role: string): string[];
+    /** The role a link column of `role` points to (`ref: "@x"`, or `self`), or null. */
+    private linkRole;
+    /** A dotted column path read on `role`: each part on the role the previous link points to. */
+    path(role: string | null, dotted: string): string;
+    /** A group_by or join expression: `col`, `path`, `date(col)`, `date(col)+1`. */
+    expr(role: string | null, e: string): string;
+    /** A `where` filter (or a CHECK) on `role`: keys are column paths; `or` / `and` / `not` nest. */
+    where(role: string | null, where: unknown): unknown;
+    /** A column spec of `role`: its link filter (`ref_where`), `ref_by`, `inverse`. */
+    column(role: string, c: ManifestColumn): ManifestColumn;
+    /** A view query: the tables it reads are roles (`@meal`); every column it names follows them. */
+    query(view: string, q: Obj): Obj;
+    private order;
+    /** `count`, `count:col`, `sum:meal.kcal`. */
+    private aggregate;
+    /** `{table, on: {left expr: right expr}, as, type, columns, where}`: `columns` and `where` read the joined table. */
+    private join;
+    /** `{union: [{table, columns, where}], …}`: each part on its role; the outer clauses read every part, so a mapped column there is an issue. */
+    private union;
+    /** A clause the binder does not rewrite: an issue for each mapped column it names. */
+    private unknown;
+    /**
+     * The mapped columns a value names, where nothing rewrites it: a word that is a mapped column of
+     * one of `roles`, or a later part of a dotted path (`author.name`) that is a mapped column of any
+     * role. `keys(key, inKeys)` tells whether the keys under `key` are names too.
+     */
+    named(v: unknown, roles: string[], keys: (key: string, inKeys: boolean) => boolean): {
+        role: string;
+        column: string;
+    }[];
+}
+export {};

package/dist/api/extension-plan.d.cts

@@ -48,7 +48,7 @@ export interface TableChoice {
     proposed: boolean;
     candidates: string[];
 }
-export type ProblemCode = "engine_too_old" | "unknown_role" | "table_not_found" | "table_missing" | "table_exists" | "owned_create" | "ambiguous_dependency" | "missing_column" | "column_differs" | "owned_column_map" | "migration_conflict" | "base_differs" | "view_exists" | "tool_name_taken" | "token_exists" | "too_many_operations" | "already_installed" | "downgrade" | "same_version";
+export type ProblemCode = "engine_too_old" | "unknown_role" | "table_not_found" | "table_missing" | "table_exists" | "owned_create" | "ambiguous_dependency" | "missing_column" | "column_differs" | "owned_column_map" | "column_map_unsupported" | "migration_conflict" | "base_differs" | "view_exists" | "tool_name_taken" | "token_exists" | "too_many_operations" | "already_installed" | "downgrade" | "same_version";
 /** Something that keeps the plan from being written: what is wrong, how to fix it, where to read more. */
 export interface PlanProblem {
     code: ProblemCode;

package/dist/api/extension-plan.d.ts

@@ -48,7 +48,7 @@ export interface TableChoice {
     proposed: boolean;
     candidates: string[];
 }
-export type ProblemCode = "engine_too_old" | "unknown_role" | "table_not_found" | "table_missing" | "table_exists" | "owned_create" | "ambiguous_dependency" | "missing_column" | "column_differs" | "owned_column_map" | "migration_conflict" | "base_differs" | "view_exists" | "tool_name_taken" | "token_exists" | "too_many_operations" | "already_installed" | "downgrade" | "same_version";
+export type ProblemCode = "engine_too_old" | "unknown_role" | "table_not_found" | "table_missing" | "table_exists" | "owned_create" | "ambiguous_dependency" | "missing_column" | "column_differs" | "owned_column_map" | "column_map_unsupported" | "migration_conflict" | "base_differs" | "view_exists" | "tool_name_taken" | "token_exists" | "too_many_operations" | "already_installed" | "downgrade" | "same_version";
 /** Something that keeps the plan from being written: what is wrong, how to fix it, where to read more. */
 export interface PlanProblem {
     code: ProblemCode;