From c5bec4091bfef6f08d2a922875b483f276fa1257 Mon Sep 17 00:00:00 2001 From: Cursor Agent Date: Sun, 25 Oct 2026 22:30:27 +0000 Subject: [PATCH 1/2] Document how Attest resolves for receipt paths Attest writes receipts at /receipts/.json, where is --home, else $ATTEST_HOME, else .attest relative to Attest's working directory (attest/pipeline.py ATTEST_DIR, loop._write_receipt). The original brief and #88's first commit named .attest/receipts, which is only the default. Co-authored-by: Mateo Robles --- examples/attest_receipt_observe.py | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/examples/attest_receipt_observe.py b/examples/attest_receipt_observe.py index f044793..e51c3cb 100644 --- a/examples/attest_receipt_observe.py +++ b/examples/attest_receipt_observe.py @@ -1,7 +1,9 @@ """Print an unverified SyberWork observation from an Attest v0 receipt file. -Attest writes these receipts under `/receipts/.json`. -This example only translates the JSON into Work.observe-compatible arguments; +Attest writes these receipts under `/receipts/.json`, +where `` is Attest's `--home`, else `$ATTEST_HOME`, else `.attest` +relative to Attest's working directory. `.attest/receipts` is only that default; +pass the receipt path explicitly rather than assuming it. This example only translates the JSON into Work.observe-compatible arguments; it does not append to a case or verify receipt authority. """ @@ -102,7 +104,10 @@ def main(argv: list[str] | None = None) -> int: parser.add_argument( "receipt", type=Path, - help="receipt path (Attest writes /receipts/.json)", + help=( + "receipt path (Attest writes /receipts/.json; " + " is Attest's --home, else $ATTEST_HOME, else .attest)" + ), ) args = parser.parse_args(argv) try: From 437a7599ff1fd7724b73a3d2ed7185d7dd3755af Mon Sep 17 00:00:00 2001 From: Mateo Robles <132870419+sykosyber@users.noreply.github.com> Date: Sun, 25 Oct 2026 15:40:34 -0700 Subject: [PATCH 2/2] Rewrap the receipt CLI docstring after the note Co-Authored-By: Claude Opus 5.5 --- examples/attest_receipt_observe.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/examples/attest_receipt_observe.py b/examples/attest_receipt_observe.py index e51c3cb..3eec263 100644 --- a/examples/attest_receipt_observe.py +++ b/examples/attest_receipt_observe.py @@ -3,8 +3,9 @@ Attest writes these receipts under `/receipts/.json`, where `` is Attest's `--home`, else `$ATTEST_HOME`, else `.attest` relative to Attest's working directory. `.attest/receipts` is only that default; -pass the receipt path explicitly rather than assuming it. This example only translates the JSON into Work.observe-compatible arguments; -it does not append to a case or verify receipt authority. +pass the receipt path explicitly rather than assuming it. This example only +translates the JSON into Work.observe-compatible arguments; it does not append +to a case or verify receipt authority. """ from __future__ import annotations