|
| 1 | +<!-- SPDX-License-Identifier: PMPL-1.0-or-later --> |
| 2 | +<!-- TOPOLOGY.md — Project architecture map and completion dashboard --> |
| 3 | +<!-- Last updated: 2026-02-19 --> |
| 4 | + |
| 5 | +# Universal Extension Format (UXF) — Project Topology |
| 6 | + |
| 7 | +## System Architecture |
| 8 | + |
| 9 | +``` |
| 10 | + ┌─────────────────────────────────────────┐ |
| 11 | + │ EXTENSION DEVELOPER │ |
| 12 | + │ (Declarative .uxf Source) │ |
| 13 | + └───────────────────┬─────────────────────┘ |
| 14 | + │ Compile |
| 15 | + ▼ |
| 16 | + ┌─────────────────────────────────────────┐ |
| 17 | + │ UXF PIPELINE CORE │ |
| 18 | + │ ┌───────────┐ ┌───────────────────┐ │ |
| 19 | + │ │ A2ML/Nickel│ │ Abstract IR │ │ |
| 20 | + │ │ (Validator)│──► (Capabilities) │ │ |
| 21 | + │ └─────┬─────┘ └────────┬──────────┘ │ |
| 22 | + │ │ │ │ |
| 23 | + │ ┌─────▼─────┐ ┌────────▼──────────┐ │ |
| 24 | + │ │ Idris2 │ │ ECHIDNA │ │ |
| 25 | + │ │ (Proofs) │ │ (Prop Tests) │ │ |
| 26 | + │ └─────┬─────┘ └────────┬──────────┘ │ |
| 27 | + └────────│─────────────────│──────────────┘ |
| 28 | + │ │ |
| 29 | + ▼ ▼ |
| 30 | + ┌─────────────────────────────────────────┐ |
| 31 | + │ PLATFORM ADAPTERS │ |
| 32 | + │ ┌───────────┐ ┌───────────┐ ┌───────┐│ |
| 33 | + │ │ Firefox │ │ Chrome │ │ VSCode││ |
| 34 | + │ └───────────┘ └───────────┘ └───────┘│ |
| 35 | + │ ┌───────────┐ ┌───────────┐ ┌───────┐│ |
| 36 | + │ │ WordPress │ │ Zotero │ │ Safari││ |
| 37 | + │ └───────────┘ └───────────┘ └───────┘│ |
| 38 | + └───────────────────┬─────────────────────┘ |
| 39 | + │ |
| 40 | + ▼ |
| 41 | + ┌─────────────────────────────────────────┐ |
| 42 | + │ NATIVE PACKAGES │ |
| 43 | + │ (.xpi, .crx, .zip, .vsix) │ |
| 44 | + └─────────────────────────────────────────┘ |
| 45 | +
|
| 46 | + ┌─────────────────────────────────────────┐ |
| 47 | + │ REPO INFRASTRUCTURE │ |
| 48 | + │ Justfile Automation .machine_readable/ │ |
| 49 | + │ ECHIDNA / Idris2 0-AI-MANIFEST.a2ml │ |
| 50 | + └─────────────────────────────────────────┘ |
| 51 | +``` |
| 52 | + |
| 53 | +## Completion Dashboard |
| 54 | + |
| 55 | +``` |
| 56 | +COMPONENT STATUS NOTES |
| 57 | +───────────────────────────────── ────────────────── ───────────────────────────────── |
| 58 | +CORE PIPELINE |
| 59 | + Abstract IR (Capabilities) ██████████ 100% Capability tree stable |
| 60 | + A2ML / Nickel Validation ████████░░ 80% Type-safe parsing active |
| 61 | + ECHIDNA Property Tests ██████████ 100% 7/8 critical tests passed |
| 62 | + Idris2 Formal Proofs ██████░░░░ 60% Transformation proofs refining |
| 63 | +
|
| 64 | +PLATFORM ADAPTERS |
| 65 | + Firefox Adapter (V2/V3) ████░░░░░░ 40% Initial manifest gen active |
| 66 | + Chrome Adapter (V3) ████░░░░░░ 40% MV3 stubs verified |
| 67 | + Other Adapters (WP/VSCode) ░░░░░░░░░░ 0% Planned for Phase 2/3 |
| 68 | +
|
| 69 | +REPO INFRASTRUCTURE |
| 70 | + Justfile Automation ██████████ 100% Standard tasks active |
| 71 | + .machine_readable/ ██████████ 100% STATE tracking active |
| 72 | + Documentation (Analysis) ██████████ 100% Comprehensive spec index |
| 73 | +
|
| 74 | +───────────────────────────────────────────────────────────────────────────── |
| 75 | +OVERALL: ████░░░░░░ ~40% Concept validated, Core active |
| 76 | +``` |
| 77 | + |
| 78 | +## Key Dependencies |
| 79 | + |
| 80 | +``` |
| 81 | +UXF Source ──────► A2ML Parser ──────► Abstract IR ──────► Platform Code |
| 82 | + │ │ │ │ |
| 83 | + ▼ ▼ ▼ ▼ |
| 84 | +Idris2 Proof ───► ECHIDNA Test ──────► Adapter Logic ────► Native .xpi |
| 85 | +``` |
| 86 | + |
| 87 | +## Update Protocol |
| 88 | + |
| 89 | +This file is maintained by both humans and AI agents. When updating: |
| 90 | + |
| 91 | +1. **After completing a component**: Change its bar and percentage |
| 92 | +2. **After adding a component**: Add a new row in the appropriate section |
| 93 | +3. **After architectural changes**: Update the ASCII diagram |
| 94 | +4. **Date**: Update the `Last updated` comment at the top of this file |
| 95 | + |
| 96 | +Progress bars use: `█` (filled) and `░` (empty), 10 characters wide. |
| 97 | +Percentages: 0%, 10%, 20%, ... 100% (in 10% increments). |
0 commit comments