@mikeargento/bitgraph-audit 0.8.0 → 0.10.0

package/dist/report-json.js

@@ -89,6 +89,7 @@ export function buildJsonReport(result) {
         ...(result.ceilings && (result.ceilings.checks.length > 0 || result.ceilings.statuses.length > 0)
             ? { ceilings: result.ceilings }
             : {}),
+        ...(result.exports && result.exports.checks.length > 0 ? { exports: result.exports } : {}),
         attestations: {
             records: result.attestations.records,
             counts: result.attestations.counts,
@@ -104,6 +105,8 @@ export function buildJsonReport(result) {
             segments: result.temporal.segments,
             verifiedAnchorProofHashes: result.temporal.verifiedAnchorProofHashes,
             unverifiedAnchorProofHashes: result.temporal.unverifiedAnchorProofHashes,
+            ...(result.temporal.signedFloors !== undefined ? { signedFloors: result.temporal.signedFloors } : {}),
+            ...(result.temporal.floorProblems !== undefined ? { floorProblems: result.temporal.floorProblems } : {}),
         },
         summary,
     };
@@ -248,9 +251,13 @@ function buildSummary(result, partitions, anomalies) {
         if (proof.measurement !== undefined)
             measurements.add(proof.measurement);
     }
+    const floors = result.temporal.signedFloors ?? [];
+    const floorProblems = result.temporal.floorProblems ?? [];
     const segmentCount = (status) => result.temporal.segments.filter((s) => s.status === status).length;
     const partitionsIntact = partitions.filter((p) => p.intact).length;
     const exit = computeExitFlags(result);
+    const exportChecks = result.exports?.checks ?? [];
+    const checkedExports = exportChecks.filter((e) => e.status === "checked");
     return {
         proofsObserved: result.ingest.counts.observed,
         fullyVerified: result.verification.verified,
@@ -288,7 +295,30 @@ function buildSummary(result, partitions, anomalies) {
             segmentsLowerBounded: segmentCount("lower-bounded"),
             segmentsUpperBounded: segmentCount("upper-bounded"),
             segmentsUnanchored: segmentCount("ordered-but-unanchored"),
+            ...(floors.length > 0 || floorProblems.length > 0
+                ? {
+                    baseFloors: {
+                        signed: floors.length,
+                        bounding: floors.filter((f) => f.bound === "not-before").length,
+                        headersChecked: floors.filter((f) => f.header === "checked").length,
+                        withheld: floors.filter((f) => f.bound === "withheld").length,
+                        problems: floorProblems.length,
+                    },
+                }
+                : {}),
         },
+        ...(exportChecks.length > 0
+            ? {
+                exports: {
+                    files: exportChecks.length,
+                    verdictTrue: checkedExports.filter((e) => e.verdict === "TRUE").length,
+                    verdictFalse: checkedExports.filter((e) => e.verdict === "FALSE").length,
+                    verdictUndetermined: checkedExports.filter((e) => e.verdict === "UNDETERMINED").length,
+                    rejected: exportChecks.length - checkedExports.length,
+                    coveredFilesChecked: checkedExports.reduce((n, e) => n + e.runs.filter((r) => r.file !== null).length, 0),
+                },
+            }
+            : {}),
         exit,
     };
 }

package/dist/report-json.js.map

@@ -1 +1 @@
-{"version":3,"file":"report-json.js","sourceRoot":"","sources":["../src/report-json.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAE9F;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAiB9C,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,UAAU,eAAe,CAAC,MAAmB;IACjD,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,mBAAmB,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC/E,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/C,CAAC;IACF,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,cAAc,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAE5D,OAAO;QACL,mBAAmB,EAAE,yBAAyB;QAC9C,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW;QAC3C,WAAW,EAAE;YACX,gBAAgB,EAAE,IAAI;YACtB,IAAI,EACF,iEAAiE;gBACjE,iEAAiE;gBACjE,8DAA8D;gBAC9D,gCAAgC;YAClC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW;YAC3C,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,SAAS;YACvC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,UAAU;YACzC,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,SAAS;SACxC;QACD,KAAK,EAAE;YACL,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS;YAClC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc;YAC5C,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,KAAK,SAAS;gBAChD,CAAC,CAAC,EAAE,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE;gBAC1D,CAAC,CAAC,EAAE,CAAC;YACP,uBAAuB,EAAE,MAAM,CAAC,MAAM,CAAC,uBAAuB;YAC9D,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrF,MAAM,EAAE;gBACN,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ;gBACvC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU;gBAC3C,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe;gBACrD,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB;gBAC3D,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB;gBAC3D,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC,QAAQ;gBACtC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM;gBAClC,mBAAmB,EAAE,MAAM,CAAC,YAAY,CAAC,mBAAmB;gBAC5D,SAAS,EAAE,MAAM,CAAC,YAAY,CAAC,SAAS;gBACxC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS;gBACzC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS;gBACzC,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB;aAC5D;SACF;QACD,MAAM;QACN,mBAAmB;QACnB,UAAU;QACV,oBAAoB,EAAE,MAAM,CAAC,cAAc,CAAC,oBAAoB;QAChE,wBAAwB,EAAE,MAAM,CAAC,cAAc,CAAC,wBAAwB;QACxE,kBAAkB,EAAE;YAClB,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,MAAM;YACvD,YAAY,EAAE,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,KAAK;YAC5D,YAAY,EAAE,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,YAAY;YACnE,kBAAkB,EAAE,MAAM,CAAC,QAAQ,CAAC,kBAAkB;YACtD,cAAc;SACf;QACD,SAAS;QACT,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,WAAW;QACzC,mBAAmB,EAAE,MAAM,CAAC,SAAS,CAAC,mBAAmB;QACzD,WAAW,EAAE;YACX,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM;YACjC,yBAAyB,EAAE,MAAM,CAAC,WAAW,CAAC,yBAAyB;SACxE;QACD,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YAC/F,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;YAC/B,CAAC,CAAC,EAAE,CAAC;QACP,YAAY,EAAE;YACZ,OAAO,EAAE,MAAM,CAAC,YAAY,CAAC,OAAO;YACpC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM;SACnC;QACD,OAAO,EAAE;YACP,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO;YAC/B,uBAAuB,EAAE,MAAM,CAAC,OAAO,CAAC,uBAAuB;SAChE;QACD,SAAS,EAAE;YACT,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ;SACpC;QACD,QAAQ,EAAE;YACR,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ;YAClC,yBAAyB,EAAE,MAAM,CAAC,QAAQ,CAAC,yBAAyB;YACpE,2BAA2B,EAAE,MAAM,CAAC,QAAQ,CAAC,2BAA2B;SACzE;QACD,OAAO;KACR,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E,SAAS,iBAAiB,CAAC,MAAmB;IAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,KAAoB;IACzC,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC;IAC7B,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,IAAI,EAAE,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,GAAG,CAAC,CAAC,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,CAAC,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjF,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E,SAAS,cAAc,CAAC,GAAiB;IACvC,OAAO,GAAG,GAAG,CAAC,YAAY,SAAS,GAAG,CAAC,OAAO,IAAI,EAAE,SAAS,GAAG,CAAC,OAAO,EAAE,CAAC;AAC7E,CAAC;AAED,SAAS,eAAe,CAAC,MAAmB;IAC1C,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;QACjD,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS;YAAE,mBAAmB,CAAC,GAAG,CAAC,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QACtD,IAAI,UAAU,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACvC,mBAAmB,CAAC,GAAG,CAAC,cAAc,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAC1D,GAAG,EAAE,SAAS,CAAC,GAAG;QAClB,iBAAiB,EAAE,SAAS,CAAC,iBAAiB;QAC9C,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,MAAM,EACJ,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,cAAc,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;KAC/F,CAAC,CAAC,CAAC;AACN,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,SAAS,WAAW,CAAC,KAA6B,EAAE,OAAqB;IACvE,OAAO;QACL,KAAK;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA6B,EAAE,OAAqB;IAC5E,OAAO;QACL,KAAK;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAmB;IAChD,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IACvF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/F,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;QACnD,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IACxF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3F,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;QACnD,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,wCAAwC;AACxC,8EAA8E;AAE9E,SAAS,wBAAwB,CAAC,MAAmB;IACnD,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACvF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,CAAS,EAAQ,EAAE;QAC1C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,YAAY,EAAE,CAAC;QACzE,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,kBAAyC,EAAE,CAAC;QAC7E,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAW,CAAC;YAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAW,CAAC;YAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,SAAS,YAAY,CACnB,MAAmB,EACnB,UAA6B,EAC7B,SAA0B;IAE1B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;QAChC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,mBAAmB,GAAG,MAAM,CAAC,WAAW,CAC5C,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC7E,CAAC;IAEF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACtE,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;YAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3E,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,MAA6B,EAAU,EAAE,CAC7D,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAErE,MAAM,gBAAgB,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IACnE,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAEtC,OAAO;QACL,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ;QAC7C,aAAa,EAAE,MAAM,CAAC,YAAY,CAAC,QAAQ;QAC3C,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM;QAClC,mBAAmB,EAAE,MAAM,CAAC,YAAY,CAAC,mBAAmB;QAC5D,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB;QAC3D,SAAS,EAAE,MAAM,CAAC,YAAY,CAAC,SAAS;QACxC,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe;QACrD,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB;QAC3D,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,gBAAgB;QAChB,WAAW,EACT,gBAAgB,KAAK,UAAU,CAAC,MAAM;YACtC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YACvC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YACzC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAC3C,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,MAAM,CAAC,MAAM;QACtE,mBAAmB;QACnB,eAAe,EAAE,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM;QACpD,mBAAmB,EAAE,MAAM,CAAC,SAAS,CAAC,mBAAmB,CAAC,MAAM;QAChE,mBAAmB,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM;QACrD,mBAAmB,EAAE,OAAO,CAAC,IAAI;QACjC,gCAAgC,EAAE,YAAY,CAAC,IAAI;QACnD,WAAW,EAAE;YACX,0BAA0B,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,6BAA6B;YACpF,gBAAgB,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,kBAAkB;YAC/D,kBAAkB,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,kBAAkB;YACjE,mBAAmB,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW;YAC3D,aAAa,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,aAAa;SACxD;QACD,QAAQ,EAAE;YACR,iBAAiB,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM;YAChD,0BAA0B,EAAE,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,MAAM;YAC5E,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM;YACzC,2BAA2B,EAAE,YAAY,CAAC,qCAAqC,CAAC;YAChF,oBAAoB,EAAE,YAAY,CAAC,eAAe,CAAC;YACnD,oBAAoB,EAAE,YAAY,CAAC,eAAe,CAAC;YACnD,kBAAkB,EAAE,YAAY,CAAC,wBAAwB,CAAC;SAC3D;QACD,IAAI;KACL,CAAC;AACJ,CAAC"}
+{"version":3,"file":"report-json.js","sourceRoot":"","sources":["../src/report-json.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAE9F;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAiB9C,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,UAAU,eAAe,CAAC,MAAmB;IACjD,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,mBAAmB,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC/E,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/C,CAAC;IACF,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,cAAc,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAE5D,OAAO;QACL,mBAAmB,EAAE,yBAAyB;QAC9C,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW;QAC3C,WAAW,EAAE;YACX,gBAAgB,EAAE,IAAI;YACtB,IAAI,EACF,iEAAiE;gBACjE,iEAAiE;gBACjE,8DAA8D;gBAC9D,gCAAgC;YAClC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW;YAC3C,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,SAAS;YACvC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,UAAU;YACzC,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,SAAS;SACxC;QACD,KAAK,EAAE;YACL,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS;YAClC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc;YAC5C,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,KAAK,SAAS;gBAChD,CAAC,CAAC,EAAE,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE;gBAC1D,CAAC,CAAC,EAAE,CAAC;YACP,uBAAuB,EAAE,MAAM,CAAC,MAAM,CAAC,uBAAuB;YAC9D,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrF,MAAM,EAAE;gBACN,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ;gBACvC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU;gBAC3C,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe;gBACrD,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB;gBAC3D,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB;gBAC3D,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC,QAAQ;gBACtC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM;gBAClC,mBAAmB,EAAE,MAAM,CAAC,YAAY,CAAC,mBAAmB;gBAC5D,SAAS,EAAE,MAAM,CAAC,YAAY,CAAC,SAAS;gBACxC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS;gBACzC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS;gBACzC,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB;aAC5D;SACF;QACD,MAAM;QACN,mBAAmB;QACnB,UAAU;QACV,oBAAoB,EAAE,MAAM,CAAC,cAAc,CAAC,oBAAoB;QAChE,wBAAwB,EAAE,MAAM,CAAC,cAAc,CAAC,wBAAwB;QACxE,kBAAkB,EAAE;YAClB,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,MAAM;YACvD,YAAY,EAAE,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,KAAK;YAC5D,YAAY,EAAE,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,YAAY;YACnE,kBAAkB,EAAE,MAAM,CAAC,QAAQ,CAAC,kBAAkB;YACtD,cAAc;SACf;QACD,SAAS;QACT,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,WAAW;QACzC,mBAAmB,EAAE,MAAM,CAAC,SAAS,CAAC,mBAAmB;QACzD,WAAW,EAAE;YACX,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM;YACjC,yBAAyB,EAAE,MAAM,CAAC,WAAW,CAAC,yBAAyB;SACxE;QACD,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YAC/F,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;YAC/B,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1F,YAAY,EAAE;YACZ,OAAO,EAAE,MAAM,CAAC,YAAY,CAAC,OAAO;YACpC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM;SACnC;QACD,OAAO,EAAE;YACP,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO;YAC/B,uBAAuB,EAAE,MAAM,CAAC,OAAO,CAAC,uBAAuB;SAChE;QACD,SAAS,EAAE;YACT,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ;SACpC;QACD,QAAQ,EAAE;YACR,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ;YAClC,yBAAyB,EAAE,MAAM,CAAC,QAAQ,CAAC,yBAAyB;YACpE,2BAA2B,EAAE,MAAM,CAAC,QAAQ,CAAC,2BAA2B;YACxE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACzG;QACD,OAAO;KACR,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E,SAAS,iBAAiB,CAAC,MAAmB;IAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,KAAoB;IACzC,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC;IAC7B,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,IAAI,EAAE,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,GAAG,CAAC,CAAC,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,CAAC,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjF,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E,SAAS,cAAc,CAAC,GAAiB;IACvC,OAAO,GAAG,GAAG,CAAC,YAAY,SAAS,GAAG,CAAC,OAAO,IAAI,EAAE,SAAS,GAAG,CAAC,OAAO,EAAE,CAAC;AAC7E,CAAC;AAED,SAAS,eAAe,CAAC,MAAmB;IAC1C,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;QACjD,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS;YAAE,mBAAmB,CAAC,GAAG,CAAC,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QACtD,IAAI,UAAU,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACvC,mBAAmB,CAAC,GAAG,CAAC,cAAc,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAC1D,GAAG,EAAE,SAAS,CAAC,GAAG;QAClB,iBAAiB,EAAE,SAAS,CAAC,iBAAiB;QAC9C,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,MAAM,EACJ,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,cAAc,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;KAC/F,CAAC,CAAC,CAAC;AACN,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,SAAS,WAAW,CAAC,KAA6B,EAAE,OAAqB;IACvE,OAAO;QACL,KAAK;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA6B,EAAE,OAAqB;IAC5E,OAAO;QACL,KAAK;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAmB;IAChD,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IACvF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/F,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;QACnD,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IACxF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3F,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;QACnD,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,wCAAwC;AACxC,8EAA8E;AAE9E,SAAS,wBAAwB,CAAC,MAAmB;IACnD,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACvF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,CAAS,EAAQ,EAAE;QAC1C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,YAAY,EAAE,CAAC;QACzE,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,kBAAyC,EAAE,CAAC;QAC7E,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAW,CAAC;YAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAW,CAAC;YAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,SAAS,YAAY,CACnB,MAAmB,EACnB,UAA6B,EAC7B,SAA0B;IAE1B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;QAChC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,mBAAmB,GAAG,MAAM,CAAC,WAAW,CAC5C,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC7E,CAAC;IAEF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACtE,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;YAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3E,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,IAAI,EAAE,CAAC;IAClD,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC;IAC1D,MAAM,YAAY,GAAG,CAAC,MAA6B,EAAU,EAAE,CAC7D,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAErE,MAAM,gBAAgB,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IACnE,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC;IAClD,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IAE1E,OAAO;QACL,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ;QAC7C,aAAa,EAAE,MAAM,CAAC,YAAY,CAAC,QAAQ;QAC3C,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM;QAClC,mBAAmB,EAAE,MAAM,CAAC,YAAY,CAAC,mBAAmB;QAC5D,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB;QAC3D,SAAS,EAAE,MAAM,CAAC,YAAY,CAAC,SAAS;QACxC,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe;QACrD,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB;QAC3D,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,gBAAgB;QAChB,WAAW,EACT,gBAAgB,KAAK,UAAU,CAAC,MAAM;YACtC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YACvC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YACzC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAC3C,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,MAAM,CAAC,MAAM;QACtE,mBAAmB;QACnB,eAAe,EAAE,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM;QACpD,mBAAmB,EAAE,MAAM,CAAC,SAAS,CAAC,mBAAmB,CAAC,MAAM;QAChE,mBAAmB,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM;QACrD,mBAAmB,EAAE,OAAO,CAAC,IAAI;QACjC,gCAAgC,EAAE,YAAY,CAAC,IAAI;QACnD,WAAW,EAAE;YACX,0BAA0B,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,6BAA6B;YACpF,gBAAgB,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,kBAAkB;YAC/D,kBAAkB,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,kBAAkB;YACjE,mBAAmB,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW;YAC3D,aAAa,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,aAAa;SACxD;QACD,QAAQ,EAAE;YACR,iBAAiB,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM;YAChD,0BAA0B,EAAE,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,MAAM;YAC5E,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM;YACzC,2BAA2B,EAAE,YAAY,CAAC,qCAAqC,CAAC;YAChF,oBAAoB,EAAE,YAAY,CAAC,eAAe,CAAC;YACnD,oBAAoB,EAAE,YAAY,CAAC,eAAe,CAAC;YACnD,kBAAkB,EAAE,YAAY,CAAC,wBAAwB,CAAC;YAC1D,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;gBAC/C,CAAC,CAAC;oBACE,UAAU,EAAE;wBACV,MAAM,EAAE,MAAM,CAAC,MAAM;wBACrB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC,MAAM;wBAC/D,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;wBACnE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,MAAM;wBAC7D,QAAQ,EAAE,aAAa,CAAC,MAAM;qBAC/B;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR;QACD,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;YACzB,CAAC,CAAC;gBACE,OAAO,EAAE;oBACP,KAAK,EAAE,YAAY,CAAC,MAAM;oBAC1B,WAAW,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM;oBACtE,YAAY,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,MAAM;oBACxE,mBAAmB,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,MAAM;oBACtF,QAAQ,EAAE,YAAY,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM;oBACrD,mBAAmB,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;iBAC1G;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,IAAI;KACL,CAAC;AACJ,CAAC"}

package/dist/report-md.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"report-md.d.ts","sourceRoot":"","sources":["../src/report-md.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAGV,WAAW,EAOZ,MAAM,YAAY,CAAC;AAQpB,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAW/D"}
+{"version":3,"file":"report-md.d.ts","sourceRoot":"","sources":["../src/report-md.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EAGV,WAAW,EAWZ,MAAM,YAAY,CAAC;AAQpB,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAW/D"}

package/dist/report-md.js

@@ -19,6 +19,7 @@
  * Long tables are capped at MAX_TABLE_ROWS rows with an explicit
  * remainder line; the JSON report always carries the complete data.
  */
+import { exportRunClaims } from "./exports.js";
 import { buildJsonReport } from "./report-json.js";
 const MAX_TABLE_ROWS = 200;
 // ---------------------------------------------------------------------------
@@ -273,40 +274,72 @@ function executiveSummary(lines, report, proofByHash) {
             lines.push(`- ${st.status} ${inlineCode(st.path)}: ${st.note}`);
         lines.push("");
     }
+    // Exports (bitgraph-export/1), only when the bundle carries any.
+    const ex = report.exports;
+    if (ex && ex.checks.length > 0) {
+        lines.push("### Exports (bitgraph-export/1)");
+        lines.push("");
+        lines.push(`${withCommas(ex.checks.length)} export ${plural(ex.checks.length, "file was", "files were")} found. ` +
+            "An export is one JSON file that, with the file it covers, checks a tree/1 BitGraph on its own: " +
+            "the signed proof and its attestation, the tree's root document, the member's path or the owner's " +
+            "whole list, and the time evidence. Each was checked with verifyExport from bitgraph-verify, once " +
+            "for every file in this bundle it covers (matched by SHA-256 to a leaf's committed bytes or to its " +
+            "original), or once without a file when the bundle holds none. A claim the export does not carry, " +
+            "or one about a file that is not here, reads NOT_CARRIED and is never a failure. Any FALSE claim " +
+            "fails the audit (exit bit 1), as a bad proof does; the attestation claims count, because an export " +
+            "is checked as one self-contained object.");
+        lines.push("");
+        for (const e of ex.checks)
+            lines.push(`- ${exportSummaryLine(e)}`);
+        lines.push("");
+        lines.push("Each export's claims, the files it covers and its three time claims (the floor, the ceiling on " +
+            "Base, the ceiling on Ethereum, stated separately and never merged) are in the details below.");
+        lines.push("");
+    }
     // External time evidence.
     lines.push("### External time evidence");
     lines.push("");
     const t = s.temporal;
-    if (t.anchorsIdentified === 0) {
+    const bf = t.baseFloors;
+    if (t.anchorsIdentified === 0 && bf === undefined) {
         lines.push("No Ethereum anchor proofs were observed. The causal order of the " +
             "proofs stands on its own; this report makes no wall-clock claims.");
         lines.push("");
     }
     else {
-        lines.push(`${withCommas(t.anchorsIdentified)} Ethereum anchor ${plural(t.anchorsIdentified, "proof was", "proofs were")} ` +
-            "identified. An anchor is an ordinary chain member that committed " +
-            "the fingerprint of a public Ethereum block, giving the chain a " +
-            "contact point with a public timeline. " +
-            `${withCommas(t.anchorsWithVerifiedWitness)} ${plural(t.anchorsWithVerifiedWitness, "anchor", "anchors")} ` +
-            "came with witness material (the block header) that let this tool " +
-            "reconstruct the block fingerprint locally and confirm it against " +
-            "the signed anchor, entirely offline.");
-        lines.push("");
-        lines.push("A verified anchor bounds time in one direction at a time. Proofs " +
-            "that come after an anchor in the chain were committed no earlier " +
-            "than that block's timestamp, because the block's fingerprint " +
-            "could not have been known before the block existed. That lower " +
-            "bound additionally assumes the anchored header is a genuine, " +
-            "publicly published Ethereum block: this offline audit checks the " +
-            "header's structure and hash binding, not proof-of-work, " +
-            "consensus, or chain membership, so it cannot confirm the block " +
-            "is real. Proofs that come before an anchor existed before the " +
-            "commit that consumed the block; reading that as a wall-clock " +
-            "ceiling additionally assumes the anchor consumed a recently " +
-            "published block. Every such bound in this report states its " +
-            "assumption. No individual proof's exact creation time is ever " +
-            "stated.");
-        lines.push("");
+        if (t.anchorsIdentified > 0) {
+            lines.push(`${withCommas(t.anchorsIdentified)} Ethereum anchor ${plural(t.anchorsIdentified, "proof was", "proofs were")} ` +
+                "identified. An anchor is an ordinary chain member that committed " +
+                "the fingerprint of a public Ethereum block, giving the chain a " +
+                "contact point with a public timeline. " +
+                `${withCommas(t.anchorsWithVerifiedWitness)} ${plural(t.anchorsWithVerifiedWitness, "anchor", "anchors")} ` +
+                "came with witness material (the block header) that let this tool " +
+                "reconstruct the block fingerprint locally and confirm it against " +
+                "the signed anchor, entirely offline.");
+            lines.push("");
+            lines.push("A verified anchor bounds time in one direction at a time. Proofs " +
+                "that come after an anchor in the chain were committed no earlier " +
+                "than that block's timestamp, because the block's fingerprint " +
+                "could not have been known before the block existed. That lower " +
+                "bound additionally assumes the anchored header is a genuine, " +
+                "publicly published Ethereum block: this offline audit checks the " +
+                "header's structure and hash binding, not proof-of-work, " +
+                "consensus, or chain membership, so it cannot confirm the block " +
+                "is real. Proofs that come before an anchor existed before the " +
+                "commit that consumed the block; reading that as a wall-clock " +
+                "ceiling additionally assumes the anchor consumed a recently " +
+                "published block. Every such bound in this report states its " +
+                "assumption. No individual proof's exact creation time is ever " +
+                "stated.");
+            lines.push("");
+        }
+        else {
+            lines.push("No Ethereum anchor proofs were observed. After the cutover to Base floors (enclave v10) there " +
+                "are none: order after a record is the chain of proof hashes.");
+            lines.push("");
+        }
+        if (bf !== undefined)
+            baseFloorSummary(lines, report);
         lines.push(...table(["Temporal coverage", "Segments"], [
             ["Lower-bounded, with a following anchor (its block time is an assumption, not an upper bound)", withCommas(t.segmentsWithFollowingAnchor)],
             ["Lower-bounded only (committed no earlier than a block time)", withCommas(t.segmentsLowerBounded)],
@@ -316,6 +349,44 @@ function executiveSummary(lines, report, proofByHash) {
         lines.push("");
     }
 }
+/** The executive summary's paragraph on Base floors (enclave v10). Only written when a proof signs one or a floor problem was found. */
+function baseFloorSummary(lines, report) {
+    const bf = report.summary.temporal.baseFloors;
+    if (bf === undefined)
+        return;
+    if (bf.signed > 0) {
+        const rest = bf.signed - bf.headersChecked;
+        lines.push(`${withCommas(bf.signed)} ${plural(bf.signed, "proof signs", "proofs sign")} a Base block as ` +
+            `${plural(bf.signed, "its", "their")} floor (commit.slotFloor, enclave v10). A proof that signs a floor was ` +
+            "committed no earlier than that block's time: the block's hash could not exist before the block, and the " +
+            "proof signs it. Proofs after it in the chain carry the same bound. A floor is a lower bound only: it " +
+            "bounds nothing from above, and it orders no epoch. " +
+            `${withCommas(bf.headersChecked)} of ${withCommas(bf.signed)} came with the block's header, checked against ` +
+            "the signed hash, number and time" +
+            (rest > 0
+                ? `; for the other ${withCommas(rest)} the time is the one the proof signs, on Base mainnet's schedule for ` +
+                    "that block, and confirming the block needs a Base lookup. "
+                : ". ") +
+            "Like an anchored block, a floor additionally assumes the block is a genuine, publicly published Base " +
+            "block, which this offline audit cannot confirm." +
+            (bf.withheld > 0
+                ? ` ${withCommas(bf.withheld)} ${plural(bf.withheld, "floor is", "floors are")} not used as a bound; ` +
+                    "the reasons are in the temporal bounds section."
+                : ""));
+        lines.push("");
+    }
+    const problems = report.temporal.floorProblems ?? [];
+    if (problems.length > 0) {
+        lines.push(`${withCommas(problems.length)} floor ${plural(problems.length, "problem was", "problems were")} found ` +
+            "(exit bit 2). A floor with a problem bounds nothing:");
+        lines.push("");
+        for (const p of problems.slice(0, MAX_TABLE_ROWS)) {
+            lines.push(`- ${inlineCode(p.code)}${p.path !== undefined ? ` ${inlineCode(p.path)}` : ""}` +
+                `${p.proofHash !== undefined ? `, proof ${inlineCode(p.proofHash)}` : ""}: ${p.message}`);
+        }
+        lines.push("");
+    }
+}
 /** Plain sentences describing one partition's chain state, in the brief's style. */
 function partitionSummarySentences(report, partition) {
     const out = [];
@@ -404,6 +475,7 @@ function detailSections(lines, report, proofByHash) {
     anchorDetails(lines, report);
     witnessDetails(lines, report);
     temporalDetails(lines, report);
+    exportDetails(lines, report);
     attestationDetails(lines, report);
     unsupportedVersionDetails(lines, report);
     manifestDetails(lines, report);
@@ -642,6 +714,20 @@ function temporalDetails(lines, report) {
         }
         lines.push("");
     }
+    const floors = report.temporal.signedFloors ?? [];
+    if (floors.length > 0) {
+        lines.push("Base floors the proofs sign (enclave v10), each a not-before for its proof and never an upper bound:");
+        lines.push("");
+        for (const f of floors.slice(0, MAX_TABLE_ROWS)) {
+            lines.push(`- Base block ${withCommas(f.blockNumber)} (${formatTimestamp(f.blockTimestamp)}, hash ${inlineCode(f.blockHash)}), ` +
+                `signed by ${inlineCode(f.proofHash)}: ` +
+                (f.header === "checked"
+                    ? `header checked (${inlineCode(f.headerPath ?? "")})`
+                    : "no header in the bundle; confirming the block needs a Base lookup") +
+                (f.bound === "not-before" ? "; bounds the proof not before that time." : `; not used as a bound: ${f.withheldReason ?? "withheld"}.`));
+        }
+        lines.push("");
+    }
     if (report.epochRelationships.anchorOrderedPairs.length > 0) {
         lines.push("Anchor-derived epoch ordering (assumption-dependent, covered portions only):");
         lines.push("");
@@ -657,6 +743,11 @@ function temporalDetails(lines, report) {
     }
 }
 function boundLine(bound) {
+    if (bound.source === "signed-floor") {
+        return (`Committed no earlier than ${formatTimestamp(bound.timestamp)} ` +
+            `(Base block ${bound.blockNumber ?? "?"}, the floor signed by ${inlineCode(bound.anchorProofHash)}, ` +
+            `evidence: ${bound.evidence}${bound.weaker ? ", weaker" : ""}). ${bound.claim}`);
+    }
     const direction = bound.kind === "not-before"
         ? "Committed no earlier than"
         : "Precedes an anchor commit that consumed a block published at (ASSUMPTION, not a proof-carried upper bound)";
@@ -664,6 +755,199 @@ function boundLine(bound) {
         `(block ${bound.blockNumber ?? "?"}, anchor ${inlineCode(bound.anchorProofHash)}, ` +
         `evidence: ${bound.evidence}${bound.weaker ? ", weaker" : ""}). ${bound.claim}`);
 }
+// ---------------------------------------------------------------------------
+// Exports (bitgraph-export/1)
+// ---------------------------------------------------------------------------
+/** One summary line for an export: its verdict, path, kind and covered files. */
+function exportSummaryLine(e) {
+    if (e.status === "malformed") {
+        // It says bitgraph-export/1 and is not one: a failed check, not an unknown format.
+        return `FALSE ${inlineCode(e.path)}: malformed, ${e.reason ?? e.status}. Fails the audit (exit bit 1).`;
+    }
+    if (e.status !== "checked") {
+        return `NOT CHECKED ${inlineCode(e.path)}: ${e.reason ?? e.status}. Fails the audit (exit bit 1).`;
+    }
+    const withFile = e.runs.filter((r) => r.file !== null).length;
+    const covered = e.files.length === 0
+        ? "no covered file in this bundle (checked without one)"
+        : `${withCommas(e.files.length)} covered ${plural(e.files.length, "file", "files")} in this bundle` +
+            (withFile < e.files.length ? `, ${withCommas(withFile)} checked one by one` : "");
+    const failed = e.failedClaims.length > 0 ? ` FALSE claims: ${e.failedClaims.map(inlineCode).join(", ")}.` : "";
+    return `${e.verdict} ${inlineCode(e.path)}: ${exportKindPhrase(e)}; ${covered}.${failed}`;
+}
+function exportKindPhrase(e) {
+    const count = exportLeafCount(e);
+    const tree = count !== null ? ` of a tree of ${withCommas(count)} ${plural(count, "leaf", "leaves")}` : "";
+    if (e.kind === "member")
+        return `member export${tree}`;
+    if (e.kind === "owner")
+        return `the owner's export (the whole list)${tree}`;
+    return `an export with neither member evidence nor the owner's list${tree}`;
+}
+/** The tree size the export's runs established (from the member, else from tree.root's detail). */
+function exportLeafCount(e) {
+    for (const r of e.runs)
+        if (r.member !== null)
+            return r.member.count;
+    for (const c of [...e.claims, ...e.runs.flatMap((r) => r.claims)]) {
+        const m = c.id === "tree.root" && c.result === "TRUE" ? /a tree of (\d+) leaves/.exec(c.detail) : null;
+        if (m)
+            return Number(m[1]);
+    }
+    return null;
+}
+function exportFileLabel(f) {
+    return f.paths.map(inlineCode).join(", ");
+}
+function exportDetails(lines, report) {
+    const ex = report.exports;
+    if (ex === undefined || ex.checks.length === 0)
+        return;
+    lines.push("### Exports (bitgraph-export/1)");
+    lines.push("");
+    lines.push("Each export below was checked with verifyExport from bitgraph-verify. Every claim is TRUE, FALSE, " +
+        "UNDETERMINED or NOT_CARRIED, with what it rests on, exactly as the verifier states it. Offline claims " +
+        "take block headers as the ones matching their hashes; whether each block is its chain's own is a " +
+        "confirmed claim, which this audit never looks up (it makes no network call), so those read " +
+        "UNDETERMINED (not checked). The proof inside an export is also in the proof analysis above under its " +
+        "canonical hash, where it counts as observed without artifact bytes: its artifact is the tree's " +
+        "84-byte root document, which travels inside the export and is checked here (claim tree.root).");
+    lines.push("");
+    for (const e of ex.checks)
+        exportDetail(lines, e);
+}
+function exportDetail(lines, e) {
+    lines.push(`#### Export ${inlineCode(e.path)}: ${e.status === "checked" ? e.verdict : e.status === "malformed" ? "FALSE (malformed)" : "NOT CHECKED"}`);
+    lines.push("");
+    if (e.status !== "checked") {
+        lines.push(`Rejected at ingest: ${e.reason ?? e.status}. The file is not checked and is never treated as an ` +
+            "artifact; it fails the audit (exit bit 1), as an unsupported proof version does.");
+        lines.push("");
+        return;
+    }
+    const facts = [`${exportKindPhrase(e).replace(/^./, (c) => c.toUpperCase())}.`];
+    if (e.proofHash !== undefined)
+        facts.push(`Proof ${inlineCode(e.proofHash)}.`);
+    if (e.failedClaims.length > 0)
+        facts.push(`FALSE claims: ${e.failedClaims.map(inlineCode).join(", ")}.`);
+    lines.push(facts.join(" "));
+    lines.push("");
+    // The files it covers.
+    if (e.files.length === 0) {
+        lines.push("No file in this bundle is covered by this export, so it was checked once without a file: the claims " +
+            "about the file read NOT_CARRIED, which is not a failure.");
+        lines.push("");
+    }
+    else {
+        lines.push("Covered files in this bundle (matched by SHA-256):");
+        lines.push("");
+        lines.push(...table(["File", "SHA-256", "Leaf", "Placement", "Matched as", "Name in the export (unsigned)"], e.files.slice(0, MAX_TABLE_ROWS).map((f) => [
+            exportFileLabel(f),
+            inlineCode(f.sha256Hex),
+            f.leafIndex !== null ? String(f.leafIndex) : "",
+            f.placement ?? "",
+            f.matchedAs === "committed-bytes" ? "committed bytes" : f.matchedAs === "original" ? "original" : "as is",
+            f.nameInExport ?? "",
+        ])));
+        if (e.files.length > MAX_TABLE_ROWS)
+            lines.push("", `${withCommas(e.files.length - MAX_TABLE_ROWS)} more in the JSON report.`);
+        lines.push("");
+        if (e.runMode === "member-from-list") {
+            lines.push("The owner's list was checked once (claim tree.leaves); each file's member evidence was then derived " +
+                "from it exactly as verifyExport derives it, and verifyExport ran once per file with that evidence.");
+            lines.push("");
+        }
+    }
+    for (const u of e.unchecked ?? [])
+        lines.push(`- ${exportFileLabel(u.file)}: ${u.reason}.`);
+    if ((e.unchecked ?? []).length > 0)
+        lines.push("");
+    // The three time claims, each on its own evidence, never merged.
+    const firstClaims = exportRunClaims(e, e.runs[0]);
+    const why = (id) => {
+        const c = firstClaims.find((x) => x.id === id);
+        return c ? `${inlineCode(id)} ${c.result}: ${c.detail}` : `${inlineCode(id)} was not reached`;
+    };
+    // Whether a block is its chain's own: the confirmed claim, which only an embedder's lookup answers.
+    const confirmedNote = (id, chain) => {
+        const c = firstClaims.find((x) => x.id === id);
+        if (c === undefined || c.result === "UNDETERMINED")
+            return ` Whether the block is ${chain}'s own is a confirmed claim, not looked up here.`;
+        return c.result === "TRUE"
+            ? ` The caller's own lookup confirms the block is ${chain}'s (${inlineCode(id)} TRUE).`
+            : ` The caller's own lookup says the block is NOT ${chain}'s (${inlineCode(id)} ${c.result}: ${c.detail}).`;
+    };
+    lines.push("Time claims, each on its own evidence and never merged:");
+    lines.push("");
+    const t = e.times;
+    lines.push(t.floor !== null
+        ? `- Floor: ${t.floor.chain === "base" ? "Base" : "Ethereum"} block ${withCommas(t.floor.blockNumber)}, ` +
+            `${t.floor.chain === "base" ? "stamped" : "mined"} at ${formatTimestamp(t.floor.blockTimestamp)}, ` +
+            `hash ${inlineCode(t.floor.blockHash)}: the proof's signed floor block, its header checked by hash. ` +
+            "Every file in the tree was recorded after it (the record floor). Committed bytes that carry this position's " +
+            "commitment were also finished after it (the content floor); an original inside them, and a file recorded as is, " +
+            "are not dated by it. What the floor covers for each file is stated per run below." +
+            confirmedNote("confirmed.floor", t.floor.chain === "base" ? "Base" : "Ethereum")
+        : `- Floor: not established (${why("floor.header")}).`);
+    lines.push(t.ceilingBase !== null
+        ? `- Ceiling on Base: the record existed by Base block ${withCommas(t.ceilingBase.blockNumber)}, at ` +
+            `${formatTimestamp(t.ceilingBase.blockTimestamp)}, hash ${inlineCode(t.ceilingBase.blockHash)}. ` +
+            (!t.ceilingBase.provisional
+                ? "The caller's own lookup confirmed the block against Base, so the time is no longer provisional."
+                : firstClaims.some((x) => x.id === "confirmed.ceiling.base" && x.result === "FALSE")
+                    ? `PROVISIONAL, and the caller's own lookup says the block is NOT Base's (${inlineCode("confirmed.ceiling.base")} FALSE).`
+                    : "PROVISIONAL: this time holds once the block is checked against Base, which this offline audit does not do.")
+        : `- Ceiling on Base: not established (${why("ceiling.base")}).`);
+    lines.push(t.ceilingEthereum !== null
+        ? `- Ceiling on Ethereum: the record existed by Ethereum block ${withCommas(t.ceilingEthereum.blockNumber)}, at ` +
+            `${formatTimestamp(t.ceilingEthereum.blockTimestamp)}, hash ${inlineCode(t.ceilingEthereum.blockHash)}, ` +
+            "through Base's output root, whatever Base's claim turns out to be." +
+            confirmedNote("confirmed.ceiling.ethereum", "Ethereum")
+        : `- Ceiling on Ethereum: not established (${why("ceiling.ethereum")}).`);
+    lines.push("");
+    // Claims: the ones every run states alike once, then each run's own (the ones about its file).
+    lines.push(e.runs.length > 1 ? "Claims, the same in every run:" : "Claims:");
+    lines.push("");
+    lines.push(...table(["Claim", "Result", "Level", "Rests on", "Detail"], e.claims.map((c) => claimRow(c))));
+    lines.push("");
+    const perFile = [];
+    let perFileTotal = 0;
+    for (const r of e.runs) {
+        for (const c of r.claims) {
+            perFileTotal++;
+            if (perFile.length < MAX_TABLE_ROWS)
+                perFile.push([r.file !== null ? exportFileLabel(r.file) : "(no file)", ...claimRow(c)]);
+        }
+    }
+    if (perFileTotal > 0) {
+        lines.push("Claims that differ by file:");
+        lines.push("");
+        lines.push(...table(["File", "Claim", "Result", "Level", "Rests on", "Detail"], perFile));
+        if (perFileTotal > MAX_TABLE_ROWS)
+            lines.push("", `${withCommas(perFileTotal - MAX_TABLE_ROWS)} more rows in the JSON report.`);
+        lines.push("");
+    }
+    // Per run: the verdict, what the floor covers, and the verifier's own reading.
+    lines.push(e.runs.length > 1 ? "Runs:" : "Run:");
+    lines.push("");
+    for (const r of e.runs.slice(0, MAX_TABLE_ROWS))
+        lines.push(`- ${exportRunLine(r)}`);
+    if (e.runs.length > MAX_TABLE_ROWS)
+        lines.push(`- ${withCommas(e.runs.length - MAX_TABLE_ROWS)} more runs in the JSON report.`);
+    lines.push("");
+}
+function claimRow(c) {
+    return [inlineCode(c.id), c.result, c.level, c.restsOn, c.detail];
+}
+function exportRunLine(r) {
+    const who = r.file !== null ? exportFileLabel(r.file) : "Without a file";
+    const floor = r.floorCovers === "content"
+        ? " Recorded after the floor block, and its committed bytes were finished after it; an original inside them is not dated by it."
+        : r.floorCovers === "record"
+            ? " Recorded as is: recorded after the floor block; the bytes themselves are not dated."
+            : "";
+    return `${who}: ${r.verdict}.${floor} Reading: ${r.reading.length > 0 ? r.reading : "(none)"}`;
+}
 function attestationDetails(lines, report) {
     lines.push("### Attestation breakdown");
     lines.push("");
@@ -844,6 +1128,12 @@ function codeMeaning(code) {
             return "A validated attestation document's measurement does not equal the measurement the proof declares.";
         case "attestation-user-data-mismatch":
             return "A validated attestation document is not bound to the specific proof that carries it.";
+        case "export-malformed":
+            return "A file declares the bitgraph-export/1 format but lacks an export's structure (a proof and the tree's root document). It was not checked, and it fails the audit.";
+        case "export-unsupported-format":
+            return "A file declares a bitgraph-export format this audit does not support (only bitgraph-export/1). It was not checked, and it fails the audit.";
+        case "export-too-large":
+            return "A file opens an export but is larger than this audit reads for one export. It was not checked, and it fails the audit.";
         default:
             return "See the anomaly details section.";
     }