diff --git a/codeframe/cli/proof_commands.py b/codeframe/cli/proof_commands.py index d0c1290a..6c68bf57 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 9e6226a2..1240a1c3 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 60454cf8..8a6f5532 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.