{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:3XSSVIBHD4TTLUI7CSKOG5WJZE","short_pith_number":"pith:3XSSVIBH","canonical_record":{"source":{"id":"1511.08723","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.DB","submitted_at":"2015-11-27T16:11:56Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3056ed16e50ce4105ecc5308f5a77d77628108916972f65cb63e9ed40e00d963","abstract_canon_sha256":"b2b314c3fb9b3f974f673b73502813354cb4fec4e0be566e973f6640d0e9d7ad"},"schema_version":"1.0"},"canonical_sha256":"dde52aa0271f2735d11f1494e376c9c920d0eef143e8fd23cbfdfbb184af2b03","source":{"kind":"arxiv","id":"1511.08723","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.08723","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"arxiv_version","alias_value":"1511.08723v1","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.08723","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"pith_short_12","alias_value":"3XSSVIBHD4TT","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3XSSVIBHD4TTLUI7","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3XSSVIBH","created_at":"2026-05-18T12:29:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:3XSSVIBHD4TTLUI7CSKOG5WJZE","target":"record","payload":{"canonical_record":{"source":{"id":"1511.08723","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.DB","submitted_at":"2015-11-27T16:11:56Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3056ed16e50ce4105ecc5308f5a77d77628108916972f65cb63e9ed40e00d963","abstract_canon_sha256":"b2b314c3fb9b3f974f673b73502813354cb4fec4e0be566e973f6640d0e9d7ad"},"schema_version":"1.0"},"canonical_sha256":"dde52aa0271f2735d11f1494e376c9c920d0eef143e8fd23cbfdfbb184af2b03","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:10:59.637931Z","signature_b64":"tYF6B7WEFvM3elEX/KmYrezZL+R5mOZ6BT0OfxLA+OfxGaXoFkN9ecdcD1U0xxc28R7Q5VQSvxLDC5NZoZXRDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dde52aa0271f2735d11f1494e376c9c920d0eef143e8fd23cbfdfbb184af2b03","last_reissued_at":"2026-05-18T01:10:59.637251Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:10:59.637251Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1511.08723","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-18T01:10:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BNWvOWfepmHMZM7haU/vXLhcF2CqT+tcRE0d1AToV6lwZpq2w3xqBEMJ0kK94gu4oXsPKUFeylt20o6+wfeaDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:54:40.140036Z"},"content_sha256":"3ce3141fbaba39aabe399e9556590644d1ebf13b10a50a04e1b38af08337b0c2","schema_version":"1.0","event_id":"sha256:3ce3141fbaba39aabe399e9556590644d1ebf13b10a50a04e1b38af08337b0c2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:3XSSVIBHD4TTLUI7CSKOG5WJZE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Provenance Circuits for Trees and Treelike Instances (Extended Version)","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DB","authors_text":"Antoine Amarilli, Pierre Bourhis, Pierre Senellart","submitted_at":"2015-11-27T16:11:56Z","abstract_excerpt":"Query evaluation in monadic second-order logic (MSO) is tractable on trees and treelike instances, even though it is hard for arbitrary instances. This tractability result has been extended to several tasks related to query evaluation, such as counting query results [3] or performing query evaluation on probabilistic trees [10]. These are two examples of the more general problem of computing augmented query output, that is referred to as provenance. This article presents a provenance framework for trees and treelike instances, by describing a linear-time construction of a circuit provenance re"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.08723","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:10:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HCB5JRQaQy4hdMeJKSsE6MYxeZY92HKp7SH87nszr94rfjRcRjaoN7sAZPy3T56xUX8OhwUITIMx6WzE7jTNAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:54:40.140771Z"},"content_sha256":"ca55656a98fd2b67c7a0543e8730ad0797f660c4c78a81ae91e7f31c3ad7672f","schema_version":"1.0","event_id":"sha256:ca55656a98fd2b67c7a0543e8730ad0797f660c4c78a81ae91e7f31c3ad7672f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3XSSVIBHD4TTLUI7CSKOG5WJZE/bundle.json","state_url":"https://pith.science/pith/3XSSVIBHD4TTLUI7CSKOG5WJZE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3XSSVIBHD4TTLUI7CSKOG5WJZE/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-25T21:54:40Z","links":{"resolver":"https://pith.science/pith/3XSSVIBHD4TTLUI7CSKOG5WJZE","bundle":"https://pith.science/pith/3XSSVIBHD4TTLUI7CSKOG5WJZE/bundle.json","state":"https://pith.science/pith/3XSSVIBHD4TTLUI7CSKOG5WJZE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3XSSVIBHD4TTLUI7CSKOG5WJZE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:3XSSVIBHD4TTLUI7CSKOG5WJZE","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":"b2b314c3fb9b3f974f673b73502813354cb4fec4e0be566e973f6640d0e9d7ad","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.DB","submitted_at":"2015-11-27T16:11:56Z","title_canon_sha256":"3056ed16e50ce4105ecc5308f5a77d77628108916972f65cb63e9ed40e00d963"},"schema_version":"1.0","source":{"id":"1511.08723","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.08723","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"arxiv_version","alias_value":"1511.08723v1","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.08723","created_at":"2026-05-18T01:10:59Z"},{"alias_kind":"pith_short_12","alias_value":"3XSSVIBHD4TT","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3XSSVIBHD4TTLUI7","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3XSSVIBH","created_at":"2026-05-18T12:29:02Z"}],"graph_snapshots":[{"event_id":"sha256:ca55656a98fd2b67c7a0543e8730ad0797f660c4c78a81ae91e7f31c3ad7672f","target":"graph","created_at":"2026-05-18T01:10:59Z","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"},"paper":{"abstract_excerpt":"Query evaluation in monadic second-order logic (MSO) is tractable on trees and treelike instances, even though it is hard for arbitrary instances. This tractability result has been extended to several tasks related to query evaluation, such as counting query results [3] or performing query evaluation on probabilistic trees [10]. These are two examples of the more general problem of computing augmented query output, that is referred to as provenance. This article presents a provenance framework for trees and treelike instances, by describing a linear-time construction of a circuit provenance re","authors_text":"Antoine Amarilli, Pierre Bourhis, Pierre Senellart","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.DB","submitted_at":"2015-11-27T16:11:56Z","title":"Provenance Circuits for Trees and Treelike Instances (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.08723","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:3ce3141fbaba39aabe399e9556590644d1ebf13b10a50a04e1b38af08337b0c2","target":"record","created_at":"2026-05-18T01:10:59Z","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":"b2b314c3fb9b3f974f673b73502813354cb4fec4e0be566e973f6640d0e9d7ad","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.DB","submitted_at":"2015-11-27T16:11:56Z","title_canon_sha256":"3056ed16e50ce4105ecc5308f5a77d77628108916972f65cb63e9ed40e00d963"},"schema_version":"1.0","source":{"id":"1511.08723","kind":"arxiv","version":1}},"canonical_sha256":"dde52aa0271f2735d11f1494e376c9c920d0eef143e8fd23cbfdfbb184af2b03","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dde52aa0271f2735d11f1494e376c9c920d0eef143e8fd23cbfdfbb184af2b03","first_computed_at":"2026-05-18T01:10:59.637251Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:10:59.637251Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tYF6B7WEFvM3elEX/KmYrezZL+R5mOZ6BT0OfxLA+OfxGaXoFkN9ecdcD1U0xxc28R7Q5VQSvxLDC5NZoZXRDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:10:59.637931Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.08723","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ce3141fbaba39aabe399e9556590644d1ebf13b10a50a04e1b38af08337b0c2","sha256:ca55656a98fd2b67c7a0543e8730ad0797f660c4c78a81ae91e7f31c3ad7672f"],"state_sha256":"5e40b48a2223e78c56afdd79c681c0885689c25370f7a4ceb71b66986765e575"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"crwondO7is0qeZ5zB0mAMSKxGHoamwqoKHu2G3+HhfFTBpxtX9XBhH8RO+VrQw/bPACumHl1wpIlAONznOowCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T21:54:40.145049Z","bundle_sha256":"15298a5502afca684aa42e94e3c50c70b51d80b531a45588fd191352dc437562"}}