eclexia/Mustfile at main · hyperpolymath/eclexia · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
# SPDX-License-Identifier: PMPL-1.0-or-later
# Mustfile - eclexia invariants and quality gates

version: 1

metadata:
  name: eclexia-invariants
  spec: v1
  description: "Invariant checks for code quality, documentation state, security workflows, and FFI/ABI boundaries."

checks:
  - name: format
    run: "just fmt-check"

  - name: lint
    run: "just lint"

  - name: unit-tests
    run: "just test-unit"

  - name: integration-tests
    run: "just test-integration"

  - name: conformance-tests
    run: "just test-conformance"

  - name: p2p-tests
    run: "just test-p2p"

  - name: e2e-smoke
    run: "just test-e2e"

  - name: bench-smoke
    run: "just bench-smoke"

  - name: security-scan
    run: "just panic-attack"

  - name: machine-readable-docs-present
    run: "bash -euo pipefail -c 'test -f .machine_readable/STATE.scm && test -f .machine_readable/META.scm && test -f .machine_readable/ECOSYSTEM.scm'"

  - name: human-readable-docs-present
    run: "bash -euo pipefail -c 'test -f README.adoc && test -f QUICK_STATUS.md && test -f SPECIFICATION.md && test -f docs/README.md && test -f docs/wiki/Home.md'"

  - name: hypatia-workflow-present
    run: "test -f .github/workflows/hypatia-scan.yml"

  - name: gitbot-fleet-integration-present
    run: "bash -euo pipefail -c 'rg -q gitbot-fleet .github/workflows/hypatia-scan.yml'"

  - name: trustfile-present
    run: "test -f .machine_readable/contractiles/trust/Trustfile.a2ml"

  - name: intentfile-present
    run: "test -f .machine_readable/contractiles/lust/Intentfile"

  - name: docs-check
    run: "just docs-check"

  - name: abi-extension-surface-present
    run: >
      bash -euo pipefail -c 'rg -q "ecl_abi_get_info" generated/abi/eclexia_ffi.h && rg -q "ecl_tracker_create_ex" generated/abi/eclexia_ffi.h && rg -q "ecl_tracker_snapshot" generated/abi/eclexia_ffi.h'

  - name: ffi-pure-zig
    run: >
      bash -euo pipefail -c 'if find ffi -type f ! -name "*.zig" | grep -q .; then echo "non-zig file found under ffi/"; find ffi -type f ! -name "*.zig"; exit 1; fi'

  - name: abi-pure-idris2
    run: >
      bash -euo pipefail -c 'if find src/abi -type f ! -name "*.idr" | grep -q .; then echo "non-idris file found under src/abi/"; find src/abi -type f ! -name "*.idr"; exit 1; fi'