@humanagencyp/hap-core 0.5.1 → 0.5.2

package/dist/index.d.mts

@@ -14,7 +14,7 @@ interface ResolvedDomain {
 }
 interface AttestationPayload {
     attestation_id: string;
-    version: '0.3' | '0.4';
+    version: '0.3' | '0.4' | '0.5';
     profile_id: string;
     /** v0.3 (deprecated) — hash of the authorization frame */
     frame_hash?: string;
@@ -23,8 +23,29 @@ interface AttestationPayload {
     /** v0.4 — hash of the context parameters */
     context_hash?: string;
     execution_context_hash: string;
-    resolved_domains: ResolvedDomain[];
+    /**
+     * v0.4 (deprecated in v0.5) — domain-scoped owners. Optional so v0.5
+     * attestations that carry only `resolved_owners` remain valid. During the
+     * transition the AS emits BOTH `resolved_domains` (internal coverage) and
+     * `resolved_owners` (the v0.5 signed wire field).
+     */
+    resolved_domains?: ResolvedDomain[];
+    /**
+     * v0.5 — the Decision Owner DIDs this attestation covers (person-centric
+     * model; replaces the abstract domain in `resolved_domains`). Carried in the
+     * signed payload so verifiers bind the action to the human(s) who authorized it.
+     */
+    resolved_owners?: string[];
     gate_content_hashes: Record<string, string>;
+    /**
+     * v0.5 (companion spec `intent-disclosure@0.1`) — present iff the attestation
+     * carries an encrypted-intent disclosure object. `sha256:`-prefixed hash that
+     * binds the disclosure's `intent_ciphertext` + `approvers_frozen` into the
+     * signed payload (see {@link computeIntentDisclosureHash}), so a compromised
+     * AS cannot swap the ciphertext/wrapped keys or alter the approver set
+     * without invalidating the attestation signature (companion invariant C2).
+     */
+    intent_disclosure_hash?: string;
     /**
      * v0.4 — commitment mode chosen by the decision owner at attestation time.
      * - 'automatic': agent may invoke bounded tools without per-action review.
@@ -518,6 +539,52 @@ declare function contentCanonicalBytes(kind: ContentBinding['kind'], content: Re
  */
 declare function computeContentHash(binding: ContentBinding, content: Record<string, unknown> | string): string;
 
+/**
+ * Intent hashing + intent-disclosure binding (HAP v0.5).
+ *
+ * Two shared, environment-independent hashes that the attester (gateway), the
+ * Authority Server, and any approver MUST compute identically:
+ *
+ *  1. {@link computeIntentHash} — `gate_content_hashes.intent`. The intent text
+ *     is canonicalized (Unicode NFC, LF line endings, trailing-whitespace strip
+ *     — the same rule as content-binding's `canonicalizeText`) before hashing,
+ *     so independent multi-owner approvers reproduce an identical hash from the
+ *     same logical statement. See protocol.md → "Intent canonicalization".
+ *
+ *  2. {@link computeIntentDisclosureHash} — `intent_disclosure_hash`, the C2
+ *     binding from companion spec `intent-disclosure@0.1`. It commits the
+ *     encrypted disclosure object (`intent_ciphertext` + `approvers_frozen`)
+ *     into the SIGNED attestation payload, so a compromised AS cannot swap the
+ *     ciphertext/wrapped keys or widen/shrink the approver set without breaking
+ *     the attestation signature.
+ *
+ * Both produce `sha256:<hex>` to match the frame/bounds/context hash format.
+ */
+/**
+ * `gate_content_hashes.intent` for an intent statement.
+ * Canonicalizes the text (NFC / LF / trailing-whitespace strip) before hashing.
+ */
+declare function computeIntentHash(intentText: string): string;
+/**
+ * The exact bytes `intent_disclosure_hash` is taken over, WITHOUT hashing —
+ * exposed so an implementer debugging a mismatch can inspect the serialization
+ * both sides must agree on:
+ *
+ *   intent_ciphertext ‖ "\n" ‖ JCS(sort(approvers_frozen))
+ *
+ * where `intent_ciphertext` is the exact base64url string of the disclosure
+ * object, `sort` orders the approver DIDs by Unicode code point, and `JCS` is
+ * RFC 8785 canonicalization of the sorted array (via {@link canonicalize}).
+ */
+declare function intentDisclosureCanonicalBytes(intentCiphertext: string, approversFrozen: string[]): string;
+/**
+ * `intent_disclosure_hash` — `sha256:<hex>` over
+ * {@link intentDisclosureCanonicalBytes}. Computed by the attester after
+ * encryption and signed into the attestation; recomputed by the AS (at
+ * issuance) and by each approver (on receipt) and compared, fail-closed.
+ */
+declare function computeIntentDisclosureHash(intentCiphertext: string, approversFrozen: string[]): string;
+
 /**
  * Frame Canonicalization for Agent Profiles
  *
@@ -715,4 +782,4 @@ declare function listProfiles(): string[];
 declare function getAllProfiles(): AgentProfile[];
 declare function clearProfiles(): void;
 
-export { type AgentBoundsParams, type AgentContextParams, type AgentFrameParams, type AgentProfile, type Attestation, type AttestationHeader, type AttestationPayload, type BoundType, type ContentBinding, type CumulativeFieldDef, type CumulativeWindow, type DeclaredFieldDef, type ExecutionContextFieldDef, type ExecutionLogEntry, type ExecutionLogQuery, type ExecutionMappingTransform, type ExecutionMappingValue, type ExecutionPath, type FieldConstraint, type FieldUnit, type GateQuestion, type GatekeeperError, type GatekeeperRequest, type GatekeeperResult, type ProfileBoundsField, type ProfileContextField, type ProfileFrameField, type ProfileToolGating, type ProfileToolGatingEntry, type ResolvedDomain, attestationId, canonicalBounds, canonicalContext, canonicalFrame, canonicalize, canonicalizeText, checkAttestationExpiry, clearProfiles, computeBoundsHash, computeContentHash, computeContextHash, computeFrameHash, contentCanonicalBytes, decodeAttestationBlob, encodeAttestationBlob, frameHash, getAllProfiles, getProfile, isV4Attestation, listProfiles, registerProfile, validateBoundsParams, validateContextParams, validateFrameParams, verify, verifyAttestation, verifyAttestationSignature, verifyAttestationV4, verifyBoundsHash, verifyContextHash, verifyFrameHash };
+export { type AgentBoundsParams, type AgentContextParams, type AgentFrameParams, type AgentProfile, type Attestation, type AttestationHeader, type AttestationPayload, type BoundType, type ContentBinding, type CumulativeFieldDef, type CumulativeWindow, type DeclaredFieldDef, type ExecutionContextFieldDef, type ExecutionLogEntry, type ExecutionLogQuery, type ExecutionMappingTransform, type ExecutionMappingValue, type ExecutionPath, type FieldConstraint, type FieldUnit, type GateQuestion, type GatekeeperError, type GatekeeperRequest, type GatekeeperResult, type ProfileBoundsField, type ProfileContextField, type ProfileFrameField, type ProfileToolGating, type ProfileToolGatingEntry, type ResolvedDomain, attestationId, canonicalBounds, canonicalContext, canonicalFrame, canonicalize, canonicalizeText, checkAttestationExpiry, clearProfiles, computeBoundsHash, computeContentHash, computeContextHash, computeFrameHash, computeIntentDisclosureHash, computeIntentHash, contentCanonicalBytes, decodeAttestationBlob, encodeAttestationBlob, frameHash, getAllProfiles, getProfile, intentDisclosureCanonicalBytes, isV4Attestation, listProfiles, registerProfile, validateBoundsParams, validateContextParams, validateFrameParams, verify, verifyAttestation, verifyAttestationSignature, verifyAttestationV4, verifyBoundsHash, verifyContextHash, verifyFrameHash };

package/dist/index.d.ts

@@ -14,7 +14,7 @@ interface ResolvedDomain {
 }
 interface AttestationPayload {
     attestation_id: string;
-    version: '0.3' | '0.4';
+    version: '0.3' | '0.4' | '0.5';
     profile_id: string;
     /** v0.3 (deprecated) — hash of the authorization frame */
     frame_hash?: string;
@@ -23,8 +23,29 @@ interface AttestationPayload {
     /** v0.4 — hash of the context parameters */
     context_hash?: string;
     execution_context_hash: string;
-    resolved_domains: ResolvedDomain[];
+    /**
+     * v0.4 (deprecated in v0.5) — domain-scoped owners. Optional so v0.5
+     * attestations that carry only `resolved_owners` remain valid. During the
+     * transition the AS emits BOTH `resolved_domains` (internal coverage) and
+     * `resolved_owners` (the v0.5 signed wire field).
+     */
+    resolved_domains?: ResolvedDomain[];
+    /**
+     * v0.5 — the Decision Owner DIDs this attestation covers (person-centric
+     * model; replaces the abstract domain in `resolved_domains`). Carried in the
+     * signed payload so verifiers bind the action to the human(s) who authorized it.
+     */
+    resolved_owners?: string[];
     gate_content_hashes: Record<string, string>;
+    /**
+     * v0.5 (companion spec `intent-disclosure@0.1`) — present iff the attestation
+     * carries an encrypted-intent disclosure object. `sha256:`-prefixed hash that
+     * binds the disclosure's `intent_ciphertext` + `approvers_frozen` into the
+     * signed payload (see {@link computeIntentDisclosureHash}), so a compromised
+     * AS cannot swap the ciphertext/wrapped keys or alter the approver set
+     * without invalidating the attestation signature (companion invariant C2).
+     */
+    intent_disclosure_hash?: string;
     /**
      * v0.4 — commitment mode chosen by the decision owner at attestation time.
      * - 'automatic': agent may invoke bounded tools without per-action review.
@@ -518,6 +539,52 @@ declare function contentCanonicalBytes(kind: ContentBinding['kind'], content: Re
  */
 declare function computeContentHash(binding: ContentBinding, content: Record<string, unknown> | string): string;
 
+/**
+ * Intent hashing + intent-disclosure binding (HAP v0.5).
+ *
+ * Two shared, environment-independent hashes that the attester (gateway), the
+ * Authority Server, and any approver MUST compute identically:
+ *
+ *  1. {@link computeIntentHash} — `gate_content_hashes.intent`. The intent text
+ *     is canonicalized (Unicode NFC, LF line endings, trailing-whitespace strip
+ *     — the same rule as content-binding's `canonicalizeText`) before hashing,
+ *     so independent multi-owner approvers reproduce an identical hash from the
+ *     same logical statement. See protocol.md → "Intent canonicalization".
+ *
+ *  2. {@link computeIntentDisclosureHash} — `intent_disclosure_hash`, the C2
+ *     binding from companion spec `intent-disclosure@0.1`. It commits the
+ *     encrypted disclosure object (`intent_ciphertext` + `approvers_frozen`)
+ *     into the SIGNED attestation payload, so a compromised AS cannot swap the
+ *     ciphertext/wrapped keys or widen/shrink the approver set without breaking
+ *     the attestation signature.
+ *
+ * Both produce `sha256:<hex>` to match the frame/bounds/context hash format.
+ */
+/**
+ * `gate_content_hashes.intent` for an intent statement.
+ * Canonicalizes the text (NFC / LF / trailing-whitespace strip) before hashing.
+ */
+declare function computeIntentHash(intentText: string): string;
+/**
+ * The exact bytes `intent_disclosure_hash` is taken over, WITHOUT hashing —
+ * exposed so an implementer debugging a mismatch can inspect the serialization
+ * both sides must agree on:
+ *
+ *   intent_ciphertext ‖ "\n" ‖ JCS(sort(approvers_frozen))
+ *
+ * where `intent_ciphertext` is the exact base64url string of the disclosure
+ * object, `sort` orders the approver DIDs by Unicode code point, and `JCS` is
+ * RFC 8785 canonicalization of the sorted array (via {@link canonicalize}).
+ */
+declare function intentDisclosureCanonicalBytes(intentCiphertext: string, approversFrozen: string[]): string;
+/**
+ * `intent_disclosure_hash` — `sha256:<hex>` over
+ * {@link intentDisclosureCanonicalBytes}. Computed by the attester after
+ * encryption and signed into the attestation; recomputed by the AS (at
+ * issuance) and by each approver (on receipt) and compared, fail-closed.
+ */
+declare function computeIntentDisclosureHash(intentCiphertext: string, approversFrozen: string[]): string;
+
 /**
  * Frame Canonicalization for Agent Profiles
  *
@@ -715,4 +782,4 @@ declare function listProfiles(): string[];
 declare function getAllProfiles(): AgentProfile[];
 declare function clearProfiles(): void;
 
-export { type AgentBoundsParams, type AgentContextParams, type AgentFrameParams, type AgentProfile, type Attestation, type AttestationHeader, type AttestationPayload, type BoundType, type ContentBinding, type CumulativeFieldDef, type CumulativeWindow, type DeclaredFieldDef, type ExecutionContextFieldDef, type ExecutionLogEntry, type ExecutionLogQuery, type ExecutionMappingTransform, type ExecutionMappingValue, type ExecutionPath, type FieldConstraint, type FieldUnit, type GateQuestion, type GatekeeperError, type GatekeeperRequest, type GatekeeperResult, type ProfileBoundsField, type ProfileContextField, type ProfileFrameField, type ProfileToolGating, type ProfileToolGatingEntry, type ResolvedDomain, attestationId, canonicalBounds, canonicalContext, canonicalFrame, canonicalize, canonicalizeText, checkAttestationExpiry, clearProfiles, computeBoundsHash, computeContentHash, computeContextHash, computeFrameHash, contentCanonicalBytes, decodeAttestationBlob, encodeAttestationBlob, frameHash, getAllProfiles, getProfile, isV4Attestation, listProfiles, registerProfile, validateBoundsParams, validateContextParams, validateFrameParams, verify, verifyAttestation, verifyAttestationSignature, verifyAttestationV4, verifyBoundsHash, verifyContextHash, verifyFrameHash };
+export { type AgentBoundsParams, type AgentContextParams, type AgentFrameParams, type AgentProfile, type Attestation, type AttestationHeader, type AttestationPayload, type BoundType, type ContentBinding, type CumulativeFieldDef, type CumulativeWindow, type DeclaredFieldDef, type ExecutionContextFieldDef, type ExecutionLogEntry, type ExecutionLogQuery, type ExecutionMappingTransform, type ExecutionMappingValue, type ExecutionPath, type FieldConstraint, type FieldUnit, type GateQuestion, type GatekeeperError, type GatekeeperRequest, type GatekeeperResult, type ProfileBoundsField, type ProfileContextField, type ProfileFrameField, type ProfileToolGating, type ProfileToolGatingEntry, type ResolvedDomain, attestationId, canonicalBounds, canonicalContext, canonicalFrame, canonicalize, canonicalizeText, checkAttestationExpiry, clearProfiles, computeBoundsHash, computeContentHash, computeContextHash, computeFrameHash, computeIntentDisclosureHash, computeIntentHash, contentCanonicalBytes, decodeAttestationBlob, encodeAttestationBlob, frameHash, getAllProfiles, getProfile, intentDisclosureCanonicalBytes, isV4Attestation, listProfiles, registerProfile, validateBoundsParams, validateContextParams, validateFrameParams, verify, verifyAttestation, verifyAttestationSignature, verifyAttestationV4, verifyBoundsHash, verifyContextHash, verifyFrameHash };

package/dist/index.js

@@ -42,12 +42,15 @@ __export(index_exports, {
   computeContentHash: () => computeContentHash,
   computeContextHash: () => computeContextHash,
   computeFrameHash: () => computeFrameHash,
+  computeIntentDisclosureHash: () => computeIntentDisclosureHash,
+  computeIntentHash: () => computeIntentHash,
   contentCanonicalBytes: () => contentCanonicalBytes,
   decodeAttestationBlob: () => decodeAttestationBlob,
   encodeAttestationBlob: () => encodeAttestationBlob,
   frameHash: () => frameHash,
   getAllProfiles: () => getAllProfiles,
   getProfile: () => getProfile,
+  intentDisclosureCanonicalBytes: () => intentDisclosureCanonicalBytes,
   isV4Attestation: () => isV4Attestation,
   listProfiles: () => listProfiles,
   registerProfile: () => registerProfile,
@@ -116,8 +119,25 @@ function computeContentHash(binding, content) {
   return `sha256:${sha256Hex(contentCanonicalBytes(binding.kind, content))}`;
 }
 
-// src/frame.ts
+// src/intent-disclosure.ts
 var import_crypto2 = require("crypto");
+function sha256Hex2(bytes) {
+  return (0, import_crypto2.createHash)("sha256").update(bytes, "utf8").digest("hex");
+}
+function computeIntentHash(intentText) {
+  return `sha256:${sha256Hex2(canonicalizeText(intentText))}`;
+}
+function intentDisclosureCanonicalBytes(intentCiphertext, approversFrozen) {
+  const sorted = [...approversFrozen].sort();
+  return `${intentCiphertext}
+${canonicalize(sorted)}`;
+}
+function computeIntentDisclosureHash(intentCiphertext, approversFrozen) {
+  return `sha256:${sha256Hex2(intentDisclosureCanonicalBytes(intentCiphertext, approversFrozen))}`;
+}
+
+// src/frame.ts
+var import_crypto3 = require("crypto");
 function validateFrameParams(params, profile) {
   const errors = [];
   if (!profile.frameSchema) {
@@ -154,7 +174,7 @@ function canonicalFrame(params, profile) {
   return lines.join("\n");
 }
 function frameHash(canonicalFrameString) {
-  const hash = (0, import_crypto2.createHash)("sha256").update(canonicalFrameString, "utf8").digest("hex");
+  const hash = (0, import_crypto3.createHash)("sha256").update(canonicalFrameString, "utf8").digest("hex");
   return `sha256:${hash}`;
 }
 function computeFrameHash(params, profile) {
@@ -238,17 +258,17 @@ function canonicalContext(params, profile) {
 }
 function computeBoundsHash(params, profile) {
   const canonical = canonicalBounds(params, profile);
-  const hash = (0, import_crypto2.createHash)("sha256").update(canonical, "utf8").digest("hex");
+  const hash = (0, import_crypto3.createHash)("sha256").update(canonical, "utf8").digest("hex");
   return `sha256:${hash}`;
 }
 function computeContextHash(params, profile) {
   const canonical = canonicalContext(params, profile);
-  const hash = (0, import_crypto2.createHash)("sha256").update(canonical, "utf8").digest("hex");
+  const hash = (0, import_crypto3.createHash)("sha256").update(canonical, "utf8").digest("hex");
   return `sha256:${hash}`;
 }
 
 // src/attestation.ts
-var import_crypto3 = require("crypto");
+var import_crypto4 = require("crypto");
 var ed = __toESM(require("@noble/ed25519"));
 function decodeAttestationBlob(blob) {
   try {
@@ -266,7 +286,7 @@ function encodeAttestationBlob(attestation) {
   return base64.replace(/\+/g, "-").replace(/\//g, "_").replace(/=+$/, "");
 }
 function attestationId(blob) {
-  const hash = (0, import_crypto3.createHash)("sha256").update(blob, "utf8").digest("hex");
+  const hash = (0, import_crypto4.createHash)("sha256").update(blob, "utf8").digest("hex");
   return `sha256:${hash}`;
 }
 async function verifyAttestationSignature(attestation, publicKeyHex) {
@@ -396,11 +416,11 @@ async function verifyV3(request, profile, publicKeyHex, now, executionLog, error
     try {
       checkAttestationExpiry(attestation.payload, now);
     } catch {
-      const domainNames = attestation.payload.resolved_domains.map((d) => d.domain).join(", ");
+      const domainNames = (attestation.payload.resolved_domains ?? []).map((d) => d.domain).join(", ");
       errors.push({ code: "TTL_EXPIRED", message: `Attestation for domain "${domainNames}" has expired` });
       continue;
     }
-    for (const rd of attestation.payload.resolved_domains) {
+    for (const rd of attestation.payload.resolved_domains ?? []) {
       coveredDomains.add(rd.domain);
     }
   }
@@ -475,11 +495,11 @@ async function verifyV4(request, profile, publicKeyHex, now, executionLog) {
     try {
       checkAttestationExpiry(attestation.payload, now);
     } catch {
-      const domainNames = attestation.payload.resolved_domains.map((d) => d.domain).join(", ");
+      const domainNames = (attestation.payload.resolved_domains ?? []).map((d) => d.domain).join(", ");
       errors.push({ code: "TTL_EXPIRED", message: `Attestation for domain "${domainNames}" has expired` });
       continue;
     }
-    for (const rd of attestation.payload.resolved_domains) {
+    for (const rd of attestation.payload.resolved_domains ?? []) {
       coveredDomains.add(rd.domain);
     }
   }
@@ -783,12 +803,15 @@ function resolveCumulativeFields(request, profile, executionLog, now) {
   computeContentHash,
   computeContextHash,
   computeFrameHash,
+  computeIntentDisclosureHash,
+  computeIntentHash,
   contentCanonicalBytes,
   decodeAttestationBlob,
   encodeAttestationBlob,
   frameHash,
   getAllProfiles,
   getProfile,
+  intentDisclosureCanonicalBytes,
   isV4Attestation,
   listProfiles,
   registerProfile,

package/dist/index.mjs

@@ -50,8 +50,25 @@ function computeContentHash(binding, content) {
   return `sha256:${sha256Hex(contentCanonicalBytes(binding.kind, content))}`;
 }
 
-// src/frame.ts
+// src/intent-disclosure.ts
 import { createHash as createHash2 } from "crypto";
+function sha256Hex2(bytes) {
+  return createHash2("sha256").update(bytes, "utf8").digest("hex");
+}
+function computeIntentHash(intentText) {
+  return `sha256:${sha256Hex2(canonicalizeText(intentText))}`;
+}
+function intentDisclosureCanonicalBytes(intentCiphertext, approversFrozen) {
+  const sorted = [...approversFrozen].sort();
+  return `${intentCiphertext}
+${canonicalize(sorted)}`;
+}
+function computeIntentDisclosureHash(intentCiphertext, approversFrozen) {
+  return `sha256:${sha256Hex2(intentDisclosureCanonicalBytes(intentCiphertext, approversFrozen))}`;
+}
+
+// src/frame.ts
+import { createHash as createHash3 } from "crypto";
 function validateFrameParams(params, profile) {
   const errors = [];
   if (!profile.frameSchema) {
@@ -88,7 +105,7 @@ function canonicalFrame(params, profile) {
   return lines.join("\n");
 }
 function frameHash(canonicalFrameString) {
-  const hash = createHash2("sha256").update(canonicalFrameString, "utf8").digest("hex");
+  const hash = createHash3("sha256").update(canonicalFrameString, "utf8").digest("hex");
   return `sha256:${hash}`;
 }
 function computeFrameHash(params, profile) {
@@ -172,17 +189,17 @@ function canonicalContext(params, profile) {
 }
 function computeBoundsHash(params, profile) {
   const canonical = canonicalBounds(params, profile);
-  const hash = createHash2("sha256").update(canonical, "utf8").digest("hex");
+  const hash = createHash3("sha256").update(canonical, "utf8").digest("hex");
   return `sha256:${hash}`;
 }
 function computeContextHash(params, profile) {
   const canonical = canonicalContext(params, profile);
-  const hash = createHash2("sha256").update(canonical, "utf8").digest("hex");
+  const hash = createHash3("sha256").update(canonical, "utf8").digest("hex");
   return `sha256:${hash}`;
 }
 
 // src/attestation.ts
-import { createHash as createHash3 } from "crypto";
+import { createHash as createHash4 } from "crypto";
 import * as ed from "@noble/ed25519";
 function decodeAttestationBlob(blob) {
   try {
@@ -200,7 +217,7 @@ function encodeAttestationBlob(attestation) {
   return base64.replace(/\+/g, "-").replace(/\//g, "_").replace(/=+$/, "");
 }
 function attestationId(blob) {
-  const hash = createHash3("sha256").update(blob, "utf8").digest("hex");
+  const hash = createHash4("sha256").update(blob, "utf8").digest("hex");
   return `sha256:${hash}`;
 }
 async function verifyAttestationSignature(attestation, publicKeyHex) {
@@ -330,11 +347,11 @@ async function verifyV3(request, profile, publicKeyHex, now, executionLog, error
     try {
       checkAttestationExpiry(attestation.payload, now);
     } catch {
-      const domainNames = attestation.payload.resolved_domains.map((d) => d.domain).join(", ");
+      const domainNames = (attestation.payload.resolved_domains ?? []).map((d) => d.domain).join(", ");
       errors.push({ code: "TTL_EXPIRED", message: `Attestation for domain "${domainNames}" has expired` });
       continue;
     }
-    for (const rd of attestation.payload.resolved_domains) {
+    for (const rd of attestation.payload.resolved_domains ?? []) {
       coveredDomains.add(rd.domain);
     }
   }
@@ -409,11 +426,11 @@ async function verifyV4(request, profile, publicKeyHex, now, executionLog) {
     try {
       checkAttestationExpiry(attestation.payload, now);
     } catch {
-      const domainNames = attestation.payload.resolved_domains.map((d) => d.domain).join(", ");
+      const domainNames = (attestation.payload.resolved_domains ?? []).map((d) => d.domain).join(", ");
       errors.push({ code: "TTL_EXPIRED", message: `Attestation for domain "${domainNames}" has expired` });
       continue;
     }
-    for (const rd of attestation.payload.resolved_domains) {
+    for (const rd of attestation.payload.resolved_domains ?? []) {
       coveredDomains.add(rd.domain);
     }
   }
@@ -716,12 +733,15 @@ export {
   computeContentHash,
   computeContextHash,
   computeFrameHash,
+  computeIntentDisclosureHash,
+  computeIntentHash,
   contentCanonicalBytes,
   decodeAttestationBlob,
   encodeAttestationBlob,
   frameHash,
   getAllProfiles,
   getProfile,
+  intentDisclosureCanonicalBytes,
   isV4Attestation,
   listProfiles,
   registerProfile,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@humanagencyp/hap-core",
-  "version": "0.5.1",
+  "version": "0.5.2",
   "description": "Core types, cryptographic primitives, and verification logic for the Human Agency Protocol",
   "license": "MIT",
   "repository": {

package/src/gatekeeper.ts

@@ -131,12 +131,12 @@ async function verifyV3(
     try {
       checkAttestationExpiry(attestation.payload, now);
     } catch {
-      const domainNames = attestation.payload.resolved_domains.map(d => d.domain).join(', ');
+      const domainNames = (attestation.payload.resolved_domains ?? []).map(d => d.domain).join(', ');
       errors.push({ code: 'TTL_EXPIRED', message: `Attestation for domain "${domainNames}" has expired` });
       continue;
     }
 
-    for (const rd of attestation.payload.resolved_domains) {
+    for (const rd of attestation.payload.resolved_domains ?? []) {
       coveredDomains.add(rd.domain);
     }
   }
@@ -244,12 +244,12 @@ async function verifyV4(
     try {
       checkAttestationExpiry(attestation.payload, now);
     } catch {
-      const domainNames = attestation.payload.resolved_domains.map(d => d.domain).join(', ');
+      const domainNames = (attestation.payload.resolved_domains ?? []).map(d => d.domain).join(', ');
       errors.push({ code: 'TTL_EXPIRED', message: `Attestation for domain "${domainNames}" has expired` });
       continue;
     }
 
-    for (const rd of attestation.payload.resolved_domains) {
+    for (const rd of attestation.payload.resolved_domains ?? []) {
       coveredDomains.add(rd.domain);
     }
   }

package/src/index.ts

@@ -7,6 +7,7 @@
 export * from './types';
 export * from './canonicalize';
 export * from './content-binding';
+export * from './intent-disclosure';
 export * from './frame';
 export * from './attestation';
 export * from './gatekeeper';

package/src/intent-disclosure.ts

@@ -0,0 +1,69 @@
+/**
+ * Intent hashing + intent-disclosure binding (HAP v0.5).
+ *
+ * Two shared, environment-independent hashes that the attester (gateway), the
+ * Authority Server, and any approver MUST compute identically:
+ *
+ *  1. {@link computeIntentHash} — `gate_content_hashes.intent`. The intent text
+ *     is canonicalized (Unicode NFC, LF line endings, trailing-whitespace strip
+ *     — the same rule as content-binding's `canonicalizeText`) before hashing,
+ *     so independent multi-owner approvers reproduce an identical hash from the
+ *     same logical statement. See protocol.md → "Intent canonicalization".
+ *
+ *  2. {@link computeIntentDisclosureHash} — `intent_disclosure_hash`, the C2
+ *     binding from companion spec `intent-disclosure@0.1`. It commits the
+ *     encrypted disclosure object (`intent_ciphertext` + `approvers_frozen`)
+ *     into the SIGNED attestation payload, so a compromised AS cannot swap the
+ *     ciphertext/wrapped keys or widen/shrink the approver set without breaking
+ *     the attestation signature.
+ *
+ * Both produce `sha256:<hex>` to match the frame/bounds/context hash format.
+ */
+
+import { createHash } from 'crypto';
+import { canonicalize } from './canonicalize';
+import { canonicalizeText } from './content-binding';
+
+function sha256Hex(bytes: string): string {
+  return createHash('sha256').update(bytes, 'utf8').digest('hex');
+}
+
+/**
+ * `gate_content_hashes.intent` for an intent statement.
+ * Canonicalizes the text (NFC / LF / trailing-whitespace strip) before hashing.
+ */
+export function computeIntentHash(intentText: string): string {
+  return `sha256:${sha256Hex(canonicalizeText(intentText))}`;
+}
+
+/**
+ * The exact bytes `intent_disclosure_hash` is taken over, WITHOUT hashing —
+ * exposed so an implementer debugging a mismatch can inspect the serialization
+ * both sides must agree on:
+ *
+ *   intent_ciphertext ‖ "\n" ‖ JCS(sort(approvers_frozen))
+ *
+ * where `intent_ciphertext` is the exact base64url string of the disclosure
+ * object, `sort` orders the approver DIDs by Unicode code point, and `JCS` is
+ * RFC 8785 canonicalization of the sorted array (via {@link canonicalize}).
+ */
+export function intentDisclosureCanonicalBytes(
+  intentCiphertext: string,
+  approversFrozen: string[],
+): string {
+  const sorted = [...approversFrozen].sort();
+  return `${intentCiphertext}\n${canonicalize(sorted)}`;
+}
+
+/**
+ * `intent_disclosure_hash` — `sha256:<hex>` over
+ * {@link intentDisclosureCanonicalBytes}. Computed by the attester after
+ * encryption and signed into the attestation; recomputed by the AS (at
+ * issuance) and by each approver (on receipt) and compared, fail-closed.
+ */
+export function computeIntentDisclosureHash(
+  intentCiphertext: string,
+  approversFrozen: string[],
+): string {
+  return `sha256:${sha256Hex(intentDisclosureCanonicalBytes(intentCiphertext, approversFrozen))}`;
+}

package/src/types.ts

@@ -19,7 +19,7 @@ export interface ResolvedDomain {
 
 export interface AttestationPayload {
   attestation_id: string;
-  version: '0.3' | '0.4';
+  version: '0.3' | '0.4' | '0.5';
   profile_id: string;
   /** v0.3 (deprecated) — hash of the authorization frame */
   frame_hash?: string;
@@ -28,8 +28,29 @@ export interface AttestationPayload {
   /** v0.4 — hash of the context parameters */
   context_hash?: string;
   execution_context_hash: string;
-  resolved_domains: ResolvedDomain[];
+  /**
+   * v0.4 (deprecated in v0.5) — domain-scoped owners. Optional so v0.5
+   * attestations that carry only `resolved_owners` remain valid. During the
+   * transition the AS emits BOTH `resolved_domains` (internal coverage) and
+   * `resolved_owners` (the v0.5 signed wire field).
+   */
+  resolved_domains?: ResolvedDomain[];
+  /**
+   * v0.5 — the Decision Owner DIDs this attestation covers (person-centric
+   * model; replaces the abstract domain in `resolved_domains`). Carried in the
+   * signed payload so verifiers bind the action to the human(s) who authorized it.
+   */
+  resolved_owners?: string[];
   gate_content_hashes: Record<string, string>;
+  /**
+   * v0.5 (companion spec `intent-disclosure@0.1`) — present iff the attestation
+   * carries an encrypted-intent disclosure object. `sha256:`-prefixed hash that
+   * binds the disclosure's `intent_ciphertext` + `approvers_frozen` into the
+   * signed payload (see {@link computeIntentDisclosureHash}), so a compromised
+   * AS cannot swap the ciphertext/wrapped keys or alter the approver set
+   * without invalidating the attestation signature (companion invariant C2).
+   */
+  intent_disclosure_hash?: string;
   /**
    * v0.4 — commitment mode chosen by the decision owner at attestation time.
    * - 'automatic': agent may invoke bounded tools without per-action review.