Strengthen example coverage enforcement in planner prompt

Emphasize that EVERY conditional branch needs an example with
numbered rules and explicit "6 branches = 6 examples" guidance.
Also updated auth example to request one example per branch.

Fixes E012 errors on built-in examples.

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>

Author: brannn

web/cmd/server/static/js/app.js

@@ -366,7 +366,7 @@ function startOver() {
 function loadExample(type) {
     var examples = {
         'minimal': 'A function that greets a user by name, returning a friendly greeting string.',
-        'auth': 'User authentication that verifies email and password, returning user data on success or an error message on failure. Include data type definitions for User and AuthResult.',
+        'auth': 'User authentication that verifies email and password, returning user data on success or an error message on failure. Include data type definitions for User and AuthResult. Provide one example per rule branch.',
         'cart': 'A shopping cart system with functions to add items, remove items, and calculate the total price. Items have id, name, price, and quantity. Keep each function to 3-4 rules maximum and provide one example per rule branch.',
         'evolution': 'Modernize an existing session-based authentication system to support JWT tokens alongside sessions, with refresh token rotation and rate limiting. Existing session-based clients must continue to work.'
     };

web/cmd/server/static/js/simplex-spec.js

@@ -297,11 +297,12 @@ const BASE_SYSTEM_PROMPT = `Generate Simplex v0.5 specifications. Follow this st
 5. EXAMPLES: (inside FUNCTION) - input/output pairs
 6. ERRORS: (inside FUNCTION) - error conditions
 
-**RULES:**
-- Count "if" conditions in RULES
-- Provide AT LEAST that many EXAMPLES
-- Every branch needs an example
-- Always end ERRORS with: "any unhandled condition → fail with descriptive message"
+**CRITICAL RULES:**
+1. Count EVERY "if" condition in RULES (including "if not", "if no", "if empty", etc.)
+2. You MUST provide EXACTLY that many EXAMPLES (or more)
+3. Each conditional branch = one example. 6 branches = 6 examples minimum
+4. This is STRICTLY ENFORCED - specs will FAIL validation if examples < branches
+5. Always end ERRORS with: "any unhandled condition → fail with descriptive message"
 
 **Optional landmarks (inside FUNCTION, use when spec requires):**
 - READS: Shared memory this function consumes (multi-agent coordination)