inamprotocol 0.4.1 → 0.4.2

package/dist/core/disputeLifecycle.d.ts

@@ -0,0 +1,31 @@
+/**
+ * SPEC.md §4.3 — dispute lifecycle. Pure and storage-free, same pattern as
+ * receiptVisibility.ts: both runtimes' receiptService/reputationService
+ * import this instead of duplicating the logic.
+ *
+ * Two rules live here:
+ *
+ * 1. Dispute right is per-party, not per-receipt. A receipt used to record
+ *    a single "resolved" flag shared by both parties, so whichever party
+ *    disputed-and-resolved first (self or otherwise) permanently blocked
+ *    the *other* party from ever disputing — a worker could immunize its
+ *    own receipt against a real requester complaint by disputing itself and
+ *    immediately withdrawing. `usedBy` tracks which parties have already
+ *    spent their one-shot dispute right; each party gets their own.
+ * 2. An open dispute that its opener never resolves would otherwise zero
+ *    out the receipt's reputation contribution forever, at no cost to the
+ *    opener — a free hostage mechanism. `resolutionDeadline` (set to the
+ *    same window length as the dispute-opening window itself) lets it lapse:
+ *    past the deadline, an unresolved dispute stops counting as active for
+ *    reputation purposes, though it can still be formally resolved later.
+ */
+export interface DisputeCheckable {
+    status: "draft" | "finalized" | "disputed";
+    dispute: {
+        status: "none" | "open" | "resolved";
+        resolutionDeadline?: string;
+        usedBy?: string[];
+    };
+}
+export declare function hasUsedDisputeRight(receipt: DisputeCheckable, callerDid: string): boolean;
+export declare function isDisputeActive(receipt: DisputeCheckable, now?: number): boolean;

package/dist/core/disputeLifecycle.js

@@ -0,0 +1,32 @@
+/**
+ * SPEC.md §4.3 — dispute lifecycle. Pure and storage-free, same pattern as
+ * receiptVisibility.ts: both runtimes' receiptService/reputationService
+ * import this instead of duplicating the logic.
+ *
+ * Two rules live here:
+ *
+ * 1. Dispute right is per-party, not per-receipt. A receipt used to record
+ *    a single "resolved" flag shared by both parties, so whichever party
+ *    disputed-and-resolved first (self or otherwise) permanently blocked
+ *    the *other* party from ever disputing — a worker could immunize its
+ *    own receipt against a real requester complaint by disputing itself and
+ *    immediately withdrawing. `usedBy` tracks which parties have already
+ *    spent their one-shot dispute right; each party gets their own.
+ * 2. An open dispute that its opener never resolves would otherwise zero
+ *    out the receipt's reputation contribution forever, at no cost to the
+ *    opener — a free hostage mechanism. `resolutionDeadline` (set to the
+ *    same window length as the dispute-opening window itself) lets it lapse:
+ *    past the deadline, an unresolved dispute stops counting as active for
+ *    reputation purposes, though it can still be formally resolved later.
+ */
+export function hasUsedDisputeRight(receipt, callerDid) {
+    return (receipt.dispute.usedBy ?? []).includes(callerDid);
+}
+export function isDisputeActive(receipt, now = Date.now()) {
+    if (receipt.status !== "disputed" || receipt.dispute.status !== "open")
+        return false;
+    if (!receipt.dispute.resolutionDeadline)
+        return true;
+    return now < new Date(receipt.dispute.resolutionDeadline).getTime();
+}
+//# sourceMappingURL=disputeLifecycle.js.map

package/dist/core/disputeLifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"disputeLifecycle.js","sourceRoot":"","sources":["../../src/core/disputeLifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAWH,MAAM,UAAU,mBAAmB,CAAC,OAAyB,EAAE,SAAiB;IAC9E,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAAyB,EAAE,MAAc,IAAI,CAAC,GAAG,EAAE;IACjF,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACrF,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB;QAAE,OAAO,IAAI,CAAC;IACrD,OAAO,GAAG,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,OAAO,EAAE,CAAC;AACtE,CAAC"}

package/dist/types.d.ts

@@ -68,6 +68,12 @@ export interface AgentRecord {
     revokedAt?: string;
     revocationReason?: string;
 }
+/** SPEC.md §4.1 — the receipt's own self-declared claim of how its parties
+ *  say the work was checked, set by agent_b at draft time. **Not** the same
+ *  as `IndependentVerificationMethod` (§12) below: this is unenforced today
+ *  (only `payer_confirmation` carries real weight), while a Verification is
+ *  a separate, signed third-party attestation resource with its own
+ *  distinct `method` enum. */
 export type VerificationMethod = "payer_confirmation" | "independent_validator" | "test_suite_pass";
 export type ReceiptOutcome = "success" | "partial" | "failed";
 export type ReceiptStatus = "draft" | "finalized" | "disputed";
@@ -111,6 +117,13 @@ export interface ExecutionReceipt {
         openedBy?: string;
         resolvedAt?: string;
         resolution?: string;
+        /** SPEC.md §4.3 (v0.22). Set when a dispute is opened; past this point
+         * an unresolved dispute stops counting as active for reputation. */
+        resolutionDeadline?: string;
+        /** SPEC.md §4.3 (v0.22). DIDs that have already disputed-and-resolved
+         * this receipt — each party gets one dispute right, tracked separately
+         * so one party's resolved dispute can't block the other party's real one. */
+        usedBy?: string[];
     };
     signatures: {
         agentB?: string;
@@ -200,11 +213,15 @@ export interface JobRecord {
     createdAt: string;
     expiresAt?: string;
 }
+/** SPEC.md §12 — how an independent Verification's signer actually checked
+ *  the work. **Not** the same as `VerificationMethod` (§4.1) above: that's
+ *  the receipt's own unenforced self-declared claim; this is a separate,
+ *  first-class attestation resource's method, with its own distinct enum. */
+export type IndependentVerificationMethod = "deterministic" | "agent_attestation";
+export type VerificationResult = "verified" | "rejected";
 /** SPEC.md §12: independent attestation that a finalized receipt's output
  * actually satisfies its job's requirements. Single verifier, no
  * draft/countersign step — complete and signed on submission. */
-export type IndependentVerificationMethod = "deterministic" | "agent_attestation";
-export type VerificationResult = "verified" | "rejected";
 export interface VerificationRecord {
     verificationVersion: "1.0";
     verificationId: string;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "inamprotocol",
-  "version": "0.4.1",
+  "version": "0.4.2",
   "description": "Reference TypeScript/JavaScript SDK for the INAM Protocol — agent identity, execution receipts, jobs, and reputation",
   "type": "module",
   "main": "./dist/index.js",