{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:1997:T77EBRDOZIYDQ2CAEGM6U7XZOE","short_pith_number":"pith:T77EBRDO","canonical_record":{"source":{"id":"cs/9712101","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"1997-12-01T00:00:00Z","cross_cats_sorted":[],"title_canon_sha256":"9e23873b0eb3049f8584998e4c04b571d95ba1a3006886a2c41166d29b61705b","abstract_canon_sha256":"d440bee9082ad3f1a856a80760a33d79c05fe8d8a20395fbe326e1f841d8be3c"},"schema_version":"1.0"},"canonical_sha256":"9ffe40c46eca303868402199ea7ef971347718bf9e077610a8caa2da11bb0322","source":{"kind":"arxiv","id":"cs/9712101","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/9712101","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"arxiv_version","alias_value":"cs/9712101v1","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/9712101","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"pith_short_12","alias_value":"T77EBRDOZIYD","created_at":"2026-05-18T12:25:48Z"},{"alias_kind":"pith_short_16","alias_value":"T77EBRDOZIYDQ2CA","created_at":"2026-05-18T12:25:48Z"},{"alias_kind":"pith_short_8","alias_value":"T77EBRDO","created_at":"2026-05-18T12:25:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:1997:T77EBRDOZIYDQ2CAEGM6U7XZOE","target":"record","payload":{"canonical_record":{"source":{"id":"cs/9712101","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"1997-12-01T00:00:00Z","cross_cats_sorted":[],"title_canon_sha256":"9e23873b0eb3049f8584998e4c04b571d95ba1a3006886a2c41166d29b61705b","abstract_canon_sha256":"d440bee9082ad3f1a856a80760a33d79c05fe8d8a20395fbe326e1f841d8be3c"},"schema_version":"1.0"},"canonical_sha256":"9ffe40c46eca303868402199ea7ef971347718bf9e077610a8caa2da11bb0322","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:37:36.614371Z","signature_b64":"NtnpV15WCtVjmXkR8BBLJ4NvyGicLrMK+ugWMdIr1vw2kMv72ycIh1ZAkIpEfNKCDmQEuxRgtMxpN5iwascUBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9ffe40c46eca303868402199ea7ef971347718bf9e077610a8caa2da11bb0322","last_reissued_at":"2026-05-18T02:37:36.613934Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:37:36.613934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/9712101","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-18T02:37:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NJwHt9tAGAnJ+aJ+jmZjzXbw7GHcwEsojqRF7T7SOnzzN3H/rvAb6ToEWKoyR0YDNwAxCrxARghRgOYn73mlBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T15:27:38.733682Z"},"content_sha256":"a0fb824347202ad3c55e7b246a9d2f97fb3c9a18eb887c7e85bbba4b3057132a","schema_version":"1.0","event_id":"sha256:a0fb824347202ad3c55e7b246a9d2f97fb3c9a18eb887c7e85bbba4b3057132a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:1997:T77EBRDOZIYDQ2CAEGM6U7XZOE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"When Gravity Fails: Local Search Topology","license":"","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"J. Frank, J. Stutz, P. Cheeseman","submitted_at":"1997-12-01T00:00:00Z","abstract_excerpt":"Local search algorithms for combinatorial search problems frequently encounter a sequence of states in which it is impossible to improve the value of the objective function; moves through these regions, called plateau moves, dominate the time spent in local search. We analyze and characterize plateaus for three different classes of randomly generated Boolean Satisfiability problems. We identify several interesting features of plateaus that impact the performance of local search algorithms. We show that local minima tend to be small but occasionally may be very large. We also show that local mi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/9712101","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-18T02:37:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Nx/zKd9U9KRp3+jua1XWZ2JVbaXtKTbDtgjA93sbW7QUuDCF79q0IRpjNZkbtTag0x2yaH86XjV7Tg15g6YlCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T15:27:38.734029Z"},"content_sha256":"fb9a7da1c77969acca21d7edd1b6e0f8bef47247d654643ee1523ee7298116be","schema_version":"1.0","event_id":"sha256:fb9a7da1c77969acca21d7edd1b6e0f8bef47247d654643ee1523ee7298116be"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T77EBRDOZIYDQ2CAEGM6U7XZOE/bundle.json","state_url":"https://pith.science/pith/T77EBRDOZIYDQ2CAEGM6U7XZOE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T77EBRDOZIYDQ2CAEGM6U7XZOE/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-07-02T15:27:38Z","links":{"resolver":"https://pith.science/pith/T77EBRDOZIYDQ2CAEGM6U7XZOE","bundle":"https://pith.science/pith/T77EBRDOZIYDQ2CAEGM6U7XZOE/bundle.json","state":"https://pith.science/pith/T77EBRDOZIYDQ2CAEGM6U7XZOE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T77EBRDOZIYDQ2CAEGM6U7XZOE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:1997:T77EBRDOZIYDQ2CAEGM6U7XZOE","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":"d440bee9082ad3f1a856a80760a33d79c05fe8d8a20395fbe326e1f841d8be3c","cross_cats_sorted":[],"license":"","primary_cat":"cs.AI","submitted_at":"1997-12-01T00:00:00Z","title_canon_sha256":"9e23873b0eb3049f8584998e4c04b571d95ba1a3006886a2c41166d29b61705b"},"schema_version":"1.0","source":{"id":"cs/9712101","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/9712101","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"arxiv_version","alias_value":"cs/9712101v1","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/9712101","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"pith_short_12","alias_value":"T77EBRDOZIYD","created_at":"2026-05-18T12:25:48Z"},{"alias_kind":"pith_short_16","alias_value":"T77EBRDOZIYDQ2CA","created_at":"2026-05-18T12:25:48Z"},{"alias_kind":"pith_short_8","alias_value":"T77EBRDO","created_at":"2026-05-18T12:25:48Z"}],"graph_snapshots":[{"event_id":"sha256:fb9a7da1c77969acca21d7edd1b6e0f8bef47247d654643ee1523ee7298116be","target":"graph","created_at":"2026-05-18T02:37:36Z","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":"Local search algorithms for combinatorial search problems frequently encounter a sequence of states in which it is impossible to improve the value of the objective function; moves through these regions, called plateau moves, dominate the time spent in local search. We analyze and characterize plateaus for three different classes of randomly generated Boolean Satisfiability problems. We identify several interesting features of plateaus that impact the performance of local search algorithms. We show that local minima tend to be small but occasionally may be very large. We also show that local mi","authors_text":"J. Frank, J. Stutz, P. Cheeseman","cross_cats":[],"headline":"","license":"","primary_cat":"cs.AI","submitted_at":"1997-12-01T00:00:00Z","title":"When Gravity Fails: Local Search Topology"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/9712101","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:a0fb824347202ad3c55e7b246a9d2f97fb3c9a18eb887c7e85bbba4b3057132a","target":"record","created_at":"2026-05-18T02:37:36Z","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":"d440bee9082ad3f1a856a80760a33d79c05fe8d8a20395fbe326e1f841d8be3c","cross_cats_sorted":[],"license":"","primary_cat":"cs.AI","submitted_at":"1997-12-01T00:00:00Z","title_canon_sha256":"9e23873b0eb3049f8584998e4c04b571d95ba1a3006886a2c41166d29b61705b"},"schema_version":"1.0","source":{"id":"cs/9712101","kind":"arxiv","version":1}},"canonical_sha256":"9ffe40c46eca303868402199ea7ef971347718bf9e077610a8caa2da11bb0322","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9ffe40c46eca303868402199ea7ef971347718bf9e077610a8caa2da11bb0322","first_computed_at":"2026-05-18T02:37:36.613934Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:37:36.613934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NtnpV15WCtVjmXkR8BBLJ4NvyGicLrMK+ugWMdIr1vw2kMv72ycIh1ZAkIpEfNKCDmQEuxRgtMxpN5iwascUBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:37:36.614371Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/9712101","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a0fb824347202ad3c55e7b246a9d2f97fb3c9a18eb887c7e85bbba4b3057132a","sha256:fb9a7da1c77969acca21d7edd1b6e0f8bef47247d654643ee1523ee7298116be"],"state_sha256":"aad29537f20e97bf72816d4e15811bcf4275984c6e7c46a1fd9f58cb96ad21df"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mDM7Vg/ZVqJdBVEsgJx9mfLgn1H2bPTWMIh0QvJPBWrJX3Cll6Z+6MxBka8B+E5p0ix8ScFmQO+6+wBZh6ilDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T15:27:38.736145Z","bundle_sha256":"5e07feb63f69ba23f456162ae467f0bf956610ed5f591c1e9d1970e74ad80245"}}