@blamejs/core 0.15.14 → 0.15.16

package/CHANGELOG.md

@@ -8,6 +8,10 @@ upgrading across more than a few patches at a time.
 
 ## v0.15.x
 
+- v0.15.16 (2026-06-22) — **A correctness and hardening release: a broad set of credential and certificate verifiers now fail closed on a present-but-unparseable timestamp instead of silently skipping the check, outbound network clients gain an overall wall-clock timeout and a bounded framing buffer, DMARC refuses a record with no usable policy, append-only log sinks refuse a symlinked path, and the interactive-transaction and replay-store contracts refuse a backend that cannot honor them.** This release closes a family of fail-open and resource-exhaustion gaps without adding opt-ins to the request path. A recurring pattern across the verifiers — a timestamp parsed with a lenient parser, then gated by isFinite() so an unparseable value disables the check — is converted to fail-closed everywhere it appears: DKIM x=/t=/l=, ARC AMS/AS t=/x=, SAML Bearer and holder-of-key NotBefore, and the FIDO MDS3 / BIMI / S/MIME certificate validity windows now refuse a malformed value rather than accepting the credential. DMARC now validates and requires a usable p= policy and never recommends delivery for a failing message with an absent or unrecognized policy. Outbound clients that exposed a single timeout but applied it only as an idle (zero-progress) timer now also enforce it as an overall wall-clock cap, so a peer that trickles bytes within the idle window can no longer hold a request open indefinitely: the encrypted HTTP client, the object-store and SQS request paths, the CloudWatch / OTLP / webhook log sinks, and the password breach check. The DNS resolver and the lower-level DNS client gain a per-query wall-clock deadline that also tears the socket down, the SMTP client and the proxy CONNECT tunnel bound their framing buffers and add an overall deadline, and the NTS key-establishment handshake bounds its accumulator. The append-only local log sink and the daemon log open with O_NOFOLLOW so a symlink planted at the path is refused rather than followed. b.externalDb.transaction and b.outbox now refuse a backend that declares it cannot provide an interactive transaction instead of silently running a non-atomic block, and the GraphQL-federation replay store adopts the framework's atomic check-and-insert contract. **Added:** *b.atomicFile.openAppendNoFollowSync — symlink-refusing append open* — Opens a long-lived append target (an active log file kept open across appends and reopened on rotation) with O_WRONLY | O_APPEND | O_CREAT | O_NOFOLLOW: the file is created or appended normally, but a symlink at the final path component fails the open closed (ELOOP) rather than redirecting writes. The append-sink counterpart to openNoFollowSync (read) and the exclusive-create temp open. · *b.externalDb.supportsTransactions() and stateless-adapter declaration* — A backend adapter may declare supportsTransactions: false (a stateless / autocommit-per-statement adapter) and/or provide a batch(client, statements) hook for an atomic multi-statement path. b.externalDb.supportsTransactions() reports whether the picked backend can provide an interactive transaction, so a consumer built on the dual-write guarantee can refuse a non-atomic backend up front. · *Store-free device fingerprint* — b.sessionDeviceBinding.fingerprint(req, opts) is now a static entry point returning the request-shape digest with no store, and b.sessionDeviceBinding.create() with neither a bindingStore nor storeInSession returns an instance whose stateless fingerprint() works while bind()/verify() throw a clear "no store configured". Soft device binding for self-validating tokens (a sealed cookie or JWT carrying the fingerprint) no longer needs a fabricated no-op store. **Changed:** *Device fingerprint IP masking is canonical* — b.sessionDeviceBinding masked the client IP into its prefix bucket by textual group slicing with no IPv6 normalization, so equivalent forms of one address (a ::-compressed form vs its fully-expanded form) hashed to different fingerprints and a roaming client could be logged out on a false drift. It now masks through the same canonical prefix helper b.session uses, preserving the configured prefix width (the IPv6 default stays /48, and ipPrefixBits is honored). b.requestHelpers.ipPrefix accepts { v4Bits, v6Bits } to override the /24 + /64 default for a function-form fingerprint or other reuse. **Fixed:** *b.session.destroyAllForUser works for pluggable-store consumers* — A consumer configuring sessions through b.session.useStore without calling b.db.init() got a db/not-initialized error from destroyAllForUser — every "log out everywhere" / suspend / delete path rejected with a 500 after the store rows had already been deleted, because the stateless valid-from boundary write was routed only to the framework database. The boundary now prefers the framework database when one is initialized and otherwise falls back to the configured session store (provisioning its table on demand), so store-backed deployments raise the stateless boundary successfully; it still fails closed when neither a framework database nor a store is available. **Security:** *Certificate and credential verifiers fail closed on an unparseable timestamp* — A present-but-unparseable date no longer silently disables a validity check. DKIM x= / t= (signature expiry, future-date, ordering) and l= (body-length cap), ARC AMS/AS t= / x=, SAML Bearer and holder-of-key SubjectConfirmationData NotBefore, and the FIDO MDS3, BIMI, and S/MIME certificate validity windows previously parsed the value, then guarded the comparison with isFinite() — so a value that did not parse (NaN) skipped the check and the credential was accepted. Each now refuses a present-but-unparseable value (a permerror / not-valid result) and only an absent optional field is ignored, matching the existing fail-closed handling of the SAML Conditions block. · *DMARC refuses a record with no usable policy* — The DMARC policy tag p= (and the subdomain sp=) were taken verbatim with no validation and p= was never required, so the disposition mapped a null or typo'd policy to the catch-all "deliver". A failing, unaligned message against a domain whose record omitted p= or carried an unrecognized value was therefore delivered. p= and sp= are now validated against none|quarantine|reject, p= is required for a record to carry a policy at all, an invalid record is a permerror (not a transient temperror), and the disposition is an explicit fail-closed mapping that never delivers a failing message on an absent or unrecognized policy. · *Outbound clients enforce an overall wall-clock timeout, not only an idle timeout* — Several clients exposed a single timeout but forwarded it to the underlying request only as idleTimeoutMs (a zero-progress cap that resets on every received byte), leaving no overall bound — a peer that trickles one byte inside each idle window holds the call open indefinitely. b.httpClient.encrypted (which dropped timeoutMs entirely, and now also forwards the caller's AbortSignal), the object-store request path and Azure/GCS bucket operations, the SQS queue client, the CloudWatch / OTLP / webhook log sinks, and the password HIBP breach check now set the overall wall-clock timeout alongside the idle timeout. · *DNS lookups gain a default wall-clock deadline and tear the socket down* — The DNS resolver's DoH transport had no time bound of any kind and the lower-level DNS client defaulted its lookup timeout to zero (no deadline). A non-responsive or slow-trickle upstream — reachable while resolving DKIM/SPF/BIMI records for inbound mail — held the lookup pending forever. The resolver now takes a per-query timeout (default 10s) wrapping every query and CNAME hop, the DNS client defaults its lookup timeout to 10s (operators opt out with a zero timeout), and the raw DoH/DoT request paths arm a socket timeout that destroys the connection on a stall rather than leaking the descriptor. · *SMTP, proxy-CONNECT, and NTS clients bound their read buffers and add deadlines* — The SMTP client accumulated the server's reply without a byte cap and relied on an idle timer alone; a hostile or broken MX that never sent a line terminator could exhaust memory, and a slow trickle held the transaction open. It now caps the accumulated reply (refusing once it exceeds the response ceiling) and enforces an overall transaction deadline. The proxy CONNECT-tunnel client, which accumulated the proxy's reply unbounded with no socket timeout, now caps the header buffer and times out the connect. The NTS key-establishment handshake reader caps its record accumulator so a server streaming non-terminating records cannot exhaust memory before the handshake timer fires. · *Append-only log sinks refuse a symlinked path* — The local log sink and the daemon log opened the active file in append mode without O_NOFOLLOW, so a symlink planted at the log path (including one re-planted in the race window after a caller's pre-check) was followed, redirecting log writes to an attacker-chosen file. Both now open with O_NOFOLLOW via the new b.atomicFile.openAppendNoFollowSync, refusing a symlinked final path component. · *Transaction and replay-store contracts refuse a backend that cannot honor them* — b.externalDb.transaction and b.outbox.create now refuse a backend that declares it cannot provide an interactive transaction (a stateless / autocommit-per-statement adapter) instead of silently running BEGIN, the body, and COMMIT on different sessions — no isolation, no rollback — while reporting success. b.graphqlFederation.guardSdl now consults its replay nonce store through the framework's atomic checkAndInsert(nonce, expireAt) contract (the same one b.webhook and b.nonceStore use) rather than a non-atomic has()-then-remember() check that raced concurrent redeliveries; a store lacking checkAndInsert is refused at construction. **Migration:** *DNS lookups now time out by default* — The lower-level DNS client's lookup timeout previously defaulted to zero (no deadline); it now defaults to 10 seconds. A deployment that intentionally ran DNS lookups with no wall-clock bound must set the lookup timeout to zero explicitly to restore the old behavior. The b.network.dns.resolver default timeout is also 10 seconds and is configurable via its timeoutMs option. · *b.graphqlFederation.guardSdl nonceStore contract* — guardSdl's optional replay nonceStore now requires the atomic checkAndInsert(nonce, expireAt) contract (b.nonceStore.create is the reference store) and refuses the previous { has, remember } shape at construction. Operators using the old shape should pass b.nonceStore.create(...) or an adapter exposing checkAndInsert. · *Interactive transactions on a stateless backend are refused* — If an externalDb backend adapter declares supportsTransactions: false, b.externalDb.transaction and b.outbox.create now throw rather than running a silently non-atomic block. Existing stateful adapters (Postgres / MySQL / SQLite, and any adapter that supplies beginTx/commit/rollback or omits the flag) are unaffected. A stateless / autocommit-per-statement adapter should supply interactive transaction hooks or a batch adapter.
+
+- v0.15.15 (2026-06-21) — **A focused correctness and hardening release: more authentication and signature verifiers fail closed (JWT issuer, SAML recipient binding, OAuth nonce, CIBA token binding, FIDO certification level), the WebSocket client bounds a fragmented message before it completes, DMARC resolves the From domain before the policy lookup, and the CSP builder refuses a directive-injecting source; fixes a middleware pipeline promise that never settled on a write-and-halt, and exposes the X.509 CA-bit issuer test, an IP-prefix helper, and a reverse-proxy-aware session fingerprint option.** This release continues to tighten existing protections without adding opt-ins on the request path. A further set of authentication and signature verifiers now refuse malformed or unbound credentials: JWT verify rejects an array-valued issuer claim (an any-match bypass, CVE-2025-30144 class), SAML requires the mandatory Recipient on a Bearer or holder-of-key confirmation and enforces every AudienceRestriction, OAuth no longer skips the ID-token nonce check on an empty nonce, CIBA binds the returned ID token to its auth_req_id, the FIDO MDS3 certification level reflects the authenticator's current status rather than its historical maximum, and a JOSE header that decodes to a non-object is a typed error rather than an uncaught throw. The WebSocket client now bounds a fragmented incoming message by its running total instead of only at the final frame, DMARC validates the From-header domain before the policy lookup, the data-residency write gate compares the residency column case-insensitively, and the SQL builder refuses an equality against NULL and validates every IN-list element. The CSP builder refuses a source token containing whitespace or a semicolon (directive injection). A middleware pipeline that a request handler halted by writing the response without calling next() left its promise pending forever, retaining the request closure — it now settles. New surface is additive and backward compatible: the basicConstraints-enforcing X.509 issuer test is exposed publicly, the session device fingerprint can resolve the client IP through a trusted-proxy allowlist, and the /24+/64 IP-prefix masking it uses is exposed for reuse. **Added:** *b.x509Chain — the CA-bit-enforcing X.509 issuer test* — isCaCert(cert) and issuerValidlyIssued(issuer, subject) are now public. Node's X509Certificate.checkIssued() does not enforce the basicConstraints cA bit (CVE-2002-0862 class), so a non-CA leaf can be accepted as an issuer; these helpers require cA:TRUE and verify the signature, fail closed on any malformed input, and are the same test the framework's own chain walkers use. A consumer validating a chain outside a TLS handshake (an operator-uploaded CA bundle, a non-handshake PQ-signed certificate) can now use the hardened path instead of raw checkIssued(). · *Reverse-proxy-aware session device fingerprint* — b.session.create / verify / rotate accept { trustedProxies } (CIDRs) or { clientIpResolver } so the built-in clientIp / clientIpPrefix fingerprint fields resolve the real client IP behind a trusted proxy, consistent with b.requestHelpers.trustedClientIp. Without the option the fingerprint still binds to the bare socket peer (unchanged default), so existing fingerprints keep matching; pass the same option to create, verify, and rotate. The /24 (IPv4) + /64 (IPv6) subnet masking is exposed as b.requestHelpers.ipPrefix for an operator using a function-form fingerprint field. **Changed:** *DKIM l= is counted over the canonicalized body* — On verify, the l= body-length tag was applied to the raw body before canonicalization, so a legitimate relaxed/relaxed signature whose l= matched the canonicalized length was rejected with a body-hash mismatch whenever relaxed canonicalization changed the byte count within the first l= octets. The body is now canonicalized first and the canonicalized octet stream truncated to l= (RFC 6376 §3.4.5). · *PIPL cross-border security-assessment threshold documentation corrected* — The b.pipl.sccFilingAssessment contract stated the CAC security assessment becomes mandatory above 100,000 cumulative PI subjects (the superseded 2022 figure). The builder enforces the current CAC Provisions on Promoting and Regulating Cross-Border Data Flows — a security assessment above 1,000,000 non-sensitive PI subjects or 10,000 sensitive, with the 100,000–1,000,000 band in the standard-contract / certification tier. The documentation now matches the enforced thresholds. **Fixed:** *composePipeline settles its promise when a middleware halts* — A regular middleware that wrote the response and returned without calling next() — the intended way to halt the chain from an auth / rate-limit / bot block — left the promise returned by b.middleware.composePipeline pending forever, retaining its request/response closure (an unbounded leak under sustained blocked traffic). The halt path now settles the promise without advancing to the route handler; the same applies to an error handler that consumes the error without calling next(). · *Quality-list header parsing is quote-aware* — parseQualityList mis-read a q= substring that appeared inside a quoted media-range or Accept-* parameter, mis-weighting content negotiation. It now parses the q parameter with quote-aware splitting. **Security:** *More authentication and signature verifiers fail closed* — JWT verify rejects an array-valued iss claim (it had passed through a generic any-match built for the legitimately-array aud claim, so a multi-issuer array satisfied a single-issuer expectation — CVE-2025-30144 class), matching the external JWT and OIDC verifiers. SAML verifyResponse requires the Recipient attribute on a Bearer or holder-of-key SubjectConfirmation and confirms it equals the ACS URL (an absent Recipient was silently skipped), and enforces every AudienceRestriction (AND-combined per SAML core). OAuth no longer fails open and skips the ID-token nonce replay check when the supplied nonce is empty. CIBA binds the polled / notified ID token to its auth_req_id so a token minted for another request can't be accepted. The FIDO MDS3 certification level reflects the authenticator's current status, not the highest level it ever held, so a later decertification or downgrade is honored by a step-up policy. A JOSE header or payload that decodes to JSON null or a non-object now raises a typed authentication error instead of an uncaught TypeError. · *WebSocket fragmented-message reassembly is bounded before completion* — The client enforced maxMessageBytes only when a fragmented message's final frame arrived, so a peer could stream unbounded continuation frames and exhaust memory before the limit was ever checked. The running reassembly total is now enforced per frame, and a frame arriving after close is ignored. · *DMARC resolves the From domain before the policy lookup* — The From-header bare addr-spec domain extraction did not reject RFC 5322 group syntax or a trailing semicolon, so a crafted From header could yield a corrupted domain that defeated the DMARC alignment / policy lookup. The domain is now validated (length-bounded, rejecting the group and punctuation forms) before it is used. · *Data-residency and SQL builder correctness* — The per-row data-residency write gate compares the residency column name case-insensitively, so a raw UPDATE that spells the column in a different letter case can no longer slip the cross-border transfer check. The SQL builder refuses an equality against NULL (col = NULL is always false; use IS NULL) and validates every element of an IN-list on the Postgres = ANY(?) path, matching the sqlite / MySQL path. · *CSP builder refuses a directive-injecting source* — A CSP source is a single non-whitespace token. build() and mergeDirectives() now reject a source containing whitespace or a semicolon — because the emitter space-joins sources and semicolon-joins directives, a value like "https://x; script-src https://evil" injected a live directive.
+
 - v0.15.14 (2026-06-20) — **A broad security-hardening release: every request-IP trust decision is peer-gated against the immediate connection (closing an X-Forwarded-For spoofing class — one behavior change, see Migration), a wide set of authentication and signature verifiers now fail closed, pre-auth parsers are hardened against algorithmic-complexity and frame-desync attacks, and untrusted-key allowlist lookups, at-rest encryption binding, and on-disk writes are tightened framework-wide; adds streaming and exclusive atomic-write primitives, a script-context JSON serializer, and HTTP-client bandwidth throttling.** This release tightens existing protections across the framework rather than adding opt-ins. The headline behavior change is how the client IP is trusted: the IP gates that make security decisions (network allowlist, rate limiter, break-glass grant pin) no longer trust a bare leftmost X-Forwarded-For value when trustProxy is set without an explicit proxy allowlist — they resolve the client IP by a peer-gated right-to-left walk anchored at the connecting socket, so a direct caller can no longer forge an allowed address. Operators who terminate behind a proxy now declare its address range in trustedProxies (see Migration). Alongside that, a large set of verifiers that could accept a malformed or unsigned credential now fail closed (SAML audience restriction, FDA electronic-signature, SD-JWT key-binding replay, DPoP, CIBA, mdoc trust anchor, COSE algorithm/curve binding, agent-snapshot plaintext under a regulated posture); pre-authentication parsers that an attacker reaches before any credential check are hardened against quadratic-time and frame-desync denial of service (CBOR, JSONPath, tar/PAX, gzip, YAML, ASN.1 DER, the scheduler's timer math); allowlist and posture lookups keyed by untrusted input can no longer reach Object.prototype; the framework's own file writes are now symlink-refusing and atomic; at-rest and egress paths bind ciphertext to its location and redact nested secrets; and several lost-update races are serialized. New surface is additive: streaming and exclusive atomic-write primitives, a serializer safe to embed in an inline <script>, and download/upload bandwidth throttling on the HTTP client. **Added:** *b.atomicFile.writeStream(filepath, source, opts?) and b.atomicFile.writeExclSync(filepath, data, opts?)* — Two atomic-write primitives that complete the read-side fdSafeReadSync family. writeStream writes a stream to a fresh O_EXCL|O_NOFOLLOW temporary file with an output-byte cap, then renames into place; writeExclSync stages a synchronous write through a verify-then-rename (clearing any stale temp under O_EXCL|O_NOFOLLOW first) for the small sealed-state round-trips (vault seal / unseal / rotate). Both refuse to follow a symlink at the destination or temp path, so an attacker who pre-creates a link can't redirect the write. The framework's own predictable-temp and symlink-following write sites now route through them; fdSafeReadSync also gains a withStat option that returns the bound fd's stat alongside the bytes. · *b.safeJson.stringifyForScript(value, opts?)* — A JSON serializer safe to embed directly in an inline <script> block: it escapes <, >, and & and the U+2028 / U+2029 line separators so a value containing </script> or a JS line terminator cannot break out of the script context (DOM-XSS). The import-map helper gains scriptTag(importMap, { nonce }) built on it, and the speculation-rules inline emitter uses it. · *HTTP-client bandwidth throttling* — b.httpClient requests accept a bandwidth limit that interposes a throttling transform on both the download and upload paths, so a large transfer can be rate-shaped without buffering the whole body. Useful for bounding the egress a single outbound call can consume. · *Incremental audit-chain verification* — The audit verifiers accept a from/to range so a long chain can be verified in increments rather than head-to-tail every time, report an accurate rowsVerified count, and keep the newest review when reconciling. b.vault also exposes getDefaultStore() for callers that need the process's default seal/unseal store handle. **Changed:** *DORA major-incident reporting clock is four hours* — The Digital Operational Resilience Act initial-notification deadline is corrected to four hours from classification (it had used the generic 24-hour default), incident classification weighs the affected-client-base percentage, and the deadline anchors to the prior filing where one exists. · *Range and conditional-request correctness* — Compression skips a 206 Partial Content or any Content-Range response (RFC 7233 §4.1), so it can't drop Content-Length over a now-compressed byte interval; static-file conditional handling gives If-None-Match precedence over If-Modified-Since and If-Match over If-Unmodified-Since (RFC 7232); and the object store honors the [start, end] array range contract that previously fell through to a full read. · *Declared request bodies are always validated* — A route that declares a body schema now validates it even when no body was parsed, so an omitted required body is rejected at the router instead of reaching the handler — mirroring the always-run params and query checks. **Fixed:** *Object store getStream works on remote backends* — getStream() returned a stream wrapping an unresolved promise on every remote backend, so it never delivered bytes; it now resolves the object before streaming. · *Queue and body-parser correctness* — The local queue's fail()/complete() paths guard on the current row status so a stale lease can't resurrect or double-process a job, and the body parser's raw() mode no longer matches every content type by default (it had answered 415 to nothing or everything depending on the wildcard). · *Sanctions screening and GraphQL SDL probing no longer under-match* — Sanctions screening no longer skips a candidate whose type doesn't match the query's type filter (a sanctioned entity of an unspecified type was missed) and reports a typeMatch flag; the GraphQL federation guard probes for the _service / _entities introspection fields by word boundary (an aliased field bypassed the prefix check) and over batched-array request bodies. The per-tenant query budget is a true sliding window, so a burst straddling the window boundary can't briefly double the rate. **Security:** *Request-IP trust is peer-gated end to end* — The client-IP resolution that every IP gate depends on is extracted into one trust model (a trustedProxies-aware, peer-gated right-to-left walk) so the network allowlist, rate limiter, break-glass pin, and bot-guard audit attribution all decide identity the same way. X-Forwarded-Proto is peer-gated across the security middleware on the same model, and a WebSocket reconnect to a swapped target is re-validated against the SSRF / blocked-host guard before the connection is reused. See Migration for the one behavior change. · *Authentication and signature verifiers fail closed* — A set of verifiers that could accept a malformed or unsigned credential now refuse it: SAML verifyResponse fails closed on a missing AudienceRestriction or unparseable Conditions; the FDA 21 CFR 11 electronic-signature verify refuses a record with no signature (recordHash alone is self-consistency, not authentication); the SD-JWT key-binding JWT requires an audience and nonce (replay binding) and an expiry when configured; DPoP cross-checks the proof's alg against its embedded JWK key type before importing it; CIBA verifies the ID token on poll and notification; the mdoc trust anchor is enforced (no fail-open); COSE binds the signature algorithm to the key curve; and agent-snapshot refuses allowPlaintext under a regulated compliance posture and gates sealing on vault initialization. · *Pre-auth parsers hardened against complexity and frame-desync denial of service* — Parsers an attacker reaches before any credential check are bounded. CBOR rejects the quadratic-time duplicate-map-key construction (it ran O(n^2) on every COSE / CWT / EAT / mdoc verify) and rejects non-minimal integer/key encodings in canonical mode; JSONPath caps the node-list cross-product that could exhaust memory and rejects the filter expression that could overflow the parser stack; the tar reader caps a random-access entry read and resynchronizes a PAX header whose size field is non-numeric; the gzip reader caps a random-access output size; the YAML scanner replaces a backtracking pattern with a linear scan; the ASN.1 DER reader caps high-tag-number and OID sub-identifier decoding and rejects non-minimal forms; and the scheduler clamps far-future timers so a 32-bit overflow can't make a timer fire immediately or an interval tight-loop. · *Allowlist and posture lookups keyed by untrusted input can't reach the prototype* — Lookups of the form map[untrustedKey] across the framework's allowlist and compliance-posture tables are now own-property checks, so a key like __proto__ or constructor resolves as absent instead of returning an inherited value and walking the gate (CWE-1321). The shared posture-accessor that several guards built by hand is centralized, and an inverse detector flags any re-introduced unguarded indexed lookup. · *Framework file writes are symlink-refusing and atomic* — The predictable-temp and symlink-following write sites (cookie jar, config-drift snapshot, archive extraction, local object store, backup bundle, and the vault passphrase seal/unseal/rotate) now write through the atomic-write primitives above, so a pre-planted symlink at the destination or temp path can no longer redirect a privileged write, and a partial write can't leave a torn file. A re-introduced raw write without the exclusive/no-follow flags is flagged by a detector. · *X.509 issuer chains enforce the CA basic constraint* — Node's checkIssued() does not verify that the issuer certificate is actually a CA (CVE-2002-0862 class), so a leaf signed by a non-CA certificate could be accepted as an issuer. Certificate-chain walking is centralized in one helper that requires the issuer's basicConstraints cA bit and verifies the signature, and every chain consumer (TSA, BIMI, S/MIME, mdoc, content-credentials, the FIDO MDS3 anchor match) routes through it. · *Header, value, and markup injection closed* — Mail rejects CRLF in Reply-To and in custom header keys/values (SMTP header injection); the GDPR data-export CSV writer neutralizes formula-injection prefixes; the content guards decode no-semicolon numeric HTML entities when revealing a dangerous URL scheme (so &#106;avascript: is caught); the early-hints emitter rejects CRLF in pushed link values; the HTML/SVG/BIMI comment scanners honor the WHATWG abrupt-comment-close forms (--!>, <!-->) so a mutation-XSS comment can't smuggle markup; and the CSP builder no longer emits a host source alongside 'none'. · *At-rest and egress data is bound to its context* — Backup restore binds each encrypted file blob to its manifest path as additional authenticated data, so a blob remapped to another entry fails the AEAD tag on restore (signed and unsigned bundles alike), and threads the signature-verification options through extraction; the data-subject-request lookup dual-reads the keyed and legacy subject hashes so a subject is still found across the hashing change (GDPR Art. 17); the log redactor collapses a secret nested as an array or object value, not only as a scalar; and the OTLP exporter redacts the span name and status message, not just attributes, before they leave the process. · *Network-protocol verification hardened* — OCSP responses are bound to the requested certificate serial; the WebSocket reader rejects reserved opcodes and reserved bits; the DNS parser refuses a record that reads past the message buffer; the NTP client rejects a reply whose origin timestamp does not echo the request (and the SNTP cookie path was reworked to bind the exchange); DANE TLSA matching is constant-time; and MTA-STS policy fetch fails closed rather than degrading to no-policy on an ambiguous response. · *Byte caps are measured in bytes, and middleware enforcement is per-instance* — Size limits that compared a byte budget against a string's character length (so multibyte input slipped a ~2-4x looser bound) now measure actual bytes — guard-json per-string cap, the per-tenant quota header budget, the JMAP request cap. The CSRF and fetch-metadata middleware track their gate per instance, so mounting a second, stricter instance still enforces (a shared request flag previously let the first, lenient mount disable it); the CSRF cookie is still issued once per response. The WebAssembly global is stripped from the sandbox worker so sandboxed code cannot JIT around the isolation. · *Lost-update races serialized* — Concurrent failure recording in the login lockout and bot-challenge gates is serialized per key, so parallel failed attempts can no longer each read the same pre-write counter and stay under the lockout / challenge threshold. The inline webhook delivery is claimed before the POST so a concurrent retry pass can't double-send it, and a transient transport failure now backs off and retries instead of being dead-lettered. **Migration:** *X-Forwarded-For trust now requires an explicit proxy allowlist* — The IP gates that enforce a security decision — network allowlist, rate limiter, and the break-glass grant IP pin — previously resolved the client IP from the leftmost X-Forwarded-For value whenever trustProxy was truthy. A direct caller could set that header to any address and walk an IP allowlist or evade a rate-limit key (CWE-290 / CWE-348). These gates now fail closed: with trustProxy set but no trustedProxies, they ignore X-Forwarded-For and use the connecting socket's peer address. To keep trusting a forwarded client IP, set trustedProxies to the CIDR(s) of your front proxy/load balancer — the client IP is then resolved by a peer-gated right-to-left walk that stops at the first hop not in the allowlist. For an allowlist / rate-limit / break-glass gate the new default is stricter (it trusts less), so an operator who has not migrated sees tighter enforcement, never looser. Display-only consumers (error pages, request logs) keep the lenient resolution and carry a docstring warning. The wiki example's WIKI_TRUST_PROXY flag is replaced by WIKI_ADMIN_TRUSTED_PROXIES (a CIDR list).
 
 - v0.15.13 (2026-06-19) — **Consolidates a large set of duplicated, security-sensitive code paths — injected-dependency validation, positive-integer option caps, TOCTOU-safe file reads, markup escaping, audit emission, structured-field parsing, and untrusted-JWK import — onto shared hardened primitives, so a fix or guard now applies everywhere at once; adds a TOCTOU-safe file reader; and makes several configuration errors throw typed framework errors instead of a bare Error.** Across the framework, logic that had been hand-rolled in many places (and had quietly drifted between copies) is now single-sourced through shared primitives. The practical effect for operators is consistency: the strongest available guard is applied everywhere a given operation happens, rather than in whichever copy happened to have it. Injected dependencies (stores, backends, vaults, db handles, query objects) are validated through one contract; operator-tunable positive-integer options (pool sizes, byte caps, timeouts, stream limits) validate through one bounds primitive that forwards the caller's non-retryable / HTTP-status flags; the open-fd → fstat → read-fully pattern that several call sites used to defend file reads against a swap-after-stat race (CWE-367) is now the b.atomicFile.fdSafeReadSync primitive, with symlink refusal, inode-equality, a byte cap, and an integrity hash available as options and each caller's exact typed error preserved; and the XML/HTML markup escapers (including the b.guardHtml / b.guardSvg sanitizer output) route through one b.markupEscape so the base & < > " chain can't drift between them. A few configuration-validation paths that threw a bare Error (httpClient.configurePool, b.db stream-limit validation) now throw the module's typed framework error. No security defaults change; this release tightens and unifies existing protections rather than adding opt-ins. **Added:** *b.atomicFile.fdSafeReadSync(filepath, opts?)* — A TOCTOU-safe synchronous file read (CWE-367 / js/file-system-race): it opens the path read-only, then binds the size, content, and integrity measurement to the inode the fd holds open, so a swap between stat and read can't change which bytes are returned. Optional guards layer on top — maxBytes (refuse an over-cap file), refuseSymlink + inodeCheck (refuse a symlink source and any inode swap, the strongest posture for operator-writable paths), expectedHash (SHA3-512), encoding (return a string), allowShortRead — and an errorFor(kind, detail) callback lets each caller keep its own typed error. The framework's own file reads (atomic-file, the TLS certificate-path loader, the sealed-PEM source reader, the backup bundle reader) all route through it. · *Shared substrate primitives for previously-duplicated logic* — A set of shared primitives now back call sites that had each re-implemented the same logic: validateOpts.requireMethods (gains a `permanent` flag) for injected-dependency contract checks; numericBounds positive-finite-int validators (gain an errorOpts { permanent, statusCode }) for tunable integer options; b.markupEscape for the & < > " markup chain; structured-field parsing helpers (parseTagList, forEachKeyValue, splitUnquoted, stripDoubleQuotes, unfoldHeaderContinuations); crypto.importPublicJwk and crypto.makeBase64UrlDecoder; safeSql.toPositional; safeBuffer.makeByteCoercer; nonceStore.enforceReplay; and the audit/observability namespaced emitters. These are mostly invisible substrate — the operator-visible benefit is that a guard or fix added to one of them now covers every caller. **Changed:** *Configuration errors throw typed framework errors* — Two configuration-validation paths that threw a bare `Error` now throw the module's typed framework error: httpClient.configurePool (bad maxSockets / maxFreeSockets / keepAliveMsecs → HttpClientError, code httpclient/bad-opts) and the b.db stream-limit validation (Query.stream → DbQueryError). The thrown error remains an Error subclass, so existing `instanceof Error` / try-catch handling is unaffected; code that matched the old free-text message should match the typed error's `code` instead. Several routed validators also report a slightly more precise message ("positive finite integer" instead of "positive integer"). **Fixed:** *Webhook deliveries retry transient transport failures instead of dead-lettering them* — A delivery that failed with a transient transport error (connection reset, timeout, 5xx) was recorded as permanently failed and dead-lettered rather than retried. The destination-safety check (SSRF / blocked-host guard) now runs in its own step and is the only permanent failure; a transport failure backs off and retries up to the configured limit. · *Webhook deliveries table creates on MySQL* — The pending-delivery index used a partial-index (WHERE) clause that MySQL does not support, so the deliveries table failed to create on a MySQL backend. The index is now dialect-aware — partial on PostgreSQL / SQLite, plain on MySQL. · *Inline webhook delivery can't be double-sent by concurrent retry processing* — An inline delivery is now claimed (status set to in-flight with a claim timestamp) before the POST, so a concurrent retry pass can't pick up and re-send the same delivery; a row left in-flight by a crash is reclaimed after the stale-claim window. · *Audit checkpoint can never be anchored against a replaced database* — close() fires a best-effort final checkpoint as the database shuts down. In a narrow close-then-reopen window that checkpoint's write could resume after a fresh database had opened and anchor the prior database's chain tip into it. checkpoint() now binds to the database it read the tip from and refuses to write (returns null, fail-closed) if that handle has since been closed or replaced — so a checkpoint is only ever written against the database it measured. **Security:** *TOCTOU-safe file reads applied uniformly* — The open-fd → fstat → read pattern that anchors a file read to one inode against a swap-after-stat race is now centralized in b.atomicFile.fdSafeReadSync, and every framework file read routes through it. The sealed-PEM source reader keeps the strongest posture (symlink refusal + inode-equality + byte cap), and those guards are now available as options to any caller — a re-introduced hand-rolled read-loop is flagged by a codebase-pattern detector. · *Injected-dependency and integer-option validation can't silently drift* — Injected stores / backends / vaults / db handles / query objects are validated through one contract (validateOpts.requireMethods), and operator-tunable positive-integer options through one bounds primitive (numericBounds), both forwarding the caller's non-retryable / HTTP-status error flags so a config error stays permanent / carries its 4xx. Inverse detectors flag any re-introduced inline check, so the validation can no longer be partially copied or weakened in one place. · *Single markup-escape chain for the HTML/SVG sanitizers* — The b.guardHtml and b.guardSvg sanitizer output escapers, the AI-Act transparency and mail HTML escapers, and the XML report escapers now share one b.markupEscape for the base & < > " chain (apostrophe form as a parameter; each caller keeps its own input coercion and any extra escapes such as guardHtml.escapeAttr's backtick / = IE-attribute-injection hardening). Byte-for-byte parity with the prior escapers was verified across an XSS-vector corpus, so the consolidation cannot have introduced an escaping gap; a re-inlined & < > " chain anywhere else is flagged by a detector. · *One hardening point for untrusted public-JWK import* — The createPublicKey-from-JWK call that imports attacker-controlled key material (DID publicKeyJwk, DNSKEY, COSE_Key, DPoP / OAuth / OIDC / DBSC proof JWKs) is centralized in b.crypto.importPublicJwk, so the untrusted-key import has a single audited home; each caller keeps its own kty/crv pre-validation and typed error. · *Linear-time Content-Security-Policy header parsing* — The CSP response-header parser split directives on a `/\s*,\s*/` regex that ran in O(n^2) on a long comma-less run of whitespace, letting a crafted header stall a worker (js/polynomial-redos). It now splits on the literal comma and trims each item, which is linear and byte-for-byte equivalent. · *Parsed INI and OpenAPI path maps can't reach Object.prototype* — The INI parser already refuses a `__proto__` / `constructor` / `prototype` section or key (it throws before any write); as defense-in-depth, every parsed node — and the OpenAPI paths map keyed by URL pattern — is now a null-prototype object, so even a future gap could only ever set an own property, never mutate Object.prototype (CWE-1321).

package/index.js

@@ -400,6 +400,7 @@ var authBotChallenge = require("./lib/auth-bot-challenge");
 var sessionDeviceBinding = require("./lib/session-device-binding");
 var acme = require("./lib/acme");
 var cert = require("./lib/cert");
+var x509Chain = require("./lib/x509-chain");
 var watcher = require("./lib/watcher");
 var localDbThin = require("./lib/local-db-thin");
 var daemon = require("./lib/daemon");
@@ -750,6 +751,7 @@ module.exports = {
   sessionDeviceBinding: sessionDeviceBinding,
   acme:             acme,
   cert:             cert,
+  x509Chain:        x509Chain,
   ntpCheck:         ntpCheck,
   tlsExporter:      tlsExporter,
   watcher:          watcher,

package/lib/atomic-file.js

@@ -1336,6 +1336,39 @@ function openNoFollowSync(filepath, mode) {
   return nodeFs.openSync(filepath, flags, mode === undefined ? 0o600 : mode);
 }
 
+/**
+ * @primitive b.atomicFile.openAppendNoFollowSync
+ * @signature b.atomicFile.openAppendNoFollowSync(filepath, mode?)
+ * @since      0.15.16
+ * @status     stable
+ * @related    b.atomicFile.openNoFollowSync, b.atomicFile.writeSync
+ *
+ * Open a path for append with `O_NOFOLLOW` so a symlink at the final path
+ * component is refused (`ELOOP`) instead of followed — the append-sink
+ * counterpart to `openNoFollowSync` (read) and `_openExclTemp` (exclusive
+ * create). For long-lived append targets a one-shot atomic write can't
+ * model: an active log file kept open across many appends and reopened on
+ * rotation. The flags are `O_WRONLY | O_APPEND | O_CREAT | O_NOFOLLOW` —
+ * the file is created (mode-applied) if absent and appended to if it is a
+ * regular file, but a symlink at the path fails the open closed rather than
+ * redirecting writes to an attacker-chosen target (CWE-59). A bare
+ * `openSync(path, "a")` instead follows such a symlink, so a caller's
+ * pre-check-then-unlink defense still races a symlink re-planted before the
+ * sink's own open — this primitive makes the symlink refusal atomic with the
+ * open. `O_NOFOLLOW` is POSIX-only; on platforms without it the flag is 0
+ * (a plain append open) — Windows symlink semantics differ and are out of
+ * scope. Throws the raw `openSync` error (caller maps `ELOOP` / `ENOENT`).
+ *
+ * @example
+ *   var fd = b.atomicFile.openAppendNoFollowSync(activeLogPath, 0o600);
+ *   fs.writeSync(fd, line);   // appends; a symlink at activeLogPath → ELOOP
+ */
+function openAppendNoFollowSync(filepath, mode) {
+  var flags = nodeFs.constants.O_WRONLY | nodeFs.constants.O_APPEND |
+    nodeFs.constants.O_CREAT | (nodeFs.constants.O_NOFOLLOW || 0);
+  return nodeFs.openSync(filepath, flags, mode === undefined ? 0o600 : mode);
+}
+
 module.exports = {
   write:             write,
   writeSync:         writeSync,
@@ -1345,6 +1378,7 @@ module.exports = {
   readSync:          readSync,
   fdSafeReadSync:    fdSafeReadSync,
   openNoFollowSync:  openNoFollowSync,
+  openAppendNoFollowSync: openAppendNoFollowSync,
   writeJson:         writeJson,
   readJson:          readJson,
   copy:              copy,

package/lib/auth/ciba.js

@@ -162,6 +162,10 @@ function create(opts) {
     tokenEndpoint:                     opts.tokenEndpoint,
     httpClientOpts:                    opts.httpClientOpts,
     allowHttp:                         opts.allowHttp === true,
+    // Thread the SSRF opt-in through to the inner client's discovery / JWKS /
+    // token fetches — an operator with an internal-network IdP needs it, and
+    // dropping it silently made allowInternal an accepted-but-ignored option.
+    allowInternal:                     opts.allowInternal,
     isOidc:                            true,
   });
 
@@ -456,10 +460,11 @@ function create(opts) {
   // returning its verified claims, or null when no id_token was supplied. A
   // present-but-invalid id_token throws (fail-closed) so a forged token's
   // sub/acr/amr can never be returned as trusted.
-  async function _verifyIdTokenIfPresent(idToken, auditKey, op) {
+  async function _verifyIdTokenIfPresent(idToken, auditKey, op, expectedAuthReqId) {
     if (!idToken) return null;
+    var verified;
     try {
-      return await inner.verifyIdToken(idToken);
+      verified = await inner.verifyIdToken(idToken);
     } catch (e) {
       _emitAudit("id_token_verify_fail", "failure",
         auditKey ? { authReqIdHash: sha3Hash(auditKey) } : {});
@@ -467,6 +472,27 @@ function create(opts) {
         "ciba." + op + ": id_token failed verification: " +
         ((e && e.code) || (e && e.message) || String(e)));
     }
+    // OpenID CIBA Core §7.3 / §10.1: the ID Token MUST carry the
+    // urn:openid:params:jwt:claim:auth_req_id claim and the RP MUST verify it
+    // equals the auth_req_id this flow used. Without it, an id_token minted for
+    // a DIFFERENT auth_req_id (another user's CIBA flow at the same RP) could be
+    // substituted — cross-user token substitution. verifyIdToken returns
+    // { header, claims }, so the claim lives on `.claims`. Constant-time compare.
+    // idToken is present (we returned early if not), so the binding is
+    // MANDATORY and ALWAYS checked — never gated behind a truthiness test that
+    // an empty string could slip. Both call sites pass a non-empty auth_req_id
+    // (validated at the parseNotification / pollToken entry), so a falsy value
+    // can't reach here to skip the comparison.
+    var payload = verified && verified.claims;
+    var boundId = payload && payload["urn:openid:params:jwt:claim:auth_req_id"];
+    if (typeof boundId !== "string" || !timingSafeEqual(boundId, expectedAuthReqId)) {
+      _emitAudit("id_token_authreqid_mismatch", "failure",
+        auditKey ? { authReqIdHash: sha3Hash(auditKey) } : {});
+      throw new AuthError("auth-ciba/id-token-authreqid-mismatch",
+        "ciba." + op + ": id_token urn:openid:params:jwt:claim:auth_req_id does not " +
+        "match the expected auth_req_id (cross-user token-substitution defense)");
+    }
+    return verified;
   }
 
   async function pollToken(popts) {
@@ -536,7 +562,7 @@ function create(opts) {
     // accepted-algorithms and enforces signature + iss/aud/exp. Returning an
     // unverified id_token let a forged token's sub/acr/amr be trusted.
     var pollClaims = await _verifyIdTokenIfPresent(rv.id_token,
-      "auth-ciba:" + popts.authReqId, "pollToken");
+      "auth-ciba:" + popts.authReqId, "pollToken", popts.authReqId);
     _emitAudit("token_received", "success", {
       authReqIdHash: sha3Hash("auth-ciba:" + popts.authReqId),
     });
@@ -631,10 +657,8 @@ function create(opts) {
       throw new AuthError("auth-ciba/no-notification-body",
         "ciba.parseNotification: body required (Buffer/string parsed by middleware)");
     }
-    if (typeof body.auth_req_id !== "string") {
-      throw new AuthError("auth-ciba/no-auth-req-id-in-body",
-        "ciba.parseNotification: body missing auth_req_id");
-    }
+    validateOpts.requireNonEmptyString(body.auth_req_id,
+      "ciba.parseNotification: auth_req_id", AuthError, "auth-ciba/no-auth-req-id-in-body");
     // Verify the pushed ID token (CIBA §10.2 / OIDC Core MUST) via the
     // composed inner OAuth client before returning it as trusted. The
     // notification-token bearer authenticates the CALLER, not the token; a
@@ -642,7 +666,7 @@ function create(opts) {
     // arbitrary id_token claims the RP would trust on the documented
     // "no follow-up call" push path.
     var pushClaims = await _verifyIdTokenIfPresent(body.id_token,
-      "auth-ciba:" + body.auth_req_id, "parseNotification");
+      "auth-ciba:" + body.auth_req_id, "parseNotification", body.auth_req_id);
     _emitAudit("notification_received", "success", {
       authReqIdHash: sha3Hash("auth-ciba:" + body.auth_req_id),
       mode:          deliveryMode,

package/lib/auth/dpop.js

@@ -317,6 +317,15 @@ async function verify(proof, opts) {
   catch (_e) { throw new AuthError("auth-dpop/malformed", "header is not valid base64url-JSON"); }
   try { payload = safeJson.parse(_b64urlDecode(parts[1]).toString("utf8")); }
   catch (_e) { throw new AuthError("auth-dpop/malformed", "payload is not valid base64url-JSON"); }
+  // safeJson.parse accepts the literal `null` / scalars, so a header segment of
+  // base64url("null") would otherwise reach `header.typ` and throw a raw
+  // TypeError rather than the typed malformed error. Require JSON objects.
+  if (!safeJson.isJsonObject(header)) {
+    throw new AuthError("auth-dpop/malformed", "header is not a JSON object");
+  }
+  if (!safeJson.isJsonObject(payload)) {
+    throw new AuthError("auth-dpop/malformed", "payload is not a JSON object");
+  }
 
   // Header checks
   if (header.typ !== "dpop+jwt") {

package/lib/auth/fido-mds3.js

@@ -214,6 +214,16 @@ function _validateChain(x5c, rootPems) {
   for (var v = 0; v < chain.length; v++) {
     var notBefore = Date.parse(chain[v].validFrom);
     var notAfter  = Date.parse(chain[v].validTo);
+    // Fail closed on an unparseable validity window: a cert whose
+    // notBefore/notAfter is present but does not parse (Date.parse ->
+    // NaN) must not slip past the window checks below — otherwise a
+    // forged / malformed validity date silently disables both the
+    // not-yet-valid and the expired guards.
+    if (!isFinite(notBefore) || !isFinite(notAfter)) {
+      throw new FidoMds3Error("fido-mds3/cert-bad-validity",
+        "x5c[" + v + "] has unparseable validity dates (validFrom=" +
+        chain[v].validFrom + ", validTo=" + chain[v].validTo + ")");
+    }
     if (isFinite(notBefore) && now < notBefore) {
       throw new FidoMds3Error("fido-mds3/cert-not-yet-valid",
         "x5c[" + v + "] is not yet valid (notBefore=" + chain[v].validFrom + ")");
@@ -550,24 +560,37 @@ function lookupAaguid(blob, aaguid) {
   return null;
 }
 
-// Pull the certified-level token out of a list of status reports. The
-// most recent FIDO_CERTIFIED_L{N}[_PLUS] report wins; if none exist,
-// the authenticator is uncertified (level 0).
+// Resolve the CURRENT certified level from the status-report history. FIDO MDS3
+// status reports are chronological; the level is whatever the MOST RECENT
+// certification-status report says — a FIDO_CERTIFIED_L{N}[_PLUS], or 0 when the
+// latest such report is NOT_FIDO_CERTIFIED (a decertification). Taking the
+// highest-ever level instead let a step-up / risk policy that requires L{N}
+// accept an authenticator that was later decertified or downgraded (the
+// certifiedLevel is the policy input, so a stale max is an authenticator-
+// assurance bypass). Ordering is by effectiveDate (ISO YYYY-MM-DD, so lexical ==
+// chronological); ties and missing dates fall back to array order (append
+// order, which the spec defines as chronological).
 function _certifiedLevel(statusReports) {
   if (!Array.isArray(statusReports)) return { level: 0, plus: false };
-  var best = { level: 0, plus: false };
+  var latest = null;
+  var latestDate = null;
   for (var i = 0; i < statusReports.length; i++) {
     var sr = statusReports[i];
-    if (!sr || typeof sr.status !== "string") continue;
-    var m = CERT_LEVEL_RE.exec(sr.status);
-    if (!m) continue;
-    var level = parseInt(m[1], 10);
-    var plus = !!m[2];
-    if (level > best.level || (level === best.level && plus && !best.plus)) {
-      best = { level: level, plus: plus };
+    // Only certification-status reports move the level: a level grant, or its
+    // explicit revocation (NOT_FIDO_CERTIFIED). Other statuses (UPDATE_AVAILABLE,
+    // REVOKED, …) are handled elsewhere and must not be read as a level. The
+    // status length is bounded before the regex test below — FIDO status tokens
+    // are short enums; bounding input before any .test() is the convention.
+    if (!sr || typeof sr.status !== "string" || sr.status.length > 64) continue;
+    if (!CERT_LEVEL_RE.test(sr.status) && sr.status !== "NOT_FIDO_CERTIFIED") continue;
+    var d = typeof sr.effectiveDate === "string" ? sr.effectiveDate : "";
+    if (latest === null || d >= latestDate) {
+      latest = sr; latestDate = d;
     }
   }
-  return best;
+  if (!latest || latest.status === "NOT_FIDO_CERTIFIED") return { level: 0, plus: false };
+  var m = CERT_LEVEL_RE.exec(latest.status);
+  return { level: parseInt(m[1], 10), plus: !!m[2] };
 }
 
 /**

package/lib/auth/jwt.js

@@ -193,6 +193,16 @@ function decode(token) {
   catch (_e) { throw new AuthError("auth-jwt/malformed", "header is not valid base64url-JSON"); }
   try { payload = safeJson.parse(_b64urlDecode(parts[1])); }
   catch (_e) { throw new AuthError("auth-jwt/malformed", "payload is not valid base64url-JSON"); }
+  // The JOSE header and the claims set MUST each be a JSON object. safeJson.parse
+  // accepts the literal `null` (a valid JSON document) and scalars/arrays, so a
+  // header segment of base64url("null") would otherwise survive to a `.crit` /
+  // `.kid` dereference and throw a raw TypeError instead of a typed AuthError.
+  if (!safeJson.isJsonObject(header)) {
+    throw new AuthError("auth-jwt/malformed", "header is not a JSON object");
+  }
+  if (!safeJson.isJsonObject(payload)) {
+    throw new AuthError("auth-jwt/malformed", "payload is not a JSON object");
+  }
   var signature;
   try { signature = _b64urlDecode(parts[2]); }
   catch (_e) { throw new AuthError("auth-jwt/malformed", "signature is not valid base64url"); }
@@ -351,10 +361,16 @@ async function verify(token, opts) {
       "token not yet valid: nbf=" + p.nbf + " (now=" + nowSec + ", tolerance=" + tol + "s)");
   }
 
-  // String-claim assertions
-  if (opts.issuer !== undefined && !_matchClaim(p.iss, opts.issuer, "iss")) {
+  // String-claim assertions. `iss` is StringOrURI (RFC 7519 §4.1.1) — a single
+  // value, not a list: reject a non-string iss before matching. Routing it
+  // through the aud-style any-of _matchClaim let an attacker-influenced
+  // multi-issuer array (iss:["evil","trusted"]) satisfy a single-issuer
+  // expectation (CVE-2025-30144 / fast-jwt iss-array class) — the same defense
+  // jwtExternal.verifyExternal and oauth.verifyIdToken already apply.
+  if (opts.issuer !== undefined &&
+      (typeof p.iss !== "string" || !_matchClaim(p.iss, opts.issuer, "iss"))) {
     throw new AuthError("auth-jwt/iss-mismatch",
-      "iss='" + p.iss + "' does not match expected " + JSON.stringify(opts.issuer));
+      "iss=" + JSON.stringify(p.iss) + " does not match expected " + JSON.stringify(opts.issuer));
   }
   if (opts.audience !== undefined && !_matchClaim(p.aud, opts.audience, "aud")) {
     throw new AuthError("auth-jwt/aud-mismatch",

package/lib/auth/oauth.js

@@ -1276,9 +1276,15 @@ function create(opts) {
     // browser session could be replayed without detection. Throw
     // loudly so the operator sees the bug at config time, not at
     // first-replay-attempt time.
-    if (isOidc && eopts.nonce === undefined && eopts.skipNonceCheck !== true) {
+    // Require a NON-EMPTY STRING nonce, not merely a defined one: a falsy
+    // nonce (null / "" — e.g. a session field that was never set) would slip a
+    // strict `=== undefined` guard, and the downstream verifier only checks the
+    // nonce when vopts.nonce is truthy, so the ID-token nonce check would be
+    // silently skipped and a token captured from another session replayed.
+    if (isOidc && eopts.skipNonceCheck !== true &&
+        (typeof eopts.nonce !== "string" || eopts.nonce.length === 0)) {
       throw new OAuthError("auth-oauth/no-nonce",
-        "exchangeCode: nonce is required on OIDC flows. Pass the " +
+        "exchangeCode: a non-empty nonce is required on OIDC flows. Pass the " +
         "value returned from authorizationUrl() through to exchangeCode " +
         "({ code, state, verifier, nonce }). Operators with a deliberate " +
         "no-nonce flow must pass `skipNonceCheck: true` (audited reason).");

package/lib/auth/password.js

@@ -434,6 +434,7 @@ function policy(opts) {
           method:        "GET",
           url:           url,
           headers:       { "User-Agent": "blamejs-password-policy/1" },
+          timeoutMs:     p.hibpTimeoutMs,
           idleTimeoutMs: p.hibpTimeoutMs,
           errorClass:    AuthError,
         });

package/lib/auth/saml.js

@@ -692,10 +692,15 @@ function create(opts) {
         if (!noaHok) continue;                                                                      // §3.1 (incorporates §3) — time-bound required
         var noaHokSec = Date.parse(noaHok) / 1000;                                                  // ms→s
         if (!isFinite(noaHokSec) || noaHokSec < nowSec - clockSkewSec) continue;                    // unparseable or expired
-        if (nbHok && isFinite(Date.parse(nbHok) / 1000) &&                                          // ms→s
-            Date.parse(nbHok) / 1000 > nowSec + clockSkewSec) continue;                             // ms→s
+        if (nbHok) {
+          // Fail CLOSED on a present-but-unparseable HoK NotBefore (same shape
+          // as the Bearer path + NotOnOrAfter above) — an unparseable bound
+          // can't establish the confirmation has begun, so skip this SCD.
+          var nbHokSec = Date.parse(nbHok) / 1000;                                                  // ms→s
+          if (!isFinite(nbHokSec) || nbHokSec > nowSec + clockSkewSec) continue;                    // unparseable or not-yet-valid
+        }
         var recipHok = _attr(scdHok, "Recipient");
-        if (recipHok && recipHok !== opts.assertionConsumerServiceUrl) continue;
+        if (!recipHok || recipHok !== opts.assertionConsumerServiceUrl) continue;   // §3.1→§4.1.4.2 — Recipient is mandatory; absent fails the endpoint binding
         hokOk = true;
         break;
       }
@@ -709,10 +714,16 @@ function create(opts) {
       var notBefore = _attr(scd, "NotBefore");
       if (notBefore) {
         var nb = Date.parse(notBefore) / 1000;                                                  // ms→s
-        if (isFinite(nb) && nb > nowSec + clockSkewSec) continue;
+        // Fail CLOSED on a present-but-unparseable NotBefore (mirrors the
+        // NotOnOrAfter line above + the Conditions block) — an unparseable
+        // bound can't establish the confirmation has begun, so skip this SCD.
+        if (!isFinite(nb) || nb > nowSec + clockSkewSec) continue;
       }
+      // §4.1.4.2 — a Bearer SubjectConfirmationData delivered to an ACS MUST
+      // carry a Recipient equal to this SP's ACS URL. Absent Recipient fails
+      // the endpoint binding (treated as a mismatch), not silently skipped.
       var recipient = _attr(scd, "Recipient");
-      if (recipient && recipient !== opts.assertionConsumerServiceUrl) {
+      if (!recipient || recipient !== opts.assertionConsumerServiceUrl) {
         continue;
       }
       var inResponseTo = _attr(scd, "InResponseTo");
@@ -774,17 +785,24 @@ function create(opts) {
     // SP). Fail closed when an audience is configured; opt out only via
     // vopts.requireAudienceRestriction === false.
     if (audience && vopts.requireAudienceRestriction !== false) {
-      var ar = conditions && _findChild(conditions, "AudienceRestriction", SAML_NS.assertion);
-      if (!ar) {
+      var ars = conditions
+        ? _findAllChildren(conditions, "AudienceRestriction", SAML_NS.assertion) : [];
+      if (ars.length === 0) {
         throw new AuthError("auth-saml/no-audience-restriction",
           "verifyResponse: assertion has no AudienceRestriction binding it to \"" +
           audience + "\" (audience-confusion defense; set requireAudienceRestriction:false to opt out)");
       }
-      var audiences = _findAllChildren(ar, "Audience", SAML_NS.assertion).map(_textContent);
-      if (audiences.indexOf(audience) === -1) {
-        throw new AuthError("auth-saml/wrong-audience",
-          "Audience \"" + audience + "\" not in assertion's AudienceRestriction (got " +
-          JSON.stringify(audiences) + ")");
+      // SAML core §2.5.1.4: multiple <AudienceRestriction> elements are
+      // AND-combined — the SP must be a member of the Audience set of EVERY
+      // one. Checking only the first let an IdP that narrowed the assertion to
+      // a DIFFERENT audience in a later restriction be accepted here.
+      for (var ari = 0; ari < ars.length; ari += 1) {
+        var audiences = _findAllChildren(ars[ari], "Audience", SAML_NS.assertion).map(_textContent);
+        if (audiences.indexOf(audience) === -1) {
+          throw new AuthError("auth-saml/wrong-audience",
+            "Audience \"" + audience + "\" not in AudienceRestriction #" + (ari + 1) +
+            " of " + ars.length + " (got " + JSON.stringify(audiences) + ")");
+        }
       }
     }
 

package/lib/crypto-field.js

@@ -1747,9 +1747,27 @@ function assertColumnResidency(table, row, args) {
   var entry = columnResidency[table];
   if (!entry || !row || !args) return null;
   var backendTag = args.backendTag || "unrestricted";
+  // SQL unquoted identifiers are case-insensitive; a raw-SQL-parsed row keeps
+  // the column token's case, so resolve each mapped column case-insensitively
+  // (a case-sensitive `row[col]` let a differently-cased column skip the gate —
+  // CWE-178). Lazily index the row's keys by lowercase; exact match wins first.
+  var rowLcIndex = null;
+  function _rowVal(c) {
+    if (Object.prototype.hasOwnProperty.call(row, c)) return row[c];
+    if (rowLcIndex === null) {
+      rowLcIndex = {};
+      var ks = Object.keys(row);
+      for (var i = 0; i < ks.length; i++) {
+        var lk = ks[i].toLowerCase();
+        if (!Object.prototype.hasOwnProperty.call(rowLcIndex, lk)) rowLcIndex[lk] = row[ks[i]];
+      }
+    }
+    return rowLcIndex[String(c).toLowerCase()];
+  }
   for (var col in entry) {
     var want = entry[col];
-    if (row[col] === undefined || row[col] === null) continue;
+    var cellVal = _rowVal(col);
+    if (cellVal === undefined || cellVal === null) continue;
     if (want === "global" || want === "unrestricted") continue;
     if (backendTag === "unrestricted") continue;
     if (backendTag !== want) {

package/lib/csp.js

@@ -210,6 +210,15 @@ function build(directives, opts) {
         throw new CspError("csp/header-injection",
           "csp.build: source '" + src + "' contains CR/LF/NUL");
       }
+      // A CSP source-expression is a single non-whitespace token. The emitter
+      // space-joins sources within a directive and ';'-joins directives, so a
+      // source containing ';' or ASCII whitespace would inject a brand-new live
+      // directive (e.g. "https://x; script-src https://evil") — refuse both.
+      if (/[\s;]/.test(src)) {
+        throw new CspError("csp/bad-source",
+          "csp.build: source '" + src + "' contains whitespace or ';' — a CSP source " +
+          "must be a single token (directive-injection defense)");
+      }
       if (!acknowledgeUnsafe && SCRIPT_DIRECTIVES.indexOf(name) !== -1 &&
           UNSAFE_KEYWORDS.indexOf(src) !== -1) {
         throw new CspError("csp/unsafe-keyword",

package/lib/daemon.js

@@ -151,7 +151,10 @@ function _maybeReapStale(pidFile) {
 function _openLogFd(logFile) {
   if (typeof logFile !== "string" || logFile.length === 0) return null;
   atomicFile.ensureDir(nodePath.dirname(logFile));
-  var fd = nodeFs.openSync(logFile, "a", DEFAULT_LOG_FILE_MODE);
+  // O_NOFOLLOW append: refuse (ELOOP) a symlink planted at the daemon log
+  // path rather than redirecting the detached process's stdout/stderr to an
+  // attacker-chosen file (CWE-59).
+  var fd = atomicFile.openAppendNoFollowSync(logFile, DEFAULT_LOG_FILE_MODE);
   return fd;
 }
 

package/lib/db-query.js

@@ -89,6 +89,19 @@ function _postureState() {
 //
 // Unregulated postures audit (drop-silent) and pass; tables with no
 // declaration are untouched.
+// Resolve a column in a raw-SQL-parsed row case-insensitively (SQL unquoted
+// identifiers fold case; the parser preserves the token). Exact match wins
+// first so a structured-builder row (keys already canonical) is unaffected.
+function _ciColumn(row, col) {
+  if (Object.prototype.hasOwnProperty.call(row, col)) return { present: true, value: row[col] };
+  var lc = String(col).toLowerCase();
+  var keys = Object.keys(row);
+  for (var i = 0; i < keys.length; i++) {
+    if (keys[i].toLowerCase() === lc) return { present: true, value: row[keys[i]] };
+  }
+  return { present: false, value: undefined };
+}
+
 function _assertLocalResidency(table, plaintextRow, op) {
   var spec = cryptoField.getPerRowResidency(table);
   var colMap = cryptoField.getColumnResidency(table);
@@ -106,9 +119,16 @@ function _assertLocalResidency(table, plaintextRow, op) {
   var regulated = state.regulated;
 
   if (spec) {
-    var tag = plaintextRow[spec.residencyColumn];
+    // SQL unquoted identifiers are case-insensitive, and the raw-SQL parser
+    // preserves the column token's case — so resolve the residency column
+    // case-insensitively. A case-sensitive lookup let `UPDATE t SET REGION=...`
+    // miss a `residencyColumn: "region"` declaration, skipping the gate and
+    // admitting a cross-border write (CWE-178 / CWE-863). Fail-safe: any
+    // spelling that could be the residency column engages the gate.
+    var resolved = _ciColumn(plaintextRow, spec.residencyColumn);
+    var tag = resolved.value;
     var tagPresent = tag !== undefined && tag !== null;
-    var colInChangeSet = Object.prototype.hasOwnProperty.call(plaintextRow, spec.residencyColumn);
+    var colInChangeSet = resolved.present;
     if (op === "insert" && !tagPresent) {
       throw new DbQueryError("db-query/row-residency-tag-missing",
         op + ": table '" + table + "' declares per-row residency on column '" +
@@ -368,6 +388,17 @@ class Query {
     return this.where(field, "IN", values);
   }
 
+  // whereNull / whereNotNull — explicit NULL predicates (IS NULL / IS NOT
+  // NULL). `where({ field: null })` / `where(field, "=", null)` is refused
+  // because `col = NULL` is UNKNOWN in SQL (never true); these are the
+  // intended way to test a column for NULL.
+  whereNull(field) {
+    return this.where(field, "IS", null);
+  }
+  whereNotNull(field) {
+    return this.where(field, "IS NOT", null);
+  }
+
   // Resolve a (field, op, value) predicate through the framework gates
   // (JSONB value guard, sealed-field → derived-hash rewrite, column
   // membership) and return the post-rewrite { field, op, value } that