@graview/core 0.1.2 → 0.1.4

package/dist/seen.d.ts

@@ -1,5 +1,10 @@
+import type { GraphDiff } from "./graph/diff.js";
+import type { GraphNodeBase } from "./graph/types.js";
+import type { GraphEdge } from "./graph/types.js";
+import type { Violation } from "./invariants/types.js";
 import { type LogReading } from "./ops/log.js";
 import type { Operation } from "./ops/types.js";
+import { type SeatLens } from "./ops/withheld.js";
 import type { Policy, Principal } from "./permissions/types.js";
 import type { AnySchema } from "./schema/schema.js";
 import type { Store } from "./store.js";
@@ -17,12 +22,21 @@ interface Judged {
         in(id: string): readonly {
             readonly id: string;
         }[];
+        /** A store's own graph says its links, so an op can be judged where it stood (FR-55). */
+        outEdges?(id: string): readonly GraphEdge[];
+        inEdges?(id: string): readonly GraphEdge[];
     };
     readonly log: LogReading;
     /** The kinds of the modules this workspace has off (FR-12), kept from every seat as a sight keeps a record. */
     readonly modules?: {
         readonly disabledKinds: ReadonlySet<string>;
     };
+    /** The declaration, to say which of a kind's fields a record may be served without (FR-55). */
+    readonly schema?: {
+        tryDefinition(kind: string): {
+            readonly fields: unknown;
+        } | undefined;
+    };
 }
 /**
  * WHETHER ANYTHING IS KEPT FROM THIS SEAT: a sight the policy declares
@@ -35,10 +49,55 @@ export declare function hidesFrom(store: Judged, principal: Principal): boolean;
  * now; one since removed by the kind the log says it was, and so never by
  * an edge it no longer has; and a string that names no record at all (a
  * label in a call's arguments) is nothing to keep from anybody.
+ *
+ * THE JUDGEMENT FOLLOWS THE STORE (FR-51). It reads the policy, the
+ * modules that are off and who made each record as it is asked, not as it
+ * was taken: one taken before a commit and asked after it knows the record
+ * just made is its maker's own. Asking costs nothing more for that — who
+ * made what is an index the log keeps as it goes (`recordsOf`).
  */
 export declare function seesId(store: Judged, principal: Principal): (id: string) => boolean;
-/** The store's log as one seat may read it: every op in its place, the ones it may not see withheld (FR-16). */
+/**
+ * WHAT ONE SEAT IS SERVED (FR-55) — the judgement every surface built on
+ * the seat view reads, so a snapshot, a log, an answer and the wire cannot
+ * disagree about it.
+ *
+ * Its sight (`seesId`) says which records it may be told of. An id is
+ * minted from a label, so a seen record's field that holds the id of one
+ * it may not see tells it that record's name: such a field is CLEARED in
+ * what the seat is served — the record stays, usable, without it — when
+ * the kind's declaration lets a record be without it. When the field is
+ * one the record cannot do without, clearing it would serve a record that
+ * fails its own declaration, and a client refuses to load that: the record
+ * is WITHHELD from the seat whole instead, as if its sight did not reach
+ * it — not in the graph, the snapshot, the log's primitives or an edge.
+ * Which ids a field names is judged by the seat's sight alone, so a record
+ * naming one withheld this way still names a record the seat may see.
+ */
+export declare function seatLens(store: Judged, principal: Principal): SeatLens;
+/** The store's log as one seat may read it: every op in its place, the ones it may not see withheld (FR-16), and no id it may not see in any of them (FR-55). */
 export declare function logSeenBy(store: Judged, principal: Principal): readonly Operation[];
+/**
+ * A CHANGE'S ANSWER AS ONE SEAT MAY BE TOLD IT (FR-55) — the diff, the
+ * primitives, the ops and the rules it would break or mend of a preview,
+ * an apply or an undo, for a surface that hands a seat what its own act
+ * did: an act may touch what its own seat may not see. Records and edges
+ * it is not served go, a field naming one it may not see is cleared as
+ * the view clears it, the ops are redacted as its log is, and a sentence
+ * that names what it may not see says only that a change it cannot see
+ * happened. With nothing kept from the seat, the answer as it is.
+ */
+export declare function answerSeenBy<A extends {
+    readonly diff?: GraphDiff<GraphNodeBase>;
+    readonly primitives?: readonly unknown[];
+    readonly reads?: readonly string[];
+    readonly writes?: readonly string[];
+    readonly intent?: string;
+    readonly introduces?: readonly Violation[];
+    readonly resolves?: readonly Violation[];
+    readonly violationsAfter?: readonly Violation[];
+    readonly ops?: readonly Operation[];
+}>(store: Judged, principal: Principal, answer: A): A;
 /** A log reading over a seat's redacted ops, for `checkUndo`. */
 export declare function readingOf(ops: readonly Operation[], epochs: LogReading["epochs"]): LogReading;
 /**

package/dist/seen.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"seen.d.ts","sourceRoot":"","sources":["../src/seen.ts"],"names":[],"mappings":"AACA,OAAO,EAAuB,KAAK,UAAU,EAAE,MAAM,cAAc,CAAC;AAEpE,OAAO,KAAK,EAAS,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAIvD,OAAO,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC,qFAAqF;AACrF,UAAU,MAAM;IACd,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE;QACd,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG;YAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,GAAG,SAAS,CAAC;QAChF,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS;YAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;SAAE,EAAE,CAAC;QACpD,EAAE,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS;YAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;SAAE,EAAE,CAAC;KACpD,CAAC;IACF,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,+GAA+G;IAC/G,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC;CACpE;AAaD;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,GAAG,OAAO,CAGtE;AAED;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,GAAG,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,CAWnF;AAED,gHAAgH;AAChH,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,GAAG,SAAS,SAAS,EAAE,CAGnF;AAED,iEAAiE;AACjE,wBAAgB,SAAS,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,UAAU,CAE7F;AASD;;;;;;;;;;;GAWG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CA2H3F"}
+{"version":3,"file":"seen.d.ts","sourceRoot":"","sources":["../src/seen.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAc,MAAM,iBAAiB,CAAC;AAC7D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEtD,OAAO,KAAK,EAAgB,SAAS,EAAiB,MAAM,kBAAkB,CAAC;AAC/E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAuB,KAAK,UAAU,EAAE,MAAM,cAAc,CAAC;AAEpE,OAAO,KAAK,EAAS,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAGvD,OAAO,EAAwC,KAAK,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAGxF,OAAO,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC,qFAAqF;AACrF,UAAU,MAAM;IACd,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE;QACd,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG;YAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,GAAG,SAAS,CAAC;QAChF,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS;YAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;SAAE,EAAE,CAAC;QACpD,EAAE,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS;YAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;SAAE,EAAE,CAAC;QACnD,yFAAyF;QACzF,QAAQ,CAAC,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,SAAS,EAAE,CAAC;QAC5C,OAAO,CAAC,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,SAAS,EAAE,CAAC;KAC5C,CAAC;IACF,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,+GAA+G;IAC/G,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC;IACnE,+FAA+F;IAC/F,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG;YAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;SAAE,GAAG,SAAS,CAAA;KAAE,CAAC;CAC7F;AAaD;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,GAAG,OAAO,CAGtE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,GAAG,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,CAWnF;AAmDD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,GAAG,QAAQ,CAEtE;AA8KD,iKAAiK;AACjK,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,GAAG,SAAS,SAAS,EAAE,CAmDnF;AAWD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAC1B,CAAC,SAAS;IACR,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,aAAa,CAAC,CAAC;IACzC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IACzC,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAChD,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;CACrC,EACD,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CA+EnD;AAED,iEAAiE;AACjE,wBAAgB,SAAS,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,UAAU,CAE7F;AASD;;;;;;;;;;;GAWG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CA+L3F"}