@reticlehq/server 2.14.0 → 3.2.0

package/dist/intent/intent-shard.d.ts

@@ -1,411 +0,0 @@
-/**
- * The sharded intent store: one small file per subject, plus an index cheap enough to always load.
- *
- * ## Why this exists
- *
- * `.reticle/intent.json` was a single object that reached 141 entries and 109KB. Parsing that is
- * nothing; READING it is the cost, and reading is what this store is for. An agent wanting the two
- * rules about checkout pulled 139 irrelevant ones through its context to find them, and an agent
- * changing one rewrote the whole file — which is both slow to review and a lost write whenever two
- * sessions touch different subjects at once.
- *
- * ## The shape
- *
- *   .reticle/intent/index.json     every id, its subject and one line of prose
- *   .reticle/intent/<subject>.json the full records for that subject
- *
- * The index is the whole point: it answers "what do we know, and where does it live?" without
- * opening anything, and detail is then fetched for the one subject in play. Measured on the real
- * corpus, that is 109KB all-or-nothing becoming an index plus one shard — and the largest shard is
- * under 10KB once the unsorted bucket is set aside.
- *
- * The index is NOT tiny, and measuring beat guessing twice over. With full statements it came to
- * 36KB for 141 entries; summarising them saved 7%, because the bulk is not the prose but the ids —
- * `inline:signing-in-with-the-email-password-created-earli-6ca804e9` is 63 characters before the
- * statement starts. So the honest numbers are: 109KB all-or-nothing becomes a 33KB index plus one
- * ~10KB shard, and the real win is that a READ and a WRITE are both bounded to one subject rather
- * than the whole corpus.
- *
- * The index is therefore the part that does not scale forever. At ten times this size it needs a
- * second tier — subjects and counts, with ids fetched per subject — rather than a longer single
- * read. Recorded here because the next person will hit it, and the shape of the fix is already
- * visible.
- *
- * ## What the records carry that the old ones did not
- *
- * The legacy file was written BY verification, AT verification time, in verification's vocabulary: a
- * statement, a predicate, and whether a verdict discharged it. Of 141 entries, four named a surface.
- * There was nowhere to put the reason a thing must be true, who decided it, or when — so the
- * business case somebody states once and then forgets had no home and was never captured.
- *
- * `why`, `source` and `subject` are that home. They are optional because a migrated record cannot
- * invent them, and a store that rejected incomplete records would simply not be written to.
- */
-import { z } from 'zod';
-import { type Intent } from '@reticlehq/core/artifacts';
-import type { FileSystemPort } from '../project/fs-port.js';
-/**
- * How settled a record is.
- *
- * Separate from the legacy `state`, which only ever described the VERIFICATION lifecycle
- * (declared → bound → proved). A rule can be agreed with the customer months before anything can
- * prove it, and collapsing those two axes is what made the old file an assertion log rather than a
- * memory.
- */
-export declare const IntentStatus: {
-    /** Captured, not yet confirmed by anyone. What an agent writes while building. */
-    readonly PROPOSED: "proposed";
-    /** Confirmed as something that must hold. May have no way to prove it yet. */
-    readonly AGREED: "agreed";
-    /** A verdict has actually shown it holds. */
-    readonly PROVED: "proved";
-    /** Believed out of date — kept, because deleting the record loses the fact it was ever true. */
-    readonly STALE: "stale";
-};
-export type IntentStatus = (typeof IntentStatus)[keyof typeof IntentStatus];
-declare const IntentRecordSchema: z.ZodObject<{
-    id: z.ZodString;
-    statement: z.ZodString;
-    state: z.ZodEnum<["declared", "bound", "proved"]>;
-    declaredAt: z.ZodNumber;
-    binding: z.ZodOptional<z.ZodUnknown>;
-    surface: z.ZodOptional<z.ZodObject<{
-        route: z.ZodOptional<z.ZodString>;
-        flow: z.ZodOptional<z.ZodString>;
-        files: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    }, "strip", z.ZodTypeAny, {
-        route?: string | undefined;
-        flow?: string | undefined;
-        files?: string[] | undefined;
-    }, {
-        route?: string | undefined;
-        flow?: string | undefined;
-        files?: string[] | undefined;
-    }>>;
-    provenBy: z.ZodOptional<z.ZodObject<{
-        verdictId: z.ZodString;
-        grade: z.ZodString;
-        at: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        at: number;
-        verdictId: string;
-        grade: string;
-    }, {
-        at: number;
-        verdictId: string;
-        grade: string;
-    }>>;
-    amended: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        statement: z.ZodString;
-        at: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        at: number;
-        statement: string;
-    }, {
-        at: number;
-        statement: string;
-    }>, "many">>;
-} & {
-    /** Which shard this lives in. Stored as well as implied, so a file read alone is self-describing. */
-    subject: z.ZodString;
-    status: z.ZodEnum<["proposed", "agreed", "proved", "stale"]>;
-    /** WHY it must be true. The half the old file had no room for. */
-    why: z.ZodOptional<z.ZodString>;
-    /** Where it came from — "the user, in conversation" beats an anonymous assertion in six months. */
-    source: z.ZodOptional<z.ZodString>;
-    /** When it was last touched, so a stale-looking record can be told from an untouched one. */
-    updatedAt: z.ZodOptional<z.ZodNumber>;
-}, "strip", z.ZodTypeAny, {
-    status: "proved" | "stale" | "proposed" | "agreed";
-    state: "proved" | "declared" | "bound";
-    subject: string;
-    id: string;
-    statement: string;
-    declaredAt: number;
-    surface?: {
-        route?: string | undefined;
-        flow?: string | undefined;
-        files?: string[] | undefined;
-    } | undefined;
-    source?: string | undefined;
-    why?: string | undefined;
-    updatedAt?: number | undefined;
-    binding?: unknown;
-    provenBy?: {
-        at: number;
-        verdictId: string;
-        grade: string;
-    } | undefined;
-    amended?: {
-        at: number;
-        statement: string;
-    }[] | undefined;
-}, {
-    status: "proved" | "stale" | "proposed" | "agreed";
-    state: "proved" | "declared" | "bound";
-    subject: string;
-    id: string;
-    statement: string;
-    declaredAt: number;
-    surface?: {
-        route?: string | undefined;
-        flow?: string | undefined;
-        files?: string[] | undefined;
-    } | undefined;
-    source?: string | undefined;
-    why?: string | undefined;
-    updatedAt?: number | undefined;
-    binding?: unknown;
-    provenBy?: {
-        at: number;
-        verdictId: string;
-        grade: string;
-    } | undefined;
-    amended?: {
-        at: number;
-        statement: string;
-    }[] | undefined;
-}>;
-export type IntentRecord = z.infer<typeof IntentRecordSchema>;
-export declare const IntentShardSchema: z.ZodObject<{
-    version: z.ZodLiteral<1>;
-    subject: z.ZodString;
-    intents: z.ZodRecord<z.ZodString, z.ZodObject<{
-        id: z.ZodString;
-        statement: z.ZodString;
-        state: z.ZodEnum<["declared", "bound", "proved"]>;
-        declaredAt: z.ZodNumber;
-        binding: z.ZodOptional<z.ZodUnknown>;
-        surface: z.ZodOptional<z.ZodObject<{
-            route: z.ZodOptional<z.ZodString>;
-            flow: z.ZodOptional<z.ZodString>;
-            files: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        }, "strip", z.ZodTypeAny, {
-            route?: string | undefined;
-            flow?: string | undefined;
-            files?: string[] | undefined;
-        }, {
-            route?: string | undefined;
-            flow?: string | undefined;
-            files?: string[] | undefined;
-        }>>;
-        provenBy: z.ZodOptional<z.ZodObject<{
-            verdictId: z.ZodString;
-            grade: z.ZodString;
-            at: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            at: number;
-            verdictId: string;
-            grade: string;
-        }, {
-            at: number;
-            verdictId: string;
-            grade: string;
-        }>>;
-        amended: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            statement: z.ZodString;
-            at: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            at: number;
-            statement: string;
-        }, {
-            at: number;
-            statement: string;
-        }>, "many">>;
-    } & {
-        /** Which shard this lives in. Stored as well as implied, so a file read alone is self-describing. */
-        subject: z.ZodString;
-        status: z.ZodEnum<["proposed", "agreed", "proved", "stale"]>;
-        /** WHY it must be true. The half the old file had no room for. */
-        why: z.ZodOptional<z.ZodString>;
-        /** Where it came from — "the user, in conversation" beats an anonymous assertion in six months. */
-        source: z.ZodOptional<z.ZodString>;
-        /** When it was last touched, so a stale-looking record can be told from an untouched one. */
-        updatedAt: z.ZodOptional<z.ZodNumber>;
-    }, "strip", z.ZodTypeAny, {
-        status: "proved" | "stale" | "proposed" | "agreed";
-        state: "proved" | "declared" | "bound";
-        subject: string;
-        id: string;
-        statement: string;
-        declaredAt: number;
-        surface?: {
-            route?: string | undefined;
-            flow?: string | undefined;
-            files?: string[] | undefined;
-        } | undefined;
-        source?: string | undefined;
-        why?: string | undefined;
-        updatedAt?: number | undefined;
-        binding?: unknown;
-        provenBy?: {
-            at: number;
-            verdictId: string;
-            grade: string;
-        } | undefined;
-        amended?: {
-            at: number;
-            statement: string;
-        }[] | undefined;
-    }, {
-        status: "proved" | "stale" | "proposed" | "agreed";
-        state: "proved" | "declared" | "bound";
-        subject: string;
-        id: string;
-        statement: string;
-        declaredAt: number;
-        surface?: {
-            route?: string | undefined;
-            flow?: string | undefined;
-            files?: string[] | undefined;
-        } | undefined;
-        source?: string | undefined;
-        why?: string | undefined;
-        updatedAt?: number | undefined;
-        binding?: unknown;
-        provenBy?: {
-            at: number;
-            verdictId: string;
-            grade: string;
-        } | undefined;
-        amended?: {
-            at: number;
-            statement: string;
-        }[] | undefined;
-    }>>;
-}, "strip", z.ZodTypeAny, {
-    subject: string;
-    intents: Record<string, {
-        status: "proved" | "stale" | "proposed" | "agreed";
-        state: "proved" | "declared" | "bound";
-        subject: string;
-        id: string;
-        statement: string;
-        declaredAt: number;
-        surface?: {
-            route?: string | undefined;
-            flow?: string | undefined;
-            files?: string[] | undefined;
-        } | undefined;
-        source?: string | undefined;
-        why?: string | undefined;
-        updatedAt?: number | undefined;
-        binding?: unknown;
-        provenBy?: {
-            at: number;
-            verdictId: string;
-            grade: string;
-        } | undefined;
-        amended?: {
-            at: number;
-            statement: string;
-        }[] | undefined;
-    }>;
-    version: 1;
-}, {
-    subject: string;
-    intents: Record<string, {
-        status: "proved" | "stale" | "proposed" | "agreed";
-        state: "proved" | "declared" | "bound";
-        subject: string;
-        id: string;
-        statement: string;
-        declaredAt: number;
-        surface?: {
-            route?: string | undefined;
-            flow?: string | undefined;
-            files?: string[] | undefined;
-        } | undefined;
-        source?: string | undefined;
-        why?: string | undefined;
-        updatedAt?: number | undefined;
-        binding?: unknown;
-        provenBy?: {
-            at: number;
-            verdictId: string;
-            grade: string;
-        } | undefined;
-        amended?: {
-            at: number;
-            statement: string;
-        }[] | undefined;
-    }>;
-    version: 1;
-}>;
-export type IntentShard = z.infer<typeof IntentShardSchema>;
-export declare const summarise: (statement: string) => string;
-/** One line per intent: enough to decide whether to open the shard, and no more. */
-declare const IntentIndexEntrySchema: z.ZodObject<{
-    id: z.ZodString;
-    subject: z.ZodString;
-    statement: z.ZodString;
-    status: z.ZodEnum<["proposed", "agreed", "proved", "stale"]>;
-}, "strip", z.ZodTypeAny, {
-    status: "proved" | "stale" | "proposed" | "agreed";
-    subject: string;
-    id: string;
-    statement: string;
-}, {
-    status: "proved" | "stale" | "proposed" | "agreed";
-    subject: string;
-    id: string;
-    statement: string;
-}>;
-export type IntentIndexEntry = z.infer<typeof IntentIndexEntrySchema>;
-export declare const IntentIndexSchema: z.ZodObject<{
-    version: z.ZodLiteral<1>;
-    entries: z.ZodArray<z.ZodObject<{
-        id: z.ZodString;
-        subject: z.ZodString;
-        statement: z.ZodString;
-        status: z.ZodEnum<["proposed", "agreed", "proved", "stale"]>;
-    }, "strip", z.ZodTypeAny, {
-        status: "proved" | "stale" | "proposed" | "agreed";
-        subject: string;
-        id: string;
-        statement: string;
-    }, {
-        status: "proved" | "stale" | "proposed" | "agreed";
-        subject: string;
-        id: string;
-        statement: string;
-    }>, "many">;
-}, "strip", z.ZodTypeAny, {
-    entries: {
-        status: "proved" | "stale" | "proposed" | "agreed";
-        subject: string;
-        id: string;
-        statement: string;
-    }[];
-    version: 1;
-}, {
-    entries: {
-        status: "proved" | "stale" | "proposed" | "agreed";
-        subject: string;
-        id: string;
-        statement: string;
-    }[];
-    version: 1;
-}>;
-export type IntentIndex = z.infer<typeof IntentIndexSchema>;
-export declare const emptyShard: (subject: string) => IntentShard;
-export declare const emptyIndex: () => IntentIndex;
-/** The verification lifecycle a legacy record carried, mapped onto the settledness axis. */
-export declare const statusFromState: (state: Intent["state"]) => IntentStatus;
-/**
- * Turn a legacy intent into a record, inferring only what can be inferred.
- *
- * `why` and `source` are left ABSENT rather than filled with the statement or a placeholder. A
- * record that claims to carry a reason it does not have is worse than one that admits the gap: the
- * gap is a prompt to write the reason down, and a placeholder is a reason to stop looking.
- */
-export declare const recordFromIntent: (intent: Intent) => IntentRecord;
-/** Build the index from the shards. Derived, never hand-maintained — two sources would disagree. */
-export declare const indexFrom: (shards: readonly IntentShard[]) => IntentIndex;
-/** Group records into shards by their own subject. */
-export declare const shardsFrom: (records: readonly IntentRecord[]) => IntentShard[];
-/** Serialise byte-stably, with keys sorted so a re-save of unchanged data is a no-op diff. */
-export declare const serialise: (value: unknown) => string;
-/** Read + validate one JSON file, failing soft: a hand-merged file with a conflict marker is real. */
-export declare const readJsonFile: <T>(fs: FileSystemPort, path: string, parse: (raw: unknown) => T, fallback: T) => Promise<T>;
-export {};

package/dist/intent/intent-shard.js

@@ -1,176 +0,0 @@
-/**
- * The sharded intent store: one small file per subject, plus an index cheap enough to always load.
- *
- * ## Why this exists
- *
- * `.reticle/intent.json` was a single object that reached 141 entries and 109KB. Parsing that is
- * nothing; READING it is the cost, and reading is what this store is for. An agent wanting the two
- * rules about checkout pulled 139 irrelevant ones through its context to find them, and an agent
- * changing one rewrote the whole file — which is both slow to review and a lost write whenever two
- * sessions touch different subjects at once.
- *
- * ## The shape
- *
- *   .reticle/intent/index.json     every id, its subject and one line of prose
- *   .reticle/intent/<subject>.json the full records for that subject
- *
- * The index is the whole point: it answers "what do we know, and where does it live?" without
- * opening anything, and detail is then fetched for the one subject in play. Measured on the real
- * corpus, that is 109KB all-or-nothing becoming an index plus one shard — and the largest shard is
- * under 10KB once the unsorted bucket is set aside.
- *
- * The index is NOT tiny, and measuring beat guessing twice over. With full statements it came to
- * 36KB for 141 entries; summarising them saved 7%, because the bulk is not the prose but the ids —
- * `inline:signing-in-with-the-email-password-created-earli-6ca804e9` is 63 characters before the
- * statement starts. So the honest numbers are: 109KB all-or-nothing becomes a 33KB index plus one
- * ~10KB shard, and the real win is that a READ and a WRITE are both bounded to one subject rather
- * than the whole corpus.
- *
- * The index is therefore the part that does not scale forever. At ten times this size it needs a
- * second tier — subjects and counts, with ids fetched per subject — rather than a longer single
- * read. Recorded here because the next person will hit it, and the shape of the fix is already
- * visible.
- *
- * ## What the records carry that the old ones did not
- *
- * The legacy file was written BY verification, AT verification time, in verification's vocabulary: a
- * statement, a predicate, and whether a verdict discharged it. Of 141 entries, four named a surface.
- * There was nowhere to put the reason a thing must be true, who decided it, or when — so the
- * business case somebody states once and then forgets had no home and was never captured.
- *
- * `why`, `source` and `subject` are that home. They are optional because a migrated record cannot
- * invent them, and a store that rejected incomplete records would simply not be written to.
- */
-import { z } from 'zod';
-import { IntentSchema } from '@reticlehq/core/artifacts';
-import { subjectFor, UNSORTED_SUBJECT } from './intent-subject.js';
-const INTENT_SHARD_VERSION = 1;
-/** Byte-stable writes: an unchanged shard produces no diff, so the ones that DID change stand out. */
-const JSON_INDENT = 2;
-/**
- * How settled a record is.
- *
- * Separate from the legacy `state`, which only ever described the VERIFICATION lifecycle
- * (declared → bound → proved). A rule can be agreed with the customer months before anything can
- * prove it, and collapsing those two axes is what made the old file an assertion log rather than a
- * memory.
- */
-export const IntentStatus = {
-    /** Captured, not yet confirmed by anyone. What an agent writes while building. */
-    PROPOSED: 'proposed',
-    /** Confirmed as something that must hold. May have no way to prove it yet. */
-    AGREED: 'agreed',
-    /** A verdict has actually shown it holds. */
-    PROVED: 'proved',
-    /** Believed out of date — kept, because deleting the record loses the fact it was ever true. */
-    STALE: 'stale',
-};
-const IntentRecordSchema = IntentSchema.extend({
-    /** Which shard this lives in. Stored as well as implied, so a file read alone is self-describing. */
-    subject: z.string().min(1),
-    status: z.enum([
-        IntentStatus.PROPOSED,
-        IntentStatus.AGREED,
-        IntentStatus.PROVED,
-        IntentStatus.STALE,
-    ]),
-    /** WHY it must be true. The half the old file had no room for. */
-    why: z.string().optional(),
-    /** Where it came from — "the user, in conversation" beats an anonymous assertion in six months. */
-    source: z.string().optional(),
-    /** When it was last touched, so a stale-looking record can be told from an untouched one. */
-    updatedAt: z.number().optional(),
-});
-export const IntentShardSchema = z.object({
-    version: z.literal(INTENT_SHARD_VERSION),
-    subject: z.string().min(1),
-    intents: z.record(z.string(), IntentRecordSchema),
-});
-/**
- * How much of a statement the index carries.
- *
- * The index exists to answer WHICH SHARD, and a clause is enough to decide that; the sentence is one
- * file away. Ellipsis included so a truncated line is never mistaken for the whole intent.
- *
- * Worth 7% on the real corpus rather than the large saving expected — the ids dominate — but it also
- * bounds the damage a future 500-character statement can do to a file meant to be read every
- * session, which is the reason to keep it.
- */
-const SUMMARY_MAX = 72;
-export const summarise = (statement) => statement.length <= SUMMARY_MAX ? statement : `${statement.slice(0, SUMMARY_MAX - 1).trimEnd()}…`;
-/** One line per intent: enough to decide whether to open the shard, and no more. */
-const IntentIndexEntrySchema = z.object({
-    id: z.string().min(1),
-    subject: z.string().min(1),
-    statement: z.string().min(1),
-    status: z.enum([
-        IntentStatus.PROPOSED,
-        IntentStatus.AGREED,
-        IntentStatus.PROVED,
-        IntentStatus.STALE,
-    ]),
-});
-export const IntentIndexSchema = z.object({
-    version: z.literal(INTENT_SHARD_VERSION),
-    entries: z.array(IntentIndexEntrySchema),
-});
-export const emptyShard = (subject) => ({
-    version: INTENT_SHARD_VERSION,
-    subject,
-    intents: {},
-});
-export const emptyIndex = () => ({ version: INTENT_SHARD_VERSION, entries: [] });
-/** The verification lifecycle a legacy record carried, mapped onto the settledness axis. */
-export const statusFromState = (state) => 'proved' === state ? IntentStatus.PROVED : IntentStatus.AGREED;
-/**
- * Turn a legacy intent into a record, inferring only what can be inferred.
- *
- * `why` and `source` are left ABSENT rather than filled with the statement or a placeholder. A
- * record that claims to carry a reason it does not have is worse than one that admits the gap: the
- * gap is a prompt to write the reason down, and a placeholder is a reason to stop looking.
- */
-export const recordFromIntent = (intent) => ({
-    ...intent,
-    subject: subjectFor({ surface: intent.surface, binding: intent.binding }),
-    status: statusFromState(intent.state),
-});
-/** Build the index from the shards. Derived, never hand-maintained — two sources would disagree. */
-export const indexFrom = (shards) => ({
-    version: INTENT_SHARD_VERSION,
-    entries: shards
-        .flatMap((s) => Object.values(s.intents))
-        .map((r) => ({
-        id: r.id,
-        subject: r.subject,
-        statement: summarise(r.statement),
-        status: r.status,
-    }))
-        .sort((a, b) => a.subject.localeCompare(b.subject) || a.id.localeCompare(b.id)),
-});
-/** Group records into shards by their own subject. */
-export const shardsFrom = (records) => {
-    const bySubject = new Map();
-    for (const r of records) {
-        const subject = '' === r.subject ? UNSORTED_SUBJECT : r.subject;
-        const shard = bySubject.get(subject) ?? emptyShard(subject);
-        shard.intents[r.id] = r;
-        bySubject.set(subject, shard);
-    }
-    return [...bySubject.values()].sort((a, b) => a.subject.localeCompare(b.subject));
-};
-/** Serialise byte-stably, with keys sorted so a re-save of unchanged data is a no-op diff. */
-export const serialise = (value) => `${JSON.stringify(value, (_k, v) => sortKeys(v), JSON_INDENT)}\n`;
-const sortKeys = (value) => {
-    if (Array.isArray(value) || null === value || typeof value !== 'object')
-        return value;
-    return Object.fromEntries(Object.entries(value).sort(([a], [b]) => a.localeCompare(b)));
-};
-/** Read + validate one JSON file, failing soft: a hand-merged file with a conflict marker is real. */
-export const readJsonFile = async (fs, path, parse, fallback) => {
-    try {
-        return parse(JSON.parse(await fs.readFile(path)));
-    }
-    catch {
-        return fallback;
-    }
-};

package/dist/intent/intent-store.d.ts

@@ -1,49 +0,0 @@
-import { type Intent, type IntentSurface } from '@reticlehq/core/artifacts';
-import type { FileSystemPort } from '../project/fs-port.js';
-export interface Clock {
-    now: () => number;
-}
-export declare class IntentStore {
-    #private;
-    constructor(fs: FileSystemPort, root: string, clock: Clock);
-    /** Every intent, in declaration order. */
-    read(): Promise<Intent[]>;
-    /** Everything not yet proved — what an agent asking "am I done?" still owes. */
-    open(): Promise<Intent[]>;
-    /**
-     * Declare one or more intents.
-     *
-     * Batched because the marginal cost of the whole mechanism has to stay at one call per feature; an
-     * agent that must make five calls to declare five things will make none.
-     */
-    declare(entries: readonly {
-        id: string;
-        statement: string;
-        surface?: IntentSurface;
-    }[]): Promise<Intent[]>;
-    /** Attach the predicate that would prove an intent. False when the id names nothing. */
-    /**
-     * File a record under where it turned out to be about.
-     *
-     * Separate from `declare` because the two happen at different MOMENTS and know different things.
-     * An inline intent is declared BEFORE the action — deliberately, so a verdict can see it open —
-     * and at that instant the agent is still on the page it is leaving. The route that describes what
-     * the intent is ABOUT only exists after the consequence lands.
-     *
-     * Write-once: an existing surface is never overwritten. A record placed by an agent that named its
-     * own subject must not be re-filed by a later run that happened to be somewhere else.
-     */
-    place(id: string, surface: IntentSurface): Promise<boolean>;
-    bind(id: string, binding: unknown): Promise<boolean>;
-    /**
-     * Record that a verdict proved an intent.
-     *
-     * False rather than a throw on an unknown or unbound id: discharge runs off the back of a verdict,
-     * and must never be the reason one fails to return.
-     */
-    discharge(id: string, proof: {
-        verdictId: string;
-        grade: string;
-        at: number;
-    }): Promise<boolean>;
-}