Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions codeframe/cli/proof_commands.py
Original file line number Diff line number Diff line change
@@ -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.
Expand Down Expand Up @@ -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,
)

Expand Down
2 changes: 1 addition & 1 deletion codeframe/core/proof/__init__.py
Original file line number Diff line number Diff line change
@@ -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
Expand Down
2 changes: 1 addition & 1 deletion tests/core/test_proof9.py
Original file line number Diff line number Diff line change
@@ -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.
Expand Down
Loading