Skip to content

Commit f12f6ac

Browse files
Jonathan D.A. Jewellclaude
Jonathan D.A. Jewell
and
claude
committed
feat: replace techstack-filterlist submodule with techstack-enforcer, add TOPOLOGY.md
- Remove techstack-filterlist submodule (superseded) - Add techstack-enforcer as tracked directory (Ada, RSR-compliant) - Add TOPOLOGY.md architecture diagram for developer-ecosystem - Update README.adoc with architecture link Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
1 parent af2100d commit f12f6ac

107 files changed

Lines changed: 11601 additions & 1 deletion

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎README.adoc‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -205,3 +205,8 @@ MIT + Palimpsest-0.8
205205
---
206206

207207
_"Developer tools that respect developer autonomy. No lock-in, no shame, no anxiety."_
208+
209+
210+
== Architecture
211+
212+
See link:TOPOLOGY.md[TOPOLOGY.md] for a visual architecture map and completion dashboard.

‎TOPOLOGY.md‎

Lines changed: 101 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,101 @@
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+
# Developer Ecosystem — Project Topology
6+
7+
## System Architecture
8+
9+
```
10+
┌─────────────────────────────────────────┐
11+
│ DEVELOPER UX │
12+
│ (IDE, Dashboard, CLI) │
13+
└───────────────────┬─────────────────────┘
14+
│
15+
▼
16+
┌─────────────────────────────────────────┐
17+
│ DEVELOPER ECOSYSTEM HUB │
18+
│ │
19+
│ ┌───────────┐ ┌───────────────────┐ │
20+
│ │ Git Tools │ │ Repo Management │ │
21+
│ │ (Forges, │ │ (Automaton, │ │
22+
│ │ Sync) │ │ Vacuum, Grim) │ │
23+
│ └─────┬─────┘ └────────┬──────────┘ │
24+
│ │ │ │
25+
│ ┌─────▼─────┐ ┌────────▼──────────┐ │
26+
│ │Scaffolding│ │ Developer UX │ │
27+
│ │(Scaffoldia│ │ (Evangeliser, │ │
28+
│ │ Standard)│ │ Recon-silly) │ │
29+
│ └─────┬─────┘ └───────────────────┘ │
30+
└────────│────────────────────────────────┘
31+
│
32+
▼
33+
┌─────────────────────────────────────────┐
34+
│ SATELLITE REPOSITORIES │
35+
│ ┌───────────┐ ┌───────────┐ ┌───────┐│
36+
│ │ git-hud │ │ oikos │ │ nickel││
37+
│ └───────────┘ └───────────┘ └───────┘│
38+
│ ┌───────────┐ ┌───────────┐ ┌───────┐│
39+
│ │ gitloom │ │ grim-repo │ │ pssh ││
40+
│ └───────────┘ └───────────┘ └───────┘│
41+
└───────────────────┬─────────────────────┘
42+
│
43+
▼
44+
┌─────────────────────────────────────────┐
45+
│ UPSTREAM STANDARDS │
46+
│ (RSR, CCCP Language Policy) │
47+
└─────────────────────────────────────────┘
48+
49+
┌─────────────────────────────────────────┐
50+
│ REPO INFRASTRUCTURE │
51+
│ Justfile .machine_readable/ │
52+
│ Aggregate Libs Techstack Filter │
53+
└─────────────────────────────────────────┘
54+
```
55+
56+
## Completion Dashboard
57+
58+
```
59+
COMPONENT STATUS NOTES
60+
───────────────────────────────── ────────────────── ─────────────────────────────────
61+
CORE ECOSYSTEM
62+
Git Tools (Hub) ██████████ 100% Forge management stable
63+
Repo Management ████████░░ 80% Automaton logic refining
64+
Scaffolding (scaffoldia) ██████████ 100% Modular templates active
65+
Developer UX ██████░░░░ 60% VS Code extension in progress
66+
67+
ECOSYSTEM SATELLITES
68+
idris2-ecosystem ██████████ 100% Unbreakable libs verified
69+
zig-ecosystem ██████████ 100% FFI bridge standards stable
70+
rescript-ecosystem ██████████ 100% SafeDOM integration verified
71+
deno-ecosystem ████████░░ 80% Runtime security refined
72+
73+
REPO INFRASTRUCTURE
74+
Justfile ██████████ 100% Full build automation
75+
.machine_readable/ ██████████ 100% STATE.a2ml tracking
76+
Techstack Filterlist ██████████ 100% CCCP compliance active
77+
78+
─────────────────────────────────────────────────────────────────────────────
79+
OVERALL: █████████░ ~90% Central developer hub operational
80+
```
81+
82+
## Key Dependencies
83+
84+
```
85+
CCCP Policy ───► RSR Standard ───► Developer Hub ───► Satellites
86+
│ │ │ │
87+
▼ ▼ ▼ ▼
88+
Language Check ──► Compliance ─────► Scaffolding ───► Git Forge
89+
```
90+
91+
## Update Protocol
92+
93+
This file is maintained by both humans and AI agents. When updating:
94+
95+
1. **After completing a component**: Change its bar and percentage
96+
2. **After adding a component**: Add a new row in the appropriate section
97+
3. **After architectural changes**: Update the ASCII diagram
98+
4. **Date**: Update the `Last updated` comment at the top of this file
99+
100+
Progress bars use: `█` (filled) and `░` (empty), 10 characters wide.
101+
Percentages: 0%, 10%, 20%, ... 100% (in 10% increments).

‎techstack-enforcer/.claude/CLAUDE.md‎

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
# CLAUDE.md - AI Assistant Instructions for techstack-enforcer
2+
3+
## Project Overview
4+
5+
Techstack Enforcer is a formally verified technology stack enforcement system written in Ada/SPARK. It blocks unwanted technologies by every possible means: git hooks, CI/CD, file watchers, container guards.
6+
7+
## Machine-Readable Artefacts
8+
9+
The following files in `.machine_readable/` contain structured project metadata:
10+
11+
- `STATE.scm` - Current project state and progress
12+
- `META.scm` - Architecture decisions and development practices
13+
- `ECOSYSTEM.scm` - Position in the ecosystem and related projects
14+
- `AGENTIC.scm` - AI agent interaction patterns
15+
- `NEUROSYM.scm` - Neurosymbolic integration config
16+
- `PLAYBOOK.scm` - Operational runbook
17+
18+
## Build Commands
19+
20+
```bash
21+
# Build
22+
gprbuild -P techstack_enforcer.gpr -XMODE=release
23+
24+
# SPARK verification
25+
gnatprove -P techstack_enforcer.gpr --level=2
26+
27+
# Run audit
28+
./bin/techstack_main audit .
29+
30+
# Launch TUI
31+
./bin/techstack_tui_main
32+
```
33+
34+
## Critical Invariants
35+
36+
- Core engine (src/core/) MUST use SPARK_Mode
37+
- Multi-layer blocking: never remove a blocking layer
38+
- Learning mode MUST NOT block (observe-only)
39+
- Lockdown mode MUST block ALL violations including Warn
40+
- All enforcement decisions flow through the formally verified core
41+
42+
## Language Policy
43+
44+
This project is written in Ada/SPARK. See hyperpolymath/mustfile for the standard language policy.

‎techstack-enforcer/.editorconfig‎

Lines changed: 68 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,68 @@
1+
# RSR-template-repo - Editor Configuration
2+
# https://editorconfig.org
3+
4+
root = true
5+
6+
[*]
7+
charset = utf-8
8+
end_of_line = lf
9+
indent_size = 2
10+
indent_style = space
11+
insert_final_newline = true
12+
trim_trailing_whitespace = true
13+
14+
[*.md]
15+
trim_trailing_whitespace = false
16+
17+
[*.adoc]
18+
trim_trailing_whitespace = false
19+
20+
[*.rs]
21+
indent_size = 4
22+
23+
[*.ex]
24+
indent_size = 2
25+
26+
[*.exs]
27+
indent_size = 2
28+
29+
[*.zig]
30+
indent_size = 4
31+
32+
[*.ada]
33+
indent_size = 3
34+
35+
[*.adb]
36+
indent_size = 3
37+
38+
[*.ads]
39+
indent_size = 3
40+
41+
[*.hs]
42+
indent_size = 2
43+
44+
[*.res]
45+
indent_size = 2
46+
47+
[*.resi]
48+
indent_size = 2
49+
50+
[*.ncl]
51+
indent_size = 2
52+
53+
[*.rkt]
54+
indent_size = 2
55+
56+
[*.scm]
57+
indent_size = 2
58+
59+
[*.nix]
60+
indent_size = 2
61+
62+
[Justfile]
63+
indent_style = space
64+
indent_size = 4
65+
66+
[justfile]
67+
indent_style = space
68+
indent_size = 4

‎techstack-enforcer/.gitattributes‎

Lines changed: 54 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,54 @@
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
2+
# RSR-compliant .gitattributes
3+
4+
* text=auto eol=lf
5+
6+
# Source
7+
*.rs text eol=lf diff=rust
8+
*.ex text eol=lf diff=elixir
9+
*.exs text eol=lf diff=elixir
10+
*.jl text eol=lf
11+
*.res text eol=lf
12+
*.resi text eol=lf
13+
*.ada text eol=lf diff=ada
14+
*.adb text eol=lf diff=ada
15+
*.ads text eol=lf diff=ada
16+
*.hs text eol=lf
17+
*.chpl text eol=lf
18+
*.scm text eol=lf
19+
*.ncl text eol=lf
20+
*.nix text eol=lf
21+
22+
# Docs
23+
*.md text eol=lf diff=markdown
24+
*.adoc text eol=lf
25+
*.txt text eol=lf
26+
27+
# Data
28+
*.json text eol=lf
29+
*.yaml text eol=lf
30+
*.yml text eol=lf
31+
*.toml text eol=lf
32+
33+
# Config
34+
.gitignore text eol=lf
35+
.gitattributes text eol=lf
36+
justfile text eol=lf
37+
Makefile text eol=lf
38+
Containerfile text eol=lf
39+
40+
# Scripts
41+
*.sh text eol=lf
42+
43+
# Binary
44+
*.png binary
45+
*.jpg binary
46+
*.gif binary
47+
*.pdf binary
48+
*.woff2 binary
49+
*.zip binary
50+
*.gz binary
51+
52+
# Lock files
53+
Cargo.lock text eol=lf -diff
54+
flake.lock text eol=lf -diff

‎techstack-enforcer/.github/FUNDING.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
github: [hyperpolymath]
2+

‎techstack-enforcer/.github/ISSUE_TEMPLATE/bug_report.md‎

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
---
2+
name: Bug report
3+
about: Create a report to help us improve
4+
title: ''
5+
labels: ''
6+
assignees: ''
7+
8+
---
9+
10+
**Describe the bug**
11+
A clear and concise description of what the bug is.
12+
13+
**To Reproduce**
14+
Steps to reproduce the behavior:
15+
1. Go to '...'
16+
2. Click on '....'
17+
3. Scroll down to '....'
18+
4. See error
19+
20+
**Expected behavior**
21+
A clear and concise description of what you expected to happen.
22+
23+
**Screenshots**
24+
If applicable, add screenshots to help explain your problem.
25+
26+
**Desktop (please complete the following information):**
27+
- OS: [e.g. iOS]
28+
- Browser [e.g. chrome, safari]
29+
- Version [e.g. 22]
30+
31+
**Smartphone (please complete the following information):**
32+
- Device: [e.g. iPhone6]
33+
- OS: [e.g. iOS8.1]
34+
- Browser [e.g. stock browser, safari]
35+
- Version [e.g. 22]
36+
37+
**Additional context**
38+
Add any other context about the problem here.

‎techstack-enforcer/.github/ISSUE_TEMPLATE/custom.md‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
---
2+
name: Custom issue template
3+
about: Describe this issue template's purpose here.
4+
title: ''
5+
labels: ''
6+
assignees: ''
7+
8+
---
9+
10+

‎techstack-enforcer/.github/ISSUE_TEMPLATE/feature_request.md‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
---
2+
name: Feature request
3+
about: Suggest an idea for this project
4+
title: ''
5+
labels: ''
6+
assignees: ''
7+
8+
---
9+
10+
**Is your feature request related to a problem? Please describe.**
11+
A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]
12+
13+
**Describe the solution you'd like**
14+
A clear and concise description of what you want to happen.
15+
16+
**Describe alternatives you've considered**
17+
A clear and concise description of any alternative solutions or features you've considered.
18+
19+
**Additional context**
20+
Add any other context or screenshots about the feature request here.

‎techstack-enforcer/.github/dependabot.yml‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
# SPDX-License-Identifier: MPL-2.0-or-later
2+
version: 2
3+
updates:
4+
- package-ecosystem: "github-actions"
5+
directory: "/"
6+
schedule:
7+
interval: "daily"
8+
open-pull-requests-limit: 10
9+

0 commit comments

Comments
 (0)