{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:X7YGTLL6PD4HCMWNV44INAKMDO","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":"43884807baf039dcece1b8e4095a681c6455871b7665c6b86a326ec1ca1a74fe","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-28T17:58:42Z","title_canon_sha256":"7bc7967dacf2edcaf10584c7a0f8b050d0707f3945faac174f9785a2f60f535d"},"schema_version":"1.0","source":{"id":"2605.30333","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.30333","created_at":"2026-05-29T02:06:16Z"},{"alias_kind":"arxiv_version","alias_value":"2605.30333v1","created_at":"2026-05-29T02:06:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.30333","created_at":"2026-05-29T02:06:16Z"},{"alias_kind":"pith_short_12","alias_value":"X7YGTLL6PD4H","created_at":"2026-05-29T02:06:16Z"},{"alias_kind":"pith_short_16","alias_value":"X7YGTLL6PD4HCMWN","created_at":"2026-05-29T02:06:16Z"},{"alias_kind":"pith_short_8","alias_value":"X7YGTLL6","created_at":"2026-05-29T02:06:16Z"}],"graph_snapshots":[{"event_id":"sha256:c5fa06c7062277f51536db71044bb454594bab386dab4e767847cd903f76858f","target":"graph","created_at":"2026-05-29T02:06:16Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2605.30333/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A plausible future mathematical claim must satisfy two constraints: it should follow the direction of prior work and respect the formal dependencies that constrain what can validly follow. Existing approaches typically model only one of these sources, producing claims that are either weakly grounded or insufficiently motivated. We introduce grounded future mathematical generation, where the goal is to generate a plausible future theorem-like claim for an anchor paper using two complementary sources of context: its scientific citation graph and aligned formal theorem dependency graph. To addres","authors_text":"David Busbib, Michael Werman","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-28T17:58:42Z","title":"COMPOSE: Composing Future Theorems from Citations and Formal Structure"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.30333","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:31fc0c3b0c8de9b09f4a21968d92aae99d83dbac59b12c0b3ef3f77ddfd4a728","target":"record","created_at":"2026-05-29T02:06:16Z","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":"43884807baf039dcece1b8e4095a681c6455871b7665c6b86a326ec1ca1a74fe","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-28T17:58:42Z","title_canon_sha256":"7bc7967dacf2edcaf10584c7a0f8b050d0707f3945faac174f9785a2f60f535d"},"schema_version":"1.0","source":{"id":"2605.30333","kind":"arxiv","version":1}},"canonical_sha256":"bff069ad7e78f87132cdaf3886814c1b9449ffef4b00bb4932d647da9af9bd84","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bff069ad7e78f87132cdaf3886814c1b9449ffef4b00bb4932d647da9af9bd84","first_computed_at":"2026-05-29T02:06:16.809311Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-29T02:06:16.809311Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4YxtcE1Cvy8QAroB8q0CFF6AfkFBMDaILoow+evZFyklol+b/WjXNZaNtbjFjKRg1ofQ9NzwHXcPsL7yjpb0AQ==","signature_status":"signed_v1","signed_at":"2026-05-29T02:06:16.809678Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.30333","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:31fc0c3b0c8de9b09f4a21968d92aae99d83dbac59b12c0b3ef3f77ddfd4a728","sha256:c5fa06c7062277f51536db71044bb454594bab386dab4e767847cd903f76858f"],"state_sha256":"b8343208431d070d143f428e2ae3978c624c32f192401dd979cf5cfc8d89b602"}