@formicoidea/labre-core 0.31.0 → 0.33.0

package/dist/_pkgs/affine-block-root/view.js

@@ -1,9 +1,12 @@
 import { ViewExtensionProvider, } from '../affine-ext-loader/index.js';
 import { NoteBlockSchema } from '../affine-model/index.js';
 import { ToolbarModuleExtension, ViewportElementExtension, } from '../affine-shared/services/index.js';
-import { BlockFlavourIdentifier, BlockViewExtension, FlavourExtension, ShortcutExtension, ShortcutKeymapExtension, } from '../std/index.js';
+import { BlockFlavourIdentifier, BlockViewExtension, FlavourExtension, CommandExtension, ShortcutKeymapExtension, } from '../std/index.js';
 import { literal } from 'lit/static-html.js';
 import { PageClipboard, ReadOnlyClipboard } from './clipboard/index.js';
+import { pivotCommands } from './commands/pivot-commands.js';
+import { readingCommands } from './commands/reading-commands.js';
+import { tagCommands } from './commands/tag-commands.js';
 import { builtinToolbarConfig } from './configs/toolbar.js';
 import { EdgelessClipboardController, EdgelessRootService } from './edgeless/index.js';
 import { EdgelessElementToolbarExtension } from './edgeless/configs/toolbar/index.js';
@@ -11,7 +14,7 @@ import { EdgelessLocker } from './edgeless/edgeless-root-spec.js';
 import { AltCloneExtension } from './edgeless/interact-extensions/clone-ext.js';
 import { effects } from './effects.js';
 import { fallbackKeymap } from './keyboard/keymap.js';
-import { coreShortcuts } from './keyboard/shortcuts.js';
+import { coreCommands } from './keyboard/commands.js';
 export class RootViewExtension extends ViewExtensionProvider {
     constructor() {
         super(...arguments);
@@ -59,9 +62,15 @@ export class RootViewExtension extends ViewExtensionProvider {
         context.register([
             FlavourExtension('affine:page'),
             fallbackKeymap,
-            // Enumerable, host-overridable shortcuts. Core undo/redo live here; the
+            // Enumerable, host-overridable commands. Core undo/redo live here; the
+            // registration also derives their shortcut descriptors, and the
             // installer binds the effective keymap (see `@labre/std` shortcut.ts).
-            ShortcutExtension(coreShortcuts),
+            CommandExtension([
+                ...coreCommands,
+                ...pivotCommands,
+                ...tagCommands,
+                ...readingCommands,
+            ]),
             ShortcutKeymapExtension('global'),
             ToolbarModuleExtension({
                 id: BlockFlavourIdentifier(NoteBlockSchema.model.flavour),

package/dist/_pkgs/affine-block-surface/adapters/markdown/element-adapter/type.js

@@ -1,4 +1,4 @@
-import { createIdentifier, } from '../../../../global/di/index.js';
+import { createIdentifier } from '../../../../global/di/index.js';
 export const ElementToMarkdownAdapterMatcherIdentifier = createIdentifier('elementToMarkdownAdapterMatcher');
 export function ElementToMarkdownAdapterExtension(matcher) {
     const identifier = ElementToMarkdownAdapterMatcherIdentifier(matcher.name);

package/dist/_pkgs/affine-block-surface/adapters/plain-text/element-adapter/type.js

@@ -1,4 +1,4 @@
-import { createIdentifier, } from '../../../../global/di/index.js';
+import { createIdentifier } from '../../../../global/di/index.js';
 export const ElementToPlainTextAdapterMatcherIdentifier = createIdentifier('elementToPlainTextAdapterMatcher');
 export function ElementToPlainTextAdapterExtension(matcher) {
     const identifier = ElementToPlainTextAdapterMatcherIdentifier(matcher.name);

package/dist/_pkgs/affine-block-surface/commands/reassociate-connectors.js

@@ -22,7 +22,6 @@ export const reassociateConnectorsCommand = (ctx, next) => {
                     id: newId,
                 },
             });
-            continue;
         }
         if (target.id === oldId) {
             surface.updateElement(id, {

package/dist/_pkgs/affine-block-surface/effects.js

@@ -1,6 +1,12 @@
+import { MAP_QUALITY_WIDGET, MapQualityWidget, } from './extensions/map-quality-widget.js';
+import { READING_PROPOSAL_WIDGET, ReadingProposalWidget, } from './extensions/reading-widget.js';
+import { VIOLATION_DETAIL_WIDGET, ViolationDetailWidget, } from './extensions/violation-detail-widget.js';
 import { SurfaceBlockComponent } from './surface-block.js';
 import { SurfaceBlockVoidComponent } from './surface-block-void.js';
 export function effects() {
     customElements.define('affine-surface-void', SurfaceBlockVoidComponent);
     customElements.define('affine-surface', SurfaceBlockComponent);
+    customElements.define(VIOLATION_DETAIL_WIDGET, ViolationDetailWidget);
+    customElements.define(MAP_QUALITY_WIDGET, MapQualityWidget);
+    customElements.define(READING_PROPOSAL_WIDGET, ReadingProposalWidget);
 }

package/dist/_pkgs/affine-block-surface/element-model/index.d.ts

@@ -1,4 +1,4 @@
-import { BpmnNodeElementModel, BpmnPoolElementModel, BrushElementModel, ConnectorElementModel, CoreDomainChartElementModel, CynefinElementModel, EdgyFacetsElementModel, EdgyNodeElementModel, EstuarineElementModel, GroupElementModel, HighlighterElementModel, MindmapElementModel, ShapeElementModel, TextElementModel, WardleyBackgroundElementModel, WardleyNodeElementModel } from '../../affine-model/index.js';
+import { BpmnNodeElementModel, BpmnPoolElementModel, BrushElementModel, C4BoardElementModel, C4BoundaryElementModel, C4NodeElementModel, ConnectorElementModel, ContextMapBoardElementModel, CoreDomainChartElementModel, CynefinElementModel, EdgyBoardElementModel, EdgyFacetsElementModel, EdgyNodeElementModel, EstuarineElementModel, EventStormingBoardElementModel, GroupElementModel, HighlighterElementModel, MindmapElementModel, ShapeElementModel, TextElementModel, WardleyBackgroundElementModel, WardleyNodeElementModel } from '../../affine-model/index.js';
 import { SurfaceElementModel } from './base.js';
 export declare const elementsCtorMap: {
     group: typeof GroupElementModel;
@@ -11,14 +11,20 @@ export declare const elementsCtorMap: {
     wardley: typeof WardleyBackgroundElementModel;
     wardleyNode: typeof WardleyNodeElementModel;
     edgy: typeof EdgyFacetsElementModel;
+    edgyBoard: typeof EdgyBoardElementModel;
     edgyNode: typeof EdgyNodeElementModel;
     cynefin: typeof CynefinElementModel;
     estuarine: typeof EstuarineElementModel;
     coreDomain: typeof CoreDomainChartElementModel;
+    contextMap: typeof ContextMapBoardElementModel;
+    eventStorming: typeof EventStormingBoardElementModel;
     bpmnNode: typeof BpmnNodeElementModel;
     bpmnPool: typeof BpmnPoolElementModel;
+    c4Node: typeof C4NodeElementModel;
+    c4Board: typeof C4BoardElementModel;
+    c4Boundary: typeof C4BoundaryElementModel;
 };
-export { BpmnNodeElementModel, BpmnPoolElementModel, BrushElementModel, ConnectorElementModel, CoreDomainChartElementModel, CynefinElementModel, EdgyFacetsElementModel, EdgyNodeElementModel, EstuarineElementModel, GroupElementModel, HighlighterElementModel, MindmapElementModel, ShapeElementModel, SurfaceElementModel, TextElementModel, WardleyBackgroundElementModel, WardleyNodeElementModel, };
+export { BpmnNodeElementModel, BpmnPoolElementModel, BrushElementModel, C4BoardElementModel, C4BoundaryElementModel, C4NodeElementModel, ConnectorElementModel, ContextMapBoardElementModel, CoreDomainChartElementModel, CynefinElementModel, EdgyBoardElementModel, EdgyFacetsElementModel, EdgyNodeElementModel, EstuarineElementModel, EventStormingBoardElementModel, GroupElementModel, HighlighterElementModel, MindmapElementModel, ShapeElementModel, SurfaceElementModel, TextElementModel, WardleyBackgroundElementModel, WardleyNodeElementModel, };
 export declare enum CanvasElementType {
     BRUSH = "brush",
     CONNECTOR = "connector",
@@ -30,12 +36,18 @@ export declare enum CanvasElementType {
     WARDLEY = "wardley",
     WARDLEYNODE = "wardleyNode",
     EDGY = "edgy",
+    EDGYBOARD = "edgyBoard",
     EDGYNODE = "edgyNode",
     CYNEFIN = "cynefin",
     ESTUARINE = "estuarine",
     COREDOMAIN = "coreDomain",
+    CONTEXTMAP = "contextMap",
+    EVENTSTORMING = "eventStorming",
     BPMNNODE = "bpmnNode",
-    BPMNPOOL = "bpmnPool"
+    BPMNPOOL = "bpmnPool",
+    C4NODE = "c4Node",
+    C4BOARD = "c4Board",
+    C4BOUNDARY = "c4Boundary"
 }
 export type ElementModelMap = {
     ['shape']: ShapeElementModel;
@@ -48,11 +60,17 @@ export type ElementModelMap = {
     ['wardley']: WardleyBackgroundElementModel;
     ['wardleyNode']: WardleyNodeElementModel;
     ['edgy']: EdgyFacetsElementModel;
+    ['edgyBoard']: EdgyBoardElementModel;
     ['edgyNode']: EdgyNodeElementModel;
     ['cynefin']: CynefinElementModel;
     ['estuarine']: EstuarineElementModel;
     ['coreDomain']: CoreDomainChartElementModel;
+    ['contextMap']: ContextMapBoardElementModel;
+    ['eventStorming']: EventStormingBoardElementModel;
     ['bpmnNode']: BpmnNodeElementModel;
     ['bpmnPool']: BpmnPoolElementModel;
+    ['c4Node']: C4NodeElementModel;
+    ['c4Board']: C4BoardElementModel;
+    ['c4Boundary']: C4BoundaryElementModel;
 };
 export declare function isCanvasElementType(type: string): type is CanvasElementType;

package/dist/_pkgs/affine-block-surface/element-model/index.js

@@ -1,4 +1,4 @@
-import { BpmnNodeElementModel, BpmnPoolElementModel, BrushElementModel, ConnectorElementModel, CoreDomainChartElementModel, CynefinElementModel, EdgyFacetsElementModel, EdgyNodeElementModel, EstuarineElementModel, GroupElementModel, HighlighterElementModel, MindmapElementModel, ShapeElementModel, TextElementModel, WardleyBackgroundElementModel, WardleyNodeElementModel, } from '../../affine-model/index.js';
+import { BpmnNodeElementModel, BpmnPoolElementModel, BrushElementModel, C4BoardElementModel, C4BoundaryElementModel, C4NodeElementModel, ConnectorElementModel, ContextMapBoardElementModel, CoreDomainChartElementModel, CynefinElementModel, EdgyBoardElementModel, EdgyFacetsElementModel, EdgyNodeElementModel, EstuarineElementModel, EventStormingBoardElementModel, GroupElementModel, HighlighterElementModel, MindmapElementModel, ShapeElementModel, TextElementModel, WardleyBackgroundElementModel, WardleyNodeElementModel, } from '../../affine-model/index.js';
 import { SurfaceElementModel } from './base.js';
 export const elementsCtorMap = {
     group: GroupElementModel,
@@ -11,14 +11,20 @@ export const elementsCtorMap = {
     wardley: WardleyBackgroundElementModel,
     wardleyNode: WardleyNodeElementModel,
     edgy: EdgyFacetsElementModel,
+    edgyBoard: EdgyBoardElementModel,
     edgyNode: EdgyNodeElementModel,
     cynefin: CynefinElementModel,
     estuarine: EstuarineElementModel,
     coreDomain: CoreDomainChartElementModel,
+    contextMap: ContextMapBoardElementModel,
+    eventStorming: EventStormingBoardElementModel,
     bpmnNode: BpmnNodeElementModel,
     bpmnPool: BpmnPoolElementModel,
+    c4Node: C4NodeElementModel,
+    c4Board: C4BoardElementModel,
+    c4Boundary: C4BoundaryElementModel,
 };
-export { BpmnNodeElementModel, BpmnPoolElementModel, BrushElementModel, ConnectorElementModel, CoreDomainChartElementModel, CynefinElementModel, EdgyFacetsElementModel, EdgyNodeElementModel, EstuarineElementModel, GroupElementModel, HighlighterElementModel, MindmapElementModel, ShapeElementModel, SurfaceElementModel, TextElementModel, WardleyBackgroundElementModel, WardleyNodeElementModel, };
+export { BpmnNodeElementModel, BpmnPoolElementModel, BrushElementModel, C4BoardElementModel, C4BoundaryElementModel, C4NodeElementModel, ConnectorElementModel, ContextMapBoardElementModel, CoreDomainChartElementModel, CynefinElementModel, EdgyBoardElementModel, EdgyFacetsElementModel, EdgyNodeElementModel, EstuarineElementModel, EventStormingBoardElementModel, GroupElementModel, HighlighterElementModel, MindmapElementModel, ShapeElementModel, SurfaceElementModel, TextElementModel, WardleyBackgroundElementModel, WardleyNodeElementModel, };
 export var CanvasElementType;
 (function (CanvasElementType) {
     CanvasElementType["BRUSH"] = "brush";
@@ -31,12 +37,18 @@ export var CanvasElementType;
     CanvasElementType["WARDLEY"] = "wardley";
     CanvasElementType["WARDLEYNODE"] = "wardleyNode";
     CanvasElementType["EDGY"] = "edgy";
+    CanvasElementType["EDGYBOARD"] = "edgyBoard";
     CanvasElementType["EDGYNODE"] = "edgyNode";
     CanvasElementType["CYNEFIN"] = "cynefin";
     CanvasElementType["ESTUARINE"] = "estuarine";
     CanvasElementType["COREDOMAIN"] = "coreDomain";
+    CanvasElementType["CONTEXTMAP"] = "contextMap";
+    CanvasElementType["EVENTSTORMING"] = "eventStorming";
     CanvasElementType["BPMNNODE"] = "bpmnNode";
     CanvasElementType["BPMNPOOL"] = "bpmnPool";
+    CanvasElementType["C4NODE"] = "c4Node";
+    CanvasElementType["C4BOARD"] = "c4Board";
+    CanvasElementType["C4BOUNDARY"] = "c4Boundary";
 })(CanvasElementType || (CanvasElementType = {}));
 export function isCanvasElementType(type) {
     return type.toLocaleUpperCase() in CanvasElementType;

package/dist/_pkgs/affine-block-surface/extensions/audit.d.ts

@@ -0,0 +1,107 @@
+/**
+ * `map.audit` — the command the **Labre Assistant** invokes to audit a
+ * framework map (PF14.1).
+ *
+ * ## Where the work happens, and where it does not
+ *
+ * The library does no auditing. It collects the FACTS of the board, hands them
+ * to the host's `AuditProvider` with the criteria the frameworks declared, and
+ * files whatever comes back into a signal nothing on the real-time path reads.
+ * If no provider is registered the command refuses cleanly and levels 1 and 2
+ * are exactly as they were.
+ *
+ * ## Three gates, and they are independent on purpose
+ *
+ * 1. **`ai-audit`** (`packages/affine/all/src/flags.ts`) — the capability
+ *    switch. Off, `AuditViewExtension` is never registered, so the command is
+ *    absent from the registry, from both manifests and from the keymap. Same
+ *    contract as a block flag: it gates TOOLING and never data — nothing this
+ *    command touches is persisted, so switching it off cannot lose anything
+ *    even in principle.
+ * 2. **The framework's own flag** — the criteria are registered by the
+ *    flag-gated view extension (`AuditCriterionExtension`), so a disabled
+ *    Wardley contributes no criterion and an audit has nothing to ask about.
+ * 3. **The provider** — absent, the command is still enumerable but refuses.
+ *    Per ADR 0008, injected-provider presence is deliberately NOT an
+ *    `Availability` member; its assigned fallback is "displayed available,
+ *    `run` degrades". Making it a fourth availability value would have meant
+ *    reopening a closed union for a state the caller can simply be told about.
+ */
+import { type AuditFacts, type AuditProgress, type AuditResult } from '../../affine-shared/services/index.js';
+import type { AnyCommandDescriptor, BlockStdScope } from '../../std/index.js';
+import { z } from 'zod';
+/**
+ * `map.audit` takes no required parameter: the assistant audits what is
+ * selected. `criterionIds` narrows the run to a subset — an assistant
+ * re-checking one criterion after a fix should not pay for the other two — and
+ * an EMPTY array means "these zero criteria", i.e. nothing to do, never "all of
+ * them". Same reading as `pivot.bind`'s `elementIds`, for the same reason: a
+ * caller that filtered a list and came up empty must not have its request
+ * silently widened.
+ */
+export declare const auditParams: z.ZodObject<{
+    criterionIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    criterionIds?: string[] | undefined;
+}, {
+    criterionIds?: string[] | undefined;
+}>;
+export type AuditParams = z.infer<typeof auditParams>;
+/**
+ * Everything the assistant is told about the board — **render-free** and
+ * serializable end to end (ADR 0006 § 5): plain objects, numbers and strings,
+ * no element model, no `Bound`, no `TemplateResult`, no function. A test round
+ * -trips the whole thing through `JSON.parse(JSON.stringify(...))` and compares.
+ *
+ * Role-carrying elements only. A neutral rectangle is not an artefact of any
+ * framework, so it is not a fact about the map — the same proportionality the
+ * engine applies (PRD principle 8), and the reason a board full of free
+ * drawings does not turn into a wall of tokens.
+ */
+export declare function collectAuditFacts(std: BlockStdScope): AuditFacts;
+/**
+ * The audit run itself, split out of the descriptor so a caller that already
+ * has an `AbortSignal` (a host panel with a Cancel button, a test) can drive it
+ * directly and await the result. `run` cannot: `CommandDescriptor.run` returns
+ * `void | Promise<void>` and `runCommand` fires and forgets.
+ */
+export declare function runMapAudit(std: BlockStdScope, options?: {
+    criterionIds?: string[];
+    onProgress?: (progress: AuditProgress) => void;
+    signal?: AbortSignal;
+}): Promise<AuditResult>;
+/**
+ * ## Read-only (the `pivot.bind` pattern, PR #89 — and its one deliberate
+ * difference)
+ *
+ * `pivot.bind` guards `!std.store.readonly` inside `run`, because `runCommand`
+ * consults neither `when` nor `availability` and `clearField` carries no
+ * read-only guard of its own — without it, a palette invocation would mutate a
+ * document the user cannot edit.
+ *
+ * `map.audit` needs no such guard, and adding one would be wrong rather than
+ * merely redundant: **it writes nothing**. It reads element geometry and roles,
+ * copies the engine's verdict, and stores the answer in a session signal that
+ * never reaches a `Y.Doc`. A read-only document is not an edge case for an
+ * audit — it is the CASE: reviewing a map you have been given, and cannot
+ * change, is what a reviewer does.
+ *
+ * The invariant `pivot.bind` protects with a guard is protected here by a test
+ * instead: `map.audit` on a read-only store runs to completion, publishes its
+ * findings, and leaves the document byte-identical. Recorded loudly because
+ * "no read-only check" reads like an omission and is a decision.
+ *
+ * ## ponytail: the day a finding can be ACCEPTED, the guard comes back
+ *
+ * The invariant holds only while findings stay READ-ONLY. `validationExceptions`
+ * is a persisted field, so a future slice letting a user accept an audit finding
+ * as an exception — the obvious next gesture — would put a write on this path,
+ * and that write would need exactly the `pivot.bind` guard: checked inside
+ * `run`, because `runCommand` consults neither `when` nor `availability`.
+ *
+ * The trigger is precise: **the first code under `map.audit` that touches
+ * `std.store` or an element field.** Until then a guard would be false, not
+ * merely redundant — it would remove the capability exactly where it is most
+ * useful.
+ */
+export declare const auditCommands: AnyCommandDescriptor[];