/*!
 * Copyright (c) 2026 Interop Alliance. All rights reserved.
 */
/**
 * The invariant ids: the closed census both wallets declare against and the
 * mender event channel keys on. Each names the predicate an entry makes
 * true rather than the code that converges it, so moving a converger between
 * modules renames nothing. The ids are code-only; nothing persists them.
 * Numbered in the order the design table assigned them, and a new one takes
 * the next free number rather than renumbering.
 */
/**
 * Every invariant id, in design-table order.
 */
export declare const INVARIANT_IDS: readonly ["roster-wraps-exactly-the-document-key-set", "governed-log-heads-anchor-past-the-membership-change", "collection-epochs-name-the-current-user-key", "unlock-registry-opens-under-the-current-user-key", "registry-passphrase-entry-names-the-standing-credential", "passkey-entry-carries-its-standing-configuration", "registry-lists-the-passphrase-method", "standing-delegations-verify-under-the-current-document", "registry-records-the-committed-ladder-rung", "unlock-record-points-at-the-account-did", "account-pointer-names-the-account-did", "space-controller-is-the-account-did", "roster-and-collection-epochs-exist", "registry-records-the-establishing-credential", "annex-generation-is-reachable", "generation-delegation-is-current", "acting-credential-manage-zcap-is-current", "did-web-projection-matches-the-log", "no-annex-generation-outlives-its-pointer", "app-keys-live-only-in-app-connections", "client-key-record-matches-the-pointed-account", "this-browser-is-still-an-enrolled-client", "no-client-key-record-stays-pending", "recovery-spend-is-completed", "retired-credential-leaves-no-annex-inventory", "document-lists-the-acting-credential", "keystore-controller-is-the-account-did", "account-document-publishes-an-authentication-key", "every-document-key-agreement-entry-has-a-locatable-credential", "no-unlock-space-outlives-its-credential", "no-keystore-outlives-its-account", "saved-recovery-codes-locate-their-account", "standard-collections-are-provisioned", "no-auxiliary-space-stands-unnamed"];
/**
 * One id from {@link INVARIANT_IDS}.
 */
export type InvariantId = (typeof INVARIANT_IDS)[number];
//# sourceMappingURL=ids.d.ts.map