From 948d008211a5532e1189d146d4822156810ff372 Mon Sep 17 00:00:00 2001 From: Frank Bria <136862992+frankbria@users.noreply.github.com> Date: Tue, 27 Oct 2026 21:16:48 -0700 Subject: [PATCH] docs(cli): call PROOF9 regression memory in the CLI's own help cf --help listed the proof command as "PROOF9 quality memory system". The README, the site and the category line all say regression memory; the CLI was the last user-facing place that did not. Docstrings follow. Recorded cleanroom transcripts under scripts/quickstart-cleanroom/artifacts-* still show the old string and are deliberately untouched: they are captured output from real runs, and the next recorded run will show the new one. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019cEymaSpmZ1arjngxx1VNM --- codeframe/cli/proof_commands.py | 4 ++-- codeframe/core/proof/__init__.py | 2 +- tests/core/test_proof9.py | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/codeframe/cli/proof_commands.py b/codeframe/cli/proof_commands.py index d0c1290a0..6c68bf57a 100644 --- a/codeframe/cli/proof_commands.py +++ b/codeframe/cli/proof_commands.py @@ -1,4 +1,4 @@ -"""CLI commands for PROOF9 quality memory system. +"""CLI commands for the PROOF9 regression memory system. Provides `cf proof` subcommands for capturing requirements, running their checks, managing waivers, and viewing status. @@ -31,7 +31,7 @@ proof_app = typer.Typer( name="proof", - help="PROOF9 quality memory system — evidence-based verification", + help="PROOF9 regression memory — evidence-based verification", no_args_is_help=True, ) diff --git a/codeframe/core/proof/__init__.py b/codeframe/core/proof/__init__.py index 9e6226a29..1240a1c3f 100644 --- a/codeframe/core/proof/__init__.py +++ b/codeframe/core/proof/__init__.py @@ -1,4 +1,4 @@ -"""PROOF9: Quality memory system with evidence-based verification. +"""PROOF9: regression memory with evidence-based verification. Turns every failure into a permanent proof obligation. Requirements are tracked in a ledger, obligations are enforced on every run, and evidence diff --git a/tests/core/test_proof9.py b/tests/core/test_proof9.py index 60454cf84..8a6f55329 100644 --- a/tests/core/test_proof9.py +++ b/tests/core/test_proof9.py @@ -1,4 +1,4 @@ -"""Tests for PROOF9 quality memory system. +"""Tests for the PROOF9 regression memory system. Covers models, ledger CRUD, obligation mapping, scope intersection, evidence attachment, capture flow, runner, waivers, and CLI commands.