tools: math artifact hypergraph (Hypergraph-DB) — organization only, NOT A RESULT

.github/workflows/math-hypergraph.yml

@@ -0,0 +1,72 @@
+name: Math hypergraph (organization only)
+'on':
+  pull_request:
+    paths:
+      - 'tools/hypergraph/**'
+      - 'data/hypergraph/**'
+      - 'docs/site/dependency-source/GRAPH.json'
+      - 'data/hypergraph/math_coverage_ledger_20261023.md'
+      - '.github/workflows/math-hypergraph.yml'
+  push:
+    branches: [main]
+    paths:
+      - 'tools/hypergraph/**'
+      - 'data/hypergraph/**'
+      - 'docs/site/dependency-source/GRAPH.json'
+      - 'data/hypergraph/math_coverage_ledger_20261023.md'
+      - '.github/workflows/math-hypergraph.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  hypergraph:
+    name: math-hypergraph
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
+        with:
+          persist-credentials: false
+      # Read-only checkouts of the other public repos (no secrets). If one is private
+      # or unavailable the step is skipped and the builder prints "skip <repo>".
+      - name: Checkout Math- (public, read-only)
+        continue-on-error: true
+        uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
+        with:
+          repository: d6g8k5htny-coder/Math-
+          path: external/Math-
+          persist-credentials: false
+      - name: Checkout query- (public, read-only)
+        continue-on-error: true
+        uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
+        with:
+          repository: d6g8k5htny-coder/query-
+          path: external/query-
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97
+        with:
+          python-version: '3.12'
+          cache: pip
+          cache-dependency-path: tools/hypergraph/requirements.txt
+      - name: Install pinned requirements
+        run: python -m pip install -r tools/hypergraph/requirements.txt
+      - name: Tests
+        run: python -m pytest -q -p no:cacheprovider tools/hypergraph
+      - name: build --check (committed outputs match a fresh rebuild)
+        run: python -m tools.hypergraph.math_hypergraph build --check
+      - name: validate
+        run: python -m tools.hypergraph.math_hypergraph validate
+      - name: gaps
+        run: python -m tools.hypergraph.math_hypergraph gaps
+      - name: Build all-repo bundle with PNG
+        run: |
+          set -euo pipefail
+          python -m tools.hypergraph.math_hypergraph repos
+          python -m tools.hypergraph.math_hypergraph export "$RUNNER_TEMP/hypergraph" --repos all --png
+          ls -l "$RUNNER_TEMP/hypergraph"
+      - uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9
+        with:
+          name: math-hypergraph
+          path: ${{ runner.temp }}/hypergraph/
+          if-no-files-found: error
+          retention-days: 14

data/hypergraph/README.md

@@ -0,0 +1,39 @@
+# Math artifact hypergraph — organization only, NOT A RESULT
+
+credit 0 · OBL OPEN · no flags. This indexes existing records; it makes no correctness claim.
+
+Built with Hypergraph-DB 0.4.0 by `tools/hypergraph/math_hypergraph.py`. Each coverage-ledger row is
+**one hyperedge** whose `roles` map labels members as unit / source / review / impl / node / lane / record.
+
+## Inputs (all in-repo)
+- `math_coverage_ledger_20261023.md` — RETRO-MATH-BIND-02 ledger copy (header corrected: sourced 211, not 215).
+- `../../docs/site/dependency-source/GRAPH.json` — 49 graph nodes (#527).
+- `graph_binding_report_20261023.json` — #527 binding report snapshot (21 bound nodes).
+
+## Outputs
+`math_hypergraph.json` (vertices + hyperedges), `query_results.json` (gaps, reach example, shared impls),
+`bindings_hypergraph.png` (CI artifact only: the hyperedges that touch a graph node).
+
+## Rebuild / query
+Locally (from the repo root, Python 3.11/3.12):
+```
+pip install -r tools/hypergraph/requirements.txt
+python -m tools.hypergraph.math_hypergraph build            # regenerate these JSON files (main only)
+python -m tools.hypergraph.math_hypergraph build --check    # CI gate: exit 1 if stale
+python -m tools.hypergraph.math_hypergraph reach main:node:math.d1-component.congruence-erratum 2
+python -m tools.hypergraph.math_hypergraph gaps
+python -m tools.hypergraph.math_hypergraph validate
+python -m tools.hypergraph.math_hypergraph shared-impl 5
+python -m tools.hypergraph.math_hypergraph export /tmp/hg-bundle --repos all --png
+pytest tools/hypergraph
+```
+On GitHub: `.github/workflows/math-hypergraph.yml` runs the same steps on PRs/pushes touching these inputs or via
+workflow_dispatch, with read-only checkouts of public Math- and query-, and uploads the all-repo bundle + PNG as the
+`math-hypergraph` artifact. Vertex keys are repo-prefixed (`main:`, `Math-:`, `query-:`). See `tools/hypergraph/README.md`.
+The PNG is a build artifact (optional, `--png`), not committed.
+
+## Gap counts (2026-10-23)
+344 units / 1234 vertices / 344 hyperedges. Sourced 211 (133 missing). Implemented 296 (48 missing),
+of which 30 are placeholder-only ("in PR head" / "per census", no artifact). Bound units 14.
+28 of 49 graph nodes unbound per #527; 13 nodes touched by no unit. Role problems 0.
+Dropbox not crawled.