Skip to content

Commit f5e4b89

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 3eb23b1 commit f5e4b89

6 files changed

Lines changed: 300 additions & 0 deletions

File tree

‎Justfile‎

Lines changed: 102 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -451,3 +451,105 @@ edit:
451451
# Run panic-attacker pre-commit scan
452452
assail:
453453
@command -v panic-attack >/dev/null 2>&1 && panic-attack assail . || echo "panic-attack not found — install from https://github.com/hyperpolymath/panic-attacker"
454+
455+
# ═══════════════════════════════════════════════════════════════════════════════
456+
# ONBOARDING & DIAGNOSTICS
457+
# ═══════════════════════════════════════════════════════════════════════════════
458+
459+
# Check all required toolchain dependencies and report health
460+
doctor:
461+
#!/usr/bin/env bash
462+
echo "═══════════════════════════════════════════════════"
463+
echo " Explicit Trust Plane Doctor — Toolchain Health Check"
464+
echo "═══════════════════════════════════════════════════"
465+
echo ""
466+
PASS=0; FAIL=0; WARN=0
467+
check() {
468+
local name="$1" cmd="$2" min="$3"
469+
if command -v "$cmd" >/dev/null 2>&1; then
470+
VER=$("$cmd" --version 2>&1 | head -1)
471+
echo " [OK] $name — $VER"
472+
PASS=$((PASS + 1))
473+
else
474+
echo " [FAIL] $name — not found (need $min+)"
475+
FAIL=$((FAIL + 1))
476+
fi
477+
}
478+
check "just" just "1.25"
479+
check "git" git "2.40"
480+
check "Zig" zig "0.13"
481+
# Optional tools
482+
if command -v panic-attack >/dev/null 2>&1; then
483+
echo " [OK] panic-attack — available"
484+
PASS=$((PASS + 1))
485+
else
486+
echo " [WARN] panic-attack — not found (pre-commit scanner)"
487+
WARN=$((WARN + 1))
488+
fi
489+
echo ""
490+
echo " Result: $PASS passed, $FAIL failed, $WARN warnings"
491+
if [ "$FAIL" -gt 0 ]; then
492+
echo " Run 'just heal' to attempt automatic repair."
493+
exit 1
494+
fi
495+
echo " All required tools present."
496+
497+
# Attempt to automatically install missing tools
498+
heal:
499+
#!/usr/bin/env bash
500+
echo "═══════════════════════════════════════════════════"
501+
echo " Explicit Trust Plane Heal — Automatic Tool Installation"
502+
echo "═══════════════════════════════════════════════════"
503+
echo ""
504+
if ! command -v just >/dev/null 2>&1; then
505+
echo "Installing just..."
506+
cargo install just 2>/dev/null || echo "Install just from https://just.systems"
507+
fi
508+
echo ""
509+
echo "Heal complete. Run 'just doctor' to verify."
510+
511+
# Guided tour of the project structure and key concepts
512+
tour:
513+
#!/usr/bin/env bash
514+
echo "═══════════════════════════════════════════════════"
515+
echo " Explicit Trust Plane — Guided Tour"
516+
echo "═══════════════════════════════════════════════════"
517+
echo ""
518+
echo '// SPDX-License-Identifier: PMPL-1.0-or-later'
519+
echo ""
520+
echo "Key directories:"
521+
echo " src/ Source code"
522+
echo " ffi/ Foreign function interface (Zig)"
523+
echo " src/abi/ Idris2 ABI definitions"
524+
echo " docs/ Documentation"
525+
echo " tests/ Test suite"
526+
echo " .github/workflows/ CI/CD workflows"
527+
echo " contractiles/ Must/Trust/Dust contracts"
528+
echo " .machine_readable/ Machine-readable metadata"
529+
echo " examples/ Usage examples"
530+
echo ""
531+
echo "Quick commands:"
532+
echo " just doctor Check toolchain health"
533+
echo " just heal Fix missing tools"
534+
echo " just help-me Common workflows"
535+
echo " just default List all recipes"
536+
echo ""
537+
echo "Read more: README.adoc, EXPLAINME.adoc"
538+
539+
# Show help for common workflows
540+
help-me:
541+
#!/usr/bin/env bash
542+
echo "═══════════════════════════════════════════════════"
543+
echo " Explicit Trust Plane — Common Workflows"
544+
echo "═══════════════════════════════════════════════════"
545+
echo ""
546+
echo "FIRST TIME SETUP:"
547+
echo " just doctor Check toolchain"
548+
echo " just heal Fix missing tools"
549+
echo ""
550+
echo "PRE-COMMIT:"
551+
echo " just assail Run panic-attacker scan"
552+
echo ""
553+
echo "LEARN:"
554+
echo " just tour Guided project tour"
555+
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+
= Explicit Trust Plane — 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/explicit-trust-plane
17+
cd explicit-trust-plane
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+
= Explicit Trust Plane — 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 explicit-trust-plane: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+
= Explicit Trust Plane — 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/explicit-trust-plane
16+
cd explicit-trust-plane
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/explicit-trust-plane/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 Explicit Trust Plane.
7+
@end
8+
9+
## Purpose
10+
11+
Explicit Trust Plane — // SPDX-License-Identifier: PMPL-1.0-or-later
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.

‎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+
# Explicit Trust Plane — 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 " Explicit Trust Plane — 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)