@peac/protocol 0.13.3 → 0.14.0

package/dist/index.mjs

@@ -310,6 +310,141 @@ function validateExtensionBudgetInternal(extensions) {
   if (violations.length === 0) return ACCEPTED4;
   return { accepted: false, violations };
 }
+function validateSchemaParseInternal(payload) {
+  const pr = parseReceiptClaims(payload);
+  if (!pr.ok) {
+    return {
+      accepted: false,
+      errorCode: pr.error.code,
+      errorMessage: pr.error.message,
+      ...pr.error.issues !== void 0 && { errorIssues: pr.error.issues }
+    };
+  }
+  if (pr.wireVersion !== "0.2") {
+    return {
+      accepted: false,
+      errorCode: "E_UNSUPPORTED_WIRE_VERSION",
+      errorMessage: `Unsupported wire version: ${pr.wireVersion}`
+    };
+  }
+  return {
+    accepted: true,
+    claims: pr.claims,
+    wireVersion: "0.2",
+    warnings: pr.warnings
+  };
+}
+
+// src/_internal/record-core/validators/jose-typ-strictness.ts
+var ACCEPTED_NO_WARN = { accepted: true };
+var ACCEPTED_TYP_MISSING = {
+  accepted: true,
+  warnings: [{ code: "typ_missing" }]
+};
+var REJECTED_INVALID_FORMAT = {
+  accepted: false,
+  errorCode: "E_INVALID_FORMAT"
+};
+function validateJoseTypStrictnessInternal(typ, strictness) {
+  const present = typeof typ === "string" && typ.length > 0;
+  if (present) return ACCEPTED_NO_WARN;
+  if (strictness === "strict") return REJECTED_INVALID_FORMAT;
+  return ACCEPTED_TYP_MISSING;
+}
+
+// src/_internal/record-core/validators/iat-not-yet-valid.ts
+var ACCEPTED5 = { accepted: true };
+var REJECTED2 = {
+  accepted: false,
+  errorCode: "E_NOT_YET_VALID"
+};
+function validateIatNotYetValidInternal(iat, now, maxClockSkew) {
+  if (iat > now + maxClockSkew) return REJECTED2;
+  return ACCEPTED5;
+}
+function validatePolicyBindingInternal(receiptPolicyDigest, localPolicyDigest) {
+  if (receiptPolicyDigest === void 0 || localPolicyDigest === void 0) {
+    return { accepted: true, status: "unavailable" };
+  }
+  const status = verifyPolicyBinding(receiptPolicyDigest, localPolicyDigest);
+  if (status === "failed") {
+    return { accepted: false, errorCode: "E_POLICY_BINDING_FAILED", status };
+  }
+  return { accepted: true, status };
+}
+var ACCEPTED_EMPTY = {
+  accepted: true,
+  warnings: []
+};
+function escapeJsonPointer(token) {
+  return token.replace(/~/g, "~0").replace(/\//g, "~1");
+}
+function validateUnknownExtensionGrammarInternal(extensions) {
+  if (extensions === void 0) return ACCEPTED_EMPTY;
+  const keys = Object.keys(extensions);
+  if (keys.length === 0) return ACCEPTED_EMPTY;
+  const warnings = [];
+  for (const key of keys) {
+    if (!REGISTERED_EXTENSION_GROUP_KEYS.has(key) && isValidExtensionKey(key)) {
+      warnings.push({
+        code: "unknown_extension_preserved",
+        pointer: `/extensions/${escapeJsonPointer(key)}`
+      });
+    }
+  }
+  return { accepted: true, warnings };
+}
+
+// src/type-extension-check.ts
+function checkTypeExtensionMapping(kind, type, extensions, typeToExtensionMap, registeredExtensionGroupKeys) {
+  if (kind === "challenge") {
+    return { status: "skip" };
+  }
+  const expectedGroup = typeToExtensionMap.get(type);
+  if (expectedGroup === void 0) {
+    return { status: "skip" };
+  }
+  if (extensions !== void 0 && Object.prototype.hasOwnProperty.call(extensions, expectedGroup)) {
+    return { status: "ok" };
+  }
+  const presentRegistered = [];
+  if (extensions !== void 0) {
+    for (const key of Object.keys(extensions)) {
+      if (key !== expectedGroup && registeredExtensionGroupKeys.has(key)) {
+        presentRegistered.push(key);
+      }
+    }
+  }
+  return {
+    status: presentRegistered.length > 0 ? "mismatch" : "missing",
+    expected_extension_group: expectedGroup,
+    present_registered_extension_groups: presentRegistered
+  };
+}
+
+// src/_internal/record-core/validators/type-extension-enforcement.ts
+var ACCEPTED_NO_WARN2 = { accepted: true };
+function validateTypeExtensionEnforcementInternal(kind, type, extensions, strictness) {
+  const result = checkTypeExtensionMapping(
+    kind,
+    type,
+    extensions,
+    TYPE_TO_EXTENSION_MAP,
+    REGISTERED_EXTENSION_GROUP_KEYS
+  );
+  if (result.status === "ok" || result.status === "skip") {
+    return ACCEPTED_NO_WARN2;
+  }
+  if (strictness === "strict") {
+    const errorCode = result.status === "missing" ? "E_EXTENSION_GROUP_REQUIRED" : "E_EXTENSION_GROUP_MISMATCH";
+    return { accepted: false, errorCode, pointer: "/type" };
+  }
+  const warningCode = result.status === "missing" ? "extension_group_missing" : "extension_group_mismatch";
+  return {
+    accepted: true,
+    warnings: [{ code: warningCode, pointer: "/type" }]
+  };
+}
 
 // src/_internal/record-core/bounded-validator.ts
 function runBoundedValidatorShadow(input) {
@@ -369,12 +504,154 @@ function runBoundedValidatorShadow(input) {
       violations.push({ layer: "extension-budget", code: v.code, path: v.path });
     }
   }
+  if (input.fullClaims !== void 0) {
+    const schemaRes = validateSchemaParseInternal(input.fullClaims);
+    if (!schemaRes.accepted && schemaRes.errorCode !== void 0) {
+      violations.push({ layer: "schema-parse", code: schemaRes.errorCode });
+    }
+  }
+  if (input.header !== void 0 && input.strictness !== void 0) {
+    const typRes = validateJoseTypStrictnessInternal(input.header.typ, input.strictness);
+    if (!typRes.accepted) {
+      violations.push({ layer: "jose-typ-strictness", code: typRes.errorCode });
+    } else if (typRes.warnings) {
+      for (const w of typRes.warnings) {
+        warnings.push({ layer: "jose-typ-strictness", code: w.code });
+      }
+    }
+  }
+  if (input.maxClockSkew !== void 0) {
+    const iatRes = validateIatNotYetValidInternal(input.claims.iat, input.now, input.maxClockSkew);
+    if (!iatRes.accepted && iatRes.errorCode !== void 0) {
+      violations.push({ layer: "iat-not-yet-valid", code: iatRes.errorCode });
+    }
+  }
+  if (input.receiptPolicyDigest !== void 0 && input.localPolicyDigest !== void 0) {
+    const policyRes = validatePolicyBindingInternal(
+      input.receiptPolicyDigest,
+      input.localPolicyDigest
+    );
+    if (!policyRes.accepted && policyRes.errorCode !== void 0) {
+      violations.push({ layer: "policy-binding", code: policyRes.errorCode });
+    }
+  }
+  const unknownExtRes = validateUnknownExtensionGrammarInternal(input.claims.extensions);
+  for (const w of unknownExtRes.warnings) {
+    warnings.push({
+      layer: "unknown-extension-grammar",
+      code: w.code,
+      path: w.pointer
+    });
+  }
+  if (input.strictness !== void 0) {
+    const enforceRes = validateTypeExtensionEnforcementInternal(
+      input.claims.kind,
+      input.claims.type,
+      input.claims.extensions,
+      input.strictness
+    );
+    if (!enforceRes.accepted) {
+      violations.push({
+        layer: "type-extension-enforcement",
+        code: enforceRes.errorCode,
+        path: enforceRes.pointer
+      });
+    } else if (enforceRes.warnings) {
+      for (const w of enforceRes.warnings) {
+        warnings.push({
+          layer: "type-extension-enforcement",
+          code: w.code,
+          path: w.pointer
+        });
+      }
+    }
+  }
   return {
     accepted: violations.length === 0,
     violations,
     warnings
   };
 }
+var MAX_SANITIZED_ISSUES = 25;
+function sanitizeIssues(issues) {
+  if (!Array.isArray(issues)) return void 0;
+  return issues.slice(0, MAX_SANITIZED_ISSUES).map((issue2) => {
+    const candidate = issue2;
+    const path = Array.isArray(candidate.path) ? candidate.path.map(
+      (segment) => typeof segment === "string" || typeof segment === "number" ? String(segment) : ""
+    ).join(".") : "";
+    const message = typeof candidate.message === "string" ? candidate.message : String(candidate.message ?? issue2);
+    return { path, message };
+  });
+}
+function runBoundedValidationGate(input) {
+  if (input.surface === "issueWire02") {
+    return runIssueWire02(input.payload);
+  }
+  return runVerifyLocal(input.payload);
+}
+function runIssueWire02(payload) {
+  const schemaRes = validateSchemaParseInternal(payload);
+  if (!schemaRes.accepted) {
+    const firstIssueMessage = schemaRes.errorIssues?.[0]?.message;
+    return {
+      ok: false,
+      code: "E_INVALID_FORMAT",
+      message: `Wire 0.2 claims schema validation failed: ${firstIssueMessage ?? "unknown"}`
+    };
+  }
+  return { ok: true };
+}
+function runVerifyLocal(payload) {
+  const kernelRes = validateKernelConstraints(payload);
+  if (!kernelRes.valid) {
+    const v = kernelRes.violations[0];
+    return {
+      ok: false,
+      code: "E_CONSTRAINT_VIOLATION",
+      message: `Kernel constraint violated: ${v.constraint} (actual: ${v.actual}, limit: ${v.limit})`
+    };
+  }
+  const schemaRes = validateSchemaParseInternal(payload);
+  if (!schemaRes.accepted) {
+    if (schemaRes.errorCode === "E_UNSUPPORTED_WIRE_VERSION") {
+      return {
+        ok: false,
+        code: "E_UNSUPPORTED_WIRE_VERSION",
+        message: "Wire 0.1 receipts are not supported. Re-issue as Wire 0.2 using issue()."
+      };
+    }
+    const sanitized = sanitizeIssues(schemaRes.errorIssues);
+    const details = {};
+    if (schemaRes.errorCode !== void 0) {
+      Object.assign(details, { parse_code: schemaRes.errorCode });
+    }
+    if (sanitized !== void 0) {
+      Object.assign(details, { issues: sanitized });
+    }
+    return {
+      ok: false,
+      code: "E_INVALID_FORMAT",
+      message: `Receipt schema validation failed: ${schemaRes.errorMessage ?? "unknown"}`,
+      ...Object.keys(details).length > 0 && { details }
+    };
+  }
+  if (schemaRes.wireVersion !== "0.2" || schemaRes.claims === void 0) {
+    return {
+      ok: false,
+      code: "E_UNSUPPORTED_WIRE_VERSION",
+      message: "Wire 0.1 receipts are not supported. Re-issue as Wire 0.2 using issue()."
+    };
+  }
+  return {
+    ok: true,
+    parsed: {
+      wireVersion: "0.2",
+      claims: schemaRes.claims,
+      parserWarnings: schemaRes.warnings ?? []
+    }
+  };
+}
 var SECRET_PATTERNS = [
   // Compact JWS / JWT (header.payload.signature with eyJ-prefixed header).
   /eyJ[A-Za-z0-9_-]{20,}\.[A-Za-z0-9_-]+\.[A-Za-z0-9_-]+/g,
@@ -812,7 +1089,7 @@ async function issue(options) {
   return issueWire02(options);
 }
 async function issueWire02(options) {
-  void readLegacyPathFlag(options);
+  const legacyPath = readLegacyPathFlag(options);
   if (!isCanonicalIss(options.iss)) {
     throw new IssueError({
       code: "E_ISS_NOT_CANONICAL",
@@ -841,22 +1118,39 @@ async function issueWire02(options) {
     ...options.policy !== void 0 && { policy: options.policy },
     ...options.extensions !== void 0 && { extensions: options.extensions }
   };
-  const parseResult = Wire02ClaimsSchema.safeParse(claims);
-  if (!parseResult.success) {
-    const firstIssue = parseResult.error.issues[0];
-    throw new IssueError({
-      code: "E_INVALID_FORMAT",
-      category: "validation",
-      severity: "error",
-      retryable: false,
-      http_status: 400,
-      details: {
-        message: `Wire 0.2 claims schema validation failed: ${firstIssue?.message ?? "unknown"}`
-      }
+  if (legacyPath) {
+    const parseResult = Wire02ClaimsSchema.safeParse(claims);
+    if (!parseResult.success) {
+      const firstIssue = parseResult.error.issues[0];
+      throw new IssueError({
+        code: "E_INVALID_FORMAT",
+        category: "validation",
+        severity: "error",
+        retryable: false,
+        http_status: 400,
+        details: {
+          message: `Wire 0.2 claims schema validation failed: ${firstIssue?.message ?? "unknown"}`
+        }
+      });
+    }
+  } else {
+    const gateResult = runBoundedValidationGate({
+      surface: "issueWire02",
+      payload: claims
     });
+    if (!gateResult.ok) {
+      throw new IssueError({
+        code: gateResult.code,
+        category: "validation",
+        severity: "error",
+        retryable: false,
+        http_status: 400,
+        details: { message: gateResult.message }
+      });
+    }
   }
   const jws = await defaultCodec.encode(claims, options.privateKey, options.kid);
-  if (isShadowEnabled(options)) {
+  if (legacyPath && isShadowEnabled(options)) {
     scheduleShadow({
       call: "issue",
       realResult: realObservationForIssue(),
@@ -2062,33 +2356,6 @@ async function verifyReceipt(optionsOrJws) {
   }
 }
 
-// src/type-extension-check.ts
-function checkTypeExtensionMapping(kind, type, extensions, typeToExtensionMap, registeredExtensionGroupKeys) {
-  if (kind === "challenge") {
-    return { status: "skip" };
-  }
-  const expectedGroup = typeToExtensionMap.get(type);
-  if (expectedGroup === void 0) {
-    return { status: "skip" };
-  }
-  if (extensions !== void 0 && Object.prototype.hasOwnProperty.call(extensions, expectedGroup)) {
-    return { status: "ok" };
-  }
-  const presentRegistered = [];
-  if (extensions !== void 0) {
-    for (const key of Object.keys(extensions)) {
-      if (key !== expectedGroup && registeredExtensionGroupKeys.has(key)) {
-        presentRegistered.push(key);
-      }
-    }
-  }
-  return {
-    status: presentRegistered.length > 0 ? "mismatch" : "missing",
-    expected_extension_group: expectedGroup,
-    present_registered_extension_groups: presentRegistered
-  };
-}
-
 // src/_internal/record-core/shadow-hook.ts
 function maybeRunShadowValidation(input) {
   return void 0;
@@ -2120,7 +2387,7 @@ function sanitizeParseIssues(issues) {
   }));
 }
 async function verifyLocal(jws, publicKey, options = {}) {
-  void readLegacyPathFlag(options);
+  const legacyPath = readLegacyPathFlag(options);
   const {
     issuer,
     subjectUri,
@@ -2153,22 +2420,56 @@ async function verifyLocal(jws, publicKey, options = {}) {
         message: "JWS typ header is absent; accepted in interop mode"
       });
     }
-    const constraintResult = validateKernelConstraints(result.payload);
-    if (!constraintResult.valid) {
-      const v = constraintResult.violations[0];
-      return {
-        valid: false,
-        code: "E_CONSTRAINT_VIOLATION",
-        message: `Kernel constraint violated: ${v.constraint} (actual: ${v.actual}, limit: ${v.limit})`
-      };
-    }
-    const pr = parseReceiptClaims(result.payload);
-    if (!pr.ok) {
-      return {
-        valid: false,
-        code: "E_INVALID_FORMAT",
-        message: `Receipt schema validation failed: ${pr.error.message}`,
-        details: { parse_code: pr.error.code, issues: sanitizeParseIssues(pr.error.issues) }
+    let pr;
+    if (legacyPath) {
+      const constraintResult = validateKernelConstraints(result.payload);
+      if (!constraintResult.valid) {
+        const v = constraintResult.violations[0];
+        return {
+          valid: false,
+          code: "E_CONSTRAINT_VIOLATION",
+          message: `Kernel constraint violated: ${v.constraint} (actual: ${v.actual}, limit: ${v.limit})`
+        };
+      }
+      const parsed = parseReceiptClaims(result.payload);
+      if (!parsed.ok) {
+        return {
+          valid: false,
+          code: "E_INVALID_FORMAT",
+          message: `Receipt schema validation failed: ${parsed.error.message}`,
+          details: {
+            parse_code: parsed.error.code,
+            issues: sanitizeParseIssues(parsed.error.issues)
+          }
+        };
+      }
+      pr = parsed;
+    } else {
+      const gateResult = runBoundedValidationGate({
+        surface: "verifyLocal",
+        payload: result.payload
+      });
+      if (!gateResult.ok) {
+        return {
+          valid: false,
+          code: gateResult.code,
+          message: gateResult.message,
+          ...gateResult.details !== void 0 && { details: gateResult.details }
+        };
+      }
+      const parsedFromGate = gateResult.parsed;
+      if (parsedFromGate === void 0) {
+        return {
+          valid: false,
+          code: "E_INTERNAL",
+          message: "Bounded validation gate accepted without surfacing parsed claims"
+        };
+      }
+      pr = {
+        ok: true,
+        wireVersion: parsedFromGate.wireVersion,
+        warnings: parsedFromGate.parserWarnings,
+        claims: parsedFromGate.claims
       };
     }
     if (pr.wireVersion === "0.2") {
@@ -2285,7 +2586,7 @@ async function verifyLocal(jws, publicKey, options = {}) {
         ...callerBindings?.documents !== void 0 && callerBindings.documents.length > 0 && { documents: callerBindings.documents }
       };
       const sortedWarnings = sortWarnings(accumulatedWarnings);
-      if (isShadowEnabled(options)) {
+      if (legacyPath && isShadowEnabled(options)) {
         const headerSnapshot = { ...result.header };
         scheduleShadow({
           call: "verifyLocal",