@openlfcp/wire 0.1.1 → 0.1.3

package/README.md

@@ -12,9 +12,9 @@ ESM only; Node.js 24 or later (browsers and Electron for every package except `@
 
 Part of the OpenLFCP TypeScript SDK, which implements the OpenLFCP MVP 0.1
 subset of [LFCP-WIRE-01](https://github.com/openlfcp/spec/blob/main/wire/LFCP-WIRE-01.md)
-at `mvp-0.1-baseline.8`, not every deferred WIRE-01 feature. It does not
+at `mvp-0.1-baseline.9`, not every deferred WIRE-01 feature. It does not
 claim full LFCP-WIRE-01 conformance. This is the MVP 0.1 release
-(`0.1.1`, npm dist-tag `latest`). Until 1.0, minor versions may change APIs.
+(`0.1.3`, npm dist-tag `latest`). Until 1.0, minor versions may change APIs.
 
 ## Links
 

package/dist/have.d.ts

@@ -91,6 +91,16 @@ export declare function unionHaves(a: HaveVector, b: HaveVector): HaveVector;
  * tail, holes, and remote extras; never requests what local already holds.
  */
 export declare function missingFrom(local: HaveVector, remote: HaveVector): ActorRange[];
+/**
+ * Both directions of anti-entropy (§28, §68.1): what a replica requests
+ * from its peer (the units `remote` holds and `local` lacks) and what it
+ * offers to it (the units `local` holds and `remote` lacks), each as the
+ * fewest ranges, by ascending raw Principal ID and then sequence.
+ */
+export declare function haveDifference(local: HaveVector, remote: HaveVector): {
+    readonly request: ActorRange[];
+    readonly offer: ActorRange[];
+};
 /**
  * Catch-up after loading a Snapshot (§29, §66 step 4): what `theirs` holds
  * that is neither in `ours` nor covered by the Snapshot's frontier.

package/dist/have.js

@@ -251,6 +251,15 @@ export function missingFrom(local, remote) {
     }
     return out;
 }
+/**
+ * Both directions of anti-entropy (§28, §68.1): what a replica requests
+ * from its peer (the units `remote` holds and `local` lacks) and what it
+ * offers to it (the units `local` holds and `remote` lacks), each as the
+ * fewest ranges, by ascending raw Principal ID and then sequence.
+ */
+export function haveDifference(local, remote) {
+    return Object.freeze({ request: missingFrom(local, remote), offer: missingFrom(remote, local) });
+}
 /**
  * Catch-up after loading a Snapshot (§29, §66 step 4): what `theirs` holds
  * that is neither in `ours` nor covered by the Snapshot's frontier.

package/dist/index.d.ts

@@ -9,7 +9,7 @@ export { checkDataUnit, type DataProfileCodec, type DataUnitAadFields, type Data
 export { checkReceivedUrl, checkWriterUrl, ENDPOINT_FLAGS, type Endpoint, endpointFromCbor, endpointToCbor, } from "./endpoint.js";
 export { type ControlView, classifyDataUnit, type DataPutDecision, type DataUnitHeader, type EpochClassification, type EpochRotation, isSequenceWithinFrontier, KEY_EPOCH_REASON, rotateEpoch, serverAcceptsDataPut, } from "./epoch.js";
 export { type AuthenticatedSession, type AuthProofCheck, type AuthTranscriptFields, authTranscript, type ClientHandshakeConfig, type ClientSession, type ClientStep, clientReceive, decodeAuthTranscript, isResourceMessage, type RandomSource, type ReadySession, type ServerHandshakeConfig, type ServerSession, type ServerStep, selectWireProfile, serverReceive, signAuthProof, startClientHandshake, startServerSession, verifyAuthProof, WIRE_PROFILE, } from "./handshake.js";
-export { type ActorHave, type ActorRange, actorHaveFromCbor, actorHaveToCbor, addRange, addSequence, batchDataRanges, canonicalFrontierFromCbor, canonicalFrontierToCbor, checkLiveHave, type HaveVector, hasSequence, type LiveHaveEntry, liveHavesOf, MAX_DATA_GET_RANGES, missingAfter, missingFrom, normalizeLiveHaves, type SequenceRange, unionHaves, } from "./have.js";
+export { type ActorHave, type ActorRange, actorHaveFromCbor, actorHaveToCbor, addRange, addSequence, batchDataRanges, canonicalFrontierFromCbor, canonicalFrontierToCbor, checkLiveHave, type HaveVector, hasSequence, haveDifference, type LiveHaveEntry, liveHavesOf, MAX_DATA_GET_RANGES, missingAfter, missingFrom, normalizeLiveHaves, type SequenceRange, unionHaves, } from "./have.js";
 export { assembleInviteUri, decodeInviteSecret, encodeInviteSecret, INVITE_SECRET_VERSION, type Invitation, invitationPrincipal, parseInviteUri, verifyInvitationSecret, } from "./invite.js";
 export { type KeyPackageCheck, type KeyPackageRecipient, keyPackageHpkeAad, keyPackageHpkeInfo, openKeyPackage, type ReceivedKeyPackage, receiveKeyPackage, type SealedKeyPackage, sealKeyPackage, verifyKeyPackage, } from "./key-package.js";
 export { type AckBody, type AnyMessage, type AuthBody, type ChallengeBody, type ControlGetBody, type ControlHaveBody, type ControlHeadRef, type CoreMessageType, createMessage, type DataGetBody, type DataHaveBody, type DataRange, DEFAULT_MAX_MESSAGE_BYTES, type DecodedEnvelope, type DecodeOptions, decodeEnvelope, decodeFrame, decodeMessage, ERROR_CODE, type ErrorBody, type ExtensionMessage, encodeMessage, FIRST_EXTENSION_MESSAGE_TYPE, type Frame, type FrameResult, type HelloBody, type KeyPackageGetBody, type LfcpMessage, type LiveActorHave, MESSAGE_TYPE, type MessageBodies, messageErrorWireCode, newMessageId, type ObjectListBody, type PingBody, type PresenceBody, type PresenceLeaveBody, type ReadyBody, type ResourceBody, type ResourceHostBody, type ResourceHostedBody, type ResourceOpenBody, type ResourceOpenedBody, replyTo, type SnapshotBody, type SnapshotGetBody, type SnapshotSummary, type WireErrorName, } from "./message.js";

package/dist/index.js

@@ -9,7 +9,7 @@ export { checkDataUnit, dataUnitAad, encodeDataUnitPayload, InMemorySeenUnits, r
 export { checkReceivedUrl, checkWriterUrl, ENDPOINT_FLAGS, endpointFromCbor, endpointToCbor, } from "./endpoint.js";
 export { classifyDataUnit, isSequenceWithinFrontier, KEY_EPOCH_REASON, rotateEpoch, serverAcceptsDataPut, } from "./epoch.js";
 export { authTranscript, clientReceive, decodeAuthTranscript, isResourceMessage, selectWireProfile, serverReceive, signAuthProof, startClientHandshake, startServerSession, verifyAuthProof, WIRE_PROFILE, } from "./handshake.js";
-export { actorHaveFromCbor, actorHaveToCbor, addRange, addSequence, batchDataRanges, canonicalFrontierFromCbor, canonicalFrontierToCbor, checkLiveHave, hasSequence, liveHavesOf, MAX_DATA_GET_RANGES, missingAfter, missingFrom, normalizeLiveHaves, unionHaves, } from "./have.js";
+export { actorHaveFromCbor, actorHaveToCbor, addRange, addSequence, batchDataRanges, canonicalFrontierFromCbor, canonicalFrontierToCbor, checkLiveHave, hasSequence, haveDifference, liveHavesOf, MAX_DATA_GET_RANGES, missingAfter, missingFrom, normalizeLiveHaves, unionHaves, } from "./have.js";
 export { assembleInviteUri, decodeInviteSecret, encodeInviteSecret, INVITE_SECRET_VERSION, invitationPrincipal, parseInviteUri, verifyInvitationSecret, } from "./invite.js";
 export { keyPackageHpkeAad, keyPackageHpkeInfo, openKeyPackage, receiveKeyPackage, sealKeyPackage, verifyKeyPackage, } from "./key-package.js";
 export { createMessage, DEFAULT_MAX_MESSAGE_BYTES, decodeEnvelope, decodeFrame, decodeMessage, ERROR_CODE, encodeMessage, FIRST_EXTENSION_MESSAGE_TYPE, MESSAGE_TYPE, messageErrorWireCode, newMessageId, replyTo, } from "./message.js";

package/dist/message.d.ts

@@ -89,6 +89,8 @@ export declare const ERROR_CODE: Readonly<{
     HOSTING_DENIED: 20n;
     RESOURCE_TOMBSTONED: 21n;
     INTERNAL_ERROR: 22n;
+    /** §51.1 (baseline.9): a Data Unit whose `previous` the server does not store. */
+    UNKNOWN_PREVIOUS: 23n;
 }>;
 export type WireErrorName = keyof typeof ERROR_CODE;
 /** §31: the default maximum LFCP message size, unless READY advertises another. */

package/dist/message.js

@@ -90,6 +90,8 @@ export const ERROR_CODE = Object.freeze({
     HOSTING_DENIED: 20n,
     RESOURCE_TOMBSTONED: 21n,
     INTERNAL_ERROR: 22n,
+    /** §51.1 (baseline.9): a Data Unit whose `previous` the server does not store. */
+    UNKNOWN_PREVIOUS: 23n,
 });
 /** §31: the default maximum LFCP message size, unless READY advertises another. */
 export const DEFAULT_MAX_MESSAGE_BYTES = 8 * 1024 * 1024;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@openlfcp/wire",
-  "version": "0.1.1",
+  "version": "0.1.3",
   "description": "Deterministic CBOR, COSE and LFCP Wire structures and codecs.",
   "keywords": [
     "openlfcp",
@@ -47,7 +47,7 @@
     "tag": "latest"
   },
   "dependencies": {
-    "@openlfcp/core": "^0.1.1",
-    "@openlfcp/crypto": "^0.1.1"
+    "@openlfcp/core": "^0.1.3",
+    "@openlfcp/crypto": "^0.1.3"
   }
 }