Bump version

Author: gltanaka

CHANGELOG.md

@@ -1,9 +1,41 @@
+## v0.0.130 (2026-01-25)
+
+### Feat
+
+- Improve live status section in pdd connect UI
+- Improve pdd connect web UI per issue #398
+- Add agentic test generation for non-Python languages
+- Upgrade architecture generation and fix test file detection
+- **config**: resolve prompt_path via env and .pddrc (implements #18)
+- Set `PDD_MODEL_DEFAULT` for regression tests in Makefile and add `error_log.txt`.
+- Introduce new agentic features and critical bug fixes, and add an error log for iterative fix attempts.
+
+### Fix
+
+- Address Copilot review - add aria-label for accessibility
+- **construct_paths**: improve prompts_dir resolution logic to respect CLI and environment variable settings
+- malformed json for the architecture description in prompts
+- Handle double-brace escaped JSON in pdd-interface parsing
+
+### Refactor
+
+- **config**: update prompts_dir resolution to use only PDD_PROMPTS_DIR environment variable, without aliases
+
 ## v0.0.129 (2026-01-25)
 
 ### Feat
 
-- introduce and define "Direct Edits" for LLM agents and update orchestration to process them.
-- Implement robust agentic CLI discovery with .pddrc overrides, common path searching, and improved diagnostics.
+- **direct edits**: Agentic change workflow now supports scoped direct edits to files without prompts (e.g., frontend components). Step 6 discovers "Direct Edit Candidates" and Step 9 can uncomment code, remove placeholders, and remove temporary errors.
+- **agentic CLI discovery**: Robust CLI binary discovery addresses issue #234. Searches `.pddrc` config overrides, standard PATH, and common installation paths (npm-global, homebrew, nvm). Improved diagnostics when CLIs not found. Thanks Jiacheng Yin!
+- **delimiter extraction**: `pdd change` now extracts modified prompts using `<<<MODIFIED_PROMPT>>>` delimiters first (faster, cheaper), falling back to LLM extraction only when needed.
+- **integration point discovery**: Step 6 prompts now guide agents to find files that aggregate/register modules (e.g., `main.py`, routers) and detect cross-layer frontend/backend dependencies.
+
+### Fix
+
+- **empty output detection**: Empty LLM output is now always detected as false positive, regardless of cost (Issue #249).
+- **issue content escaping**: Escape curly braces in GitHub issue content to prevent `.format()` KeyError when issues contain code.
+- **stale state detection**: Workflows check `issue_updated_at` and restart fresh if the GitHub issue was modified since last run.
+- **empty prompt validation**: `process_csv_change` warns and skips when LLM returns empty content instead of writing empty files.
 
 ## v0.0.128 (2026-01-23)
 

Makefile

@@ -478,9 +478,9 @@ regression: ensure-dev-deps
 	@find staging/regression -type f ! -name ".*" -delete
 ifdef TEST_NUM
 	@echo "Running specific test: $(TEST_NUM)"
-	@PYTHONPATH=$(PDD_DIR):$$PYTHONPATH bash tests/regression.sh $(TEST_NUM)
+	@PDD_MODEL_DEFAULT=vertex_ai/gemini-3-flash-preview PYTHONPATH=$(PDD_DIR):$$PYTHONPATH bash tests/regression.sh $(TEST_NUM)
 else
-	@PYTHONPATH=$(PDD_DIR):$$PYTHONPATH bash tests/regression.sh
+	@PDD_MODEL_DEFAULT=vertex_ai/gemini-3-flash-preview PYTHONPATH=$(PDD_DIR):$$PYTHONPATH bash tests/regression.sh
 endif
 
 SYNC_PARALLEL ?= 1

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.129-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.130-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.129
+Current version: 0.0.130
 
 To check your installed version, run:
 ```

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

@@ -1,12 +1,12 @@
 {
-  "pdd_version": "0.0.126",
-  "timestamp": "2026-01-23T06:51:52.127863+00:00",
+  "pdd_version": "0.0.129",
+  "timestamp": "2026-01-26T04:48:17.409528+00:00",
   "command": "test_extend",
   "prompt_hash": "f8df355ee1c6e73a393a00c18232048a83fde694b33c472771246631a3724bf6",
-  "code_hash": "512c82ceca3096abf14bbbbffaf8489d0296c3cbe8109469e7899acc23f66c34",
-  "example_hash": "cc31d708c3b09340838139661a3d87bc78b219ab653ec7e457c39ffafffbdba3",
-  "test_hash": "9135091f89c0b50bf53e675220c671263803cf9e09f07434f93f1ecb9ad65ea8",
+  "code_hash": "78974ec6c31e7981613eebfa51a65d6924e454af06545f8b0d4e6d397cea2505",
+  "example_hash": "e56e6ff0a51cb99e4df40ef97471946651c5d2fee85797611a910b723eb04418",
+  "test_hash": "d40dff068671e406bf0b4c99a052ec45f6d763abccd66d48c38248d8fd654de9",
   "test_files": {
-    "test_hello.py": "9135091f89c0b50bf53e675220c671263803cf9e09f07434f93f1ecb9ad65ea8"
+    "test_hello.py": "d40dff068671e406bf0b4c99a052ec45f6d763abccd66d48c38248d8fd654de9"
   }
 }

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

@@ -1,11 +1,11 @@
 {
-  "timestamp": "2026-01-23T06:51:51.011082+00:00",
+  "timestamp": "2026-01-26T04:48:16.594917+00:00",
   "exit_code": 0,
-  "tests_passed": 3,
+  "tests_passed": 4,
   "tests_failed": 0,
   "coverage": 80.0,
-  "test_hash": "9135091f89c0b50bf53e675220c671263803cf9e09f07434f93f1ecb9ad65ea8",
+  "test_hash": "d40dff068671e406bf0b4c99a052ec45f6d763abccd66d48c38248d8fd654de9",
   "test_files": {
-    "test_hello.py": "9135091f89c0b50bf53e675220c671263803cf9e09f07434f93f1ecb9ad65ea8"
+    "test_hello.py": "d40dff068671e406bf0b4c99a052ec45f6d763abccd66d48c38248d8fd654de9"
   }
 }

examples/hello/examples/hello_example.py

@@ -1,41 +1,32 @@
 import sys
 import os
 
-# Add the directory containing the module to the Python path
-# This allows us to import the module regardless of where this script is run from
+# 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__))
-# Assuming the module is in the same directory or a known relative path
-# Adjust '..' or '.' as necessary based on actual file structure
-sys.path.append(current_dir)
+project_root = os.path.dirname(current_dir)
+src_dir = os.path.join(project_root, "src")
 
-# Import the specific function from the module
-# Note: Since the module name was not provided in the prompt metadata, 
-# we assume the file is named 'hello_module.py' for this example.
-# In a real scenario, replace 'hello_module' with the actual filename without extension.
-try:
-    from hello_module import hello
-except ImportError:
-    # Fallback for demonstration if the file isn't actually named hello_module
-    # This block handles the case where the code is pasted directly or the file is named differently
-    print("Could not import 'hello_module'. Defining mock for demonstration.")
-    def hello() -> None:
-        """Prints 'hello' to standard output."""
-        print("hello")
+# Add the src directory to the Python path
+sys.path.append(src_dir)
 
-def main() -> None:
+# Import hello from the hello.py file
+from hello import hello
+
+def main() -> None: 
     """
-    Demonstrates the usage of the hello() function.
+    Demonstrates how to import and call the hello function from the module.
+
+    Input Parameters:
+    - None
+
+    Output:
+    - Prints 'hello' to the standard output.
     """
-    print("Calling the hello function:")
-    print("-" * 20)
+    print("Calling the hello function from the imported module:")
 
-    # Call the function
-    # Input: None
-    # Output: Prints "hello" to stdout
+    # Execute the function defined in the module
     hello()
-    
-    print("-" * 20)
-    print("Function execution complete.")
 
 if __name__ == "__main__":
     main()

examples/hello/repo_root

@@ -1 +1 @@
-Subproject commit e740776ced133e85d6518e45127f1197c8878132
+Subproject commit 6fe3f33974583cd0321f4be905d971e18952f855

examples/hello/src/hello.py

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

examples/hello/tests/test_hello.py

@@ -1,80 +1,155 @@
-"""
-Test Plan:
+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')))
 
-1. Unit Test: test_hello_output
-   - Goal: Verify that the function prints exactly "hello" to standard output.
-   - Method: Use pytest's `capsys` fixture to capture stdout.
-   - Expected: Captured output should be "hello\n".
+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
 
-2. Unit Test: test_hello_return_value
-   - Goal: Verify that the function returns None (implicit return).
-   - Method: Call function and check return value.
-   - Expected: Return value is None.
+    # 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')"
 
-3. Z3 Formal Verification: test_hello_z3_trivial
-   - Goal: Demonstrate formal verification setup (though limited for pure I/O functions).
-   - Method: Prove that a function with no constraints is trivially satisfiable.
-   - Note: Z3 cannot directly verify 'print' statements, so this tests the logical consistency of the function execution path.
-"""
+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
 
 import sys
 import os
 import pytest
-from z3 import Solver, Bool, Implies, sat
+from z3 import Solver, String, StringVal, Length, sat
 
-# Add the source directory to the path to ensure imports work correctly
-# based on the provided file path: /Users/gregtanaka/Documents/pdd_cloud/pdd/examples/hello/src/hello.py
-sys.path.insert(0, os.path.abspath(os.path.join(os.path.dirname(__file__), '../src')))
+# 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 directory structure differs
-    def hello() -> None:
+    # Fallback for environments where the src/hello.py structure isn't strictly followed
+    def hello():
         print("hello")
 
-def test_hello_output(capsys: pytest.CaptureFixture) -> None:
+def test_hello_output(capsys):
     """
-    Verifies that hello() prints 'hello' to standard output.
+    Verifies that the hello function prints 'hello' to stdout.
     """
     # Act
     hello()
 
     # Assert
     captured = capsys.readouterr()
-    # print() in Python adds a newline by default
+    # print() adds a newline by default
     assert captured.out == "hello\n"
     assert captured.err == ""
 
-def test_hello_return_value() -> None:
+def test_hello_return_value():
     """
-    Verifies that hello() returns None.
+    Verifies that the hello function returns None.
     """
     # Act
     result = hello()
 
     # Assert
     assert result is None
 
-def test_hello_z3_trivial() -> None:
+def test_hello_z3_properties(capsys):
     """
-    A trivial Z3 test. Since the function has no inputs or logic branches,
-    we formally verify that the execution path is logically valid (satisfiable).
-    
-    We model the execution as:
-    Pre-condition: True
-    Post-condition: Execution_Success
+    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()
 
-    # Abstract boolean representing the function executing without crashing
-    execution_success = Bool('execution_success')
+    # 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))
 
-    # We assert that if the pre-condition (True) holds, execution_success must be possible
-    # In a real scenario, we would map inputs to constraints. Here, we just check satisfiability.
-    s.add(Implies(True, execution_success))
+    # Formal Property 1: Length must be exactly 5
+    s.add(Length(z3_output) == 5)
 
-    # Check if this model is valid
+    # Formal Property 2: Content must match 'hello'
+    s.add(z3_output == StringVal("hello"))
+    
+    # Check if these constraints are satisfiable
     result = s.check()
 
-    assert result == sat, "The trivial execution model should be satisfiable"
+    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

pdd/__init__.py

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