@engramx/idl 0.16.0-rc.14 → 0.16.0-rc.16

package/dist/engram.idl.d.ts

@@ -54,6 +54,12 @@ export interface AgentEnding {
   day: bigint;
   reason: AgentEndReason;
 }
+export interface AgentGrant {
+  key: Principal;
+  permissions: AgentPermissions;
+  name: string;
+  paymentLimits: PaymentLimits;
+}
 export interface AgentPaymentSignatures {
   agent: Principal;
   signedToday: bigint;
@@ -84,6 +90,16 @@ export interface AgentRecord {
   keyRotatedAtNs: bigint;
   keyHeldFrom: LogPosition;
 }
+export interface AgentSpendRow {
+  agent: Principal;
+  spentToday: [] | [bigint];
+  root: Principal;
+  maxPerDay: [] | [bigint];
+}
+export interface AgentSpendToday {
+  dayStartNs: bigint;
+  agents: Page_23;
+}
 export type AgentStatus = { Active: null } | { Resigned: null } | { Revoked: null };
 export interface AgentWriteReview {
   cursor: bigint;
@@ -175,6 +191,11 @@ export interface BackupMetadata {
   chunkCount: bigint;
   parentBackupId: [] | [string];
 }
+export interface BackupRetention {
+  maxBackups: bigint;
+  isDefault: boolean;
+  dbType: string;
+}
 export interface BackupRetentionReport {
   maxBackups: bigint;
   dbType: string;
@@ -199,6 +220,21 @@ export interface BearerToken {
   issuedBy: Principal;
 }
 export type BearerTokenStatus = { Active: null } | { Revoked: null } | { Expired: null };
+export interface BrakePull {
+  by: Principal;
+  atNs: bigint;
+  role: BrakeRole;
+  reason: [] | [string];
+}
+export type BrakeRole = { Guardian: null } | { Owner: null };
+export interface BrakeState {
+  on: boolean;
+  pull: [] | [BrakePull];
+}
+export interface Brakes {
+  payments: BrakeState;
+  writes: BrakeState;
+}
 export interface CallerSignatureCount {
   count: bigint;
   role: Role;
@@ -214,7 +250,7 @@ export interface CertifiedAuditHead {
 }
 export interface CheckpointPage {
   firstAvailableSeq: bigint;
-  page: Page_15;
+  page: Page_18;
   scannedThroughSeq: bigint;
 }
 export interface ChildAllowanceRow {
@@ -357,11 +393,18 @@ export interface Engram {
    * / test/key-replacement.test.mo runs it; this body names no roster gate, because the caller holds
    * / no role here until the move.
    */
-  acceptAgentKeyNomination: ActorMethod<[Principal], Result_72>;
+  acceptAgentKeyNomination: ActorMethod<[Principal], Result_80>;
   /**
    * / Consensus transform for the alert webhook outcall: collapse the response to status-only so
    * / replicas agree regardless of response headers/body (we only care that the POST landed 2xx).
    * /
+   * / ⟨CORRECTED 2026-10-21⟩ No longer a consensus transform: the alert outcall is non-replicated
+   * / (`is_replicated = ?false` in `scanAndPost`), so ONE node sends the POST and runs this on its
+   * / own response — there are no replicas to agree, and "on every replica" below now means "on that
+   * / node". It stays so the response is collapsed to status-only before the engram reads it. The
+   * / PUBLIC reasoning below is unchanged: the outcall protocol still calls it with no caller identity.
+   * / `worldIdTransform` is still a true consensus transform (World ID stays replicated).
+   * /
    * / PUBLIC: not a choice. The management canister invokes a transform on every replica as part of
    * / the HTTP-outcall protocol, and that invocation carries no caller identity to gate on — a gate
    * / here would refuse the only caller there is and break every alert this canister sends. Safe
@@ -383,7 +426,7 @@ export interface Engram {
    * / account name). The action must be registered: a destination list belongs to an action, and a
    * / list for no action would be a value nothing checks. The caller is the owner's app.
    */
-  addEip712Destination: ActorMethod<[Uint8Array | number[], string], Result_71>;
+  addEip712Destination: ActorMethod<[Uint8Array | number[], string], Result_79>;
   /**
    * / Register a typed-data shape as signable. Owner-only, freeze-gated (a registration is a grant
    * / of FUTURE authority — a frozen engram must not be able to widen what it can sign), and the
@@ -418,7 +461,7 @@ export interface Engram {
         ackIrrevocable: boolean;
       },
     ],
-    Result_70
+    Result_78
   >;
   /**
    * / ⟨0.16.0, L1⟩ THE ROLE-CONFLICT ARM, and why three refusals here are not the same refusal.
@@ -431,6 +474,17 @@ export interface Engram {
    * / or the roster is full. Only the last is worth an agent's time to resolve.
    */
   addGuardian: ActorMethod<[Principal, string, GuardianPermissions], Result_1>;
+  /**
+   * / ⟨2026-10-21, the owner's round-11 answer b⟩ OWNER-ONLY: put a note on any entry of this
+   * / engram's record — words, nothing else. Appends a chained `record.note` entry
+   * / (`about=<id> note=<words>`) and keeps the note for `listRecordNotes`; answers the new entry's
+   * / id. The entry noted may be any entry ever appended (`about` below the head), including one the
+   * / ring no longer holds in full. An agent, a guardian, a stranger and the anonymous caller are
+   * / refused by `requireOwner`'s own words. Empty words, words over `RecordWords.WORDS_MAX` or
+   * / holding a line break are `#Invalid`; an id past the head is `#NotFound`; nothing is recorded
+   * / on any refusal.
+   */
+  addRecordNote: ActorMethod<[bigint, string], Result_12>;
   /**
    * / Returns the write RECEIPT, not just the version.
    * /
@@ -465,7 +519,7 @@ export interface Engram {
    * / is exactly what a guardian pause exists to hold. No action alert is raised: the operation is
    * / owner-initiated, owner-only, and already chained into the audit log.
    */
-  applyCondense: ActorMethod<[bigint], Result_69>;
+  applyCondense: ActorMethod<[bigint], Result_77>;
   /**
    * / Owner-only: activate a guardian who has registered against an invite.
    * /
@@ -545,7 +599,7 @@ export interface Engram {
    * /
    * / The write half also refuses while writes are PAUSED.
    */
-  backupInit: ActorMethod<[string, BackupType, [] | [string], string, [] | [string]], Result_45>;
+  backupInit: ActorMethod<[string, BackupType, [] | [string], string, [] | [string]], Result_51>;
   /**
    * / Read one chunk of a finalized backup, by index.
    * /
@@ -553,7 +607,7 @@ export interface Engram {
    * / `canAppendMemory`. Holding one says nothing about the other, deliberately: taking a backup and
    * / carrying it away are different authorities.
    */
-  backupPullChunk: ActorMethod<[string, bigint], Result_61>;
+  backupPullChunk: ActorMethod<[string, bigint], Result_67>;
   backupPushChunk: ActorMethod<[string, bigint, Uint8Array | number[]], Result_1>;
   /**
    * / The OWNER cancels an agent's pending key nomination; the agent keeps its current key. Refused
@@ -611,7 +665,7 @@ export interface Engram {
    * / A principal that is already a GUARDIAN cannot become an agent — a guardian is an
    * / independent check on agents, so one wallet must not hold both.
    */
-  createAgentInvite: ActorMethod<[string, AgentPermissions], Result_45>;
+  createAgentInvite: ActorMethod<[string, AgentPermissions], Result_51>;
   /**
    * / Owner-only: mint an invite for a GUARDIAN — an independent check on agents, not a
    * / co-owner and not a recovery agent.
@@ -635,7 +689,7 @@ export interface Engram {
    * / So an invite that fails to redeem for that reason is not a bad code. The rule exists because
    * / a check must be independent of the thing it checks.
    */
-  createGuardianInvite: ActorMethod<[string, GuardianPermissions], Result_45>;
+  createGuardianInvite: ActorMethod<[string, GuardianPermissions], Result_51>;
   /**
    * / OWNER-ONLY deletion of a stored backup.
    * /
@@ -669,6 +723,24 @@ export interface Engram {
    * / does not change the policy — the next request over the same limit will be raised again.
    */
   denyRequest: ActorMethod<[string, string], Result_1>;
+  /**
+   * / ⟨2026-10-21, the owner's round-11 answer c⟩ A NEW GUARDIAN POWER, words only: an ACTIVE
+   * / guardian disputes an agent's write. It never moves money, stops anything or changes a grant.
+   * / Appends a chained `record.dispute` entry (`about=<id> reason=<words>`) and keeps the dispute
+   * / for `listGuardianDisputes`; answers the new entry's id. NOT ALERTED, deliberately: a
+   * / `guardian.*` operation would fall in the alerts' #guardian class, and which entries reach a
+   * / phone is the held alerts round's to decide (`ActionAlerts.classify` answers null for
+   * / `record.*`). The owner sees it on the record's Disputes tab.
+   * /
+   * / WHO: every active guardian — no grant bit (`RecordWords` header says why). The OWNER is refused
+   * / by name (`RecordWords.OWNER_DISPUTES_ELSEWHERE` — the owner's dispute is
+   * / `repudiateMemoryWrite`); an agent and a stranger get "Not a guardian", a pending guardian "Guardian
+   * / is pending approval", the anonymous caller the anonymous refusal.
+   * / WHAT: an entry the owner's review would show (`qualifiesForReview` — an agent's append or
+   * / revision, or a paid session's append) that succeeded, still held in full by the ring.
+   * / One dispute per guardian per write (`#Conflict`, the first stands).
+   */
+  disputeAgentWrite: ActorMethod<[bigint, string], Result_12>;
   /**
    * / Record that log entries [fromSeq, toSeq] were served, and return the root that proves it.
    * /
@@ -683,7 +755,7 @@ export interface Engram {
    * / situation rather than a safety measure. It IS gated on requireMemoryAttached: a store that
    * / failed its integrity check must not attest anything it cannot vouch for.
    */
-  exportMemoryRange: ActorMethod<[bigint, bigint, [] | [Principal]], Result_68>;
+  exportMemoryRange: ActorMethod<[bigint, bigint, [] | [Principal]], Result_76>;
   /**
    * / ⟨0.16.0, L2.2 — renamed from `guardianFreezePayments`⟩ The prefix LIED about who may call it.
    * / The gate is `requireOwnerOrGuardian`, and an owner freezing their own payments is the ordinary
@@ -718,10 +790,20 @@ export interface Engram {
    * / before this one. If any of them is wrong, this comment is where the argument should happen.
    */
   freezePayments: ActorMethod<[], Result_1>;
+  /**
+   * / ⟨2026-10-21, the owner's round-11 answer d⟩ `freezePayments` with a reason the strip and the
+   * / guardian page show ("Sam froze payments: 'a payment I didn't expect'"). A NEW method, not an
+   * / argument on `freezePayments`: a shipped argument tuple is frozen. Same callers, same grant, same
+   * / brake: the owner, or an active guardian holding `canFreezePayments`; an agent, a stranger, a
+   * / pending guardian and the anonymous caller are refused by `requireOwnerOrGuardian`'s own words.
+   * / An empty reason is no reason; a reason too long or holding a line break is `#Invalid` and the
+   * / brake is NOT pulled — the caller pulls it with `freezePayments`, or shortens the words.
+   */
+  freezePaymentsWithReason: ActorMethod<[string], Result_1>;
   /**
    * / Delivery status + config readback. Owner-only (the URL is a secret).
    */
-  getActionAlertStatus: ActorMethod<[], Result_59>;
+  getActionAlertStatus: ActorMethod<[], Result_65>;
   /**
    * / Agents need to know what they may revise, so they can read it too. Whole-value config, same
    * / carve-out as getProtectedPaths — and kept a SEPARATE method from it deliberately (L2.2): a
@@ -731,7 +813,7 @@ export interface Engram {
    * / Refusal reason preserved from the trap: a grant is a power, and its absence and its
    * / concealment are different facts.
    */
-  getAgentRevisablePaths: ActorMethod<[], Result_55>;
+  getAgentRevisablePaths: ActorMethod<[], Result_61>;
   /**
    * / OWNER-ONLY: every engagement's seat weeks on this engram, with the agent's root — the day it
    * / paired, the days of its first and last payment signature, a 64-week map whose bit 0 is the week
@@ -744,7 +826,7 @@ export interface Engram {
    * / empty page. Paged; `total` is every engagement ever paired here (a reset keeps the rows).
    * / Two rows can name one root: an agent paired again after it left is a second engagement.
    */
-  getAgentSeatWeeks: ActorMethod<[bigint, bigint], Result_66>;
+  getAgentSeatWeeks: ActorMethod<[bigint, bigint], Result_74>;
   /**
    * / Owner: everything written into this engram by someone other than the owner since the last
    * / markAgentWritesReviewed() — agent appends/revisions AND paid-session appends (see
@@ -754,7 +836,7 @@ export interface Engram {
    * / as a total. `earliest` discloses ring eviction — if cursor < earliest, entries between them
    * / aged out of the ring (the CHAIN still proves total count; this view can't show their bodies).
    */
-  getAgentWriteReview: ActorMethod<[], Result_65>;
+  getAgentWriteReview: ActorMethod<[], Result_73>;
   /**
    * / Why anchoring is or is not advancing. PUBLIC: ungated on purpose — detecting a stalled
    * / engram is the point, a gated read would fail-to-empty and hand a third party fabricated zeros,
@@ -777,7 +859,20 @@ export interface Engram {
    * / was signed rather than asserted.
    */
   getAuditHead: ActorMethod<[], AuditHead>;
-  getBackupMetadata: ActorMethod<[string], Result_64>;
+  getBackupMetadata: ActorMethod<[string], Result_72>;
+  /**
+   * / ⟨2026-10-21, the owner's round-11 answer m: a backup-retention getter⟩ How many backups of
+   * / `dbType` each creator keeps, and whether that is the default — the read `setBackupRetention`
+   * / lacked, so "Keeps your newest 3" showed only on the phone that last set it.
+   * /
+   * / WHO: the OWNER, and an active AGENT holding `canAppendMemory` — the permission that lets it
+   * / upload backups, which are exactly the backups this number bounds (`#perm(#append_memory)`).
+   * / Refused, each by the gate's own words: an agent without that permission ("Permission
+   * / denied"), a revoked or resigned agent, a guardian (guardians take no backups), a stranger and
+   * / the anonymous caller. A kind the setter would refuse is `#Invalid` here too
+   * / (`Backup.getRetention`). Records nothing (a query).
+   */
+  getBackupRetention: ActorMethod<[string], Result_71>;
   /**
    * / The cashier this engram recognises as its rent biller — `null` until the registry pushes one.
    * /
@@ -787,6 +882,17 @@ export interface Engram {
    * / too is what lets the two be COMPARED, which is the only way to catch a mismatch.
    */
   getBillerId: ActorMethod<[], [] | [Principal]>;
+  /**
+   * / ⟨2026-10-21, the owner's round-11 answer d⟩ Each brake: on or off, and while on, who pulled it
+   * / LAST (their key and whether as owner or guardian), since when, and the reason they gave — the
+   * / same person and time as the newest brake entry on the record (`RecordWords.BrakePull`). For the
+   * / owner's status strip and the guardian page. The OWNER and ACTIVE GUARDIANS may read it; an
+   * / agent, a stranger, a pending guardian and the anonymous caller are refused (`#ownerOrGuardian`
+   * / — an agent learns a brake is on from the refusal of what it tried, and needs no more). `pull`
+   * / is null for a brake that is off, and for one carried on across the upgrade that added this
+   * / read (who pulled it was not recorded then) — never a guessed pull.
+   */
+  getBrakes: ActorMethod<[], Result_70>;
   /**
    * / ⟨0.16.0, L9/L10 — census row⟩ `Wire.CertifiedAuditHead`, not an anonymous record. The
    * / registry, market and cashier already served the shared type; the engram — the canister that
@@ -813,13 +919,13 @@ export interface Engram {
    * / recorded nothing while reading as if it did. The refusal is loud in the reply instead. WHAT
    * / WOULD MAKE THIS WRONG: a reason to record who asked — then this becomes an update that says so.
    */
-  getChildAllowance: ActorMethod<[Principal], Result_63>;
+  getChildAllowance: ActorMethod<[Principal], Result_69>;
   /**
    * / Owner-only, Billing-class: what opening an engram costs this engram, the balance below which an
    * / agent's request is refused, the balance now, and every agent's allowance. The console's cost
    * / sentence reads it. Cycles are owner-class information, as on the owner's console read.
    */
-  getChildOpening: ActorMethod<[], Result_62>;
+  getChildOpening: ActorMethod<[], Result_68>;
   /**
    * / Derive the shared memory-encryption key, encrypted under the caller's transport
    * / public key. Gated to owner + read-agents (the same principals allowed to read
@@ -845,7 +951,7 @@ export interface Engram {
    * / cost. Stated here because L7 requires the reason be readable from the interface rather than
    * / inferred by opening the body — which is exactly what had to happen to write this line.
    */
-  getEncryptedMemoryKey: ActorMethod<[[] | [bigint], Uint8Array | number[]], Result_61>;
+  getEncryptedMemoryKey: ActorMethod<[[] | [bigint], Uint8Array | number[]], Result_67>;
   /**
    * / ⟨0.16.0, owner ruling 2026-08-20 — option (a)⟩ `x402Support` REPORTS THE RAIL, not a constant.
    * /
@@ -944,7 +1050,7 @@ export interface Engram {
    * / `#Err`, never a record carrying an empty string (ic402's `getEvmAddress` answers `""` on a
    * / failed derivation — that is fail-to-empty on a money surface, and it stops here).
    */
-  getEvmAddress: ActorMethod<[], Result_60>;
+  getEvmAddress: ActorMethod<[], Result_66>;
   /**
    * / The owner's OWN EVM address, if they registered one — distinct from `getEvmAddress`, which is
    * / the address this canister derives for itself.
@@ -963,7 +1069,7 @@ export interface Engram {
    * / cost — stated here because L7 requires the reason be readable from the interface rather than
    * / inferred by opening the body.
    */
-  getEvmSignerAddress: ActorMethod<[], Result_45>;
+  getEvmSignerAddress: ActorMethod<[], Result_51>;
   /**
    * / PUBLIC: where this chain begins, for the stranger deciding whether to trust it.
    * /
@@ -976,7 +1082,7 @@ export interface Engram {
   /**
    * / A guardian's own channel status (their URL is their secret — each guardian sees only theirs).
    */
-  getGuardianAlertStatus: ActorMethod<[], Result_59>;
+  getGuardianAlertStatus: ActorMethod<[], Result_65>;
   /**
    * / The market this engram will accept signing requests from — `null` until the registry pushes
    * / one at spawn, which is why `requireMarket` refuses fleet-wide today.
@@ -1009,7 +1115,7 @@ export interface Engram {
    * / never renumbered: the next page starts at the last version returned plus one. Defaults
    * / return the whole history of any file a pre-FD engram could have held.
    */
-  getMemoryHistory: ActorMethod<[string, [] | [bigint], [] | [bigint]], Result_58>;
+  getMemoryHistory: ActorMethod<[string, [] | [bigint], [] | [bigint]], Result_64>;
   /**
    * / PUBLIC: the epoch alone, and deliberately nothing else (rotation study D4). A `rotatedAt[]`
    * / history would be a public, fleet-enumerable feed of when each owner terminated a trust
@@ -1058,7 +1164,7 @@ export interface Engram {
    * / forever" — a claim about what this engram will DESTROY — and an empty guard list reads as
    * / "nothing is held back".
    */
-  getMemoryRetentionPolicy: ActorMethod<[], Result_57>;
+  getMemoryRetentionPolicy: ActorMethod<[], Result_63>;
   /**
    * / The metrics reader this engram answers — `null` until the spawning registry names one.
    * /
@@ -1087,7 +1193,7 @@ export interface Engram {
    * / client (rule 4) and bought a masked answer nobody had asked for — the census could not even
    * / find a consumer that read the masked `0`. Behind a gate there is nobody to mask it from.
    */
-  getOwnerConsole: ActorMethod<[], Result_56>;
+  getOwnerConsole: ActorMethod<[], Result_62>;
   /**
    * / Owner + agents only (agents need it to avoid writing protected paths).
    * /
@@ -1101,7 +1207,7 @@ export interface Engram {
    * / writing one — so a fabricated empty here does not merely misinform, it invites the write the
    * / list exists to prevent.
    */
-  getProtectedPaths: ActorMethod<[], Result_55>;
+  getProtectedPaths: ActorMethod<[], Result_61>;
   /**
    * / Whether the metrics reader's read is answered — `true` from birth.
    * /
@@ -1114,7 +1220,7 @@ export interface Engram {
    * / payment signatures the balance carries above the floor before `signX402Payment` is refused by
    * / name. The same numbers the check uses, so Billing can say only what the engram enforces.
    */
-  getSigningFloor: ActorMethod<[], Result_54>;
+  getSigningFloor: ActorMethod<[], Result_60>;
   /**
    * / The registry that spawned this engram, if it recorded one.
    * /
@@ -1135,7 +1241,7 @@ export interface Engram {
    * / A refusal names this method (`Gated.gatedResult`) rather than answering null/0 — a ceiling of
    * / "none" and a spend of 0 are both real answers, so a fabricated one would be read as fact.
    */
-  getSpendCeiling: ActorMethod<[], Result_53>;
+  getSpendCeiling: ActorMethod<[], Result_59>;
   /**
    * / Read the caps in force for a caller.
    * /
@@ -1145,8 +1251,8 @@ export interface Engram {
    * / configuration, and publishing them would tell any caller exactly how large a signing request
    * / can be before it needs an approval nobody is watching for.
    */
-  getSpendPolicy: ActorMethod<[[] | [Principal]], Result_52>;
-  getStorageStats: ActorMethod<[], Result_51>;
+  getSpendPolicy: ActorMethod<[[] | [Principal]], Result_58>;
+  getStorageStats: ActorMethod<[], Result_57>;
   /**
    * / Timer arm-state. PUBLIC and deliberately so: these timers are self-arming to save cycles,
    * / and an optimisation nobody can verify is an optimisation nobody should trust. Cheap to read,
@@ -1219,14 +1325,14 @@ export interface Engram {
    * / UPDATE, marked per L7: it awaits three ICRC-1 ledgers". It was marked in prose and invisible
    * / to any gate; the glyph is what `scripts/check-update-for-read.mjs` matches.
    */
-  getWalletBalances: ActorMethod<[], Result_50>;
+  getWalletBalances: ActorMethod<[], Result_56>;
   /**
    * / Refusal reason preserved, and it is the clearest case of why a masked read is worse than no
    * / read: three empty strings with `configured = false` is a VALID-LOOKING answer meaning "this
    * / engram has no World ID configuration" — handed to a caller who merely lacks a grant. The
    * / fabrication is indistinguishable from the truth by construction.
    */
-  getWorldIdConfig: ActorMethod<[], Result_49>;
+  getWorldIdConfig: ActorMethod<[], Result_55>;
   /**
    * / ⟨L7⟩ UPDATE, NOT QUERY: this awaits THREE system calls — `raw_rand()` for the nonce,
    * / `Call.signWithEcdsa` for the signature, and `worldIdRpPublicKey()` for the derived key. A
@@ -1237,7 +1343,7 @@ export interface Engram {
    * / the World Developer Portal. Short-lived (300s TTL, idkit-server's default) and single-purpose —
    * / it authorizes opening one verification request, nothing else.
    */
-  getWorldIdRpContext: ActorMethod<[], Result_48>;
+  getWorldIdRpContext: ActorMethod<[], Result_54>;
   /**
    * / Owner-only: the EVM address derived from the engram's dedicated World ID RP signing key (the
    * / "worldid-rp" tECDSA path). Register THIS address as the rp_id's signer in the World Developer
@@ -1249,7 +1355,7 @@ export interface Engram {
    * / refusal — a state write, which a query cannot perform. So even if the key were cached this
    * / could not become a query without silently retiring its denial record (ADR-0002's class).
    */
-  getWorldIdRpSignerAddress: ActorMethod<[], Result_45>;
+  getWorldIdRpSignerAddress: ActorMethod<[], Result_51>;
   /**
    * / The verified IDKitResult, verbatim, as World's /api/v4/verify accepted it — the re-checkable
    * / artifact behind verifiedHuman. Role-gated because it carries the NULLIFIER.
@@ -1270,7 +1376,7 @@ export interface Engram {
    * / canister does not serve. The tombstones below and at `about()` are historical and correct as
    * / written; this one was present tense, which is the difference that matters.⟩
    */
-  getWorldIdVerification: ActorMethod<[], Result_47>;
+  getWorldIdVerification: ActorMethod<[], Result_53>;
   /**
    * / ⟨0.16.0, L1⟩ THE EMERGENCY FAMILY. Every refusal below is `#Refused` or `#NotFound`, and the
    * / absence of a `#Conflict` here is the point: these are the calls someone makes while something
@@ -1354,7 +1460,7 @@ export interface Engram {
    * / Owner-gated because it reports on custody posture, and answered as a Result so that a
    * / wrong-identity caller gets a refusal rather than a bare `false` that reads as "no address yet".
    */
-  isEvmAddressCached: ActorMethod<[], Result_46>;
+  isEvmAddressCached: ActorMethod<[], Result_52>;
   /**
    * / Issue an OAuth authorization code. Called by an OAuth client's sign-in bridge
    * / (an `/auth/connector`-style route) after II authentication. The client then
@@ -1363,7 +1469,7 @@ export interface Engram {
    * /
    * / Owner-only: only the engram owner can authorize a Connector install.
    */
-  issueAuthCode: ActorMethod<[string, string, string, [] | [string]], Result_45>;
+  issueAuthCode: ActorMethod<[string, string, string, [] | [string]], Result_51>;
   /**
    * / ⟨0.16.0⟩ `getCycleSnapshotSource` DELETED — folded into `CycleSnapshot.source`, one label per
    * / ROW. A single label for a whole ring misattributes every row recorded under the other source,
@@ -1379,7 +1485,26 @@ export interface Engram {
    * / DORMANT engram and corrupts retention math — a fabricated empty here does not just misinform a
    * / reader, it feeds a wrong number into a decision about destroying data.
    */
-  listActivitySnapshots: ActorMethod<[bigint, bigint], Result_44>;
+  listActivitySnapshots: ActorMethod<[bigint, bigint], Result_50>;
+  /**
+   * / ⟨2026-10-21, round 11 item l — the owner's answer "round 11: a, b, c, d, e, f, g, h, i, j, k, l,
+   * / m."⟩ OWNER-ONLY: what each agent has spent today, beside the daily limit in force for it, so the
+   * / agent rows can say "$0.50 of $5.00 today" where they said a count of payments. Read from the
+   * / state the payment path already keeps — `outboundSpendToday`, through `SpendCeiling.callerSpentOn`
+   * / (the reader `x402SignFor` uses) — and the limits from `gate.getPolicy(<the agent's key>)`, the
+   * / policy `x402SignFor` checks, on the UTC day it checks (`SpendCeiling.dayIndex`). Amounts are the
+   * / token's minor units, as the record's `amount=` writes them. No new state.
+   * /
+   * / OWNER-ONLY for `getSpendCeiling`'s reason: one agent's spending is the owner's custody
+   * / information, and would tell another agent how much it spent. Everyone else — an agent, a
+   * / guardian, a stranger, the anonymous caller — is refused by name (`#Refused
+   * / listAgentSpendToday: …`), never answered with zeros. Paged like `listAgents`, in its order, one
+   * / row per agent record; a row's `spentToday` is null, not 0, where no daily limit is in force,
+   * / because the payment path keeps no figure then (`SpendCeiling.AgentSpendRow` says why).
+   * / WHAT WOULD MAKE THIS WRONG: `x402SignFor` keeping the per-caller total by something other than
+   * / the calling key, or under another day boundary.
+   */
+  listAgentSpendToday: ActorMethod<[bigint, bigint], Result_49>;
   /**
    * / ⟨0.16.0⟩ THE PAGE EXEMPLAR. Trap → `#Refused`, bare array → `Result<Page<T>>` (L1 + L3).
    * /
@@ -1396,7 +1521,7 @@ export interface Engram {
    * / `withheld` is 0: this roster is owner-only in whole, so there is no partial-visibility case.
    * / A method that filters rows by caller sets it — see L1's row-level honesty rule.
    */
-  listAgents: ActorMethod<[bigint, bigint], Result_43>;
+  listAgents: ActorMethod<[bigint, bigint], Result_48>;
   /**
    * / The GUARDIAN-audience projection of the agent roster — three fields, not the full record.
    * /
@@ -1410,7 +1535,7 @@ export interface Engram {
    * / guardian consults BEFORE REVOKING ONE. A fabricated empty here does not merely misinform —
    * / it tells someone acting under emergency powers that there is nothing to act on.
    */
-  listAgentsForGuardian: ActorMethod<[bigint, bigint], Result_42>;
+  listAgentsForGuardian: ActorMethod<[bigint, bigint], Result_47>;
   /**
    * / Owner-only: rows carry caller, amount, operation and free-text rationale. The SDK omits it.
    * /
@@ -1424,7 +1549,7 @@ export interface Engram {
    * /
    * / Refusal reason preserved: `[]` reads as "nothing is awaiting the owner's decision".
    */
-  listApprovalRequests: ActorMethod<[[] | [ApprovalStatus], bigint, bigint], Result_29>;
+  listApprovalRequests: ActorMethod<[[] | [ApprovalStatus], bigint, bigint], Result_33>;
   /**
    * / ⟨0.16.0⟩ `total` IS THE HEAD COUNTER, and on this method that is the entire point.
    * /
@@ -1460,7 +1585,7 @@ export interface Engram {
    * / at read time; nothing new is stored. WHAT WOULD MAKE THIS WRONG: a sealed row carrying any part
    * / of a body, or a stranger reaching `items` (test/record-view.test.mo pins both).
    */
-  listAuditEntries: ActorMethod<[bigint, bigint], Result_41>;
+  listAuditEntries: ActorMethod<[bigint, bigint], Result_46>;
   /**
    * / ⟨0.16.0, L1 + L3 — census-ruled⟩ THE TWO-MECHANISM EXCEPTION DISSOLVES.
    * /
@@ -1486,7 +1611,7 @@ export interface Engram {
    * / keeps its optional filter and applies it to the page, so no caller loses the ability to ask
    * / "backups of this database" — it stops being a thing the canister has to page around.
    */
-  listBackups: ActorMethod<[bigint, bigint], Result_40>;
+  listBackups: ActorMethod<[bigint, bigint], Result_45>;
   /**
    * / List all bearer tokens — Active, Revoked, and Expired. Owner uses this in
    * / the dashboard to show installed Connectors (claude.ai, Claude Desktop, etc.).
@@ -1498,7 +1623,7 @@ export interface Engram {
    * / merely stopped being used is reported `#Expired`, not a stale `#Active`), so the page carries
    * / the same honesty the store gained on 2026-08-17.
    */
-  listBearerTokens: ActorMethod<[bigint, bigint], Result_39>;
+  listBearerTokens: ActorMethod<[bigint, bigint], Result_44>;
   /**
    * / The condense checkpoints in the retained log at or above `startSeq`, oldest first.
    * /
@@ -1510,7 +1635,7 @@ export interface Engram {
    * / Owner-only like every other archive surface, and for the same structural reason: these rows
    * / carry the chain positions and roots of entries whose paths were inside the hash preimage.
    */
-  listCondenseCheckpoints: ActorMethod<[bigint, bigint], Result_38>;
+  listCondenseCheckpoints: ActorMethod<[bigint, bigint], Result_43>;
   /**
    * / ⟨0.16.0⟩ `metrics()` DELETED — absorbed by `about()`.
    * /
@@ -1519,13 +1644,13 @@ export interface Engram {
    * / both and know which one owned each field. Every field here survives on `about()`, day-flooring
    * / included.
    */
-  listCycleSnapshots: ActorMethod<[bigint, bigint], Result_37>;
+  listCycleSnapshots: ActorMethod<[bigint, bigint], Result_42>;
   /**
    * / Same `withheld` treatment as listMemoryFiles — the tombstone listing filtered reserved paths
    * / for non-owners just as silently, and a caller could not tell a filtered tombstone list from a
    * / complete one. Counted before slicing, so policy-hidden rows never blur into paging.
    */
-  listDeletedMemoryFiles: ActorMethod<[bigint, bigint], Result_36>;
+  listDeletedMemoryFiles: ActorMethod<[bigint, bigint], Result_41>;
   /**
    * / Stays on the engram under B1 (hybrid): withdrawal custody does not leave.
    * /
@@ -1541,7 +1666,7 @@ export interface Engram {
    * / The item's field is `value`, not `address`: a list may hold a venue value that is no address.
    * / Readable by the owner, an active agent or an active guardian, as the old list was.
    */
-  listEip712Destinations: ActorMethod<[Uint8Array | number[], bigint, bigint], Result_35>;
+  listEip712Destinations: ActorMethod<[Uint8Array | number[], bigint, bigint], Result_40>;
   /**
    * / The registered shapes — E3: encodeTypeString is the display artifact, verbatim.
    * / Stays on the engram under B1 (hybrid): EIP-712 signing is custody, and custody does not leave.
@@ -1554,7 +1679,15 @@ export interface Engram {
    * / from `eip712FieldRules` — they are part of what the type authorises, so a reader of the list must
    * / not have to make a second call to learn them. The row type is `Eip712TypeView`.
    */
-  listEip712Types: ActorMethod<[bigint, bigint], Result_34>;
+  listEip712Types: ActorMethod<[bigint, bigint], Result_39>;
+  /**
+   * / ⟨2026-10-21, round 11 c⟩ Guardians' disputes, oldest first. Same visibility as
+   * / `listRepudiations` and `listRecordNotes`: the owner and ACTIVE guardians read the rows; an
+   * / agent gets an empty page whose `withheld` counts them (ruling 16 B holds — a dispute is the
+   * / guardian's entry, not the agent's); a stranger, a pending guardian and the anonymous caller are
+   * / refused.
+   */
+  listGuardianDisputes: ActorMethod<[bigint, bigint], Result_38>;
   /**
    * / Accessible by owner and guardians.
    * /
@@ -1563,7 +1696,7 @@ export interface Engram {
    * / pause writes" — a claim about who can STOP it. A caller who cannot tell that from "you may not
    * / see the roster" has been told the engram is unguarded when it may be fully guarded.
    */
-  listGuardians: ActorMethod<[bigint, bigint], Result_33>;
+  listGuardians: ActorMethod<[bigint, bigint], Result_37>;
   /**
    * / The export receipts in the retained log at or above `startSeq`, oldest first.
    * /
@@ -1581,7 +1714,7 @@ export interface Engram {
    * / Read `MemoryRouter.ReceiptPage` before reading `page.total` as a receipt count. It is not one;
    * / it is the chain's length, and the declaration says why.
    */
-  listMemoryExportReceipts: ActorMethod<[bigint, bigint], Result_32>;
+  listMemoryExportReceipts: ActorMethod<[bigint, bigint], Result_36>;
   /**
    * / ⟨0.16.0⟩ THE `withheld` EXEMPLAR — L1 names this exact method as the defect it fixes.
    * /
@@ -1598,8 +1731,17 @@ export interface Engram {
    * / Note the count is computed from the unfiltered list before slicing, so it reports rows hidden
    * / by POLICY, never rows merely off the end of this page — those are `total`'s job. Conflating
    * / the two would rebuild the ambiguity in a new place.
+   * /
+   * / ⟨2026-10-21, the owner's round-11 answer k: an author on every file row⟩ Each row also
+   * / carries `lastModifiedBy` (`Types.MemoryFileRow`): the key that wrote the file's current
+   * / version, so a phone's file list can say "changed 2 h ago by Recorder" without a read per
+   * / file. It is what `readMemory` already serves to the same callers under the same gate, so it
+   * / tells no caller anything it could not read. Born `opt` (ADR-0018 rule 1). Looked up only for
+   * / the rows of THIS page (`MemoryRouter.info`), after the slice, so the cost is one lookup per
+   * / row served, never one per file stored. A WIDENED REPLY: a reader that decodes the row by
+   * / position rather than by field name breaks — none in this repository does.
    */
-  listMemoryFiles: ActorMethod<[bigint, bigint], Result_31>;
+  listMemoryFiles: ActorMethod<[bigint, bigint], Result_35>;
   /**
    * / One page of the memory log, seq-ordered, optionally narrowed to one author.
    * /
@@ -1626,7 +1768,7 @@ export interface Engram {
    * / with the disclosures that make the page verifiable — the hidden-bound defect the census itself
    * / names on previewCondense's row.
    */
-  listMemoryLog: ActorMethod<[bigint, bigint, [] | [Principal]], Result_30>;
+  listMemoryLog: ActorMethod<[bigint, bigint, [] | [Principal]], Result_34>;
   /**
    * / The caller's OWN spend-approval requests. ⟨0.16.0, L1 + L3 — fixed 2026-08-18⟩
    * /
@@ -1645,7 +1787,7 @@ export interface Engram {
    * / (The unbounded MAP is filed separately — pruning an approval record destroys evidence of what
    * / was asked, which is a retention ruling rather than a shape fix.)
    */
-  listMyApprovalRequests: ActorMethod<[bigint, bigint], Result_29>;
+  listMyApprovalRequests: ActorMethod<[bigint, bigint], Result_33>;
   /**
    * / The payer's own sessions, live ones first. PAYER-SCOPED: a caller sees only their own, which
    * / is why this needs no role — a session id is not a secret from the person who paid for it.
@@ -1656,7 +1798,7 @@ export interface Engram {
    * / client would break on — the market paged its own pending withdrawals before its cut for the
    * / same reason. The order is the order sessions were opened.
    */
-  listMySessions: ActorMethod<[bigint, bigint], Result_28>;
+  listMySessions: ActorMethod<[bigint, bigint], Result_32>;
   /**
    * /
    * / ⟨0.16.0, L3⟩ Paged and enveloped like every other `list*`, and the envelope here is uniformity
@@ -1671,7 +1813,7 @@ export interface Engram {
    * / IT recorded, so this chain is what a caller composes with when currency matters — which it
    * / cannot do if it needs a role here.
    */
-  listOwnershipTransfers: ActorMethod<[bigint, bigint], Result_27>;
+  listOwnershipTransfers: ActorMethod<[bigint, bigint], Result_31>;
   /**
    * / ⟨2026-09-29, the platform's question from the build review⟩ OWNER-ONLY: how many payment
    * / signatures each agent has obtained today, and the daily limit (200, `PaymentSignCap`). The
@@ -1689,7 +1831,7 @@ export interface Engram {
    * / engram enforces for it — beside the agents, never a row among them
    * / (`PaymentSignCap.marketplaceRow`). Null when no marketplace is set.
    */
-  listPaymentSignatureCounts: ActorMethod<[bigint, bigint], Result_26>;
+  listPaymentSignatureCounts: ActorMethod<[bigint, bigint], Result_30>;
   /**
    * / Agent records removed by a reset. Each row is a NAMED record with the fields `principal`,
    * / `name`, `registeredAt` and `purgedAt` — read them BY NAME, never by position.
@@ -1731,7 +1873,7 @@ export interface Engram {
    * / earlier ending, or the reset) — the facts `resyncAgentEdges` re-sends. The stored rows are
    * / served as they are.
    */
-  listPurgedAgents: ActorMethod<[bigint, bigint], Result_25>;
+  listPurgedAgents: ActorMethod<[bigint, bigint], Result_29>;
   /**
    * / ⟨0.16.0⟩ ONE ACCESSOR, folding `readReadLog` and `getDenialLog` — and the fold only became
    * / safe because of a change made earlier in this same leg.
@@ -1794,7 +1936,15 @@ export interface Engram {
    * / on the chained record — the same `RecordView` filter, and `withheld` counts what it removed
    * / together with what `successFilter` removed. WHAT WOULD MAKE THIS WRONG: see `listAuditEntries`.
    */
-  listReadLog: ActorMethod<[[] | [boolean], bigint, bigint], Result_24>;
+  listReadLog: ActorMethod<[[] | [boolean], bigint, bigint], Result_28>;
+  /**
+   * / ⟨2026-10-21, round 11 b⟩ The owner's notes, oldest first. Same visibility as
+   * / `listRepudiations`, for the same reason: the owner and ACTIVE guardians read the rows; an agent
+   * / reads only the entries it caused (follow-up 16 B), and every note is the owner's, so an agent
+   * / gets an empty page whose `withheld` counts the notes in its window — never "there are none". A
+   * / stranger, a pending guardian and the anonymous caller are refused.
+   */
+  listRecordNotes: ActorMethod<[bigint, bigint], Result_27>;
   /**
    * / Same visibility as listAuditEntries: the owner, this engram's agents, and ACTIVE guardians
    * / see disputes. An unauthorized read REFUSES — it does not return an empty list, because an
@@ -1811,7 +1961,18 @@ export interface Engram {
    * / WOULD MAKE THIS WRONG: a ruling that an agent may see the disputes of its own writes; this would
    * / then have to look up each disputed version's writer, which it does not do today.
    */
-  listRepudiations: ActorMethod<[bigint, bigint], Result_23>;
+  listRepudiations: ActorMethod<[bigint, bigint], Result_26>;
+  /**
+   * / ⟨2026-10-21, the owner's round-11 answer f⟩ OWNER-ONLY: the sign-ins, each with the name its app
+   * / registered. The same tokens, in the same order and paged the same way, as `listBearerTokens`,
+   * / each beside `clientName` — the RFC 7591 `client_name` the app registered when the token was
+   * / issued (`People.SignIn` says when it is null, and that it is the app's own claim). A phone
+   * / owner read "localhost" for every app signed in through a local bridge and could not tell two
+   * / apps apart. A NEW method rather than a field on `BearerToken`: that record is stored (M0170)
+   * / and `listBearerTokens`' reply is shipped (never widened). An agent, a guardian, a stranger and
+   * / the anonymous caller are refused, by `listBearerTokens`' own gate and for its reason.
+   */
+  listSignIns: ActorMethod<[bigint, bigint], Result_25>;
   /**
    * / Owner: advance the review cursor — "I have seen everything up to and including uptoAuditId"
    * / (null = everything at the current head). Bounded so the attestation can never cover entries
@@ -1824,6 +1985,19 @@ export interface Engram {
    * / changes only which ids the console can pass here — it cannot desynchronise the cursor.
    */
   markAgentWritesReviewed: ActorMethod<[[] | [bigint]], Result_12>;
+  /**
+   * / ⟨2026-10-21, the owner's round-11 answer g⟩ AN AGENT READS ITS OWN GRANT — to the calling key
+   * / only (`People.AgentGrant`): what it may read, where it may write, its rate, and the payment
+   * / limits enforced against that key. It reveals nothing a refusal does not already say, and lets
+   * / an agent correct itself before it writes rather than after the owner explains a refusal by
+   * / hand. `getSpendPolicy` and `listAgents` stay owner-only; this answers one row, the caller's.
+   * /
+   * / WHO: an ACTIVE agent (`Gated.authorize(#agentOrOwner)`). Refused, each by its own text: the
+   * / owner by name (`People.OWNER_HAS_NO_GRANT`), a revoked or resigned agent ("Agent is revoked" /
+   * / "Agent has resigned" — an ended agent may do nothing, and its old grant would read as powers),
+   * / a guardian and a stranger ("Not authorized"), the anonymous caller. A query: it writes nothing.
+   */
+  myGrant: ActorMethod<[], Result_24>;
   /**
    * / The AGENT's current key nominates the key that will replace it. Nothing moves yet: the new
    * / key must accept, by its own call, within 24 hours (`acceptAgentKeyNomination`). One pending
@@ -1862,8 +2036,8 @@ export interface Engram {
    * / WHAT WOULD MAKE THIS WRONG: an await added between `ChildAllowance.take` and the registry call; the
    * / registry's `CHILD_MIN_ATTACHED_CYCLES` moving without `CHILD_ATTACH_CYCLES`.
    */
-  openChildEngram: ActorMethod<[], Result_22>;
-  openSession: ActorMethod<[SessionConfig, PaymentSignature], Result_21>;
+  openChildEngram: ActorMethod<[], Result_23>;
+  openSession: ActorMethod<[SessionConfig, PaymentSignature], Result_22>;
   /**
    * / Withdraw tokens to the owner's principal. This is the ONLY way to
    * / move tokens out of the engram to an external address, and the
@@ -1928,12 +2102,17 @@ export interface Engram {
    * / engagement on the agent's track record, and what to do. Before, the reply was `#Ok` with the
    * / record alone even when the registry had refused the start, so the agent was never told.
    */
-  pairAgent: ActorMethod<[{ enrolment: Enrolment; code: string }], Result_20>;
+  pairAgent: ActorMethod<[{ enrolment: Enrolment; code: string }], Result_21>;
   /**
    * / ⟨0.16.0, L2.2 — renamed from `guardianPauseWrites`⟩ Same correction as freezePayments above:
    * / owner-or-guardian, and `resumeWrites` never carried the prefix either.
    */
   pauseWrites: ActorMethod<[], Result_1>;
+  /**
+   * / ⟨2026-10-21, the owner's round-11 answer d⟩ `pauseWrites` with a reason; everything said of
+   * / `freezePaymentsWithReason` holds, with `canPauseWrites` as the guardian's grant.
+   */
+  pauseWritesWithReason: ActorMethod<[string], Result_1>;
   /**
    * / What condensing through `toSeq` would do, and whether it is unlocked. COMMITS NOTHING — it is
    * / a query, so it structurally cannot; a preview that wrote would be its own trap.
@@ -1954,7 +2133,7 @@ export interface Engram {
    * / `unlocked` is the export-receipt gate ONLY. It is not a promise the condense will land: the
    * / history-budget delta is checked at commit time and can still refuse a short prefix.
    */
-  previewCondense: ActorMethod<[bigint], Result_19>;
+  previewCondense: ActorMethod<[bigint], Result_20>;
   /**
    * / A quote for a session this caller has not opened and is not committed to — the intent a
    * / buyer signs against. Pure dry run, no state, no funds.
@@ -1984,6 +2163,26 @@ export interface Engram {
    * / `expiryNs`. Same value, same meaning; only the name carries the unit now.
    */
   previewOpenSession: ActorMethod<[], SessionIntent>;
+  /**
+   * / ⟨2026-10-21, the owner's round-11 answer k: a trim preview⟩ What a PROPOSED history policy
+   * / would remove from the store as it stands — "about N old copies in F files would be removed" —
+   * / asked BEFORE the owner saves it. A query: nothing is saved, armed or evicted.
+   * /
+   * / WHO: the OWNER only (`#ownerOnly`). An agent, a guardian, a stranger and the anonymous caller
+   * / are each refused with `requireOwner`'s words; the setter it previews is owner-only too.
+   * /
+   * / HOW: the proposal must pass the setter's own checks (`retentionEntriesRefusal`), so the preview
+   * / never answers for a policy the setter would refuse. The guards a save would arm are computed
+   * / exactly as the setter computes them (`RetentionPolicy.armGuards`), and each file is planned by
+   * / the planner the sweep executes (`MemoryRouter.previewEviction` → `Retention.plan`), as the
+   * / owner (the sweep's `maintainPrincipal`), AT THE INSTANT its guard lets go — so a rule that
+   * / waits 14 days is counted as it will stand then, when the agent floor has released more. Per
+   * / rule: copies, files, bytes and `notBeforeNs`. The count is "about": writes before the rule
+   * / takes effect change it.
+   * / HONEST WHEN CUT SHORT: `complete = false` when the planning budget
+   * / (`MemoryRouter.PREVIEW_MAX_DROPS`) ran out — the totals are then a floor, and say so.
+   */
+  previewRetention: ActorMethod<[Array<[string, RetentionClassSpec]>], Result_19>;
   /**
    * / Read one memory file at its current version.
    * /
@@ -2150,6 +2349,19 @@ export interface Engram {
    * / line, so the roster is theirs and its contents are not a secret being withheld from them.
    */
   removeGuardian: ActorMethod<[Principal], Result_1>;
+  /**
+   * / ⟨2026-10-21, the owner's round-11 answer a⟩ OWNER-ONLY: give an agent a new name. A name was
+   * / fixed at the invite, and two agents both called "agent" is how the 2026-10-20 session started.
+   * / Only the VALUE of the stored `AgentRecord.name` changes — no new state, no reshaped record —
+   * / and the change is on the record as `agent.rename` (`principal=<key> name=<new name>`, the name
+   * / last). An ended agent may be renamed too (`People.renameTarget` says why).
+   * / Refused: an agent (itself included), a guardian and a stranger by `requireOwner`'s "Not owner",
+   * / the anonymous caller by its own text; a name that is empty, over `MAX_NAME_LENGTH` or holds a
+   * / line break is `#Invalid` (`People.nameRefusal`); an unknown key is `#NotFound`; the agent's
+   * / current name is `#Conflict`. Nothing changes on any refusal. Not alerted: the owner is the one
+   * / renaming (`ActionAlerts.classify` answers null for `agent.rename`).
+   */
+  renameAgent: ActorMethod<[Principal, string], Result_1>;
   /**
    * / Owner disavows a specific memory write, in the open. Marks — never deletes: the content and
    * / the original audit entry stay exactly where they were; this appends a chained
@@ -2481,6 +2693,12 @@ export interface Engram {
    * / called it an "ops floor: retention enforcement deletes owner backup data silently", mitigated
    * / by a `Debug.print` nobody reads. An owner lowering the cap is destroying their own backups;
    * / they are told how many, in the reply and in the audit line.
+   * /
+   * / ⟨2026-10-21, the owner's round-11 answers h and m⟩ The number now bounds EACH creator's
+   * / backups of the kind (`Backup.enforceRetention`): an agent's finalize prunes only that agent's
+   * / own, and this setter applies the number to every creator's set, so `prunedBackups` counts
+   * / across all of them. "The write is the read" above went stale for a second phone, which never
+   * / made the write: `getBackupRetention` is the read.
    */
   setBackupRetention: ActorMethod<[string, bigint], Result_9>;
   /**
@@ -2546,7 +2764,12 @@ export interface Engram {
    */
   setGuardianAlertConfig: ActorMethod<[AlertConfig], Result_1>;
   /**
-   * / Per-prefix retention policy. Longest prefix wins; anything unmatched keeps everything.
+   * / Per-prefix retention policy. The longest rule that covers a path wins; anything uncovered
+   * / keeps everything.
+   * /
+   * / ⟨2026-10-21, the owner's round-11 answer i⟩ "Covers" is the folder matcher
+   * / (`AgentPaths.covers`, through `RetentionPolicy.resolve`): a rule ending in "/" governs
+   * / everything beneath it, any other rule exactly one path. It was bare text prefix until that day.
    * /
    * / A CHANGE does not take effect immediately, in EITHER direction: every prefix whose EFFECTIVE
    * / class moves is guarded for the same window as the agent floor, so history cannot be
@@ -2777,6 +3000,28 @@ export interface Engram {
     ],
     Result_3
   >;
+  /**
+   * / ⟨2026-10-21, the owner's round-11 answer e⟩ A GUARDIAN STEPS DOWN: the caller ends their own
+   * / guardianship of this engram. It removes a power from the one who holds it and grants none.
+   * / Before, only the owner could remove a guardian, so one who wanted out could only stop watching
+   * / without anyone knowing — worse than an honest exit on the record.
+   * /
+   * / WHO: anyone holding a guardian record here, `#Pending` or `#Active`; never refused for the
+   * / record's state. The owner is refused by name (`People.OWNER_IS_NO_GUARDIAN`: their way is
+   * / `removeGuardian`); an agent or a stranger is `#NotFound` (`People.NOT_A_GUARDIAN`, a fact about
+   * / the caller told to the caller, as `resignAgent` does); the anonymous caller is refused.
+   * /
+   * / WHAT IT RECORDS: one `guardian.stepDown` entry under `#Guardian`
+   * / (`principal=<key> was=active|pending name=<name>`). Being a `guardian.*` operation it reaches
+   * / the owner's and the other guardians' alerts in the #guardian class, on by default, and the
+   * / guardian who left gets one farewell delivery before their channel goes (the drain's lazy
+   * / cleanup in `drainActionAlerts`, as for a removed guardian).
+   * /
+   * / WHAT IT LEAVES: a brake this guardian pulled stays on — lifting one is the owner's; their
+   * / disputes stay on the record. Like `removeGuardian`, it is not terminal: the owner may invite
+   * / the same person again.
+   */
+  stepDownAsGuardian: ActorMethod<[], Result_1>;
   /**
    * / OWNER force-close, for a session the payer abandoned.
    * /
@@ -3201,6 +3446,15 @@ export interface GenesisNote {
   version: string;
   genesisAtNs: bigint;
 }
+export interface GuardianDispute {
+  about: bigint;
+  atNs: bigint;
+  path: [] | [string];
+  auditId: bigint;
+  version: [] | [bigint];
+  guardian: Principal;
+  reason: string;
+}
 export interface GuardianPermissions {
   canFreezePayments: boolean;
   canRevokeAgents: boolean;
@@ -3248,7 +3502,7 @@ export interface KeyNomination {
 export interface LogPage {
   firstAvailableSeq: bigint;
   head: Uint8Array | number[];
-  page: Page_7;
+  page: Page_9;
 }
 export interface LogPosition {
   reads: bigint;
@@ -3284,6 +3538,12 @@ export interface MemoryFile {
   lastModifiedBy: Principal;
   lastModifiedAtNs: bigint;
 }
+export interface MemoryFileRow {
+  path: string;
+  version: bigint;
+  lastModifiedBy: [] | [Principal];
+  lastModifiedAtNs: bigint;
+}
 export interface MemoryHistory {
   evictions: Array<MemoryEviction>;
   oldestRetainedVersion: bigint;
@@ -3433,74 +3693,94 @@ export interface OwnershipTransfer {
 export interface Page {
   total: bigint;
   withheld: bigint;
-  items: Array<Repudiation>;
+  items: Array<SignIn>;
 }
 export interface Page_1 {
   total: bigint;
   withheld: bigint;
-  items: Array<AuditEntry>;
+  items: Array<Repudiation>;
 }
 export interface Page_10 {
   total: bigint;
   withheld: bigint;
-  items: Array<GuardianRecord>;
+  items: Array<MemoryFileRow>;
 }
 export interface Page_11 {
   total: bigint;
   withheld: bigint;
-  items: Array<Eip712TypeView>;
+  items: Array<ExportReceiptRow>;
 }
 export interface Page_12 {
   total: bigint;
   withheld: bigint;
-  items: Array<Eip712Destination>;
+  items: Array<GuardianRecord>;
 }
 export interface Page_13 {
   total: bigint;
   withheld: bigint;
-  items: Array<string>;
+  items: Array<GuardianDispute>;
 }
 export interface Page_14 {
   total: bigint;
   withheld: bigint;
-  items: Array<CycleSnapshot>;
+  items: Array<Eip712TypeView>;
 }
 export interface Page_15 {
   total: bigint;
   withheld: bigint;
-  items: Array<CondenseCheckpointRow>;
+  items: Array<Eip712Destination>;
 }
 export interface Page_16 {
   total: bigint;
   withheld: bigint;
-  items: Array<BearerToken>;
+  items: Array<string>;
 }
 export interface Page_17 {
   total: bigint;
   withheld: bigint;
-  items: Array<BackupMetadata>;
+  items: Array<CycleSnapshot>;
 }
 export interface Page_18 {
   total: bigint;
   withheld: bigint;
-  items: Array<{ status: AgentStatus; principal: Principal; name: string }>;
+  items: Array<CondenseCheckpointRow>;
 }
 export interface Page_19 {
   total: bigint;
   withheld: bigint;
-  items: Array<AgentRecord>;
+  items: Array<BearerToken>;
 }
 export interface Page_2 {
   total: bigint;
   withheld: bigint;
-  items: Array<PurgedAgent>;
+  items: Array<RecordNote>;
 }
 export interface Page_20 {
   total: bigint;
   withheld: bigint;
-  items: Array<ActivitySnapshot>;
+  items: Array<BackupMetadata>;
 }
 export interface Page_21 {
+  total: bigint;
+  withheld: bigint;
+  items: Array<{ status: AgentStatus; principal: Principal; name: string }>;
+}
+export interface Page_22 {
+  total: bigint;
+  withheld: bigint;
+  items: Array<AgentRecord>;
+}
+export interface Page_23 {
+  total: bigint;
+  withheld: bigint;
+  items: Array<AgentSpendRow>;
+}
+export interface Page_24 {
+  total: bigint;
+  withheld: bigint;
+  items: Array<ActivitySnapshot>;
+}
+export interface Page_25 {
   total: bigint;
   withheld: bigint;
   items: Array<OwnerRow>;
@@ -3508,42 +3788,51 @@ export interface Page_21 {
 export interface Page_3 {
   total: bigint;
   withheld: bigint;
-  items: Array<AgentPaymentSignatures>;
+  items: Array<AuditEntry>;
 }
 export interface Page_4 {
   total: bigint;
   withheld: bigint;
-  items: Array<OwnershipTransfer>;
+  items: Array<PurgedAgent>;
 }
 export interface Page_5 {
   total: bigint;
   withheld: bigint;
-  items: Array<EngramSessionState>;
+  items: Array<AgentPaymentSignatures>;
 }
 export interface Page_6 {
   total: bigint;
   withheld: bigint;
-  items: Array<ApprovalRequest>;
+  items: Array<OwnershipTransfer>;
 }
 export interface Page_7 {
   total: bigint;
   withheld: bigint;
-  items: Array<MemoryLogEvent>;
+  items: Array<EngramSessionState>;
 }
 export interface Page_8 {
   total: bigint;
   withheld: bigint;
-  items: Array<{ path: string; version: bigint; lastModifiedAtNs: bigint }>;
+  items: Array<ApprovalRequest>;
 }
 export interface Page_9 {
   total: bigint;
   withheld: bigint;
-  items: Array<ExportReceiptRow>;
+  items: Array<MemoryLogEvent>;
 }
 export interface Pairing {
   agent: AgentRecord;
   trackRecord: TrackRecordNotice;
 }
+export interface PaymentLimits {
+  maxSessionDeposit: [] | [bigint];
+  maxPerDay: [] | [bigint];
+  maxSessionDuration: [] | [bigint];
+  sessionIdleTimeout: [] | [bigint];
+  rateLimitPerMinute: [] | [bigint];
+  maxPerTransaction: [] | [bigint];
+  maxConcurrentSessions: [] | [bigint];
+}
 export interface PaymentSignature {
   signature: Uint8Array | number[];
   asset: [] | [string];
@@ -3557,7 +3846,7 @@ export interface PaymentSignature {
 export interface PaymentSignatureCounts {
   day: bigint;
   marketplace: [] | [MarketplacePaymentSignatures];
-  agents: Page_3;
+  agents: Page_5;
   limit: bigint;
 }
 export interface PurgedAgent {
@@ -3586,9 +3875,15 @@ export interface RailHealth {
 }
 export interface ReceiptPage {
   firstAvailableSeq: bigint;
-  page: Page_9;
+  page: Page_11;
   scannedThroughSeq: bigint;
 }
+export interface RecordNote {
+  about: bigint;
+  atNs: bigint;
+  note: string;
+  auditId: bigint;
+}
 export interface RecordPage {
   ringFloor: bigint;
   total: bigint;
@@ -3620,66 +3915,74 @@ export type Result_15 = { Ok: GuardianRecord } | { Err: Error };
 export type Result_16 = { Ok: EngramEscrowRecovery } | { Err: Error };
 export type Result_17 = { Ok: MemoryByteChunk } | { Err: Error };
 export type Result_18 = { Ok: Array<BatchReadItem> } | { Err: Error };
-export type Result_19 = { Ok: CondensePreview } | { Err: Error };
+export type Result_19 = { Ok: RetentionPreview } | { Err: Error };
 export type Result_2 = { Ok: ControlHandover } | { Err: Error };
-export type Result_20 = { Ok: Pairing } | { Err: Error };
-export type Result_21 = { Ok: EngramSessionState } | { Err: Error };
-export type Result_22 = { Ok: Principal } | { Err: Error };
-export type Result_23 = { Ok: Page } | { Err: Error };
-export type Result_24 = { Ok: Page_1 } | { Err: Error };
-export type Result_25 = { Ok: Page_2 } | { Err: Error };
-export type Result_26 = { Ok: PaymentSignatureCounts } | { Err: Error };
-export type Result_27 = { Ok: Page_4 } | { Err: Error };
-export type Result_28 = { Ok: Page_5 } | { Err: Error };
-export type Result_29 = { Ok: Page_6 } | { Err: Error };
+export type Result_20 = { Ok: CondensePreview } | { Err: Error };
+export type Result_21 = { Ok: Pairing } | { Err: Error };
+export type Result_22 = { Ok: EngramSessionState } | { Err: Error };
+export type Result_23 = { Ok: Principal } | { Err: Error };
+export type Result_24 = { Ok: AgentGrant } | { Err: Error };
+export type Result_25 = { Ok: Page } | { Err: Error };
+export type Result_26 = { Ok: Page_1 } | { Err: Error };
+export type Result_27 = { Ok: Page_2 } | { Err: Error };
+export type Result_28 = { Ok: Page_3 } | { Err: Error };
+export type Result_29 = { Ok: Page_4 } | { Err: Error };
 export type Result_3 = { Ok: X402SignOutcome } | { Err: Error };
-export type Result_30 = { Ok: LogPage } | { Err: Error };
-export type Result_31 = { Ok: Page_8 } | { Err: Error };
-export type Result_32 = { Ok: ReceiptPage } | { Err: Error };
-export type Result_33 = { Ok: Page_10 } | { Err: Error };
-export type Result_34 = { Ok: Page_11 } | { Err: Error };
-export type Result_35 = { Ok: Page_12 } | { Err: Error };
-export type Result_36 = { Ok: Page_13 } | { Err: Error };
-export type Result_37 = { Ok: Page_14 } | { Err: Error };
-export type Result_38 = { Ok: CheckpointPage } | { Err: Error };
-export type Result_39 = { Ok: Page_16 } | { Err: Error };
+export type Result_30 = { Ok: PaymentSignatureCounts } | { Err: Error };
+export type Result_31 = { Ok: Page_6 } | { Err: Error };
+export type Result_32 = { Ok: Page_7 } | { Err: Error };
+export type Result_33 = { Ok: Page_8 } | { Err: Error };
+export type Result_34 = { Ok: LogPage } | { Err: Error };
+export type Result_35 = { Ok: Page_10 } | { Err: Error };
+export type Result_36 = { Ok: ReceiptPage } | { Err: Error };
+export type Result_37 = { Ok: Page_12 } | { Err: Error };
+export type Result_38 = { Ok: Page_13 } | { Err: Error };
+export type Result_39 = { Ok: Page_14 } | { Err: Error };
 export type Result_4 = { Ok: Eip712SignatureOut } | { Err: Error };
-export type Result_40 = { Ok: Page_17 } | { Err: Error };
-export type Result_41 = { Ok: RecordPage } | { Err: Error };
-export type Result_42 = { Ok: Page_18 } | { Err: Error };
-export type Result_43 = { Ok: Page_19 } | { Err: Error };
-export type Result_44 = { Ok: Page_20 } | { Err: Error };
-export type Result_45 = { Ok: string } | { Err: Error };
-export type Result_46 = { Ok: boolean } | { Err: Error };
-export type Result_47 = { Ok: [] | [string] } | { Err: Error };
-export type Result_48 = { Ok: WorldIdRpContext } | { Err: Error };
-export type Result_49 = { Ok: WorldIdConfig } | { Err: Error };
+export type Result_40 = { Ok: Page_15 } | { Err: Error };
+export type Result_41 = { Ok: Page_16 } | { Err: Error };
+export type Result_42 = { Ok: Page_17 } | { Err: Error };
+export type Result_43 = { Ok: CheckpointPage } | { Err: Error };
+export type Result_44 = { Ok: Page_19 } | { Err: Error };
+export type Result_45 = { Ok: Page_20 } | { Err: Error };
+export type Result_46 = { Ok: RecordPage } | { Err: Error };
+export type Result_47 = { Ok: Page_21 } | { Err: Error };
+export type Result_48 = { Ok: Page_22 } | { Err: Error };
+export type Result_49 = { Ok: AgentSpendToday } | { Err: Error };
 export type Result_5 = { Ok: SignatureCounts } | { Err: Error };
-export type Result_50 = { Ok: WalletBalances } | { Err: Error };
-export type Result_51 = { Ok: StorageReport } | { Err: Error };
-export type Result_52 = { Ok: SpendingPolicy } | { Err: Error };
-export type Result_53 = { Ok: SpendCeiling } | { Err: Error };
-export type Result_54 = { Ok: SigningFloorStatus } | { Err: Error };
-export type Result_55 = { Ok: { paths: Array<string> } } | { Err: Error };
-export type Result_56 = { Ok: OwnerConsole } | { Err: Error };
-export type Result_57 = { Ok: MemoryRetentionPolicy } | { Err: Error };
-export type Result_58 = { Ok: MemoryHistory } | { Err: Error };
-export type Result_59 = { Ok: AlertStatus } | { Err: Error };
+export type Result_50 = { Ok: Page_24 } | { Err: Error };
+export type Result_51 = { Ok: string } | { Err: Error };
+export type Result_52 = { Ok: boolean } | { Err: Error };
+export type Result_53 = { Ok: [] | [string] } | { Err: Error };
+export type Result_54 = { Ok: WorldIdRpContext } | { Err: Error };
+export type Result_55 = { Ok: WorldIdConfig } | { Err: Error };
+export type Result_56 = { Ok: WalletBalances } | { Err: Error };
+export type Result_57 = { Ok: StorageReport } | { Err: Error };
+export type Result_58 = { Ok: SpendingPolicy } | { Err: Error };
+export type Result_59 = { Ok: SpendCeiling } | { Err: Error };
 export type Result_6 = { Ok: RailHealth } | { Err: Error };
-export type Result_60 = { Ok: EvmAddresses } | { Err: Error };
-export type Result_61 = { Ok: Uint8Array | number[] } | { Err: Error };
-export type Result_62 = { Ok: ChildOpening } | { Err: Error };
-export type Result_63 = { Ok: ChildAllowanceRow } | { Err: Error };
-export type Result_64 = { Ok: BackupMetadata } | { Err: Error };
-export type Result_65 = { Ok: AgentWriteReview } | { Err: Error };
-export type Result_66 = { Ok: Page_21 } | { Err: Error };
-export type Result_68 = { Ok: MemoryRangeExport } | { Err: Error };
-export type Result_69 = { Ok: CondenseResult } | { Err: Error };
+export type Result_60 = { Ok: SigningFloorStatus } | { Err: Error };
+export type Result_61 = { Ok: { paths: Array<string> } } | { Err: Error };
+export type Result_62 = { Ok: OwnerConsole } | { Err: Error };
+export type Result_63 = { Ok: MemoryRetentionPolicy } | { Err: Error };
+export type Result_64 = { Ok: MemoryHistory } | { Err: Error };
+export type Result_65 = { Ok: AlertStatus } | { Err: Error };
+export type Result_66 = { Ok: EvmAddresses } | { Err: Error };
+export type Result_67 = { Ok: Uint8Array | number[] } | { Err: Error };
+export type Result_68 = { Ok: ChildOpening } | { Err: Error };
+export type Result_69 = { Ok: ChildAllowanceRow } | { Err: Error };
 export type Result_7 = { Ok: Array<Seat> } | { Err: Error };
-export type Result_70 = { Ok: Eip712Registration } | { Err: Error };
-export type Result_71 = { Ok: { activatesAtNs: bigint } } | { Err: Error };
-export type Result_72 = { Ok: AgentRecord } | { Err: Error };
+export type Result_70 = { Ok: Brakes } | { Err: Error };
+export type Result_71 = { Ok: BackupRetention } | { Err: Error };
+export type Result_72 = { Ok: BackupMetadata } | { Err: Error };
+export type Result_73 = { Ok: AgentWriteReview } | { Err: Error };
+export type Result_74 = { Ok: Page_25 } | { Err: Error };
+export type Result_76 = { Ok: MemoryRangeExport } | { Err: Error };
+export type Result_77 = { Ok: CondenseResult } | { Err: Error };
+export type Result_78 = { Ok: Eip712Registration } | { Err: Error };
+export type Result_79 = { Ok: { activatesAtNs: bigint } } | { Err: Error };
 export type Result_8 = { Ok: SignedTransaction } | { Err: Error };
+export type Result_80 = { Ok: AgentRecord } | { Err: Error };
 export type Result_9 = { Ok: BackupRetentionReport } | { Err: Error };
 export interface ResyncReport {
   startsAcknowledged: bigint;
@@ -3701,6 +4004,22 @@ export type RetentionClassSpec =
         thinning: { tail: null } | { logSpaced: { denseTail: bigint } };
       };
     };
+export interface RetentionPreview {
+  files: bigint;
+  complete: boolean;
+  planned: bigint;
+  bytes: bigint;
+  copies: bigint;
+  storedFiles: bigint;
+  rules: Array<RetentionPreviewRule>;
+}
+export interface RetentionPreviewRule {
+  files: bigint;
+  notBeforeNs: [] | [bigint];
+  prefix: string;
+  bytes: bigint;
+  copies: bigint;
+}
 export type Role =
   | { Anonymous: null }
   | { Viewer: null }
@@ -3755,6 +4074,10 @@ export interface SessionIntent {
   expiryNs: bigint;
   suggestedDeposit: bigint;
 }
+export interface SignIn {
+  token: BearerToken;
+  clientName: [] | [string];
+}
 export interface SignatureCounts {
   total: bigint;
   byCaller: Array<CallerSignatureCount>;