-
❏ A2ML parser for extension definitions
-
❏ Abstract IR for browser capabilities
-
❏ Firefox adapter (Manifest V2/V3)
-
❏ Chrome adapter (Manifest V3)
-
❏ Nickel type-safe contracts
-
❏ K9-SVC self-validation
-
❏ Proof-of-concept: Port existing extension (FireFlag)
-
❏ Safari adapter
-
❏ VSCode adapter
-
❏ Edge adapter (Chromium-based)
-
❏ Brave adapter (Chromium-based)
-
❏ Performance benchmarks