{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:3QVL7DT2UVRUEQ7TW7WAAE7EJW","short_pith_number":"pith:3QVL7DT2","canonical_record":{"source":{"id":"1609.03641","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-09-13T00:17:10Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ae5cedcb42d64c7d59cf56678529a0e05cf2fd9dc59cd78c4f2b8b541acc1802","abstract_canon_sha256":"2f69b9cdb3a7c7869309c4b8146d871a6634eaa54044511d8aa2ff2f424b6038"},"schema_version":"1.0"},"canonical_sha256":"dc2abf8e7aa5634243f3b7ec0013e44dae0ccd44b7a1996c25e783dce83b3dcf","source":{"kind":"arxiv","id":"1609.03641","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.03641","created_at":"2026-05-18T01:04:46Z"},{"alias_kind":"arxiv_version","alias_value":"1609.03641v1","created_at":"2026-05-18T01:04:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.03641","created_at":"2026-05-18T01:04:46Z"},{"alias_kind":"pith_short_12","alias_value":"3QVL7DT2UVRU","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3QVL7DT2UVRUEQ7T","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3QVL7DT2","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:3QVL7DT2UVRUEQ7TW7WAAE7EJW","target":"record","payload":{"canonical_record":{"source":{"id":"1609.03641","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-09-13T00:17:10Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ae5cedcb42d64c7d59cf56678529a0e05cf2fd9dc59cd78c4f2b8b541acc1802","abstract_canon_sha256":"2f69b9cdb3a7c7869309c4b8146d871a6634eaa54044511d8aa2ff2f424b6038"},"schema_version":"1.0"},"canonical_sha256":"dc2abf8e7aa5634243f3b7ec0013e44dae0ccd44b7a1996c25e783dce83b3dcf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:46.270022Z","signature_b64":"xrNqAwHGgiJxw6aN5TsMWPLfcjP1KN7Zq1PKA5uklMcFaYlXsU/kU6DulETlM40mF5Bbk3G9OVAz6S1feTKrBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dc2abf8e7aa5634243f3b7ec0013e44dae0ccd44b7a1996c25e783dce83b3dcf","last_reissued_at":"2026-05-18T01:04:46.269367Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:46.269367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.03641","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:04:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VvOGr9XMybIwDu41Etc0KHbGlNWhVpP1DCy/YGxN0EnBSl8ZD/pD0LcDyR3QdoKXpYFJoa/lOBezdPFRMH5OBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T22:25:22.336486Z"},"content_sha256":"50e777f804c2c9257b7a7b156f891acecb1118636331ef5dfccf0d026c46209c","schema_version":"1.0","event_id":"sha256:50e777f804c2c9257b7a7b156f891acecb1118636331ef5dfccf0d026c46209c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:3QVL7DT2UVRUEQ7TW7WAAE7EJW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"In-place Graph Rewriting with Interaction Nets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Ecole polytechnique, France), Ian Mackie (LIX, Japan), Shinya Sato (Ibaraki University","submitted_at":"2016-09-13T00:17:10Z","abstract_excerpt":"An algorithm is in-place, or runs in-situ, when it does not need any additional memory to execute beyond a small constant amount. There are many algorithms that are efficient because of this feature, therefore it is an important aspect of an algorithm.  In most programming languages, it is not obvious when an algorithm can run in-place, and moreover it is often not clear that the implementation respects that idea. In this paper we study interaction nets as a formalism where we can see directly, visually, that an algorithm is in-place, and moreover the implementation will respect that it is in-"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.03641","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:04:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gal1w2KzQYR4YlcXZo+bUddXflNbrjy4WxuxXsPYpmsNyza1u6/lPZvQLhWWGySy9BAs0DFwWWQ3hPuJgJf9DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T22:25:22.336833Z"},"content_sha256":"fbcecf0d1d394b3ee8984987926211d62e51c35752a57bd1eb41393100d6b51f","schema_version":"1.0","event_id":"sha256:fbcecf0d1d394b3ee8984987926211d62e51c35752a57bd1eb41393100d6b51f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3QVL7DT2UVRUEQ7TW7WAAE7EJW/bundle.json","state_url":"https://pith.science/pith/3QVL7DT2UVRUEQ7TW7WAAE7EJW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3QVL7DT2UVRUEQ7TW7WAAE7EJW/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-02T22:25:22Z","links":{"resolver":"https://pith.science/pith/3QVL7DT2UVRUEQ7TW7WAAE7EJW","bundle":"https://pith.science/pith/3QVL7DT2UVRUEQ7TW7WAAE7EJW/bundle.json","state":"https://pith.science/pith/3QVL7DT2UVRUEQ7TW7WAAE7EJW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3QVL7DT2UVRUEQ7TW7WAAE7EJW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:3QVL7DT2UVRUEQ7TW7WAAE7EJW","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":"2f69b9cdb3a7c7869309c4b8146d871a6634eaa54044511d8aa2ff2f424b6038","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-09-13T00:17:10Z","title_canon_sha256":"ae5cedcb42d64c7d59cf56678529a0e05cf2fd9dc59cd78c4f2b8b541acc1802"},"schema_version":"1.0","source":{"id":"1609.03641","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.03641","created_at":"2026-05-18T01:04:46Z"},{"alias_kind":"arxiv_version","alias_value":"1609.03641v1","created_at":"2026-05-18T01:04:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.03641","created_at":"2026-05-18T01:04:46Z"},{"alias_kind":"pith_short_12","alias_value":"3QVL7DT2UVRU","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3QVL7DT2UVRUEQ7T","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3QVL7DT2","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:fbcecf0d1d394b3ee8984987926211d62e51c35752a57bd1eb41393100d6b51f","target":"graph","created_at":"2026-05-18T01:04:46Z","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":"An algorithm is in-place, or runs in-situ, when it does not need any additional memory to execute beyond a small constant amount. There are many algorithms that are efficient because of this feature, therefore it is an important aspect of an algorithm.  In most programming languages, it is not obvious when an algorithm can run in-place, and moreover it is often not clear that the implementation respects that idea. In this paper we study interaction nets as a formalism where we can see directly, visually, that an algorithm is in-place, and moreover the implementation will respect that it is in-","authors_text":"Ecole polytechnique, France), Ian Mackie (LIX, Japan), Shinya Sato (Ibaraki University","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-09-13T00:17:10Z","title":"In-place Graph Rewriting with Interaction Nets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.03641","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:50e777f804c2c9257b7a7b156f891acecb1118636331ef5dfccf0d026c46209c","target":"record","created_at":"2026-05-18T01:04:46Z","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":"2f69b9cdb3a7c7869309c4b8146d871a6634eaa54044511d8aa2ff2f424b6038","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-09-13T00:17:10Z","title_canon_sha256":"ae5cedcb42d64c7d59cf56678529a0e05cf2fd9dc59cd78c4f2b8b541acc1802"},"schema_version":"1.0","source":{"id":"1609.03641","kind":"arxiv","version":1}},"canonical_sha256":"dc2abf8e7aa5634243f3b7ec0013e44dae0ccd44b7a1996c25e783dce83b3dcf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dc2abf8e7aa5634243f3b7ec0013e44dae0ccd44b7a1996c25e783dce83b3dcf","first_computed_at":"2026-05-18T01:04:46.269367Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:46.269367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xrNqAwHGgiJxw6aN5TsMWPLfcjP1KN7Zq1PKA5uklMcFaYlXsU/kU6DulETlM40mF5Bbk3G9OVAz6S1feTKrBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:46.270022Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.03641","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:50e777f804c2c9257b7a7b156f891acecb1118636331ef5dfccf0d026c46209c","sha256:fbcecf0d1d394b3ee8984987926211d62e51c35752a57bd1eb41393100d6b51f"],"state_sha256":"367c1e67dc2590a669247625c6cbe4ff64757191e178d3295ebc1c1676877a64"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rPHQl8CBFMT1JlSO6CFFh2c0kspV4AvBhKeYp1nLQ2m3XIM/z4tjdhTRkrRvH9c+pNU+ICakffDmUUDXUeZUBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T22:25:22.338773Z","bundle_sha256":"20fc282b9e3fb77b46be068f50a2e1d1c340a88f07323a2d055b55726e164896"}}