diff --git a/.proofline/criteria/.gitkeep b/.proofline/criteria/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/.proofline/identities.json b/.proofline/identities.json
new file mode 100644
index 0000000..7365b4e
--- /dev/null
+++ b/.proofline/identities.json
@@ -0,0 +1,5 @@
+{
+  "schema_version": 1,
+  "next_line_number": 1,
+  "next_ac_number": 1
+}
diff --git a/.proofline/lines/.gitkeep b/.proofline/lines/.gitkeep
new file mode 100644
index 0000000..e69de29
diff --git a/proofline.yaml b/proofline.yaml
new file mode 100644
index 0000000..559da79
--- /dev/null
+++ b/proofline.yaml
@@ -0,0 +1,2 @@
+schema_version: 1
+artifact_root: .proofline