v0.1.0 release prep

Author: TYLERSFOSTER

.github/ISSUE_TEMPLATE/bug_report.md

@@ -0,0 +1,40 @@
+---
+name: Bug report
+about: Report a reproducible problem in jet_simplex_search
+title: "[Bug]: "
+labels: bug
+assignees: ""
+---
+
+## Observed Behavior
+
+Describe what happened.
+
+## Expected Behavior
+
+Describe what you expected to happen.
+
+## Minimal Graph/Input
+
+```python
+# Include vertices, edges, labels, k, and contraction schema if relevant.
+```
+
+## Environment
+
+- Python version:
+- `jet_simplex_search` version or commit:
+- `state_collapser` version/source:
+- Operating system:
+
+## Command Run
+
+```bash
+
+```
+
+## Traceback Or Output
+
+```text
+
+```

.github/ISSUE_TEMPLATE/feature_request.md

@@ -0,0 +1,32 @@
+---
+name: Feature request
+about: Propose a package feature or API extension
+title: "[Feature]: "
+labels: enhancement
+assignees: ""
+---
+
+## Requested Behavior
+
+Describe the feature.
+
+## Mathematical Or Graph Context
+
+Describe the graph/simplex/tower situation this would support.
+
+## Expected API Shape
+
+```python
+# Optional sketch.
+```
+
+## Deferred-Feature Boundary
+
+Does this touch any deferred area?
+
+- [ ] Kan replacement or horn filling
+- [ ] Expanded H witness artifacts
+- [ ] Acceleration backend
+- [ ] Neural message passing
+- [ ] HGraphML integration
+- [ ] Other:

.github/pull_request_template.md

@@ -0,0 +1,20 @@
+## Summary
+
+- 
+
+## Tests Run
+
+```text
+
+```
+
+## Release-Claim Checklist
+
+- [ ] I preserved Abdullah N. Malik attribution.
+- [ ] I preserved the `HGraphML` boundary: this repo does simplex search and
+      quotient lifting, not neural message passing.
+- [ ] I did not add PyPI, production-ready, or benchmark-superiority claims.
+- [ ] I did not claim Kan replacement or horn filling unless implemented and
+      tested.
+- [ ] I did not claim CinchNET, PTVNN, or neural message passing in this repo.
+- [ ] I updated tests, docs, or release notes for any public behavior change.

.github/workflows/test.yml

@@ -0,0 +1,50 @@
+name: Test
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+
+jobs:
+  test:
+    name: Python ${{ matrix.python-version }}
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version:
+          - "3.11"
+          - "3.12"
+
+    steps:
+      - name: Check out repository
+        uses: actions/checkout@v4
+
+      - name: Install uv
+        uses: astral-sh/setup-uv@v5
+
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python-version }}
+
+      - name: Install dependencies
+        run: uv sync
+
+      - name: Ruff lint
+        run: uv run ruff check .
+
+      - name: Ruff format check
+        run: uv run ruff format --check .
+
+      - name: Pytest
+        run: uv run pytest
+
+      - name: Release hygiene
+        run: uv run python scripts/release_hygiene.py --repo-root .
+
+      - name: Build package
+        run: uv build

CONTRIBUTING.md

@@ -0,0 +1,53 @@
+# Contributing
+
+Thanks for helping improve `jet_simplex_search`.
+
+## Setup
+
+```bash
+git clone https://github.com/TYLERSFOSTER/jet_simplex_search.git
+cd jet_simplex_search
+uv sync
+```
+
+Run local checks:
+
+```bash
+uv run ruff check .
+uv run ruff format --check .
+uv run pytest
+uv run python scripts/release_hygiene.py --repo-root .
+```
+
+## Scope
+
+Preserve the core semantics:
+
+- directed flag simplices require all directed face edges;
+- degenerate simplices are first-class records;
+- lifting is fiber-addressed over existing downstairs simplex records;
+- H-to-G skeletonization preserves loop and parallel-edge information through
+  fibers and H-lift counts;
+- `state_collapser` owns quotient-tower construction;
+- `jet_simplex_search` owns simplex enumeration, lifting, witnesses, H-lifts,
+  diagnostics, and artifacts.
+
+Preserve Abdullah N. Malik attribution and the distinction between this package
+and [`HGraphML`](https://github.com/TYLERSFOSTER/HGraphML): this package handles
+bounded simplex search and quotient lifting; HGraphML is the separate beginning
+of quotient-tower-backed graph message passing.
+
+## Pull Requests
+
+Please include:
+
+- summary of the change;
+- tests run;
+- any changed public claims;
+- any changed artifact format;
+- whether the change touches deferred features such as Kan replacement,
+  expanded H witnesses, acceleration backends, or neural message passing.
+
+Do not claim PyPI publication, production readiness, benchmark-validated
+speed-ups, Kan replacement, or neural message passing unless those claims are
+implemented and verified.

README.md

@@ -10,6 +10,7 @@
 
 [![Python](https://img.shields.io/badge/python-3.11%20%7C%203.12-blue.svg)](https://www.python.org/)
 [![License: MIT](https://img.shields.io/badge/license-MIT-yellow.svg)](LICENSE)
+[![CI](https://img.shields.io/badge/CI-configured-lightgrey.svg)](.github/workflows/test.yml)
 [![Tests](https://img.shields.io/badge/tests-pytest-blue.svg)](tests)
 [![Lint](https://img.shields.io/badge/lint-ruff-46a2f1.svg)](https://docs.astral.sh/ruff/)
 [![Status](https://img.shields.io/badge/status-pre--release-orange.svg)](#release-status)
@@ -228,6 +229,13 @@ Run Ruff:
 
 ```bash
 uv run ruff check .
+uv run ruff format --check .
+```
+
+Run release hygiene:
+
+```bash
+uv run python scripts/release_hygiene.py --repo-root .
 ```
 
 ## Release Status
@@ -244,13 +252,19 @@ Implemented and locally tested:
 - diagnostics;
 - JSON/JSONL artifacts;
 - low-dimensional smoke examples.
+- README quick-start regression;
+- smoke snapshot and smoke-doc coverage;
+- release hygiene checks;
+- GitHub Actions workflow configuration;
+- release notes, security policy, and contribution guide.
 
 Still pending before public release:
 
-- CI workflow;
-- release hygiene automation;
-- changelog or release notes;
+- remote CI pass on GitHub;
 - final source distribution and wheel verification.
+- clean installed-wheel verification.
+- explicit Project Owner approval before any tag, release asset, visibility
+  change, or publication.
 
 ## Known Limitations
 
@@ -262,6 +276,9 @@ This is a library pre-release, and the current scope is deliberately narrow:
   quotient edges collapse.
 - Tower search is static; it does not rebuild the tower during simplex search.
 - There is no bitset, CSR, GPU, tensor, or multiprocessing acceleration yet.
+- Neural message passing, CinchNET, and PTVNN are not implemented in this repo;
+  [`HGraphML`](https://github.com/TYLERSFOSTER/HGraphML) is the separate
+  quotient-tower-backed graph message-passing branch.
 - `search_simplices` studies graph `H`; lower-level skeleton/tower search is
   exposed separately as `search_skeleton_simplices`.
 

RELEASE_NOTES.md

@@ -0,0 +1,86 @@
+# Release Notes
+
+## v0.1.0 - GitHub Library Pre-Release
+
+Status: GitHub-only library pre-release.
+
+`jet_simplex_search` is a Python package for bounded directed simplex search in
+sparse graph data. It implements a focused release slice of Abdullah N. Malik's
+simplicial graph-search program: directed graph data, first-class degenerate
+simplices, quotient-tower search, and fiber-addressed lifting.
+
+This release is not published to PyPI. Install from a source checkout:
+
+```bash
+git clone https://github.com/TYLERSFOSTER/jet_simplex_search.git
+cd jet_simplex_search
+uv sync
+```
+
+The package depends on `state_collapser` through the GitHub release tag
+`v0.7.2`:
+
+```toml
+"state-collapser @ git+https://github.com/TYLERSFOSTER/state_collapser.git@v0.7.2"
+```
+
+### Implemented
+
+- Sparse graph input records.
+- H-to-G skeletonization for input loops and parallel edges.
+- Formal identity search edges for degenerate skeleton addresses.
+- Directed flag simplex enumeration through a user-provided `k`.
+- First-class degenerate simplex records.
+- Cached sparse frontier intersections.
+- Static quotient-tower integration through `state_collapser`.
+- Fiber-addressed lifting over existing downstairs simplex records.
+- Regression coverage for the current small-object behavior: if a downstairs
+  simplex is absent, upstairs lifting over that simplex address does not run.
+- Witness consistency checks for lifted simplex records.
+- Compressed H-lift counts for tier-0 skeleton simplices.
+- JSON and JSONL artifact output.
+- README quick-start regression test.
+- Low-dimensional smoke examples through dimension `4`.
+
+### Deferred
+
+- Kan replacement and horn-filling variants.
+- Full cofibrant or small-object replacement API.
+- Expanded H witness assignment artifacts.
+- Bitset, CSR, GPU, tensor, or multiprocessing acceleration.
+- Dynamic tower rebuilding during simplex search.
+- PyPI publication.
+- No benchmark-validated speed-up claims are made.
+
+This package also does not implement neural message passing, CinchNET, or
+PTVNN. The separate [`HGraphML`](https://github.com/TYLERSFOSTER/HGraphML)
+package is the beginning of the quotient-tower-backed graph message-passing
+branch; `jet_simplex_search` is the simplex-search and quotient-lift branch.
+
+### Verification
+
+Recommended local checks:
+
+```bash
+uv run ruff check .
+uv run ruff format --check .
+uv run pytest
+uv run python scripts/release_hygiene.py --repo-root .
+uv build --out-dir <temporary-build-directory>
+```
+
+### Design Record
+
+- [Static tower small-object simplex search](docs/design/initial_design/01_001_static_tower_small_object_simplex_search.md)
+- [Package blueprint](docs/design/initial_design/01_002_static_tower_small_object_package_blueprint.md)
+- [Implementation workplan](docs/design/initial_design/01_003_static_tower_small_object_implementation_workplan.md)
+- [Implementation log](docs/design/initial_design/01_004_static_tower_small_object_implementation_log.md)
+- [Malik work progeny in jet_simplex_search](docs/design/malik_lineage/01_001_malik_work_progeny_in_jet_simplex_search.md)
+
+### Attribution
+
+The mathematical and algorithmic origin of this package is Abdullah N. Malik's
+work on simplicial methods in graph machine learning, especially the
+quotient-tower simplex search line described in his thesis and related project
+work. This package is a release-oriented implementation track around that
+lineage and its `state_collapser` integration.

SECURITY.md

@@ -0,0 +1,20 @@
+# Security Policy
+
+`jet_simplex_search` is currently pre-release research/library software.
+
+If you believe you have found a vulnerability or a release-safety issue, please
+open a private report or contact the maintainers through the repository owner
+before disclosing sensitive details publicly. Include:
+
+- affected version or commit;
+- operating system and Python version;
+- installation method;
+- minimal reproduction steps;
+- relevant traceback or output;
+- whether the issue involves generated artifacts, local paths, credentials, or
+  dependency resolution.
+
+Please do not post secrets, tokens, private file paths, or sensitive datasets in
+public issues.
+
+No response-time SLA is promised for this pre-release.

docs/design/malik_lineage/01_001_malik_work_progeny_in_jet_simplex_search.md

@@ -1234,7 +1234,7 @@ from Malik's simplicial graph-search program.
 
 It should not yet be advertised as:
 
-- a complete implementation of Malik's thesis;
+- not a complete implementation of Malik's thesis;
 - a Kan replacement engine;
 - a neural simplicial learning framework;
 - a general categorical algebra package.