diff --git a/packages/c0py-core/src/index.ts b/packages/c0py-core/src/index.ts
index a4651cf..73298ad 100644
--- a/packages/c0py-core/src/index.ts
+++ b/packages/c0py-core/src/index.ts
@@ -4,3 +4,5 @@ export * from "./registry/analyzer";
 export * from "./crawler/types";
 export * from "./registry/types";
 export * from "./provenance/registry";
+export * from "./reconstruction/contracts";
+export * from "./verification/fidelity";