https://github.com/inaciovasquez2020/owc-counterexamples
Canonical counterexamples and boundary constructions for OWC-style rigidity and capacity–locality claims. Includes explicit witnesses, verification scripts, and documented failure modes to delineate admissible vs. non-admissible regimes.
https://github.com/inaciovasquez2020/owc-counterexamples
capacity-locality certification complexity-theory counterexamples entropy-depth fo-k formal-methods information-theory locality reproducible-research rigidity verification
Last synced: 17 days ago
JSON representation
Canonical counterexamples and boundary constructions for OWC-style rigidity and capacity–locality claims. Includes explicit witnesses, verification scripts, and documented failure modes to delineate admissible vs. non-admissible regimes.
- Host: GitHub
- URL: https://github.com/inaciovasquez2020/owc-counterexamples
- Owner: inaciovasquez2020
- License: other
- Created: 2026-02-22T18:21:29.000Z (2 months ago)
- Default Branch: main
- Last Pushed: 2026-03-22T03:47:58.000Z (about 1 month ago)
- Last Synced: 2026-04-04T01:37:09.715Z (25 days ago)
- Topics: capacity-locality, certification, complexity-theory, counterexamples, entropy-depth, fo-k, formal-methods, information-theory, locality, reproducible-research, rigidity, verification
- Language: Python
- Homepage: https://github.com/inaciovasquez2020/owc-counterexamples
- Size: 6.91 MB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Status: Frozen
- Witness scope: Closed at repository scope
**Status:** Frozen (see FREEZE.md)
# OWC Counterexamples
Canonical counterexamples and boundary constructions for OWC-style claims.
## Repo goals
- Store explicit witnesses (constructors + parameters)
- Provide verifiers that check a witness against a stated target property
- Keep results reproducible via CI
## Structure
- docs/ : specification + policy
- witnesses/ : explicit witness constructions
- verify/ : verification scripts + tests
- metrics/ : summaries produced by verification runs
## Quickstart
python3 -m venv .venv
source .venv/bin/activate
python -m pip install -U pip
pip install -r requirements.txt
pytest -q
python verify/verify_witness.py witnesses/witness_0001/parameters.json
## Conditional note
- `docs/WITNESS_SCOPE_NOTE_2026_04.md` — closed witness-scope note specifying the weakest witness-integrity extension compatible with the repository's frozen witness-and-verifier scope.