programasweights 0.1.0.dev1__tar.gz → 0.1.0.dev3__tar.gz

{programasweights-0.1.0.dev1 → programasweights-0.1.0.dev3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: programasweights
-Version: 0.1.0.dev1
+Version: 0.1.0.dev3
 Summary: Compile natural language specifications into neural programs that run locally via llama.cpp.
 Author-email: ProgramAsWeights <support@programasweights.com>
 License: MIT
@@ -17,8 +17,8 @@ Classifier: Programming Language :: Python :: 3.12
 Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
 Classifier: Topic :: Software Development :: Libraries :: Python Modules
 Requires-Python: >=3.9
-Requires-Dist: httpx>=0.27.0
-Requires-Dist: llama-cpp-python>=0.3.0
+Requires-Dist: httpx<1.0,>=0.27.0
+Requires-Dist: llama-cpp-python<1.0,>=0.3.0
 Provides-Extra: test
 Requires-Dist: pytest; extra == 'test'
 Description-Content-Type: text/markdown

{programasweights-0.1.0.dev1 → programasweights-0.1.0.dev3}/programasweights/__init__.py

@@ -19,7 +19,7 @@ API reference:
     paw.api_key                API key (set via login() or PAW_API_KEY env var)
 """
 
-__version__ = "0.1.0.dev1"
+__version__ = "0.1.0.dev3"
 
 from .config import get_api_url, get_api_key, set_api_key
 

{programasweights-0.1.0.dev1 → programasweights-0.1.0.dev3}/programasweights/cache.py

@@ -21,14 +21,12 @@ import httpx
 
 from . import config
 
-# Known base model GGUF files (interpreter models)
 BASE_MODEL_URLS = {
-    "qwen3-0.6b-q6k": "https://huggingface.co/Qwen/Qwen3-0.6B-GGUF/resolve/main/qwen3-0.6b-q6_k.gguf",
+    "qwen3-0.6b-q6_k": "https://huggingface.co/yuntian-deng/Qwen3-0.6B-GGUF-Q6_K/resolve/main/qwen3-0.6b-q6_k.gguf",
 }
 
-# Map interpreter model names to GGUF filenames
 INTERPRETER_TO_GGUF = {
-    "Qwen/Qwen3-0.6B": "qwen3-0.6b-q6k",
+    "Qwen/Qwen3-0.6B": "qwen3-0.6b-q6_k",
 }
 
 
@@ -47,7 +45,7 @@ def get_base_model_path(interpreter: str = "Qwen/Qwen3-0.6B") -> Path:
             f"Available: {list(INTERPRETER_TO_GGUF.keys())}"
         )
 
-    print(f"Downloading base model {gguf_name} (~623 MB, one-time download)...")
+    print(f"Downloading base model {gguf_name} (one-time download)...")
     _download_file(url, gguf_path)
     print(f"Saved to {gguf_path}")
     return gguf_path

{programasweights-0.1.0.dev1 → programasweights-0.1.0.dev3}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "programasweights"
-version = "0.1.0.dev1"
+version = "0.1.0.dev3"
 description = "Compile natural language specifications into neural programs that run locally via llama.cpp."
 readme = "PYPI_README.md"
 requires-python = ">=3.9"
@@ -27,8 +27,8 @@ classifiers = [
   "Topic :: Software Development :: Libraries :: Python Modules",
 ]
 dependencies = [
-  "httpx>=0.27.0",
-  "llama-cpp-python>=0.3.0",
+  "httpx>=0.27.0,<1.0",
+  "llama-cpp-python>=0.3.0,<1.0",
 ]
 
 [project.optional-dependencies]

programasweights-0.1.0.dev3/web-app/frontend/src/components/CasesSection.tsx

@@ -0,0 +1,180 @@
+import { useState, useEffect } from 'react';
+import { ThumbsUp, ThumbsDown, Trash2, Plus, Send } from 'lucide-react';
+import { apiClient } from '../utils/api';
+import toast from 'react-hot-toast';
+import type { ProgramCase, CaseType, CaseCounts } from '../types';
+
+interface CasesSectionProps {
+  programId: string;
+}
+
+const CasesSection: React.FC<CasesSectionProps> = ({ programId }) => {
+  const [cases, setCases] = useState<ProgramCase[]>([]);
+  const [counts, setCounts] = useState<CaseCounts>({ success: 0, limitation: 0, edge_case: 0 });
+  const [selectedType, setSelectedType] = useState<CaseType | undefined>(undefined);
+  const [isAuthenticated, setIsAuthenticated] = useState(false);
+  const [showForm, setShowForm] = useState(false);
+  const [newCase, setNewCase] = useState({ input_text: '', output_text: '', case_type: 'success' as CaseType, description: '' });
+
+  useEffect(() => {
+    apiClient.getAuthUser().then(r => { if (r.authenticated) setIsAuthenticated(true); }).catch(() => {});
+    loadCases();
+  }, [programId, selectedType]);
+
+  const loadCases = async () => {
+    try {
+      const res = await apiClient.getCases(programId, { case_type: selectedType });
+      setCases(res.cases);
+      setCounts(res.counts);
+    } catch {
+      setCases([]);
+    }
+  };
+
+  const handleVote = async (caseItem: ProgramCase, vote: 1 | -1) => {
+    const newVote = caseItem.user_vote === vote ? 0 : vote;
+    try {
+      await apiClient.voteCase(caseItem.id, newVote as 1 | -1 | 0);
+      loadCases();
+    } catch {
+      toast.error('Vote failed');
+    }
+  };
+
+  const handleDelete = async (caseId: number) => {
+    try {
+      await apiClient.deleteCase(caseId);
+      setCases(prev => prev.filter(c => c.id !== caseId));
+      toast.success('Case deleted');
+    } catch {
+      toast.error('Delete failed');
+    }
+  };
+
+  const handleSubmit = async () => {
+    if (!newCase.input_text.trim() || !newCase.output_text.trim()) {
+      toast.error('Please fill in input and output');
+      return;
+    }
+    try {
+      await apiClient.createCase(programId, newCase);
+      setShowForm(false);
+      setNewCase({ input_text: '', output_text: '', case_type: 'success', description: '' });
+      loadCases();
+      toast.success('Case submitted!');
+    } catch {
+      toast.error('Failed to submit case');
+    }
+  };
+
+  const typeLabels: Record<CaseType, { label: string; color: string }> = {
+    success: { label: 'Successes', color: 'bg-green-100 text-green-700' },
+    limitation: { label: 'Limitations', color: 'bg-amber-100 text-amber-700' },
+    edge_case: { label: 'Edge Cases', color: 'bg-blue-100 text-blue-700' },
+  };
+
+  return (
+    <div className="bg-white rounded-xl border border-gray-200 p-6">
+      <div className="flex items-center justify-between mb-4">
+        <h2 className="font-semibold text-gray-900">Community Cases</h2>
+        {isAuthenticated && (
+          <button onClick={() => setShowForm(!showForm)} className="flex items-center gap-1 text-sm text-blue-600 hover:text-blue-800 font-medium">
+            <Plus className="w-3.5 h-3.5" /> Add Case
+          </button>
+        )}
+      </div>
+
+      {/* Type filter */}
+      <div className="flex gap-2 mb-4">
+        <button
+          onClick={() => setSelectedType(undefined)}
+          className={`px-3 py-1 rounded-full text-xs font-medium ${!selectedType ? 'bg-gray-900 text-white' : 'bg-gray-100 text-gray-600 hover:bg-gray-200'}`}
+        >
+          All ({counts.success + counts.limitation + counts.edge_case})
+        </button>
+        {(Object.entries(typeLabels) as [CaseType, { label: string; color: string }][]).map(([type, { label, color }]) => (
+          <button
+            key={type}
+            onClick={() => setSelectedType(selectedType === type ? undefined : type)}
+            className={`px-3 py-1 rounded-full text-xs font-medium ${selectedType === type ? color : 'bg-gray-100 text-gray-600 hover:bg-gray-200'}`}
+          >
+            {label} ({counts[type]})
+          </button>
+        ))}
+      </div>
+
+      {/* New case form */}
+      {showForm && (
+        <div className="border border-gray-200 rounded-lg p-4 mb-4 space-y-3">
+          <div className="grid grid-cols-2 gap-3">
+            <div>
+              <label className="text-xs text-gray-500 mb-1 block">Input</label>
+              <textarea value={newCase.input_text} onChange={e => setNewCase({ ...newCase, input_text: e.target.value })} rows={2} className="w-full px-3 py-2 border border-gray-200 rounded-lg text-sm resize-none" placeholder="Input..." />
+            </div>
+            <div>
+              <label className="text-xs text-gray-500 mb-1 block">Output</label>
+              <textarea value={newCase.output_text} onChange={e => setNewCase({ ...newCase, output_text: e.target.value })} rows={2} className="w-full px-3 py-2 border border-gray-200 rounded-lg text-sm resize-none" placeholder="Output..." />
+            </div>
+          </div>
+          <div className="flex items-center gap-3">
+            <select value={newCase.case_type} onChange={e => setNewCase({ ...newCase, case_type: e.target.value as CaseType })} className="text-sm border border-gray-200 rounded-md px-2 py-1">
+              <option value="success">Success</option>
+              <option value="limitation">Limitation</option>
+              <option value="edge_case">Edge Case</option>
+            </select>
+            <input value={newCase.description} onChange={e => setNewCase({ ...newCase, description: e.target.value })} className="flex-1 px-3 py-1 border border-gray-200 rounded-lg text-sm" placeholder="Brief description (optional)" />
+            <button onClick={handleSubmit} className="flex items-center gap-1 px-4 py-1.5 bg-gray-900 text-white rounded-lg text-sm hover:bg-gray-800">
+              <Send className="w-3.5 h-3.5" /> Submit
+            </button>
+          </div>
+        </div>
+      )}
+
+      {/* Cases list */}
+      {cases.length === 0 ? (
+        <p className="text-sm text-gray-400 text-center py-6">No cases yet. Be the first to contribute!</p>
+      ) : (
+        <div className="space-y-3">
+          {cases.map(c => (
+            <div key={c.id} className="border border-gray-100 rounded-lg p-3">
+              <div className="flex items-start justify-between gap-2">
+                <div className="flex-1 min-w-0">
+                  <span className={`inline-block px-2 py-0.5 rounded-full text-[10px] font-medium mb-2 ${typeLabels[c.case_type].color}`}>
+                    {typeLabels[c.case_type].label.slice(0, -1)}
+                  </span>
+                  {c.description && <p className="text-sm text-gray-700 mb-2">{c.description}</p>}
+                  <div className="grid grid-cols-2 gap-2">
+                    <div className="bg-gray-50 rounded p-2">
+                      <p className="text-[10px] text-gray-400 mb-1">Input</p>
+                      <p className="text-xs font-mono text-gray-700 truncate">{c.input_text}</p>
+                    </div>
+                    <div className="bg-gray-50 rounded p-2">
+                      <p className="text-[10px] text-gray-400 mb-1">Output</p>
+                      <p className="text-xs font-mono text-gray-700 truncate">{c.output_text}</p>
+                    </div>
+                  </div>
+                </div>
+                <div className="flex flex-col items-center gap-1 text-xs text-gray-400">
+                  <button onClick={() => handleVote(c, 1)} className={`p-1 rounded ${c.user_vote === 1 ? 'text-green-600' : 'hover:text-green-600'}`}>
+                    <ThumbsUp className="w-3.5 h-3.5" />
+                  </button>
+                  <span>{c.upvotes - c.downvotes}</span>
+                  <button onClick={() => handleVote(c, -1)} className={`p-1 rounded ${c.user_vote === -1 ? 'text-red-600' : 'hover:text-red-600'}`}>
+                    <ThumbsDown className="w-3.5 h-3.5" />
+                  </button>
+                  {isAuthenticated && (
+                    <button onClick={() => handleDelete(c.id)} className="p-1 text-gray-300 hover:text-red-500 mt-1">
+                      <Trash2 className="w-3 h-3" />
+                    </button>
+                  )}
+                </div>
+              </div>
+            </div>
+          ))}
+        </div>
+      )}
+    </div>
+  );
+};
+
+export default CasesSection;

{programasweights-0.1.0.dev1 → programasweights-0.1.0.dev3}/web-app/frontend/src/components/DocsPage.tsx

@@ -85,7 +85,7 @@ const DocsPage: React.FC = () => {
         <div className="space-y-8">
           <section>
             <h2 className="text-xl font-bold text-gray-900 mb-4">1. Install</h2>
-            <CodeBlock code="pip install programasweights" id="install" lang="bash" />
+            <CodeBlock code="pip install --pre programasweights" id="install" lang="bash" />
           </section>
 
           <section>

{programasweights-0.1.0.dev1 → programasweights-0.1.0.dev3}/web-app/frontend/src/components/Footer.tsx

@@ -18,7 +18,7 @@ const Footer: React.FC = () => {
               Define functions in English. Compile them into neural programs. Run them locally.
             </p>
             <div className="mt-4 inline-flex items-center gap-2 bg-white/5 rounded px-3 py-1.5 font-mono text-xs text-gray-300 border border-white/10">
-              pip install programasweights
+              pip install --pre programasweights
             </div>
           </div>
 

{programasweights-0.1.0.dev1 → programasweights-0.1.0.dev3}/web-app/frontend/src/components/Header.tsx

@@ -1,18 +1,12 @@
 import { useState, useEffect } from 'react';
 import { Link, useLocation } from 'react-router-dom';
-import { Github, BookOpen, Package, LogOut, Play, Menu, X, DollarSign } from 'lucide-react';
+import { BookOpen, Package, LogOut, Play, Menu, X, DollarSign, Github } from 'lucide-react';
 import { apiClient } from '../utils/api';
-
-interface User {
-  id: number;
-  username: string;
-  displayName: string;
-  avatarUrl: string;
-}
+import type { AuthUser } from '../types';
 
 const Header: React.FC = () => {
   const location = useLocation();
-  const [user, setUser] = useState<User | null>(null);
+  const [user, setUser] = useState<AuthUser | null>(null);
   const [showUserMenu, setShowUserMenu] = useState(false);
   const [mobileMenuOpen, setMobileMenuOpen] = useState(false);
 
@@ -25,39 +19,16 @@ const Header: React.FC = () => {
 
   const isActive = (path: string) => location.pathname === path;
 
-  // Check auth status on mount
   useEffect(() => {
-    const checkAuth = async () => {
-      try {
-        const response = await apiClient.getAuthUser();
-        if (response.authenticated && response.user) {
-          setUser(response.user);
-        }
-      } catch {
-        // Not logged in - that's fine
-      }
-    };
-    checkAuth();
+    apiClient.getAuthUser()
+      .then(res => { if (res.authenticated) setUser(res); })
+      .catch(() => {});
   }, []);
 
-  const handleLogin = async () => {
-    try {
-      const response = await apiClient.getGithubLoginUrl();
-      window.location.href = response.url;
-    } catch {
-      // Fallback
-      window.location.href = '/api/auth/github';
-    }
-  };
-
   const handleLogout = async () => {
-    try {
-      await apiClient.logout();
-      setUser(null);
-      setShowUserMenu(false);
-    } catch {
-      setUser(null);
-    }
+    await apiClient.logout();
+    setUser(null);
+    setShowUserMenu(false);
   };
 
   return (
@@ -73,17 +44,14 @@ const Header: React.FC = () => {
               <p className="text-xs text-gray-500 hidden sm:block">ProgramAsWeights</p>
             </div>
           </Link>
-          
-          {/* Desktop nav */}
+
           <nav className="hidden md:flex items-center space-x-1">
             {navItems.map(({ path, label, icon: Icon }) => (
               <Link
                 key={path}
                 to={path}
                 className={`flex items-center space-x-2 px-3 py-2 rounded-md text-sm font-medium transition-colors ${
-                  isActive(path)
-                    ? 'bg-gray-100 text-gray-900'
-                    : 'text-gray-600 hover:text-gray-900 hover:bg-gray-50'
+                  isActive(path) ? 'bg-gray-100 text-gray-900' : 'text-gray-600 hover:text-gray-900 hover:bg-gray-50'
                 }`}
               >
                 <Icon className="w-4 h-4" />
@@ -94,7 +62,7 @@ const Header: React.FC = () => {
 
           <div className="flex items-center space-x-3">
             <a
-              href="https://github.com/programasweights/programasweights"
+              href="https://github.com/yuntian-group/programasweights"
               target="_blank"
               rel="noopener noreferrer"
               className="hidden md:flex items-center space-x-1.5 text-gray-500 hover:text-gray-900 transition-colors text-sm"
@@ -103,39 +71,37 @@ const Header: React.FC = () => {
               <span className="hidden lg:inline">GitHub</span>
             </a>
 
-            {user ? (
+            {user?.authenticated ? (
               <div className="relative">
                 <button
                   onClick={() => setShowUserMenu(!showUserMenu)}
                   className="flex items-center space-x-2 hover:opacity-80 transition-opacity"
                 >
-                  <img
-                    src={user.avatarUrl}
-                    alt={user.username}
-                    className="w-8 h-8 rounded-full border-2 border-gray-200"
-                  />
+                  {user.avatar_url ? (
+                    <img src={user.avatar_url} alt="" className="w-8 h-8 rounded-full border-2 border-gray-200" />
+                  ) : (
+                    <div className="w-8 h-8 rounded-full bg-gray-300 flex items-center justify-center text-sm font-medium text-gray-600">
+                      {(user.email || '?')[0].toUpperCase()}
+                    </div>
+                  )}
                   <span className="text-sm font-medium text-gray-700 hidden lg:inline">
-                    {user.displayName || user.username}
+                    {user.display_name || user.username || user.email}
                   </span>
                 </button>
-                
+
                 {showUserMenu && (
                   <div className="absolute right-0 mt-2 w-48 bg-white rounded-lg shadow-lg border border-gray-200 py-1 z-50">
-                    <div className="px-4 py-2 border-b border-gray-100">
-                      <p className="text-sm font-medium text-gray-900">{user.displayName}</p>
-                      <p className="text-xs text-gray-500">@{user.username}</p>
-                    </div>
                     <Link
                       to="/profile"
                       onClick={() => setShowUserMenu(false)}
-                      className="w-full flex items-center space-x-2 px-4 py-2 text-sm text-gray-700 hover:bg-gray-50 transition-colors"
+                      className="w-full flex items-center space-x-2 px-4 py-2 text-sm text-gray-700 hover:bg-gray-50"
                     >
                       <Package className="w-4 h-4" />
                       <span>My Programs</span>
                     </Link>
                     <button
                       onClick={handleLogout}
-                      className="w-full flex items-center space-x-2 px-4 py-2 text-sm text-gray-700 hover:bg-gray-50 transition-colors"
+                      className="w-full flex items-center space-x-2 px-4 py-2 text-sm text-gray-700 hover:bg-gray-50"
                     >
                       <LogOut className="w-4 h-4" />
                       <span>Sign out</span>
@@ -144,16 +110,15 @@ const Header: React.FC = () => {
                 )}
               </div>
             ) : (
-              <button
-                onClick={handleLogin}
+              <Link
+                to="/playground"
                 className="hidden sm:flex items-center space-x-2 px-4 py-2 bg-gray-900 text-white rounded-lg hover:bg-gray-800 transition-colors text-sm font-medium"
               >
-                <Github className="w-4 h-4" />
-                <span>Sign in</span>
-              </button>
+                <Play className="w-4 h-4" />
+                <span>Get Started</span>
+              </Link>
             )}
 
-            {/* Mobile menu button */}
             <button
               onClick={() => setMobileMenuOpen(!mobileMenuOpen)}
               className="md:hidden p-2 text-gray-600 hover:text-gray-900 hover:bg-gray-100 rounded-lg transition-colors"
@@ -163,9 +128,8 @@ const Header: React.FC = () => {
           </div>
         </div>
 
-        {/* Mobile menu */}
         {mobileMenuOpen && (
-          <div className="md:hidden mt-3 pt-3 border-t border-gray-100 pb-2 animate-fade-in">
+          <div className="md:hidden mt-3 pt-3 border-t border-gray-100 pb-2">
             <nav className="space-y-1">
               {navItems.map(({ path, label, icon: Icon }) => (
                 <Link
@@ -173,33 +137,13 @@ const Header: React.FC = () => {
                   to={path}
                   onClick={() => setMobileMenuOpen(false)}
                   className={`flex items-center space-x-3 px-3 py-2.5 rounded-lg text-sm font-medium transition-colors ${
-                    isActive(path)
-                      ? 'bg-gray-100 text-gray-900'
-                      : 'text-gray-600 hover:bg-gray-50'
+                    isActive(path) ? 'bg-gray-100 text-gray-900' : 'text-gray-600 hover:bg-gray-50'
                   }`}
                 >
                   <Icon className="w-4 h-4" />
                   <span>{label}</span>
                 </Link>
               ))}
-              <a
-                href="https://github.com/programasweights/programasweights"
-                target="_blank"
-                rel="noopener noreferrer"
-                className="flex items-center space-x-3 px-3 py-2.5 rounded-lg text-sm font-medium text-gray-600 hover:bg-gray-50 transition-colors"
-              >
-                <Github className="w-4 h-4" />
-                <span>GitHub</span>
-              </a>
-              {!user && (
-                <button
-                  onClick={() => { handleLogin(); setMobileMenuOpen(false); }}
-                  className="w-full flex items-center space-x-3 px-3 py-2.5 rounded-lg text-sm font-medium text-gray-600 hover:bg-gray-50 transition-colors"
-                >
-                  <Github className="w-4 h-4" />
-                  <span>Sign in with GitHub</span>
-                </button>
-              )}
             </nav>
           </div>
         )}