Architecture decisions 0001: Core language 0002: Adapter interface 0003: GitHub App architecture 0004: Analysis sandboxing 0005: Fix proposals and isolated verification 0006: PR-comment delivery and App permission evolution