@bcts/envelope 1.0.0-alpha.18 → 1.0.0-alpha.20

package/dist/index.mjs

@@ -1,6 +1,6 @@
 import { ARID, COMPRESSED, Digest, Digest as Digest$1, ENCRYPTED, ENVELOPE, EncapsulationPublicKey as PublicKeyBase, EncapsulationScheme, EncryptedKey, LEAF, Nonce, PrivateKeyBase as PrivateKeyBase$1, PrivateKeys, PrivateKeys as PrivateKeyBase, PublicKeys, SSKRSecret, SSKRShareCbor, SSKRShareCbor as SSKRShareCbor$1, Salt, SealedMessage as ComponentsSealedMessage, SealedMessage as SealedMessage$1, Seed, Signature, Signature as Signature$1, SignatureScheme, SigningPrivateKey, SigningPrivateKey as SigningPrivateKey$1, SigningPublicKey, SigningPublicKey as SigningPublicKey$1, SymmetricKey, SymmetricKey as SymmetricKey$1, URI, UUID, XID, isEncrypter, sskrCombineShares, sskrGenerateShares, sskrGenerateUsing } from "@bcts/components";
 import { CborMap, MajorType, TAG_ENCODED_CBOR, TagsStore, asArray, asByteString, asCborArray, asCborMap, asMap, asTaggedValue, asText, cbor, cborData, decodeCbor, diagnosticOpt, getGlobalTagsStore, isArray, isBytes, isMap, isNaN, isNegative, isNull, isNumber, isSimple, isTagged, isText, isUnsigned, tagValue, tagsForValues, toTaggedValue, tryExpectedTaggedValue, tryIntoBool, tryIntoByteString, tryIntoText } from "@bcts/dcbor";
-import { ATTACHMENT, ATTACHMENT as ATTACHMENT$1, BODY, CONFORMS_TO, CONFORMS_TO as CONFORMS_TO$1, CONTENT, DATE, EDGE, EDGE as EDGE$1, ERROR, HAS_RECIPIENT as HAS_RECIPIENT$1, HAS_SECRET, IS_A, IS_A as IS_A$1, KNOWN_VALUES, KnownValue, KnownValuesStore, NOTE, NOTE as NOTE$1, OK_VALUE, POSITION, RESULT, SALT as SALT$1, SIGNED, SIGNED as SIGNED$1, SOURCE, SOURCE as SOURCE$1, SSKR_SHARE, TAG_KNOWN_VALUE, TARGET, TARGET as TARGET$1, UNIT, UNKNOWN_VALUE, VENDOR, VENDOR as VENDOR$1 } from "@bcts/known-values";
+import { ATTACHMENT, ATTACHMENT as ATTACHMENT$1, BODY, CONFORMS_TO, CONFORMS_TO as CONFORMS_TO$1, CONTENT, DATE, EDGE, EDGE as EDGE$1, ERROR, HAS_RECIPIENT as HAS_RECIPIENT$1, HAS_SECRET, IS_A, IS_A as IS_A$1, IS_A_RAW, KNOWN_VALUES, KnownValue, KnownValuesStore, NOTE, NOTE as NOTE$1, OK_VALUE, POSITION, RESULT, SALT as SALT$1, SIGNED, SIGNED as SIGNED$1, SOURCE, SOURCE as SOURCE$1, SOURCE_RAW, SSKR_SHARE, TAG_KNOWN_VALUE, TARGET, TARGET as TARGET$1, TARGET_RAW, UNIT, UNKNOWN_VALUE, VENDOR, VENDOR as VENDOR$1 } from "@bcts/known-values";
 import * as pako from "pako";
 import { SYMMETRIC_NONCE_SIZE, aeadChaCha20Poly1305DecryptWithAad, aeadChaCha20Poly1305EncryptWithAad } from "@bcts/crypto";
 import { SecureRandomNumberGenerator, rngNextInClosedRangeI32, rngRandomData } from "@bcts/rand";
@@ -34,6 +34,7 @@ let ErrorCode = /* @__PURE__ */ function(ErrorCode) {
 	ErrorCode["EDGE_DUPLICATE_IS_A"] = "EDGE_DUPLICATE_IS_A";
 	ErrorCode["EDGE_DUPLICATE_SOURCE"] = "EDGE_DUPLICATE_SOURCE";
 	ErrorCode["EDGE_DUPLICATE_TARGET"] = "EDGE_DUPLICATE_TARGET";
+	ErrorCode["EDGE_UNEXPECTED_ASSERTION"] = "EDGE_UNEXPECTED_ASSERTION";
 	ErrorCode["NONEXISTENT_EDGE"] = "NONEXISTENT_EDGE";
 	ErrorCode["AMBIGUOUS_EDGE"] = "AMBIGUOUS_EDGE";
 	ErrorCode["ALREADY_COMPRESSED"] = "ALREADY_COMPRESSED";
@@ -126,6 +127,9 @@ var EnvelopeError = class EnvelopeError extends Error {
 	static edgeDuplicateTarget() {
 		return new EnvelopeError(ErrorCode.EDGE_DUPLICATE_TARGET, "edge has duplicate 'target' assertions");
 	}
+	static edgeUnexpectedAssertion() {
+		return new EnvelopeError(ErrorCode.EDGE_UNEXPECTED_ASSERTION, "edge has unexpected assertion");
+	}
 	static nonexistentEdge() {
 		return new EnvelopeError(ErrorCode.NONEXISTENT_EDGE, "nonexistent edge");
 	}
@@ -2257,7 +2261,7 @@ Envelope.prototype.edges = function() {
 *
 * An edge may be wrapped (signed) or unwrapped. The inner envelope
 * must have exactly three assertion predicates: `'isA'`, `'source'`,
-* and `'target'`.
+* and `'target'`. No other assertions are permitted on the edge subject.
 *
 * Equivalent to Rust's `Envelope::validate_edge()`.
 *
@@ -2265,15 +2269,31 @@ Envelope.prototype.edges = function() {
 */
 Envelope.prototype.validateEdge = function() {
 	const inner = this.subject().isWrapped() ? this.subject().tryUnwrap() : this;
-	const isACount = inner.assertionsWithPredicate(IS_A$1).length;
-	const sourceCount = inner.assertionsWithPredicate(SOURCE$1).length;
-	const targetCount = inner.assertionsWithPredicate(TARGET$1).length;
-	if (isACount === 0) throw EnvelopeError.edgeMissingIsA();
-	if (sourceCount === 0) throw EnvelopeError.edgeMissingSource();
-	if (targetCount === 0) throw EnvelopeError.edgeMissingTarget();
-	if (isACount > 1) throw EnvelopeError.edgeDuplicateIsA();
-	if (sourceCount > 1) throw EnvelopeError.edgeDuplicateSource();
-	if (targetCount > 1) throw EnvelopeError.edgeDuplicateTarget();
+	let seenIsA = false;
+	let seenSource = false;
+	let seenTarget = false;
+	for (const assertion of inner.assertions()) {
+		const kv = assertion.tryPredicate().asKnownValue();
+		if (kv === void 0) throw EnvelopeError.edgeUnexpectedAssertion();
+		switch (kv.valueBigInt()) {
+			case IS_A_RAW:
+				if (seenIsA) throw EnvelopeError.edgeDuplicateIsA();
+				seenIsA = true;
+				break;
+			case SOURCE_RAW:
+				if (seenSource) throw EnvelopeError.edgeDuplicateSource();
+				seenSource = true;
+				break;
+			case TARGET_RAW:
+				if (seenTarget) throw EnvelopeError.edgeDuplicateTarget();
+				seenTarget = true;
+				break;
+			default: throw EnvelopeError.edgeUnexpectedAssertion();
+		}
+	}
+	if (!seenIsA) throw EnvelopeError.edgeMissingIsA();
+	if (!seenSource) throw EnvelopeError.edgeMissingSource();
+	if (!seenTarget) throw EnvelopeError.edgeMissingTarget();
 };
 /**
 * Extracts the `'isA'` assertion object from an edge envelope.