Skip to content

Commit 9931366

Browse files
hyperpolymathclaude
hyperpolymath
and
claude
committed
chore: add UX infrastructure (quickstart, doctor, setup)
Added by ux-rollout.jl batch script. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent af07473 commit 9931366

7 files changed

Lines changed: 325 additions & 0 deletions

File tree

‎Justfile‎

Lines changed: 102 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -55,3 +55,105 @@ pre-commit: check
5555
# Run panic-attacker pre-commit scan
5656
assail:
5757
@command -v panic-attack >/dev/null 2>&1 && panic-attack assail . || echo "panic-attack not found — install from https://github.com/hyperpolymath/panic-attacker"
58+
59+
# ═══════════════════════════════════════════════════════════════════════════════
60+
# ONBOARDING & DIAGNOSTICS
61+
# ═══════════════════════════════════════════════════════════════════════════════
62+
63+
# Check all required toolchain dependencies and report health
64+
doctor:
65+
#!/usr/bin/env bash
66+
echo "═══════════════════════════════════════════════════"
67+
echo " Feedback O Tron Doctor — Toolchain Health Check"
68+
echo "═══════════════════════════════════════════════════"
69+
echo ""
70+
PASS=0; FAIL=0; WARN=0
71+
check() {
72+
local name="$1" cmd="$2" min="$3"
73+
if command -v "$cmd" >/dev/null 2>&1; then
74+
VER=$("$cmd" --version 2>&1 | head -1)
75+
echo " [OK] $name — $VER"
76+
PASS=$((PASS + 1))
77+
else
78+
echo " [FAIL] $name — not found (need $min+)"
79+
FAIL=$((FAIL + 1))
80+
fi
81+
}
82+
check "just" just "1.25"
83+
check "git" git "2.40"
84+
check "Zig" zig "0.13"
85+
# Optional tools
86+
if command -v panic-attack >/dev/null 2>&1; then
87+
echo " [OK] panic-attack — available"
88+
PASS=$((PASS + 1))
89+
else
90+
echo " [WARN] panic-attack — not found (pre-commit scanner)"
91+
WARN=$((WARN + 1))
92+
fi
93+
echo ""
94+
echo " Result: $PASS passed, $FAIL failed, $WARN warnings"
95+
if [ "$FAIL" -gt 0 ]; then
96+
echo " Run 'just heal' to attempt automatic repair."
97+
exit 1
98+
fi
99+
echo " All required tools present."
100+
101+
# Attempt to automatically install missing tools
102+
heal:
103+
#!/usr/bin/env bash
104+
echo "═══════════════════════════════════════════════════"
105+
echo " Feedback O Tron Heal — Automatic Tool Installation"
106+
echo "═══════════════════════════════════════════════════"
107+
echo ""
108+
if ! command -v just >/dev/null 2>&1; then
109+
echo "Installing just..."
110+
cargo install just 2>/dev/null || echo "Install just from https://just.systems"
111+
fi
112+
echo ""
113+
echo "Heal complete. Run 'just doctor' to verify."
114+
115+
# Guided tour of the project structure and key concepts
116+
tour:
117+
#!/usr/bin/env bash
118+
echo "═══════════════════════════════════════════════════"
119+
echo " Feedback O Tron — Guided Tour"
120+
echo "═══════════════════════════════════════════════════"
121+
echo ""
122+
echo 'Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>'
123+
echo ""
124+
echo "Key directories:"
125+
echo " src/ Source code"
126+
echo " ffi/ Foreign function interface (Zig)"
127+
echo " src/abi/ Idris2 ABI definitions"
128+
echo " docs/ Documentation"
129+
echo " tests/ Test suite"
130+
echo " .github/workflows/ CI/CD workflows"
131+
echo " contractiles/ Must/Trust/Dust contracts"
132+
echo " .machine_readable/ Machine-readable metadata"
133+
echo " examples/ Usage examples"
134+
echo ""
135+
echo "Quick commands:"
136+
echo " just doctor Check toolchain health"
137+
echo " just heal Fix missing tools"
138+
echo " just help-me Common workflows"
139+
echo " just default List all recipes"
140+
echo ""
141+
echo "Read more: README.adoc, EXPLAINME.adoc"
142+
143+
# Show help for common workflows
144+
help-me:
145+
#!/usr/bin/env bash
146+
echo "═══════════════════════════════════════════════════"
147+
echo " Feedback O Tron — Common Workflows"
148+
echo "═══════════════════════════════════════════════════"
149+
echo ""
150+
echo "FIRST TIME SETUP:"
151+
echo " just doctor Check toolchain"
152+
echo " just heal Fix missing tools"
153+
echo ""
154+
echo "PRE-COMMIT:"
155+
echo " just assail Run panic-attacker scan"
156+
echo ""
157+
echo "LEARN:"
158+
echo " just tour Guided project tour"
159+
echo " just default List all recipes"

‎QUICKSTART-DEV.adoc‎

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
= Feedback O Tron — Developer Quickstart
2+
:toc: preamble
3+
4+
Clone, build, test, contribute.
5+
6+
== Prerequisites
7+
8+
* Git 2.40+
9+
* just (command runner)
10+
* See `just doctor` output for language-specific requirements
11+
12+
== Setup
13+
14+
[source,bash]
15+
----
16+
git clone https://github.com/hyperpolymath/feedback-o-tron
17+
cd feedback-o-tron
18+
just doctor # verify toolchain
19+
just heal # auto-install missing tools
20+
----
21+
22+
== Development Workflow
23+
24+
[source,bash]
25+
----
26+
just tour # understand the codebase
27+
just help-me # see available commands
28+
----
29+
30+
== Before Committing
31+
32+
[source,bash]
33+
----
34+
just assail # run panic-attacker security scan
35+
----
36+
37+
== Contributing
38+
39+
See link:CONTRIBUTING.md[CONTRIBUTING.md] for guidelines.

‎QUICKSTART-MAINTAINER.adoc‎

Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
= Feedback O Tron — Maintainer Quickstart
2+
:toc: preamble
3+
4+
Packaging, deployment, and release management.
5+
6+
== Prerequisites
7+
8+
* Git 2.40+
9+
* just (command runner)
10+
* Familiarity with the project (run `just tour` first)
11+
12+
== CI/CD
13+
14+
This project uses GitHub Actions. Workflows are in `.github/workflows/`.
15+
16+
Key workflows:
17+
18+
* `hypatia-scan.yml` — Neurosymbolic security scanning
19+
* `codeql.yml` — Code analysis
20+
* `scorecard.yml` — OpenSSF Scorecard
21+
* `mirror.yml` — GitLab/Bitbucket mirroring
22+
23+
== Releasing
24+
25+
1. Update version in project config
26+
2. Update CHANGELOG.md
27+
3. Tag: `git tag -s v<VERSION>`
28+
4. Push: `git push origin main --tags`
29+
30+
== Container Build (if applicable)
31+
32+
[source,bash]
33+
----
34+
podman build -f Containerfile -t feedback-o-tron:latest .
35+
----
36+
37+
== Mirrors
38+
39+
This repo is mirrored to GitLab and Bitbucket (hyperpolymath accounts)
40+
via the `mirror.yml` workflow.

‎QUICKSTART-USER.adoc‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
= Feedback O Tron — User Quickstart
2+
:toc: preamble
3+
4+
Get up and running in 60 seconds.
5+
6+
== Prerequisites
7+
8+
* Git 2.40+
9+
* just (command runner) — https://just.systems
10+
11+
== Install
12+
13+
[source,bash]
14+
----
15+
git clone https://github.com/hyperpolymath/feedback-o-tron
16+
cd feedback-o-tron
17+
just doctor # check toolchain
18+
just heal # auto-install missing tools
19+
----
20+
21+
== First Run
22+
23+
[source,bash]
24+
----
25+
just tour # guided project tour
26+
just help-me # see common workflows
27+
----
28+
29+
== Get Help
30+
31+
* `just help-me` — common workflows
32+
* `just doctor` — diagnose toolchain issues
33+
* https://github.com/hyperpolymath/feedback-o-tron/issues — report bugs

‎contractiles/intend/Intentfile.a2ml‎

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
2+
# Intentfile (A2ML Canonical)
3+
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
4+
5+
@abstract:
6+
Declared intent and purpose for Feedback O Tron.
7+
@end
8+
9+
## Purpose
10+
11+
Feedback O Tron — Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
12+
13+
## Anti-Purpose
14+
15+
This project is NOT:
16+
- A fork or wrapper around another tool
17+
- A monorepo (unless explicitly structured as one)
18+
19+
## If In Doubt
20+
21+
If you are unsure whether a change is in scope, ask.
22+
Sensitive areas: ABI definitions, license headers, CI workflows.

‎contractiles/trust/Trustfile.a2ml‎

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
2+
# Trustfile (A2ML Canonical)
3+
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
4+
5+
@abstract:
6+
Trust and provenance verification for Feedback O Tron.
7+
Maximal trust by default — LLM may read, build, test, lint, format.
8+
@end
9+
10+
@trust-level: maximal
11+
@trust-boundary: repo
12+
@trust-actions: [read, build, test, lint, format]
13+
@trust-deny: [delete-branch, force-push, modify-ci-secrets, publish]
14+
15+
## Integrity
16+
17+
### license-content
18+
- description: LICENSE contains expected SPDX identifier
19+
- run: grep -q 'SPDX\|License\|MIT\|Apache\|PMPL\|MPL' LICENSE
20+
- severity: critical
21+
22+
### no-secrets-committed
23+
- description: No .env or credential files in repo
24+
- run: test ! -f .env && test ! -f credentials.json && test ! -f .env.local
25+
- severity: critical

‎setup.sh‎

Lines changed: 64 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
1+
#!/usr/bin/env bash
2+
# SPDX-License-Identifier: PMPL-1.0-or-later
3+
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
4+
#
5+
# Feedback O Tron — Universal Setup Script
6+
# Detects platform and shell, installs just, then hands off to Justfile.
7+
8+
set -euo pipefail
9+
10+
echo "═══════════════════════════════════════════════════"
11+
echo " Feedback O Tron — Setup"
12+
echo "═══════════════════════════════════════════════════"
13+
echo ""
14+
15+
# Platform detection
16+
OS="$(uname -s)"
17+
ARCH="$(uname -m)"
18+
echo "Platform: $OS $ARCH"
19+
20+
# Shell detection
21+
CURRENT_SHELL="$(basename "$SHELL" 2>/dev/null || echo "unknown")"
22+
echo "Shell: $CURRENT_SHELL"
23+
echo ""
24+
25+
# Check for just
26+
if ! command -v just >/dev/null 2>&1; then
27+
echo "just (command runner) is required but not installed."
28+
echo ""
29+
case "$OS" in
30+
Linux)
31+
if command -v cargo >/dev/null 2>&1; then
32+
echo "Installing just via cargo..."
33+
cargo install just
34+
elif command -v brew >/dev/null 2>&1; then
35+
echo "Installing just via Homebrew..."
36+
brew install just
37+
else
38+
echo "Install just from: https://just.systems/man/en/installation.html"
39+
exit 1
40+
fi
41+
;;
42+
Darwin)
43+
if command -v brew >/dev/null 2>&1; then
44+
echo "Installing just via Homebrew..."
45+
brew install just
46+
else
47+
echo "Install Homebrew first: https://brew.sh"
48+
echo "Then: brew install just"
49+
exit 1
50+
fi
51+
;;
52+
*)
53+
echo "Install just from: https://just.systems/man/en/installation.html"
54+
exit 1
55+
;;
56+
esac
57+
echo ""
58+
fi
59+
60+
echo "Running diagnostics..."
61+
just doctor
62+
63+
echo ""
64+
echo "Setup complete. Run 'just help-me' for common workflows."

0 commit comments

Comments
 (0)