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

package/dist/index.cjs

@@ -63,6 +63,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";
@@ -155,6 +156,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");
 	}
@@ -2286,7 +2290,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()`.
 *
@@ -2294,15 +2298,31 @@ Envelope.prototype.edges = function() {
 */
 Envelope.prototype.validateEdge = function() {
 	const inner = this.subject().isWrapped() ? this.subject().tryUnwrap() : this;
-	const isACount = inner.assertionsWithPredicate(_bcts_known_values.IS_A).length;
-	const sourceCount = inner.assertionsWithPredicate(_bcts_known_values.SOURCE).length;
-	const targetCount = inner.assertionsWithPredicate(_bcts_known_values.TARGET).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 _bcts_known_values.IS_A_RAW:
+				if (seenIsA) throw EnvelopeError.edgeDuplicateIsA();
+				seenIsA = true;
+				break;
+			case _bcts_known_values.SOURCE_RAW:
+				if (seenSource) throw EnvelopeError.edgeDuplicateSource();
+				seenSource = true;
+				break;
+			case _bcts_known_values.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.