diff --git a/internal/trace/writer.go b/internal/trace/writer.go
index 27aca26..ffd6e7b 100644
--- a/internal/trace/writer.go
+++ b/internal/trace/writer.go
@@ -1,3 +1,4 @@
+// Package trace records each run's steps, snapshots, and violations to disk for later inspection.
 package trace
 
 import (
diff --git a/internal/verifier/worker.go b/internal/verifier/worker.go
index 56a1084..20c7465 100644
--- a/internal/verifier/worker.go
+++ b/internal/verifier/worker.go
@@ -1,3 +1,4 @@
+// Package verifier runs the spec's extractors and property formulas against each observed step.
 package verifier
 
 import (