assertion-cli 0.5.2__py3-none-any.whl → 0.5.4__py3-none-any.whl

{assertion_cli-0.5.2.dist-info → assertion_cli-0.5.4.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: assertion-cli
-Version: 0.5.2
+Version: 0.5.4
 Summary: CLI for the Assertion API
 Requires-Python: >=3.13
 Description-Content-Type: text/markdown

assertion_cli-0.5.4.dist-info/RECORD

@@ -0,0 +1,15 @@
+api.py,sha256=AxwOMHenNpMBNMtkCg39WxDWqBpyrqGbzri4nI3fDis,7117
+bundle.py,sha256=O616zO-SY66J0v2d1NAr3S7cshSmUIAUiYX_sI_dMYo,1515
+git.py,sha256=7pnUlQlbF2YujjbS5v-8Ub5i6fOOIpJcBkRoLezjces,4055
+link.py,sha256=bfH0MhkeTFGbOSJbSvuuw3ilGX3akyvjvCw25AP_fz8,643
+main.py,sha256=3cJVQtGwmo3o_byIgCzdinvG4Z-KFaVHkbxQq-OjoTw,22865
+models.py,sha256=ApnfCO7CF5Nfdy5-ho7U-YRLWM-C3421fAT7GXa4Y30,2269
+session.py,sha256=3oe3GbAaA2ynjk-2DFsLvwlFUMwHNnUmTKkBrQo_8IE,6507
+assertion_cli_templates/ACTIVATION.md,sha256=kLaN23BxL7HmWYs0iqgZ6yI0dVPgoLFnFYvZnogebzo,3019
+assertion_cli_templates/SKILL.md,sha256=huOqBPZW-OJE8R4v9Vxe8WLwPc31dDkpInsb84HkWmQ,16003
+assertion_cli_templates/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+assertion_cli-0.5.4.dist-info/METADATA,sha256=v4ZxPl71KX-i6bXPlXxbbqWlU4Kel1xPFz8G1nE2sVA,1712
+assertion_cli-0.5.4.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
+assertion_cli-0.5.4.dist-info/entry_points.txt,sha256=LgwuPLZEIk-4sD7ghGVRQOhm3PG8sPVozMRxrihwMgU,34
+assertion_cli-0.5.4.dist-info/top_level.txt,sha256=xbZYH9xQOa99z-Vbkc2Xp6h8oUR97DVlyczy8H4ZuFc,64
+assertion_cli-0.5.4.dist-info/RECORD,,

assertion_cli_templates/ACTIVATION.md

@@ -7,14 +7,44 @@ This repo uses the Assertion CLI (`asrt`) to track user intent and verify your w
 
 Both files are byte-identical. Read whichever your agent loads (or either one directly). In brief, follow these three rules for every conversation:
 
-1. **Every user message:** call `asrt prompt "<exact text of the message>"` before doing any other work for that turn. This is the verifier's source of truth for what the user asked for and how their direction evolves. Apply to every user turn, not just the first.
-2. **Checkpoint at trajectory-feedback moments**, not on every small change. On the first checkpoint of a session, run `asrt stacks`, pick the stack that fits this repo and the work (use the stack's `repo`, `name`, `description`, plus folder/branch/README signals), then run `asrt checkpoint --stack <id> "<summary>"`. Subsequent checkpoints in the same session don't need `--stack` — `asrt checkpoint "<summary>"` auto-continues. A whole feature build is a handful of checkpoints, not one per file.
-3. **Verify at completion** with `asrt verify`. If feedback requires changes, iterate and re-verify — do **not** drop back into the checkpoint loop. Once verify is clean, open a PR and **embed the hidden Assertion session marker in its body** — this is required, not optional. The marker (`asrt get-link`) is an HTML comment GitHub hides from the rendered description but delivers to the Assertion GitHub bot, which uses it to link the PR to the verification when the branch name doesn't match:
+1. **Log every user message:** run `asrt prompt "<exact text>"` before anything else, on every turn — it's the verifier's record of intent.
+2. **Checkpoint at trajectory-feedback moments**, not every change. First checkpoint: `asrt stacks`, pick the stack that fits, then `asrt checkpoint --stack <id> "<summary>"`; later ones drop `--stack` and auto-continue. A feature build is a handful of checkpoints.
+3. **Verify at completion** with `asrt verify`. If feedback requires changes, iterate and re-verify — do **not** drop back into the checkpoint loop. Once verify is clean, open a PR — and that PR **must** carry the hidden Assertion session marker (see below).
 
-   ```
-   gh pr create --title "<title>" --body "$(printf '%s\n\n%s\n' '<one-paragraph why>' "$(asrt get-link)")"
-   ```
+---
 
-   If a PR already exists for the branch, add the marker with `gh pr edit --body` instead of opening a new one.
+## ⚠️ REQUIRED: every PR must embed the hidden session marker
 
-Do not open a PR without a clean `asrt verify`, and do not open one whose body omits the session marker.
+**This is the single most-missed step, and it is not optional.** A PR opened from an Assertion session that omits the marker cannot be linked back to its verification, so the work reads as unverified.
+
+The Assertion GitHub bot links a PR to its verification session by **branch name first**. When the branch name doesn't match the one you verified on (you renamed it, the head ref differs, etc.), the bot falls back to reading the marker. No marker → no fallback → no link.
+
+`asrt get-link` prints the marker as an HTML comment that GitHub hides from the rendered description but still delivers to the bot in the webhook payload:
+
+```
+<!-- assertion-session: https://app.tryassertion.com/sessions/<id> -->
+```
+
+**Open the PR with the marker embedded** — never paste the bare URL into the visible body; use the command so the format stays exact:
+
+```
+gh pr create --title "<title>" --body "$(printf '%s\n\n%s\n' '<one-paragraph why>' "$(asrt get-link)")"
+```
+
+If a PR already exists for the branch, add the marker instead of opening a new one:
+
+```
+gh pr edit --body "$(printf '%s\n\n%s\n' '<existing summary>' "$(asrt get-link)")"
+```
+
+**Then confirm it landed.** The marker won't show in the rendered description — that's expected — so verify it's in the raw body:
+
+```
+gh pr view --json body --jq .body | grep -q 'assertion-session:' && echo "marker present" || echo "MARKER MISSING — fix before continuing"
+```
+
+---
+
+## Hard gates (do not bypass)
+- **No PR whose body omits the session marker.** If `asrt get-link` has nothing to return, you haven't verified yet — go back to rule 3.
+- **Confirm the marker after creating/editing the PR** with the `gh pr view` check above. Treat a missing marker as a blocking error, not a warning.

assertion_cli_templates/SKILL.md

@@ -16,6 +16,8 @@ Before any `asrt` call:
 - You are inside a git repository.
 - `asrt init` has been run in this repo. It records the current HEAD as the diff base that every checkpoint/verify diffs against, and installs the skill files you are reading right now. If `asrt checkpoint` or `asrt verify` errors with "No diff base recorded", run `asrt init` and retry.
 
+**Starting a fresh session:** when beginning a new session, delete the contents of `.assertion/` first. This clears the previous session's in-flight state (metadata, prompts log, link) so a new session starts clean and anchors to the stack you pick on the first checkpoint. Only the user should do this — it resets the session.
+
 Treat `.assertion/metadata.json`, `.assertion/prompts`, and `.assertion/base_sha` as internal state owned by the CLI. Do not create, edit, or delete those files manually — use `asrt prompt` to append to the prompts log.
 
 `asrt stacks` is read-only and lists every verification stack in the user's workspace, along with the repo each is configured for. Run it once per session before your first checkpoint so you can pick a stack ID; do not hardcode IDs from memory.
@@ -179,7 +181,15 @@ EOF
 )"
 ```
 
-After creating or editing the PR, confirm the marker is in the raw body with `gh pr view --json body` — it won't show in the rendered description, and that's expected.
+**Enforce it — don't assume it landed.** Immediately after creating or editing the PR, confirm the marker is in the raw body (it won't show in the rendered description — that's expected):
+
+```
+gh pr view --json body --jq .body | grep -q 'assertion-session:' \
+  && echo "marker present" \
+  || { echo "MARKER MISSING — re-run gh pr edit with \$(asrt get-link) before continuing"; exit 1; }
+```
+
+A missing marker is a **blocking error**, not a warning: do not consider the PR step complete, and do not move on, until this check prints `marker present`. Re-run `gh pr edit` with `$(asrt get-link)` and re-check until it passes.
 
 **Do not open a PR without a clean `asrt verify` / `asrt verify-status`, and do not open one whose body omits the session marker.** Do not end a session with a failed/dirty verify unless the verification service itself is unavailable.
 
@@ -200,8 +210,6 @@ asrt get-link                                 # hidden PR marker — embed in th
 
 ## Environment
 
-- `ASSERTION_BASE_URL` — point the CLI at a non-default backend (default `http://localhost:8000`).
-
 ## Non-interactive / harness mode
 
 When running under a non-interactive harness (CI, benchmark runner, scripts):

git.py

@@ -120,6 +120,7 @@ def get_uncommitted_diff(repo_root: Path, base_sha: str) -> str:
         ]
 
         parts = [p for p in [tracked, "\n".join(untracked_diffs)] if p]
-        return "\n".join(parts)
+        diff = "\n".join(parts)
+        return diff + "\n" if diff else diff
     except RuntimeError as exc:
         exit_with_error(f"Failed to collect git diff: {exc}")

main.py

@@ -1,4 +1,5 @@
 import base64
+import importlib.metadata
 import importlib.resources
 import json
 import re
@@ -8,6 +9,27 @@ from pathlib import Path
 import httpx
 import typer
 
+
+_VERSION: str | None = None
+
+
+def _get_version() -> str:
+    global _VERSION
+    if _VERSION is not None:
+        return _VERSION
+    try:
+        _VERSION = importlib.metadata.version("assertion-cli")
+    except importlib.metadata.PackageNotFoundError:
+        pyproject = Path(__file__).resolve().parent / "pyproject.toml"
+        if pyproject.exists():
+            import tomllib
+
+            data = tomllib.loads(pyproject.read_text(encoding="utf-8"))
+            _VERSION = data["project"]["version"]
+        else:
+            _VERSION = "0.0.0"
+    return _VERSION
+
 from api import AssertionClient
 from bundle import build_bundle
 from git import (
@@ -52,8 +74,19 @@ def render_checkpoint_response(resp: CheckpointResponse) -> str:
 
 
 @app.callback(invoke_without_command=True)
-def main(ctx: typer.Context) -> None:
+def main(
+    ctx: typer.Context,
+    version: bool = typer.Option(
+        False,
+        "--version",
+        "-v",
+        help="Show version and exit.",
+    ),
+) -> None:
     """Assertion command group."""
+    if version:
+        typer.echo(f"assertion-cli {_get_version()}")
+        raise typer.Exit()
     if ctx.invoked_subcommand is None:
         typer.echo(ctx.get_help())
         raise typer.Exit(code=0)

assertion_cli-0.5.2.dist-info/RECORD

@@ -1,15 +0,0 @@
-api.py,sha256=AxwOMHenNpMBNMtkCg39WxDWqBpyrqGbzri4nI3fDis,7117
-bundle.py,sha256=O616zO-SY66J0v2d1NAr3S7cshSmUIAUiYX_sI_dMYo,1515
-git.py,sha256=nxIdwy4i9pQ-40BnFO4_sLOdQK3zUHsYG17cmXZj8uE,4010
-link.py,sha256=bfH0MhkeTFGbOSJbSvuuw3ilGX3akyvjvCw25AP_fz8,643
-main.py,sha256=VQW-kD93K39QSTOKDuVWGcjcT57PNCiB9c70UvKBVIU,22032
-models.py,sha256=ApnfCO7CF5Nfdy5-ho7U-YRLWM-C3421fAT7GXa4Y30,2269
-session.py,sha256=3oe3GbAaA2ynjk-2DFsLvwlFUMwHNnUmTKkBrQo_8IE,6507
-assertion_cli_templates/ACTIVATION.md,sha256=3zIuHvfXA-YVIdj3Dl9fCON6vlYjr5TW3bZW6DrY5VM,2132
-assertion_cli_templates/SKILL.md,sha256=aSo2xregb29oenhkojbLy3m9VHEqBv-v0NMZdGxhYcQ,15312
-assertion_cli_templates/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-assertion_cli-0.5.2.dist-info/METADATA,sha256=R_BdCo4dblw6m-OOiAO__JtD2m27ASoahVWZ5GmrZPs,1712
-assertion_cli-0.5.2.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
-assertion_cli-0.5.2.dist-info/entry_points.txt,sha256=LgwuPLZEIk-4sD7ghGVRQOhm3PG8sPVozMRxrihwMgU,34
-assertion_cli-0.5.2.dist-info/top_level.txt,sha256=xbZYH9xQOa99z-Vbkc2Xp6h8oUR97DVlyczy8H4ZuFc,64
-assertion_cli-0.5.2.dist-info/RECORD,,