@ai-matrx/records 0.52.0 → 0.54.0

package/dist/react/index.d.cts

@@ -2706,6 +2706,11 @@ declare const STORE_DOORS: readonly [{
     readonly args: "p_organization_id uuid DEFAULT NULL::uuid";
     readonly returns: "boolean";
     readonly security: "invoker";
+}, {
+    readonly name: "store_off_sentence";
+    readonly args: "p_organization_id uuid";
+    readonly returns: "text";
+    readonly security: "invoker";
 }, {
     readonly name: "subscription_cadences";
     readonly args: "p_organization_id uuid";
@@ -4053,6 +4058,51 @@ interface TableCapacity {
     /** The knob that decides the ceiling, named so a person can act on it. */
     knob: string;
 }
+/**
+ * WHAT ONE PASS OF `custom.table_archive` ANSWERS WITH — the numbers a screen
+ * needs to draw a bar and write a sentence, instead of a spinner and an
+ * SQLSTATE (VERIFIER-10 F3, VERIFIER-11 F3).
+ *
+ * Archiving a table is a JOB, NOT A STATEMENT. `custom.record_delete` on a
+ * Table recurses through everything the Table contains inside one transaction,
+ * which is unbounded by construction: at 1,430 records it dies on `57014`,
+ * "canceling statement due to statement timeout", and nothing is changed. The
+ * remedy for a thing that cannot finish in one statement is more statements,
+ * never a longer one — so the caller loops, passing its own `chunk`, until
+ * `done`.
+ *
+ * IT IS RESUMABLE BECAUSE IT IS STATELESS. There is no job row to lose:
+ * `remaining` is read off the records themselves on every call, so a browser
+ * closed halfway, a failed pass or a deploy mid-run all leave a table that is
+ * half archived and a next call that picks up exactly where the last stopped.
+ * Which is why a screen driving this may NEVER say "nothing was changed" after
+ * a pass that moved rows — `archived_total` is what really landed.
+ *
+ * NOTHING IS DELETED. Every row goes through `custom.record_delete`, so every
+ * guard, history capture and outbox row still happens and `recordRestore`
+ * still brings any of them back.
+ */
+interface TableArchiveProgress {
+    table_id: Uuid;
+    /** The table's own name, so a sentence can use it rather than an id. */
+    table_name: string;
+    /** What THIS pass archived. */
+    archived: number;
+    /** Records of this table still live. Zero is the end of the row work. */
+    remaining: number;
+    /** Records this table has ever held: `remaining` + `archived_total`. */
+    total: number;
+    /** Records of this table already archived, across every pass ever made. */
+    archived_total: number;
+    /** Whether the Table record itself has been archived. */
+    table_archived: boolean;
+    /** Nothing live is left to do. The caller's loop ends here. */
+    done: boolean;
+    /** The chunk the door actually took on — it clamps what it is handed. */
+    chunk: number;
+    /** The store's own sentence about this pass, in the product's voice. */
+    message: string;
+}
 
 /** FLD-3. A constraint attached to a Field. A Rule, never a behaviour. */
 interface FieldRule {
@@ -4349,6 +4399,25 @@ interface FieldPatch {
      * them changed — a roll-up is always `read`.
      */
     compute_on?: ComputeOn;
+    /**
+     * FLD-11 / REC-15. RE-AIMING A WORKED-OUT COLUMN: the expression, in the same
+     * shape a Rule uses and read by the same evaluator — `{"op":"concat","args":
+     * [{"field":"note"}]}`. Every `{"field": …}` in it names a live Field of this
+     * organization, or `custom._field_document_for` refuses the whole patch by
+     * name and writes nothing.
+     *
+     * `custom.field_update` carries this in its BEHAVIOUR arm — the arm a type
+     * word opens — so send it WITH the word for what the column is
+     * (`type: "formula"`, or `parity_type` / `plain`). The door's spec builder
+     * reads `coalesce(p_patch -> 'expr', v_old -> 'config' -> 'expr')`, so a
+     * re-type that does not carry one deliberately keeps the expression the
+     * column already had; the settings arm has no `expr` key at all, so `expr`
+     * alone is not a change this door makes. `STORE-TAILS-2` asked for the field
+     * because the one client that needed to re-aim an existing formula had no
+     * typed way to say it and reached for `custom.record_update`, which writes the
+     * Field document under the guards rather than through them.
+     */
+    expr?: Record<string, unknown>;
 }
 
 /** One option, as `_choices` names it and as `optionsOf` returns it. */
@@ -7427,13 +7496,52 @@ interface RecordsClient {
         /** Leave it out and the last writer wins; supply it and a loser is TOLD. */
         expectedVersion?: number;
     }): Promise<RecordsResult<number>>;
-    /** REC-23. Soft, and reversible within `retention`. */
+    /**
+     * REC-23. Soft, and reversible within `retention`.
+     *
+     * 🚨 NOT FOR A TABLE. A Table is a record, so this door accepts one — and
+     * then recurses through every record the Table contains inside a single
+     * transaction, which is unbounded by construction and dies on `57014` at a
+     * size the product's own import reaches in half a minute. Use
+     * `tableArchive` below, which does the same work in resumable passes.
+     */
     recordDelete(args: {
         record_id: Uuid;
     }): Promise<RecordsResult<Timestamp>>;
     recordRestore(args: {
         record_id: Uuid;
     }): Promise<RecordsResult<void>>;
+    /**
+     * ARCHIVING A WHOLE TABLE — ONE PASS OF IT (VERIFIER-11 F3).
+     *
+     * One call archives at most `chunk` of the table's live records through
+     * `custom.record_delete` (so every guard, history capture and outbox row
+     * still happens; nothing is hard-deleted) and comes back with the numbers a
+     * screen draws progress from. The CALLER LOOPS until `done` — that loop is
+     * the fix, because the one thing a single statement cannot be made to do is
+     * finish.
+     *
+     * `chunk: 0` changes nothing and only reports, so a screen can say "1,430
+     * records will be archived" BEFORE a person commits to it. `includeTable:
+     * false` empties the table and leaves it standing.
+     *
+     * RESUMABLE, WITHOUT A JOB ROW: what remains is read off the records
+     * themselves every call. A pass that fails, a closed tab or a deploy mid-run
+     * leaves a half-archived table and a next call that continues from exactly
+     * there. A caller must therefore never report "nothing happened" after a
+     * failed pass — `archived_total` says what really landed.
+     */
+    tableArchive(args: {
+        table_id: Uuid;
+        /**
+         * How many records this pass takes on. The door clamps it; it answers with what it
+         * took. Default 50 — measured: ~35ms a record against an 8s statement timeout, so
+         * 200 dies on `57014` and is the original defect one level up.
+         */
+        chunk?: number;
+        /** Archive the Table record itself once nothing live is left in it. Default true. */
+        includeTable?: boolean;
+    }): Promise<RecordsResult<TableArchiveProgress>>;
     recordRead(args: {
         record_id: Uuid;
         withComputed?: boolean;
@@ -8927,6 +9035,68 @@ interface UseRecordMutation {
 }
 /** Writes, with optimistic concurrency surfaced instead of swallowed. */
 declare function useRecordMutation(): UseRecordMutation;
+/**
+ * GETTING RID OF A WHOLE TABLE — the loop, once, for every screen (VERIFIER-11 F3).
+ *
+ * `useRecordMutation().remove` is right for a record and WRONG for a Table:
+ * `custom.record_delete` aimed at a Table recurses through everything it
+ * contains inside one transaction, so on 1,430 records — a size the product's
+ * own import reaches in half a minute — it died twelve seconds in on `57014`,
+ * "canceling statement due to statement timeout", and the screen told the
+ * person nothing had changed and to "try a smaller page". There is no page.
+ *
+ * So archiving a table is a JOB: this hook makes the passes, holds the numbers
+ * the store answers each one with, and stops on `done`.
+ *
+ * WHAT MAKES IT RESUMABLE is that nothing here is the state of the run — the
+ * store reads what remains off the records themselves every call. A refused
+ * pass, a `stop()`, a closed tab or a reload all leave `interrupted` true and a
+ * `carryOn()` that continues from exactly where the last pass stopped. Which is
+ * also why a screen driving this may never say "nothing was changed" after a
+ * failure: `progress.archived_total` is what actually landed, and it is the
+ * number the person is owed.
+ */
+interface UseTableArchive {
+    /** The numbers from the last pass or preview. Null until something has been asked. */
+    progress: TableArchiveProgress | null;
+    /** A loop is in flight. */
+    running: boolean;
+    /** Passes made since the last `start()`. */
+    passes: number;
+    /**
+     * The pass size in use. It STARTS at `chunk` and HALVES whenever the store
+     * runs out of time, so a screen can say the run slowed down rather than
+     * letting it look stuck. Never below ten: at that point the store is not slow,
+     * it is refusing, and a loop that kept shrinking would hide it.
+     */
+    chunkInUse: number;
+    /**
+     * The loop backed the pass size off because the store ran out of time. An
+     * automatic intervention ANNOUNCES ITSELF: a run that quietly went four times
+     * slower would read as a stuck screen.
+     */
+    slowedDown: boolean;
+    /** The refusal that stopped the loop. The work already done still stands. */
+    error: RecordsError | null;
+    /**
+     * The loop ended with records still live — because a pass was refused or
+     * because `stop()` was called. It is the screen's cue to offer carrying on
+     * rather than to claim a finished or a failed run.
+     */
+    interrupted: boolean;
+    /** Ask what would happen and change NOTHING, so a person sees the number first. */
+    preview: () => Promise<TableArchiveProgress | null>;
+    /** Run passes until done, refused, or stopped. */
+    start: () => Promise<TableArchiveProgress | null>;
+    /** Same loop, said in the word a screen uses after an interruption. */
+    carryOn: () => Promise<TableArchiveProgress | null>;
+    /** Cut cleanly after the pass in flight. Never mid-pass: a pass is one transaction. */
+    stop: () => void;
+}
+declare function useTableArchive(tableId: Uuid, options?: {
+    chunk?: number;
+    includeTable?: boolean;
+}): UseTableArchive;
 interface UseFieldMutation {
     /** Add a column. One call; the store decides what the parity type is made of. */
     declare: (args: {
@@ -9016,4 +9186,4 @@ declare function useFieldMutation(): UseFieldMutation;
  */
 declare function useMergeField(key: string | null, state?: Record<string, unknown>): MergeFieldResolution | null;
 
-export { ABSENCE_REASONS, ACTOR_VOCABULARY, ARCHIVE_LANES, ARCHIVE_LANE_LABEL, ARCHIVE_LANE_MEANS, type AbsenceReason, type Actor, type AggregateBucket, type AggregateFilter, type AggregateMeasure, type AggregateOperation, type AggregateRow, type AggregateWindow, type AnonTokenBinding, type ArchiveLane, type ArchivedDoorRow, type ArchivedRow, type BookingAvailability, type BookingDeclared, type BookingSummary, type BookingWindow, COMPUTE_ON, CONTEXT_POLICIES, type CaptureField, type CaptureFileRef, type CaptureOutcome, type CaptureQuestion, type CaptureQueue, type CaptureQueueCounts, type CaptureQueueOptions, type CaptureQueuePorts, type CaptureQueueStore, type CaptureSheetFace, type CaptureSheetSummary, type CaptureSyncReport, type ChecklistDeclared, type ChecklistRequirement, type ChecklistRequirementKind, type ChecklistRoleSpec, type ChecklistRunStarted, type ChecklistRunStep, type ChecklistRunSummary, type ChecklistSpec, type ChecklistStepCompleted, type ChecklistStepSpec, type ChecklistTemplateShape, type ChecklistTemplateSummary, type ChecklistTrigger, type ChecklistTriggerKind, type ChoiceOption, type ChoiceOptions, type CoerceOptions, type Coerced, type CoercedAnswers, type CoercibleField, type CommentThreadRead, type CommentWritten, type ComputeOn, type ContextPolicy, type ConversationScope, type ConversationScopeContext, type CustomFieldTableType, DECLARABLE_FIELD_KINDS, DEFAULT_ARCHIVE_LANE, DEFAULT_PORTAL_ARCHIVE_FILTER, DELIVERIES, type DashboardBlock, type DashboardBlockKind, type DashboardBlockResult, type DashboardRunResult, type DashboardSummary, type DeclarableFieldKind, type Delivery, type DigestPreview, type DocRenderRow, type DocSignatureCheck, type DocSignatureRow, type DocTemplateRow, type DocToken, type DocUnresolvedToken, ENTITY_TOKENS, type EnrichAlternate, type EnrichCell, type EnrichDeclared, type EnrichDueRow, type EnrichRun, type EnrichSource, type Enrichment, type EnrichmentSummary, type EntityFieldRights, type EntityFieldValue, type EntityRecordMatch, type EntityRecordRead, type EntityRecordsFound, type EntityTableFacts, type EntityToken, type ExternalPrincipalCard, FIELD_KINDS, FIELD_SENSITIVITIES, FIELD_SOURCES, FRESHNESS, type Field, type FieldBehavior, type FieldHistoryEntry, type FieldKind, type FieldPatch, type FieldProposal, type FieldRule, type FieldSensitivity, type FieldSource, type FieldTypeWord, type ForbiddenEnvelopeWord, type FormSummary, type Freshness, type HiddenFieldNotice, type HistoryActor, type HistoryActorKind, type HistoryChange, type Home, type ImportBatchResult, type ImportColumnPlan, type ImportColumnsDeclared, type ImportFinished, type ImportOpened, type ImportOutcome, type ImportPlan, type ImportPolicy, type ImportProposal, type ImportReport, type ImportRun, type InboundAddress, type InboundDeclared, KERNEL_TABLES, type KernelTableName, type KernelTargets, MERGE_FIELD_MODIFIERS, MERGE_FIELD_SEMANTIC_TYPES, MERGE_FIELD_SOURCES, type MergeField, type MergeFieldModifier, type MergeFieldProvenance, type MergeFieldResolution, type MergeFieldSemanticType, type MergeFieldSource, type MergeFieldTransform, type MissingBehavior, type MyLevel, type MySubscription, type NewEntityFieldDeclaration, type NewFieldDeclaration, ON_DELETE, OVERRIDE_POLICIES, type OnDelete, type OverridePolicy, PARITY_FIELD_TYPES, PERMISSION_LEVELS, PER_VALUE_ACCESS_WORDS, PIPELINE_RULE_KINDS, PORTAL_ARCHIVE_FILTERS, type ParityFieldType, type ParityFieldTypeDescriptor, type PerValueAccessWord, type PermissionLevel, type PgError, type Pipeline, type PipelineColumn, type PipelineDeclared, type PipelineGate, type PipelineGatePreview, type PipelineMissingField, type PipelineMoveResult, type PipelineRule, type PipelineRuleKind, type PipelineSpec, type PipelineStage, type PipelineVerdict, type PortalArchiveAnswer, type PortalArchiveFilter, type PortalCard, type PortalInvitation, type PortalPreviewRow, type PortalPrincipal, type PortalRevocation, type PortalSummary, type PortalTableExposure, type PortalTableRef, type PredictedRefusal, type ProvenancePointer, type PublishBinding, type QueuedCapture, type QueuedCaptureFile, type QueuedCaptureState, type QuietHours, REFUSALS_WORTH_REPEATING, RELATION_BINDINGS, RELATION_CARDINALITIES, RELATION_FLAVORS, RETIRED_ACTOR_WORDS, RULE_NODE_KINDS, RULE_USES, type ReadRow, type ReadValue, type RecordComment, type RecordDocument, type RecordFilter, type RecordHistoryEntry, type RecordRead, type RecordRevision, type RecordScopeComment, type RecordScopeContext, type RecordScopeField, type RecordScopeHistoryEntry, type RecordScopeRelation, type RecordScopeWithheld, type RecordsActor, type RecordsChangeSink, type RecordsConfig, type RecordsDataSource, type RecordsError, type RecordsErrorCode, type RecordsErrorSink, type RecordsFilter, RecordsProvider, type RecordsProviderProps, type RecordsRealtimePort, type RecordsResolverPort, type RecordsResponse, type RecordsResult, type RecordsTableQuery, type RegisteredTable, type Relation, type RelationBinding, type RelationCardinality, type RelationCarries, type RelationCoordinate, type RelationDisplay, type RelationFlavor, type RelationProperties, type RelationTarget, type ResolutionTriple, type ResolvedPublishBinding, type RestorePreview, type RestoreResult, type RetiredActorWord, type Rule, type RuleAnswer, type RuleExpression, type RuleNodeKind, type RuleUse, STAGE_RULE_ENFORCEMENT, STAGE_RULE_ON_FAIL, STORAGE_MODES, STORE_DOORS, STORE_KNOBS, STORE_REFUSAL_CODES, type SavedViewRow, type SavedViewSpecIn, type StagePending, type StagePendingOnBoard, type StageRuleEnforcement, type StageRuleOnFail, type StageRuleWarning, type StaleWriteDetail, type StorageMode, type StoreDoorName, type StoreRefusalCode, type StoredRecord, type StuckRow, type Subscription, type SubscriptionBlock, type SubscriptionCadence, type SubscriptionSpec, TABLE_DISPLAYS, TABLE_ORIGINS, TABLE_TYPES, type Table, type TableCapacity, type TableDisplay, type TableOrigin, type TableProposal, type TableType, type Timestamp, type UseEntityFieldMutation, type UseFieldMutation, type UseRecordMutation, type UseRecordsOptions, type UseRecordsState, type Uuid, VALUE_ALTERNATE_KEYS, VALUE_ENVELOPE_KEYS, type ValueAlternate, type ValueAlternateKey, type ValueEnvelope, type ValueEnvelopeKey, type ValueSource, type WorkApprovalDecision, type WorkApprovalFiled, type WorkApprover, type WorkAssignment, type WorkAssignmentField, type WorkChange, type WorkDueState, type WorkGraph, type WorkInboxItem, type WorkInboxKind, type WorkInstantiation, type WorkListFlavour, type WorkListItem, type WorkOrigin, type WorkRecordState, type WorkSlotHold, type WorkState, type WorkTemplateNode, type WorkTemplateRelation, type WorkTurn, type WriteConflict, archivedByLine, archivedWhen, asPermissionLevel, atLeast, bookingPath, choiceSlug, choiceValuesOf, choicesOf, coerceTypedAnswer, coerceTypedAnswers, coercionLabel, emptyArchiveLine, emptyPortalArchiveLine, err, fieldKindFor, forgetAllOps, highestLevel, holdsARetiredChoice, indexedDbStore, isArchiveLane, isDecided, isOwnOp, isPortalArchiveFilter, isRecordsErr, isTheChosen, looksLikeAnId, mayDrag, measureKey, memoryStore, mintClientKey, mintOpId, ok, openCaptureQueue, optionKey, optionLabel, portalArchiveConsequence, portalConfirmLine, portalPath, portalTitleTypedBack, publicFormPath, rememberedOpCount, sameDocument, scopeChip, stableFilterKey, tableShapeChanged, useEntityFieldMutation, useEntityFieldRights, useEntityFields, useEntityRecord, useEntityTable, useFieldMutation, useFields, useMergeField, useMyLevel, useMyLevels, useOptionalRecordsClient, useRecord, useRecordMutation, useRecords, useRecordsActor, useRecordsClient, useTable, useTables };
+export { ABSENCE_REASONS, ACTOR_VOCABULARY, ARCHIVE_LANES, ARCHIVE_LANE_LABEL, ARCHIVE_LANE_MEANS, type AbsenceReason, type Actor, type AggregateBucket, type AggregateFilter, type AggregateMeasure, type AggregateOperation, type AggregateRow, type AggregateWindow, type AnonTokenBinding, type ArchiveLane, type ArchivedDoorRow, type ArchivedRow, type BookingAvailability, type BookingDeclared, type BookingSummary, type BookingWindow, COMPUTE_ON, CONTEXT_POLICIES, type CaptureField, type CaptureFileRef, type CaptureOutcome, type CaptureQuestion, type CaptureQueue, type CaptureQueueCounts, type CaptureQueueOptions, type CaptureQueuePorts, type CaptureQueueStore, type CaptureSheetFace, type CaptureSheetSummary, type CaptureSyncReport, type ChecklistDeclared, type ChecklistRequirement, type ChecklistRequirementKind, type ChecklistRoleSpec, type ChecklistRunStarted, type ChecklistRunStep, type ChecklistRunSummary, type ChecklistSpec, type ChecklistStepCompleted, type ChecklistStepSpec, type ChecklistTemplateShape, type ChecklistTemplateSummary, type ChecklistTrigger, type ChecklistTriggerKind, type ChoiceOption, type ChoiceOptions, type CoerceOptions, type Coerced, type CoercedAnswers, type CoercibleField, type CommentThreadRead, type CommentWritten, type ComputeOn, type ContextPolicy, type ConversationScope, type ConversationScopeContext, type CustomFieldTableType, DECLARABLE_FIELD_KINDS, DEFAULT_ARCHIVE_LANE, DEFAULT_PORTAL_ARCHIVE_FILTER, DELIVERIES, type DashboardBlock, type DashboardBlockKind, type DashboardBlockResult, type DashboardRunResult, type DashboardSummary, type DeclarableFieldKind, type Delivery, type DigestPreview, type DocRenderRow, type DocSignatureCheck, type DocSignatureRow, type DocTemplateRow, type DocToken, type DocUnresolvedToken, ENTITY_TOKENS, type EnrichAlternate, type EnrichCell, type EnrichDeclared, type EnrichDueRow, type EnrichRun, type EnrichSource, type Enrichment, type EnrichmentSummary, type EntityFieldRights, type EntityFieldValue, type EntityRecordMatch, type EntityRecordRead, type EntityRecordsFound, type EntityTableFacts, type EntityToken, type ExternalPrincipalCard, FIELD_KINDS, FIELD_SENSITIVITIES, FIELD_SOURCES, FRESHNESS, type Field, type FieldBehavior, type FieldHistoryEntry, type FieldKind, type FieldPatch, type FieldProposal, type FieldRule, type FieldSensitivity, type FieldSource, type FieldTypeWord, type ForbiddenEnvelopeWord, type FormSummary, type Freshness, type HiddenFieldNotice, type HistoryActor, type HistoryActorKind, type HistoryChange, type Home, type ImportBatchResult, type ImportColumnPlan, type ImportColumnsDeclared, type ImportFinished, type ImportOpened, type ImportOutcome, type ImportPlan, type ImportPolicy, type ImportProposal, type ImportReport, type ImportRun, type InboundAddress, type InboundDeclared, KERNEL_TABLES, type KernelTableName, type KernelTargets, MERGE_FIELD_MODIFIERS, MERGE_FIELD_SEMANTIC_TYPES, MERGE_FIELD_SOURCES, type MergeField, type MergeFieldModifier, type MergeFieldProvenance, type MergeFieldResolution, type MergeFieldSemanticType, type MergeFieldSource, type MergeFieldTransform, type MissingBehavior, type MyLevel, type MySubscription, type NewEntityFieldDeclaration, type NewFieldDeclaration, ON_DELETE, OVERRIDE_POLICIES, type OnDelete, type OverridePolicy, PARITY_FIELD_TYPES, PERMISSION_LEVELS, PER_VALUE_ACCESS_WORDS, PIPELINE_RULE_KINDS, PORTAL_ARCHIVE_FILTERS, type ParityFieldType, type ParityFieldTypeDescriptor, type PerValueAccessWord, type PermissionLevel, type PgError, type Pipeline, type PipelineColumn, type PipelineDeclared, type PipelineGate, type PipelineGatePreview, type PipelineMissingField, type PipelineMoveResult, type PipelineRule, type PipelineRuleKind, type PipelineSpec, type PipelineStage, type PipelineVerdict, type PortalArchiveAnswer, type PortalArchiveFilter, type PortalCard, type PortalInvitation, type PortalPreviewRow, type PortalPrincipal, type PortalRevocation, type PortalSummary, type PortalTableExposure, type PortalTableRef, type PredictedRefusal, type ProvenancePointer, type PublishBinding, type QueuedCapture, type QueuedCaptureFile, type QueuedCaptureState, type QuietHours, REFUSALS_WORTH_REPEATING, RELATION_BINDINGS, RELATION_CARDINALITIES, RELATION_FLAVORS, RETIRED_ACTOR_WORDS, RULE_NODE_KINDS, RULE_USES, type ReadRow, type ReadValue, type RecordComment, type RecordDocument, type RecordFilter, type RecordHistoryEntry, type RecordRead, type RecordRevision, type RecordScopeComment, type RecordScopeContext, type RecordScopeField, type RecordScopeHistoryEntry, type RecordScopeRelation, type RecordScopeWithheld, type RecordsActor, type RecordsChangeSink, type RecordsConfig, type RecordsDataSource, type RecordsError, type RecordsErrorCode, type RecordsErrorSink, type RecordsFilter, RecordsProvider, type RecordsProviderProps, type RecordsRealtimePort, type RecordsResolverPort, type RecordsResponse, type RecordsResult, type RecordsTableQuery, type RegisteredTable, type Relation, type RelationBinding, type RelationCardinality, type RelationCarries, type RelationCoordinate, type RelationDisplay, type RelationFlavor, type RelationProperties, type RelationTarget, type ResolutionTriple, type ResolvedPublishBinding, type RestorePreview, type RestoreResult, type RetiredActorWord, type Rule, type RuleAnswer, type RuleExpression, type RuleNodeKind, type RuleUse, STAGE_RULE_ENFORCEMENT, STAGE_RULE_ON_FAIL, STORAGE_MODES, STORE_DOORS, STORE_KNOBS, STORE_REFUSAL_CODES, type SavedViewRow, type SavedViewSpecIn, type StagePending, type StagePendingOnBoard, type StageRuleEnforcement, type StageRuleOnFail, type StageRuleWarning, type StaleWriteDetail, type StorageMode, type StoreDoorName, type StoreRefusalCode, type StoredRecord, type StuckRow, type Subscription, type SubscriptionBlock, type SubscriptionCadence, type SubscriptionSpec, TABLE_DISPLAYS, TABLE_ORIGINS, TABLE_TYPES, type Table, type TableArchiveProgress, type TableCapacity, type TableDisplay, type TableOrigin, type TableProposal, type TableType, type Timestamp, type UseEntityFieldMutation, type UseFieldMutation, type UseRecordMutation, type UseRecordsOptions, type UseRecordsState, type UseTableArchive, type Uuid, VALUE_ALTERNATE_KEYS, VALUE_ENVELOPE_KEYS, type ValueAlternate, type ValueAlternateKey, type ValueEnvelope, type ValueEnvelopeKey, type ValueSource, type WorkApprovalDecision, type WorkApprovalFiled, type WorkApprover, type WorkAssignment, type WorkAssignmentField, type WorkChange, type WorkDueState, type WorkGraph, type WorkInboxItem, type WorkInboxKind, type WorkInstantiation, type WorkListFlavour, type WorkListItem, type WorkOrigin, type WorkRecordState, type WorkSlotHold, type WorkState, type WorkTemplateNode, type WorkTemplateRelation, type WorkTurn, type WriteConflict, archivedByLine, archivedWhen, asPermissionLevel, atLeast, bookingPath, choiceSlug, choiceValuesOf, choicesOf, coerceTypedAnswer, coerceTypedAnswers, coercionLabel, emptyArchiveLine, emptyPortalArchiveLine, err, fieldKindFor, forgetAllOps, highestLevel, holdsARetiredChoice, indexedDbStore, isArchiveLane, isDecided, isOwnOp, isPortalArchiveFilter, isRecordsErr, isTheChosen, looksLikeAnId, mayDrag, measureKey, memoryStore, mintClientKey, mintOpId, ok, openCaptureQueue, optionKey, optionLabel, portalArchiveConsequence, portalConfirmLine, portalPath, portalTitleTypedBack, publicFormPath, rememberedOpCount, sameDocument, scopeChip, stableFilterKey, tableShapeChanged, useEntityFieldMutation, useEntityFieldRights, useEntityFields, useEntityRecord, useEntityTable, useFieldMutation, useFields, useMergeField, useMyLevel, useMyLevels, useOptionalRecordsClient, useRecord, useRecordMutation, useRecords, useRecordsActor, useRecordsClient, useTable, useTableArchive, useTables };

package/dist/react/index.d.ts

@@ -2706,6 +2706,11 @@ declare const STORE_DOORS: readonly [{
     readonly args: "p_organization_id uuid DEFAULT NULL::uuid";
     readonly returns: "boolean";
     readonly security: "invoker";
+}, {
+    readonly name: "store_off_sentence";
+    readonly args: "p_organization_id uuid";
+    readonly returns: "text";
+    readonly security: "invoker";
 }, {
     readonly name: "subscription_cadences";
     readonly args: "p_organization_id uuid";
@@ -4053,6 +4058,51 @@ interface TableCapacity {
     /** The knob that decides the ceiling, named so a person can act on it. */
     knob: string;
 }
+/**
+ * WHAT ONE PASS OF `custom.table_archive` ANSWERS WITH — the numbers a screen
+ * needs to draw a bar and write a sentence, instead of a spinner and an
+ * SQLSTATE (VERIFIER-10 F3, VERIFIER-11 F3).
+ *
+ * Archiving a table is a JOB, NOT A STATEMENT. `custom.record_delete` on a
+ * Table recurses through everything the Table contains inside one transaction,
+ * which is unbounded by construction: at 1,430 records it dies on `57014`,
+ * "canceling statement due to statement timeout", and nothing is changed. The
+ * remedy for a thing that cannot finish in one statement is more statements,
+ * never a longer one — so the caller loops, passing its own `chunk`, until
+ * `done`.
+ *
+ * IT IS RESUMABLE BECAUSE IT IS STATELESS. There is no job row to lose:
+ * `remaining` is read off the records themselves on every call, so a browser
+ * closed halfway, a failed pass or a deploy mid-run all leave a table that is
+ * half archived and a next call that picks up exactly where the last stopped.
+ * Which is why a screen driving this may NEVER say "nothing was changed" after
+ * a pass that moved rows — `archived_total` is what really landed.
+ *
+ * NOTHING IS DELETED. Every row goes through `custom.record_delete`, so every
+ * guard, history capture and outbox row still happens and `recordRestore`
+ * still brings any of them back.
+ */
+interface TableArchiveProgress {
+    table_id: Uuid;
+    /** The table's own name, so a sentence can use it rather than an id. */
+    table_name: string;
+    /** What THIS pass archived. */
+    archived: number;
+    /** Records of this table still live. Zero is the end of the row work. */
+    remaining: number;
+    /** Records this table has ever held: `remaining` + `archived_total`. */
+    total: number;
+    /** Records of this table already archived, across every pass ever made. */
+    archived_total: number;
+    /** Whether the Table record itself has been archived. */
+    table_archived: boolean;
+    /** Nothing live is left to do. The caller's loop ends here. */
+    done: boolean;
+    /** The chunk the door actually took on — it clamps what it is handed. */
+    chunk: number;
+    /** The store's own sentence about this pass, in the product's voice. */
+    message: string;
+}
 
 /** FLD-3. A constraint attached to a Field. A Rule, never a behaviour. */
 interface FieldRule {
@@ -4349,6 +4399,25 @@ interface FieldPatch {
      * them changed — a roll-up is always `read`.
      */
     compute_on?: ComputeOn;
+    /**
+     * FLD-11 / REC-15. RE-AIMING A WORKED-OUT COLUMN: the expression, in the same
+     * shape a Rule uses and read by the same evaluator — `{"op":"concat","args":
+     * [{"field":"note"}]}`. Every `{"field": …}` in it names a live Field of this
+     * organization, or `custom._field_document_for` refuses the whole patch by
+     * name and writes nothing.
+     *
+     * `custom.field_update` carries this in its BEHAVIOUR arm — the arm a type
+     * word opens — so send it WITH the word for what the column is
+     * (`type: "formula"`, or `parity_type` / `plain`). The door's spec builder
+     * reads `coalesce(p_patch -> 'expr', v_old -> 'config' -> 'expr')`, so a
+     * re-type that does not carry one deliberately keeps the expression the
+     * column already had; the settings arm has no `expr` key at all, so `expr`
+     * alone is not a change this door makes. `STORE-TAILS-2` asked for the field
+     * because the one client that needed to re-aim an existing formula had no
+     * typed way to say it and reached for `custom.record_update`, which writes the
+     * Field document under the guards rather than through them.
+     */
+    expr?: Record<string, unknown>;
 }
 
 /** One option, as `_choices` names it and as `optionsOf` returns it. */
@@ -7427,13 +7496,52 @@ interface RecordsClient {
         /** Leave it out and the last writer wins; supply it and a loser is TOLD. */
         expectedVersion?: number;
     }): Promise<RecordsResult<number>>;
-    /** REC-23. Soft, and reversible within `retention`. */
+    /**
+     * REC-23. Soft, and reversible within `retention`.
+     *
+     * 🚨 NOT FOR A TABLE. A Table is a record, so this door accepts one — and
+     * then recurses through every record the Table contains inside a single
+     * transaction, which is unbounded by construction and dies on `57014` at a
+     * size the product's own import reaches in half a minute. Use
+     * `tableArchive` below, which does the same work in resumable passes.
+     */
     recordDelete(args: {
         record_id: Uuid;
     }): Promise<RecordsResult<Timestamp>>;
     recordRestore(args: {
         record_id: Uuid;
     }): Promise<RecordsResult<void>>;
+    /**
+     * ARCHIVING A WHOLE TABLE — ONE PASS OF IT (VERIFIER-11 F3).
+     *
+     * One call archives at most `chunk` of the table's live records through
+     * `custom.record_delete` (so every guard, history capture and outbox row
+     * still happens; nothing is hard-deleted) and comes back with the numbers a
+     * screen draws progress from. The CALLER LOOPS until `done` — that loop is
+     * the fix, because the one thing a single statement cannot be made to do is
+     * finish.
+     *
+     * `chunk: 0` changes nothing and only reports, so a screen can say "1,430
+     * records will be archived" BEFORE a person commits to it. `includeTable:
+     * false` empties the table and leaves it standing.
+     *
+     * RESUMABLE, WITHOUT A JOB ROW: what remains is read off the records
+     * themselves every call. A pass that fails, a closed tab or a deploy mid-run
+     * leaves a half-archived table and a next call that continues from exactly
+     * there. A caller must therefore never report "nothing happened" after a
+     * failed pass — `archived_total` says what really landed.
+     */
+    tableArchive(args: {
+        table_id: Uuid;
+        /**
+         * How many records this pass takes on. The door clamps it; it answers with what it
+         * took. Default 50 — measured: ~35ms a record against an 8s statement timeout, so
+         * 200 dies on `57014` and is the original defect one level up.
+         */
+        chunk?: number;
+        /** Archive the Table record itself once nothing live is left in it. Default true. */
+        includeTable?: boolean;
+    }): Promise<RecordsResult<TableArchiveProgress>>;
     recordRead(args: {
         record_id: Uuid;
         withComputed?: boolean;
@@ -8927,6 +9035,68 @@ interface UseRecordMutation {
 }
 /** Writes, with optimistic concurrency surfaced instead of swallowed. */
 declare function useRecordMutation(): UseRecordMutation;
+/**
+ * GETTING RID OF A WHOLE TABLE — the loop, once, for every screen (VERIFIER-11 F3).
+ *
+ * `useRecordMutation().remove` is right for a record and WRONG for a Table:
+ * `custom.record_delete` aimed at a Table recurses through everything it
+ * contains inside one transaction, so on 1,430 records — a size the product's
+ * own import reaches in half a minute — it died twelve seconds in on `57014`,
+ * "canceling statement due to statement timeout", and the screen told the
+ * person nothing had changed and to "try a smaller page". There is no page.
+ *
+ * So archiving a table is a JOB: this hook makes the passes, holds the numbers
+ * the store answers each one with, and stops on `done`.
+ *
+ * WHAT MAKES IT RESUMABLE is that nothing here is the state of the run — the
+ * store reads what remains off the records themselves every call. A refused
+ * pass, a `stop()`, a closed tab or a reload all leave `interrupted` true and a
+ * `carryOn()` that continues from exactly where the last pass stopped. Which is
+ * also why a screen driving this may never say "nothing was changed" after a
+ * failure: `progress.archived_total` is what actually landed, and it is the
+ * number the person is owed.
+ */
+interface UseTableArchive {
+    /** The numbers from the last pass or preview. Null until something has been asked. */
+    progress: TableArchiveProgress | null;
+    /** A loop is in flight. */
+    running: boolean;
+    /** Passes made since the last `start()`. */
+    passes: number;
+    /**
+     * The pass size in use. It STARTS at `chunk` and HALVES whenever the store
+     * runs out of time, so a screen can say the run slowed down rather than
+     * letting it look stuck. Never below ten: at that point the store is not slow,
+     * it is refusing, and a loop that kept shrinking would hide it.
+     */
+    chunkInUse: number;
+    /**
+     * The loop backed the pass size off because the store ran out of time. An
+     * automatic intervention ANNOUNCES ITSELF: a run that quietly went four times
+     * slower would read as a stuck screen.
+     */
+    slowedDown: boolean;
+    /** The refusal that stopped the loop. The work already done still stands. */
+    error: RecordsError | null;
+    /**
+     * The loop ended with records still live — because a pass was refused or
+     * because `stop()` was called. It is the screen's cue to offer carrying on
+     * rather than to claim a finished or a failed run.
+     */
+    interrupted: boolean;
+    /** Ask what would happen and change NOTHING, so a person sees the number first. */
+    preview: () => Promise<TableArchiveProgress | null>;
+    /** Run passes until done, refused, or stopped. */
+    start: () => Promise<TableArchiveProgress | null>;
+    /** Same loop, said in the word a screen uses after an interruption. */
+    carryOn: () => Promise<TableArchiveProgress | null>;
+    /** Cut cleanly after the pass in flight. Never mid-pass: a pass is one transaction. */
+    stop: () => void;
+}
+declare function useTableArchive(tableId: Uuid, options?: {
+    chunk?: number;
+    includeTable?: boolean;
+}): UseTableArchive;
 interface UseFieldMutation {
     /** Add a column. One call; the store decides what the parity type is made of. */
     declare: (args: {
@@ -9016,4 +9186,4 @@ declare function useFieldMutation(): UseFieldMutation;
  */
 declare function useMergeField(key: string | null, state?: Record<string, unknown>): MergeFieldResolution | null;
 
-export { ABSENCE_REASONS, ACTOR_VOCABULARY, ARCHIVE_LANES, ARCHIVE_LANE_LABEL, ARCHIVE_LANE_MEANS, type AbsenceReason, type Actor, type AggregateBucket, type AggregateFilter, type AggregateMeasure, type AggregateOperation, type AggregateRow, type AggregateWindow, type AnonTokenBinding, type ArchiveLane, type ArchivedDoorRow, type ArchivedRow, type BookingAvailability, type BookingDeclared, type BookingSummary, type BookingWindow, COMPUTE_ON, CONTEXT_POLICIES, type CaptureField, type CaptureFileRef, type CaptureOutcome, type CaptureQuestion, type CaptureQueue, type CaptureQueueCounts, type CaptureQueueOptions, type CaptureQueuePorts, type CaptureQueueStore, type CaptureSheetFace, type CaptureSheetSummary, type CaptureSyncReport, type ChecklistDeclared, type ChecklistRequirement, type ChecklistRequirementKind, type ChecklistRoleSpec, type ChecklistRunStarted, type ChecklistRunStep, type ChecklistRunSummary, type ChecklistSpec, type ChecklistStepCompleted, type ChecklistStepSpec, type ChecklistTemplateShape, type ChecklistTemplateSummary, type ChecklistTrigger, type ChecklistTriggerKind, type ChoiceOption, type ChoiceOptions, type CoerceOptions, type Coerced, type CoercedAnswers, type CoercibleField, type CommentThreadRead, type CommentWritten, type ComputeOn, type ContextPolicy, type ConversationScope, type ConversationScopeContext, type CustomFieldTableType, DECLARABLE_FIELD_KINDS, DEFAULT_ARCHIVE_LANE, DEFAULT_PORTAL_ARCHIVE_FILTER, DELIVERIES, type DashboardBlock, type DashboardBlockKind, type DashboardBlockResult, type DashboardRunResult, type DashboardSummary, type DeclarableFieldKind, type Delivery, type DigestPreview, type DocRenderRow, type DocSignatureCheck, type DocSignatureRow, type DocTemplateRow, type DocToken, type DocUnresolvedToken, ENTITY_TOKENS, type EnrichAlternate, type EnrichCell, type EnrichDeclared, type EnrichDueRow, type EnrichRun, type EnrichSource, type Enrichment, type EnrichmentSummary, type EntityFieldRights, type EntityFieldValue, type EntityRecordMatch, type EntityRecordRead, type EntityRecordsFound, type EntityTableFacts, type EntityToken, type ExternalPrincipalCard, FIELD_KINDS, FIELD_SENSITIVITIES, FIELD_SOURCES, FRESHNESS, type Field, type FieldBehavior, type FieldHistoryEntry, type FieldKind, type FieldPatch, type FieldProposal, type FieldRule, type FieldSensitivity, type FieldSource, type FieldTypeWord, type ForbiddenEnvelopeWord, type FormSummary, type Freshness, type HiddenFieldNotice, type HistoryActor, type HistoryActorKind, type HistoryChange, type Home, type ImportBatchResult, type ImportColumnPlan, type ImportColumnsDeclared, type ImportFinished, type ImportOpened, type ImportOutcome, type ImportPlan, type ImportPolicy, type ImportProposal, type ImportReport, type ImportRun, type InboundAddress, type InboundDeclared, KERNEL_TABLES, type KernelTableName, type KernelTargets, MERGE_FIELD_MODIFIERS, MERGE_FIELD_SEMANTIC_TYPES, MERGE_FIELD_SOURCES, type MergeField, type MergeFieldModifier, type MergeFieldProvenance, type MergeFieldResolution, type MergeFieldSemanticType, type MergeFieldSource, type MergeFieldTransform, type MissingBehavior, type MyLevel, type MySubscription, type NewEntityFieldDeclaration, type NewFieldDeclaration, ON_DELETE, OVERRIDE_POLICIES, type OnDelete, type OverridePolicy, PARITY_FIELD_TYPES, PERMISSION_LEVELS, PER_VALUE_ACCESS_WORDS, PIPELINE_RULE_KINDS, PORTAL_ARCHIVE_FILTERS, type ParityFieldType, type ParityFieldTypeDescriptor, type PerValueAccessWord, type PermissionLevel, type PgError, type Pipeline, type PipelineColumn, type PipelineDeclared, type PipelineGate, type PipelineGatePreview, type PipelineMissingField, type PipelineMoveResult, type PipelineRule, type PipelineRuleKind, type PipelineSpec, type PipelineStage, type PipelineVerdict, type PortalArchiveAnswer, type PortalArchiveFilter, type PortalCard, type PortalInvitation, type PortalPreviewRow, type PortalPrincipal, type PortalRevocation, type PortalSummary, type PortalTableExposure, type PortalTableRef, type PredictedRefusal, type ProvenancePointer, type PublishBinding, type QueuedCapture, type QueuedCaptureFile, type QueuedCaptureState, type QuietHours, REFUSALS_WORTH_REPEATING, RELATION_BINDINGS, RELATION_CARDINALITIES, RELATION_FLAVORS, RETIRED_ACTOR_WORDS, RULE_NODE_KINDS, RULE_USES, type ReadRow, type ReadValue, type RecordComment, type RecordDocument, type RecordFilter, type RecordHistoryEntry, type RecordRead, type RecordRevision, type RecordScopeComment, type RecordScopeContext, type RecordScopeField, type RecordScopeHistoryEntry, type RecordScopeRelation, type RecordScopeWithheld, type RecordsActor, type RecordsChangeSink, type RecordsConfig, type RecordsDataSource, type RecordsError, type RecordsErrorCode, type RecordsErrorSink, type RecordsFilter, RecordsProvider, type RecordsProviderProps, type RecordsRealtimePort, type RecordsResolverPort, type RecordsResponse, type RecordsResult, type RecordsTableQuery, type RegisteredTable, type Relation, type RelationBinding, type RelationCardinality, type RelationCarries, type RelationCoordinate, type RelationDisplay, type RelationFlavor, type RelationProperties, type RelationTarget, type ResolutionTriple, type ResolvedPublishBinding, type RestorePreview, type RestoreResult, type RetiredActorWord, type Rule, type RuleAnswer, type RuleExpression, type RuleNodeKind, type RuleUse, STAGE_RULE_ENFORCEMENT, STAGE_RULE_ON_FAIL, STORAGE_MODES, STORE_DOORS, STORE_KNOBS, STORE_REFUSAL_CODES, type SavedViewRow, type SavedViewSpecIn, type StagePending, type StagePendingOnBoard, type StageRuleEnforcement, type StageRuleOnFail, type StageRuleWarning, type StaleWriteDetail, type StorageMode, type StoreDoorName, type StoreRefusalCode, type StoredRecord, type StuckRow, type Subscription, type SubscriptionBlock, type SubscriptionCadence, type SubscriptionSpec, TABLE_DISPLAYS, TABLE_ORIGINS, TABLE_TYPES, type Table, type TableCapacity, type TableDisplay, type TableOrigin, type TableProposal, type TableType, type Timestamp, type UseEntityFieldMutation, type UseFieldMutation, type UseRecordMutation, type UseRecordsOptions, type UseRecordsState, type Uuid, VALUE_ALTERNATE_KEYS, VALUE_ENVELOPE_KEYS, type ValueAlternate, type ValueAlternateKey, type ValueEnvelope, type ValueEnvelopeKey, type ValueSource, type WorkApprovalDecision, type WorkApprovalFiled, type WorkApprover, type WorkAssignment, type WorkAssignmentField, type WorkChange, type WorkDueState, type WorkGraph, type WorkInboxItem, type WorkInboxKind, type WorkInstantiation, type WorkListFlavour, type WorkListItem, type WorkOrigin, type WorkRecordState, type WorkSlotHold, type WorkState, type WorkTemplateNode, type WorkTemplateRelation, type WorkTurn, type WriteConflict, archivedByLine, archivedWhen, asPermissionLevel, atLeast, bookingPath, choiceSlug, choiceValuesOf, choicesOf, coerceTypedAnswer, coerceTypedAnswers, coercionLabel, emptyArchiveLine, emptyPortalArchiveLine, err, fieldKindFor, forgetAllOps, highestLevel, holdsARetiredChoice, indexedDbStore, isArchiveLane, isDecided, isOwnOp, isPortalArchiveFilter, isRecordsErr, isTheChosen, looksLikeAnId, mayDrag, measureKey, memoryStore, mintClientKey, mintOpId, ok, openCaptureQueue, optionKey, optionLabel, portalArchiveConsequence, portalConfirmLine, portalPath, portalTitleTypedBack, publicFormPath, rememberedOpCount, sameDocument, scopeChip, stableFilterKey, tableShapeChanged, useEntityFieldMutation, useEntityFieldRights, useEntityFields, useEntityRecord, useEntityTable, useFieldMutation, useFields, useMergeField, useMyLevel, useMyLevels, useOptionalRecordsClient, useRecord, useRecordMutation, useRecords, useRecordsActor, useRecordsClient, useTable, useTables };
+export { ABSENCE_REASONS, ACTOR_VOCABULARY, ARCHIVE_LANES, ARCHIVE_LANE_LABEL, ARCHIVE_LANE_MEANS, type AbsenceReason, type Actor, type AggregateBucket, type AggregateFilter, type AggregateMeasure, type AggregateOperation, type AggregateRow, type AggregateWindow, type AnonTokenBinding, type ArchiveLane, type ArchivedDoorRow, type ArchivedRow, type BookingAvailability, type BookingDeclared, type BookingSummary, type BookingWindow, COMPUTE_ON, CONTEXT_POLICIES, type CaptureField, type CaptureFileRef, type CaptureOutcome, type CaptureQuestion, type CaptureQueue, type CaptureQueueCounts, type CaptureQueueOptions, type CaptureQueuePorts, type CaptureQueueStore, type CaptureSheetFace, type CaptureSheetSummary, type CaptureSyncReport, type ChecklistDeclared, type ChecklistRequirement, type ChecklistRequirementKind, type ChecklistRoleSpec, type ChecklistRunStarted, type ChecklistRunStep, type ChecklistRunSummary, type ChecklistSpec, type ChecklistStepCompleted, type ChecklistStepSpec, type ChecklistTemplateShape, type ChecklistTemplateSummary, type ChecklistTrigger, type ChecklistTriggerKind, type ChoiceOption, type ChoiceOptions, type CoerceOptions, type Coerced, type CoercedAnswers, type CoercibleField, type CommentThreadRead, type CommentWritten, type ComputeOn, type ContextPolicy, type ConversationScope, type ConversationScopeContext, type CustomFieldTableType, DECLARABLE_FIELD_KINDS, DEFAULT_ARCHIVE_LANE, DEFAULT_PORTAL_ARCHIVE_FILTER, DELIVERIES, type DashboardBlock, type DashboardBlockKind, type DashboardBlockResult, type DashboardRunResult, type DashboardSummary, type DeclarableFieldKind, type Delivery, type DigestPreview, type DocRenderRow, type DocSignatureCheck, type DocSignatureRow, type DocTemplateRow, type DocToken, type DocUnresolvedToken, ENTITY_TOKENS, type EnrichAlternate, type EnrichCell, type EnrichDeclared, type EnrichDueRow, type EnrichRun, type EnrichSource, type Enrichment, type EnrichmentSummary, type EntityFieldRights, type EntityFieldValue, type EntityRecordMatch, type EntityRecordRead, type EntityRecordsFound, type EntityTableFacts, type EntityToken, type ExternalPrincipalCard, FIELD_KINDS, FIELD_SENSITIVITIES, FIELD_SOURCES, FRESHNESS, type Field, type FieldBehavior, type FieldHistoryEntry, type FieldKind, type FieldPatch, type FieldProposal, type FieldRule, type FieldSensitivity, type FieldSource, type FieldTypeWord, type ForbiddenEnvelopeWord, type FormSummary, type Freshness, type HiddenFieldNotice, type HistoryActor, type HistoryActorKind, type HistoryChange, type Home, type ImportBatchResult, type ImportColumnPlan, type ImportColumnsDeclared, type ImportFinished, type ImportOpened, type ImportOutcome, type ImportPlan, type ImportPolicy, type ImportProposal, type ImportReport, type ImportRun, type InboundAddress, type InboundDeclared, KERNEL_TABLES, type KernelTableName, type KernelTargets, MERGE_FIELD_MODIFIERS, MERGE_FIELD_SEMANTIC_TYPES, MERGE_FIELD_SOURCES, type MergeField, type MergeFieldModifier, type MergeFieldProvenance, type MergeFieldResolution, type MergeFieldSemanticType, type MergeFieldSource, type MergeFieldTransform, type MissingBehavior, type MyLevel, type MySubscription, type NewEntityFieldDeclaration, type NewFieldDeclaration, ON_DELETE, OVERRIDE_POLICIES, type OnDelete, type OverridePolicy, PARITY_FIELD_TYPES, PERMISSION_LEVELS, PER_VALUE_ACCESS_WORDS, PIPELINE_RULE_KINDS, PORTAL_ARCHIVE_FILTERS, type ParityFieldType, type ParityFieldTypeDescriptor, type PerValueAccessWord, type PermissionLevel, type PgError, type Pipeline, type PipelineColumn, type PipelineDeclared, type PipelineGate, type PipelineGatePreview, type PipelineMissingField, type PipelineMoveResult, type PipelineRule, type PipelineRuleKind, type PipelineSpec, type PipelineStage, type PipelineVerdict, type PortalArchiveAnswer, type PortalArchiveFilter, type PortalCard, type PortalInvitation, type PortalPreviewRow, type PortalPrincipal, type PortalRevocation, type PortalSummary, type PortalTableExposure, type PortalTableRef, type PredictedRefusal, type ProvenancePointer, type PublishBinding, type QueuedCapture, type QueuedCaptureFile, type QueuedCaptureState, type QuietHours, REFUSALS_WORTH_REPEATING, RELATION_BINDINGS, RELATION_CARDINALITIES, RELATION_FLAVORS, RETIRED_ACTOR_WORDS, RULE_NODE_KINDS, RULE_USES, type ReadRow, type ReadValue, type RecordComment, type RecordDocument, type RecordFilter, type RecordHistoryEntry, type RecordRead, type RecordRevision, type RecordScopeComment, type RecordScopeContext, type RecordScopeField, type RecordScopeHistoryEntry, type RecordScopeRelation, type RecordScopeWithheld, type RecordsActor, type RecordsChangeSink, type RecordsConfig, type RecordsDataSource, type RecordsError, type RecordsErrorCode, type RecordsErrorSink, type RecordsFilter, RecordsProvider, type RecordsProviderProps, type RecordsRealtimePort, type RecordsResolverPort, type RecordsResponse, type RecordsResult, type RecordsTableQuery, type RegisteredTable, type Relation, type RelationBinding, type RelationCardinality, type RelationCarries, type RelationCoordinate, type RelationDisplay, type RelationFlavor, type RelationProperties, type RelationTarget, type ResolutionTriple, type ResolvedPublishBinding, type RestorePreview, type RestoreResult, type RetiredActorWord, type Rule, type RuleAnswer, type RuleExpression, type RuleNodeKind, type RuleUse, STAGE_RULE_ENFORCEMENT, STAGE_RULE_ON_FAIL, STORAGE_MODES, STORE_DOORS, STORE_KNOBS, STORE_REFUSAL_CODES, type SavedViewRow, type SavedViewSpecIn, type StagePending, type StagePendingOnBoard, type StageRuleEnforcement, type StageRuleOnFail, type StageRuleWarning, type StaleWriteDetail, type StorageMode, type StoreDoorName, type StoreRefusalCode, type StoredRecord, type StuckRow, type Subscription, type SubscriptionBlock, type SubscriptionCadence, type SubscriptionSpec, TABLE_DISPLAYS, TABLE_ORIGINS, TABLE_TYPES, type Table, type TableArchiveProgress, type TableCapacity, type TableDisplay, type TableOrigin, type TableProposal, type TableType, type Timestamp, type UseEntityFieldMutation, type UseFieldMutation, type UseRecordMutation, type UseRecordsOptions, type UseRecordsState, type UseTableArchive, type Uuid, VALUE_ALTERNATE_KEYS, VALUE_ENVELOPE_KEYS, type ValueAlternate, type ValueAlternateKey, type ValueEnvelope, type ValueEnvelopeKey, type ValueSource, type WorkApprovalDecision, type WorkApprovalFiled, type WorkApprover, type WorkAssignment, type WorkAssignmentField, type WorkChange, type WorkDueState, type WorkGraph, type WorkInboxItem, type WorkInboxKind, type WorkInstantiation, type WorkListFlavour, type WorkListItem, type WorkOrigin, type WorkRecordState, type WorkSlotHold, type WorkState, type WorkTemplateNode, type WorkTemplateRelation, type WorkTurn, type WriteConflict, archivedByLine, archivedWhen, asPermissionLevel, atLeast, bookingPath, choiceSlug, choiceValuesOf, choicesOf, coerceTypedAnswer, coerceTypedAnswers, coercionLabel, emptyArchiveLine, emptyPortalArchiveLine, err, fieldKindFor, forgetAllOps, highestLevel, holdsARetiredChoice, indexedDbStore, isArchiveLane, isDecided, isOwnOp, isPortalArchiveFilter, isRecordsErr, isTheChosen, looksLikeAnId, mayDrag, measureKey, memoryStore, mintClientKey, mintOpId, ok, openCaptureQueue, optionKey, optionLabel, portalArchiveConsequence, portalConfirmLine, portalPath, portalTitleTypedBack, publicFormPath, rememberedOpCount, sameDocument, scopeChip, stableFilterKey, tableShapeChanged, useEntityFieldMutation, useEntityFieldRights, useEntityFields, useEntityRecord, useEntityTable, useFieldMutation, useFields, useMergeField, useMyLevel, useMyLevels, useOptionalRecordsClient, useRecord, useRecordMutation, useRecords, useRecordsActor, useRecordsClient, useTable, useTableArchive, useTables };

package/dist/react/index.js

@@ -691,6 +691,7 @@ var STORE_DOORS = [
   { name: "stamp_value_envelopes", args: "p_data jsonb, p_actor text, p_on_behalf_of text, p_at timestamp with time zone", returns: "jsonb", security: "invoker" },
   { name: "storage_modes", args: "", returns: "text[]", security: "invoker" },
   { name: "store_is_open", args: "p_organization_id uuid DEFAULT NULL::uuid", returns: "boolean", security: "invoker" },
+  { name: "store_off_sentence", args: "p_organization_id uuid", returns: "text", security: "invoker" },
   { name: "subscription_cadences", args: "p_organization_id uuid", returns: "text[]", security: "definer" },
   { name: "subscription_declare", args: "p_organization_id uuid, p_table_id uuid, p_spec jsonb", returns: "uuid", security: "definer" },
   { name: "subscription_mute", args: "p_organization_id uuid, p_rule_id uuid, p_muted boolean DEFAULT true", returns: "boolean", security: "definer" },
@@ -1968,6 +1969,19 @@ var DOORS = {
   fieldOptions: "field_options",
   parityValues: "parity_values",
   tableDeclare: "table_declare",
+  // GETTING RID OF A TABLE — which is a JOB, NOT A STATEMENT (VERIFIER-11 F3).
+  // `record_delete` above is the store's one soft-delete door and it is right
+  // for a record; aimed at a TABLE it recurses through everything the Table
+  // contains inside one transaction, and that is unbounded by construction. A
+  // person pressing "Delete this table" on 1,430 records the product itself
+  // had just imported waited twelve seconds and was told `57014`, "canceling
+  // statement due to statement timeout … Nothing was changed. Try a smaller
+  // page" — advice that means nothing when what you are doing is getting rid
+  // of a table. `custom.table_archive` does the same work in passes and
+  // answers each one with numbers, so a screen shows a sentence and a count
+  // instead of a spinner and an SQLSTATE. It is STATELESS, so a run cut in
+  // half resumes exactly where it stopped: there is no job row to lose.
+  tableArchive: "table_archive",
   // ADDING A COLUMN — the first thing anybody does with a table, and until
   // 2026-09-19 there was no door for it. A Field is a record (REC-25), so a
   // screen wrote one with `record_write`; that door writes ONE row with
@@ -2623,6 +2637,18 @@ function createRecordsClient(config) {
         "recordRestore"
       );
     },
+    async tableArchive({ table_id, chunk, includeTable }) {
+      return callDoor(
+        DOORS.tableArchive,
+        {
+          p_organization_id: org,
+          p_table_id: table_id,
+          p_chunk: chunk ?? 50,
+          p_include_table: includeTable ?? true
+        },
+        "tableArchive"
+      );
+    },
     async recordRead({ record_id, withComputed = false }) {
       const door = await callDoor(
         DOORS.readRecord,
@@ -4694,6 +4720,85 @@ function useRecordMutation() {
     [client, run, saving, error, conflict]
   );
 }
+var MIN_ARCHIVE_CHUNK = 10;
+function useTableArchive(tableId, options) {
+  const client = useRecordsClient();
+  const chunk = options?.chunk ?? 50;
+  const includeTable = options?.includeTable ?? true;
+  const [progress, setProgress] = useState(null);
+  const [running, setRunning] = useState(false);
+  const [passes, setPasses] = useState(0);
+  const [error, setError] = useState(null);
+  const [interrupted, setInterrupted] = useState(false);
+  const [chunkInUse, setChunkInUse] = useState(chunk);
+  const [slowedDown, setSlowedDown] = useState(false);
+  const cut = useRef(false);
+  const preview = useCallback(async () => {
+    setError(null);
+    const answered = await client.tableArchive({ table_id: tableId, chunk: 0, includeTable });
+    if (!answered.ok) {
+      setError(answered.error);
+      return null;
+    }
+    setProgress(answered.data);
+    return answered.data;
+  }, [client, tableId, includeTable]);
+  const loop = useCallback(async () => {
+    cut.current = false;
+    setRunning(true);
+    setError(null);
+    setInterrupted(false);
+    setPasses(0);
+    let last = null;
+    let size = chunk;
+    setChunkInUse(size);
+    setSlowedDown(false);
+    try {
+      for (; ; ) {
+        const answered = await client.tableArchive({ table_id: tableId, chunk: size, includeTable });
+        if (!answered.ok) {
+          if (answered.error.code === "timed_out" && size > MIN_ARCHIVE_CHUNK) {
+            size = Math.max(MIN_ARCHIVE_CHUNK, Math.floor(size / 2));
+            setChunkInUse(size);
+            setSlowedDown(true);
+            continue;
+          }
+          setError(answered.error);
+          setInterrupted(true);
+          return last;
+        }
+        last = answered.data;
+        setProgress(answered.data);
+        setPasses((n) => n + 1);
+        if (answered.data.done) return answered.data;
+        if (cut.current) {
+          setInterrupted(true);
+          return answered.data;
+        }
+      }
+    } finally {
+      setRunning(false);
+    }
+  }, [client, tableId, chunk, includeTable]);
+  return useMemo2(
+    () => ({
+      progress,
+      running,
+      passes,
+      chunkInUse,
+      slowedDown,
+      error,
+      interrupted,
+      preview,
+      start: loop,
+      carryOn: loop,
+      stop: () => {
+        cut.current = true;
+      }
+    }),
+    [progress, running, passes, chunkInUse, slowedDown, error, interrupted, preview, loop]
+  );
+}
 function useEntityFields(token) {
   return useAsync(
     (client) => token ? client.entityFields({ token }) : Promise.resolve({ ok: true, data: [] }),
@@ -5587,6 +5692,7 @@ export {
   useRecordsActor,
   useRecordsClient,
   useTable,
+  useTableArchive,
   useTables
 };
 //# sourceMappingURL=index.js.map