https://github.com/inaciovasquez2020/urf-minimal-obstruction

Certified minimal obstructions for graph and inference baselines under the Unified Rigidity Framework (URF).
https://github.com/inaciovasquez2020/urf-minimal-obstruction

certificates complexity-theory counterexamples graph-theory rigidity spectral-graph-theory weisfeiler-leman

Last synced: 2 months ago
JSON representation

Certified minimal obstructions for graph and inference baselines under the Unified Rigidity Framework (URF).

• Host: GitHub
• URL: https://github.com/inaciovasquez2020/urf-minimal-obstruction
• Owner: inaciovasquez2020
• License: other
• Created: 2026-02-16T00:50:59.000Z (4 months ago)
• Default Branch: main
• Last Pushed: 2026-03-22T04:48:49.000Z (3 months ago)
• Last Synced: 2026-04-04T01:37:08.532Z (2 months ago)
• Topics: certificates, complexity-theory, counterexamples, graph-theory, rigidity, spectral-graph-theory, weisfeiler-leman
• Language: Python
• Homepage: https://inaciovasquez2020.github.io/urf-minimal-obstruction/
• Size: 72.3 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Citation: CITATION.cff

Awesome Lists containing this project

README

          
![Verify URF registry](https://github.com/inaciovasquez2020/urf-minimal-obstruction/actions/workflows/verify.yml/badge.svg)

URF Minimal Obstruction (UMO)

Goal: define and publish a smallest concrete object X with:

(i) a URF-verifiable certificate of a target property P, and

(ii) a falsified baseline claim for at least one non-URF method family (WL/SDP/ML/heuristics),

with reproducible evidence and a public leaderboard entry.

URF Minimal Obstruction Certification (Released)

This repository includes URF Certification Artifacts.

A certification release is not a software release.

It makes no performance guarantees, no completeness claims,

and no implications beyond explicitly stated obstruction boundaries.

Certification artifacts are declarative, cryptographically signed,

immutable, and inert with respect to CI and runtime behavior.

Claims apply only under declared constraints.

All non-claims are explicitly listed in the certification files.