Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions .github/workflows/actions.lock
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ workflows:
- 'github/codeql-action@b96794f015dfd88f77b49b1c93e0fa7110f94c63'
'.github/workflows/main-estate-audit.yml':
- 'actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1'
- 'hyperpolymath/cicd-suite@5a10b72e574ef63855fafd4568a4c178657f3294'
- 'hyperpolymath/cicd-suite@4c772eb235b04455307d5c03cbbc4f45130f7f0f'
'.github/workflows/pages.yml':
- 'actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1'
- 'actions/deploy-pages@368f82528645a54fb793d4d04e342629a3f51346'
Expand Down Expand Up @@ -47,9 +47,9 @@ dependencies:
commit: 'sha1-b96794f015dfd88f77b49b1c93e0fa7110f94c63'
owner_id: 9919
repo_id: 259445878
'hyperpolymath/cicd-suite@5a10b72e574ef63855fafd4568a4c178657f3294':
'hyperpolymath/cicd-suite@4c772eb235b04455307d5c03cbbc4f45130f7f0f':
ref: 'main'
commit: 'sha1-5a10b72e574ef63855fafd4568a4c178657f3294'
commit: 'sha1-4c772eb235b04455307d5c03cbbc4f45130f7f0f'
owner_id: 6759885
repo_id: 1326697643
uses:
Expand Down
56 changes: 30 additions & 26 deletions .github/workflows/main-estate-audit.yml
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
# SPDX-License-Identifier: MPL-2.0
# This workflow is managed by gh actions-lock.

name: Central Estate CI/CD Audit
Expand All @@ -8,86 +9,89 @@
pull_request:
branches: [ "main" ]

permissions:
contents: read

jobs:
estate-audit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7

- name: Required Files Gate
uses: hyperpolymath/cicd-suite/actions/required-files-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/required-files-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Code Hygiene Gate
uses: hyperpolymath/cicd-suite/actions/code-hygiene-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/code-hygiene-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Manifest Validation Gate
uses: hyperpolymath/cicd-suite/actions/manifest-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/manifest-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Idris2 ABI Purity Gate
uses: hyperpolymath/cicd-suite/actions/idris2-abi-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/idris2-abi-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Zig UnifiedApiAdapter API Gate
uses: hyperpolymath/cicd-suite/actions/zig-unified-api-adapter-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/zig-unified-api-adapter-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Contractile Validation Gate
uses: hyperpolymath/cicd-suite/actions/contractile-validation-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/contractile-validation-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Recipes Set Validation Gate
uses: hyperpolymath/cicd-suite/actions/recipes-set-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/recipes-set-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Affirmation Document Gate
uses: hyperpolymath/cicd-suite/actions/affirmation-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/affirmation-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Academic Referencing Gate
uses: hyperpolymath/cicd-suite/actions/referencing-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/referencing-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Semantic Audit Gate
uses: hyperpolymath/cicd-suite/actions/semantic-audit-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/semantic-audit-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: SPDX License Gate
uses: hyperpolymath/cicd-suite/actions/spdx-license-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/spdx-license-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Proof Runner Gate
uses: hyperpolymath/cicd-suite/actions/proof-runner-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/proof-runner-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: PRAT Testing Gate
uses: hyperpolymath/cicd-suite/actions/prat-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/prat-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Panic Attack & Pons Gate
uses: hyperpolymath/cicd-suite/actions/custom-tools-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/custom-tools-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: WWW & Well-Known Compliance Gate
uses: hyperpolymath/cicd-suite/actions/www-compliance-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/www-compliance-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: BoJ Cartridge Validation Gate
uses: hyperpolymath/cicd-suite/actions/boj-cartridge-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/boj-cartridge-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Formatting Validation Gate
uses: hyperpolymath/cicd-suite/actions/formatting-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/formatting-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Accreditations & Badges Gate
uses: hyperpolymath/cicd-suite/actions/badges-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/badges-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Metrics Extraction Gate
uses: hyperpolymath/cicd-suite/actions/metrics-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/metrics-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Linguist & Banned Languages Gate
uses: hyperpolymath/cicd-suite/actions/linguist-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/linguist-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Test & Benchmarks Dashboard Gate
uses: hyperpolymath/cicd-suite/actions/tests-benches-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/tests-benches-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Hosting & Site Status Gate
uses: hyperpolymath/cicd-suite/actions/hosting-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/hosting-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Git-Sea Analytics Gate
uses: hyperpolymath/cicd-suite/actions/gitsea-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/gitsea-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Trust & Humans Validation Gate
uses: hyperpolymath/cicd-suite/actions/trust-humans-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/trust-humans-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Are We UnAPI Gate (Secret Scanning)
uses: hyperpolymath/cicd-suite/actions/secrets-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/secrets-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main

- name: Reasonably Good Token Validation Gate
uses: hyperpolymath/cicd-suite/actions/vaulted-tokens-check@5a10b72e574ef63855fafd4568a4c178657f3294 # main
uses: hyperpolymath/cicd-suite/actions/vaulted-tokens-check@4c772eb235b04455307d5c03cbbc4f45130f7f0f # main
2 changes: 1 addition & 1 deletion .github/workflows/rust-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ permissions:

jobs:
rust-ci:
uses: hyperpolymath/standards/.github/workflows/rust-ci-reusable.yml@d135b05bfc647d0c0fbfedc7e80f37ea50f49236
uses: hyperpolymath/standards/.github/workflows/rust-ci-reusable.yml@eafcfbb5933dde8b42fdbd61483794bb75fb4c97

# The reusable job tests default features only; this keeps the feature-gated
# git ingest compiling (it silently broke once β€” git2 0.21 API drift).
Expand Down
54 changes: 27 additions & 27 deletions Justfile
Original file line number Diff line number Diff line change
Expand Up @@ -68,14 +68,14 @@ doctor:
check "just" just "1.25"
check "git" git "2.40"
check "Rust (cargo)" cargo "1.80"
# Optional tools
if command -v panic-attack >/dev/null 2>&1; then
echo " [OK] panic-attack β€” available"
PASS=$((PASS + 1))
else
echo " [WARN] panic-attack β€” not found (pre-commit scanner)"
WARN=$((WARN + 1))
fi
# Optional tools
if command -v panic-attack >/dev/null 2>&1; then
echo " [OK] panic-attack β€” available"
PASS=$((PASS + 1))
else
echo " [WARN] panic-attack β€” not found (pre-commit scanner)"
WARN=$((WARN + 1))
fi
echo ""
echo " Result: $PASS passed, $FAIL failed, $WARN warnings"
if [ "$FAIL" -gt 0 ]; then
Expand All @@ -91,15 +91,15 @@ heal:
echo " Git Reticulator Heal β€” Automatic Tool Installation"
echo "═══════════════════════════════════════════════════"
echo ""
if ! command -v cargo >/dev/null 2>&1; then
echo "Installing Rust via rustup..."
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
source "$HOME/.cargo/env"
fi
if ! command -v just >/dev/null 2>&1; then
echo "Installing just..."
cargo install just 2>/dev/null || echo "Install just from https://just.systems"
fi
if ! command -v cargo >/dev/null 2>&1; then
echo "Installing Rust via rustup..."
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
source "$HOME/.cargo/env"
fi
if ! command -v just >/dev/null 2>&1; then
echo "Installing just..."
cargo install just 2>/dev/null || echo "Install just from https://just.systems"
fi
echo ""
echo "Heal complete. Run 'just doctor' to verify."

Expand Down Expand Up @@ -133,20 +133,20 @@ help-me:
echo " Git Reticulator β€” Common Workflows"
echo "═══════════════════════════════════════════════════"
echo ""
echo "FIRST TIME SETUP:"
echo " just doctor Check toolchain"
echo " just heal Fix missing tools"
echo ""
echo "FIRST TIME SETUP:"
echo " just doctor Check toolchain"
echo " just heal Fix missing tools"
echo ""
echo "DEVELOPMENT:"
echo " cargo build Build the project"
echo " cargo test Run tests"
echo ""
echo "PRE-COMMIT:"
echo " just assail Run panic-attacker scan"
echo ""
echo "LEARN:"
echo " just tour Guided project tour"
echo " just default List all recipes"
echo "PRE-COMMIT:"
echo " just assail Run panic-attacker scan"
echo ""
echo "LEARN:"
echo " just tour Guided project tour"
echo " just default List all recipes"


# Print the current CRG grade (reads from READINESS.md '**Current Grade:** X' line)
Expand Down
3 changes: 2 additions & 1 deletion benches/git_reticulator_bench.rs
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,10 @@
// engine/precedes - node partial-order query (condenses internally per call)
// engine/ingest - std-only filesystem walk of this repo's own `src/` tree

use criterion::{black_box, criterion_group, criterion_main, BenchmarkId, Criterion};
use criterion::{criterion_group, criterion_main, BenchmarkId, Criterion};
use git_reticulator::ingest;
use git_reticulator::lattice::{Lattice, LatticeBuilder, SemanticLevel};
use std::hint::black_box;

/// Build a synthetic lattice of `modules` modules, each with `files_per` files,
/// each with `defs_per` definitions (Module βŠƒ File βŠƒ Definition). Definitions
Expand Down
Loading