diff --git a/.correx/project.toml b/.correx/project.toml
new file mode 100644
index 00000000..3556a92d
--- /dev/null
+++ b/.correx/project.toml
@@ -0,0 +1,14 @@
+about = "CORREX — local-first, event-sourced orchestration kernel for LLM workflows. Kotlin 2.0 / JVM 21, Gradle multi-module, kotlinx.serialization, Ktor."
+
+conventions = [
+    "Event log is the only source of truth; projections are disposable and rebuilt from events",
+    "Dependency direction: apps -> core -> infrastructure; no cross-core imports",
+    "No bare try-catch; use runCatching and sealed domain error types",
+    "Every new EventPayload must be registered in the eventModule polymorphic block (Serialization.kt)",
+]
+
+[commands]
+test-all = "./gradlew check --rerun-tasks"
+test-module = "./gradlew :core:<module>:test --rerun-tasks"
+context-lookup = "python scripts/ctx.py <query>"
+epic-status = "bash scripts/epic-status.sh"
diff --git a/examples/workflows/healthcheck.toml b/examples/workflows/healthcheck.toml
index 8b085c9e..4ee9923f 100644
--- a/examples/workflows/healthcheck.toml
+++ b/examples/workflows/healthcheck.toml
@@ -1,4 +1,5 @@
 id = "healthcheck"
+description = "Two-stage system healthcheck: writes a diagnostic shell script, then executes it and reports the result."
 start = "write_script"
 
 [[stages]]
diff --git a/examples/workflows/qa_ping.toml b/examples/workflows/qa_ping.toml
index 63cf33e4..a1f89e5e 100644
--- a/examples/workflows/qa_ping.toml
+++ b/examples/workflows/qa_ping.toml
@@ -1,4 +1,5 @@
 id = "qa_ping"
+description = "Minimal one-stage smoke test: writes a single ping file to verify the pipeline runs end to end."
 start = "ping"
 
 [[stages]]