{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:5FI4JKCBUDPXKODJC7GRV3HONL","short_pith_number":"pith:5FI4JKCB","canonical_record":{"source":{"id":"2605.12968","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-13T04:01:29Z","cross_cats_sorted":["cs.AI","cs.CL","cs.LO"],"title_canon_sha256":"0f15d3561f141e36102d714bd512efa5626787ff9d0f562edfdbd1b61df5f568","abstract_canon_sha256":"64506fa6ccb0e004d9062234e8d96cecc138cf8529c62c6ab6d4d3a450405868"},"schema_version":"1.0"},"canonical_sha256":"e951c4a841a0df75386917cd1aecee6ae81693ef8d4e626cc50fbb80a0e75f46","source":{"kind":"arxiv","id":"2605.12968","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12968","created_at":"2026-05-18T03:09:09Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12968v1","created_at":"2026-05-18T03:09:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12968","created_at":"2026-05-18T03:09:09Z"},{"alias_kind":"pith_short_12","alias_value":"5FI4JKCBUDPX","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"5FI4JKCBUDPXKODJ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"5FI4JKCB","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:5FI4JKCBUDPXKODJC7GRV3HONL","target":"record","payload":{"canonical_record":{"source":{"id":"2605.12968","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-13T04:01:29Z","cross_cats_sorted":["cs.AI","cs.CL","cs.LO"],"title_canon_sha256":"0f15d3561f141e36102d714bd512efa5626787ff9d0f562edfdbd1b61df5f568","abstract_canon_sha256":"64506fa6ccb0e004d9062234e8d96cecc138cf8529c62c6ab6d4d3a450405868"},"schema_version":"1.0"},"canonical_sha256":"e951c4a841a0df75386917cd1aecee6ae81693ef8d4e626cc50fbb80a0e75f46","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:09:09.022032Z","signature_b64":"FRW+fObCl/usksi3aznW3ikK3TksXwgaqqxcvSrbe2yYtL8tAJQWrWuKzPOX9bGOZHorMzRtfLWnFxhxrD9oCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e951c4a841a0df75386917cd1aecee6ae81693ef8d4e626cc50fbb80a0e75f46","last_reissued_at":"2026-05-18T03:09:09.021256Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:09:09.021256Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.12968","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:09:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Anzg9PwHWkXScoLRjvbRZEj5zoWA57u/v9WI/FvDQHB2+OMLoznIgAfJN4uUGd88AZuZC1yd4vDL2PTU7sJkDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:06:04.693664Z"},"content_sha256":"a6261ffa00b39c13d6e9b31a842af40bfa7a0ee123302eacd84d51c4db690e62","schema_version":"1.0","event_id":"sha256:a6261ffa00b39c13d6e9b31a842af40bfa7a0ee123302eacd84d51c4db690e62"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:5FI4JKCBUDPXKODJC7GRV3HONL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Controlling Logical Collapse in LLMs via Algebraic Ontology Projection over F2","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Projecting LLM hidden states into the F2 field under substitution constraints extracts ontological relations at up to 93 percent zero-shot accuracy.","cross_cats":["cs.AI","cs.CL","cs.LO"],"primary_cat":"cs.LG","authors_text":"Hisashi Miyashita, Mgnite Inc","submitted_at":"2026-05-13T04:01:29Z","abstract_excerpt":"Do large language models internally encode ontological relations in a formally verifiable algebraic structure? We introduce Algebraic Ontology Projection (AOP), which projects LLM hidden states into the Galois Field F2 under Liskov Substitution Principle constraints, using only 42 relational pairs as algebraic keys. AOP achieves up to 93.33% zero-shot inclusion accuracy on unseen concept pairs (Gemma-2 Instruct with optimized prompt), with consistent 86.67% accuracy observed across multiple model families -- with no model tuning, but through prompt alone.\n  This algebraic structure is strongly"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"AOP achieves up to 93.33% zero-shot inclusion accuracy on unseen concept pairs (Gemma-2 Instruct with optimized prompt), with consistent 86.67% accuracy observed across multiple model families -- with no model tuning, but through prompt alone.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That projecting hidden states into F2 under Liskov Substitution Principle constraints using only 42 relational pairs captures general ontological relations that transfer across models and tasks without post-hoc selection effects.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Projecting LLM hidden states onto F2 algebra with 42 pairs yields 93% zero-shot accuracy on logical relations and identifies prompt-preventable late-layer collapse.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Projecting LLM hidden states into the F2 field under substitution constraints extracts ontological relations at up to 93 percent zero-shot accuracy.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"20be3e65de5d6457dafe9efdb0164f026581b9a1aa3f2aab4056d10f05a6aaa4"},"source":{"id":"2605.12968","kind":"arxiv","version":1},"verdict":{"id":"78629bb1-8fc2-4dc5-9f96-2096851cb485","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T20:22:04.948068Z","strongest_claim":"AOP achieves up to 93.33% zero-shot inclusion accuracy on unseen concept pairs (Gemma-2 Instruct with optimized prompt), with consistent 86.67% accuracy observed across multiple model families -- with no model tuning, but through prompt alone.","one_line_summary":"Projecting LLM hidden states onto F2 algebra with 42 pairs yields 93% zero-shot accuracy on logical relations and identifies prompt-preventable late-layer collapse.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That projecting hidden states into F2 under Liskov Substitution Principle constraints using only 42 relational pairs captures general ontological relations that transfer across models and tasks without post-hoc selection effects.","pith_extraction_headline":"Projecting LLM hidden states into the F2 field under substitution constraints extracts ontological relations at up to 93 percent zero-shot accuracy."},"references":{"count":19,"sample":[{"doi":"","year":2016,"title":"Understanding intermediate layers using linear classifier probes","work_id":"bdc944db-4be2-44f7-950b-eaef12fab00e","ref_index":1,"cited_arxiv_id":"1610.01644","is_internal_anchor":true},{"doi":"","year":2023,"title":"Burke, Tristan Hume, Shan Carter, Tom Henighan, and Christopher Olah","work_id":"f6f6f9d8-592f-447a-8ee6-878cec2c2bb4","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2023,"title":"Discovering latent knowledge in language models without supervision","work_id":"7581f8b3-a0c9-4e2e-861c-3ba0041e477e","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2009,"title":"Neural-Symbolic Cognitive Reasoning","work_id":"0a48031c-a526-4a1d-919a-b1a9b01cd637","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2022,"title":"Toy models of superposition","work_id":"9f2631ad-38f4-4049-ad3e-972955606a84","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":19,"snapshot_sha256":"c2fca2fc69fef08e6c1a30f6760511714e65c9d0f0541747406bf2898b270ca8","internal_anchors":3},"formal_canon":{"evidence_count":2,"snapshot_sha256":"b358297b12388f7d551c2b8caa67cfe7eed226809299441d27419e64c5b809d2"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"78629bb1-8fc2-4dc5-9f96-2096851cb485"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:09:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DooANldnaYVU/RiCCQHQO4Camm0G7zfFLAxf0+mracwVFte8jnYemazwzfg0pXhID3jsCDWRrKesFMp2V7+JAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:06:04.694669Z"},"content_sha256":"47285cb65f4df3fd80d9fffdc0e74c05be39de1a16b2916bf4e4482491d1fc43","schema_version":"1.0","event_id":"sha256:47285cb65f4df3fd80d9fffdc0e74c05be39de1a16b2916bf4e4482491d1fc43"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5FI4JKCBUDPXKODJC7GRV3HONL/bundle.json","state_url":"https://pith.science/pith/5FI4JKCBUDPXKODJC7GRV3HONL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5FI4JKCBUDPXKODJC7GRV3HONL/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-27T09:06:04Z","links":{"resolver":"https://pith.science/pith/5FI4JKCBUDPXKODJC7GRV3HONL","bundle":"https://pith.science/pith/5FI4JKCBUDPXKODJC7GRV3HONL/bundle.json","state":"https://pith.science/pith/5FI4JKCBUDPXKODJC7GRV3HONL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5FI4JKCBUDPXKODJC7GRV3HONL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:5FI4JKCBUDPXKODJC7GRV3HONL","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"64506fa6ccb0e004d9062234e8d96cecc138cf8529c62c6ab6d4d3a450405868","cross_cats_sorted":["cs.AI","cs.CL","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-13T04:01:29Z","title_canon_sha256":"0f15d3561f141e36102d714bd512efa5626787ff9d0f562edfdbd1b61df5f568"},"schema_version":"1.0","source":{"id":"2605.12968","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12968","created_at":"2026-05-18T03:09:09Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12968v1","created_at":"2026-05-18T03:09:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12968","created_at":"2026-05-18T03:09:09Z"},{"alias_kind":"pith_short_12","alias_value":"5FI4JKCBUDPX","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"5FI4JKCBUDPXKODJ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"5FI4JKCB","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:47285cb65f4df3fd80d9fffdc0e74c05be39de1a16b2916bf4e4482491d1fc43","target":"graph","created_at":"2026-05-18T03:09:09Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"AOP achieves up to 93.33% zero-shot inclusion accuracy on unseen concept pairs (Gemma-2 Instruct with optimized prompt), with consistent 86.67% accuracy observed across multiple model families -- with no model tuning, but through prompt alone."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That projecting hidden states into F2 under Liskov Substitution Principle constraints using only 42 relational pairs captures general ontological relations that transfer across models and tasks without post-hoc selection effects."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Projecting LLM hidden states onto F2 algebra with 42 pairs yields 93% zero-shot accuracy on logical relations and identifies prompt-preventable late-layer collapse."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Projecting LLM hidden states into the F2 field under substitution constraints extracts ontological relations at up to 93 percent zero-shot accuracy."}],"snapshot_sha256":"20be3e65de5d6457dafe9efdb0164f026581b9a1aa3f2aab4056d10f05a6aaa4"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"b358297b12388f7d551c2b8caa67cfe7eed226809299441d27419e64c5b809d2"},"paper":{"abstract_excerpt":"Do large language models internally encode ontological relations in a formally verifiable algebraic structure? We introduce Algebraic Ontology Projection (AOP), which projects LLM hidden states into the Galois Field F2 under Liskov Substitution Principle constraints, using only 42 relational pairs as algebraic keys. AOP achieves up to 93.33% zero-shot inclusion accuracy on unseen concept pairs (Gemma-2 Instruct with optimized prompt), with consistent 86.67% accuracy observed across multiple model families -- with no model tuning, but through prompt alone.\n  This algebraic structure is strongly","authors_text":"Hisashi Miyashita, Mgnite Inc","cross_cats":["cs.AI","cs.CL","cs.LO"],"headline":"Projecting LLM hidden states into the F2 field under substitution constraints extracts ontological relations at up to 93 percent zero-shot accuracy.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-13T04:01:29Z","title":"Controlling Logical Collapse in LLMs via Algebraic Ontology Projection over F2"},"references":{"count":19,"internal_anchors":3,"resolved_work":19,"sample":[{"cited_arxiv_id":"1610.01644","doi":"","is_internal_anchor":true,"ref_index":1,"title":"Understanding intermediate layers using linear classifier probes","work_id":"bdc944db-4be2-44f7-950b-eaef12fab00e","year":2016},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Burke, Tristan Hume, Shan Carter, Tom Henighan, and Christopher Olah","work_id":"f6f6f9d8-592f-447a-8ee6-878cec2c2bb4","year":2023},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Discovering latent knowledge in language models without supervision","work_id":"7581f8b3-a0c9-4e2e-861c-3ba0041e477e","year":2023},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Neural-Symbolic Cognitive Reasoning","work_id":"0a48031c-a526-4a1d-919a-b1a9b01cd637","year":2009},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Toy models of superposition","work_id":"9f2631ad-38f4-4049-ad3e-972955606a84","year":2022}],"snapshot_sha256":"c2fca2fc69fef08e6c1a30f6760511714e65c9d0f0541747406bf2898b270ca8"},"source":{"id":"2605.12968","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T20:22:04.948068Z","id":"78629bb1-8fc2-4dc5-9f96-2096851cb485","model_set":{"reader":"grok-4.3"},"one_line_summary":"Projecting LLM hidden states onto F2 algebra with 42 pairs yields 93% zero-shot accuracy on logical relations and identifies prompt-preventable late-layer collapse.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Projecting LLM hidden states into the F2 field under substitution constraints extracts ontological relations at up to 93 percent zero-shot accuracy.","strongest_claim":"AOP achieves up to 93.33% zero-shot inclusion accuracy on unseen concept pairs (Gemma-2 Instruct with optimized prompt), with consistent 86.67% accuracy observed across multiple model families -- with no model tuning, but through prompt alone.","weakest_assumption":"That projecting hidden states into F2 under Liskov Substitution Principle constraints using only 42 relational pairs captures general ontological relations that transfer across models and tasks without post-hoc selection effects."}},"verdict_id":"78629bb1-8fc2-4dc5-9f96-2096851cb485"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:a6261ffa00b39c13d6e9b31a842af40bfa7a0ee123302eacd84d51c4db690e62","target":"record","created_at":"2026-05-18T03:09:09Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"64506fa6ccb0e004d9062234e8d96cecc138cf8529c62c6ab6d4d3a450405868","cross_cats_sorted":["cs.AI","cs.CL","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-13T04:01:29Z","title_canon_sha256":"0f15d3561f141e36102d714bd512efa5626787ff9d0f562edfdbd1b61df5f568"},"schema_version":"1.0","source":{"id":"2605.12968","kind":"arxiv","version":1}},"canonical_sha256":"e951c4a841a0df75386917cd1aecee6ae81693ef8d4e626cc50fbb80a0e75f46","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e951c4a841a0df75386917cd1aecee6ae81693ef8d4e626cc50fbb80a0e75f46","first_computed_at":"2026-05-18T03:09:09.021256Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:09:09.021256Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FRW+fObCl/usksi3aznW3ikK3TksXwgaqqxcvSrbe2yYtL8tAJQWrWuKzPOX9bGOZHorMzRtfLWnFxhxrD9oCA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:09:09.022032Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.12968","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a6261ffa00b39c13d6e9b31a842af40bfa7a0ee123302eacd84d51c4db690e62","sha256:47285cb65f4df3fd80d9fffdc0e74c05be39de1a16b2916bf4e4482491d1fc43"],"state_sha256":"9f4d8e48b5310e7e1012c61b0085fbab91b2f290a4aac8a1c9d5de5ae2e0fdaa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/jHkbZ0ixBMaH6MzQt0azkz8DfNb628ZE6TEjMdDgYAI6gbV3NeD/CHpc+BPV7EIoi1JScahF2jZkw59kv7BBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T09:06:04.699082Z","bundle_sha256":"8a44a98ec6aed4b5a5f59f2b65136be1056075e18c87d4583f7e04eb4b7893bd"}}