light-plan 0.0.0-stage → 0.1.0

package/dist/remote/ladder.d.ts

@@ -0,0 +1,145 @@
+/**
+ * The degradation ladder as a report (LP-275): for every board construct a
+ * remote must carry, which rung of the ladder it lands on and why the rung
+ * above was not available.
+ *
+ * The ladder (LP-255) is the ordered set of carriers a field may use, best
+ * first:
+ *
+ *   1. native        the remote has a real place for it
+ *   2. custom field  the remote can be *given* one (the push creates it)
+ *   3. label         a low-fidelity native carrier for enums and types
+ *   4. managed block a delimited region in the issue body
+ *   5. comment       the same block as a comment, when the body is not writable
+ *   6. refuse        a `required` field with none of the above — the sync stops
+ *
+ * `preflight.ts` collects the *values* one remote cannot carry, per document,
+ * offline, as a `Problem[]`. This module is the other half: the *constructs*
+ * (hierarchy, type, status, each edge, each attribute, each period level) and
+ * their rungs, read from the **resolved** capabilities — probes answered —
+ * which is what `preflight.ts` cannot do offline. The two are complementary:
+ * the value problems gate the push, the rungs are the report a person reads
+ * before deciding whether to fix the tracker or accept the encoding. Nothing
+ * prints these rows yet — the module has no caller outside the barrel export.
+ *
+ * A construct is refused (rung 6) when it is `required` and rungs 1-5 are all
+ * unavailable. Only attributes carry `required`, so the bottom rung is theirs.
+ * The same attribute without `required` is `dropped` instead — a warning, not
+ * a stop. `refusalProblems` turns those two outcomes into the `Problem[]` a
+ * sync gates on: a `refused` row is an error (a warning under `--force`), a
+ * `dropped` row a warning, and both name the field, the missing capability and
+ * (for a refusal) the config change that resolves it (LP-279).
+ * The push is named whenever a carrier can be created through the
+ * provider's API (`provisioning.customFields` / `provisioning.periods`).
+ *
+ * Constructs the ladder does not cover, deliberately: `comments` and
+ * `incrementalRead` are sync *mechanics*, not fields, and the assignee
+ * (`accounts.ts`) has no capability cell of its own — a generic pool's label
+ * degradation is LP-271's, not the ladder's. Attributes are never reported
+ * `native`: the capability table declares no native attribute fields, and the
+ * providers implemented so far have none (GitHub); a provider with native
+ * fields (Jira) will add a cell before that rung lights up.
+ *
+ * Pure: no disk, no network. The board, the opened remote and the resolved
+ * capability table are passed in, so a dry-run is this exact code path.
+ */
+import type { LoadedBoard } from '../core/board/load.js';
+import type { Problem } from '../core/model/types.js';
+import type { ResolvedCapabilities } from './capabilities.js';
+import type { OpenedRemote } from './remotes.js';
+/**
+ * One rung of the degradation ladder, best first — plus `dropped`, the outcome
+ * off the bottom of the ladder: a field with no carrier that is *not*
+ * `required`, so it is lost with a warning rather than refused.
+ */
+export type Rung = 'native' | 'custom_field' | 'label' | 'managed_block' | 'comment' | 'refused' | 'dropped';
+/** A carrier that does not exist on the remote yet, and is created for you. */
+export interface ProvisionHint {
+    /** The command that creates it — the push, which does this before it files. */
+    command: string;
+    /** What that command would create. */
+    description: string;
+}
+/** One construct and where it landed. */
+export interface LadderRow {
+    /** The construct: `hierarchy`, `type`, `status`, an edge, an attribute, a period type. */
+    construct: string;
+    /** The board side, human-readable — the chain, the statuses, the mapped carrier. */
+    board: string;
+    /** The rung the field landed on. */
+    rung: Rung;
+    /** Why the rung above was not available. */
+    reason: string;
+    /** Present when the carrier can be created through the API. */
+    provision?: ProvisionHint;
+}
+/** Options for `preflightLadder`. */
+export interface LadderOptions {
+    /**
+     * Whether the remote body can carry a managed block (rung 4). Defaults to
+     * true. `encoding: comment` on the remote is the declared spelling of
+     * `false` — derive it with `bodyWritableFor(remote)`.
+     */
+    bodyWritable?: boolean;
+}
+/** The report this module renders, for whatever comes to print it. */
+export interface PreflightReport {
+    remoteName: string;
+    /** Provider name and its coordinates: `github: acme/payments`. */
+    connection: string;
+    rows: LadderRow[];
+    /** Every row landed on rung 1. */
+    lossless: boolean;
+    /** Some `required` construct reached rung 6 — the sync must stop. */
+    refused: boolean;
+}
+/**
+ * True when a remote's `encoding` keeps degraded fields in the body (rung 4).
+ * `encoding: comment` is the declared spelling of "the body is not writable"
+ * and pushes degraded fields down to the managed comment (rung 5) instead.
+ */
+export declare function bodyWritableFor(remote: OpenedRemote): boolean;
+/**
+ * Compute the rung every board construct lands on, against one remote's
+ * resolved capabilities.
+ *
+ * The remote must already have been opened (`openRemote`), so `remote.mapping`
+ * carries the provider-validated shape; the capabilities must already have
+ * been resolved (`resolveCapabilities`), so probes are answered. Both are
+ * handed in rather than derived here — this function stays pure and a
+ * dry-run is the exact code path a real check runs.
+ */
+export declare function preflightLadder(board: LoadedBoard, remote: OpenedRemote, capabilities: ResolvedCapabilities, options?: LadderOptions): PreflightReport;
+/**
+ * Render the report as text. Lossless boards get the short form — a single
+ * line saying nothing is degraded (the story's third criterion). Otherwise one
+ * row per construct: name, board side, rung, and the reason the rung above was
+ * not available, naming the command that creates a carrier where one can be.
+ */
+export declare function renderLadderReport(report: PreflightReport): string;
+/** Options for `refusalProblems`. */
+export interface RefusalOptions {
+    /**
+     * When true, a `refused` field is a warning rather than an error — the
+     * `--force` escape hatch, which lets the sync proceed once while the caller
+     * lists the dropped fields in its summary and audit log.
+     */
+    force?: boolean;
+    /** The config file path each problem is reported against. Defaults to `.lpm/config.yml`. */
+    configPath?: string;
+}
+/**
+ * The problems a ladder report raises for the sync gate (LP-279): the bottom
+ * of the ladder, where a field has nowhere to go, must never be silent loss.
+ *
+ * A `refused` row — a `required` attribute with no carrier at all — is an
+ * error that stops the sync, unless `force` downgrades it to a warning. A
+ * `dropped` row — the same attribute without `required` — is always a warning
+ * and the sync proceeds. Both name the field, the capability the remote lacks,
+ * and (for a refusal) the concrete config change that resolves it: mapping the
+ * attribute to a label, the one carrier every provider has.
+ *
+ * Pure: it reads the report already computed by `preflightLadder` against
+ * resolved capabilities, so a dry-run and a real sync run the exact same code.
+ */
+export declare function refusalProblems(report: PreflightReport, options?: RefusalOptions): Problem[];

package/dist/remote/ladder.js

@@ -0,0 +1,387 @@
+/**
+ * The degradation ladder as a report (LP-275): for every board construct a
+ * remote must carry, which rung of the ladder it lands on and why the rung
+ * above was not available.
+ *
+ * The ladder (LP-255) is the ordered set of carriers a field may use, best
+ * first:
+ *
+ *   1. native        the remote has a real place for it
+ *   2. custom field  the remote can be *given* one (the push creates it)
+ *   3. label         a low-fidelity native carrier for enums and types
+ *   4. managed block a delimited region in the issue body
+ *   5. comment       the same block as a comment, when the body is not writable
+ *   6. refuse        a `required` field with none of the above — the sync stops
+ *
+ * `preflight.ts` collects the *values* one remote cannot carry, per document,
+ * offline, as a `Problem[]`. This module is the other half: the *constructs*
+ * (hierarchy, type, status, each edge, each attribute, each period level) and
+ * their rungs, read from the **resolved** capabilities — probes answered —
+ * which is what `preflight.ts` cannot do offline. The two are complementary:
+ * the value problems gate the push, the rungs are the report a person reads
+ * before deciding whether to fix the tracker or accept the encoding. Nothing
+ * prints these rows yet — the module has no caller outside the barrel export.
+ *
+ * A construct is refused (rung 6) when it is `required` and rungs 1-5 are all
+ * unavailable. Only attributes carry `required`, so the bottom rung is theirs.
+ * The same attribute without `required` is `dropped` instead — a warning, not
+ * a stop. `refusalProblems` turns those two outcomes into the `Problem[]` a
+ * sync gates on: a `refused` row is an error (a warning under `--force`), a
+ * `dropped` row a warning, and both name the field, the missing capability and
+ * (for a refusal) the config change that resolves it (LP-279).
+ * The push is named whenever a carrier can be created through the
+ * provider's API (`provisioning.customFields` / `provisioning.periods`).
+ *
+ * Constructs the ladder does not cover, deliberately: `comments` and
+ * `incrementalRead` are sync *mechanics*, not fields, and the assignee
+ * (`accounts.ts`) has no capability cell of its own — a generic pool's label
+ * degradation is LP-271's, not the ladder's. Attributes are never reported
+ * `native`: the capability table declares no native attribute fields, and the
+ * providers implemented so far have none (GitHub); a provider with native
+ * fields (Jira) will add a cell before that rung lights up.
+ *
+ * Pure: no disk, no network. The board, the opened remote and the resolved
+ * capability table are passed in, so a dry-run is this exact code path.
+ */
+import { hierarchyFor } from '../core/config/lookup.js';
+import { hasPeriods } from '../core/model/types.js';
+import { attributeDefsOf } from './preflight.js';
+import { normalizePeriodMapping } from './periods.js';
+/** The rung's display name. */
+const RUNG_LABEL = {
+    native: 'native',
+    custom_field: 'custom field',
+    label: 'label',
+    managed_block: 'managed block',
+    comment: 'comment',
+    refused: 'refused',
+    dropped: 'dropped',
+};
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+/**
+ * True when a remote's `encoding` keeps degraded fields in the body (rung 4).
+ * `encoding: comment` is the declared spelling of "the body is not writable"
+ * and pushes degraded fields down to the managed comment (rung 5) instead.
+ */
+export function bodyWritableFor(remote) {
+    return remote.encoding !== 'comment';
+}
+function asRecord(value) {
+    if (value && typeof value === 'object' && !Array.isArray(value)) {
+        return value;
+    }
+    return {};
+}
+/** A phrase naming the remote's native nesting, for hierarchy reasons. */
+function depthPhrase(hierarchyDepth) {
+    if (hierarchyDepth === 0)
+        return 'the remote is flat';
+    if (hierarchyDepth === 1)
+        return 'one native sub-issue level';
+    return `${hierarchyDepth} native sub-issue levels`;
+}
+/** The hint for a carrier the push creates, when the provider can create fields. */
+function customFieldHint(capabilities) {
+    if (!capabilities.provisioning.customFields)
+        return undefined;
+    return {
+        command: 'lpm remote push',
+        description: 'creates the missing fields and options before it files',
+    };
+}
+// ---------------------------------------------------------------------------
+// Per-construct decisions
+// ---------------------------------------------------------------------------
+/** The issue hierarchy chain, for the `board` column. */
+function issueChain(board) {
+    return hierarchyFor(board.config, 'issue')
+        .map((level) => level.join('/'))
+        .join(' > ');
+}
+/**
+ * Nesting: native while the board is no deeper than the remote's native depth
+ * (`hierarchyDepth` parent edges + the root); the extra levels' parent rides
+ * the managed block. The types at those levels are the `type` row's business.
+ */
+function hierarchyRow(board, capabilities) {
+    const hierarchy = hierarchyFor(board.config, 'issue');
+    const chain = issueChain(board);
+    const nativeDepth = capabilities.hierarchyDepth + 1;
+    if (hierarchy.length <= nativeDepth) {
+        return {
+            construct: 'hierarchy',
+            board: chain,
+            rung: 'native',
+            reason: 'fits within the remote native depth',
+        };
+    }
+    return {
+        construct: 'hierarchy',
+        board: chain,
+        rung: 'managed_block',
+        reason: `${depthPhrase(capabilities.hierarchyDepth)}; deeper nesting is carried in the managed block`,
+    };
+}
+/** Issue type: native where the provider has one, else a label. */
+function typeRow(board, capabilities) {
+    const types = hierarchyFor(board.config, 'issue').flat().join(' ');
+    return capabilities.nativeTypes
+        ? { construct: 'type', board: types, rung: 'native', reason: 'the remote has native issue types' }
+        : { construct: 'type', board: types, rung: 'label', reason: 'no native issue type' };
+}
+/** Status: named workflow states are native; open/closed degrades to a field or labels. */
+function statusRow(board, capabilities) {
+    const statuses = board.config.statuses.map((status) => status.id).join(' ');
+    if (capabilities.status.kind !== 'binary') {
+        return { construct: 'status', board: statuses, rung: 'native', reason: 'native workflow states' };
+    }
+    const base = { construct: 'status', board: statuses };
+    if (capabilities.customFields !== null) {
+        return {
+            ...base,
+            rung: 'custom_field',
+            reason: 'only open/closed natively; richer states ride a custom field',
+            provision: customFieldHint(capabilities),
+        };
+    }
+    return {
+        ...base,
+        rung: 'label',
+        reason: 'only open/closed natively, and no custom fields — labels carry the state',
+    };
+}
+/** A dependency edge: native where the remote holds one, else the managed block. */
+function edgeRow(kind, native) {
+    if (native) {
+        return {
+            construct: kind,
+            board: '',
+            rung: 'native',
+            reason: kind === 'depends_on' ? 'native blocking edge' : 'native relates edge',
+        };
+    }
+    return {
+        construct: kind,
+        board: '',
+        rung: 'managed_block',
+        reason: kind === 'depends_on'
+            ? 'the remote has no blocking edge'
+            : 'the remote has no relates edge',
+    };
+}
+/** One declared issue attribute, walked down the ladder. */
+function attributeRow(name, def, mappedTo, capabilities, bodyWritable) {
+    const mapped = mappedTo !== undefined && mappedTo !== '';
+    const board = mapped ? `-> "${mappedTo}"` : '';
+    // Rung 3: a mapped attribute rides the mapping's carrier, which for the
+    // implemented provider (GitHub) is a label prefix. Rung 1 never lights up —
+    // no capability cell declares native attribute fields. Rung 2 is skipped
+    // because the mapping pinned the carrier to a label.
+    if (mapped) {
+        return {
+            construct: name,
+            board,
+            rung: 'label',
+            reason: 'no native field; the mapping carries attributes as labels',
+        };
+    }
+    // Rung 2: an unmapped attribute can be given a custom field, when the
+    // provider holds them.
+    if (capabilities.customFields !== null) {
+        return {
+            construct: name,
+            board,
+            rung: 'custom_field',
+            reason: 'not mapped; carried as a custom field',
+            provision: customFieldHint(capabilities),
+        };
+    }
+    // Rungs 4-6: the managed block, its comment fallback, or the stop.
+    if (bodyWritable) {
+        return {
+            construct: name,
+            board,
+            rung: 'managed_block',
+            reason: 'not mapped and no custom fields — carried in the managed block',
+        };
+    }
+    if (capabilities.comments.native) {
+        return {
+            construct: name,
+            board,
+            rung: 'comment',
+            reason: 'not mapped, and the body is not writable — carried as a managed comment',
+        };
+    }
+    // Rung 6: a `required` field with none of the above is refused — the sync
+    // stops rather than dropping it in silence. The same field, not required,
+    // is dropped with a warning instead (the `dropped` outcome off the ladder).
+    if (def.required === true) {
+        return {
+            construct: name,
+            board,
+            rung: 'refused',
+            reason: 'required, and no carrier is available (no custom fields, no writable body, no comments)',
+        };
+    }
+    return {
+        construct: name,
+        board,
+        rung: 'dropped',
+        reason: 'not required, and no carrier is available (no custom fields, no writable body, no comments)',
+    };
+}
+/** One declared period type: the container level vs the degraded levels. */
+function periodContainerRow(type, capabilities, carrier) {
+    if (capabilities.periods.native || capabilities.periods.creatable) {
+        const provision = capabilities.periods.native
+            ? undefined
+            : { command: 'lpm remote push', description: 'creates the period container before it files' };
+        return {
+            construct: type,
+            board: `-> ${carrier}`,
+            rung: 'native',
+            reason: 'native period container (milestone, sprint, cycle)',
+            ...(provision ? { provision } : {}),
+        };
+    }
+    return {
+        construct: type,
+        board: '',
+        rung: 'managed_block',
+        reason: 'no native container — carried in the managed block',
+    };
+}
+// ---------------------------------------------------------------------------
+// The report
+// ---------------------------------------------------------------------------
+/**
+ * Compute the rung every board construct lands on, against one remote's
+ * resolved capabilities.
+ *
+ * The remote must already have been opened (`openRemote`), so `remote.mapping`
+ * carries the provider-validated shape; the capabilities must already have
+ * been resolved (`resolveCapabilities`), so probes are answered. Both are
+ * handed in rather than derived here — this function stays pure and a
+ * dry-run is the exact code path a real check runs.
+ */
+export function preflightLadder(board, remote, capabilities, options = {}) {
+    // `encoding: comment` is the declared spelling of "the body is not
+    // writable"; the option overrides it for a caller that probed a runtime
+    // fact instead (a body write the remote refused).
+    const bodyWritable = options.bodyWritable ?? bodyWritableFor(remote);
+    const rows = [
+        hierarchyRow(board, capabilities),
+        typeRow(board, capabilities),
+        statusRow(board, capabilities),
+        edgeRow('depends_on', capabilities.edges.dependsOn),
+        edgeRow('relates_to', capabilities.edges.relatesTo),
+    ];
+    const defs = attributeDefsOf(board);
+    const attributeMapping = asRecord(remote.mapping['attributes']);
+    for (const name of Object.keys(defs).sort()) {
+        const mappedTo = attributeMapping[name];
+        rows.push(attributeRow(name, defs[name], typeof mappedTo === 'string' ? mappedTo : undefined, capabilities, bodyWritable));
+    }
+    if (hasPeriods(board.config)) {
+        const periodMapping = normalizePeriodMapping(remote.mapping['periods']);
+        for (const type of board.config.period_hierarchy.flat()) {
+            if (periodMapping && type === periodMapping.container) {
+                rows.push(periodContainerRow(type, capabilities, periodMapping.carrier));
+            }
+            else {
+                rows.push({
+                    construct: type,
+                    board: '',
+                    rung: 'managed_block',
+                    reason: 'not the container level — carried as a `period:<type>` row in the managed block',
+                });
+            }
+        }
+    }
+    const providerName = board.config.remotes[remote.name]?.provider ?? '';
+    const repo = remote.connection['repo'];
+    const connection = typeof repo === 'string' && repo !== ''
+        ? providerName !== ''
+            ? `${providerName}: ${repo}`
+            : repo
+        : providerName;
+    return {
+        remoteName: remote.name,
+        connection,
+        rows,
+        lossless: rows.every((row) => row.rung === 'native'),
+        refused: rows.some((row) => row.rung === 'refused'),
+    };
+}
+// ---------------------------------------------------------------------------
+// The text form
+// ---------------------------------------------------------------------------
+function pad(text, width) {
+    return text.length >= width ? `${text} ` : text + ' '.repeat(width - text.length);
+}
+/**
+ * Render the report as text. Lossless boards get the short form — a single
+ * line saying nothing is degraded (the story's third criterion). Otherwise one
+ * row per construct: name, board side, rung, and the reason the rung above was
+ * not available, naming the command that creates a carrier where one can be.
+ */
+export function renderLadderReport(report) {
+    const header = `Remote "${report.remoteName}" (${report.connection})`;
+    if (report.lossless) {
+        return `${header} — every field round-trips losslessly.\n`;
+    }
+    const constructWidth = Math.max(...report.rows.map((row) => row.construct.length));
+    const boardWidth = Math.max(0, ...report.rows.map((row) => row.board.length));
+    const rungWidth = Math.max(...report.rows.map((row) => RUNG_LABEL[row.rung].length));
+    const lines = [header, ''];
+    for (const row of report.rows) {
+        const provision = row.provision
+            ? ` — ${row.provision.command} (${row.provision.description})`
+            : '';
+        lines.push(`  ${pad(row.construct, constructWidth)}  ${pad(row.board, boardWidth)}  ${pad(RUNG_LABEL[row.rung], rungWidth)}  ${row.reason}${provision}`);
+    }
+    return `${lines.join('\n')}\n`;
+}
+/**
+ * The problems a ladder report raises for the sync gate (LP-279): the bottom
+ * of the ladder, where a field has nowhere to go, must never be silent loss.
+ *
+ * A `refused` row — a `required` attribute with no carrier at all — is an
+ * error that stops the sync, unless `force` downgrades it to a warning. A
+ * `dropped` row — the same attribute without `required` — is always a warning
+ * and the sync proceeds. Both name the field, the capability the remote lacks,
+ * and (for a refusal) the concrete config change that resolves it: mapping the
+ * attribute to a label, the one carrier every provider has.
+ *
+ * Pure: it reads the report already computed by `preflightLadder` against
+ * resolved capabilities, so a dry-run and a real sync run the exact same code.
+ */
+export function refusalProblems(report, options = {}) {
+    const force = options.force ?? false;
+    const path = options.configPath ?? '.lpm/config.yml';
+    const problems = [];
+    for (const row of report.rows) {
+        if (row.rung !== 'refused' && row.rung !== 'dropped')
+            continue;
+        const key = `remotes.${report.remoteName}.mapping.attributes.${row.construct}`;
+        if (row.rung === 'refused') {
+            problems.push({
+                level: force ? 'warn' : 'error',
+                path,
+                message: `${key}: attribute "${row.construct}" is ${row.reason} — map it to a label so the value is carried: ${key}: "<label>"`,
+            });
+        }
+        else {
+            problems.push({
+                level: 'warn',
+                path,
+                message: `${key}: attribute "${row.construct}" is ${row.reason} — the value will be dropped`,
+            });
+        }
+    }
+    return problems;
+}
+//# sourceMappingURL=ladder.js.map

package/dist/remote/ladder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ladder.js","sourceRoot":"","sources":["../../src/remote/ladder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAExD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAkEtD,+BAA+B;AAC/B,MAAM,UAAU,GAAyB;IACvC,MAAM,EAAE,QAAQ;IAChB,YAAY,EAAE,cAAc;IAC5B,KAAK,EAAE,OAAO;IACd,aAAa,EAAE,eAAe;IAC9B,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,SAAS;CACnB,CAAC;AAEF,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,MAAoB;IAClD,OAAO,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC;AACvC,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,KAAgC,CAAC;IAC1C,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,0EAA0E;AAC1E,SAAS,WAAW,CAAC,cAAsB;IACzC,IAAI,cAAc,KAAK,CAAC;QAAE,OAAO,oBAAoB,CAAC;IACtD,IAAI,cAAc,KAAK,CAAC;QAAE,OAAO,4BAA4B,CAAC;IAC9D,OAAO,GAAG,cAAc,0BAA0B,CAAC;AACrD,CAAC;AAED,oFAAoF;AACpF,SAAS,eAAe,CAAC,YAAkC;IACzD,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAC9D,OAAO;QACL,OAAO,EAAE,iBAAiB;QAC1B,WAAW,EAAE,wDAAwD;KACtE,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E,yDAAyD;AACzD,SAAS,UAAU,CAAC,KAAkB;IACpC,OAAO,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC;SACvC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;SAC/B,IAAI,CAAC,KAAK,CAAC,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,KAAkB,EAAE,YAAkC;IAC1E,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,WAAW,GAAG,YAAY,CAAC,cAAc,GAAG,CAAC,CAAC;IACpD,IAAI,SAAS,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;QACpC,OAAO;YACL,SAAS,EAAE,WAAW;YACtB,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,qCAAqC;SAC9C,CAAC;IACJ,CAAC;IACD,OAAO;QACL,SAAS,EAAE,WAAW;QACtB,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,GAAG,WAAW,CAAC,YAAY,CAAC,cAAc,CAAC,kDAAkD;KACtG,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,SAAS,OAAO,CAAC,KAAkB,EAAE,YAAkC;IACrE,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnE,OAAO,YAAY,CAAC,WAAW;QAC7B,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,mCAAmC,EAAE;QAClG,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC;AACzF,CAAC;AAED,2FAA2F;AAC3F,SAAS,SAAS,CAAC,KAAkB,EAAE,YAAkC;IACvE,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5E,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1C,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC;IACpG,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACtD,IAAI,YAAY,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QACvC,OAAO;YACL,GAAG,IAAI;YACP,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,8DAA8D;YACtE,SAAS,EAAE,eAAe,CAAC,YAAY,CAAC;SACzC,CAAC;IACJ,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,0EAA0E;KACnF,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,SAAS,OAAO,CAAC,IAAiC,EAAE,MAAe;IACjE,IAAI,MAAM,EAAE,CAAC;QACX,OAAO;YACL,SAAS,EAAE,IAAI;YACf,KAAK,EAAE,EAAE;YACT,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,qBAAqB;SAC/E,CAAC;IACJ,CAAC;IACD,OAAO;QACL,SAAS,EAAE,IAAI;QACf,KAAK,EAAE,EAAE;QACT,IAAI,EAAE,eAAe;QACrB,MAAM,EACJ,IAAI,KAAK,YAAY;YACnB,CAAC,CAAC,iCAAiC;YACnC,CAAC,CAAC,gCAAgC;KACvC,CAAC;AACJ,CAAC;AAED,4DAA4D;AAC5D,SAAS,YAAY,CACnB,IAAY,EACZ,GAAiB,EACjB,QAA4B,EAC5B,YAAkC,EAClC,YAAqB;IAErB,MAAM,MAAM,GAAG,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,EAAE,CAAC;IACzD,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAE/C,wEAAwE;IACxE,4EAA4E;IAC5E,yEAAyE;IACzE,qDAAqD;IACrD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO;YACL,SAAS,EAAE,IAAI;YACf,KAAK;YACL,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,2DAA2D;SACpE,CAAC;IACJ,CAAC;IAED,sEAAsE;IACtE,uBAAuB;IACvB,IAAI,YAAY,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QACvC,OAAO;YACL,SAAS,EAAE,IAAI;YACf,KAAK;YACL,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,uCAAuC;YAC/C,SAAS,EAAE,eAAe,CAAC,YAAY,CAAC;SACzC,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO;YACL,SAAS,EAAE,IAAI;YACf,KAAK;YACL,IAAI,EAAE,eAAe;YACrB,MAAM,EAAE,gEAAgE;SACzE,CAAC;IACJ,CAAC;IACD,IAAI,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO;YACL,SAAS,EAAE,IAAI;YACf,KAAK;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,yEAAyE;SAClF,CAAC;IACJ,CAAC;IACD,0EAA0E;IAC1E,0EAA0E;IAC1E,4EAA4E;IAC5E,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC1B,OAAO;YACL,SAAS,EAAE,IAAI;YACf,KAAK;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,yFAAyF;SAClG,CAAC;IACJ,CAAC;IACD,OAAO;QACL,SAAS,EAAE,IAAI;QACf,KAAK;QACL,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,6FAA6F;KACtG,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,SAAS,kBAAkB,CACzB,IAAY,EACZ,YAAkC,EAClC,OAAe;IAEf,IAAI,YAAY,CAAC,OAAO,CAAC,MAAM,IAAI,YAAY,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QAClE,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM;YAC3C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,EAAE,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,8CAA8C,EAAE,CAAC;QAChG,OAAO;YACL,SAAS,EAAE,IAAI;YACf,KAAK,EAAE,MAAM,OAAO,EAAE;YACtB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,oDAAoD;YAC5D,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpC,CAAC;IACJ,CAAC;IACD,OAAO;QACL,SAAS,EAAE,IAAI;QACf,KAAK,EAAE,EAAE;QACT,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,oDAAoD;KAC7D,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAkB,EAClB,MAAoB,EACpB,YAAkC,EAClC,UAAyB,EAAE;IAE3B,mEAAmE;IACnE,wEAAwE;IACxE,kDAAkD;IAClD,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC;IAErE,MAAM,IAAI,GAAgB;QACxB,YAAY,CAAC,KAAK,EAAE,YAAY,CAAC;QACjC,OAAO,CAAC,KAAK,EAAE,YAAY,CAAC;QAC5B,SAAS,CAAC,KAAK,EAAE,YAAY,CAAC;QAC9B,OAAO,CAAC,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC;QACnD,OAAO,CAAC,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC;KACpD,CAAC;IAEF,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IAChE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI,CACP,YAAY,CACV,IAAI,EACJ,IAAI,CAAC,IAAI,CAAE,EACX,OAAO,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EACnD,YAAY,EACZ,YAAY,CACb,CACF,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,MAAM,aAAa,GAAG,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;QACxE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC;YACxD,IAAI,aAAa,IAAI,IAAI,KAAK,aAAa,CAAC,SAAS,EAAE,CAAC;gBACtD,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,YAAY,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;YAC3E,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,IAAI,CAAC;oBACR,SAAS,EAAE,IAAI;oBACf,KAAK,EAAE,EAAE;oBACT,IAAI,EAAE,eAAe;oBACrB,MAAM,EAAE,iFAAiF;iBAC1F,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,IAAI,EAAE,CAAC;IACvE,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,UAAU,GACd,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE;QACrC,CAAC,CAAC,YAAY,KAAK,EAAE;YACnB,CAAC,CAAC,GAAG,YAAY,KAAK,IAAI,EAAE;YAC5B,CAAC,CAAC,IAAI;QACR,CAAC,CAAC,YAAY,CAAC;IAEnB,OAAO;QACL,UAAU,EAAE,MAAM,CAAC,IAAI;QACvB,UAAU;QACV,IAAI;QACJ,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;QACpD,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E,SAAS,GAAG,CAAC,IAAY,EAAE,KAAa;IACtC,OAAO,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;AACpF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAuB;IACxD,MAAM,MAAM,GAAG,WAAW,MAAM,CAAC,UAAU,MAAM,MAAM,CAAC,UAAU,GAAG,CAAC;IACtE,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,OAAO,GAAG,MAAM,0CAA0C,CAAC;IAC7D,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACnF,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9E,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAErF,MAAM,KAAK,GAAa,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACrC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS;YAC7B,CAAC,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,OAAO,KAAK,GAAG,CAAC,SAAS,CAAC,WAAW,GAAG;YAC9D,CAAC,CAAC,EAAE,CAAC;QACP,KAAK,CAAC,IAAI,CACR,KAAK,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,cAAc,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,KAAK,GAAG,CAAC,MAAM,GAAG,SAAS,EAAE,CAC7I,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC;AAkBD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAuB,EACvB,UAA0B,EAAE;IAE5B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC;IACrC,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,IAAI,iBAAiB,CAAC;IACrD,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAC/D,MAAM,GAAG,GAAG,WAAW,MAAM,CAAC,UAAU,uBAAuB,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/E,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;gBAC/B,IAAI;gBACJ,OAAO,EAAE,GAAG,GAAG,gBAAgB,GAAG,CAAC,SAAS,QAAQ,GAAG,CAAC,MAAM,iDAAiD,GAAG,aAAa;aAChI,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,MAAM;gBACb,IAAI;gBACJ,OAAO,EAAE,GAAG,GAAG,gBAAgB,GAAG,CAAC,SAAS,QAAQ,GAAG,CAAC,MAAM,8BAA8B;aAC7F,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/remote/ledger.d.ts

@@ -0,0 +1,97 @@
+/**
+ * The ledger — which remote owns which document, across every declared remote.
+ *
+ * A board may declare several remotes, and each keeps its own correspondence
+ * store (`.lpm/remotes/<name>/links.json`). Read one at a time they answer "is
+ * LP-12 on *this* tracker?"; nothing answered the question a person actually
+ * asks, which is **"where does LP-12 live?"** — and nothing stopped the same
+ * document being filed onto two trackers at once. Two twins of one story is not
+ * a mirror of a plan: a status moves on one side, the other keeps its own, and
+ * the next sync of each writes a different truth back onto the same document.
+ *
+ * So: **one document, one remote, at a time.** This module is the whole of that
+ * rule. It is deliberately a *derived* index rather than a file of its own —
+ * built by reading the stores that already exist, in the same spirit as the
+ * dependency inverses the engine derives at load. A committed `ledger.json`
+ * would be a second copy of a fact the link stores already hold, free to
+ * disagree with them after a merge, and needing its own repair pass to say
+ * which copy was right. There is nothing to repair here: the stores *are* the
+ * ledger.
+ *
+ * Where it is enforced, and what happens:
+ *
+ *   - `lpm remote push` — a document another remote owns is never created a
+ *     second time. It is reported in the plan's `skipped` list with the reason
+ *     `owned_elsewhere` and the key it already has, exactly as a decoupled
+ *     document is reported, so a whole-board push to a second remote is a
+ *     readable report rather than a refusal or a duplicate.
+ *   - `lpm remote link` — adopting a twin for a document that already has one
+ *     elsewhere is refused outright, because it is one explicit document and
+ *     the person is asking for the thing the rule forbids.
+ *
+ * Nothing here writes. The remedy — `lpm remote decouple <id>` on the remote
+ * that holds it — is the operator's, and is named in every message.
+ */
+import type { BoardConfig } from '../core/model/types.js';
+import type { BoardPaths } from '../core/storage/paths.js';
+/** Where one document is filed: the remote that holds it, and the twin's key. */
+export interface LedgerEntry {
+    /** The local document id. */
+    localId: string;
+    /** The declared remote's name (`jira`, `upstream`). */
+    remote: string;
+    /** That remote's provider (`jira`, `github`, `linear`, `jsonfile`). */
+    provider: string;
+    /** The remote system's opaque id. */
+    remoteId: string;
+    /** The human-readable key, e.g. `acme/payments#418` or `PAY-31`. */
+    remoteKey: string;
+    /** Full URL to the twin, when the store recorded one. */
+    remoteUrl: string;
+    /** When the link was last written (ISO-8601). */
+    syncedAt: string;
+}
+/** Every document that has a twin, keyed by local id. */
+export interface Ledger {
+    /** Local id → where it is filed. */
+    byLocalId: ReadonlyMap<string, LedgerEntry>;
+    /** Remote name → the documents that remote holds, in id order. */
+    byRemote: ReadonlyMap<string, readonly LedgerEntry[]>;
+}
+/**
+ * Build the ledger by reading every declared remote's link store.
+ *
+ * A remote whose store does not exist yet contributes nothing (the first sync
+ * creates it). A document that somehow appears in two stores — a hand-edited
+ * file, a merge that took both sides — is reported by `conflicts()` rather than
+ * silently resolved: this is a read, and picking a winner is not its call.
+ */
+export declare function buildLedger(paths: BoardPaths, config: BoardConfig): Ledger;
+/** Where one document is filed, or `undefined` when it has no twin anywhere. */
+export declare function ownerOf(ledger: Ledger, localId: string): LedgerEntry | undefined;
+/**
+ * The remote a document is filed on, when that is not `remoteName` — the one
+ * question every enforcement point asks. `undefined` means the document is free
+ * (no twin at all) or already belongs to this remote.
+ */
+export declare function otherOwner(ledger: Ledger, localId: string, remoteName: string): LedgerEntry | undefined;
+/**
+ * Every document filed somewhere other than `remoteName`. The push planner
+ * takes this as the set it must not create a second twin for.
+ */
+export declare function idsOwnedElsewhere(ledger: Ledger, remoteName: string): Map<string, LedgerEntry>;
+/**
+ * Documents that appear in more than one remote's store — the state this rule
+ * exists to prevent, arrived at by a hand edit or a merge that took both sides.
+ * Reported by `lpm remote ledger`, never repaired here.
+ */
+export declare function conflicts(paths: BoardPaths, config: BoardConfig): LedgerEntry[][];
+/**
+ * Refuse an operation that would give `localId` a second twin.
+ *
+ * Used where the request names one document explicitly (`lpm remote link`): the
+ * person asked for exactly the thing the rule forbids, so the answer is an
+ * error naming the holder and the one command that releases it. A bulk push
+ * reports instead — see the module comment.
+ */
+export declare function requireUnclaimed(ledger: Ledger, localId: string, remoteName: string): void;