Skip to content

inaciovasquez2020/urf-textbook

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

263 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Unified Rigidity Framework Textbook Build make pdf make clean Release make release

DOI: 10.5281/zenodo.18826977


Structural Map

The URF Textbook is organized as follows:

  • Core Invariants (Entropy, Capacity, Depth, Spectral Gap)
  • Operational Rigidity Principle
  • Non-Amplification and Capacity Bounds
  • Entropy Depth Lower Bound
  • Terminal Obstructions (Cyclone)
  • Applications and Reductions

See:

  • tex/chapters/structure_overview.tex
  • tex/appendices/dependency_graph.tex
  • ROADMAP.md for planned extensions.

Citation and Archival

This repository is part of the Unified Rigidity Framework (URF) research program.

For citation information see:

docs/citations/CITATION.md

A DOI archival record is available via Zenodo for reproducible citation of repository releases.


Documentation

A complete documentation map is available here:

docs/index/DOCUMENTATION_INDEX.md

This includes:

Canonical routing

This repository is the exposition and release-facing documentation layer for URF.

Canonical authority for URF definitions, theorem statements, dependency ledgers, and closure claims remains in urf-core.

Community-additive examples, tests, implementations, and non-canonical extensions belong in urf-core-community.

Independent Forks and Verification

Independent forks, reproducibility checks, adversarial review, issues, and pull requests are welcome.

Start here:

External status

This repository is governed by docs/status/EXTERNAL_STATUS_LOCK.md. Build success, CI success, dashboards, ledgers, axioms, admits, sorry, or placeholder witnesses do not constitute theorem-level closure.

Documentation Source-of-Truth Status

Status: Documentation / Textbook Surface

This repository is an exposition surface. It does not independently prove mathematical claims.

Theorem-status rule:

  • Every theorem-level claim must inherit from a buildable formal source repository.
  • The inherited source must identify repository, commit or release, file path, theorem/artifact name, and status label.
  • Build success, LaTeX success, dashboards, badges, ledgers, or textbook exposition do not constitute theorem-level proof.

Source-of-truth document:

  • docs/status/SOURCE_OF_TRUTH_2026_04_27.md