● Zion Boggan
repos/Agent Time Ledger/docs/verification.md
zionboggan.com ↗
40 lines · markdown
History for this file →
1
# Verification
2
 
3
This repository includes a focused Go test suite plus a GitHub Actions workflow that runs on pushes and pull requests.
4
 
5
## Local Checks
6
 
7
The initial public branch was checked with:
8
 
9
```text
10
go test ./...
11
go vet ./...
12
go build -o /tmp/atl-smoke ./cmd/atl
13
ATL_HOME="$(mktemp -d)" /tmp/atl-smoke now --json
14
ATL_HOME="$(mktemp -d)" /tmp/atl-smoke now --tz America/Chicago --json
15
ATL_HOME="$(mktemp -d)" /tmp/atl-smoke serve-mcp
16
```
17
 
18
Covered behavior:
19
 
20
- RFC3339 timestamp output
21
- timezone-aware `now` output with UTC offset
22
- human duration formatting
23
- TTL parsing for `15s`, `30m`, `2h`, and `1d`
24
- stale checks before and after TTL expiry
25
- missing mark errors
26
- session status with no active session
27
- persisted sessions and marks
28
- valid JSONL audit events
29
- MCP tool discovery and `time_now`
30
 
31
## Public CI
32
 
33
The workflow at `.github/workflows/test.yml` runs:
34
 
35
```text
36
go test ./...
37
go vet ./...
38
```
39
 
40
That makes the tests visible on GitHub pull requests before merge.