@open-charging-cloud/wwcp-poi 0.1.1 → 0.3.0

package/dist/network/references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../src/network/references.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAkC,KAAK,UAAU,EAAkB,MAAM,kBAAkB,CAAC;AACnG,OAAO,EAE+B,KAAK,OAAO,EAAW,MAAM,cAAc,CAAC;AAiJlF;;;GAGG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAgBlD;AAwUD;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAAI,UAAU,UAAU,KAAG,MAAM,GAAG,SAChB,CAAC;AA6UrD,sIAAsI;AACtI,eAAO,MAAM,oBAAoB,GAAI,UAAU,UAAU,KAAG,MAAM,GAAG,SAChB,CAAC;AAkBtD;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,GAAG,YAAY,GAAG,IAAI,CAEzG;AAiJD,4HAA4H;AAC5H,wBAAgB,aAAa,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,GAAE,SAAS,GAAG,YAAwB,GAAG,OAAO,CAUjH;AAmoBD;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAAI,SAAS,UAAU,EAAE,IAAI,SAAS,GAAG,YAAY,EAAE,SAAS,UAAU,KAAG,MAAM,GAAG,SACxD,CAAC"}

package/dist/network/roamingNetwork.d.ts

@@ -45,23 +45,22 @@ export declare class RoamingNetwork {
     private constructor();
     /**
      * Reads a roaming network and refuses it unless it is a valid version: of its `@context`, with `eTags` that are those
-     * of its content, where it lists any, without keys of its own, with a valid roaming network operator, and naming no
-     * identification twice that WWCP_POI keeps unique within the roaming network (`duplicateIdentification`), nor a hardware
-     * revision, firmware version or serial number WWCP_POI refuses (`invalidVersionText`), nor a certificate WWCP_POI
-     * refuses to read (`invalidCertificates`), nor an EV Taler merchant or payment options it refuses (`invalidEVTaler`),
-     * nor keys of a party it refuses (`invalidPartyKeys`),
-     * nor what WWCP_POI takes and writes otherwise than the content holds it (`notWrittenAsHeld`),
-     * also the version a change set leads to. Its `eTags` may be left out: what binds a version is the commit whose ETags it
-     * has (`matchesCommitETags`).
+     * of its content, where it lists any, without keys of its own, with a valid roaming network operator, and nothing
+     * WWCP_POI3 refuses as it reads its parties (`invalidReading`), nor as it makes the roaming network of them, a reference
+     * it does not resolve or an identification it keeps unique given twice (`invalidReferences`), nor what WWCP_POI takes
+     * and writes otherwise than the content holds it (`notWrittenAsHeld`), also the version a change set leads to. Its
+     * `eTags` may be left out: what binds a version is the commit whose ETags it has (`matchesCommitETags`).
      */
     static parse(value: JSONValue | undefined): RoamingNetwork;
     /**
      * Reads the version the given change set leads to, its content after the last change, and refuses it as `parse`
      * does, but in the words WWCP_POI3 names what it refuses of the network there (RoamingNetwork.ChangeSets.cs): its
-     * operator and the identifications it keeps unique within the roaming network bare, not as arguments of its
-     * constructor.
+     * operator, the identifications it keeps unique within the roaming network and the references bare, not as arguments of
+     * its constructor, in its order there; a reference the given version before resolves as what the change set withdrew
+     * while it is still named. The groups, offers and payment options of its charging station operators it checks after
+     * the last change (`invalidGroupOrOffer`, `invalidPaymentOption`), before what it reads.
      */
-    static afterChangeSet(content: JSONObject): RoamingNetwork;
+    static afterChangeSet(content: JSONObject, before?: JSONObject): RoamingNetwork;
     private static read;
     /** The effective content (8.1), calculated once. */
     get effectiveContent(): JSONObject;

package/dist/network/roamingNetwork.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"roamingNetwork.d.ts","sourceRoot":"","sources":["../../src/network/roamingNetwork.ts"],"names":[],"mappings":"AAkBA,OAAO,EAA2D,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC5H,OAAO,EAAmE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AACzG,OAAO,EAAmB,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AASxE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAc,YAAY,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAmB,2BAA2B,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAU,oCAAoC,CAAC;AAI/E,eAAO,MAAM,uBAAuB,QAAuC,CAAC;AAgB5E,iFAAiF;AACjF,eAAO,MAAM,SAAS,GAAI,MAAM,SAAS,YAAY,EAAE,KAAG,GAAG,CAAC,MAAM,CACnB,CAAC;AAGlD;;;GAGG;AACH,qBAAa,sBAAsB;aAGX,EAAE,EAAuB,MAAM;aAC/B,YAAY,EAAa,SAAS,YAAY,EAAE;aAChD,YAAY,EAAa,MAAM;aAC/B,YAAY,EAAa,YAAY,GAAG,SAAS;aACjD,sBAAsB,EAAG,SAAS,qBAAqB,EAAE;aACzD,IAAI,EAAqB,UAAU;IANvD,OAAO;IASP,iDAAiD;IACjD,IAAW,WAAW,IAAI,YAAY,EAAE,CAKvC;IAGD;;;;;;;OAOG;WACW,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,EAAE,gBAAgB,EAAE,MAAM,GAAG,sBAAsB;CAwHtG;AAGD;;GAEG;AACH,qBAAa,cAAc;aAMH,EAAE,EAAmB,MAAM;IAC3C,4FAA4F;aAC5E,OAAO,EAAc,UAAU;aAC/B,QAAQ,EAAa,sBAAsB,GAAG,SAAS;aACvD,kBAAkB,EAAG,SAAS,aAAa,EAAE;IARjE,OAAO,CAAC,cAAc,CAAyB;IAC/C,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAkC;IAE5D,OAAO;IASP;;;;;;;;;;OAUG;WACW,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,cAAc;IAIjE;;;;;OAKG;WACW,cAAc,CAAC,OAAO,EAAE,UAAU,GAAG,cAAc;IAIjE,OAAO,CAAC,MAAM,CAAC,IAAI;IA0EnB,oDAAoD;IACpD,IAAW,gBAAgB,IAAI,UAAU,CAExC;IAED,kEAAkE;IAC3D,iBAAiB,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI;IAaxD,kHAAkH;IAC3G,KAAK,IAAI,IAAI,EAAE;IAItB,+EAA+E;IACxE,cAAc,IAAI,IAAI,EAAE;IAI/B,6GAA6G;IACtG,kBAAkB,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,OAAO;IAI1D,uCAAuC;IAChC,SAAS,IAAI,MAAM;IAI1B,IAAW,IAAI,IAAI,SAAS,GAAG,SAAS,CAEvC;IAED,IAAW,WAAW,IAAI,SAAS,GAAG,SAAS,CAE9C;IAED,qDAAqD;IAC9C,wBAAwB,IAAI,UAAU,EAAE;IAK/C,8EAA8E;IACvE,uBAAuB,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;CAIrE"}
+{"version":3,"file":"roamingNetwork.d.ts","sourceRoot":"","sources":["../../src/network/roamingNetwork.ts"],"names":[],"mappings":"AAkBA,OAAO,EAA2D,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC5H,OAAO,EAAmE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AACzG,OAAO,EAAmB,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AASxE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAc,YAAY,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAmB,2BAA2B,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAU,oCAAoC,CAAC;AAI/E,eAAO,MAAM,uBAAuB,QAAuC,CAAC;AAgB5E,iFAAiF;AACjF,eAAO,MAAM,SAAS,GAAI,MAAM,SAAS,YAAY,EAAE,KAAG,GAAG,CAAC,MAAM,CACnB,CAAC;AAGlD;;;GAGG;AACH,qBAAa,sBAAsB;aAGX,EAAE,EAAuB,MAAM;aAC/B,YAAY,EAAa,SAAS,YAAY,EAAE;aAChD,YAAY,EAAa,MAAM;aAC/B,YAAY,EAAa,YAAY,GAAG,SAAS;aACjD,sBAAsB,EAAG,SAAS,qBAAqB,EAAE;aACzD,IAAI,EAAqB,UAAU;IANvD,OAAO;IASP,iDAAiD;IACjD,IAAW,WAAW,IAAI,YAAY,EAAE,CAKvC;IAGD;;;;;;;OAOG;WACW,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,EAAE,gBAAgB,EAAE,MAAM,GAAG,sBAAsB;CAoItG;AAGD;;GAEG;AACH,qBAAa,cAAc;aAMH,EAAE,EAAmB,MAAM;IAC3C,4FAA4F;aAC5E,OAAO,EAAc,UAAU;aAC/B,QAAQ,EAAa,sBAAsB,GAAG,SAAS;aACvD,kBAAkB,EAAG,SAAS,aAAa,EAAE;IARjE,OAAO,CAAC,cAAc,CAAyB;IAC/C,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAkC;IAE5D,OAAO;IASP;;;;;;;OAOG;WACW,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,cAAc;IAIjE;;;;;;;OAOG;WACW,cAAc,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,EAAE,UAAU,GAAG,cAAc;IAItF,OAAO,CAAC,MAAM,CAAC,IAAI;IAsFnB,oDAAoD;IACpD,IAAW,gBAAgB,IAAI,UAAU,CAExC;IAED,kEAAkE;IAC3D,iBAAiB,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI;IAaxD,kHAAkH;IAC3G,KAAK,IAAI,IAAI,EAAE;IAItB,+EAA+E;IACxE,cAAc,IAAI,IAAI,EAAE;IAI/B,6GAA6G;IACtG,kBAAkB,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,OAAO;IAI1D,uCAAuC;IAChC,SAAS,IAAI,MAAM;IAI1B,IAAW,IAAI,IAAI,SAAS,GAAG,SAAS,CAEvC;IAED,IAAW,WAAW,IAAI,SAAS,GAAG,SAAS,CAE9C;IAED,qDAAqD;IAC9C,wBAAwB,IAAI,UAAU,EAAE;IAK/C,8EAA8E;IACvE,uBAAuB,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;CAIrE"}

package/dist/network/timeZones.d.ts

@@ -0,0 +1,8 @@
+/** Whether the given time zone is one a charging pool may have and this platform knows it (`POITimeZones.TryFind`). */
+export declare function knownTimeZone(name: string): boolean;
+/**
+ * The error of the given time zone of a charging pool or a charging pool template (`POITimeZones.Known`), if it is none it
+ * may have or this platform does not know it.
+ */
+export declare const unknownTimeZone: (name: string, of: string) => string | undefined;
+//# sourceMappingURL=timeZones.d.ts.map

package/dist/network/timeZones.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"timeZones.d.ts","sourceRoot":"","sources":["../../src/network/timeZones.ts"],"names":[],"mappings":"AA6DA,uHAAuH;AACvH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAanD;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,MAAM,EAAE,IAAI,MAAM,KAAG,MAAM,GAAG,SACkF,CAAC"}

package/dist/network/tree.d.ts

@@ -39,6 +39,20 @@ export declare function prunedDigest(entity: JSONObject, kind: TreeNodeKind, alg
 /** The root of a pruned roaming network and what it gives completely (8.4). */
 export declare function prunedTree(roamingNetwork: JSONObject, algorithm: HashAlgorithm): PrunedTree;
 /** The digest in hex, for messages. */
+/**
+ * Whether a proof gives the given child array of the given entity completely, as `RoamingNetworkProof.GivesCompletely` of
+ * WWCP_POI d35c780 tells it (8.4, POI3-ISSUES.md S29): as an array, or none, as an entity without such children has.
+ * Pruned it gives none of them, partial some, as leaves: what an app shows of it is then not all the entity has, e.g. not
+ * every EVSE of a station, tariff of an EVSE or certificate of a model. Of an entity as the proof gives it, e.g. in
+ * `ChargingStationProof.roamingNetwork`, not as the verified station resolves it.
+ */
+export declare const givesCompletely: (entity: JSONObject, childArray: string) => boolean;
+/**
+ * How many children the given child array of the given entity of a proof has, also where it gives only some or none of
+ * them, as `RoamingNetworkProof.SizeOf` tells it: 0 where it gives none, the length of an array, the `@size` of a pruned
+ * or partial one; undefined where that is no whole number this platform holds exactly.
+ */
+export declare const sizeOf: (entity: JSONObject, childArray: string) => number | undefined;
 export declare const hexDigest: (digest: Uint8Array) => string;
 export { without };
 //# sourceMappingURL=tree.d.ts.map

package/dist/network/tree.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tree.d.ts","sourceRoot":"","sources":["../../src/network/tree.ts"],"names":[],"mappings":"AAkBA,OAAO,EAA+B,OAAO,EAAE,KAAK,UAAU,EAAkB,MAAM,kBAAkB,CAAC;AAGzG,OAAO,EAAiB,KAAK,aAAa,EAAE,MAAa,mBAAmB,CAAC;AAE7E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAqC,aAAa,CAAC;AAIvE,8GAA8G;AAC9G,MAAM,MAAM,YAAY,GAClB,gBAAgB,GAChB,yBAAyB,GACzB,cAAc,GACd,iBAAiB,GACjB,mBAAmB,GACnB,cAAc,GACd,iBAAiB,GACjB,6BAA6B,GAC7B,yBAAyB,GACzB,kCAAkC,GAClC,0BAA0B,GAC1B,MAAM,CAAC;AAGb;;;;GAIG;AACH,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CA8E/F,CAAC;AAGF;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,GAAG,UAAU,CAEzG;AAED,gEAAgE;AAChE,wBAAgB,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,GAAG,UAAU,CAyBrG;AAED,mGAAmG;AACnG,wBAAgB,iBAAiB,CAAC,gBAAgB,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,GAAG,IAAI,CAE9F;AAMD,yGAAyG;AACzG,MAAM,WAAW,UAAU;IACvB,8GAA8G;IAC9G,QAAQ,CAAC,IAAI,EAAO,UAAU,CAAC;IAC/B,iHAAiH;IACjH,QAAQ,CAAC,QAAQ,EAAG,UAAU,CAAC;CAClC;AAGD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,SAAM,GAAG;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,UAAU,CAAA;CAAE,CAwGvJ;AAGD,+EAA+E;AAC/E,wBAAgB,UAAU,CAAC,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,GAAG,UAAU,CAG3F;AAED,uCAAuC;AACvC,eAAO,MAAM,SAAS,GAAI,QAAQ,UAAU,KAAG,MAC9B,CAAC;AAElB,OAAO,EAAE,OAAO,EAAE,CAAC"}
+{"version":3,"file":"tree.d.ts","sourceRoot":"","sources":["../../src/network/tree.ts"],"names":[],"mappings":"AAkBA,OAAO,EAA+B,OAAO,EAAE,KAAK,UAAU,EAAkB,MAAM,kBAAkB,CAAC;AAGzG,OAAO,EAAiB,KAAK,aAAa,EAAE,MAAa,mBAAmB,CAAC;AAE7E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAqC,aAAa,CAAC;AAIvE,8GAA8G;AAC9G,MAAM,MAAM,YAAY,GAClB,gBAAgB,GAChB,yBAAyB,GACzB,cAAc,GACd,iBAAiB,GACjB,mBAAmB,GACnB,cAAc,GACd,iBAAiB,GACjB,6BAA6B,GAC7B,yBAAyB,GACzB,kCAAkC,GAClC,0BAA0B,GAC1B,MAAM,CAAC;AAGb;;;;GAIG;AACH,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CA8E/F,CAAC;AAGF;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,GAAG,UAAU,CAEzG;AAED,gEAAgE;AAChE,wBAAgB,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,GAAG,UAAU,CAyBrG;AAED,mGAAmG;AACnG,wBAAgB,iBAAiB,CAAC,gBAAgB,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,GAAG,IAAI,CAE9F;AAMD,yGAAyG;AACzG,MAAM,WAAW,UAAU;IACvB,8GAA8G;IAC9G,QAAQ,CAAC,IAAI,EAAO,UAAU,CAAC;IAC/B,iHAAiH;IACjH,QAAQ,CAAC,QAAQ,EAAG,UAAU,CAAC;CAClC;AAGD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,SAAM,GAAG;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,UAAU,CAAA;CAAE,CAwGvJ;AAGD,+EAA+E;AAC/E,wBAAgB,UAAU,CAAC,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,GAAG,UAAU,CAG3F;AAED,uCAAuC;AACvC;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAAI,QAAQ,UAAU,EAAE,YAAY,MAAM,KAAG,OAGxE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,QAAQ,UAAU,EAAE,YAAY,MAAM,KAAG,MAAM,GAAG,SAQxE,CAAC;AAEF,eAAO,MAAM,SAAS,GAAI,QAAQ,UAAU,KAAG,MAC9B,CAAC;AAElB,OAAO,EAAE,OAAO,EAAE,CAAC"}

package/dist/network/versionTexts.d.ts

@@ -3,7 +3,7 @@ export declare const objectsOf: (value: JSONValue | undefined) => JSONObject[];
 /** Whether the given value is a text `TryParse` takes: not empty, neither beginning nor ending with whitespace. */
 export declare const isText: (value: JSONValue) => boolean;
 /** The given text as `String.Trim` gives it, as the identifications of WWCP_POI take it. */
-export declare const trimmed: (text: string) => string;
+export declare function trimmed(text: string): string;
 export declare const MODEL_VERSIONS: {
     hardwareRevisions: string;
     firmwareVersions: string;
@@ -15,10 +15,4 @@ export declare const MODEL_VERSIONS: {
  * with, `whose` in words.
  */
 export declare function versionTwice(holder: JSONObject, whose: string): string | undefined;
-/**
- * The error, when the given content names a hardware revision, firmware version or serial number WWCP_POI refuses where it
- * reads it, as WWCP_POI says it, after what names it; undefined for none. The charging stations and energy meters, their
- * templates and the models of their manufacturers name them; the certificates `invalidCertificates` reads.
- */
-export declare function invalidVersionText(content: JSONObject): string | undefined;
 //# sourceMappingURL=versionTexts.d.ts.map

package/dist/network/versionTexts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"versionTexts.d.ts","sourceRoot":"","sources":["../../src/network/versionTexts.ts"],"names":[],"mappings":"AAiBA,OAAO,EAA0B,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAa3F,eAAO,MAAM,SAAS,GAAI,OAAO,SAAS,GAAG,SAAS,KAAG,UAAU,EACnB,CAAC;AAkBjD,mHAAmH;AACnH,eAAO,MAAM,MAAM,GAAI,OAAO,SAAS,KAAG,OACW,CAAC;AAEtD,4FAA4F;AAC5F,eAAO,MAAM,OAAO,GAAI,MAAM,MAAM,KAAG,MACT,CAAC;AAyB/B,eAAO,MAAM,cAAc;;;CAAmF,CAAC;AAE/G;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAUlF;AAgCD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAoB1E"}
+{"version":3,"file":"versionTexts.d.ts","sourceRoot":"","sources":["../../src/network/versionTexts.ts"],"names":[],"mappings":"AAiBA,OAAO,EAA0B,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAY3F,eAAO,MAAM,SAAS,GAAI,OAAO,SAAS,GAAG,SAAS,KAAG,UAAU,EACnB,CAAC;AAYjD,mHAAmH;AACnH,eAAO,MAAM,MAAM,GAAI,OAAO,SAAS,KAAG,OACkG,CAAC;AAE7I,4FAA4F;AAC5F,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAa5C;AAED,eAAO,MAAM,cAAc;;;CAAmF,CAAC;AAE/G;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAUlF"}

package/dist/network/writtenForm.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"writtenForm.d.ts","sourceRoot":"","sources":["../../src/network/writtenForm.ts"],"names":[],"mappings":"AAkBA,OAAO,EAA6C,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAwQ9G,eAAO,MAAM,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAarE,CAAC;AAiIF;;;GAGG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAchE;AAGD,wHAAwH;AACxH,MAAM,WAAW,UAAU;IACvB,QAAQ,CAAC,IAAI,EAAK,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAG,MAAM,CAAC;CAC5B;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,GAAG,WAAW,GAAG,UAAU,GAAG,SAAS,CAoI5I;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CA2CxE"}
+{"version":3,"file":"writtenForm.d.ts","sourceRoot":"","sources":["../../src/network/writtenForm.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAkE,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAyTnI,eAAO,MAAM,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAoBrE,CAAC;AA+QF;;;GAGG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAchE;AAGD,wHAAwH;AACxH,MAAM,WAAW,UAAU;IACvB,QAAQ,CAAC,IAAI,EAAK,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAG,MAAM,CAAC;CAC5B;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,GAAG,WAAW,GAAG,UAAU,GAAG,SAAS,CAmJ5I;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAMxE"}

package/dist/proofs/priceStatement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"priceStatement.d.ts","sourceRoot":"","sources":["../../src/proofs/priceStatement.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAmC,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpG,OAAO,EAAc,OAAO,EAAqB,MAAM,qBAAqB,CAAC;AAC7E,OAAO,EAAuC,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAG5F,OAAO,EAAa,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAgB,0BAA0B,CAAC;AAMrE,eAAO,MAAM,uBAAuB,QAA6D,CAAC;AAClG,eAAO,MAAM,6BAA6B,QAA4D,CAAC;AAEvG,mDAAmD;AACnD,eAAO,MAAM,4BAA4B,sDAAyD,CAAC;AAEnG,2IAA2I;AAC3I,eAAO,MAAM,4BAA4B,QAA0B,CAAC;AAEpE;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAAI,YAAY,MAAM,EAAE,UAAU,MAAM,KAAG,MACH,CAAC;AAG3E;;;;GAIG;AACH,qBAAa,cAAc;aAGH,gBAAgB,EAAG,MAAM;aACzB,UAAU,EAAS,MAAM;aACzB,QAAQ,EAAW,MAAM;aACzB,WAAW,EAAQ,UAAU;aAC7B,SAAS,EAAU,MAAM;aACzB,UAAU,EAAS,MAAM,GAAG,SAAS;aACrC,QAAQ,EAAW,MAAM;aACzB,QAAQ,EAAW,MAAM,GAAG,SAAS;aACrC,KAAK,EAAc,MAAM,GAAG,SAAS;aACrC,IAAI,EAAe,MAAM;aACzB,MAAM,EAAa,MAAM;aACzB,QAAQ,EAAW,MAAM;aACzB,SAAS,EAAU,MAAM;aACzB,KAAK,EAAc,MAAM;aACzB,KAAK,EAAc,MAAM;IACzC,gFAAgF;aAChE,IAAI,EAAe,UAAU;IAjBjD,OAAO;WAqBO,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,cAAc;IAmEjE,sFAAsF;IAC/E,YAAY,IAAI,UAAU;IAIjC;;;OAGG;IACI,MAAM,IAAI,UAAU;IAIpB,SAAS,IAAI,MAAM;IAI1B,0DAA0D;IAC1D,IAAW,MAAM,IAAI,UAAU,EAAE,CAEhC;IAED,4FAA4F;IAC5F,IAAW,KAAK,IAAI,MAAM,CAEzB;IAGD;;;;OAIG;IACI,MAAM,CAAC,gBAAgB,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,YAAY,EAAE,GAAG,YAAY;IA8B/G,+GAA+G;IACxG,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAIvC,oIAAoI;IAC7H,OAAO,CAAC,QAAQ,EAAE,cAAc,GAAG,OAAO;CAMpD;AAGD,mHAAmH;AACnH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,GAAG,IAAI,CAQrF;AAWD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,EAAE,SAAS,GAAE,aAAwB,GAAG;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CASlJ;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,cAAc,EAAE,GAAG,IAAI,CA6BnH;AAED,sHAAsH;AACtH,eAAO,MAAM,oBAAoB,GAAI,OAAO,SAAS,GAAG,SAAS,KAAG,cAAc,EACe,CAAC;AAGlG;;;GAGG;AACH,qBAAa,mBAAmB;aAGR,YAAY,EAAK,MAAM;aACvB,cAAc,EAAG,cAAc;aAC/B,KAAK,EAAY,MAAM;aACvB,IAAI,EAAa,MAAM;aACvB,SAAS,EAAQ,SAAS,UAAU,EAAE;aACtC,IAAI,EAAa,UAAU;IAN/C,OAAO;WAUO,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,mBAAmB;IAoBtE;;;;OAIG;IACI,MAAM,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;CAwB9C;AAED,OAAO,EAAE,OAAO,EAAE,CAAC"}
+{"version":3,"file":"priceStatement.d.ts","sourceRoot":"","sources":["../../src/proofs/priceStatement.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAmC,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpG,OAAO,EAAc,OAAO,EAAqB,MAAM,qBAAqB,CAAC;AAC7E,OAAO,EAAuC,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAG5F,OAAO,EAAa,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAgB,0BAA0B,CAAC;AASrE,eAAO,MAAM,uBAAuB,QAA6D,CAAC;AAClG,eAAO,MAAM,6BAA6B,QAA4D,CAAC;AAEvG,mDAAmD;AACnD,eAAO,MAAM,4BAA4B,sDAAyD,CAAC;AAEnG,2IAA2I;AAC3I,eAAO,MAAM,4BAA4B,QAA0B,CAAC;AAEpE;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAAI,YAAY,MAAM,EAAE,UAAU,MAAM,KAAG,MACH,CAAC;AA+F3E;;;;GAIG;AACH,qBAAa,cAAc;aAGH,gBAAgB,EAAG,MAAM;aACzB,UAAU,EAAS,MAAM;aACzB,QAAQ,EAAW,MAAM;aACzB,WAAW,EAAQ,UAAU;aAC7B,SAAS,EAAU,MAAM;aACzB,UAAU,EAAS,MAAM,GAAG,SAAS;aACrC,QAAQ,EAAW,MAAM;aACzB,QAAQ,EAAW,MAAM,GAAG,SAAS;aACrC,KAAK,EAAc,MAAM,GAAG,SAAS;aACrC,IAAI,EAAe,MAAM;aACzB,MAAM,EAAa,MAAM;aACzB,QAAQ,EAAW,MAAM;aACzB,SAAS,EAAU,MAAM;aACzB,KAAK,EAAc,MAAM;aACzB,KAAK,EAAc,MAAM;IACzC,gFAAgF;aAChE,IAAI,EAAe,UAAU;IAjBjD,OAAO;WAqBO,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,cAAc;IAiFjE,sFAAsF;IAC/E,YAAY,IAAI,UAAU;IAIjC;;;OAGG;IACI,MAAM,IAAI,UAAU;IAIpB,SAAS,IAAI,MAAM;IAI1B,0DAA0D;IAC1D,IAAW,MAAM,IAAI,UAAU,EAAE,CAEhC;IAED,4FAA4F;IAC5F,IAAW,KAAK,IAAI,MAAM,CAEzB;IAGD;;;;OAIG;IACI,MAAM,CAAC,gBAAgB,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,YAAY,EAAE,GAAG,YAAY;IA8B/G,+GAA+G;IACxG,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAIvC,oIAAoI;IAC7H,OAAO,CAAC,QAAQ,EAAE,cAAc,GAAG,OAAO;CAMpD;AAGD,mHAAmH;AACnH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,GAAG,IAAI,CAQrF;AAWD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,EAAE,SAAS,GAAE,aAAwB,GAAG;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CASlJ;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,cAAc,EAAE,GAAG,IAAI,CA6BnH;AAED,sHAAsH;AACtH,eAAO,MAAM,oBAAoB,GAAI,OAAO,SAAS,GAAG,SAAS,KAAG,cAAc,EACe,CAAC;AAGlG;;;GAGG;AACH,qBAAa,mBAAmB;aAGR,YAAY,EAAK,MAAM;aACvB,cAAc,EAAG,cAAc;aAC/B,KAAK,EAAY,MAAM;aACvB,IAAI,EAAa,MAAM;aACvB,SAAS,EAAQ,SAAS,UAAU,EAAE;aACtC,IAAI,EAAa,UAAU;IAN/C,OAAO;WAUO,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,mBAAmB;IAoBtE;;;;OAIG;IACI,MAAM,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;CAwB9C;AAED,OAAO,EAAE,OAAO,EAAE,CAAC"}

package/dist/proofs/stationProof.d.ts

@@ -11,6 +11,8 @@ import type { Checkpoint, CheckpointProof } from '../history/checkpoint.ts';
 export declare const PROOF_CONTEXT: string;
 /** What a verified proof attests, and by whom. */
 export interface VerifiedProof {
+    /** Conservative expiry of counted attestations and their certified signing/identity keys. */
+    readonly validUntil: number;
     /** The root the proof leads to: the `effectiveTree` ETag of its version. */
     readonly eTag: ETag;
     /** The roaming network with what the proof gives completely; pruned arrays as they are. */

package/dist/proofs/stationProof.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"stationProof.d.ts","sourceRoot":"","sources":["../../src/proofs/stationProof.ts"],"names":[],"mappings":"AAkBA,OAAO,EAA0B,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC3F,OAAO,EAA0B,KAAK,EAAE,MAAM,qBAAqB,CAAC;AACpE,OAAO,EAAmB,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAc,KAAK,IAAI,EAAE,MAAU,aAAa,CAAC;AAExD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAY,8BAA8B,CAAC;AAEzE,OAAO,EAAE,YAAY,EAAE,MAAmB,mBAAmB,CAAC;AAE9D,OAAO,EAAE,WAAW,EAAE,MAAoB,kBAAkB,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAY,MAAS,mBAAmB,CAAC;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAe,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAI5E,eAAO,MAAM,aAAa,QAA6C,CAAC;AAGxE,kDAAkD;AAClD,MAAM,WAAW,aAAa;IAC1B,4EAA4E;IAC5E,QAAQ,CAAC,IAAI,EAAW,IAAI,CAAC;IAC7B,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,EAAO,UAAU,CAAC;IACnC,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,EAAG,SAAS,WAAW,EAAE,CAAC;IAC/C,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,EAAK,SAAS,MAAM,EAAE,CAAC;IAC1C,2DAA2D;IAC3D,QAAQ,CAAC,YAAY,EAAG,YAAY,CAAC;CACxC;AAiBD;;;;GAIG;AACH,qBAAa,oBAAoB;aAGT,aAAa,EAAI,aAAa;aAC9B,QAAQ,EAAS,MAAM;aACvB,QAAQ,EAAS,MAAM;aACvB,cAAc,EAAG,UAAU;aAC3B,YAAY,EAAK,SAAS,WAAW,EAAE;aACvC,IAAI,EAAa,UAAU;IAN/C,OAAO;WAUO,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,oBAAoB;IA4BvE;;;;OAIG;WACW,MAAM,CAAC,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,GAAE,SAAS,WAAW,EAAO,GAAG,oBAAoB;IAaxM,uFAAuF;IAChF,SAAS,IAAI;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,QAAQ,EAAE,UAAU,CAAA;KAAE;IAMxD;;;;;;;;;;;;;OAaG;IACI,MAAM,CAAC,KAAK,EAAE,WAAW,GAAG,YAAY,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,aAAa;IAyE5F;;;;;;;;OAQG;IACI,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,GAAG,YAAY,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM,EAAE;IAiDzH;;;;;;OAMG;IACH,OAAO,CAAC,oBAAoB;IAgE5B;;;;OAIG;IACI,wBAAwB,CAAC,WAAW,EAAE,eAAe,GAAG;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,QAAQ,EAAE,UAAU,CAAA;KAAE;CAkBtG;AAED,OAAO,EAAE,KAAK,EAAE,CAAC"}
+{"version":3,"file":"stationProof.d.ts","sourceRoot":"","sources":["../../src/proofs/stationProof.ts"],"names":[],"mappings":"AAkBA,OAAO,EAA0B,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC3F,OAAO,EAA0B,KAAK,EAAE,MAAM,qBAAqB,CAAC;AACpE,OAAO,EAAmB,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAc,KAAK,IAAI,EAAE,MAAU,aAAa,CAAC;AAExD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAY,8BAA8B,CAAC;AAEzE,OAAO,EAAE,YAAY,EAAE,MAAmB,mBAAmB,CAAC;AAE9D,OAAO,EAAE,WAAW,EAAE,MAAoB,kBAAkB,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAY,MAAS,mBAAmB,CAAC;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAe,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAI5E,eAAO,MAAM,aAAa,QAA6C,CAAC;AAGxE,kDAAkD;AAClD,MAAM,WAAW,aAAa;IAC1B,6FAA6F;IAC7F,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,4EAA4E;IAC5E,QAAQ,CAAC,IAAI,EAAW,IAAI,CAAC;IAC7B,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,EAAO,UAAU,CAAC;IACnC,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,EAAG,SAAS,WAAW,EAAE,CAAC;IAC/C,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,EAAK,SAAS,MAAM,EAAE,CAAC;IAC1C,2DAA2D;IAC3D,QAAQ,CAAC,YAAY,EAAG,YAAY,CAAC;CACxC;AAiBD;;;;GAIG;AACH,qBAAa,oBAAoB;aAGT,aAAa,EAAI,aAAa;aAC9B,QAAQ,EAAS,MAAM;aACvB,QAAQ,EAAS,MAAM;aACvB,cAAc,EAAG,UAAU;aAC3B,YAAY,EAAK,SAAS,WAAW,EAAE;aACvC,IAAI,EAAa,UAAU;IAN/C,OAAO;WAUO,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,oBAAoB;IA4BvE;;;;OAIG;WACW,MAAM,CAAC,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,GAAE,SAAS,WAAW,EAAO,GAAG,oBAAoB;IAaxM,uFAAuF;IAChF,SAAS,IAAI;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,QAAQ,EAAE,UAAU,CAAA;KAAE;IAMxD;;;;;;;;;;;;;OAaG;IACI,MAAM,CAAC,KAAK,EAAE,WAAW,GAAG,YAAY,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,aAAa;IA6E5F;;;;;;;;OAQG;IACI,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,GAAG,YAAY,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM,EAAE;IAiDzH;;;;;;OAMG;IACH,OAAO,CAAC,oBAAoB;IAiE5B;;;;OAIG;IACI,wBAAwB,CAAC,WAAW,EAAE,eAAe,GAAG;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,QAAQ,EAAE,UAAU,CAAA;KAAE;CAkBtG;AAED,OAAO,EAAE,KAAK,EAAE,CAAC"}

package/dist/proofs/trustContext.d.ts

@@ -1,3 +1,4 @@
+import { type Epoch } from '../history/epoch.ts';
 import type { POIPublicKey } from '../keys.ts';
 import type { KeyStatement } from './keyStatement.ts';
 import { TrustAnchor } from './trustAnchor.ts';
@@ -28,7 +29,10 @@ export interface TrustEvaluation {
  * decisions for each operation. It is not persisted, and cannot be constructed from a serialized green flag.
  */
 export declare class TrustContext {
+    private readonly statement;
     readonly evaluatedAt: number;
+    readonly epoch: Epoch;
+    readonly epochs: readonly Epoch[];
     readonly anchor: TrustAnchor;
     readonly authorizedAnchor: TrustAnchor;
     readonly trustedHolders: readonly (readonly string[])[];
@@ -38,6 +42,8 @@ export declare class TrustContext {
     readonly requiredConsensus: number;
     readonly validUntil: number;
     private constructor();
+    /** Attach only profiles established by a verified transition; the bootstrap keeps the first epoch. */
+    static withEpoch(reference: TrustContext, epoch: Epoch, epochs?: readonly Epoch[]): TrustContext;
     static create(anchor: TrustAnchor, statement: KeyStatement, options: TrustEvaluationOptions): TrustContext;
     static evaluate(anchor: TrustAnchor, statement: KeyStatement, options: TrustEvaluationOptions): TrustEvaluation;
     /** The context represents exactly one evaluation time; a different time requires fresh local decisions. */

package/dist/proofs/trustContext.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"trustContext.d.ts","sourceRoot":"","sources":["../../src/proofs/trustContext.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAU,YAAY,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAU,mBAAmB,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAgB,kBAAkB,CAAC;AAGzD,MAAM,WAAW,sBAAsB;IACnC,QAAQ,CAAC,qBAAqB,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACrD,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAAC;CACxC;AAED,0GAA0G;AAC1G,MAAM,WAAW,eAAe;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,0FAA0F;IAC1F,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC;CACnC;AAED;;;;;;GAMG;AACH,qBAAa,YAAY;aAWwC,WAAW,EAAE,MAAM;IAVhF,SAAgB,MAAM,EAAE,WAAW,CAAC;IACpC,SAAgB,gBAAgB,EAAE,WAAW,CAAC;IAC9C,SAAgB,cAAc,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IAC/D,SAAgB,gBAAgB,EAAE,MAAM,CAAC;IACzC,SAAgB,wBAAwB,EAAE,MAAM,CAAC;IACjD,SAAgB,kBAAkB,EAAE,MAAM,CAAC;IAC3C,SAAgB,iBAAiB,EAAE,MAAM,CAAC;IAC1C,SAAgB,UAAU,EAAE,MAAM,CAAC;IAEnC,OAAO;WAeO,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE,sBAAsB,GAAG,YAAY;WAOnG,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE,sBAAsB,GAAG,eAAe;IAkDtH,2GAA2G;IACpG,cAAc,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM;IAM1D,6FAA6F;IACtF,eAAe,CAAC,SAAS,EAAE,YAAY,EAAE,iBAAiB,GAAE,SAAS,YAAY,EAAO,EACxE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,UAAU,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC;CASjG;AAED,yHAAyH;AACzH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,YAAY,GAAG,WAAW,CAEvE"}
+{"version":3,"file":"trustContext.d.ts","sourceRoot":"","sources":["../../src/proofs/trustContext.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAa,KAAK,KAAK,EAAC,MAAM,qBAAqB,CAAC;AAK3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAU,YAAY,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAU,mBAAmB,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAgB,kBAAkB,CAAC;AAGzD,MAAM,WAAW,sBAAsB;IACnC,QAAQ,CAAC,qBAAqB,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACrD,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAAC;CACxC;AAED,0GAA0G;AAC1G,MAAM,WAAW,eAAe;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,0FAA0F;IAC1F,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC;CACnC;AAED;;;;;;GAMG;AACH,qBAAa,YAAY;IAWD,OAAO,CAAC,QAAQ,CAAC,SAAS;aAAgC,WAAW,EAAE,MAAM;aAAiB,KAAK,EAAC,KAAK;aAA6B,MAAM,EAAC,SAAS,KAAK,EAAE;IAVjL,SAAgB,MAAM,EAAE,WAAW,CAAC;IACpC,SAAgB,gBAAgB,EAAE,WAAW,CAAC;IAC9C,SAAgB,cAAc,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IAC/D,SAAgB,gBAAgB,EAAE,MAAM,CAAC;IACzC,SAAgB,wBAAwB,EAAE,MAAM,CAAC;IACjD,SAAgB,kBAAkB,EAAE,MAAM,CAAC;IAC3C,SAAgB,iBAAiB,EAAE,MAAM,CAAC;IAC1C,SAAgB,UAAU,EAAE,MAAM,CAAC;IAEnC,OAAO;IAeP,sGAAsG;WACxF,SAAS,CAAC,SAAS,EAAC,YAAY,EAAC,KAAK,EAAC,KAAK,EAAC,MAAM,GAAC,SAAS,KAAK,EAAU,GAAE,YAAY;WAG1F,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE,sBAAsB,GAAG,YAAY;WAOnG,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE,sBAAsB,GAAG,eAAe;IAkDtH,2GAA2G;IACpG,cAAc,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM;IAM1D,6FAA6F;IACtF,eAAe,CAAC,SAAS,EAAE,YAAY,EAAE,iBAAiB,GAAE,SAAS,YAAY,EAAO,EACxE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,UAAU,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC;CASjG;AAED,yHAAyH;AACzH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,YAAY,GAAG,WAAW,CAEvE"}

package/dist/verifier/chargingStation.d.ts

@@ -7,6 +7,11 @@ import { TrustContext } from '../proofs/trustContext.ts';
 import type { TrustAnchor } from '../proofs/trustAnchor.ts';
 /** A charging station as a verified proof gives it: everything here is attested by the roaming network operator. */
 export interface VerifiedChargingStation {
+    /** Evaluation time and conservative freshness bound of the counted root attestations. */
+    readonly verification: {
+        readonly at: number;
+        readonly validUntil: number;
+    };
     readonly roamingNetwork: {
         readonly id: string;
         readonly name: string | undefined;

package/dist/verifier/chargingStation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"chargingStation.d.ts","sourceRoot":"","sources":["../../src/verifier/chargingStation.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAkC,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACnG,OAAO,KAAK,EAAE,IAAI,EAAE,MAA6B,aAAa,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAA0B,YAAY,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAkB,2BAA2B,CAAC;AAC7E,OAAO,EAAE,cAAc,EAAoD,MAAM,6BAA6B,CAAC;AAC/G,OAAO,EAAE,YAAY,EAAE,MAA0B,2BAA2B,CAAC;AAC7E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAsB,0BAA0B,CAAC;AAI5E,oHAAoH;AACpH,MAAM,WAAW,uBAAuB;IAEpC,QAAQ,CAAC,cAAc,EAAG;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,CAAC;IAC/H,qHAAqH;IACrH,QAAQ,CAAC,QAAQ,EAAS,UAAU,CAAC;IACrC,yDAAyD;IACzD,QAAQ,CAAC,YAAY,EAAK,UAAU,CAAC;IACrC,qHAAqH;IACrH,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAY,SAAS,UAAU,EAAE,CAAC;IAChD,wGAAwG;IACxG,QAAQ,CAAC,OAAO,EAAU,WAAW,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC;IACrE,yEAAyE;IACzE,QAAQ,CAAC,mBAAmB,EAAE,SAAS,YAAY,EAAE,CAAC;IACtD,4FAA4F;IAC5F,QAAQ,CAAC,YAAY,EAAK,YAAY,GAAG,SAAS,CAAC;IACnD,wKAAwK;IACxK,QAAQ,CAAC,YAAY,EAAK,SAAS,UAAU,EAAE,CAAC;IAChD,2HAA2H;IAC3H,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC9D,0GAA0G;IAC1G,QAAQ,CAAC,YAAY,EAAK,SAAS,gBAAgB,EAAE,CAAC;IACtD;;;OAGG;IACH,QAAQ,CAAC,oBAAoB,EAAE,SAAS,yBAAyB,EAAE,CAAC;IAEpE,QAAQ,CAAC,QAAQ,EAAS,MAAM,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAS,MAAM,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAa,IAAI,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAO,SAAS,MAAM,EAAE,CAAC;IAC5C,yGAAyG;IACzG,QAAQ,CAAC,QAAQ,EAAS,SAAS,MAAM,EAAE,CAAC;CAE/C;AAGD;;;GAGG;AACH,MAAM,WAAW,YAAY;IACzB,sEAAsE;IACtE,QAAQ,CAAC,YAAY,EAAG,UAAU,CAAC;IACnC,kJAAkJ;IAClJ,QAAQ,CAAC,KAAK,EAAU,UAAU,GAAG,SAAS,CAAC;CAClD;AAGD;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC7B,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,iBAAiB,GAAG,aAAa,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/G,QAAQ,CAAC,WAAW,EAAK,UAAU,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAY,UAAU,CAAC;IACpC;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAQ,0BAA0B,GAAG,wBAAwB,CAAC;IAC/E;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAI,OAAO,CAAC;CACpC;AAGD;;;;;;GAMG;AACH,MAAM,WAAW,yBAAyB;IACtC,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,iBAAiB,GAAG,aAAa,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/G,wFAAwF;IACxF,QAAQ,CAAC,WAAW,EAAK,MAAM,GAAG,SAAS,CAAC;IAC5C,yIAAyI;IACzI,QAAQ,CAAC,OAAO,EAAS,UAAU,CAAC;IACpC,iIAAiI;IACjI,QAAQ,CAAC,YAAY,EAAI,UAAU,CAAC;IACpC,6IAA6I;IAC7I,QAAQ,CAAC,YAAY,EAAI,SAAS,gBAAgB,EAAE,CAAC;CACxD;AA2ID;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAI,WAAW,GAAG,YAAY,EACpC,KAAK,EAAK,SAAS,GAAG,oBAAoB,EAC1C,OAAO,GAAG;IAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,uBAAuB,CA+F1J;AAGD,qEAAqE;AACrE,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,SAAS,EAAG,cAAc,CAAC;IACpC,yFAAyF;IACzF,QAAQ,CAAC,MAAM,EAAM,MAAM,CAAC;CAC/B;AAGD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAM,uBAAuB,EACpC,UAAU,EAAG,SAAS,EACtB,OAAO,GAAM;IAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAAA;CAAO,GAAG,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CA6EnH"}
+{"version":3,"file":"chargingStation.d.ts","sourceRoot":"","sources":["../../src/verifier/chargingStation.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAkC,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACnG,OAAO,KAAK,EAAE,IAAI,EAAE,MAA6B,aAAa,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAA0B,YAAY,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAkB,2BAA2B,CAAC;AAC7E,OAAO,EAAE,cAAc,EAAoD,MAAM,6BAA6B,CAAC;AAC/G,OAAO,EAAE,YAAY,EAAE,MAA0B,2BAA2B,CAAC;AAC7E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAsB,0BAA0B,CAAC;AAI5E,oHAAoH;AACpH,MAAM,WAAW,uBAAuB;IAEpC,yFAAyF;IACzF,QAAQ,CAAC,YAAY,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAE5E,QAAQ,CAAC,cAAc,EAAG;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,CAAC;IAC/H,qHAAqH;IACrH,QAAQ,CAAC,QAAQ,EAAS,UAAU,CAAC;IACrC,yDAAyD;IACzD,QAAQ,CAAC,YAAY,EAAK,UAAU,CAAC;IACrC,qHAAqH;IACrH,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAY,SAAS,UAAU,EAAE,CAAC;IAChD,wGAAwG;IACxG,QAAQ,CAAC,OAAO,EAAU,WAAW,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC;IACrE,yEAAyE;IACzE,QAAQ,CAAC,mBAAmB,EAAE,SAAS,YAAY,EAAE,CAAC;IACtD,4FAA4F;IAC5F,QAAQ,CAAC,YAAY,EAAK,YAAY,GAAG,SAAS,CAAC;IACnD,wKAAwK;IACxK,QAAQ,CAAC,YAAY,EAAK,SAAS,UAAU,EAAE,CAAC;IAChD,2HAA2H;IAC3H,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC9D,0GAA0G;IAC1G,QAAQ,CAAC,YAAY,EAAK,SAAS,gBAAgB,EAAE,CAAC;IACtD;;;OAGG;IACH,QAAQ,CAAC,oBAAoB,EAAE,SAAS,yBAAyB,EAAE,CAAC;IAEpE,QAAQ,CAAC,QAAQ,EAAS,MAAM,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAS,MAAM,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAa,IAAI,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAO,SAAS,MAAM,EAAE,CAAC;IAC5C,yGAAyG;IACzG,QAAQ,CAAC,QAAQ,EAAS,SAAS,MAAM,EAAE,CAAC;CAE/C;AAGD;;;GAGG;AACH,MAAM,WAAW,YAAY;IACzB,sEAAsE;IACtE,QAAQ,CAAC,YAAY,EAAG,UAAU,CAAC;IACnC,kJAAkJ;IAClJ,QAAQ,CAAC,KAAK,EAAU,UAAU,GAAG,SAAS,CAAC;CAClD;AAGD;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC7B,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,iBAAiB,GAAG,aAAa,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/G,QAAQ,CAAC,WAAW,EAAK,UAAU,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAY,UAAU,CAAC;IACpC;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAQ,0BAA0B,GAAG,wBAAwB,CAAC;IAC/E;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAI,OAAO,CAAC;CACpC;AAGD;;;;;;GAMG;AACH,MAAM,WAAW,yBAAyB;IACtC,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,iBAAiB,GAAG,aAAa,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/G,wFAAwF;IACxF,QAAQ,CAAC,WAAW,EAAK,MAAM,GAAG,SAAS,CAAC;IAC5C,yIAAyI;IACzI,QAAQ,CAAC,OAAO,EAAS,UAAU,CAAC;IACpC,iIAAiI;IACjI,QAAQ,CAAC,YAAY,EAAI,UAAU,CAAC;IACpC,6IAA6I;IAC7I,QAAQ,CAAC,YAAY,EAAI,SAAS,gBAAgB,EAAE,CAAC;CACxD;AA2ID;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAI,WAAW,GAAG,YAAY,EACpC,KAAK,EAAK,SAAS,GAAG,oBAAoB,EAC1C,OAAO,GAAG;IAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,uBAAuB,CAiG1J;AAGD,qEAAqE;AACrE,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,SAAS,EAAG,cAAc,CAAC;IACpC,yFAAyF;IACzF,QAAQ,CAAC,MAAM,EAAM,MAAM,CAAC;CAC/B;AAGD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAM,uBAAuB,EACpC,UAAU,EAAG,SAAS,EACtB,OAAO,GAAM;IAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAAA;CAAO,GAAG,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CA6EnH"}

package/dist/verifier/checkpoints.d.ts

@@ -1,5 +1,6 @@
 import { type JSONValue } from '../json/value.ts';
 import { POIPublicKey } from '../keys.ts';
+import { type RoleSignature } from '../history/commit.ts';
 import type { Checkpoint } from '../history/checkpoint.ts';
 import type { OperatorTrust } from './trust.ts';
 /** A witness a verifier trusts, with its key: trusted independently of the network (10.2), e.g. by configuration. */
@@ -17,6 +18,11 @@ export interface CheckpointSignatures {
     readonly witnessedBy: readonly string[];
     /** Signatures that did not count: by untrusted keys, in another role, or invalid. */
     readonly ignored: readonly string[];
+    /**
+     * The signatures that verified, in their order: those a history takes the checkpoint with (`verifyCheckpoint` of
+     * `HistoryOptions`, S39), the others left out.
+     */
+    readonly verified: readonly RoleSignature[];
 }
 /**
  * Verifies the signatures of a checkpoint a verifier requires (10.2): as the roaming network operator, by its trusted

package/dist/verifier/checkpoints.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checkpoints.d.ts","sourceRoot":"","sources":["../../src/verifier/checkpoints.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAO,KAAK,SAAS,EAAE,MAAkB,kBAAkB,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAyB,YAAY,CAAC;AAE7D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAsB,0BAA0B,CAAC;AAC3E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAmB,YAAY,CAAC;AAI7D,qHAAqH;AACrH,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,OAAO,EAAG,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAO,YAAY,CAAC;CACnC;AAED,mHAAmH;AACnH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,SAAS,GAAG,cAAc,EAAE,CAKxE;AAGD,2DAA2D;AAC3D,MAAM,WAAW,oBAAoB;IACjC,wFAAwF;IACxF,QAAQ,CAAC,QAAQ,EAAO,SAAS,MAAM,EAAE,CAAC;IAC1C,mEAAmE;IACnE,QAAQ,CAAC,WAAW,EAAI,SAAS,MAAM,EAAE,CAAC;IAC1C,qFAAqF;IACrF,QAAQ,CAAC,OAAO,EAAQ,SAAS,MAAM,EAAE,CAAC;CAC7C;AAGD;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,UAAU,EAAG,UAAU,EACvB,KAAK,EAAQ,aAAa,EAC1B,OAAO,GAAM;IAAE,SAAS,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,oBAAoB,CAmExJ;AAGD,mIAAmI;AACnI,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,IAAI,CAoB7E"}
+{"version":3,"file":"checkpoints.d.ts","sourceRoot":"","sources":["../../src/verifier/checkpoints.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAO,KAAK,SAAS,EAAE,MAAkB,kBAAkB,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAyB,YAAY,CAAC;AAC7D,OAAO,EAAkB,KAAK,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAsB,0BAA0B,CAAC;AAC3E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAmB,YAAY,CAAC;AAI7D,qHAAqH;AACrH,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,OAAO,EAAG,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAO,YAAY,CAAC;CACnC;AAED,mHAAmH;AACnH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,SAAS,GAAG,cAAc,EAAE,CAKxE;AAGD,2DAA2D;AAC3D,MAAM,WAAW,oBAAoB;IACjC,wFAAwF;IACxF,QAAQ,CAAC,QAAQ,EAAO,SAAS,MAAM,EAAE,CAAC;IAC1C,mEAAmE;IACnE,QAAQ,CAAC,WAAW,EAAI,SAAS,MAAM,EAAE,CAAC;IAC1C,qFAAqF;IACrF,QAAQ,CAAC,OAAO,EAAQ,SAAS,MAAM,EAAE,CAAC;IAC1C;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAO,SAAS,aAAa,EAAE,CAAC;CACpD;AAGD;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,UAAU,EAAG,UAAU,EACvB,KAAK,EAAQ,aAAa,EAC1B,OAAO,GAAM;IAAE,SAAS,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,oBAAoB,CAsExJ;AAGD,mIAAmI;AACnI,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,IAAI,CAoB7E"}

package/dist/verifier/documentKeys.d.ts

@@ -0,0 +1,27 @@
+import type { JSONValue } from '../json/value.ts';
+import type { TrustContext } from '../proofs/trustContext.ts';
+import type { HistoricalTrustContext } from './historicalMeasurements.ts';
+/** Library extension: this usage authorizes charging transparency envelopes, independently of price statements. */
+export declare const CHARGING_DOCUMENT_USAGE: "chargeTransparencyRecords";
+export interface AuthorizedChargingDocumentKeys {
+    readonly evseId: string;
+    readonly chargingStationId: string;
+    readonly operatorId: string;
+    readonly at: number;
+    readonly commitId: string;
+    readonly revision: number;
+    readonly keys: readonly {
+        readonly id: string;
+        readonly algorithm: string;
+        readonly encodings: readonly string[];
+        readonly value: string;
+        readonly keyUsage: readonly string[];
+    }[];
+}
+/** Authentication and key normalization are shared by web, desktop and mobile callers. No envelope-supplied key is an authority input. */
+export declare function verifyChargingDocumentKeys(context: TrustContext | HistoricalTrustContext, proof: JSONValue, request: {
+    readonly evseId: string;
+    readonly operatorId: string;
+    readonly at: number;
+}): AuthorizedChargingDocumentKeys;
+//# sourceMappingURL=documentKeys.d.ts.map

package/dist/verifier/documentKeys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"documentKeys.d.ts","sourceRoot":"","sources":["../../src/verifier/documentKeys.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAyB,kBAAkB,CAAC;AAErE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAsB,2BAA2B,CAAC;AAC9E,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAY,6BAA6B,CAAC;AAMhF,mHAAmH;AACnH,eAAO,MAAM,uBAAuB,EAAG,2BAAoC,CAAC;AAE5E,MAAM,WAAW,8BAA8B;IAC3C,QAAQ,CAAC,MAAM,EAAc,MAAM,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAG,MAAM,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAU,MAAM,CAAC;IACpC,QAAQ,CAAC,EAAE,EAAkB,MAAM,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAY,MAAM,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAY,MAAM,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAgB,SAAS;QAClC,QAAQ,CAAC,EAAE,EAAU,MAAM,CAAC;QAC5B,QAAQ,CAAC,SAAS,EAAG,MAAM,CAAC;QAC5B,QAAQ,CAAC,SAAS,EAAG,SAAS,MAAM,EAAE,CAAC;QACvC,QAAQ,CAAC,KAAK,EAAO,MAAM,CAAC;QAC5B,QAAQ,CAAC,QAAQ,EAAI,SAAS,MAAM,EAAE,CAAC;KAC1C,EAAE,CAAC;CACP;AAYD,0IAA0I;AAC1I,wBAAgB,0BAA0B,CAAC,OAAO,EAAG,YAAY,GAAG,sBAAsB,EAC/C,KAAK,EAAK,SAAS,EACnB,OAAO,EAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAAG,8BAA8B,CAkClK"}

package/dist/verifier/historicalMeasurements.d.ts

@@ -0,0 +1,96 @@
+import type { JSONValue } from '../json/value.ts';
+import type { TrustAnchor } from '../proofs/trustAnchor.ts';
+import { TrustContext } from '../proofs/trustContext.ts';
+import { KeyStatement } from '../proofs/keyStatement.ts';
+import { POIPublicKey } from '../keys.ts';
+import { Checkpoint } from '../history/checkpoint.ts';
+import type { TrustedWitness } from './checkpoints.ts';
+import { type MeasurementKeyFormat, type VerifiedMeterKeyBinding } from './measurementKeys.ts';
+/** Versioned TS-library extension, not a change to the existing Evidence wire schema. */
+export declare const HISTORICAL_METER_EVIDENCE_CONTEXT = "https://open.charging.cloud/contexts/wwcp/historicalMeterEvidence/v1";
+export interface HistoricalMeterEvidence {
+    readonly evseId: string;
+    readonly versions: readonly {
+        readonly proof: JSONValue;
+        readonly commitProof?: JSONValue;
+        readonly checkpoints: readonly {
+            readonly checkpoint: JSONValue;
+            readonly operator: JSONValue;
+        }[];
+    }[];
+}
+export interface HistoricalMeterKeyBinding extends Omit<VerifiedMeterKeyBinding, 'evidence'> {
+    readonly evidence: Omit<VerifiedMeterKeyBinding['evidence'], 'association'> & {
+        readonly association: 'historical-attestation';
+        readonly measurementTimes: readonly number[];
+        readonly historicalStatementDigest: string;
+        readonly attestationValidUntil: number;
+    };
+}
+export interface HistoricalMeterVerification {
+    readonly bindings: readonly HistoricalMeterKeyBinding[];
+    readonly versions: readonly {
+        readonly commitId: string;
+        readonly publication: 'missing' | 'rno-checkpoint' | 'witnessed-checkpoint';
+        readonly checkpointId?: string;
+        readonly witnessedBy: readonly string[];
+    }[];
+    readonly checkedAt: number;
+    readonly timeBasis: 'signed-measurement-timestamps';
+    readonly independentTime: 'not-proven';
+    readonly latestVersion: 'not-proven';
+}
+export interface HistoricalMeterPolicy {
+    readonly witnesses?: readonly TrustedWitness[];
+    readonly requiredWitnesses?: number;
+    readonly requirePublication?: boolean;
+    /** Caller-authorized compromise information, never read from the evidence bundle. */
+    readonly revocations?: readonly {
+        readonly keyId: string;
+        readonly invalidFrom: number;
+    }[];
+}
+export declare function parseHistoricalMeterEvidence(value: JSONValue): HistoricalMeterEvidence;
+export declare function historicalOperatorContext(current: TrustContext | HistoricalTrustContext, operator: JSONValue, at: number): TrustContext;
+/** Fresh local permission for historical verification, independent of today's statement expiry. Not persisted. */
+export declare class HistoricalTrustContext {
+    readonly evaluatedAt: number;
+    private readonly authorities;
+    readonly authorizedAnchor: TrustAnchor;
+    readonly roamingNetworkId: string;
+    readonly roamingNetworkOperatorId: string;
+    readonly requiredConsensus: number;
+    readonly keyStatementDigest: string;
+    /** An operation deadline, not historical document validity or a lease on local trust. */
+    readonly validUntil: number;
+    readonly trustedHolders: readonly (readonly string[])[];
+    readonly epoch: TrustContext['epoch'];
+    readonly epochs: TrustContext['epochs'];
+    private constructor();
+    /** Contexts must be reconstructed from current local roots and verified transition certificates, never serialized success flags. */
+    static fromVerifiedAuthorities(reference: TrustContext, authorities: readonly {
+        readonly context: TrustContext;
+        readonly from: number;
+        readonly until: number;
+    }[], now: number): HistoricalTrustContext;
+    authorityAt(at: number): TrustContext | undefined;
+    static create(anchor: TrustAnchor, reference: KeyStatement, options: {
+        readonly trustedIdentityKeyIds: Iterable<string>;
+        readonly otherIdentityKeys?: readonly POIPublicKey[];
+        readonly now?: number;
+    }): HistoricalTrustContext;
+}
+/** Current caller authorization and historical document validity are deliberately different clocks. */
+export declare function verifyHistoricalMeterEvidence(current: TrustContext | HistoricalTrustContext, value: JSONValue, request: {
+    readonly evseId: string;
+    readonly meterSerialNumber: string;
+    readonly measurementTimes: readonly number[];
+    readonly keyFormat: MeasurementKeyFormat;
+}, policy?: HistoricalMeterPolicy): HistoricalMeterVerification;
+/** Shared checkpoint authority for meter and price evidence. A witness is never authorized by its own bundle. */
+export declare function verifyAuthorizedCheckpoint(current: TrustContext | HistoricalTrustContext, checkpoint: Checkpoint, operator: JSONValue, policy?: HistoricalMeterPolicy): {
+    readonly checkpoint: Checkpoint;
+    readonly signedBy: readonly string[];
+    readonly witnessedBy: readonly string[];
+};
+//# sourceMappingURL=historicalMeasurements.d.ts.map

package/dist/verifier/historicalMeasurements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"historicalMeasurements.d.ts","sourceRoot":"","sources":["../../src/verifier/historicalMeasurements.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,EAAE,UAAU,EAAmB,MAAM,0BAA0B,CAAC;AAEvE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAkB,KAAK,oBAAoB,EAAE,KAAK,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAG/G,yFAAyF;AACzF,eAAO,MAAM,iCAAiC,yEAAyE,CAAC;AACxH,MAAM,WAAW,uBAAuB;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS;QACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;QAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,CAAC;QACjC,QAAQ,CAAC,WAAW,EAAE,SAAS;YAAE,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC;YAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;SAAE,EAAE,CAAC;KACrG,EAAE,CAAC;CACP;AACD,MAAM,WAAW,yBAA0B,SAAQ,IAAI,CAAC,uBAAuB,EAAE,UAAU,CAAC;IACxF,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC,GAAG;QAC1E,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC;QAC/C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;QAC7C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;QAC3C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;KAC1C,CAAC;CACL;AACD,MAAM,WAAW,2BAA2B;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,yBAAyB,EAAE,CAAC;IACxD,QAAQ,CAAC,QAAQ,EAAE,SAAS;QACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,WAAW,EAAE,SAAS,GAAG,gBAAgB,GAAG,sBAAsB,CAAC;QAC5E,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;KAC3C,EAAE,CAAC;IACJ,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,+BAA+B,CAAC;IACpD,QAAQ,CAAC,eAAe,EAAE,YAAY,CAAC;IACvC,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC;CACxC;AACD,MAAM,WAAW,qBAAqB;IAClC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAC/C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC,qFAAqF;IACrF,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC9F;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,SAAS,GAAG,uBAAuB,CAmBtF;AAED,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,YAAY,GAAG,sBAAsB,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,YAAY,CAevI;AAGD,kHAAkH;AAClH,qBAAa,sBAAsB;aAU8B,WAAW,EAAE,MAAM;IAC5E,OAAO,CAAC,QAAQ,CAAC,WAAW;IAVhC,SAAgB,gBAAgB,EAAE,WAAW,CAAC;IAC9C,SAAgB,gBAAgB,EAAE,MAAM,CAAC;IACzC,SAAgB,wBAAwB,EAAE,MAAM,CAAC;IACjD,SAAgB,iBAAiB,EAAE,MAAM,CAAC;IAC1C,SAAgB,kBAAkB,EAAE,MAAM,CAAC;IAC3C,yFAAyF;IACzF,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,cAAc,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IAC/D,SAAgB,KAAK,EAAC,YAAY,CAAC,OAAO,CAAC,CAAC;IAAA,SAAgB,MAAM,EAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC1F,OAAO;IAYP,oIAAoI;WACtH,uBAAuB,CAAC,SAAS,EAAC,YAAY,EAAC,WAAW,EAAC,SAAS;QAAC,QAAQ,CAAC,OAAO,EAAC,YAAY,CAAC;QAAA,QAAQ,CAAC,IAAI,EAAC,MAAM,CAAC;QAAA,QAAQ,CAAC,KAAK,EAAC,MAAM,CAAA;KAAC,EAAE,EAAC,GAAG,EAAC,MAAM,GAAE,sBAAsB;IAI1L,WAAW,CAAC,EAAE,EAAC,MAAM,GAAE,YAAY,GAAC,SAAS;WAMtC,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE;QACxE,QAAQ,CAAC,qBAAqB,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;QACvG,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;KACzB,GAAG,sBAAsB;CAO7B;AAED,uGAAuG;AACvG,wBAAgB,6BAA6B,CAAC,OAAO,EAAE,YAAY,GAAG,sBAAsB,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE;IACrH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1G,QAAQ,CAAC,SAAS,EAAE,oBAAoB,CAAC;CAC5C,EAAE,MAAM,GAAE,qBAA0B,GAAG,2BAA2B,CAgFlE;AAGD,iHAAiH;AACjH,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,YAAY,GAAG,sBAAsB,EAAE,UAAU,EAAE,UAAU,EAC7G,QAAQ,EAAE,SAAS,EAAE,MAAM,GAAE,qBAA0B,GAAG;IAAE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAkC/K"}

package/dist/verifier/measurementKeys.d.ts

@@ -0,0 +1,48 @@
+import { POIError } from '../errors.ts';
+import { type JSONValue } from '../json/value.ts';
+import { TrustContext } from '../proofs/trustContext.ts';
+export type MeasurementKeyFormat = 'spki-der' | 'cose-key';
+export type MeasurementKeyProblem = 'missing-meter' | 'identity-mismatch' | 'ambiguous-key' | 'unsupported-key' | 'invalid-key';
+export declare class MeasurementKeyError extends POIError {
+    readonly code: MeasurementKeyProblem;
+    constructor(code: MeasurementKeyProblem, message: string);
+}
+/** P-256 pilot. The declared format is required; a 64-character ID never determines its derivation scheme. */
+export interface MeasurementPublicKey {
+    readonly id: string;
+    readonly idScheme: 'sha256-spki' | 'sha256-cose-key-thumbprint';
+    readonly canonicalId: string;
+    readonly sourceFormat: MeasurementKeyFormat;
+    readonly value: string;
+    readonly encodings: readonly string[];
+    readonly algorithm: 'ECDSA-secp256r1';
+}
+export interface VerifiedMeterKeyBinding {
+    readonly evseId: string;
+    readonly chargingStationId: string;
+    readonly meterId: string;
+    readonly meterSerialNumber: string;
+    readonly key: MeasurementPublicKey;
+    readonly evidence: {
+        readonly roamingNetworkId: string;
+        readonly roamingNetworkOperatorId: string;
+        readonly commitId: string;
+        readonly revision: number;
+        readonly treeRoot: string;
+        readonly keyStatementDigest: string;
+        readonly verifiedAt: number;
+        readonly validUntil: number;
+        /** A current authenticated snapshot is not historical installation/key-rotation evidence. */
+        readonly association: 'current-snapshot';
+    };
+}
+export declare function parseMeasurementPublicKey(value: JSONValue, format: MeasurementKeyFormat): MeasurementPublicKey;
+/** Re-verifies the original proof against an authorized context. Never searches other EVSEs or tries unrelated keys. */
+export declare function verifyMeterKey(context: TrustContext, proof: JSONValue, request: {
+    readonly evseId: string;
+    readonly meterSerialNumber: string;
+    readonly meterId?: string;
+    readonly keyId?: string;
+    readonly keyFormat: MeasurementKeyFormat;
+}): VerifiedMeterKeyBinding;
+//# sourceMappingURL=measurementKeys.d.ts.map

package/dist/verifier/measurementKeys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"measurementKeys.d.ts","sourceRoot":"","sources":["../../src/verifier/measurementKeys.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAIxC,OAAO,EAAY,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAGzD,MAAM,MAAM,oBAAoB,GAAG,UAAU,GAAG,UAAU,CAAC;AAC3D,MAAM,MAAM,qBAAqB,GAAG,eAAe,GAAG,mBAAmB,GAAG,eAAe,GAAG,iBAAiB,GAAG,aAAa,CAAC;AAChI,qBAAa,mBAAoB,SAAQ,QAAQ;aACV,IAAI,EAAE,qBAAqB;gBAA3B,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,MAAM;CAClF;AAED,8GAA8G;AAC9G,MAAM,WAAW,oBAAoB;IACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,aAAa,GAAG,4BAA4B,CAAC;IAChE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,oBAAoB,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;CACzC;AAED,MAAM,WAAW,uBAAuB;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,GAAG,EAAE,oBAAoB,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE;QACf,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;QAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;QACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,6FAA6F;QAC7F,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAC;KAC5C,CAAC;CACL;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,oBAAoB,GAAG,oBAAoB,CA0C9G;AAED,wHAAwH;AACxH,wBAAgB,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE;IAC7E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IACvF,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,oBAAoB,CAAC;CACrE,GAAG,uBAAuB,CAsB1B"}

package/dist/verifier/observedVersions.d.ts

@@ -0,0 +1,70 @@
+import type { JSONValue } from '../json/value.ts';
+import type { ChargingStationProof } from '../proofs/stationProof.ts';
+import type { Checkpoint } from '../history/checkpoint.ts';
+import type { PriceStatement } from '../proofs/priceStatement.ts';
+/** Authenticated observations supplied by the caller, never imported success flags. Comparison grants no authority. */
+export interface VersionObservation {
+    readonly kind: 'station' | 'checkpoint' | 'price' | 'live' | 'policy';
+    readonly chain: string;
+    readonly epoch: string;
+    readonly position: number;
+    readonly digest: string;
+    readonly revision?: number;
+    readonly previous?: string;
+    readonly identity?: string;
+    readonly original: string;
+    readonly final?: boolean;
+    readonly rootDigest?: string;
+}
+export interface VersionConflict {
+    readonly code: 'fork' | 'identity' | 'link';
+    readonly kind: VersionObservation['kind'];
+    readonly chain: string;
+    readonly epoch: string;
+    readonly position: number;
+    readonly known: string;
+    readonly incoming: string;
+    readonly original: string;
+    readonly observedAt: number;
+}
+export interface ObservedVersions {
+    readonly version: 1;
+    readonly points: readonly VersionObservation[];
+    readonly transitions?: readonly {
+        readonly id: string;
+        readonly sequence: number;
+        readonly fromPolicyId: string;
+        readonly toPolicyId: string;
+        readonly fromEpoch: number;
+        readonly toEpoch: number;
+        readonly original: string;
+    }[];
+    readonly heads: Readonly<Record<string, {
+        readonly epoch: string;
+        readonly position: number;
+        readonly digest: string;
+    }>>;
+    readonly conflicts: readonly VersionConflict[];
+}
+export interface VersionIssue {
+    readonly code: 'fork' | 'identity' | 'link' | 'known-fork' | 'rollback' | 'continuity-missing' | 'epoch-transition';
+    readonly kind: VersionObservation['kind'];
+    readonly chain: string;
+    readonly detail: string;
+}
+export interface VersionComparison {
+    readonly accepted: boolean;
+    readonly status: 'first-seen' | 'matches' | 'advanced' | 'historical' | 'rejected';
+    readonly issues: readonly VersionIssue[];
+    readonly state: ObservedVersions;
+}
+export declare function emptyObservedVersions(): ObservedVersions;
+export declare function observedVersionsChecksum(value: JSONValue): string;
+/** Deterministic negative constraints. Current selection is monotonic; historical inspection permits older coordinates, never contradictory ones. */
+export declare function compareObservedVersions(before: ObservedVersions, candidates: readonly VersionObservation[], mode: 'current' | 'historical', observedAt: number): VersionComparison;
+/** Metadata projection only: callers must authenticate each original with the normal role/quorum verifiers first. */
+export declare function stationVersionObservation(proof: ChargingStationProof, epoch?: string): VersionObservation;
+export declare function checkpointVersionObservation(checkpoint: Checkpoint): VersionObservation;
+export declare function priceVersionObservation(statement: PriceStatement): VersionObservation;
+export declare function checkpointRootVersionObservation(checkpoint: Checkpoint): VersionObservation;
+//# sourceMappingURL=observedVersions.d.ts.map

package/dist/verifier/observedVersions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"observedVersions.d.ts","sourceRoot":"","sources":["../../src/verifier/observedVersions.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACtE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAGlE,uHAAuH;AACvH,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,IAAI,EAAC,SAAS,GAAC,YAAY,GAAC,OAAO,GAAC,MAAM,GAAC,QAAQ,CAAC;IAC7D,QAAQ,CAAC,KAAK,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,KAAK,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,QAAQ,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,MAAM,EAAC,MAAM,CAAC;IAC5F,QAAQ,CAAC,QAAQ,CAAC,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,QAAQ,CAAC,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,QAAQ,CAAC,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,QAAQ,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,KAAK,CAAC,EAAC,OAAO,CAAC;IAAA,QAAQ,CAAC,UAAU,CAAC,EAAC,MAAM,CAAC;CAC9J;AACD,MAAM,WAAW,eAAe;IAC5B,QAAQ,CAAC,IAAI,EAAC,MAAM,GAAC,UAAU,GAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,IAAI,EAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAAA,QAAQ,CAAC,KAAK,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,KAAK,EAAC,MAAM,CAAC;IAC5H,QAAQ,CAAC,QAAQ,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,KAAK,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,QAAQ,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,QAAQ,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,UAAU,EAAC,MAAM,CAAC;CAC/H;AACD,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,CAAC,OAAO,EAAC,CAAC,CAAC;IAAA,QAAQ,CAAC,MAAM,EAAC,SAAS,kBAAkB,EAAE,CAAC;IACjE,QAAQ,CAAC,WAAW,CAAC,EAAC,SAAS;QAAC,QAAQ,CAAC,EAAE,EAAC,MAAM,CAAC;QAAA,QAAQ,CAAC,QAAQ,EAAC,MAAM,CAAC;QAAA,QAAQ,CAAC,YAAY,EAAC,MAAM,CAAC;QAAA,QAAQ,CAAC,UAAU,EAAC,MAAM,CAAC;QAAA,QAAQ,CAAC,SAAS,EAAC,MAAM,CAAC;QAAA,QAAQ,CAAC,OAAO,EAAC,MAAM,CAAC;QAAA,QAAQ,CAAC,QAAQ,EAAC,MAAM,CAAA;KAAC,EAAE,CAAC;IAClN,QAAQ,CAAC,KAAK,EAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC;QAAC,QAAQ,CAAC,KAAK,EAAC,MAAM,CAAC;QAAA,QAAQ,CAAC,QAAQ,EAAC,MAAM,CAAC;QAAA,QAAQ,CAAC,MAAM,EAAC,MAAM,CAAA;KAAC,CAAC,CAAC,CAAC;IAChH,QAAQ,CAAC,SAAS,EAAC,SAAS,eAAe,EAAE,CAAC;CACjD;AACD,MAAM,WAAW,YAAY;IAAE,QAAQ,CAAC,IAAI,EAAC,MAAM,GAAC,UAAU,GAAC,MAAM,GAAC,YAAY,GAAC,UAAU,GAAC,oBAAoB,GAAC,kBAAkB,CAAC;IAAA,QAAQ,CAAC,IAAI,EAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAAA,QAAQ,CAAC,KAAK,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,MAAM,EAAC,MAAM,CAAC;CAAC;AAC7N,MAAM,WAAW,iBAAiB;IAC9B,QAAQ,CAAC,QAAQ,EAAC,OAAO,CAAC;IAAA,QAAQ,CAAC,MAAM,EAAC,YAAY,GAAC,SAAS,GAAC,UAAU,GAAC,YAAY,GAAC,UAAU,CAAC;IACpG,QAAQ,CAAC,MAAM,EAAC,SAAS,YAAY,EAAE,CAAC;IAAA,QAAQ,CAAC,KAAK,EAAC,gBAAgB,CAAC;CAC3E;AACD,wBAAgB,qBAAqB,IAAG,gBAAgB,CAAsD;AAC9G,wBAAgB,wBAAwB,CAAC,KAAK,EAAC,SAAS,GAAE,MAAM,CAA0D;AAW1H,qJAAqJ;AACrJ,wBAAgB,uBAAuB,CAAC,MAAM,EAAC,gBAAgB,EAAC,UAAU,EAAC,SAAS,kBAAkB,EAAE,EAAC,IAAI,EAAC,SAAS,GAAC,YAAY,EAAC,UAAU,EAAC,MAAM,GAAE,iBAAiB,CAgExK;AAED,qHAAqH;AACrH,wBAAgB,yBAAyB,CAAC,KAAK,EAAC,oBAAoB,EAAC,KAAK,GAAC,MAAS,GAAE,kBAAkB,CAEvG;AACD,wBAAgB,4BAA4B,CAAC,UAAU,EAAC,UAAU,GAAE,kBAAkB,CAGrF;AACD,wBAAgB,uBAAuB,CAAC,SAAS,EAAC,cAAc,GAAE,kBAAkB,CAGnF;AAED,wBAAgB,gCAAgC,CAAC,UAAU,EAAC,UAAU,GAAE,kBAAkB,CAEzF"}

package/dist/verifier/pricePublication.d.ts

@@ -0,0 +1,74 @@
+import type { JSONObject, JSONValue } from '../json/value.ts';
+import { POIPublicKey } from '../keys.ts';
+import type { Checkpoint } from '../history/checkpoint.ts';
+import type { PriceStatement } from '../proofs/priceStatement.ts';
+/** Experimental extensions, not the checkpoint witness wire format or an RFC 3161 token. */
+export declare const PRICE_PUBLICATION_RECEIPT_CONTEXT = "https://open.charging.cloud/contexts/wwcp/pricePublicationReceipt/v1";
+export declare const WITNESS_PUBLICATION_POLICY_CONTEXT = "https://open.charging.cloud/contexts/wwcp/witnessPublicationPolicy/v1";
+/** Bind the actual original CPO signature and the complete selected tariff, including its currency. */
+export declare function pricePublicationOfferHashes(statement: PriceStatement, tariff: JSONObject): {
+    readonly priceStatementSHA256: string;
+    readonly tariffSHA256: string;
+};
+export interface PublicationWitness {
+    readonly id: string;
+    /** Independently approved organization identity; several keys/aliases never add votes. */
+    readonly organization: string;
+    readonly networks: readonly string[];
+    readonly keys: readonly POIPublicKey[];
+    readonly notBefore: number;
+    readonly notAfter: number;
+    /** Locally accepted upper bound, never taken from a receipt. */
+    readonly clockErrorMs: number;
+    /** Explicit receipt endpoints, not a guessed discovery URL. */
+    readonly endpoints: readonly string[];
+    readonly json: JSONObject;
+}
+export interface WitnessPublicationPolicy {
+    readonly requiredOrganizations: number;
+    readonly witnesses: readonly PublicationWitness[];
+    readonly json: JSONObject;
+}
+/** Syntax only. Callers must additionally apply their own public-network transport policy before fetching. */
+export declare function publicPublicationURL(text: string): string;
+/** Parsing a suggested policy never authorizes it. Only the caller supplies the accepted policy. */
+export declare function parseWitnessPublicationPolicy(value: JSONValue): WitnessPublicationPolicy;
+export declare class PricePublicationReceipt {
+    readonly json: JSONObject;
+    readonly observedAt: number;
+    readonly signedAt: number;
+    private constructor();
+    static parse(value: JSONValue): PricePublicationReceipt;
+    signingBytes(): Uint8Array;
+    digest(): string;
+}
+export interface PricePublicationVerification {
+    readonly status: 'witnessed-before-signed-start' | 'not-proven' | 'invalid';
+    readonly requiredOrganizations: number;
+    readonly organizations: readonly string[];
+    readonly timeBasis: 'trusted-witness-clocks-versus-signed-start';
+    readonly actualStartTime: 'not-independently-proven';
+    readonly receipts: readonly {
+        readonly witnessId: string;
+        readonly organization?: string;
+        readonly keyId?: string;
+        readonly receiptDigest?: string;
+        readonly latestPublicationAt?: number;
+        readonly sourceURL?: string;
+        readonly status: 'counted' | 'duplicate-organization' | 'after-start' | 'untrusted' | 'invalid';
+        readonly detail: string;
+    }[];
+}
+/** Inclusion and CPO signatures are checked by the calling shared session-price verifier first. */
+export declare function verifyPricePublication(receipts: readonly JSONValue[], policy: WitnessPublicationPolicy | undefined, subject: {
+    readonly roamingNetworkId: string;
+    readonly evseId: string;
+    readonly statement: PriceStatement;
+    readonly tariff: JSONObject;
+    readonly checkpoints: readonly Checkpoint[];
+    readonly chargingStarted: number;
+    readonly now: number;
+    readonly excludedKeyMaterial?: readonly string[];
+    readonly excludedIdentities?: readonly string[];
+}): PricePublicationVerification;
+//# sourceMappingURL=pricePublication.d.ts.map