@voodocs/cli 2.2.1 → 2.2.2

package/examples/instructions/VOODOCS_INSTRUCTIONS.md

@@ -1,17 +1,16 @@
-# Voodocs Instructions for Generic AI Assistant
+# VooDocs Instructions for Generic AI Assistant
 
-**Project**: Voodocs Example Project  
-**Generated**: Automatically by Voodocs  
+**Project**: VooDocs Example Project  
+**Generated**: Automatically by VooDocs  
 **Purpose**: Guide AI assistants to document code using @voodocs annotations
 
 ---
 
 ## Overview
 
-Voodocs is an AI-native documentation system that allows you to document code in **DarkArts language** - a mathematical and logical notation that AI naturally understands. Your annotations will be automatically translated into human-readable documentation, property-based tests, and API specifications.
+VooDocs is an AI-native documentation system that allows you to document code in **DarkArts language** - a mathematical and logical notation that AI naturally understands. Your annotations will be automatically translated into human-readable documentation, property-based tests, and API specifications.
 
 **Key Benefits:**
-
 - Document in AI's native language (mathematical notation)
 - Automatic generation of comprehensive tests
 - Property-based testing with Hypothesis
@@ -23,7 +22,7 @@ As an AI coding assistant, you should add `@voodocs` annotations to **every sign
 
 ## Core Principles
 
-When writing code with Voodocs annotations, follow these principles:
+When writing code with VooDocs annotations, follow these principles:
 
 1. **Annotate as you code** - Add `@voodocs` annotations immediately when creating functions/classes
 2. **Be precise** - Use mathematical notation for exact specifications
@@ -62,33 +61,33 @@ class ClassName:
 
 ### For Functions/Methods
 
-| Field                   | Required    | Description                                   | Example                                                        |
-| ----------------------- | ----------- | --------------------------------------------- | -------------------------------------------------------------- |
-| `preconditions`         | Recommended | Conditions that must be true before execution | `["x > 0", "user is authenticated"]`                           |
-| `postconditions`        | Recommended | Conditions guaranteed after execution         | `["result > 0", "database updated"]`                           |
-| `complexity`            | Recommended | Time/space complexity                         | `"O(n log n)"` or `"O(n)"`                                     |
-| `invariants`            | Optional    | Properties that remain unchanged              | `["∀ x: x ∈ original_set ⇒ x ∈ result_set"]`                   |
-| `error_cases`           | Optional    | Error conditions and exceptions               | `["x < 0 → ValueError", "file not found → FileNotFoundError"]` |
-| `side_effects`          | Optional    | External changes made                         | `["Writes to database", "Sends email"]`                        |
-| `security_implications` | Optional    | Security considerations                       | `["Requires admin role", "Rate limited"]`                      |
-| `assumptions`           | Optional    | Environmental assumptions                     | `["Database is available", "Network is stable"]`               |
+| Field | Required | Description | Example |
+|-------|----------|-------------|---------|
+| `preconditions` | Recommended | Conditions that must be true before execution | `["x > 0", "user is authenticated"]` |
+| `postconditions` | Recommended | Conditions guaranteed after execution | `["result > 0", "database updated"]` |
+| `complexity` | Recommended | Time/space complexity | `"O(n log n)"` or `"O(n)"` |
+| `invariants` | Optional | Properties that remain unchanged | `["∀ x: x ∈ original_set ⇒ x ∈ result_set"]` |
+| `error_cases` | Optional | Error conditions and exceptions | `["x < 0 → ValueError", "file not found → FileNotFoundError"]` |
+| `side_effects` | Optional | External changes made | `["Writes to database", "Sends email"]` |
+| `security_implications` | Optional | Security considerations | `["Requires admin role", "Rate limited"]` |
+| `assumptions` | Optional | Environmental assumptions | `["Database is available", "Network is stable"]` |
 
 ### For Classes
 
-| Field               | Description                 | Example                                            |
-| ------------------- | --------------------------- | -------------------------------------------------- |
-| `class_invariants`  | Properties that always hold | `["∀ item ∈ queue: item.status ∈ VALID_STATUSES"]` |
-| `state_transitions` | Valid state changes         | `["IDLE → PROCESSING", "PROCESSING → COMPLETE"]`   |
-| `thread_safety`     | Concurrency safety          | `"Thread-safe with mutex"` or `"Not thread-safe"`  |
+| Field | Description | Example |
+|-------|-------------|---------|
+| `class_invariants` | Properties that always hold | `["∀ item ∈ queue: item.status ∈ VALID_STATUSES"]` |
+| `state_transitions` | Valid state changes | `["IDLE → PROCESSING", "PROCESSING → COMPLETE"]` |
+| `thread_safety` | Concurrency safety | `"Thread-safe with mutex"` or `"Not thread-safe"` |
 
 ### For Modules
 
-| Field            | Description                   | Example                                       |
-| ---------------- | ----------------------------- | --------------------------------------------- |
-| `module_purpose` | High-level module description | `"User authentication and authorization"`     |
-| `dependencies`   | External dependencies         | `["@supabase/supabase-js", "bcrypt"]`         |
-| `assumptions`    | Module-level assumptions      | `["Database schema v2.0", "Redis available"]` |
-| `security_model` | Overall security approach     | `"Defense in depth - fails closed"`           |
+| Field | Description | Example |
+|-------|-------------|---------|
+| `module_purpose` | High-level module description | `"User authentication and authorization"` |
+| `dependencies` | External dependencies | `["@supabase/supabase-js", "bcrypt"]` |
+| `assumptions` | Module-level assumptions | `["Database schema v2.0", "Redis available"]` |
+| `security_model` | Overall security approach | `"Defense in depth - fails closed"` |
 
 ## DarkArts Language Guide
 
@@ -96,49 +95,49 @@ DarkArts is a mathematical notation language for precise specifications. Use the
 
 ### Logical Operators
 
-| Symbol | Meaning        | Example                        |
-| ------ | -------------- | ------------------------------ |
-| `∧`    | AND            | `x > 0 ∧ y > 0`                |
-| `∨`    | OR             | `x = 0 ∨ y = 0`                |
-| `¬`    | NOT            | `¬(x < 0)`                     |
-| `⇒`    | IMPLIES        | `x > 0 ⇒ result > 0`           |
-| `⇔`    | IF AND ONLY IF | `result = true ⇔ user.isAdmin` |
+| Symbol | Meaning | Example |
+|--------|---------|---------|
+| `∧` | AND | `x > 0 ∧ y > 0` |
+| `∨` | OR | `x = 0 ∨ y = 0` |
+| `¬` | NOT | `¬(x < 0)` |
+| `⇒` | IMPLIES | `x > 0 ⇒ result > 0` |
+| `⇔` | IF AND ONLY IF | `result = true ⇔ user.isAdmin` |
 
 ### Quantifiers
 
-| Symbol | Meaning      | Example                   |
-| ------ | ------------ | ------------------------- |
-| `∀`    | FOR ALL      | `∀ x ∈ items: x > 0`      |
-| `∃`    | THERE EXISTS | `∃ x ∈ items: x = target` |
+| Symbol | Meaning | Example |
+|--------|---------|---------|
+| `∀` | FOR ALL | `∀ x ∈ items: x > 0` |
+| `∃` | THERE EXISTS | `∃ x ∈ items: x = target` |
 
 ### Set Operations
 
-| Symbol | Meaning         | Example                |
-| ------ | --------------- | ---------------------- |
-| `∈`    | IN / ELEMENT OF | `x ∈ valid_values`     |
-| `∉`    | NOT IN          | `x ∉ blacklist`        |
-| `⊆`    | SUBSET OF       | `result ⊆ input`       |
-| `∪`    | UNION           | `result = set1 ∪ set2` |
-| `∩`    | INTERSECTION    | `common = set1 ∩ set2` |
+| Symbol | Meaning | Example |
+|--------|---------|---------|
+| `∈` | IN / ELEMENT OF | `x ∈ valid_values` |
+| `∉` | NOT IN | `x ∉ blacklist` |
+| `⊆` | SUBSET OF | `result ⊆ input` |
+| `∪` | UNION | `result = set1 ∪ set2` |
+| `∩` | INTERSECTION | `common = set1 ∩ set2` |
 
 ### Comparisons
 
-| Symbol | Meaning               | Example             |
-| ------ | --------------------- | ------------------- |
-| `≥`    | GREATER THAN OR EQUAL | `x ≥ 0`             |
-| `≤`    | LESS THAN OR EQUAL    | `x ≤ 100`           |
-| `≠`    | NOT EQUAL             | `x ≠ 0`             |
-| `≈`    | APPROXIMATELY EQUAL   | `result ≈ expected` |
+| Symbol | Meaning | Example |
+|--------|---------|---------|
+| `≥` | GREATER THAN OR EQUAL | `x ≥ 0` |
+| `≤` | LESS THAN OR EQUAL | `x ≤ 100` |
+| `≠` | NOT EQUAL | `x ≠ 0` |
+| `≈` | APPROXIMATELY EQUAL | `result ≈ expected` |
 
 ### Number Sets
 
-| Symbol | Meaning                        | Example |
-| ------ | ------------------------------ | ------- |
-| `ℕ`    | Natural numbers (0, 1, 2, ...) | `n ∈ ℕ` |
-| `ℤ`    | Integers (..., -1, 0, 1, ...)  | `x ∈ ℤ` |
-| `ℝ`    | Real numbers                   | `x ∈ ℝ` |
+| Symbol | Meaning | Example |
+|--------|---------|---------|
+| `ℕ` | Natural numbers (0, 1, 2, ...) | `n ∈ ℕ` |
+| `ℤ` | Integers (..., -1, 0, 1, ...) | `x ∈ ℤ` |
+| `ℝ` | Real numbers | `x ∈ ℝ` |
 
-**Tip**: You can use plain English too! Voodocs understands both mathematical notation and natural language. Mix them for clarity.
+**Tip**: You can use plain English too! VooDocs understands both mathematical notation and natural language. Mix them for clarity.
 
 ## Examples
 
@@ -168,7 +167,7 @@ def calculate_discount(price: float, discount_percent: float) -> float:
         raise ValueError("Price must be positive")
     if not 0 <= discount_percent <= 100:
         raise ValueError("Discount must be between 0 and 100")
-
+    
     return price * (1 - discount_percent / 100)
 ```
 
@@ -220,12 +219,12 @@ class BankAccount:
     ]
     thread_safety: "Thread-safe with account-level mutex"
     """
-
+    
     def __init__(self, account_id: str):
         self.balance = 0.0
         self.transactions = []
         self.status = "PENDING"
-
+    
     def deposit(self, amount: float) -> bool:
         """@voodocs
         preconditions: [
@@ -315,7 +314,7 @@ complexity: "O(1)"
 """
 ```
 
-Voodocs generates:
+VooDocs generates:
 
 ```python
 # Generated test
@@ -333,7 +332,6 @@ def test_property_based_add(x, y):
 ### 1. Be Specific with Preconditions
 
 **Good:**
-
 ```python
 preconditions: [
     "amount > 0",
@@ -343,7 +341,6 @@ preconditions: [
 ```
 
 **Avoid:**
-
 ```python
 preconditions: ["valid input"]  # Too vague
 ```
@@ -351,7 +348,6 @@ preconditions: ["valid input"]  # Too vague
 ### 2. Use Mathematical Notation for Precision
 
 **Good:**
-
 ```python
 postconditions: [
     "∀ x ∈ result: x ∈ input",  # All results are from input
@@ -360,7 +356,6 @@ postconditions: [
 ```
 
 **Avoid:**
-
 ```python
 postconditions: ["returns filtered list"]  # Imprecise
 ```
@@ -368,21 +363,18 @@ postconditions: ["returns filtered list"]  # Imprecise
 ### 3. Always Specify Complexity
 
 **Good:**
-
 ```python
 complexity: "O(n log n)"
 ```
 
 **Also Good:**
-
 ```python
-complexity: "O(n)"  # Voodocs infers space as O(1)
+complexity: "O(n)"  # VooDocs infers space as O(1)
 ```
 
 ### 4. Document Security Implications
 
 **Good:**
-
 ```python
 security_implications: [
     "Requires admin role",
@@ -394,7 +386,6 @@ security_implications: [
 ### 5. Specify Error Cases
 
 **Good:**
-
 ```python
 error_cases: [
     "amount <= 0 → ValueError",
@@ -406,7 +397,6 @@ error_cases: [
 ### 6. Use Invariants for Loops and Recursion
 
 **Good:**
-
 ```python
 invariants: [
     "∀ iteration: 0 <= i < len(arr)",
@@ -417,7 +407,6 @@ invariants: [
 ### 7. Document Side Effects
 
 **Good:**
-
 ```python
 side_effects: [
     "Writes to database",
@@ -427,7 +416,6 @@ side_effects: [
 ```
 
 **Avoid:**
-
 ```python
 side_effects: ["Does stuff"]  # Too vague
 ```
@@ -446,4 +434,4 @@ side_effects: ["Does stuff"]  # Too vague
 
 By documenting in DarkArts language, you're not just writing comments - you're creating a **formal specification** that generates tests, documentation, and API specs automatically.
 
-**Generated by Voodocs** - AI-native documentation for modern development.
+**Generated by VooDocs** - AI-native documentation for modern development.

package/examples/math_example.py

@@ -1,5 +1,5 @@
 """
-Example module demonstrating Voodocs annotations and generated tests.
+Example module demonstrating VooDocs annotations and generated tests.
 """
 
 def add_positive(x: int, y: int) -> int:

package/examples/phase2_test.py

@@ -1,5 +1,5 @@
 """
-Test file for Voodocs Phase 2 improvements.
+Test file for VooDocs Phase 2 improvements.
 """
 
 def fully_annotated_function(a: int, b: int) -> int:

package/examples/test_function_invariants.py

@@ -1,5 +1,5 @@
 """
-Example demonstrating function-level invariants in Voodocs.
+Example demonstrating function-level invariants in VooDocs.
 
 This file shows how to use invariants at the function level to document
 properties that must hold throughout the function's execution.

package/lib/cli/__init__.py

@@ -8,9 +8,9 @@
 """
 
 """
-Voodocs CLI - Main entry point
+VooDocs CLI - Main entry point
 
-This module provides the command-line interface for Voodocs.
+This module provides the command-line interface for VooDocs.
 """
 
 import click
@@ -24,7 +24,7 @@ __version__ = "2.1.3"
 @click.pass_context
 def cli(ctx):
     """
-    Voodocs - AI-Native Symbolic Documentation System
+    VooDocs - AI-Native Symbolic Documentation System
     
     Generate and validate @darkarts symbolic annotations in your codebase.
     

package/lib/cli/benchmark.py

@@ -8,7 +8,7 @@
 """
 
 """
-Voodocs CLI - Benchmark Command
+VooDocs CLI - Benchmark Command
 
 Runs performance benchmarks to validate complexity claims in @darkarts annotations.
 """
@@ -222,7 +222,7 @@ def _generate_html_report(results: Dict[str, Any]) -> str:
     html = f"""<!DOCTYPE html>
 <html>
 <head>
-    <title>Voodocs Benchmark Report</title>
+    <title>VooDocs Benchmark Report</title>
     <style>
         body {{ font-family: Arial, sans-serif; margin: 40px; background: #f5f5f5; }}
         .container {{ max-width: 1200px; margin: 0 auto; background: white; padding: 30px; border-radius: 8px; box-shadow: 0 2px 4px rgba(0,0,0,0.1); }}
@@ -242,7 +242,7 @@ def _generate_html_report(results: Dict[str, Any]) -> str:
 </head>
 <body>
     <div class="container">
-        <h1>📊 Voodocs Benchmark Report</h1>
+        <h1>📊 VooDocs Benchmark Report</h1>
         
         <div class="summary">
             <div class="metric">

package/lib/cli/context.py

@@ -8,7 +8,7 @@
 """
 
 """
-Voodocs CLI - Context Command
+VooDocs CLI - Context Command
 
 Manages AI context files generated from @darkarts annotations.
 """

package/lib/cli/fix.py

@@ -8,7 +8,7 @@
 """
 
 """
-Voodocs CLI - Fix Command
+VooDocs CLI - Fix Command
 
 Automatically fixes validation issues in @darkarts annotations.
 """

package/lib/cli/generate.py

@@ -8,7 +8,7 @@
 """
 
 """
-Voodocs CLI - Generate Command
+VooDocs CLI - Generate Command
 
 Generates documentation from @darkarts annotations.
 """

package/lib/cli/init.py

@@ -8,9 +8,9 @@
 """
 
 """
-Voodocs Init Command
+VooDocs Init Command
 
-Interactive wizard to initialize or upgrade a project with Voodocs.
+Interactive wizard to initialize or upgrade a project with VooDocs.
 Re-runnable to add missing features after upgrades.
 """
 
@@ -35,7 +35,7 @@ from typing import Optional, Dict, Any
 )
 def init(non_interactive, upgrade):
     """
-    Initialize or upgrade a project with Voodocs.
+    Initialize or upgrade a project with VooDocs.
     
     This interactive wizard will:
     - Set up your project configuration
@@ -70,14 +70,14 @@ def init(non_interactive, upgrade):
     click.echo()
     if is_upgrade:
         click.echo(click.style('╔══════════════════════════════════════════╗', fg='yellow', bold=True))
-        click.echo(click.style('║   🔄 Voodocs Upgrade Wizard             ║', fg='yellow', bold=True))
+        click.echo(click.style('║   🔄 VooDocs Upgrade Wizard             ║', fg='yellow', bold=True))
         click.echo(click.style('╚══════════════════════════════════════════╝', fg='yellow', bold=True))
         click.echo()
         click.echo(click.style('Existing configuration detected!', fg='yellow'))
         click.echo('This wizard will help you add any missing features.')
     else:
         click.echo(click.style('╔══════════════════════════════════════════╗', fg='cyan', bold=True))
-        click.echo(click.style('║   🎉 Welcome to Voodocs Setup Wizard   ║', fg='cyan', bold=True))
+        click.echo(click.style('║   🎉 Welcome to VooDocs Setup Wizard   ║', fg='cyan', bold=True))
         click.echo(click.style('╚══════════════════════════════════════════╝', fg='cyan', bold=True))
     click.echo()
     
@@ -361,11 +361,11 @@ def init(non_interactive, upgrade):
     click.echo()
     if is_upgrade:
         click.echo(click.style('╔══════════════════════════════════════════╗', fg='green', bold=True))
-        click.echo(click.style('║   ✅ Voodocs Upgrade Complete!         ║', fg='green', bold=True))
+        click.echo(click.style('║   ✅ VooDocs Upgrade Complete!         ║', fg='green', bold=True))
         click.echo(click.style('╚══════════════════════════════════════════╝', fg='green', bold=True))
     else:
         click.echo(click.style('╔══════════════════════════════════════════╗', fg='green', bold=True))
-        click.echo(click.style('║   🎉 Voodocs Setup Complete!           ║', fg='green', bold=True))
+        click.echo(click.style('║   🎉 VooDocs Setup Complete!           ║', fg='green', bold=True))
         click.echo(click.style('╚══════════════════════════════════════════╝', fg='green', bold=True))
     click.echo()
     click.echo(click.style('Next steps:', fg='cyan', bold=True))
@@ -532,7 +532,7 @@ def _add_to_gitignore(cwd: Path, entry: str):
     
     if content and not content.endswith('\n'):
         content += '\n'
-    content += f'\n# Voodocs\n{entry}\n'
+    content += f'\n# VooDocs\n{entry}\n'
     
     gitignore.write_text(content)
 
@@ -648,10 +648,10 @@ def _install_git_hooks(cwd: Path):
     pre_commit_hook = hooks_dir / 'pre-commit'
     
     hook_content = '''#!/bin/sh
-# Voodocs auto-update hook
+# VooDocs auto-update hook
 # Updates context files before commit
 
-echo "🔄 Updating Voodocs context..."
+echo "🔄 Updating VooDocs context..."
 voodocs generate --quiet 2>&1 || true
 git add context/
 

package/lib/cli/instruct.py

@@ -8,7 +8,7 @@
 """
 
 """
-Voodocs Instruct Command
+VooDocs Instruct Command
 
 Generate AI-specific instructions for writing @darkarts annotations.
 """

package/lib/cli/validate.py

@@ -8,7 +8,7 @@
 """
 
 """
-Voodocs CLI - Validate Command
+VooDocs CLI - Validate Command
 
 Validates @darkarts annotations in Python files.
 """
@@ -309,7 +309,7 @@ def display_html_results(
 <!DOCTYPE html>
 <html>
 <head>
-    <title>Voodocs Validation Report</title>
+    <title>VooDocs Validation Report</title>
     <style>
         body { font-family: Arial, sans-serif; margin: 20px; }
         h1 { color: #333; }
@@ -319,7 +319,7 @@ def display_html_results(
     </style>
 </head>
 <body>
-    <h1>Voodocs Validation Report</h1>
+    <h1>VooDocs Validation Report</h1>
     
     <h2>Semantic Validation</h2>
 """