isl-demo

ISL Studio Demo

See ISL Gate in action with three demo scenarios.

Quick Start

# Run gate on this demo
isl gate

# Or use npx
npx @isl-lang/cli gate

Demo Scenarios

This demo includes three branches demonstrating different gate outcomes:

🛑 fails-auth - NO_SHIP (Auth Issues)

• Unprotected admin route
• Missing rate limiting on login
• Auth bypass pattern detected

🛑 fails-pii - NO_SHIP (PII Issues)

• Sensitive data logged to console
• Unmasked PII in API response
• Missing encryption for stored data

✅ passes - SHIP (Clean Code)

• Proper authentication middleware
• Rate limiting on all endpoints
• PII properly masked/encrypted
• All policy checks pass

What This Demo Shows

• Instant Feedback: Gate returns SHIP/NO_SHIP in < 3 seconds
• Clear Reasons: Exactly what failed and why
• Evidence Bundle: Tamper-proof audit trail
• Fix Guidance: How to resolve each issue

Files

isl-demo/
├── src/
│   ├── auth/
│   │   ├── login.ts       # Auth endpoint
│   │   └── middleware.ts  # Auth middleware
│   ├── api/
│   │   ├── users.ts       # User API
│   │   └── admin.ts       # Admin API
│   └── utils/
│       └── logger.ts      # Logging utility
├── .islstudio/
│   └── config.json        # ISL config
└── package.json

Try It

# Check current state
isl gate

# See detailed report
isl gate --output html
open .islstudio/evidence/report.html

# Verify evidence integrity
isl evidence verify

Learn More

• ISL Studio Docs
• Policy Packs Reference