{"id":47878416,"url":"https://github.com/inaciovasquez2020/urf-minimal-obstruction","last_synced_at":"2026-04-04T01:37:10.327Z","repository":{"id":338715410,"uuid":"1158827906","full_name":"inaciovasquez2020/urf-minimal-obstruction","owner":"inaciovasquez2020","description":"Certified minimal obstructions for graph and inference baselines under the Unified Rigidity Framework (URF).","archived":false,"fork":false,"pushed_at":"2026-03-22T04:48:49.000Z","size":74,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-04-04T01:37:08.532Z","etag":null,"topics":["certificates","complexity-theory","counterexamples","graph-theory","rigidity","spectral-graph-theory","weisfeiler-leman"],"latest_commit_sha":null,"homepage":"https://inaciovasquez2020.github.io/urf-minimal-obstruction/","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/inaciovasquez2020.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-02-16T00:50:59.000Z","updated_at":"2026-03-22T04:48:49.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/inaciovasquez2020/urf-minimal-obstruction","commit_stats":null,"previous_names":["inaciovasquez2020/urf-minimal-obstruction"],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/inaciovasquez2020/urf-minimal-obstruction","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inaciovasquez2020%2Furf-minimal-obstruction","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inaciovasquez2020%2Furf-minimal-obstruction/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inaciovasquez2020%2Furf-minimal-obstruction/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inaciovasquez2020%2Furf-minimal-obstruction/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inaciovasquez2020","download_url":"https://codeload.github.com/inaciovasquez2020/urf-minimal-obstruction/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inaciovasquez2020%2Furf-minimal-obstruction/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31384845,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-04T01:22:39.193Z","status":"ssl_error","status_checked_at":"2026-04-04T01:22:33.970Z","response_time":107,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["certificates","complexity-theory","counterexamples","graph-theory","rigidity","spectral-graph-theory","weisfeiler-leman"],"created_at":"2026-04-04T01:37:09.650Z","updated_at":"2026-04-04T01:37:10.311Z","avatar_url":"https://github.com/inaciovasquez2020.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"![Verify URF registry](https://github.com/inaciovasquez2020/urf-minimal-obstruction/actions/workflows/verify.yml/badge.svg)\n\nURF Minimal Obstruction (UMO)\n\nGoal: define and publish a smallest concrete object X with:\n(i) a URF-verifiable certificate of a target property P, and\n(ii) a falsified baseline claim for at least one non-URF method family (WL/SDP/ML/heuristics),\nwith reproducible evidence and a public leaderboard entry.\n\nURF Minimal Obstruction Certification (Released)\n\nThis repository includes URF Certification Artifacts.\n\nA certification release is not a software release.\nIt makes no performance guarantees, no completeness claims,\nand no implications beyond explicitly stated obstruction boundaries.\n\nCertification artifacts are declarative, cryptographically signed,\nimmutable, and inert with respect to CI and runtime behavior.\n\nClaims apply only under declared constraints.\nAll non-claims are explicitly listed in the certification files.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Finaciovasquez2020%2Furf-minimal-obstruction","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Finaciovasquez2020%2Furf-minimal-obstruction","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Finaciovasquez2020%2Furf-minimal-obstruction/lists"}