Skip to content

Commit 36df303

Browse files
author
Jonathan D.A. Jewell
committed
Auto-commit: Sync changes [2026-02-21]
1 parent 1412d20 commit 36df303

8 files changed

Lines changed: 211 additions & 1466 deletions

File tree

‎README.adoc‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -209,3 +209,8 @@ See link:LICENSE.txt[LICENSE.txt] for full terms.
209209
---
210210

211211
_This project follows the https://gitlab.com/Hyperpolymath/rhodium-standard-repositories[Rhodium Standard Repositories] specification._
212+
213+
214+
== Architecture
215+
216+
See link:TOPOLOGY.md[TOPOLOGY.md] for a visual architecture map and completion dashboard.

‎TOPOLOGY.md‎

Lines changed: 100 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,100 @@
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+
# polysafe-gitfixer — Project Topology
6+
7+
## System Architecture
8+
9+
```
10+
┌─────────────────────────────────────────┐
11+
│ OPERATOR / CLI │
12+
│ (Haskell TUI / Brick) │
13+
└───────────────────┬─────────────────────┘
14+
│
15+
▼
16+
┌─────────────────────────────────────────┐
17+
│ ELIXIR ORCHESTRATOR │
18+
│ (OTP Supervision, Command Routing) │
19+
└──────────┬───────────────────┬──────────┘
20+
│ │
21+
▼ ▼
22+
┌───────────────────────┐ ┌────────────────────────────────┐
23+
│ WORKFLOW STATE (IDRIS)│ │ DIFF ENGINE (HASKELL) │
24+
│ - Dependent Typestate │ │ - Totality Checked │
25+
│ - Transition Proofs │ │ - Streaming Tree Diff │
26+
└──────────┬────────────┘ └──────────┬─────────────────────┘
27+
│ │
28+
└────────────┬─────────────┘
29+
▼
30+
┌─────────────────────────────────────────┐
31+
│ RUST SAFETY LAYER │
32+
│ ┌───────────┐ ┌───────────────────┐ │
33+
│ │ Git Ops │ │ Filesystem Ops │ │
34+
│ │ (git2-rs) │ │ (Transactional) │ │
35+
│ └─────┬─────┘ └────────┬──────────┘ │
36+
│ │ │ │
37+
│ ┌─────▼─────┐ ┌────────▼──────────┐ │
38+
│ │ Capability│ │ Audit Layer │ │
39+
│ │ (Safety) │ │ (Append-only) │ │
40+
│ └─────┬─────┘ └────────┬──────────┘ │
41+
└────────│─────────────────│──────────────┘
42+
│ │
43+
▼ ▼
44+
┌─────────────────────────────────────────┐
45+
│ TARGET GIT REPOSITORIES │
46+
│ (Backups, Mirrors, Workspace) │
47+
└─────────────────────────────────────────┘
48+
49+
┌─────────────────────────────────────────┐
50+
│ REPO INFRASTRUCTURE │
51+
│ Justfile / Mustfile .machine_readable/ │
52+
│ Nickel Configs RSR Gold (Cert) │
53+
└─────────────────────────────────────────┘
54+
```
55+
56+
## Completion Dashboard
57+
58+
```
59+
COMPONENT STATUS NOTES
60+
───────────────────────────────── ────────────────── ─────────────────────────────────
61+
CORE COMPONENTS
62+
Elixir Orchestrator ██████████ 100% OTP supervision stable
63+
Rust Git Ops (git2-rs) ██████████ 100% Effect tracking verified
64+
Rust Filesystem Ops ██████████ 100% Atomic transactions stable
65+
Haskell Diff Engine ██████████ 100% Streaming totality verified
66+
67+
INTERFACE & STATE
68+
Haskell TUI (Brick) ████████░░ 80% Event handling refined
69+
Idris 2 Workflow State ██████████ 100% Typestate transitions proven
70+
Nickel Config Schemas ██████████ 100% Typed defaults verified
71+
72+
REPO INFRASTRUCTURE
73+
Justfile Automation ██████████ 100% Standard build/test tasks
74+
.machine_readable/ ██████████ 100% STATE tracking active
75+
Polyglot Integration ██████████ 100% NIF/C ABI boundaries verified
76+
77+
─────────────────────────────────────────────────────────────────────────────
78+
OVERALL: █████████░ ~95% Production-grade tool stable
79+
```
80+
81+
## Key Dependencies
82+
83+
```
84+
Nickel Config ───► Idris State ────► Elixir Supervisor ───► Rust FS Ops
85+
│ │ │ │
86+
▼ ▼ ▼ ▼
87+
Haskell TUI ◄───► Haskell Diff ◄───► Rust Git Ops ────────► Repository
88+
```
89+
90+
## Update Protocol
91+
92+
This file is maintained by both humans and AI agents. When updating:
93+
94+
1. **After completing a component**: Change its bar and percentage
95+
2. **After adding a component**: Add a new row in the appropriate section
96+
3. **After architectural changes**: Update the ASCII diagram
97+
4. **Date**: Update the `Last updated` comment at the top of this file
98+
99+
Progress bars use: `█` (filled) and `░` (empty), 10 characters wide.
100+
Percentages: 0%, 10%, 20%, ... 100% (in 10% increments).

0 commit comments

Comments
 (0)