Entries tagged - "irsb"
- Deep Dive Part 4: Z3 Formal Verification, the Three-Layer Stack, and Claude Code as Architect
- Deep Dive Part 3: A 12-Package Nested Monorepo That Watches AI Agents for You
- Deep Dive Part 2: Cryptographic Receipts and the Evidence Pipeline That Proves What AI Agents Actually Did
- Deep Dive Part 1: Five On-Chain Enforcers That Make AI Agent Wallets Structurally Safe