{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:LXM2FEESR3ROSIDMPV33QICK44","short_pith_number":"pith:LXM2FEES","canonical_record":{"source":{"id":"1411.0973","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2014-11-04T17:14:44Z","cross_cats_sorted":["cs.ET","cs.FL"],"title_canon_sha256":"0aecdaf7a6f393afa0f0625ec8ef5e43b6ecff274f91930c66855ec142dc8db0","abstract_canon_sha256":"6fa324a368f97c008c3dad526d8f769c2794807897ebe0a2d65d261ca5911a87"},"schema_version":"1.0"},"canonical_sha256":"5dd9a290928ee2e9206c7d77b8204ae71772b75fbb9f300e46d5100d8a67080d","source":{"kind":"arxiv","id":"1411.0973","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.0973","created_at":"2026-05-18T01:29:04Z"},{"alias_kind":"arxiv_version","alias_value":"1411.0973v2","created_at":"2026-05-18T01:29:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.0973","created_at":"2026-05-18T01:29:04Z"},{"alias_kind":"pith_short_12","alias_value":"LXM2FEESR3RO","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LXM2FEESR3ROSIDM","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LXM2FEES","created_at":"2026-05-18T12:28:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:LXM2FEESR3ROSIDMPV33QICK44","target":"record","payload":{"canonical_record":{"source":{"id":"1411.0973","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2014-11-04T17:14:44Z","cross_cats_sorted":["cs.ET","cs.FL"],"title_canon_sha256":"0aecdaf7a6f393afa0f0625ec8ef5e43b6ecff274f91930c66855ec142dc8db0","abstract_canon_sha256":"6fa324a368f97c008c3dad526d8f769c2794807897ebe0a2d65d261ca5911a87"},"schema_version":"1.0"},"canonical_sha256":"5dd9a290928ee2e9206c7d77b8204ae71772b75fbb9f300e46d5100d8a67080d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:29:04.670756Z","signature_b64":"1s+jAadPwIECIFssArTznHka9ecUkre6ROLyw7vKy/SJ1/M1xLQYAUChI1cUqrLNWBSNqgudp5MZhu35yOmtBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5dd9a290928ee2e9206c7d77b8204ae71772b75fbb9f300e46d5100d8a67080d","last_reissued_at":"2026-05-18T01:29:04.670067Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:29:04.670067Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1411.0973","source_version":2,"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:29:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6I9AScXUPW9NkC6dWxogmqGEseO623vCTgwlkqYd4/xTTCgKaJvBDedRm/IQnYC0vhDOb8ReGJzPUNC+ztVXAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T06:04:50.733594Z"},"content_sha256":"b3e14f00e12548e826e96bece943feef18a1aae76f2272d7f278c2158ffac2d1","schema_version":"1.0","event_id":"sha256:b3e14f00e12548e826e96bece943feef18a1aae76f2272d7f278c2158ffac2d1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:LXM2FEESR3ROSIDMPV33QICK44","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"More Tight Bounds for Active Self-Assembly Using an Insertion Primitive","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.ET","cs.FL"],"primary_cat":"cs.DS","authors_text":"Andrew Winslow, Benjamin Hescott, Caleb Malchik","submitted_at":"2014-11-04T17:14:44Z","abstract_excerpt":"We prove several limits on the behavior of a model of self-assembling particles introduced by Dabby and Chen (SODA 2013), called insertion systems, where monomers insert themselves into the middle of a growing linear polymer. First, we prove that the expressive power of these systems is equal to context-free grammars, answering a question posed by Dabby and Chen.\n  Second, we give tight bounds on the maximum length and minimum expected time of constructed polymers in systems of three increasingly restricted classes. We prove that systems of $k$ monomer types can deterministically construct pol"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.0973","kind":"arxiv","version":2},"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:29:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ty27DVMaRQ9qBFk7LgZoiRhEp9NG+x66zsWhx3+pWsozZ11xF3GvxXaycMMohaymOEtNt1VBf9FO27aaSM+fBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T06:04:50.733943Z"},"content_sha256":"56770d7d2b5dcdc3235fc4da24e75fd7f76286ba29d1918325e5c1aefb27cacf","schema_version":"1.0","event_id":"sha256:56770d7d2b5dcdc3235fc4da24e75fd7f76286ba29d1918325e5c1aefb27cacf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LXM2FEESR3ROSIDMPV33QICK44/bundle.json","state_url":"https://pith.science/pith/LXM2FEESR3ROSIDMPV33QICK44/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LXM2FEESR3ROSIDMPV33QICK44/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-06-25T06:04:50Z","links":{"resolver":"https://pith.science/pith/LXM2FEESR3ROSIDMPV33QICK44","bundle":"https://pith.science/pith/LXM2FEESR3ROSIDMPV33QICK44/bundle.json","state":"https://pith.science/pith/LXM2FEESR3ROSIDMPV33QICK44/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LXM2FEESR3ROSIDMPV33QICK44/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:LXM2FEESR3ROSIDMPV33QICK44","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":"6fa324a368f97c008c3dad526d8f769c2794807897ebe0a2d65d261ca5911a87","cross_cats_sorted":["cs.ET","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2014-11-04T17:14:44Z","title_canon_sha256":"0aecdaf7a6f393afa0f0625ec8ef5e43b6ecff274f91930c66855ec142dc8db0"},"schema_version":"1.0","source":{"id":"1411.0973","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.0973","created_at":"2026-05-18T01:29:04Z"},{"alias_kind":"arxiv_version","alias_value":"1411.0973v2","created_at":"2026-05-18T01:29:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.0973","created_at":"2026-05-18T01:29:04Z"},{"alias_kind":"pith_short_12","alias_value":"LXM2FEESR3RO","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LXM2FEESR3ROSIDM","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LXM2FEES","created_at":"2026-05-18T12:28:38Z"}],"graph_snapshots":[{"event_id":"sha256:56770d7d2b5dcdc3235fc4da24e75fd7f76286ba29d1918325e5c1aefb27cacf","target":"graph","created_at":"2026-05-18T01:29:04Z","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":"We prove several limits on the behavior of a model of self-assembling particles introduced by Dabby and Chen (SODA 2013), called insertion systems, where monomers insert themselves into the middle of a growing linear polymer. First, we prove that the expressive power of these systems is equal to context-free grammars, answering a question posed by Dabby and Chen.\n  Second, we give tight bounds on the maximum length and minimum expected time of constructed polymers in systems of three increasingly restricted classes. We prove that systems of $k$ monomer types can deterministically construct pol","authors_text":"Andrew Winslow, Benjamin Hescott, Caleb Malchik","cross_cats":["cs.ET","cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2014-11-04T17:14:44Z","title":"More Tight Bounds for Active Self-Assembly Using an Insertion Primitive"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.0973","kind":"arxiv","version":2},"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:b3e14f00e12548e826e96bece943feef18a1aae76f2272d7f278c2158ffac2d1","target":"record","created_at":"2026-05-18T01:29:04Z","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":"6fa324a368f97c008c3dad526d8f769c2794807897ebe0a2d65d261ca5911a87","cross_cats_sorted":["cs.ET","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2014-11-04T17:14:44Z","title_canon_sha256":"0aecdaf7a6f393afa0f0625ec8ef5e43b6ecff274f91930c66855ec142dc8db0"},"schema_version":"1.0","source":{"id":"1411.0973","kind":"arxiv","version":2}},"canonical_sha256":"5dd9a290928ee2e9206c7d77b8204ae71772b75fbb9f300e46d5100d8a67080d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5dd9a290928ee2e9206c7d77b8204ae71772b75fbb9f300e46d5100d8a67080d","first_computed_at":"2026-05-18T01:29:04.670067Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:29:04.670067Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1s+jAadPwIECIFssArTznHka9ecUkre6ROLyw7vKy/SJ1/M1xLQYAUChI1cUqrLNWBSNqgudp5MZhu35yOmtBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:29:04.670756Z","signed_message":"canonical_sha256_bytes"},"source_id":"1411.0973","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b3e14f00e12548e826e96bece943feef18a1aae76f2272d7f278c2158ffac2d1","sha256:56770d7d2b5dcdc3235fc4da24e75fd7f76286ba29d1918325e5c1aefb27cacf"],"state_sha256":"b9eeee4c68e2e99a07f4a92e5bf55e5f9dcfd08fa8a348b70e916096bb52deeb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l9e9+oPOFDmY1GFY4gR9orqOpiufyxImOdtSg3Bjh/31a6rU9PdUNEVQdHhBvQyDci1KW92hm9NdbOfyA70ZBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T06:04:50.735960Z","bundle_sha256":"1236f64179f7c71659b9a93a876c000dd8540eebbf2c1aa8b70869be54dba8b2"}}