@blamejs/pki 0.1.10 → 0.1.11

package/CHANGELOG.md

@@ -4,6 +4,16 @@ All notable changes to `@blamejs/pki` are documented here. The format
 follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/); this
 project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## v0.1.11 — 2026-07-05
+
+An OCSP request and response parser joins the pki.schema family.
+
+### Added
+
+- pki.schema.ocsp.parseRequest and pki.schema.ocsp.parseResponse — an OCSP request / response parser per RFC 6960 (§4.1 OCSPRequest, §4.2 OCSPResponse). parseRequest turns a DER Buffer or an 'OCSP REQUEST' PEM string into { tbsRequestBytes, version, requestorName, requestList, requestExtensions, optionalSignature }, each requestList entry carrying its CertID with the two issuer hashes raw. parseResponse turns a DER Buffer or an 'OCSP RESPONSE' PEM string into { responseStatus, responseBytes, basicResponse }; for a successful basic response, basicResponse carries { tbsResponseDataBytes, responderID, producedAt, responses, signatureAlgorithm, signature, certs } and each responses[i].certStatus is { type: 'good' | 'revoked' | 'unknown' } (a revoked entry adds its revocationTime and revocationReason). A malformed structure throws a typed OcspError (ocsp/*), an unsupported responseType throws ocsp/unsupported-response-type, and a leaf-level codec fault surfaces as asn1/*. pki.schema.ocsp.pemDecode handles the PEM envelope, and pki.schema.parse detect-and-routes both OCSP shapes.
+- pki.asn1.read.nullImplicit and the pki.schema.engine.implicitNull(tag) leaf — read a context-tagged IMPLICIT NULL (the shape the OCSP CertStatus good [0] and unknown [2] arms take), the primitive-leaf sibling of implicitBitString and implicitOctetString. It rejects a constructed or non-empty context node fail-closed.
+- An ocsp-parse coverage-guided fuzz harness joins the CI fuzzing matrix (jazzer.js + libFuzzer, per pull request and nightly), driving both OCSP entry points on mutated input.
+
 ## v0.1.10 — 2026-07-05
 
 A CMS SignedData parser joins the pki.schema family; coverage-guided fuzzing now runs in CI.

package/README.md

@@ -196,9 +196,10 @@ is callable today; nothing below is a stub.
 | `pki.schema.csr` | Parse DER / PEM PKCS#10 certification requests per RFC 2986 — subject DN, public key, requested attributes, signature, fail-closed — `parse`, `pemDecode`, `pemEncode` |
 | `pki.schema.pkcs8` | Parse DER / PEM PKCS#8 private keys per RFC 5208 / 5958 — algorithm, raw key bytes, attributes, optional public key, fail-closed; encrypted keys recognized (not decrypted) — `parse`, `parseEncrypted`, `pemDecode`, `pemEncode` |
 | `pki.schema.cms` | Parse DER / PEM CMS SignedData per RFC 5652 — encapsulated content, signer infos, raw signed-attribute bytes for external verification, certificates / CRLs kept raw, fail-closed; non-SignedData content types recognized (not decoded) — `parse`, `pemDecode`, `pemEncode` |
+| `pki.schema.ocsp` | Parse DER / PEM OCSP requests and responses per RFC 6960 — per-certificate status (good / revoked / unknown), responder identity, raw tbs bytes for external verification, certificates kept raw, fail-closed; non-basic response types recognized (not decoded) — `parseRequest`, `parseResponse`, `pemDecode` |
 | `pki.schema.engine` | The declarative ASN.1 structure-schema engine every format parser composes — `walk` plus the schema combinators |
 | `pki.C` / `pki.constants` | Version-stable constants — functional scale helpers (`C.TIME.*`, `C.BYTES.*`), codec `LIMITS`, `version` |
-| `pki.errors` | The `PkiError` taxonomy — `defineClass` plus `ConstantsError` / `Asn1Error` / `OidError` / `PemError` / `CertificateError` / `CrlError` / `CsrError` / `Pkcs8Error` / `CmsError`, each carrying a stable `code` in `domain/reason` form |
+| `pki.errors` | The `PkiError` taxonomy — `defineClass` plus `ConstantsError` / `Asn1Error` / `OidError` / `PemError` / `CertificateError` / `CrlError` / `CsrError` / `Pkcs8Error` / `CmsError` / `OcspError`, each carrying a stable `code` in `domain/reason` form |
 | `pki` CLI | `pki version`, `pki oid <dotted\|name>`, `pki parse <cert>` |
 
 ### CLI
@@ -220,6 +221,63 @@ composites) are on the roadmap and ride this same core. See
 [ROADMAP.md](ROADMAP.md) for the full plan and current status of each area, and
 [CHANGELOG.md](CHANGELOG.md) for what has landed.
 
+## Architecture
+
+Every PKI format is a thin, declarative schema over one shared engine. A parser
+declares the ASN.1 structure as data and hands it to `walk`; it never advances a
+child cursor, re-checks a tag, or re-rolls PEM handling by hand. So each
+structural rule — bounds-checked positional reads, optional / context-tagged
+field ordering, SET-OF ascending-order and uniqueness, arity, and fail-closed
+typed errors — is written **once** in the engine, and no new format can
+reintroduce the bug class it prevents. Adding a format is a schema declaration
+plus a documentation comment block, not new parse logic.
+
+```
+  Detect + route     pki.schema.parse ── detects the format, routes to a sibling
+                              │
+  Format parsers     x509   crl   csr   pkcs8   cms   ocsp      (siblings)
+  (one schema each)    └──────┴─────┴──────┴──────┴─────┘
+                              │  every sibling COMPOSES ↓
+  Shared structure   pki.schema.engine        PKIX sub-schemas
+                     walk + combinators   ·   AlgorithmIdentifier · Name ·
+                     (positional reads,       Extension · version reader ·
+                      tag ordering, SET-OF     the one coerce → decode → walk
+                      uniqueness, arity,       parse-entry (PEM cap + DER
+                      fail-closed errors)      wrapping shared, never copied)
+                              │  built on ↓
+  Foundation         pki.asn1       pki.oid          pki.errors       pki.C
+                     DER codec  ·   OID registry  ·  PkiError     ·   constants
+                     (strict,       (two-way,        taxonomy         (LIMITS,
+                      bounded)       PQC-seeded)      (domain/reason)   scale)
+
+  Crypto             pki.webcrypto ──▶ node:crypto
+                     W3C SubtleCrypto over the platform: the classical set +
+                     post-quantum ML-DSA / SLH-DSA signatures + ML-KEM keygen
+```
+
+**Foundation.** The strict, bounded DER codec (`pki.asn1`), the two-way OID
+registry (`pki.oid`), the `PkiError` taxonomy (`pki.errors`), and the
+version-stable constants (`pki.C`). These have no PKI knowledge; they are the
+bytes-and-names layer everything else stands on.
+
+**Shared structure.** The declarative schema engine (`pki.schema.engine`) and the
+PKIX sub-schemas it is fed — `AlgorithmIdentifier`, `Name`, `Extension`, the
+bounded version reader, and the single coerce → decode → walk parse-entry that
+every format's `parse` is bound to. Because input coercion, the PEM size cap, and
+the DER-decode wrapping live here once, a format cannot diverge on a guard.
+
+**Format parsers.** `x509`, `crl`, `csr`, `pkcs8`, `cms`, and `ocsp` are siblings:
+each is a schema declaration composed from the shared pieces, emitting its own
+typed `domain/reason` error codes. `pki.schema.parse` inspects a decoded root and
+detect-and-routes to the matching sibling; the detectors are mutually exclusive by
+construction, so routing is unambiguous regardless of registration order.
+
+**Crypto.** `pki.webcrypto` is a W3C `SubtleCrypto` engine over `node:crypto`,
+carrying the classical suite plus post-quantum ML-DSA / SLH-DSA signatures and
+ML-KEM key generation. Sign/verify resolves algorithms through the same OID
+registry the parsers read, so the signing surface and the parsing surface share
+one algorithm vocabulary.
+
 ## Security posture
 
 - **Zero npm runtime dependencies, nothing vendored.** The cryptography runs on

package/lib/asn1-der.js

@@ -381,6 +381,20 @@ function readNull(node) {
   return null;
 }
 
+// Read a [tag] IMPLICIT NULL — a context-class PRIMITIVE node with empty content.
+// The IMPLICIT tag replaces the universal NULL tag, so there is no inner universal
+// node. The empty-content and primitive-form rules of a universal NULL still hold.
+// Used for the OCSP CertStatus good [0] / unknown [2] arms (RFC 6960 §4.2.1).
+function readNullImplicit(node, tag) {
+  if (node.tagClass !== "context" || node.tagNumber !== tag) {
+    throw new Asn1Error("asn1/unexpected-tag", "readNullImplicit: expected context tag [" + tag +
+      "], got " + node.tagClass + "/" + node.tagNumber);
+  }
+  _expectPrimitive(node, "readNullImplicit");
+  if (node.content.length !== 0) throw new Asn1Error("asn1/bad-null", "IMPLICIT NULL must have empty content");
+  return null;
+}
+
 /**
  * @primitive  pki.asn1.readOid
  * @signature  pki.asn1.read.oid(node) -> "1.2.840.113549.1.1.11"
@@ -810,6 +824,7 @@ module.exports = {
     octetString:  readOctetString,
     octetStringImplicit: readOctetStringImplicit,
     nullValue:    readNull,
+    nullImplicit: readNullImplicit,
     oid:          readOid,
     string:       readString,
     time:         readTime,

package/lib/framework-error.js

@@ -141,6 +141,10 @@ var Pkcs8Error = defineClass("Pkcs8Error", { withCause: true });
 // SignedData (RFC 5652). Carries the underlying leaf fault as `.cause`.
 var CmsError = defineClass("CmsError", { withCause: true });
 
+// OcspError — a byte sequence that is not a well-formed OCSP request or response
+// (OCSPRequest / OCSPResponse — RFC 6960 §4). Carries the leaf fault as `.cause`.
+var OcspError = defineClass("OcspError", { withCause: true });
+
 module.exports = {
   PkiError:         PkiError,
   defineClass:      defineClass,
@@ -154,4 +158,5 @@ module.exports = {
   CsrError:         CsrError,
   Pkcs8Error:       Pkcs8Error,
   CmsError:         CmsError,
+  OcspError:        OcspError,
 };

package/lib/oid.js

@@ -65,6 +65,20 @@ var FAMILIES = {
   // PKIX private extensions (authorityInfoAccess et al).
   pkixAccess: { base: [1, 3, 6, 1, 5, 5, 7, 1], of: { authorityInfoAccess: 1 } },
 
+  // PKIX Access Descriptor methods (id-ad, RFC 5280 §4.2.2.1/§4.2.2.2). id-ad-ocsp
+  // is the arc the OCSP responder OIDs hang under; id-ad-caIssuers names the AIA
+  // CA-issuers access method.
+  adAccess: { base: [1, 3, 6, 1, 5, 5, 7, 48], of: { ocsp: 1, caIssuers: 2 } },
+
+  // OCSP (RFC 6960) on the id-pkix-ocsp arc (= id-ad-ocsp). id-pkix-ocsp-basic is
+  // the ResponseBytes.responseType this build decodes; id-pkix-ocsp-nonce (§4.4.1)
+  // names the nonce extension; the remaining members name the other OCSP extensions
+  // (CRL references, acceptable-response-types, archive-cutoff, service-locator,
+  // preferred-signature-algorithms, extended-revoke — RFC 6960 §4.4, RFC 9654).
+  ocsp: { base: [1, 3, 6, 1, 5, 5, 7, 48, 1], of: {
+    ocspBasic: 1, ocspNonce: 2, ocspCrl: 3, ocspResponse: 4, ocspNoCheck: 5,
+    ocspArchiveCutoff: 6, ocspServiceLocator: 7, ocspPrefSigAlgs: 8, ocspExtendedRevoke: 9 } },
+
   // PKCS#1 RSA public-key + RSASSA signature algorithms.
   rsa: { base: [1, 2, 840, 113549, 1, 1], of: {
     rsaEncryption: 1, rsassaPss: 10, sha256WithRSAEncryption: 11,
@@ -95,6 +109,10 @@ var FAMILIES = {
   // Edwards / Montgomery curves (RFC 8410).
   edwards: { base: [1, 3, 101], of: { X25519: 110, X448: 111, Ed25519: 112, Ed448: 113 } },
 
+  // OIW Secsig SHA-1 (1.3.14.3.2.26) — the most common OCSP CertID hashAlgorithm;
+  // nistHash covers only SHA-256 and above.
+  oiwSecsig: { base: [1, 3, 14, 3, 2], of: { sha1: 26 } },
+
   // NIST hash functions (SHA-2, SHA-3, SHAKE).
   nistHash: { base: [2, 16, 840, 1, 101, 3, 4, 2], of: {
     sha256: 1, sha384: 2, sha512: 3, "sha3-256": 8, "sha3-512": 10, shake256: 12 } },

package/lib/schema-all.js

@@ -37,6 +37,7 @@ var crl = require("./schema-crl");
 var csr = require("./schema-csr");
 var pkcs8 = require("./schema-pkcs8");
 var cms = require("./schema-cms");
+var ocsp = require("./schema-ocsp");
 var frameworkError = require("./framework-error");
 
 var SchemaError = frameworkError.SchemaError;
@@ -65,6 +66,26 @@ var FORMATS = [
     detect: cms.matches,
     parse: function (input) { return cms.parse(input); },
   },
+  {
+    // OCSPRequest ::= SEQUENCE { tbsRequest SEQUENCE, optionalSignature [0] EXPLICIT
+    // OPTIONAL } — a SEQUENCE of 1-2 whose first child is the tbsRequest SEQUENCE.
+    // Leads with a SEQUENCE like the signed-envelope trio, but is excluded by arity
+    // (the trio is EXACTLY 3 children; an OCSPRequest is 1-2), so it detects
+    // unambiguously regardless of registry order (RFC 6960 §4.1.1).
+    name: "ocsp-request",
+    module: ocsp,
+    detect: ocsp.matchesRequest,
+    parse: function (input) { return ocsp.parseRequest(input); },
+  },
+  {
+    // OCSPResponse ::= SEQUENCE { responseStatus ENUMERATED, responseBytes [0]
+    // EXPLICIT OPTIONAL } — the only registered root that leads with an ENUMERATED
+    // child, so it is disjoint from every other format (RFC 6960 §4.2.1).
+    name: "ocsp-response",
+    module: ocsp,
+    detect: ocsp.matchesResponse,
+    parse: function (input) { return ocsp.parseResponse(input); },
+  },
   {
     // PKCS#8 PrivateKeyInfo / OneAsymmetricKey — SEQUENCE whose first child is an
     // INTEGER (version) and third an OCTET STRING (privateKey); disjoint from the
@@ -120,7 +141,7 @@ var FORMATS = [
  * The names of every registered format, in detection order.
  *
  * @example
- *   pki.schema.all();  // → ["cms", "pkcs8", "csr", "crl", "x509"]
+ *   pki.schema.all();  // → ["cms", "ocsp-request", "ocsp-response", "pkcs8", "csr", "crl", "x509"]
  */
 function all() { return FORMATS.map(function (f) { return f.name; }); }
 
@@ -163,6 +184,7 @@ module.exports = {
   csr:  { parse: csr.parse,  pemDecode: csr.pemDecode, pemEncode: csr.pemEncode },
   pkcs8: { parse: pkcs8.parse, parseEncrypted: pkcs8.parseEncrypted, pemDecode: pkcs8.pemDecode, pemEncode: pkcs8.pemEncode },
   cms:  { parse: cms.parse, pemDecode: cms.pemDecode, pemEncode: cms.pemEncode },
+  ocsp: { parseRequest: ocsp.parseRequest, parseResponse: ocsp.parseResponse, pemDecode: ocsp.pemDecode },
   all: all,
   parse: parse,
 };

package/lib/schema-engine.js

@@ -104,6 +104,11 @@ function implicitBitString(tag) { return { kind: "leaf", read: function (n) { va
 // implicitBitString, for e.g. the CMS SignerIdentifier subjectKeyIdentifier [0]
 // (RFC 5652 §5.3). Yields the raw content bytes.
 function implicitOctetString(tag) { return { kind: "leaf", read: function (n) { return asn1.read.octetStringImplicit(n, tag); } }; }
+// A [tag] IMPLICIT NULL leaf (context-class primitive, empty content) — the sibling
+// of implicitBitString/implicitOctetString, for e.g. the OCSP CertStatus good [0] /
+// unknown [2] arms (RFC 6960 §4.2.1). Yields null; rejects a constructed or
+// non-empty [tag] node fail-closed.
+function implicitNull(tag) { return { kind: "leaf", read: function (n) { return asn1.read.nullImplicit(n, tag); } }; }
 function any()            { return { kind: "any" }; }
 function decode(fn)       { return { kind: "decode", fn: fn }; }
 
@@ -376,6 +381,7 @@ module.exports = {
   // leaves
   oidLeaf: oidLeaf, integerLeaf: integerLeaf, boolean: boolean, octetString: octetString,
   bitString: bitString, implicitBitString: implicitBitString, implicitOctetString: implicitOctetString,
+  implicitNull: implicitNull,
   any: any, decode: decode, time: time,
   // engine
   walk: walk,

package/lib/schema-ocsp.js

@@ -0,0 +1,571 @@
+// SPDX-License-Identifier: Apache-2.0
+// Copyright (c) blamejs contributors
+"use strict";
+/**
+ * @module     pki.schema.ocsp
+ * @nav        Schema
+ * @title      OCSP
+ * @order      150
+ * @slug       ocsp
+ *
+ * @intro
+ *   OCSP request and response handling per RFC 6960 (§4.1 OCSPRequest, §4.2
+ *   OCSPResponse). Two entry points — `parseRequest` and `parseResponse` — turn a
+ *   DER or PEM message into a structured object. A response is a two-stage
+ *   OID-dispatch: `OCSPResponse` carries an ENUMERATED `responseStatus` and an
+ *   OPTIONAL `responseBytes`; when the `responseType` is `id-pkix-ocsp-basic` its
+ *   `response` OCTET STRING content is a fresh DER `BasicOCSPResponse` that is
+ *   decoded and walked, so the per-certificate statuses surface structurally.
+ *
+ *   OCSP is a signed protocol: the bytes an external verifier must hash are surfaced
+ *   RAW and never re-serialized. `tbsRequestBytes` and `tbsResponseDataBytes` are the
+ *   exact on-wire `tbsRequest` / `ResponseData` TLVs; each `CertID` surfaces its
+ *   `issuerNameHash` / `issuerKeyHash` as raw octets, and the responder's `byKey`
+ *   hash and the raw `signature` bytes are left for the caller to verify. Embedded
+ *   certificates are surfaced as raw DER, so an unknown alternative never fails the
+ *   parse. DER-only, fail-closed.
+ *
+ * @card
+ *   Parse DER / PEM OCSP requests and responses (RFC 6960) into structured,
+ *   validated fields — per-certificate status, responder identity, raw tbs bytes for
+ *   external verification, certificates kept raw, fail-closed.
+ */
+
+var asn1 = require("./asn1-der");
+var schema = require("./schema-engine");
+var pkix = require("./schema-pkix");
+var oid = require("./oid");
+var frameworkError = require("./framework-error");
+
+var OcspError = frameworkError.OcspError;
+var PemError = frameworkError.PemError;
+
+// The ocsp error namespace the schema engine walks under.
+var NS = pkix.makeNS("ocsp", OcspError, oid);
+
+var ALGORITHM_IDENTIFIER = pkix.algorithmIdentifier(NS);
+var NAME = pkix.name(NS);
+var EXTENSIONS = pkix.extensions(NS);
+
+// Version ::= INTEGER { v1(0) }. OCSP defines only v1(0), which DER forbids
+// encoding (it is the DEFAULT), so ANY explicitly-encoded version is a fault; the
+// empty accept map rejects every value and absence yields the default 1.
+var VERSION = pkix.versionReader(NS, {});
+
+// id-pkix-ocsp-basic is the one ResponseBytes.responseType this build decodes; any
+// other is recognized-and-deferred. Resolved from the registry, never a literal.
+var OID_OCSP_BASIC = oid.byName("ocspBasic");
+
+// OCSPResponseStatus ::= ENUMERATED — value 4 is "not used" and >= 7 is undefined,
+// so both are rejected (RFC 6960 §4.2.1).
+var STATUS_NAMES = { "0": "successful", "1": "malformedRequest", "2": "internalError", "3": "tryLater", "5": "sigRequired", "6": "unauthorized" };
+
+// CRLReason ::= ENUMERATED — value 7 is "not used"; the rest are RFC 5280 §5.3.1.
+var CRL_REASONS = { "0": "unspecified", "1": "keyCompromise", "2": "cACompromise", "3": "affiliationChanged", "4": "superseded", "5": "cessationOfOperation", "6": "certificateHold", "8": "removeFromCRL", "9": "privilegeWithdrawn", "10": "aACompromise" };
+
+// ---- shared leaves ---------------------------------------------------
+
+// A GeneralizedTime-only leaf. OCSP times (producedAt / thisUpdate / nextUpdate /
+// revocationTime) are GeneralizedTime, never UTCTime (RFC 6960); assert the tag
+// before the codec reads it so a UTCTime is rejected ocsp/bad-time.
+var GENERALIZED_TIME = schema.decode(function (n, ctx) {
+  if (n.tagClass !== "universal" || n.tagNumber !== asn1.TAGS.GENERALIZED_TIME) {
+    throw ctx.E("ocsp/bad-time", "OCSP time must be a GeneralizedTime (RFC 6960)");
+  }
+  return asn1.read.time(n);
+});
+
+// OCSPResponseStatus decode-and-whitelist leaf. read.enumerated is tag-checked, so
+// an INTEGER-encoded status is rejected at the leaf (asn1/unexpected-tag).
+var OCSP_RESPONSE_STATUS = schema.decode(function (n, ctx) {
+  var v = asn1.read.enumerated(n);
+  var key = v.toString();
+  if (!Object.prototype.hasOwnProperty.call(STATUS_NAMES, key)) throw ctx.E("ocsp/bad-response-status", "undefined OCSPResponseStatus " + key + " (RFC 6960 §4.2.1)");
+  return { code: Number(v), name: STATUS_NAMES[key] };
+});
+
+// CRLReason decode-and-whitelist leaf.
+var CRL_REASON = schema.decode(function (n, ctx) {
+  var v = asn1.read.enumerated(n);
+  var key = v.toString();
+  if (!Object.prototype.hasOwnProperty.call(CRL_REASONS, key)) throw ctx.E("ocsp/bad-revocation-reason", "undefined CRLReason " + key + " (RFC 5280 §5.3.1)");
+  return CRL_REASONS[key];
+});
+
+// A certs [0] SEQUENCE OF Certificate element. Unlike the CMS CertificateChoices
+// (a tagged CHOICE), an OCSP certs element is a plain Certificate — a universal
+// SEQUENCE (RFC 5280 §4.1) — so assert that shape before surfacing its raw DER, and
+// reject a non-SEQUENCE element rather than reporting arbitrary bytes as a cert.
+function certificateBytes() {
+  return schema.decode(function (n, ctx) {
+    if (n.tagClass !== "universal" || n.tagNumber !== asn1.TAGS.SEQUENCE || !n.children) {
+      throw ctx.E("ocsp/bad-certs", "each certs element must be a Certificate (a SEQUENCE) (RFC 6960 §4.1.1/§4.2.1)");
+    }
+    return n.bytes;
+  });
+}
+
+// requestorName [1] EXPLICIT GeneralName — GeneralName ::= CHOICE (RFC 5280
+// §4.2.1.6). We keep the value RAW (no pkix.generalName factory yet), but validate
+// the chosen alternative's tag AND form/content so a malformed GeneralName fails
+// closed rather than passing the signed-request requestorName guard: the constructed
+// alternatives (otherName [0], x400Address [3], directoryName [4], ediPartyName [5])
+// must be constructed; rfc822Name [1] / dNSName [2] / uniformResourceIdentifier [6]
+// are primitive IA5String (7-bit); iPAddress [7] is a 4- or 16-octet OCTET STRING;
+// registeredID [8] is a primitive OBJECT IDENTIFIER.
+var GN_CONSTRUCTED = { 0: 1, 3: 1, 4: 1, 5: 1 };
+var GN_IA5 = { 1: 1, 2: 1, 6: 1 };
+function _validateGeneralName(n, ctx) {
+  if (n.tagClass !== "context" || n.tagNumber < 0 || n.tagNumber > 8) {
+    throw ctx.E("ocsp/bad-requestor-name", "requestorName must be a GeneralName (context tag [0]..[8]) (RFC 6960 §4.1.1)");
+  }
+  var t = n.tagNumber;
+  var constructed = !!n.children;
+  if (GN_CONSTRUCTED[t]) {
+    if (!constructed || n.children.length < 1) throw ctx.E("ocsp/bad-requestor-name", "GeneralName [" + t + "] must be a non-empty constructed value (RFC 5280 §4.2.1.6)");
+    if (t === 0) {
+      // otherName ::= SEQUENCE { type-id OBJECT IDENTIFIER, value [0] EXPLICIT ANY } —
+      // both fields mandatory: exactly two children, a type-id OID and a [0] EXPLICIT
+      // value wrapper carrying exactly one inner value.
+      if (n.children.length !== 2) throw ctx.E("ocsp/bad-requestor-name", "GeneralName otherName [0] must be a SEQUENCE { type-id, value [0] } (RFC 5280 §4.2.1.6)");
+      try { asn1.read.oid(n.children[0]); }
+      catch (e) { throw ctx.E("ocsp/bad-requestor-name", "GeneralName otherName [0] must lead with a type-id OBJECT IDENTIFIER", e); }
+      var v = n.children[1];
+      if (!(v.tagClass === "context" && v.tagNumber === 0 && v.children && v.children.length === 1)) {
+        throw ctx.E("ocsp/bad-requestor-name", "GeneralName otherName [0] value must be a [0] EXPLICIT wrapper carrying exactly one value");
+      }
+    } else if (t === 4) {
+      // directoryName [4] EXPLICIT Name — validate the wrapped RDNSequence.
+      if (n.children.length !== 1) throw ctx.E("ocsp/bad-requestor-name", "GeneralName directoryName [4] must wrap exactly one Name (RFC 5280 §4.2.1.6)");
+      schema.walk(NAME, n.children[0], ctx);
+    }
+    // x400Address [3] / ediPartyName [5]: validated to non-empty constructed form
+    // (their full ORAddress / EDIPartyName bodies are above the requestorName altitude).
+  } else {
+    if (constructed) throw ctx.E("ocsp/bad-requestor-name", "GeneralName [" + t + "] must be primitive (RFC 5280 §4.2.1.6)");
+    if (GN_IA5[t]) {
+      if (n.content.length === 0) throw ctx.E("ocsp/bad-requestor-name", "GeneralName [" + t + "] must be a non-empty IA5String");
+      for (var i = 0; i < n.content.length; i++) {
+        if (n.content[i] > 0x7f) throw ctx.E("ocsp/bad-requestor-name", "GeneralName [" + t + "] must be an IA5String (7-bit)");
+      }
+    } else if (t === 7) {
+      if (n.content.length !== 4 && n.content.length !== 16) throw ctx.E("ocsp/bad-requestor-name", "GeneralName iPAddress [7] must be a 4- or 16-octet address");
+    } else if (t === 8) {
+      try { asn1.decodeOidContent(n.content); }
+      catch (e) { throw ctx.E("ocsp/bad-requestor-name", "GeneralName registeredID [8] must be a valid OBJECT IDENTIFIER", e); }
+    }
+  }
+  return { bytes: n.bytes, tagClass: n.tagClass, tagNumber: n.tagNumber };
+}
+var GENERAL_NAME_RAW = schema.decode(_validateGeneralName);
+
+// An OCSP signature BIT STRING is a byte string handed to a cryptographic verifier,
+// so it MUST be octet-aligned (0 unused bits); a non-octet-aligned signature is
+// malformed. Shared by the request Signature and the BasicOCSPResponse.
+function _rawSignature(field) {
+  var sig = field.value;
+  if (sig.unusedBits !== 0) throw NS.E("ocsp/bad-signature", "an OCSP signature BIT STRING must be octet-aligned (0 unused bits)");
+  return sig.bytes;
+}
+
+// certs [0] EXPLICIT SEQUENCE OF Certificate — each element raw. Shared by the
+// request Signature and the BasicOCSPResponse.
+var CERTS = schema.seqOf(certificateBytes(), { assert: "sequence", code: "ocsp/bad-certs", what: "certs" });
+
+// ---- CertID (shared request + response) ------------------------------
+
+// CertID ::= SEQUENCE { hashAlgorithm AlgorithmIdentifier, issuerNameHash OCTET
+// STRING, issuerKeyHash OCTET STRING, serialNumber CertificateSerialNumber }
+// (RFC 6960 §4.1.1). The two hashes are surfaced raw for the caller to verify.
+var CERT_ID = schema.seq([
+  schema.field("hashAlgorithm", ALGORITHM_IDENTIFIER),
+  schema.field("issuerNameHash", schema.octetString()),
+  schema.field("issuerKeyHash", schema.octetString()),
+  schema.field("serialNumber", schema.integerLeaf()),
+], {
+  assert: "sequence", arity: { exact: 4 }, code: "ocsp/bad-cert-id", what: "CertID",
+  build: function (m) {
+    return {
+      hashAlgorithm: m.fields.hashAlgorithm.value.result,
+      issuerNameHash: m.fields.issuerNameHash.value,
+      issuerKeyHash: m.fields.issuerKeyHash.value,
+      serialNumber: m.fields.serialNumber.value,
+      serialNumberHex: m.fields.serialNumber.node.content.toString("hex"),
+    };
+  },
+});
+
+// ---- response tree ---------------------------------------------------
+
+// RevokedInfo ::= SEQUENCE { revocationTime GeneralizedTime, revocationReason [0]
+// EXPLICIT CRLReason OPTIONAL } (RFC 6960 §4.2.1). Walked on the [1] IMPLICIT node,
+// so assert:"constructed" (the context tag replaced the universal SEQUENCE tag).
+var REVOKED_INFO = schema.seq([
+  schema.field("revocationTime", GENERALIZED_TIME),
+  schema.trailing([
+    { tag: 0, name: "revocationReason", schema: CRL_REASON, explicit: true, emptyCode: "ocsp/bad-revoked-info" },
+  ], { minTag: 0, maxTag: 0, unexpectedCode: "ocsp/bad-revoked-info", orderCode: "ocsp/bad-revoked-info" }),
+], {
+  assert: "constructed", code: "ocsp/bad-revoked-info", what: "RevokedInfo",
+  build: function (m) {
+    return {
+      revocationTime: m.fields.revocationTime.value,
+      revocationReason: m.fields.revocationReason.present ? m.fields.revocationReason.value : null,
+    };
+  },
+});
+
+// CertStatus ::= CHOICE { good [0] IMPLICIT NULL, revoked [1] IMPLICIT RevokedInfo,
+// unknown [2] IMPLICIT NULL } (RFC 6960 §4.2.1). good/unknown are primitive empty
+// context nodes; revoked is a constructed context [1] whose body is RevokedInfo.
+var CERT_STATUS = schema.choice([
+  { when: { tagClass: "context", tagNumber: 0 }, schema: schema.implicitNull(0) },
+  { when: { tagClass: "context", tagNumber: 1 }, schema: REVOKED_INFO },
+  { when: { tagClass: "context", tagNumber: 2 }, schema: schema.implicitNull(2) },
+], { code: "ocsp/bad-cert-status", what: "CertStatus" });
+
+function _shapeCertStatus(field) {
+  var t = field.node.tagNumber;
+  if (t === 0) return { type: "good" };
+  if (t === 2) return { type: "unknown" };
+  var ri = field.value.result;
+  return { type: "revoked", revocationTime: ri.revocationTime, revocationReason: ri.revocationReason };
+}
+
+// SingleResponse ::= SEQUENCE { certID, certStatus, thisUpdate GeneralizedTime,
+// nextUpdate [0] EXPLICIT GeneralizedTime OPTIONAL, singleExtensions [1] EXPLICIT
+// Extensions OPTIONAL } (RFC 6960 §4.2.1). certStatus is consumed positionally
+// (before thisUpdate), so its context [0] good arm cannot be confused with the
+// trailing nextUpdate [0].
+var SINGLE_RESPONSE = schema.seq([
+  schema.field("certID", CERT_ID),
+  schema.field("certStatus", CERT_STATUS),
+  schema.field("thisUpdate", GENERALIZED_TIME),
+  schema.trailing([
+    { tag: 0, name: "nextUpdate", schema: GENERALIZED_TIME, explicit: true, emptyCode: "ocsp/bad-single-response" },
+    { tag: 1, name: "singleExtensions", schema: EXTENSIONS, explicit: true, emptyCode: "ocsp/bad-single-response" },
+  ], { minTag: 0, maxTag: 1, unexpectedCode: "ocsp/bad-single-response", orderCode: "ocsp/bad-single-response" }),
+], {
+  assert: "sequence", code: "ocsp/bad-single-response", what: "SingleResponse",
+  build: function (m) {
+    return {
+      certID: m.fields.certID.value.result,
+      certStatus: _shapeCertStatus(m.fields.certStatus),
+      thisUpdate: m.fields.thisUpdate.value,
+      nextUpdate: m.fields.nextUpdate.present ? m.fields.nextUpdate.value : null,
+      singleExtensions: m.fields.singleExtensions.present ? m.fields.singleExtensions.value.result : null,
+    };
+  },
+});
+
+// ResponderID ::= CHOICE { byName [1] Name, byKey [2] KeyHash } (RFC 6960 §4.2.1) —
+// both EXPLICIT (the module is EXPLICIT TAGS). byKey is an EXPLICIT-wrapped universal
+// OCTET STRING (0xA2 04 ...), NOT an IMPLICIT primitive [2].
+var RESPONDER_ID = schema.choice([
+  { when: { tagClass: "context", tagNumber: 1 }, schema: schema.explicit(1, NAME, { code: "ocsp/bad-responder-id" }) },
+  { when: { tagClass: "context", tagNumber: 2 }, schema: schema.explicit(2, schema.octetString(), { code: "ocsp/bad-responder-id" }) },
+], { code: "ocsp/bad-responder-id", what: "ResponderID" });
+
+function _shapeResponderID(field) {
+  if (field.node.tagNumber === 1) return { byName: field.value.result };
+  // RFC 6960 §4.2.1 — KeyHash is the SHA-1 hash of the responder's public key, so a
+  // conformant byKey ResponderID is exactly 20 octets; reject any other length.
+  var keyHash = field.value;
+  if (keyHash.length !== 20) throw NS.E("ocsp/bad-responder-id", "ResponderID byKey (KeyHash) must be a 20-byte SHA-1 hash (RFC 6960 §4.2.1)");
+  return { byKey: keyHash };
+}
+
+// ResponseData ::= SEQUENCE { version [0] EXPLICIT DEFAULT v1, responderID,
+// producedAt GeneralizedTime, responses SEQUENCE OF SingleResponse,
+// responseExtensions [1] EXPLICIT Extensions OPTIONAL } (RFC 6960 §4.2.1).
+var RESPONSE_DATA = schema.seq([
+  schema.optional("version", VERSION, { tag: 0, explicit: true, default: 1, emptyCode: "ocsp/bad-version" }),
+  schema.field("responderID", RESPONDER_ID),
+  schema.field("producedAt", GENERALIZED_TIME),
+  schema.field("responses", schema.seqOf(SINGLE_RESPONSE, { assert: "sequence", min: 1, code: "ocsp/bad-responses", what: "responses" })),
+  schema.trailing([
+    { tag: 1, name: "responseExtensions", schema: EXTENSIONS, explicit: true, emptyCode: "ocsp/bad-response-data" },
+  ], { minTag: 1, maxTag: 1, unexpectedCode: "ocsp/bad-response-data", orderCode: "ocsp/bad-response-data" }),
+], {
+  assert: "sequence", code: "ocsp/bad-response-data", what: "ResponseData",
+  build: function (m) {
+    return {
+      version: m.fields.version.value,
+      responderID: _shapeResponderID(m.fields.responderID),
+      producedAt: m.fields.producedAt.value,
+      responses: m.fields.responses.value.items.map(function (it) { return it.value.result; }),
+      responseExtensions: m.fields.responseExtensions.present ? m.fields.responseExtensions.value.result : null,
+    };
+  },
+});
+
+// BasicOCSPResponse ::= SEQUENCE { tbsResponseData ResponseData, signatureAlgorithm
+// AlgorithmIdentifier, signature BIT STRING, certs [0] EXPLICIT SEQUENCE OF
+// Certificate OPTIONAL } (RFC 6960 §4.2.1). tbsResponseData.node.bytes is the exact
+// signed region (no CMS-style re-tag divergence — the clean case).
+var BASIC_OCSP_RESPONSE = schema.seq([
+  schema.field("tbsResponseData", RESPONSE_DATA),
+  schema.field("signatureAlgorithm", ALGORITHM_IDENTIFIER),
+  schema.field("signature", schema.bitString()),
+  schema.trailing([
+    { tag: 0, name: "certs", schema: CERTS, explicit: true, emptyCode: "ocsp/bad-basic-response" },
+  ], { minTag: 0, maxTag: 0, unexpectedCode: "ocsp/bad-basic-response", orderCode: "ocsp/bad-basic-response" }),
+], {
+  assert: "sequence", code: "ocsp/bad-basic-response", what: "BasicOCSPResponse",
+  build: function (m) {
+    var tbs = m.fields.tbsResponseData.value.result;
+    return {
+      tbsResponseDataBytes: m.fields.tbsResponseData.node.bytes,
+      version: tbs.version,
+      responderID: tbs.responderID,
+      producedAt: tbs.producedAt,
+      responses: tbs.responses,
+      responseExtensions: tbs.responseExtensions,
+      signatureAlgorithm: m.fields.signatureAlgorithm.value.result,
+      signature: _rawSignature(m.fields.signature),
+      certs: m.fields.certs.present ? m.fields.certs.value.items.map(function (it) { return it.value; }) : [],
+    };
+  },
+});
+
+// ResponseBytes ::= SEQUENCE { responseType OBJECT IDENTIFIER, response OCTET STRING }
+// (RFC 6960 §4.2.1). For id-pkix-ocsp-basic the response OCTET STRING content is a
+// fresh DER BasicOCSPResponse (decoded + walked); an unknown responseType is
+// recognized-and-deferred with a precise ocsp/unsupported-response-type.
+var RESPONSE_BYTES = schema.seq([
+  schema.field("responseType", schema.oidLeaf()),
+  schema.field("response", schema.octetString()),
+], {
+  assert: "sequence", arity: { exact: 2 }, code: "ocsp/bad-response-bytes", what: "ResponseBytes",
+  build: function (m, ctx) {
+    var responseType = m.fields.responseType.value;
+    var raw = m.fields.response.value;
+    if (responseType !== OID_OCSP_BASIC) {
+      throw NS.E("ocsp/unsupported-response-type", (ctx.oid.name(responseType) || responseType) + " is not id-pkix-ocsp-basic (RFC 6960 §4.2.1)");
+    }
+    var inner;
+    try { inner = asn1.decode(raw); }
+    catch (e) { throw NS.E("ocsp/bad-der", "BasicOCSPResponse DER did not decode: " + ((e && e.message) || String(e)), e); }
+    return {
+      responseType: responseType,
+      responseTypeName: ctx.oid.name(responseType) || null,
+      response: raw,
+      basicResponse: schema.walk(BASIC_OCSP_RESPONSE, inner, ctx).result,
+    };
+  },
+});
+
+// OCSPResponse ::= SEQUENCE { responseStatus OCSPResponseStatus, responseBytes [0]
+// EXPLICIT ResponseBytes OPTIONAL } (RFC 6960 §4.2.1). The status <-> responseBytes
+// biconditional (successful iff responseBytes present) is the OCSP-specific
+// cross-field guard.
+var OCSP_RESPONSE = schema.seq([
+  schema.field("responseStatus", OCSP_RESPONSE_STATUS),
+  schema.optional("responseBytes", RESPONSE_BYTES, { tag: 0, explicit: true, emptyCode: "ocsp/bad-ocsp-response" }),
+], {
+  assert: "sequence", arity: { min: 1 }, code: "ocsp/bad-ocsp-response", what: "OCSPResponse",
+  build: function (m) {
+    var status = m.fields.responseStatus.value;
+    var present = m.fields.responseBytes.present;
+    // RFC 6960 §4.2.1 — a successful response MUST carry responseBytes; any other
+    // status MUST NOT (there is nothing to convey but the status).
+    if (status.code === 0 && !present) throw NS.E("ocsp/bad-response-bytes", "a successful OCSPResponse must carry responseBytes (RFC 6960 §4.2.1)");
+    if (status.code !== 0 && present) throw NS.E("ocsp/bad-response-bytes", "a non-successful OCSPResponse must not carry responseBytes (RFC 6960 §4.2.1)");
+    var rb = present ? m.fields.responseBytes.value.result : null;
+    return {
+      responseStatus: status,
+      responseBytes: rb ? { responseType: rb.responseType, responseTypeName: rb.responseTypeName, response: rb.response } : null,
+      basicResponse: rb ? rb.basicResponse : null,
+    };
+  },
+});
+
+// ---- request tree ----------------------------------------------------
+
+// Request ::= SEQUENCE { reqCert CertID, singleRequestExtensions [0] EXPLICIT
+// Extensions OPTIONAL } (RFC 6960 §4.1.1).
+var REQUEST = schema.seq([
+  schema.field("reqCert", CERT_ID),
+  schema.trailing([
+    { tag: 0, name: "singleRequestExtensions", schema: EXTENSIONS, explicit: true, emptyCode: "ocsp/bad-request" },
+  ], { minTag: 0, maxTag: 0, unexpectedCode: "ocsp/bad-request", orderCode: "ocsp/bad-request" }),
+], {
+  assert: "sequence", code: "ocsp/bad-request", what: "Request",
+  build: function (m) {
+    return {
+      certID: m.fields.reqCert.value.result,
+      singleRequestExtensions: m.fields.singleRequestExtensions.present ? m.fields.singleRequestExtensions.value.result : null,
+    };
+  },
+});
+
+// Signature ::= SEQUENCE { signatureAlgorithm AlgorithmIdentifier, signature BIT
+// STRING, certs [0] EXPLICIT SEQUENCE OF Certificate OPTIONAL } (RFC 6960 §4.1.1).
+var SIGNATURE = schema.seq([
+  schema.field("signatureAlgorithm", ALGORITHM_IDENTIFIER),
+  schema.field("signature", schema.bitString()),
+  schema.trailing([
+    { tag: 0, name: "certs", schema: CERTS, explicit: true, emptyCode: "ocsp/bad-signature" },
+  ], { minTag: 0, maxTag: 0, unexpectedCode: "ocsp/bad-signature", orderCode: "ocsp/bad-signature" }),
+], {
+  assert: "sequence", code: "ocsp/bad-signature", what: "Signature",
+  build: function (m) {
+    return {
+      signatureAlgorithm: m.fields.signatureAlgorithm.value.result,
+      signature: _rawSignature(m.fields.signature),
+      certs: m.fields.certs.present ? m.fields.certs.value.items.map(function (it) { return it.value; }) : [],
+    };
+  },
+});
+
+// TBSRequest ::= SEQUENCE { version [0] EXPLICIT DEFAULT v1, requestorName [1]
+// EXPLICIT GeneralName OPTIONAL, requestList SEQUENCE OF Request, requestExtensions
+// [2] EXPLICIT Extensions OPTIONAL } (RFC 6960 §4.1.1). requestorName is surfaced
+// raw (GeneralName is a wide CHOICE with no factory yet).
+var TBS_REQUEST = schema.seq([
+  schema.optional("version", VERSION, { tag: 0, explicit: true, default: 1, emptyCode: "ocsp/bad-version" }),
+  schema.optional("requestorName", GENERAL_NAME_RAW, { tag: 1, explicit: true, emptyCode: "ocsp/bad-requestor-name" }),
+  schema.field("requestList", schema.seqOf(REQUEST, { assert: "sequence", min: 1, code: "ocsp/bad-request-list", what: "requestList" })),
+  schema.trailing([
+    { tag: 2, name: "requestExtensions", schema: EXTENSIONS, explicit: true, emptyCode: "ocsp/bad-tbs-request" },
+  ], { minTag: 2, maxTag: 2, unexpectedCode: "ocsp/bad-tbs-request", orderCode: "ocsp/bad-tbs-request" }),
+], {
+  assert: "sequence", code: "ocsp/bad-tbs-request", what: "TBSRequest",
+  build: function (m) {
+    var rn = m.fields.requestorName;
+    return {
+      version: m.fields.version.value,
+      requestorName: rn.present ? { bytes: rn.value.bytes, tagClass: rn.value.tagClass, tagNumber: rn.value.tagNumber } : null,
+      requestList: m.fields.requestList.value.items.map(function (it) { return it.value.result; }),
+      requestExtensions: m.fields.requestExtensions.present ? m.fields.requestExtensions.value.result : null,
+    };
+  },
+});
+
+// OCSPRequest ::= SEQUENCE { tbsRequest TBSRequest, optionalSignature [0] EXPLICIT
+// Signature OPTIONAL } (RFC 6960 §4.1.1). tbsRequest.node.bytes is the raw signed
+// region for external verification.
+var OCSP_REQUEST = schema.seq([
+  schema.field("tbsRequest", TBS_REQUEST),
+  schema.optional("optionalSignature", SIGNATURE, { tag: 0, explicit: true, emptyCode: "ocsp/not-a-request" }),
+], {
+  assert: "sequence", arity: { min: 1 }, code: "ocsp/not-a-request", what: "OCSPRequest",
+  build: function (m) {
+    var tbs = m.fields.tbsRequest.value.result;
+    var optionalSignature = m.fields.optionalSignature.present ? m.fields.optionalSignature.value.result : null;
+    // RFC 6960 §4.1.2 — if the request is signed, the requestor SHALL specify its
+    // name in requestorName (the identity the signature binds to). A signed request
+    // without it is internally inconsistent; reject fail-closed.
+    if (optionalSignature && tbs.requestorName === null) {
+      throw NS.E("ocsp/missing-requestor-name", "a signed OCSPRequest must specify requestorName (RFC 6960 §4.1.2)");
+    }
+    return {
+      tbsRequestBytes: m.fields.tbsRequest.node.bytes,
+      version: tbs.version,
+      requestorName: tbs.requestorName,
+      requestList: tbs.requestList,
+      requestExtensions: tbs.requestExtensions,
+      optionalSignature: optionalSignature,
+    };
+  },
+});
+
+/**
+ * @primitive  pki.schema.ocsp.parseRequest
+ * @signature  pki.schema.ocsp.parseRequest(input) -> ocspRequest
+ * @since      0.1.11
+ * @status     experimental
+ * @spec       RFC 6960
+ * @related    pki.schema.ocsp.parseResponse, pki.schema.parse
+ *
+ * Parse a DER `Buffer` or a PEM (`OCSP REQUEST`) string into a structured
+ * OCSPRequest: `{ tbsRequestBytes, version, requestorName, requestList,
+ * requestExtensions, optionalSignature }`. `tbsRequestBytes` is the exact on-wire
+ * `tbsRequest` TLV for external signature verification; each `requestList` entry
+ * carries its `CertID` (with the two issuer hashes raw). A malformed structure
+ * throws a typed `OcspError` (`ocsp/*`) and a leaf-level codec fault surfaces as
+ * `asn1/*`.
+ *
+ * @example
+ *   var req = pki.schema.ocsp.parseRequest(der);
+ *   req.requestList[0].certID.serialNumberHex;   // -> "1332"
+ */
+var parseRequest = pkix.makeParser({ pemLabel: "OCSP REQUEST", PemError: PemError, ErrorClass: OcspError, prefix: "ocsp", what: "OCSP request", topSchema: OCSP_REQUEST, ns: NS });
+
+/**
+ * @primitive  pki.schema.ocsp.parseResponse
+ * @signature  pki.schema.ocsp.parseResponse(input) -> ocspResponse
+ * @since      0.1.11
+ * @status     experimental
+ * @spec       RFC 6960
+ * @related    pki.schema.ocsp.parseRequest, pki.schema.parse
+ *
+ * Parse a DER `Buffer` or a PEM (`OCSP RESPONSE`) string into a structured
+ * OCSPResponse: `{ responseStatus, responseBytes, basicResponse }`. For a successful
+ * basic response, `basicResponse` carries `{ tbsResponseDataBytes, responderID,
+ * producedAt, responses, signatureAlgorithm, signature, certs }`; each
+ * `responses[i].certStatus` is `{ type: "good" | "revoked" | "unknown" }`. A
+ * non-successful status carries no `responseBytes`. A malformed structure throws a
+ * typed `OcspError` (`ocsp/*`); an unsupported `responseType` throws
+ * `ocsp/unsupported-response-type`.
+ *
+ * @example
+ *   var res = pki.schema.ocsp.parseResponse(der);
+ *   res.responseStatus.name;                       // -> "successful"
+ *   res.basicResponse.responses[0].certStatus.type; // -> "good" | "revoked" | "unknown"
+ */
+var parseResponse = pkix.makeParser({ pemLabel: "OCSP RESPONSE", PemError: PemError, ErrorClass: OcspError, prefix: "ocsp", what: "OCSP response", topSchema: OCSP_RESPONSE, ns: NS });
+
+/**
+ * @primitive  pki.schema.ocsp.pemDecode
+ * @signature  pki.schema.ocsp.pemDecode(text, label?) -> Buffer
+ * @since      0.1.11
+ * @status     experimental
+ * @spec       RFC 7468, RFC 6960
+ * @related    pki.schema.ocsp.parseResponse
+ *
+ * Extract the DER bytes from a PEM OCSP block (default label `OCSP RESPONSE`; pass
+ * `"OCSP REQUEST"` for a request). Throws `PemError` on a missing / mismatched
+ * envelope or a non-base64 body.
+ *
+ * @example
+ *   var der = pki.schema.ocsp.pemDecode(pemText, "OCSP REQUEST");
+ */
+function pemDecode(text, label) { return pkix.pemDecode(text, label || "OCSP RESPONSE", PemError); }
+
+// An OCSPResponse root is the only registered structure that leads with an
+// ENUMERATED child (a SEQUENCE of 1-2: responseStatus + an optional context [0]
+// responseBytes). Every other root leads with a SEQUENCE (x509/crl/csr/ocsp-request),
+// an OBJECT IDENTIFIER (cms), or an INTEGER (pkcs8), so the detector is
+// unconditionally exclusive.
+function matchesResponse(root) {
+  var T = asn1.TAGS;
+  if (!root || root.tagClass !== "universal" || root.tagNumber !== T.SEQUENCE || !root.children) return false;
+  var k = root.children;
+  if (k.length < 1 || k.length > 2) return false;
+  if (!(k[0].tagClass === "universal" && k[0].tagNumber === T.ENUMERATED)) return false;
+  if (k.length === 2 && !(k[1].tagClass === "context" && k[1].tagNumber === 0 && k[1].children)) return false;
+  return true;
+}
+
+// An OCSPRequest root is a SEQUENCE of 1-2 whose first child is the tbsRequest
+// SEQUENCE (optionally followed by a context [0] EXPLICIT signature). It leads with
+// a SEQUENCE like x509/crl/csr, but those require EXACTLY 3 children (the
+// signed-envelope trio), while an OCSPRequest is 1-2 — so it is excluded by arity.
+function matchesRequest(root) {
+  var T = asn1.TAGS;
+  if (!root || root.tagClass !== "universal" || root.tagNumber !== T.SEQUENCE || !root.children) return false;
+  var k = root.children;
+  if (k.length < 1 || k.length > 2) return false;
+  if (!(k[0].tagClass === "universal" && k[0].tagNumber === T.SEQUENCE && k[0].children)) return false;
+  if (k.length === 2 && !(k[1].tagClass === "context" && k[1].tagNumber === 0 && k[1].children)) return false;
+  return true;
+}
+
+module.exports = {
+  parseRequest: parseRequest,
+  parseResponse: parseResponse,
+  pemDecode: pemDecode,
+  matchesRequest: matchesRequest,
+  matchesResponse: matchesResponse,
+};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@blamejs/pki",
-  "version": "0.1.10",
+  "version": "0.1.11",
   "description": "Pure-JavaScript PKI toolkit that owns its stack — X.509, ASN.1/DER, CMS, PQC-first.",
   "license": "Apache-2.0",
   "author": "blamejs contributors",

package/sbom.cdx.json

@@ -2,10 +2,10 @@
   "$schema": "http://cyclonedx.org/schema/bom-1.5.schema.json",
   "bomFormat": "CycloneDX",
   "specVersion": "1.5",
-  "serialNumber": "urn:uuid:e5089c51-5287-4fe7-bbfc-520b07cbb2f2",
+  "serialNumber": "urn:uuid:f4519864-8754-4475-8ee0-b2556afddae1",
   "version": 1,
   "metadata": {
-    "timestamp": "2026-07-05T18:32:46.745Z",
+    "timestamp": "2026-07-05T20:10:05.842Z",
     "lifecycles": [
       {
         "phase": "build"
@@ -19,14 +19,14 @@
       }
     ],
     "component": {
-      "bom-ref": "@blamejs/pki@0.1.10",
+      "bom-ref": "@blamejs/pki@0.1.11",
       "type": "application",
       "name": "pki",
-      "version": "0.1.10",
+      "version": "0.1.11",
       "scope": "required",
       "author": "blamejs contributors",
       "description": "Pure-JavaScript PKI toolkit that owns its stack — X.509, ASN.1/DER, CMS, PQC-first.",
-      "purl": "pkg:npm/%40blamejs/pki@0.1.10",
+      "purl": "pkg:npm/%40blamejs/pki@0.1.11",
       "properties": [],
       "externalReferences": [
         {
@@ -54,7 +54,7 @@
   "components": [],
   "dependencies": [
     {
-      "ref": "@blamejs/pki@0.1.10",
+      "ref": "@blamejs/pki@0.1.11",
       "dependsOn": []
     }
   ]