Add steerable option to pdd sync + fix textual sync animation resize issues

CHANGELOG.md

@@ -1,9 +1,29 @@
+## v0.0.140 (2026-02-05)
+
+### Feat
+
+- Add comprehensive agentic workflow logging
+
+### Fix
+
+- Correct docstring to reference Step 10 instead of Step 5.5
+- Step 10 prompt now stages all files from files_to_stage, not just test files (#429)
+- Address Copilot review feedback on agentic logging tests
+- Auth logout shows success message when not authenticated (inconsistent with clear-cache)
+
+### Refactor
+
+- Address Copilot PR review comments
+
 ## v0.0.139 (2026-02-04)
 
 ### Fix
 
-- validate JWT token expiry in cloud E2E test skip check (#402)
-- Resolve agentic orchestrator context key and prompt formatting issues, improve E2E test skipping, and add package data sync deletions.
+- **test_cmd_test_main, test_fix_main**: Validate JWT token expiry when checking cloud credentials for E2E test skipping. Previously checked only for file existence; now uses `_get_cached_jwt()` to verify the token is not expired, preventing test failures with stale tokens.
+
+### Build
+
+- **.sync-config.yml**: Simplify test file patterns from 4 specific patterns to one recursive glob (`tests/**/*.py`). Ensures test subdirectories are included in package data sync. 3088 tests in public vs. 2,483.
 
 ## v0.0.138 (2026-02-03)
 

README.md

@@ -1,6 +1,6 @@
 # PDD (Prompt-Driven Development) Command Line Interface
 
-![PDD-CLI Version](https://img.shields.io/badge/pdd--cli-v0.0.139-blue) [![Discord](https://img.shields.io/badge/Discord-join%20chat-7289DA.svg?logo=discord&logoColor=white)](https://discord.gg/Yp4RTh8bG7)
+![PDD-CLI Version](https://img.shields.io/badge/pdd--cli-v0.0.140-blue) [![Discord](https://img.shields.io/badge/Discord-join%20chat-7289DA.svg?logo=discord&logoColor=white)](https://discord.gg/Yp4RTh8bG7)
 
 ## Introduction
 
@@ -367,7 +367,7 @@ export PDD_TEST_OUTPUT_PATH=/path/to/tests/
 
 ## Version
 
-Current version: 0.0.139
+Current version: 0.0.140
 
 To check your installed version, run:
 ```

examples/hello/.pdd/meta/hello_python.json

@@ -1,12 +1,12 @@
 {
-  "pdd_version": "0.0.129",
-  "timestamp": "2026-01-26T04:48:17.409528+00:00",
-  "command": "test_extend",
+  "pdd_version": "0.0.140",
+  "timestamp": "2026-02-06T05:34:33.478714+00:00",
+  "command": "test",
   "prompt_hash": "f8df355ee1c6e73a393a00c18232048a83fde694b33c472771246631a3724bf6",
-  "code_hash": "78974ec6c31e7981613eebfa51a65d6924e454af06545f8b0d4e6d397cea2505",
-  "example_hash": "e56e6ff0a51cb99e4df40ef97471946651c5d2fee85797611a910b723eb04418",
-  "test_hash": "d40dff068671e406bf0b4c99a052ec45f6d763abccd66d48c38248d8fd654de9",
+  "code_hash": "c85e92148d60665e9828e266ab41b764cf5a6c455a40bf187b53f4fbed8a78af",
+  "example_hash": "48aaaf809e7452223ccfd787bca259cdb98b99d56a6c8cda1765d6b6997ae3b3",
+  "test_hash": "8ce14028b3bc9de41f7c5cc1a13ae1f4c92b791b4070f5ca7cb2a0ba27fa0792",
   "test_files": {
-    "test_hello.py": "d40dff068671e406bf0b4c99a052ec45f6d763abccd66d48c38248d8fd654de9"
+    "test_hello.py": "8ce14028b3bc9de41f7c5cc1a13ae1f4c92b791b4070f5ca7cb2a0ba27fa0792"
   }
 }

examples/hello/.pdd/meta/hello_python_run.json

@@ -1,9 +1,9 @@
 {
-  "timestamp": "2026-02-03T06:03:13.211344+00:00",
+  "timestamp": "2026-02-06T05:34:33.478212+00:00",
   "exit_code": 0,
   "tests_passed": 1,
   "tests_failed": 0,
   "coverage": 0.0,
-  "test_hash": "bbfdeb8751089d6d0b25856e5c96bdcc792f661fed71fc1f731e3efe4309ca9d",
+  "test_hash": "8ce14028b3bc9de41f7c5cc1a13ae1f4c92b791b4070f5ca7cb2a0ba27fa0792",
   "test_files": null
 }

examples/hello/examples/hello_example.py

@@ -1,32 +1,25 @@
 import sys
 import os
 
-# The program is in examples/, the module is in src/
-# We need to go up one level from examples/ to the project root, then into src/
-current_dir = os.path.dirname(os.path.abspath(__file__))
-project_root = os.path.dirname(current_dir)
-src_dir = os.path.join(project_root, "src")
+# Add the src directory containing the module to the Python path
+module_dir = os.path.join(os.path.dirname(os.path.abspath(__file__)), '..', 'src')
+sys.path.append(module_dir)
 
-# Add the src directory to the Python path
-sys.path.append(src_dir)
-
-# Import hello from the hello.py file
 from hello import hello
 
-def main() -> None: 
+def run_example() -> None:
     """
-    Demonstrates how to import and call the hello function from the module.
-
-    Input Parameters:
-    - None
+    Demonstrates how to use the hello function from the module.
 
-    Output:
-    - Prints 'hello' to the standard output.
+    The hello function takes no input parameters and returns None.
+    It prints a greeting message directly to the standard output.
     """
-    print("Calling the hello function from the imported module:")
-    
-    # Execute the function defined in the module
+    print("--- Executing hello() from the module ---")
+
+    # Call the imported function
     hello()
 
+    print("--- Execution complete ---")
+
 if __name__ == "__main__":
-    main()
+    run_example()

examples/hello/src/hello.py

@@ -1,7 +1,5 @@
-from __future__ import annotations
-
 def hello() -> None:
-    """Prints 'hello' to standard output."""
+    """Prints a hello message to the console."""
     print("hello")
 
 if __name__ == "__main__":

examples/hello/tests/test_hello.py

@@ -1,155 +1,28 @@
-import sys
-import os
-import pytest
-from z3 import Solver, String, StringVal, Length, sat
-
-# Add the source directory to the path to import the module
-sys.path.insert(0, os.path.abspath(os.path.join(os.path.dirname(__file__), 'src')))
-
-try:
-    from hello import hello
-except ImportError:
-    # Fallback for environments where the src/hello.py structure isn't strictly followed
-    def hello():
-        print("hello")
-
-def test_hello_output(capsys):
-    """
-    Verifies that the hello function prints 'hello' to stdout.
-    """
-    # Act
-    hello()
-
-    # Assert
-    captured = capsys.readouterr()
-    # print() adds a newline by default
-    assert captured.out == "hello\n"
-    assert captured.err == ""
-
-def test_hello_return_value():
-    """
-    Verifies that the hello function returns None.
-    """
-    # Act
-    result = hello()
-
-    # Assert
-    assert result is None
-
-def test_hello_z3_properties(capsys):
-    """
-    Uses Z3 to formally verify properties of the hello output.
-    """
-    # Act
-    hello()
-    captured = capsys.readouterr()
-    actual_output = captured.out.strip() # Remove the newline for string content verification
+"""Tests for hello module.
 
-    # Z3 Setup
-    s = Solver()
-
-    # Define a Z3 String variable representing the output
-    z3_output = String('output')
-
-    # Constraint: The Z3 string variable must equal the actual string we got
-    s.add(z3_output == StringVal(actual_output))
-
-    # Formal Property 1: Length must be exactly 5
-    s.add(Length(z3_output) == 5)
-
-    # Formal Property 2: Content must match 'hello'
-    s.add(z3_output == StringVal("hello"))
-
-    # Check if these constraints are satisfiable
-    result = s.check()
-
-    assert str(result) == 'sat', "The output string did not satisfy formal constraints (length 5, content 'hello')"
+Verifies behavior defined in hello_python.prompt:
+- A python function 'hello' that prints "hello"
+"""
 
-def test_hello_main_block(capsys):
-    """
-    Verifies the output when the script is run as a main module.
-    This effectively tests the if __name__ == \"__main__\": block logic.
-    """
-    # Act
-    # We can simulate the __main__ block behavior by calling hello()
-    hello()
-    captured = capsys.readouterr()
-    assert "hello" in captured.out
+from io import StringIO
+from unittest.mock import patch
 
 import sys
 import os
-import pytest
-from z3 import Solver, String, StringVal, Length, sat
 
-# Add the source directory to the path to import the module
-sys.path.insert(0, os.path.abspath(os.path.join(os.path.dirname(__file__), 'src')))
+sys.path.insert(0, os.path.join(os.path.dirname(__file__), "..", "src"))
 
-try:
-    from hello import hello
-except ImportError:
-    # Fallback for environments where the src/hello.py structure isn't strictly followed
-    def hello():
-        print("hello")
+from hello import hello
 
-def test_hello_output(capsys):
-    """
-    Verifies that the hello function prints 'hello' to stdout.
-    """
-    # Act
-    hello()
-
-    # Assert
-    captured = capsys.readouterr()
-    # print() adds a newline by default
-    assert captured.out == "hello\n"
-    assert captured.err == ""
 
-def test_hello_return_value():
-    """
-    Verifies that the hello function returns None.
-    """
-    # Act
-    result = hello()
-
-    # Assert
-    assert result is None
+def test_hello_prints_hello():
+    """Test that hello() prints exactly 'hello'."""
+    with patch("sys.stdout", new_callable=StringIO) as mock_stdout:
+        hello()
+    assert mock_stdout.getvalue() == "hello\n"
 
-def test_hello_z3_properties(capsys):
-    """
-    Uses Z3 to formally verify properties of the hello output.
-    """
-    # Act
-    hello()
-    captured = capsys.readouterr()
-    actual_output = captured.out.strip() # Remove the newline for string content verification
 
-    # Z3 Setup
-    s = Solver()
-
-    # Define a Z3 String variable representing the output
-    z3_output = String('output')
-
-    # Constraint: The Z3 string variable must equal the actual string we got
-    s.add(z3_output == StringVal(actual_output))
-
-    # Formal Property 1: Length must be exactly 5
-    s.add(Length(z3_output) == 5)
-
-    # Formal Property 2: Content must match 'hello'
-    s.add(z3_output == StringVal("hello"))
-
-    # Check if these constraints are satisfiable
-    result = s.check()
-
-    assert str(result) == 'sat', "The output string did not satisfy formal constraints (length 5, content 'hello')"
-
-def test_hello_main_block(capsys):
-    """
-    Verifies the output when the script is run as a main module.
-    This effectively tests the if __name__ == \"__main__\": block logic.
-    """
-    # Act
-    # We can simulate the __main__ block behavior by calling hello()
-    hello()
-    captured = capsys.readouterr()
-    assert "hello" in captured.out
+def test_hello_returns_none():
+    """Test that hello() returns None."""
+    result = hello()
+    assert result is None

pdd/__init__.py

@@ -2,7 +2,7 @@
 
 import os
 
-__version__ = "0.0.139"
+__version__ = "0.0.140"
 
 # Strength parameter used for LLM extraction across the codebase
 # Used in postprocessing, XML tagging, code generation, and other extraction