https://github.com/inaciovasquez2020/urf-wl2-obstruction
Deterministic WL³-style sampling and collapsed obstruction witness for URF (CI-safe, format-robust).
https://github.com/inaciovasquez2020/urf-wl2-obstruction
cfi complexity-theory deterministic-sampling graph-isomorphism obstruction rigidity urf weisfeiler-leman wl3
Last synced: 2 months ago
JSON representation
Deterministic WL³-style sampling and collapsed obstruction witness for URF (CI-safe, format-robust).
- Host: GitHub
- URL: https://github.com/inaciovasquez2020/urf-wl2-obstruction
- Owner: inaciovasquez2020
- Created: 2026-02-16T01:37:36.000Z (4 months ago)
- Default Branch: main
- Last Pushed: 2026-03-22T03:49:08.000Z (3 months ago)
- Last Synced: 2026-04-04T01:37:10.335Z (2 months ago)
- Topics: cfi, complexity-theory, deterministic-sampling, graph-isomorphism, obstruction, rigidity, urf, weisfeiler-leman, wl3
- Language: Python
- Homepage: https://inaciovasquez2020.github.io
- Size: 10.7 MB
- Stars: 1
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
[](https://doi.org/10.5281/zenodo.18651031)
# NCR — New Computational Regime (ISR)
This repository documents the **New Computational Regime (NCR)** based on the **Implicit Superposition Register (ISR)** model.
ISR is a discrete, deterministic computational model whose state is a **reduced ordered decision diagram** representing an exponentially large set of assignments.
Updates apply constraints by **symbolic conjunction**, without enumerating assignments.
The regime is designed to study **normalization-resistant computation**: systems where standard polynomial normalization techniques fail structurally, not accidentally.
---
## Manuscripts
Primary manuscript:
- `manuscript/ISR_as_a_Normalization_Resistant_Polynomial_Regime.md`
Supplementary minimal note:
- `manuscript/ISR_Normalization_Resistance.md`
These notes provide a structural description of the ISR regime and its resistance to normalization-based reductions.
---
## Model Overview
**ISR = Implicit Superposition Register**
- State: symbolic representation of an exponential assignment space
- Dynamics: constraint application via symbolic conjunction
- No enumeration of assignments
- Deterministic update semantics
- Polynomial-time operations over exponentially large implicit state
This repository is concerned with **structural properties**, not performance claims.
---
## Artifacts
Core materials included here:
- `docs/MODEL.md`
- `docs/INVARIANTS.md`
- `model/isr.py`
- `scripts/run_isr_demo.py`
- `scripts/normalization_attempt.py`
- `scripts/oracle_audit.py`
- `tests/`
These artifacts exist to support inspection, experimentation, and verification of the ISR structure.
---
## Scope
This repository:
- Documents a computational *regime*
- Demonstrates normalization resistance structurally
- Provides reference implementations for inspection
This repository does **not**:
- Claim algorithmic speedups
- Resolve P vs NP
- Provide complexity-theoretic separations
- Assert empirical performance dominance
---
## Certification Boundary
This repository is **NON-CERTIFIED under URF**.
Only **NEGATIVE certification artifacts** may be present.
No positive NCR claim is asserted.
All results are research or infrastructure-only.
Certification artifacts, where present, are:
- Declarative
- Cryptographically signed
- Inert with respect to CI and runtime behavior
No guarantees are made beyond explicitly stated theoretical boundaries.