https://github.com/inaciovasquez2020/scientific-infrastructure
Scientific Infrastructure — reproducible research tooling: deterministic builds, CI pipelines, provenance, manifests, and executable verification.
https://github.com/inaciovasquez2020/scientific-infrastructure
ci-cd deterministic-builds formal-methods provenance reproducible-research research-tooling scientific-infrastructure unified-rigidity-framework verification
Last synced: 2 months ago
JSON representation
Scientific Infrastructure — reproducible research tooling: deterministic builds, CI pipelines, provenance, manifests, and executable verification.
- Host: GitHub
- URL: https://github.com/inaciovasquez2020/scientific-infrastructure
- Owner: inaciovasquez2020
- License: mit
- Created: 2026-01-31T13:06:03.000Z (4 months ago)
- Default Branch: main
- Last Pushed: 2026-03-22T03:03:38.000Z (2 months ago)
- Last Synced: 2026-04-04T01:37:10.141Z (2 months ago)
- Topics: ci-cd, deterministic-builds, formal-methods, provenance, reproducible-research, research-tooling, scientific-infrastructure, unified-rigidity-framework, verification
- Language: TeX
- Homepage: https://www.vasquezresearch.com
- Size: 555 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Citation: CITATION.cff
Awesome Lists containing this project
README
# scientific-infrastructure
**Canonical environment, deployment, and reproducibility layer for the Vasquez Research ecosystem.**
This repository defines the unified computational infrastructure used across all Universal Reference Frame (URF)–aligned research modules. It serves as the *single source of truth* for environment configuration, dependency locking, and execution guarantees within the Vasquez Index.
---
## Purpose and Scope
The `scientific-infrastructure` repository provides the **operational substrate** required to build, verify, and reproduce results from URF-based research projects, including but not limited to:
- `urf-core`
- `chronos-urf-rr`
- `radiative-rigidity`
- `biological-friction-framework`
- other Vasquez Index–registered modules
All computational claims published under the Vasquez Index are validated against the environments specified here.
---
## What This Repository Provides
- **Environment orchestration**
- Canonical container and dependency specifications
- Stable execution context for Lean, LaTeX, Python, and verification tooling
- **Reproducibility guarantees**
- Versioned infrastructure states
- Backward compatibility with archived results
- **CI / automation backbone**
- Continuous integration templates
- Deterministic build and verification pipelines
This repository is **infrastructure only**. It contains no scientific claims, axioms, or domain logic.
---
URF Verifier
- Repo: https://github.com/inaciovasquez2020/urf-verifier
- Latest release: v1.1.0 (admissibility enforced)
- Replay: deterministic, CI-backed
## Minimal Directory Map
This repository intentionally maintains a small, explicit surface area.
---
## Canonical Registry Status
This repository is a registered infrastructure module of the **Vasquez Index**.
- **Dashboard:**
https://inaciovasquez2020.github.io/vasquez-index/dashboard.html
Operational status, environment hashes, and compatibility notes are maintained there.
---
## Related Canonical Modules
### URF Prefab System
- **Repository:** https://github.com/inaciovasquez2020/urf-prefab-system
- **Role:** Executable prefab layer (axioms, schemas, verifiers, integrity manifests)
- **Status:** Frozen — v1.0.0
- **Dependency:** URF Core (locked)
The prefab system consumes the infrastructure defined here.
---
## Repository Metadata
- **Repository:** `inaciovasquez2020/scientific-infrastructure`
- **Role:** Environment Orchestration & Reproducibility
- **Status:** Operational
- **Change Policy:** Versioned, backward-compatible updates only
---
## Usage Notes
- This repository should be **cloned or referenced first** when running or reproducing any URF-aligned research module.
- All downstream repositories implicitly depend on the environment guarantees defined here.
- Infrastructure updates are intentionally conservative and explicitly versioned.
---
## Citation
If you use this repository to reproduce results or deploy URF-related frameworks, please cite:
```bibtex
@manual{Vasquez_Scientific_Infrastructure_2026,
author = {Vasquez, Inacio F.},
title = {scientific-infrastructure: Unified Research Environment and Deployment},
year = {2026},
url = {https://github.com/inaciovasquez2020/scientific-infrastructure}
}
## Quickstart (60 seconds)
```bash
./scripts/infra check
```
## Status
## Certified Artifacts
- Yang–Mills HS-Gap (frozen P2):
https://github.com/inaciovasquez2020/yang-mills-hs-gap-cert
Tag: frozen-ym-hs-gap-P2
This repository provides shared tooling, environment definitions, and reproducibility infrastructure used across scientific projects, without containing domain-specific research code.
This project relies on shared tooling and reproducibility infrastructure provided by the scientific-infrastructure repository; it contains domain-specific research code only.
## Downstream Projects
- dfm-mkc-cosmology: cosmology solvers and numerical checks
- chronos-entropydepth: entropy-depth and rigidity results
- capacity-locality-certification: locality/capacity certification tooling
Each relies on this repository for shared tooling and reproducibility guarantees.
## Stability & CI
This repository is intentionally conservative: changes are limited to tooling, environment definitions, and reproducibility guarantees. All updates must pass CI and are merged via pull request.