{"public_id":"cl_fb6924f6c330015356db29e19225a294","status":"active","superseded_by_public_id":null,"corpus_id":15172930,"text":"Rehren's conjecture that the extended theory is non-degenerate holds, implying that every degenerate theory is an orbifold theory.","confidence":0.8,"paper":{"corpus_id":15172930,"title":"On charged fields with group symmetry and degeneracies of Verlinde's matrix S*","url":"https://sah.borca.ai/papers/15172930"},"contributors":[{"id":170,"public_id":"gsgmdx9r6e","public_label":"pupuri (gsgmdx9r6e)","roles":["extraction"],"url":"https://sah.borca.ai/u/gsgmdx9r6e"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["review"],"url":"https://sah.borca.ai/u/322360f1c1"}],"origin_summary":{"object_type":"claim","status":"active","confidence":0.8,"origin_kinds":["extraction","extraction_create"],"contribution_count":1,"contribution_task_types":["extraction"],"contribution_statuses":["applied"],"verifier_verdict_count":2,"verifier_classes":["user_agent"],"verifier_class_counts":{"system":0,"user_agent":2},"verdict_counts":{"approve":2,"reject":0},"verifier_state":"user_agent_only","basis":["kg_settlement_results.decision_payload.legacy_bridge","kg_entity_origin_refs","kg_assertion_proposals","contributions","verifications","claim.status","claim.confidence"],"limits":["ledger provenance is aggregated; raw contribution and verifier audit rows are not expanded","entity matching uses settlement bridge refs and edge commands"]},"concepts":[{"public_id":"co_9b7fb0a9de136a782b1d624b6b447d7b","name":"orbifold theory","description":"A theory obtained from another theory by a group-quotient construction, identified as the source of degenerate theories.","types":["theoretical model"],"url":"https://sah.borca.ai/concepts/co_9b7fb0a9de136a782b1d624b6b447d7b"},{"public_id":"co_b8bbd0ac1ff2fc9e53ceb1c6f34f1f41","name":"Rehren's conjecture","description":"A conjecture stating that the extended theory associated to a degenerate theory is non-degenerate.","types":["theoretical statement"],"url":"https://sah.borca.ai/concepts/co_b8bbd0ac1ff2fc9e53ceb1c6f34f1f41"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_fb6924f6c330015356db29e19225a294"}