@webpieces/core-context 0.4.605 → 0.4.607

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@webpieces/core-context",
-  "version": "0.4.605",
+  "version": "0.4.607",
   "description": "AsyncLocalStorage-based context management for request-scoped data",
   "type": "commonjs",
   "main": "./src/index.js",
@@ -22,7 +22,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@webpieces/core-util": "0.4.605",
+    "@webpieces/core-util": "0.4.607",
     "@inversifyjs/binding-decorators": "1.1.5",
     "inversify": "7.10.4",
     "reflect-metadata": "0.2.2"

package/src/CapturedContext.d.ts

@@ -0,0 +1,231 @@
+/**
+ * A capability TOKEN, not data — the thing you must be holding to build a {@link CapturedContext} or
+ * to unpack one.
+ *
+ * It exists because `CapturedContext` needs a producer that {@link RequestContext} (a different class,
+ * in a different file) can call, and TypeScript's `private` is class-scoped: a plain public
+ * `CapturedContext.capture(map)` would be exactly the hand-assembled-payload hole this class exists to
+ * close. So the producer takes a token whose constructor is private and whose only instance is
+ * {@link INTERNAL}, and this module is deliberately NOT re-exported from the package barrel — in any
+ * form, type or value.
+ *
+ * On its own that stops a consumer NAMING the token but not SUPPLYING one, since `null as never`
+ * type-checks. It is the barrel's `export type { CapturedContext }` that finishes the job: with no
+ * class object on the package surface there is no `capture(...)` to call, cast or not. The two halves
+ * are load-bearing together, which is why each names the other.
+ *
+ * Per CLAUDE.md this is a class rather than a `Symbol` or an object literal: it is nominal (the private
+ * `brand` field stops a structurally-identical `{}` from satisfying it) and it has exactly one
+ * instantiation point.
+ */
+export declare class ContextCaptureAuthority {
+    /**
+     * Nominal brand. Without a private member the class is structurally `{}`, and any object at all
+     * would typecheck as an authority.
+     */
+    private readonly brand;
+    /** The ONE token that exists. The constructor below is private, so no other can be made. */
+    static readonly INTERNAL: ContextCaptureAuthority;
+    private constructor();
+    /** Kept honest — the brand is read here so it is a real field, not a type-only fiction. */
+    describe(): string;
+}
+/**
+ * CapturedContext — an OPAQUE snapshot of a {@link RequestContext} scope.
+ *
+ * ## THE THREE CASES — pick by where the values came from and what may keep the identity
+ *
+ * | you have | you want | write |
+ * |---|---|---|
+ * | a genuine prior scope | ALL of it, trusted values included | `runWithContext(snapshot.withTrusted(), fn)` |
+ * | a genuine prior scope | the trace fields but NOT the identity | `runWithContext(snapshot.withoutTrusted(), fn)` |
+ * | values from OUTSIDE this process | exactly what you re-state, nothing inherited | `RequestContext.runDetachedScope(fn)` |
+ *
+ * Row 1 is a faithful re-root of a broken async chain — the work continues AS that user. Row 2 is a
+ * deliberate PRIVILEGE DROP: a background job keeps `requestId`/`actionId` so it stays greppable, and
+ * loses `userId`/`orgId`/roles because it runs as the system (see {@link withoutTrusted}). Row 3 is a
+ * different question entirely — the values were never in a scope here, so there is no snapshot to take;
+ * see `RequestContext.runDetachedScope`, where each value is written inside the closure with the trust
+ * verbs.
+ *
+ * There is NO bare form of rows 1 and 2. `copyContext()` hands back a `CapturedContext`, and
+ * `runWithContext`/`restoreContext` do not accept one — they take the {@link RestorableContext} that
+ * {@link withTrusted} and {@link withoutTrusted} produce. Every call site therefore STATES whether the
+ * proven identity travels, and neither intent is shorter to type than the other. That is CLAUDE.md shim
+ * shape #5 applied here: a bare snapshot silently carrying a user identity is a widening that is an
+ * absence rather than a token, and it is ungreppable. Now `grep -rn withTrusted` enumerates every place
+ * an identity crosses a scope boundary and `grep -rn withoutTrusted` every deliberate drop.
+ *
+ * ## What it is for
+ *
+ * `AsyncLocalStorage` follows `await`, `.then()` and ordinary callbacks on its own, so the vast
+ * majority of code never needs this. What it does NOT follow is work whose async chain was BROKEN and
+ * re-rooted somewhere else: an item pushed onto an in-memory queue during a request and drained later
+ * by a background loop, a batch flushed on a scheduler tick, an `EventEmitter` listener fired from a
+ * socket the request does not own, a retry re-armed from a top-level timer, a hand-off to a worker
+ * pool. In each of those the work executes under a DIFFERENT (or no) context, so the request id, the
+ * log fields and the proven identity would silently vanish from everything the work logs or calls.
+ *
+ * The answer is two halves: `RequestContext.copyContext()` where the work is ENQUEUED, and
+ * `RequestContext.runWithContext(captured.withTrusted(), fn)` — or `.withoutTrusted()`, or
+ * `restoreContext(...)` of either — where it RUNS. The narrowing is not optional; see the table above.
+ *
+ * ## Why it is opaque instead of a `Map<string, unknown>`
+ *
+ * A restored context legitimately contains TRUSTED values — reinstating what the original scope had
+ * proven is the entire point — so the restore side cannot type-check its payload the way
+ * `putTrusted`/`getTrusted` do. That left the `Map`-taking signature that this class DELETED (a
+ * now-removed `setContext(map)`, and `runWithContext(map, fn)`) as a complete bypass of the trust
+ * system: handing it `new Map([['userId', 'victim']])` forged a proven identity in one line, without
+ * ever typing a trust verb, and the only thing standing against it was a doc comment saying "the Map
+ * must come from copyContext()". An agent picks whatever compiles, so a doc comment is not
+ * enforcement.
+ *
+ * Making the PAYLOAD opaque solves it without type-checking the contents: the only way to obtain one is
+ * a real capture of a real scope, so whatever it holds was, by construction, already in a context that
+ * something legitimately wrote. Concretely:
+ *
+ * - the constructor is `private`, and there is no public factory — {@link capture} demands a
+ *   {@link ContextCaptureAuthority} that cannot be named outside this package;
+ * - the package barrel exports this class as a TYPE ONLY, so a consumer never receives the class
+ *   object at all and cannot reach `capture` even with a cast. That second half matters: a token whose
+ *   TYPE is unexported still stops nothing on its own, because `capture(null as never, forgedMap)`
+ *   type-checks. Withholding the class object is what actually closes it;
+ * - the entries live in `#entries`, a genuine ECMAScript private field, so they are unreachable at
+ *   RUNTIME as well as at compile time — no `Object.keys`, no cast, no index signature;
+ * - the map is defensively copied ON CAPTURE, again on each NARROWING, and again ON RESTORE, so a
+ *   caller who still holds the live context (or who keeps writing to it after capturing) cannot reach
+ *   through the snapshot, narrowing never mutates the capture it came from, and a snapshot can be
+ *   restored repeatedly without the first restore's mutations bleeding into the second.
+ *
+ * There is deliberately no reader: nothing hands the entries back out. That is why `getAll()` is gone
+ * rather than re-typed to return one of these — a `CapturedContext` you cannot read is useless as a
+ * `getAll`, and a readable one would be the raw enumeration of every trusted value all over again.
+ *
+ * The one residual: a consumer holding a NARROWED snapshot can still cast a token into
+ * {@link RestorableContext.toFreshStore} and read the entries back out as a plain Map. That is knowingly accepted, and it is the same asymmetry
+ * `RequestContext.getAny` states — FORGING a trusted value is the dangerous direction and is closed
+ * here; reading one you were already legitimately handed, without saying `getTrusted`, costs you
+ * nothing but the type. Closing it too would mean no method could take the token at all, which is to
+ * say no restore could exist.
+ */
+export declare class CapturedContext {
+    #private;
+    /**
+     * PRIVATE — a CapturedContext can only come from {@link capture}, which in turn can only be called
+     * by code holding a {@link ContextCaptureAuthority}. Copies the map so the snapshot is never a
+     * window onto a live store.
+     */
+    private constructor();
+    /**
+     * The ONLY producer. `authority` is a compile-time capability, not a runtime check — so it is
+     * referenced below only to keep it from being an unused parameter. Note the token alone is not the
+     * guarantee (a cast can supply one); the guarantee is that the barrel exports this class as a TYPE
+     * ONLY, so no consumer ever holds the class object this static hangs off. See the class doc.
+     */
+    static capture(authority: ContextCaptureAuthority, live: Map<string, unknown>): CapturedContext;
+    /**
+     * Carry EVERY value onward, the proven identity included — the faithful re-root. The work runs AS
+     * that user: `getTrusted(USER_ID)` inside it answers exactly what it answered in the original scope,
+     * which is the entire point when a request's own continuation was re-rooted onto a queue or a timer.
+     *
+     * Said OUT LOUD, because it is the wide branch. A bare snapshot is deliberately not accepted by
+     * `runWithContext`/`restoreContext` (see the class doc), so the identity never crosses a scope
+     * boundary by default or by omission, and `grep -rn withTrusted` enumerates every place it does.
+     *
+     * NON-MUTATING, like its sibling — the receiver is unchanged, so ONE snapshot can be narrowed both
+     * ways at two different call sites.
+     */
+    withTrusted(): RestorableContext;
+    /**
+     * Carry only the UNTRUSTED values — a deliberate PRIVILEGE DROP.
+     *
+     * ```typescript
+     * const snapshot = RequestContext.copyContext();
+     * RequestContext.runWithContext(snapshot.withTrusted(), fn);     // runs AS that user
+     * RequestContext.runWithContext(snapshot.withoutTrusted(), fn);  // runs as the SYSTEM
+     * ```
+     *
+     * The case: a background job or fire-and-forget task spawned during a request should keep the
+     * untrusted trace fields — `requestId`, `actionId` — so its log lines are still greppable back to
+     * the click that caused them, but it must NOT keep `userId` / `orgId` / roles, because it executes
+     * as the system rather than as that user. Carrying the proven identity onward would make every
+     * downstream authorization decision think the user is still on the other end of the wire.
+     *
+     * A METHOD PAIR, never a `keepTrusted: boolean` on {@link RequestContext.runWithContext}: a
+     * parameter makes the two intents equally easy to type and impossible to grep, and a defaulted one
+     * makes the permissive branch the shortest thing to write — CLAUDE.md shim shape #5, "a widening
+     * that is an ABSENCE rather than a token", the same reason `@AuthJwt({allRolesAllowed: true})` says
+     * the wide grant out loud. As a transform on the SNAPSHOT rather than a second capture mechanism it
+     * composes with BOTH consumers — `runWithContext` and `restoreContext` — for free.
+     *
+     * NON-MUTATING: the receiver is untouched, so one snapshot can be used both ways.
+     *
+     * NO AUTHORITY TOKEN, deliberately, and it must not grow one. The token on {@link capture} exists
+     * because CONSTRUCTING a snapshot from arbitrary entries forges trust. This direction only ever
+     * REMOVES entries: whatever survives was already in a real capture of a real scope, so the result
+     * is strictly less privileged than the object the caller is already holding. Dropping cannot forge.
+     *
+     * WHAT SURVIVES is exactly "registered as an UNTRUSTED {@link ContextKey}". Trusted keys go, and so
+     * do names the {@link HeaderRegistry} does not know — the framework's reserved slots (the
+     * `HttpRequest`, the AuthFilter principal, the Cloud Tasks schedule frame), which carry no declared
+     * trust and are the caller's identity and connection rather than trace fields. A privilege drop
+     * that guessed in the permissive direction would not be one. For the same reason, with no registry
+     * configured NOTHING is knowably untrusted and the result is empty — always the safe answer, since
+     * this method's only job is to remove.
+     */
+    withoutTrusted(): RestorableContext;
+    /**
+     * How many entries the snapshot holds. The one thing it will tell you about itself — a count is
+     * not a value, so it leaks nothing, and it lets a caller (and a test) see that a capture taken
+     * outside an active scope is simply empty rather than an error.
+     */
+    size(): number;
+}
+/**
+ * A snapshot whose TRUST INTENT has been stated — the only thing `RequestContext.restoreContext` and
+ * `RequestContext.runWithContext` accept.
+ *
+ * It exists to make the wide choice unskippable. A single type would have meant
+ * `runWithContext(snapshot, fn)` compiling next to `runWithContext(snapshot.withTrusted(), fn)`: two
+ * spellings of one thing (shim shape #1), with the shorter one silently carrying a user identity into
+ * work that may have no business running as that user. Splitting the type deletes the default — a
+ * capture is inert until it says which it means — so there is exactly one spelling per intent, and
+ * `grep -rn withTrusted` / `grep -rn withoutTrusted` enumerate the two populations of call sites.
+ *
+ * Two CLASSES rather than a phantom type parameter on {@link CapturedContext}, even though this repo
+ * uses that trick on `ContextKey<V, T extends Trust>`. There the parameter rides along with a key that
+ * consumers name constantly and read values through, so it earns its complexity. Here the two states
+ * have DIFFERENT MEMBERS — a capture can only be narrowed, a narrowed one can only be restored — and a
+ * type that changes its members between states is a second class, not a second type argument. Naming
+ * it also gives the field/queue-entry type a consumer holds a name that says what it is.
+ *
+ * The #622 opacity guarantees are unchanged and are why this class is also barrel-exported as a TYPE
+ * ONLY: private constructor, a capability token on the producer, a real `#entries` private field, and
+ * defensive copies on the way in and on the way out.
+ */
+export declare class RestorableContext {
+    #private;
+    /** PRIVATE — {@link of} is the only producer, and only this module can call it. */
+    private constructor();
+    /**
+     * The ONLY producer, called by `CapturedContext.withTrusted()` / `withoutTrusted()`. Guarded the
+     * same way `capture` is: a token no consumer can name, and a barrel that exports this class as a
+     * TYPE ONLY, so the class object — and with it this static — never reaches a consumer at all.
+     */
+    static of(authority: ContextCaptureAuthority, entries: Map<string, unknown>): RestorableContext;
+    /**
+     * Overwrite a LIVE store with this snapshot — the engine behind `RequestContext.restoreContext`.
+     * Write-only by design: it pushes entries in and hands nothing back, so it is not a side door onto
+     * the snapshot's contents.
+     */
+    restoreInto(authority: ContextCaptureAuthority, live: Map<string, unknown>): void;
+    /**
+     * A FRESH store holding this snapshot — the engine behind `RequestContext.runWithContext`, which
+     * opens a new AsyncLocalStorage scope around it. Fresh (a copy) rather than the internal map, so
+     * everything the restored scope writes stays in that scope and the snapshot remains reusable.
+     */
+    toFreshStore(authority: ContextCaptureAuthority): Map<string, unknown>;
+    /** How many entries survived the narrowing. A count is not a value, so it leaks nothing. */
+    size(): number;
+}

package/src/CapturedContext.js

@@ -0,0 +1,296 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RestorableContext = exports.CapturedContext = exports.ContextCaptureAuthority = void 0;
+const core_util_1 = require("@webpieces/core-util");
+/**
+ * A capability TOKEN, not data — the thing you must be holding to build a {@link CapturedContext} or
+ * to unpack one.
+ *
+ * It exists because `CapturedContext` needs a producer that {@link RequestContext} (a different class,
+ * in a different file) can call, and TypeScript's `private` is class-scoped: a plain public
+ * `CapturedContext.capture(map)` would be exactly the hand-assembled-payload hole this class exists to
+ * close. So the producer takes a token whose constructor is private and whose only instance is
+ * {@link INTERNAL}, and this module is deliberately NOT re-exported from the package barrel — in any
+ * form, type or value.
+ *
+ * On its own that stops a consumer NAMING the token but not SUPPLYING one, since `null as never`
+ * type-checks. It is the barrel's `export type { CapturedContext }` that finishes the job: with no
+ * class object on the package surface there is no `capture(...)` to call, cast or not. The two halves
+ * are load-bearing together, which is why each names the other.
+ *
+ * Per CLAUDE.md this is a class rather than a `Symbol` or an object literal: it is nominal (the private
+ * `brand` field stops a structurally-identical `{}` from satisfying it) and it has exactly one
+ * instantiation point.
+ */
+class ContextCaptureAuthority {
+    /**
+     * Nominal brand. Without a private member the class is structurally `{}`, and any object at all
+     * would typecheck as an authority.
+     */
+    brand = 'webpieces.context-capture';
+    /** The ONE token that exists. The constructor below is private, so no other can be made. */
+    static INTERNAL = new ContextCaptureAuthority();
+    constructor() { }
+    /** Kept honest — the brand is read here so it is a real field, not a type-only fiction. */
+    describe() {
+        return this.brand;
+    }
+}
+exports.ContextCaptureAuthority = ContextCaptureAuthority;
+/**
+ * CapturedContext — an OPAQUE snapshot of a {@link RequestContext} scope.
+ *
+ * ## THE THREE CASES — pick by where the values came from and what may keep the identity
+ *
+ * | you have | you want | write |
+ * |---|---|---|
+ * | a genuine prior scope | ALL of it, trusted values included | `runWithContext(snapshot.withTrusted(), fn)` |
+ * | a genuine prior scope | the trace fields but NOT the identity | `runWithContext(snapshot.withoutTrusted(), fn)` |
+ * | values from OUTSIDE this process | exactly what you re-state, nothing inherited | `RequestContext.runDetachedScope(fn)` |
+ *
+ * Row 1 is a faithful re-root of a broken async chain — the work continues AS that user. Row 2 is a
+ * deliberate PRIVILEGE DROP: a background job keeps `requestId`/`actionId` so it stays greppable, and
+ * loses `userId`/`orgId`/roles because it runs as the system (see {@link withoutTrusted}). Row 3 is a
+ * different question entirely — the values were never in a scope here, so there is no snapshot to take;
+ * see `RequestContext.runDetachedScope`, where each value is written inside the closure with the trust
+ * verbs.
+ *
+ * There is NO bare form of rows 1 and 2. `copyContext()` hands back a `CapturedContext`, and
+ * `runWithContext`/`restoreContext` do not accept one — they take the {@link RestorableContext} that
+ * {@link withTrusted} and {@link withoutTrusted} produce. Every call site therefore STATES whether the
+ * proven identity travels, and neither intent is shorter to type than the other. That is CLAUDE.md shim
+ * shape #5 applied here: a bare snapshot silently carrying a user identity is a widening that is an
+ * absence rather than a token, and it is ungreppable. Now `grep -rn withTrusted` enumerates every place
+ * an identity crosses a scope boundary and `grep -rn withoutTrusted` every deliberate drop.
+ *
+ * ## What it is for
+ *
+ * `AsyncLocalStorage` follows `await`, `.then()` and ordinary callbacks on its own, so the vast
+ * majority of code never needs this. What it does NOT follow is work whose async chain was BROKEN and
+ * re-rooted somewhere else: an item pushed onto an in-memory queue during a request and drained later
+ * by a background loop, a batch flushed on a scheduler tick, an `EventEmitter` listener fired from a
+ * socket the request does not own, a retry re-armed from a top-level timer, a hand-off to a worker
+ * pool. In each of those the work executes under a DIFFERENT (or no) context, so the request id, the
+ * log fields and the proven identity would silently vanish from everything the work logs or calls.
+ *
+ * The answer is two halves: `RequestContext.copyContext()` where the work is ENQUEUED, and
+ * `RequestContext.runWithContext(captured.withTrusted(), fn)` — or `.withoutTrusted()`, or
+ * `restoreContext(...)` of either — where it RUNS. The narrowing is not optional; see the table above.
+ *
+ * ## Why it is opaque instead of a `Map<string, unknown>`
+ *
+ * A restored context legitimately contains TRUSTED values — reinstating what the original scope had
+ * proven is the entire point — so the restore side cannot type-check its payload the way
+ * `putTrusted`/`getTrusted` do. That left the `Map`-taking signature that this class DELETED (a
+ * now-removed `setContext(map)`, and `runWithContext(map, fn)`) as a complete bypass of the trust
+ * system: handing it `new Map([['userId', 'victim']])` forged a proven identity in one line, without
+ * ever typing a trust verb, and the only thing standing against it was a doc comment saying "the Map
+ * must come from copyContext()". An agent picks whatever compiles, so a doc comment is not
+ * enforcement.
+ *
+ * Making the PAYLOAD opaque solves it without type-checking the contents: the only way to obtain one is
+ * a real capture of a real scope, so whatever it holds was, by construction, already in a context that
+ * something legitimately wrote. Concretely:
+ *
+ * - the constructor is `private`, and there is no public factory — {@link capture} demands a
+ *   {@link ContextCaptureAuthority} that cannot be named outside this package;
+ * - the package barrel exports this class as a TYPE ONLY, so a consumer never receives the class
+ *   object at all and cannot reach `capture` even with a cast. That second half matters: a token whose
+ *   TYPE is unexported still stops nothing on its own, because `capture(null as never, forgedMap)`
+ *   type-checks. Withholding the class object is what actually closes it;
+ * - the entries live in `#entries`, a genuine ECMAScript private field, so they are unreachable at
+ *   RUNTIME as well as at compile time — no `Object.keys`, no cast, no index signature;
+ * - the map is defensively copied ON CAPTURE, again on each NARROWING, and again ON RESTORE, so a
+ *   caller who still holds the live context (or who keeps writing to it after capturing) cannot reach
+ *   through the snapshot, narrowing never mutates the capture it came from, and a snapshot can be
+ *   restored repeatedly without the first restore's mutations bleeding into the second.
+ *
+ * There is deliberately no reader: nothing hands the entries back out. That is why `getAll()` is gone
+ * rather than re-typed to return one of these — a `CapturedContext` you cannot read is useless as a
+ * `getAll`, and a readable one would be the raw enumeration of every trusted value all over again.
+ *
+ * The one residual: a consumer holding a NARROWED snapshot can still cast a token into
+ * {@link RestorableContext.toFreshStore} and read the entries back out as a plain Map. That is knowingly accepted, and it is the same asymmetry
+ * `RequestContext.getAny` states — FORGING a trusted value is the dangerous direction and is closed
+ * here; reading one you were already legitimately handed, without saying `getTrusted`, costs you
+ * nothing but the type. Closing it too would mean no method could take the token at all, which is to
+ * say no restore could exist.
+ */
+class CapturedContext {
+    /**
+     * A real ECMAScript private field, not a TypeScript `private`. The distinction matters here: `#`
+     * is enforced by the runtime, so the snapshot's contents cannot be reached by a cast, by
+     * `Object.entries`, or by `as unknown as { entries: Map<string, unknown> }`.
+     */
+    // webpieces-disable no-any-unknown -- the context store is deliberately type-erased; each ContextKey carries its own value type and the typed verbs re-apply it on read
+    #entries;
+    /**
+     * PRIVATE — a CapturedContext can only come from {@link capture}, which in turn can only be called
+     * by code holding a {@link ContextCaptureAuthority}. Copies the map so the snapshot is never a
+     * window onto a live store.
+     */
+    // webpieces-disable no-any-unknown -- see #entries
+    constructor(entries) {
+        this.#entries = new Map(entries);
+    }
+    /**
+     * The ONLY producer. `authority` is a compile-time capability, not a runtime check — so it is
+     * referenced below only to keep it from being an unused parameter. Note the token alone is not the
+     * guarantee (a cast can supply one); the guarantee is that the barrel exports this class as a TYPE
+     * ONLY, so no consumer ever holds the class object this static hangs off. See the class doc.
+     */
+    // webpieces-disable no-any-unknown -- see #entries
+    // webpieces-disable no-function-outside-class -- static factory standing in for the (private) constructor; making it an instance method would mean an instance already existed, which is the thing being created
+    static capture(authority, live) {
+        void authority;
+        return new CapturedContext(live);
+    }
+    /**
+     * Carry EVERY value onward, the proven identity included — the faithful re-root. The work runs AS
+     * that user: `getTrusted(USER_ID)` inside it answers exactly what it answered in the original scope,
+     * which is the entire point when a request's own continuation was re-rooted onto a queue or a timer.
+     *
+     * Said OUT LOUD, because it is the wide branch. A bare snapshot is deliberately not accepted by
+     * `runWithContext`/`restoreContext` (see the class doc), so the identity never crosses a scope
+     * boundary by default or by omission, and `grep -rn withTrusted` enumerates every place it does.
+     *
+     * NON-MUTATING, like its sibling — the receiver is unchanged, so ONE snapshot can be narrowed both
+     * ways at two different call sites.
+     */
+    withTrusted() {
+        return RestorableContext.of(ContextCaptureAuthority.INTERNAL, this.#entries);
+    }
+    /**
+     * Carry only the UNTRUSTED values — a deliberate PRIVILEGE DROP.
+     *
+     * ```typescript
+     * const snapshot = RequestContext.copyContext();
+     * RequestContext.runWithContext(snapshot.withTrusted(), fn);     // runs AS that user
+     * RequestContext.runWithContext(snapshot.withoutTrusted(), fn);  // runs as the SYSTEM
+     * ```
+     *
+     * The case: a background job or fire-and-forget task spawned during a request should keep the
+     * untrusted trace fields — `requestId`, `actionId` — so its log lines are still greppable back to
+     * the click that caused them, but it must NOT keep `userId` / `orgId` / roles, because it executes
+     * as the system rather than as that user. Carrying the proven identity onward would make every
+     * downstream authorization decision think the user is still on the other end of the wire.
+     *
+     * A METHOD PAIR, never a `keepTrusted: boolean` on {@link RequestContext.runWithContext}: a
+     * parameter makes the two intents equally easy to type and impossible to grep, and a defaulted one
+     * makes the permissive branch the shortest thing to write — CLAUDE.md shim shape #5, "a widening
+     * that is an ABSENCE rather than a token", the same reason `@AuthJwt({allRolesAllowed: true})` says
+     * the wide grant out loud. As a transform on the SNAPSHOT rather than a second capture mechanism it
+     * composes with BOTH consumers — `runWithContext` and `restoreContext` — for free.
+     *
+     * NON-MUTATING: the receiver is untouched, so one snapshot can be used both ways.
+     *
+     * NO AUTHORITY TOKEN, deliberately, and it must not grow one. The token on {@link capture} exists
+     * because CONSTRUCTING a snapshot from arbitrary entries forges trust. This direction only ever
+     * REMOVES entries: whatever survives was already in a real capture of a real scope, so the result
+     * is strictly less privileged than the object the caller is already holding. Dropping cannot forge.
+     *
+     * WHAT SURVIVES is exactly "registered as an UNTRUSTED {@link ContextKey}". Trusted keys go, and so
+     * do names the {@link HeaderRegistry} does not know — the framework's reserved slots (the
+     * `HttpRequest`, the AuthFilter principal, the Cloud Tasks schedule frame), which carry no declared
+     * trust and are the caller's identity and connection rather than trace fields. A privilege drop
+     * that guessed in the permissive direction would not be one. For the same reason, with no registry
+     * configured NOTHING is knowably untrusted and the result is empty — always the safe answer, since
+     * this method's only job is to remove.
+     */
+    withoutTrusted() {
+        // webpieces-disable no-any-unknown -- the context store is deliberately type-erased; see #entries
+        const kept = new Map();
+        if (!core_util_1.HeaderRegistry.isConfigured()) {
+            return RestorableContext.of(ContextCaptureAuthority.INTERNAL, kept);
+        }
+        const registry = core_util_1.HeaderRegistry.get();
+        for (const name of this.#entries.keys()) {
+            const key = registry.findByName(name);
+            if (key && key.isUntrusted()) {
+                kept.set(name, this.#entries.get(name));
+            }
+        }
+        return RestorableContext.of(ContextCaptureAuthority.INTERNAL, kept);
+    }
+    /**
+     * How many entries the snapshot holds. The one thing it will tell you about itself — a count is
+     * not a value, so it leaks nothing, and it lets a caller (and a test) see that a capture taken
+     * outside an active scope is simply empty rather than an error.
+     */
+    size() {
+        return this.#entries.size;
+    }
+}
+exports.CapturedContext = CapturedContext;
+/**
+ * A snapshot whose TRUST INTENT has been stated — the only thing `RequestContext.restoreContext` and
+ * `RequestContext.runWithContext` accept.
+ *
+ * It exists to make the wide choice unskippable. A single type would have meant
+ * `runWithContext(snapshot, fn)` compiling next to `runWithContext(snapshot.withTrusted(), fn)`: two
+ * spellings of one thing (shim shape #1), with the shorter one silently carrying a user identity into
+ * work that may have no business running as that user. Splitting the type deletes the default — a
+ * capture is inert until it says which it means — so there is exactly one spelling per intent, and
+ * `grep -rn withTrusted` / `grep -rn withoutTrusted` enumerate the two populations of call sites.
+ *
+ * Two CLASSES rather than a phantom type parameter on {@link CapturedContext}, even though this repo
+ * uses that trick on `ContextKey<V, T extends Trust>`. There the parameter rides along with a key that
+ * consumers name constantly and read values through, so it earns its complexity. Here the two states
+ * have DIFFERENT MEMBERS — a capture can only be narrowed, a narrowed one can only be restored — and a
+ * type that changes its members between states is a second class, not a second type argument. Naming
+ * it also gives the field/queue-entry type a consumer holds a name that says what it is.
+ *
+ * The #622 opacity guarantees are unchanged and are why this class is also barrel-exported as a TYPE
+ * ONLY: private constructor, a capability token on the producer, a real `#entries` private field, and
+ * defensive copies on the way in and on the way out.
+ */
+class RestorableContext {
+    /** Same real ECMAScript private field, for the same reason — see {@link CapturedContext}. */
+    // webpieces-disable no-any-unknown -- the context store is deliberately type-erased; each ContextKey carries its own value type and the typed verbs re-apply it on read
+    #entries;
+    /** PRIVATE — {@link of} is the only producer, and only this module can call it. */
+    // webpieces-disable no-any-unknown -- see #entries
+    constructor(entries) {
+        this.#entries = new Map(entries);
+    }
+    /**
+     * The ONLY producer, called by `CapturedContext.withTrusted()` / `withoutTrusted()`. Guarded the
+     * same way `capture` is: a token no consumer can name, and a barrel that exports this class as a
+     * TYPE ONLY, so the class object — and with it this static — never reaches a consumer at all.
+     */
+    // webpieces-disable no-any-unknown -- see #entries
+    // webpieces-disable no-function-outside-class -- static factory standing in for the (private) constructor; an instance method would presuppose the instance being created
+    static of(authority, entries) {
+        void authority;
+        return new RestorableContext(entries);
+    }
+    /**
+     * Overwrite a LIVE store with this snapshot — the engine behind `RequestContext.restoreContext`.
+     * Write-only by design: it pushes entries in and hands nothing back, so it is not a side door onto
+     * the snapshot's contents.
+     */
+    // webpieces-disable no-any-unknown -- see #entries
+    restoreInto(authority, live) {
+        void authority;
+        live.clear();
+        for (const name of this.#entries.keys()) {
+            live.set(name, this.#entries.get(name));
+        }
+    }
+    /**
+     * A FRESH store holding this snapshot — the engine behind `RequestContext.runWithContext`, which
+     * opens a new AsyncLocalStorage scope around it. Fresh (a copy) rather than the internal map, so
+     * everything the restored scope writes stays in that scope and the snapshot remains reusable.
+     */
+    // webpieces-disable no-any-unknown -- see #entries
+    toFreshStore(authority) {
+        void authority;
+        return new Map(this.#entries);
+    }
+    /** How many entries survived the narrowing. A count is not a value, so it leaks nothing. */
+    size() {
+        return this.#entries.size;
+    }
+}
+exports.RestorableContext = RestorableContext;
+//# sourceMappingURL=CapturedContext.js.map

package/src/CapturedContext.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CapturedContext.js","sourceRoot":"","sources":["../../../../../packages/core/core-context/src/CapturedContext.ts"],"names":[],"mappings":";;;AAAA,oDAAsD;AAEtD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAa,uBAAuB;IAChC;;;OAGG;IACc,KAAK,GAAW,2BAA2B,CAAC;IAE7D,4FAA4F;IAC5F,MAAM,CAAU,QAAQ,GAAG,IAAI,uBAAuB,EAAE,CAAC;IAEzD,gBAAuB,CAAC;IAExB,2FAA2F;IAC3F,QAAQ;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC;IACtB,CAAC;;AAfL,0DAgBC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8EG;AACH,MAAa,eAAe;IACxB;;;;OAIG;IACH,wKAAwK;IAC/J,QAAQ,CAAuB;IAExC;;;;OAIG;IACH,mDAAmD;IACnD,YAAoB,OAA6B;QAC7C,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IAED;;;;;OAKG;IACH,mDAAmD;IACnD,iNAAiN;IACjN,MAAM,CAAC,OAAO,CAAC,SAAkC,EAAE,IAA0B;QACzE,KAAK,SAAS,CAAC;QACf,OAAO,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAED;;;;;;;;;;;OAWG;IACH,WAAW;QACP,OAAO,iBAAiB,CAAC,EAAE,CAAC,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjF,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAoCG;IACH,cAAc;QACV,kGAAkG;QAClG,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;QACxC,IAAI,CAAC,0BAAc,CAAC,YAAY,EAAE,EAAE,CAAC;YACjC,OAAO,iBAAiB,CAAC,EAAE,CAAC,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACxE,CAAC;QACD,MAAM,QAAQ,GAAG,0BAAc,CAAC,GAAG,EAAE,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;YACtC,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,GAAG,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC;gBAC3B,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5C,CAAC;QACL,CAAC;QACD,OAAO,iBAAiB,CAAC,EAAE,CAAC,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxE,CAAC;IAED;;;;OAIG;IACH,IAAI;QACA,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC9B,CAAC;CACJ;AA7GD,0CA6GC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAa,iBAAiB;IAC1B,6FAA6F;IAC7F,wKAAwK;IAC/J,QAAQ,CAAuB;IAExC,mFAAmF;IACnF,mDAAmD;IACnD,YAAoB,OAA6B;QAC7C,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IAED;;;;OAIG;IACH,mDAAmD;IACnD,0KAA0K;IAC1K,MAAM,CAAC,EAAE,CAAC,SAAkC,EAAE,OAA6B;QACvE,KAAK,SAAS,CAAC;QACf,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED;;;;OAIG;IACH,mDAAmD;IACnD,WAAW,CAAC,SAAkC,EAAE,IAA0B;QACtE,KAAK,SAAS,CAAC;QACf,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,CAAC;IACL,CAAC;IAED;;;;OAIG;IACH,mDAAmD;IACnD,YAAY,CAAC,SAAkC;QAC3C,KAAK,SAAS,CAAC;QACf,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC;IAED,4FAA4F;IAC5F,IAAI;QACA,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC9B,CAAC;CACJ;AApDD,8CAoDC","sourcesContent":["import { HeaderRegistry } from '@webpieces/core-util';\n\n/**\n * A capability TOKEN, not data — the thing you must be holding to build a {@link CapturedContext} or\n * to unpack one.\n *\n * It exists because `CapturedContext` needs a producer that {@link RequestContext} (a different class,\n * in a different file) can call, and TypeScript's `private` is class-scoped: a plain public\n * `CapturedContext.capture(map)` would be exactly the hand-assembled-payload hole this class exists to\n * close. So the producer takes a token whose constructor is private and whose only instance is\n * {@link INTERNAL}, and this module is deliberately NOT re-exported from the package barrel — in any\n * form, type or value.\n *\n * On its own that stops a consumer NAMING the token but not SUPPLYING one, since `null as never`\n * type-checks. It is the barrel's `export type { CapturedContext }` that finishes the job: with no\n * class object on the package surface there is no `capture(...)` to call, cast or not. The two halves\n * are load-bearing together, which is why each names the other.\n *\n * Per CLAUDE.md this is a class rather than a `Symbol` or an object literal: it is nominal (the private\n * `brand` field stops a structurally-identical `{}` from satisfying it) and it has exactly one\n * instantiation point.\n */\nexport class ContextCaptureAuthority {\n    /**\n     * Nominal brand. Without a private member the class is structurally `{}`, and any object at all\n     * would typecheck as an authority.\n     */\n    private readonly brand: string = 'webpieces.context-capture';\n\n    /** The ONE token that exists. The constructor below is private, so no other can be made. */\n    static readonly INTERNAL = new ContextCaptureAuthority();\n\n    private constructor() {}\n\n    /** Kept honest — the brand is read here so it is a real field, not a type-only fiction. */\n    describe(): string {\n        return this.brand;\n    }\n}\n\n/**\n * CapturedContext — an OPAQUE snapshot of a {@link RequestContext} scope.\n *\n * ## THE THREE CASES — pick by where the values came from and what may keep the identity\n *\n * | you have | you want | write |\n * |---|---|---|\n * | a genuine prior scope | ALL of it, trusted values included | `runWithContext(snapshot.withTrusted(), fn)` |\n * | a genuine prior scope | the trace fields but NOT the identity | `runWithContext(snapshot.withoutTrusted(), fn)` |\n * | values from OUTSIDE this process | exactly what you re-state, nothing inherited | `RequestContext.runDetachedScope(fn)` |\n *\n * Row 1 is a faithful re-root of a broken async chain — the work continues AS that user. Row 2 is a\n * deliberate PRIVILEGE DROP: a background job keeps `requestId`/`actionId` so it stays greppable, and\n * loses `userId`/`orgId`/roles because it runs as the system (see {@link withoutTrusted}). Row 3 is a\n * different question entirely — the values were never in a scope here, so there is no snapshot to take;\n * see `RequestContext.runDetachedScope`, where each value is written inside the closure with the trust\n * verbs.\n *\n * There is NO bare form of rows 1 and 2. `copyContext()` hands back a `CapturedContext`, and\n * `runWithContext`/`restoreContext` do not accept one — they take the {@link RestorableContext} that\n * {@link withTrusted} and {@link withoutTrusted} produce. Every call site therefore STATES whether the\n * proven identity travels, and neither intent is shorter to type than the other. That is CLAUDE.md shim\n * shape #5 applied here: a bare snapshot silently carrying a user identity is a widening that is an\n * absence rather than a token, and it is ungreppable. Now `grep -rn withTrusted` enumerates every place\n * an identity crosses a scope boundary and `grep -rn withoutTrusted` every deliberate drop.\n *\n * ## What it is for\n *\n * `AsyncLocalStorage` follows `await`, `.then()` and ordinary callbacks on its own, so the vast\n * majority of code never needs this. What it does NOT follow is work whose async chain was BROKEN and\n * re-rooted somewhere else: an item pushed onto an in-memory queue during a request and drained later\n * by a background loop, a batch flushed on a scheduler tick, an `EventEmitter` listener fired from a\n * socket the request does not own, a retry re-armed from a top-level timer, a hand-off to a worker\n * pool. In each of those the work executes under a DIFFERENT (or no) context, so the request id, the\n * log fields and the proven identity would silently vanish from everything the work logs or calls.\n *\n * The answer is two halves: `RequestContext.copyContext()` where the work is ENQUEUED, and\n * `RequestContext.runWithContext(captured.withTrusted(), fn)` — or `.withoutTrusted()`, or\n * `restoreContext(...)` of either — where it RUNS. The narrowing is not optional; see the table above.\n *\n * ## Why it is opaque instead of a `Map<string, unknown>`\n *\n * A restored context legitimately contains TRUSTED values — reinstating what the original scope had\n * proven is the entire point — so the restore side cannot type-check its payload the way\n * `putTrusted`/`getTrusted` do. That left the `Map`-taking signature that this class DELETED (a\n * now-removed `setContext(map)`, and `runWithContext(map, fn)`) as a complete bypass of the trust\n * system: handing it `new Map([['userId', 'victim']])` forged a proven identity in one line, without\n * ever typing a trust verb, and the only thing standing against it was a doc comment saying \"the Map\n * must come from copyContext()\". An agent picks whatever compiles, so a doc comment is not\n * enforcement.\n *\n * Making the PAYLOAD opaque solves it without type-checking the contents: the only way to obtain one is\n * a real capture of a real scope, so whatever it holds was, by construction, already in a context that\n * something legitimately wrote. Concretely:\n *\n * - the constructor is `private`, and there is no public factory — {@link capture} demands a\n *   {@link ContextCaptureAuthority} that cannot be named outside this package;\n * - the package barrel exports this class as a TYPE ONLY, so a consumer never receives the class\n *   object at all and cannot reach `capture` even with a cast. That second half matters: a token whose\n *   TYPE is unexported still stops nothing on its own, because `capture(null as never, forgedMap)`\n *   type-checks. Withholding the class object is what actually closes it;\n * - the entries live in `#entries`, a genuine ECMAScript private field, so they are unreachable at\n *   RUNTIME as well as at compile time — no `Object.keys`, no cast, no index signature;\n * - the map is defensively copied ON CAPTURE, again on each NARROWING, and again ON RESTORE, so a\n *   caller who still holds the live context (or who keeps writing to it after capturing) cannot reach\n *   through the snapshot, narrowing never mutates the capture it came from, and a snapshot can be\n *   restored repeatedly without the first restore's mutations bleeding into the second.\n *\n * There is deliberately no reader: nothing hands the entries back out. That is why `getAll()` is gone\n * rather than re-typed to return one of these — a `CapturedContext` you cannot read is useless as a\n * `getAll`, and a readable one would be the raw enumeration of every trusted value all over again.\n *\n * The one residual: a consumer holding a NARROWED snapshot can still cast a token into\n * {@link RestorableContext.toFreshStore} and read the entries back out as a plain Map. That is knowingly accepted, and it is the same asymmetry\n * `RequestContext.getAny` states — FORGING a trusted value is the dangerous direction and is closed\n * here; reading one you were already legitimately handed, without saying `getTrusted`, costs you\n * nothing but the type. Closing it too would mean no method could take the token at all, which is to\n * say no restore could exist.\n */\nexport class CapturedContext {\n    /**\n     * A real ECMAScript private field, not a TypeScript `private`. The distinction matters here: `#`\n     * is enforced by the runtime, so the snapshot's contents cannot be reached by a cast, by\n     * `Object.entries`, or by `as unknown as { entries: Map<string, unknown> }`.\n     */\n    // webpieces-disable no-any-unknown -- the context store is deliberately type-erased; each ContextKey carries its own value type and the typed verbs re-apply it on read\n    readonly #entries: Map<string, unknown>;\n\n    /**\n     * PRIVATE — a CapturedContext can only come from {@link capture}, which in turn can only be called\n     * by code holding a {@link ContextCaptureAuthority}. Copies the map so the snapshot is never a\n     * window onto a live store.\n     */\n    // webpieces-disable no-any-unknown -- see #entries\n    private constructor(entries: Map<string, unknown>) {\n        this.#entries = new Map(entries);\n    }\n\n    /**\n     * The ONLY producer. `authority` is a compile-time capability, not a runtime check — so it is\n     * referenced below only to keep it from being an unused parameter. Note the token alone is not the\n     * guarantee (a cast can supply one); the guarantee is that the barrel exports this class as a TYPE\n     * ONLY, so no consumer ever holds the class object this static hangs off. See the class doc.\n     */\n    // webpieces-disable no-any-unknown -- see #entries\n    // webpieces-disable no-function-outside-class -- static factory standing in for the (private) constructor; making it an instance method would mean an instance already existed, which is the thing being created\n    static capture(authority: ContextCaptureAuthority, live: Map<string, unknown>): CapturedContext {\n        void authority;\n        return new CapturedContext(live);\n    }\n\n    /**\n     * Carry EVERY value onward, the proven identity included — the faithful re-root. The work runs AS\n     * that user: `getTrusted(USER_ID)` inside it answers exactly what it answered in the original scope,\n     * which is the entire point when a request's own continuation was re-rooted onto a queue or a timer.\n     *\n     * Said OUT LOUD, because it is the wide branch. A bare snapshot is deliberately not accepted by\n     * `runWithContext`/`restoreContext` (see the class doc), so the identity never crosses a scope\n     * boundary by default or by omission, and `grep -rn withTrusted` enumerates every place it does.\n     *\n     * NON-MUTATING, like its sibling — the receiver is unchanged, so ONE snapshot can be narrowed both\n     * ways at two different call sites.\n     */\n    withTrusted(): RestorableContext {\n        return RestorableContext.of(ContextCaptureAuthority.INTERNAL, this.#entries);\n    }\n\n    /**\n     * Carry only the UNTRUSTED values — a deliberate PRIVILEGE DROP.\n     *\n     * ```typescript\n     * const snapshot = RequestContext.copyContext();\n     * RequestContext.runWithContext(snapshot.withTrusted(), fn);     // runs AS that user\n     * RequestContext.runWithContext(snapshot.withoutTrusted(), fn);  // runs as the SYSTEM\n     * ```\n     *\n     * The case: a background job or fire-and-forget task spawned during a request should keep the\n     * untrusted trace fields — `requestId`, `actionId` — so its log lines are still greppable back to\n     * the click that caused them, but it must NOT keep `userId` / `orgId` / roles, because it executes\n     * as the system rather than as that user. Carrying the proven identity onward would make every\n     * downstream authorization decision think the user is still on the other end of the wire.\n     *\n     * A METHOD PAIR, never a `keepTrusted: boolean` on {@link RequestContext.runWithContext}: a\n     * parameter makes the two intents equally easy to type and impossible to grep, and a defaulted one\n     * makes the permissive branch the shortest thing to write — CLAUDE.md shim shape #5, \"a widening\n     * that is an ABSENCE rather than a token\", the same reason `@AuthJwt({allRolesAllowed: true})` says\n     * the wide grant out loud. As a transform on the SNAPSHOT rather than a second capture mechanism it\n     * composes with BOTH consumers — `runWithContext` and `restoreContext` — for free.\n     *\n     * NON-MUTATING: the receiver is untouched, so one snapshot can be used both ways.\n     *\n     * NO AUTHORITY TOKEN, deliberately, and it must not grow one. The token on {@link capture} exists\n     * because CONSTRUCTING a snapshot from arbitrary entries forges trust. This direction only ever\n     * REMOVES entries: whatever survives was already in a real capture of a real scope, so the result\n     * is strictly less privileged than the object the caller is already holding. Dropping cannot forge.\n     *\n     * WHAT SURVIVES is exactly \"registered as an UNTRUSTED {@link ContextKey}\". Trusted keys go, and so\n     * do names the {@link HeaderRegistry} does not know — the framework's reserved slots (the\n     * `HttpRequest`, the AuthFilter principal, the Cloud Tasks schedule frame), which carry no declared\n     * trust and are the caller's identity and connection rather than trace fields. A privilege drop\n     * that guessed in the permissive direction would not be one. For the same reason, with no registry\n     * configured NOTHING is knowably untrusted and the result is empty — always the safe answer, since\n     * this method's only job is to remove.\n     */\n    withoutTrusted(): RestorableContext {\n        // webpieces-disable no-any-unknown -- the context store is deliberately type-erased; see #entries\n        const kept = new Map<string, unknown>();\n        if (!HeaderRegistry.isConfigured()) {\n            return RestorableContext.of(ContextCaptureAuthority.INTERNAL, kept);\n        }\n        const registry = HeaderRegistry.get();\n        for (const name of this.#entries.keys()) {\n            const key = registry.findByName(name);\n            if (key && key.isUntrusted()) {\n                kept.set(name, this.#entries.get(name));\n            }\n        }\n        return RestorableContext.of(ContextCaptureAuthority.INTERNAL, kept);\n    }\n\n    /**\n     * How many entries the snapshot holds. The one thing it will tell you about itself — a count is\n     * not a value, so it leaks nothing, and it lets a caller (and a test) see that a capture taken\n     * outside an active scope is simply empty rather than an error.\n     */\n    size(): number {\n        return this.#entries.size;\n    }\n}\n\n/**\n * A snapshot whose TRUST INTENT has been stated — the only thing `RequestContext.restoreContext` and\n * `RequestContext.runWithContext` accept.\n *\n * It exists to make the wide choice unskippable. A single type would have meant\n * `runWithContext(snapshot, fn)` compiling next to `runWithContext(snapshot.withTrusted(), fn)`: two\n * spellings of one thing (shim shape #1), with the shorter one silently carrying a user identity into\n * work that may have no business running as that user. Splitting the type deletes the default — a\n * capture is inert until it says which it means — so there is exactly one spelling per intent, and\n * `grep -rn withTrusted` / `grep -rn withoutTrusted` enumerate the two populations of call sites.\n *\n * Two CLASSES rather than a phantom type parameter on {@link CapturedContext}, even though this repo\n * uses that trick on `ContextKey<V, T extends Trust>`. There the parameter rides along with a key that\n * consumers name constantly and read values through, so it earns its complexity. Here the two states\n * have DIFFERENT MEMBERS — a capture can only be narrowed, a narrowed one can only be restored — and a\n * type that changes its members between states is a second class, not a second type argument. Naming\n * it also gives the field/queue-entry type a consumer holds a name that says what it is.\n *\n * The #622 opacity guarantees are unchanged and are why this class is also barrel-exported as a TYPE\n * ONLY: private constructor, a capability token on the producer, a real `#entries` private field, and\n * defensive copies on the way in and on the way out.\n */\nexport class RestorableContext {\n    /** Same real ECMAScript private field, for the same reason — see {@link CapturedContext}. */\n    // webpieces-disable no-any-unknown -- the context store is deliberately type-erased; each ContextKey carries its own value type and the typed verbs re-apply it on read\n    readonly #entries: Map<string, unknown>;\n\n    /** PRIVATE — {@link of} is the only producer, and only this module can call it. */\n    // webpieces-disable no-any-unknown -- see #entries\n    private constructor(entries: Map<string, unknown>) {\n        this.#entries = new Map(entries);\n    }\n\n    /**\n     * The ONLY producer, called by `CapturedContext.withTrusted()` / `withoutTrusted()`. Guarded the\n     * same way `capture` is: a token no consumer can name, and a barrel that exports this class as a\n     * TYPE ONLY, so the class object — and with it this static — never reaches a consumer at all.\n     */\n    // webpieces-disable no-any-unknown -- see #entries\n    // webpieces-disable no-function-outside-class -- static factory standing in for the (private) constructor; an instance method would presuppose the instance being created\n    static of(authority: ContextCaptureAuthority, entries: Map<string, unknown>): RestorableContext {\n        void authority;\n        return new RestorableContext(entries);\n    }\n\n    /**\n     * Overwrite a LIVE store with this snapshot — the engine behind `RequestContext.restoreContext`.\n     * Write-only by design: it pushes entries in and hands nothing back, so it is not a side door onto\n     * the snapshot's contents.\n     */\n    // webpieces-disable no-any-unknown -- see #entries\n    restoreInto(authority: ContextCaptureAuthority, live: Map<string, unknown>): void {\n        void authority;\n        live.clear();\n        for (const name of this.#entries.keys()) {\n            live.set(name, this.#entries.get(name));\n        }\n    }\n\n    /**\n     * A FRESH store holding this snapshot — the engine behind `RequestContext.runWithContext`, which\n     * opens a new AsyncLocalStorage scope around it. Fresh (a copy) rather than the internal map, so\n     * everything the restored scope writes stays in that scope and the snapshot remains reusable.\n     */\n    // webpieces-disable no-any-unknown -- see #entries\n    toFreshStore(authority: ContextCaptureAuthority): Map<string, unknown> {\n        void authority;\n        return new Map(this.#entries);\n    }\n\n    /** How many entries survived the narrowing. A count is not a value, so it leaks nothing. */\n    size(): number {\n        return this.#entries.size;\n    }\n}\n"]}

package/src/CapturedContextCompileAssertions.d.ts

@@ -0,0 +1,52 @@
+/**
+ * COMPILE-TIME assertions that a context can only be restored from a REAL capture.
+ *
+ * The runtime half — that a snapshot round-trips, and that mutating the source afterwards does not
+ * reach it — is in `CapturedContext.spec.ts`. What a spec CANNOT express is the half that matters
+ * most: that `RequestContext.restoreContext(new Map([['userId', 'victim']]))` does not compile. Each
+ * `@ts-expect-error` below fails the build with TS2578 the day its line starts compiling again.
+ *
+ * In COMPILED source deliberately — `tsconfig.lib.json` excludes specs and vitest strips types with
+ * esbuild, so a `@ts-expect-error` in a `.spec.ts` is inert and the suite would pass either way. See
+ * `RequestContextTrustCompileAssertions` for the trust-verb half.
+ */
+export declare class CapturedContextCompileAssertions {
+    /** THE hole this change closes: a hand-assembled payload forging a trusted value. */
+    cannotRestoreAHandBuiltMap(): void;
+    /** Same hole through the other door. */
+    cannotRunWithAHandBuiltMap(): void;
+    /** Nor by asserting an object literal into the shape — the private `#entries` makes it nominal. */
+    cannotFakeTheShape(): void;
+    /** Nor by constructing one directly — the constructor is private. */
+    cannotConstructOneDirectly(): void;
+    /**
+     * Nor by calling the factory: it demands a capability token whose own constructor is private, so
+     * even code that can NAME the token (this package) cannot mint a second one.
+     */
+    cannotMintAnAuthority(): void;
+    /** And the factory is not callable without one at all. */
+    cannotCaptureWithoutAnAuthority(): void;
+    /**
+     * THE new hole this pair closes: a BARE capture must not run. If it did, `runWithContext(snapshot,
+     * fn)` would sit next to `runWithContext(snapshot.withTrusted(), fn)` as a second spelling whose
+     * shorter form silently carries a user identity — a widening that is an absence rather than a
+     * token, and ungreppable. The capture is inert until it states its intent.
+     */
+    cannotRunABareCapture(): void;
+    /** Same, through the in-place door. */
+    cannotRestoreABareCapture(): void;
+    /**
+     * And the intent is stated by NARROWING, never by a flag on the run call. A `keepTrusted: boolean`
+     * would make the wide intent as easy to type as the narrow one and impossible to grep; this line
+     * fails the build the day such a parameter appears.
+     */
+    cannotStateTheIntentViaAFlagOnTheRunCall(): void;
+    /** Nor can a narrowed snapshot be minted directly — same private constructor, same token. */
+    cannotConstructARestorableContextDirectly(): void;
+    /** Nor through its factory, which demands the same unobtainable authority. */
+    cannotMintARestorableContextWithoutAnAuthority(): void;
+    /** POSITIVE: both narrowings produce the ONE type both consumers take. */
+    bothNarrowingsFeedBothConsumers(): void;
+    /** POSITIVE: the real round trip must keep compiling — restoring a proven value IS the point. */
+    theRealRoundTripCompiles(): void;
+}