dogfooding

Author: antonsynd

dogfood_output/SUMMARY.md

@@ -0,0 +1,26 @@
+# Dogfooding Summary Report
+
+**Generated:** 2026-01-18T18:37:49.193253
+
+## Overall Statistics
+
+- **Total Iterations:** 10
+- **Successful:** 6 (60.0%)
+- **Failed:** 3 (30.0%)
+- **Skipped:** 1 (10.0%)
+
+## Issues by Type
+
+- **compilation_failed:** 2
+- **output_mismatch:** 1
+- **skipped:** 1
+
+## Recent Failures
+
+- [compilation_failed](/Users/anton/Documents/github/sharpy/dogfood_output/issues/20260118_183610_compilation_failed_0000) - type_alias/medium - 26.0s
+- [output_mismatch](/Users/anton/Documents/github/sharpy/dogfood_output/issues/20260118_183709_output_mismatch_0001) - access_modifiers/complex - 37.2s
+- [compilation_failed](/Users/anton/Documents/github/sharpy/dogfood_output/issues/20260118_183726_compilation_failed_0002) - class_with_init/complex - 17.3s
+
+## Recent Skips
+
+- module_imports/complex - calculator.spy invalid per spec

dogfood_output/issues/20260118_183610_compilation_failed_0000/README.md

@@ -0,0 +1,95 @@
+# Issue Report: compilation_failed
+
+**Timestamp:** 2026-01-18T18:35:44.558122
+**Type:** compilation_failed
+**Feature Focus:** type_alias
+**Complexity:** medium
+**Backend:** claude
+
+## Generated Sharpy Code
+
+```python
+# Test type aliases with different scenarios
+# Using type aliases for primitive types and classes
+
+type UserId = int
+type Temperature = float
+type Message = str
+
+class User:
+    id: UserId
+    name: str
+    
+    def __init__(self, user_id: UserId, user_name: str):
+        self.id = user_id
+        self.name = user_name
+    
+    def get_id(self) -> UserId:
+        return self.id
+
+class WeatherStation:
+    current_temp: Temperature
+    
+    def __init__(self, temp: Temperature):
+        self.current_temp = temp
+    
+    def update_temperature(self, new_temp: Temperature) -> None:
+        self.current_temp = new_temp
+    
+    def get_temperature(self) -> Temperature:
+        return self.current_temp
+
+def process_user_id(uid: UserId) -> UserId:
+    return uid + 1000
+
+def format_message(msg: Message, code: UserId) -> Message:
+    return msg
+
+def float_to_int(val: float) -> int:
+    if val >= 0.0:
+        return int(val)
+    return int(val)
+
+# Test with User class
+user: User = User(42, "Alice")
+print(user.get_id())
+
+new_id: UserId = process_user_id(user.id)
+print(new_id)
+
+# Test with WeatherStation class
+station: WeatherStation = WeatherStation(23.5)
+temp1: int = float_to_int(station.get_temperature())
+print(temp1)
+
+station.update_temperature(25.8)
+temp2: int = float_to_int(station.get_temperature())
+print(temp2)
+
+# Test with simple variables
+temp_reading: Temperature = 18.3
+temp3: int = float_to_int(temp_reading)
+print(temp3)
+
+# EXPECTED OUTPUT:
+# 42
+# 1042
+# 23
+# 25
+# 18
+```
+
+## Error
+
+```
+Assembly compilation failed:
+  dogfood_test.cs(67,28): error CS0102: The type 'Program' already contains a definition for 'User'
+  dogfood_test.cs(68,49): error CS0229: Ambiguity between 'Program.User' and 'Program.User'
+  dogfood_test.cs(76,47): error CS0229: Ambiguity between 'Program.User' and 'Program.User'
+
+```
+
+## Timing
+
+- Generation: 12.19s
+- Execution: 1.49s

dogfood_output/issues/20260118_183610_compilation_failed_0000/error.txt

@@ -0,0 +1,4 @@
+Assembly compilation failed:
+  dogfood_test.cs(67,28): error CS0102: The type 'Program' already contains a definition for 'User'
+  dogfood_test.cs(68,49): error CS0229: Ambiguity between 'Program.User' and 'Program.User'
+  dogfood_test.cs(76,47): error CS0229: Ambiguity between 'Program.User' and 'Program.User'

dogfood_output/issues/20260118_183610_compilation_failed_0000/expected_output.txt

@@ -0,0 +1,5 @@
+42
+1042
+23
+25
+18

dogfood_output/issues/20260118_183610_compilation_failed_0000/metadata.json

@@ -0,0 +1,18 @@
+{
+  "issue_type": "compilation_failed",
+  "timestamp": "2026-01-18T18:35:44.558122",
+  "generated_code": "# Test type aliases with different scenarios\n# Using type aliases for primitive types and classes\n\ntype UserId = int\ntype Temperature = float\ntype Message = str\n\nclass User:\n    id: UserId\n    name: str\n    \n    def __init__(self, user_id: UserId, user_name: str):\n        self.id = user_id\n        self.name = user_name\n    \n    def get_id(self) -> UserId:\n        return self.id\n\nclass WeatherStation:\n    current_temp: Temperature\n    \n    def __init__(self, temp: Temperature):\n        self.current_temp = temp\n    \n    def update_temperature(self, new_temp: Temperature) -> None:\n        self.current_temp = new_temp\n    \n    def get_temperature(self) -> Temperature:\n        return self.current_temp\n\ndef process_user_id(uid: UserId) -> UserId:\n    return uid + 1000\n\ndef format_message(msg: Message, code: UserId) -> Message:\n    return msg\n\ndef float_to_int(val: float) -> int:\n    if val >= 0.0:\n        return int(val)\n    return int(val)\n\n# Test with User class\nuser: User = User(42, \"Alice\")\nprint(user.get_id())\n\nnew_id: UserId = process_user_id(user.id)\nprint(new_id)\n\n# Test with WeatherStation class\nstation: WeatherStation = WeatherStation(23.5)\ntemp1: int = float_to_int(station.get_temperature())\nprint(temp1)\n\nstation.update_temperature(25.8)\ntemp2: int = float_to_int(station.get_temperature())\nprint(temp2)\n\n# Test with simple variables\ntemp_reading: Temperature = 18.3\ntemp3: int = float_to_int(temp_reading)\nprint(temp3)\n\n# EXPECTED OUTPUT:\n# 42\n# 1042\n# 23\n# 25\n# 18",
+  "expected_output": "42\n1042\n23\n25\n18\n",
+  "actual_output": null,
+  "error_message": "Assembly compilation failed:\n  dogfood_test.cs(67,28): error CS0102: The type 'Program' already contains a definition for 'User'\n  dogfood_test.cs(68,49): error CS0229: Ambiguity between 'Program.User' and 'Program.User'\n  dogfood_test.cs(76,47): error CS0229: Ambiguity between 'Program.User' and 'Program.User'\n",
+  "compiler_output": "",
+  "generated_cs": null,
+  "validation_result": null,
+  "feature_focus": "type_alias",
+  "complexity": "medium",
+  "backend_used": "claude",
+  "generation_duration": 12.188236951828003,
+  "compilation_duration": null,
+  "execution_duration": 1.4870212078094482,
+  "source_files": null
+}

dogfood_output/issues/20260118_183610_compilation_failed_0000/source.spy

@@ -0,0 +1,68 @@
+# Test type aliases with different scenarios
+# Using type aliases for primitive types and classes
+
+type UserId = int
+type Temperature = float
+type Message = str
+
+class User:
+    id: UserId
+    name: str
+    
+    def __init__(self, user_id: UserId, user_name: str):
+        self.id = user_id
+        self.name = user_name
+    
+    def get_id(self) -> UserId:
+        return self.id
+
+class WeatherStation:
+    current_temp: Temperature
+    
+    def __init__(self, temp: Temperature):
+        self.current_temp = temp
+    
+    def update_temperature(self, new_temp: Temperature) -> None:
+        self.current_temp = new_temp
+    
+    def get_temperature(self) -> Temperature:
+        return self.current_temp
+
+def process_user_id(uid: UserId) -> UserId:
+    return uid + 1000
+
+def format_message(msg: Message, code: UserId) -> Message:
+    return msg
+
+def float_to_int(val: float) -> int:
+    if val >= 0.0:
+        return int(val)
+    return int(val)
+
+# Test with User class
+user: User = User(42, "Alice")
+print(user.get_id())
+
+new_id: UserId = process_user_id(user.id)
+print(new_id)
+
+# Test with WeatherStation class
+station: WeatherStation = WeatherStation(23.5)
+temp1: int = float_to_int(station.get_temperature())
+print(temp1)
+
+station.update_temperature(25.8)
+temp2: int = float_to_int(station.get_temperature())
+print(temp2)
+
+# Test with simple variables
+temp_reading: Temperature = 18.3
+temp3: int = float_to_int(temp_reading)
+print(temp3)
+
+# EXPECTED OUTPUT:
+# 42
+# 1042
+# 23
+# 25
+# 18

dogfood_output/issues/20260118_183709_output_mismatch_0001/README.md

@@ -0,0 +1,171 @@
+# Issue Report: output_mismatch
+
+**Timestamp:** 2026-01-18T18:36:32.361584
+**Type:** output_mismatch
+**Feature Focus:** access_modifiers
+**Complexity:** complex
+**Backend:** claude
+
+## Generated Sharpy Code
+
+```python
+# Test access modifiers with banking system hierarchy
+# Tests: @private, @protected, @internal, public (default), static methods, inheritance
+
+@abstract
+class Account:
+    balance: float
+    account_id: int
+    
+    def __init__(self, id: int, initial_balance: float):
+        self.account_id = id
+        self.balance = initial_balance
+    
+    @private
+    def log_transaction(self, amount: float) -> None:
+        # Private method - only accessible within this class
+        print(1000)
+    
+    @protected
+    def validate_amount(self, amount: float) -> bool:
+        # Protected - accessible in subclasses
+        if amount > 0.0:
+            return True
+        return False
+    
+    @internal
+    def get_internal_id(self) -> int:
+        # Internal - accessible within assembly
+        return self.account_id
+    
+    @virtual
+    def deposit(self, amount: float) -> None:
+        if self.validate_amount(amount):
+            self.balance += amount
+            self.log_transaction(amount)
+    
+    @abstract
+    def withdraw(self, amount: float) -> bool:
+        ...
+
+class SavingsAccount(Account):
+    withdrawal_limit: float
+    withdrawal_count: int
+    
+    def __init__(self, id: int, balance: float, limit: float):
+        super().__init__(id, balance)
+        self.withdrawal_limit = limit
+        self.withdrawal_count = 0
+    
+    @override
+    def withdraw(self, amount: float) -> bool:
+        # Uses protected validate_amount from parent
+        if self.validate_amount(amount):
+            if amount <= self.withdrawal_limit:
+                if self.balance >= amount:
+                    self.balance -= amount
+                    self.withdrawal_count += 1
+                    return True
+        return False
+    
+    @private
+    @static
+    def calculate_interest_rate(balance: float) -> float:
+        # Private static - only within SavingsAccount
+        if balance > 10000.0:
+            return 2.5
+        return 1.5
+
+class CheckingAccount(Account):
+    overdraft_limit: float
+    
+    def __init__(self, id: int, balance: float, overdraft: float):
+        super().__init__(id, balance)
+        self.overdraft_limit = overdraft
+    
+    @override
+    def withdraw(self, amount: float) -> bool:
+        if self.validate_amount(amount):
+            available = self.balance + self.overdraft_limit
+            if amount <= available:
+                self.balance -= amount
+                return True
+        return False
+    
+    @override
+    def deposit(self, amount: float) -> None:
+        # Override parent's virtual method
+        super().deposit(amount)
+        print(2000)
+
+# Test public access (default)
+savings = SavingsAccount(101, 5000.0, 1000.0)
+print(savings.account_id)
+print(savings.get_internal_id())
+
+savings.deposit(500.0)
+print(savings.balance)
+
+success = savings.withdraw(800.0)
+if success:
+    print(4200)
+
+print(savings.withdrawal_count)
+
+# Test checking account with overdraft
+checking = CheckingAccount(102, 1000.0, 500.0)
+checking.deposit(250.0)
+print(checking.balance)
+
+withdraw_success = checking.withdraw(1100.0)
+if withdraw_success:
+    print(150)
+
+# EXPECTED OUTPUT:
+# 101
+# 101
+# 1000
+# 5500.0
+# 1000
+# 4200
+# 1
+# 2000
+# 1250.0
+# 150
+```
+
+## Output Comparison
+
+### Expected
+```
+101
+101
+1000
+5500.0
+1000
+4200
+1
+2000
+1250.0
+150
+
+```
+
+### Actual
+```
+101
+101
+1000
+5500
+4200
+1
+1000
+2000
+1250
+150
+```
+
+## Timing
+
+- Generation: 19.47s
+- Execution: 1.55s