@astrosheep/keiyaku 4.6.4 → 4.6.7

package/build/src/library/invocation.js

@@ -3,21 +3,10 @@ import { encodeEntry } from "../core/facts/codec.js";
 import { AuthorityCorruptionError } from "../core/facts/errors.js";
 import { observeExecution, } from "../protocol/execution-observation.js";
 import { reconcileLagScope } from "./reconcile.js";
-const CANDIDATE_CONCLUSION_KEYS = [
-    "completion",
-    "verification",
-    "verificationReuse",
-    "verificationSubject",
-    "verificationSummary",
-    "placement",
-];
+const CANDIDATE_CONCLUSION_KEYS = ["completion", "verification", "placement"];
 function entryKey(fact) {
     return `${fact.contract}\u0000${fact.entry}`;
 }
-/** The owner codec's canonical bytes: identity is (contract, entry), the payload is retained whole. */
-function entryBytes(fact) {
-    return encodeEntry(fact);
-}
 /**
  * The one invocation accumulator. It exists before any admission-capable await, satisfies the lower
  * Protocol progress sink, and holds every confirmed publication, candidate conclusion and physical
@@ -54,7 +43,7 @@ export class InvocationAccumulator {
         const incoming = new Map();
         for (const fact of facts) {
             const key = entryKey(fact);
-            const bytes = entryBytes(fact);
+            const bytes = encodeEntry(fact);
             const previous = incoming.get(key)?.bytes ?? this.entries.get(key);
             if (previous !== undefined && previous !== bytes)
                 throw new AuthorityCorruptionError("conflicting invocation receipt");
@@ -88,7 +77,7 @@ export class InvocationAccumulator {
         this.recordResidue(step.state.id, step);
     }
     hasFact(fact) {
-        return this.entries.get(entryKey(fact)) === entryBytes(fact);
+        return this.entries.get(entryKey(fact)) === encodeEntry(fact);
     }
     head(contract) {
         return this.admittedHeads.get(contract);
@@ -277,14 +266,3 @@ export class InvocationAccumulator {
             this.affectedContracts.add(contract);
     }
 }
-export function physicalOf(snapshot) {
-    const effects = [];
-    const lag = [];
-    for (const record of snapshot.effects) {
-        if (record.kind === "reconciliation-effect" && record.effect.kind !== "contract-file")
-            effects.push(record.effect);
-        else if (record.kind === "reconciliation-lag" && record.lag.kind !== "contract-file-failed")
-            lag.push(record.lag);
-    }
-    return { effects, lag };
-}