From 0ba302f9e48c807bc108283a16ee02e7cc504cc5 Mon Sep 17 00:00:00 2001 From: PJ Date: Mon, 1 Jun 2026 22:46:50 +0530 Subject: [PATCH] docs: add package docs to trace and verifier --- internal/trace/writer.go | 1 + internal/verifier/worker.go | 1 + 2 files changed, 2 insertions(+) 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 (