writ record
Show the record of the last run.
writ record <name>The name is the value of the writ field, and not the name of the file.
| Flag | Purpose |
|---|---|
--where <filter> |
Limit the lines of the transcript. Use the flag more than one time to combine filters. |
--web |
Serve the record as a local web page. |
--addr <address> |
The listen address for --web. The default is localhost:8321. |
Output
Section titled “Output”The header shows the meters of the run: the iterations, the cost, and the time. The lines below show each entry.
The meters always cover the whole run. A filter changes the lines, and a filter does not change the meters.
Filters
Section titled “Filters”| Form | Example |
|---|---|
type=<entry type> |
--where type=tool_call |
actor=<actor> |
--where actor=judge |
status=<status> |
--where status=blocked |
text~<part of the text> |
--where text~pytest |
seq>=<number> |
--where seq>=40 |
seq<=<number> |
--where seq<=80 |
The filters combine with AND, so each filter must match:
writ record bug-fixer --where actor=holder --where status=blockedThe actors are holder, judge, registrar, and human. Read about
the entry types.
Common questions
Section titled “Common questions”Which actions did the registrar deny?
writ record bug-fixer --where status=blockedWhat did the judge decide?
writ record bug-fixer --where actor=judgeWhat happened after iteration 40?
writ record bug-fixer --where seq>=40Read the record in a browser
Section titled “Read the record in a browser”writ record bug-fixer --webThe command serves the record at http://localhost:8321. To use a different
address, add the --addr flag.
Where the record is
Section titled “Where the record is”Writ keeps the record in .writ/record.db, in the root directory of your
project. Run the command from that directory.