Skip to content

Commit 0d8cd2f

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 7364760 commit 0d8cd2f

7 files changed

Lines changed: 334 additions & 0 deletions

File tree

‎Justfile‎

Lines changed: 111 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -220,3 +220,114 @@ build-riscv:
220220
# Run panic-attacker pre-commit scan
221221
assail:
222222
@command -v panic-attack >/dev/null 2>&1 && panic-attack assail . || echo "panic-attack not found — install from https://github.com/hyperpolymath/panic-attacker"
223+
224+
# ═══════════════════════════════════════════════════════════════════════════════
225+
# ONBOARDING & DIAGNOSTICS
226+
# ═══════════════════════════════════════════════════════════════════════════════
227+
228+
# Check all required toolchain dependencies and report health
229+
doctor:
230+
#!/usr/bin/env bash
231+
echo "═══════════════════════════════════════════════════"
232+
echo " Conative Gating Doctor — Toolchain Health Check"
233+
echo "═══════════════════════════════════════════════════"
234+
echo ""
235+
PASS=0; FAIL=0; WARN=0
236+
check() {
237+
local name="$1" cmd="$2" min="$3"
238+
if command -v "$cmd" >/dev/null 2>&1; then
239+
VER=$("$cmd" --version 2>&1 | head -1)
240+
echo " [OK] $name — $VER"
241+
PASS=$((PASS + 1))
242+
else
243+
echo " [FAIL] $name — not found (need $min+)"
244+
FAIL=$((FAIL + 1))
245+
fi
246+
}
247+
check "just" just "1.25"
248+
check "git" git "2.40"
249+
check "Rust (cargo)" cargo "1.80"
250+
check "Zig" zig "0.13"
251+
# Optional tools
252+
if command -v panic-attack >/dev/null 2>&1; then
253+
echo " [OK] panic-attack — available"
254+
PASS=$((PASS + 1))
255+
else
256+
echo " [WARN] panic-attack — not found (pre-commit scanner)"
257+
WARN=$((WARN + 1))
258+
fi
259+
echo ""
260+
echo " Result: $PASS passed, $FAIL failed, $WARN warnings"
261+
if [ "$FAIL" -gt 0 ]; then
262+
echo " Run 'just heal' to attempt automatic repair."
263+
exit 1
264+
fi
265+
echo " All required tools present."
266+
267+
# Attempt to automatically install missing tools
268+
heal:
269+
#!/usr/bin/env bash
270+
echo "═══════════════════════════════════════════════════"
271+
echo " Conative Gating Heal — Automatic Tool Installation"
272+
echo "═══════════════════════════════════════════════════"
273+
echo ""
274+
if ! command -v cargo >/dev/null 2>&1; then
275+
echo "Installing Rust via rustup..."
276+
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
277+
source "$HOME/.cargo/env"
278+
fi
279+
if ! command -v just >/dev/null 2>&1; then
280+
echo "Installing just..."
281+
cargo install just 2>/dev/null || echo "Install just from https://just.systems"
282+
fi
283+
echo ""
284+
echo "Heal complete. Run 'just doctor' to verify."
285+
286+
# Guided tour of the project structure and key concepts
287+
tour:
288+
#!/usr/bin/env bash
289+
echo "═══════════════════════════════════════════════════"
290+
echo " Conative Gating — Guided Tour"
291+
echo "═══════════════════════════════════════════════════"
292+
echo ""
293+
echo 'Jonathan D.A. Jewell <jonathan@hyperpolymath.org>'
294+
echo ""
295+
echo "Key directories:"
296+
echo " src/ Source code"
297+
echo " ffi/ Foreign function interface (Zig)"
298+
echo " src/abi/ Idris2 ABI definitions"
299+
echo " docs/ Documentation"
300+
echo " .github/workflows/ CI/CD workflows"
301+
echo " contractiles/ Must/Trust/Dust contracts"
302+
echo " .machine_readable/ Machine-readable metadata"
303+
echo " examples/ Usage examples"
304+
echo ""
305+
echo "Quick commands:"
306+
echo " just doctor Check toolchain health"
307+
echo " just heal Fix missing tools"
308+
echo " just help-me Common workflows"
309+
echo " just default List all recipes"
310+
echo ""
311+
echo "Read more: README.adoc, EXPLAINME.adoc"
312+
313+
# Show help for common workflows
314+
help-me:
315+
#!/usr/bin/env bash
316+
echo "═══════════════════════════════════════════════════"
317+
echo " Conative Gating — Common Workflows"
318+
echo "═══════════════════════════════════════════════════"
319+
echo ""
320+
echo "FIRST TIME SETUP:"
321+
echo " just doctor Check toolchain"
322+
echo " just heal Fix missing tools"
323+
echo ""
324+
echo "DEVELOPMENT:"
325+
echo " cargo build Build the project"
326+
echo " cargo test Run tests"
327+
echo ""
328+
echo "PRE-COMMIT:"
329+
echo " just assail Run panic-attacker scan"
330+
echo ""
331+
echo "LEARN:"
332+
echo " just tour Guided project tour"
333+
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+
= Conative Gating — 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/conative-gating
17+
cd conative-gating
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+
= Conative Gating — 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 conative-gating: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+
= Conative Gating — 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/conative-gating
16+
cd conative-gating
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/conative-gating/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 Conative Gating.
7+
@end
8+
9+
## Purpose
10+
11+
Conative Gating — Jonathan D.A. Jewell <jonathan@hyperpolymath.org>
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 Conative Gating.
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+
# Conative Gating — 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 " Conative Gating — 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)