{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:PNYPIFEJ7TEXH3ACPWTQ3ZICHC","short_pith_number":"pith:PNYPIFEJ","canonical_record":{"source":{"id":"1809.03252","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-10T11:59:47Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"47f3d7c12725071ed8e71ff3d35d5ff31f6de82002ef6043a4461504b37f8714","abstract_canon_sha256":"d5ff012f8f4eafdeb0c1b5889944d62c47324e6c815b23ccbe75b2806bee3398"},"schema_version":"1.0"},"canonical_sha256":"7b70f41489fcc973ec027da70de5023885fcbdeb3e31f4182f303bc1572a026a","source":{"kind":"arxiv","id":"1809.03252","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.03252","created_at":"2026-05-18T00:06:09Z"},{"alias_kind":"arxiv_version","alias_value":"1809.03252v1","created_at":"2026-05-18T00:06:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.03252","created_at":"2026-05-18T00:06:09Z"},{"alias_kind":"pith_short_12","alias_value":"PNYPIFEJ7TEX","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PNYPIFEJ7TEXH3AC","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PNYPIFEJ","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:PNYPIFEJ7TEXH3ACPWTQ3ZICHC","target":"record","payload":{"canonical_record":{"source":{"id":"1809.03252","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-10T11:59:47Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"47f3d7c12725071ed8e71ff3d35d5ff31f6de82002ef6043a4461504b37f8714","abstract_canon_sha256":"d5ff012f8f4eafdeb0c1b5889944d62c47324e6c815b23ccbe75b2806bee3398"},"schema_version":"1.0"},"canonical_sha256":"7b70f41489fcc973ec027da70de5023885fcbdeb3e31f4182f303bc1572a026a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:06:09.497641Z","signature_b64":"mwCVND0SlNQXoONXdLFO7M7wO9WtiiZCClpbTyl/MBpMUMds0HHYNgINAHOmZ8PP2b6Rw0qiwI01uGdN+SyXCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b70f41489fcc973ec027da70de5023885fcbdeb3e31f4182f303bc1572a026a","last_reissued_at":"2026-05-18T00:06:09.496908Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:06:09.496908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.03252","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-18T00:06:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hy+EG3NAq1lPjGuqI6iwj+f96P5JJnrtsAJEyhq+5djP8qTO0aZK7sc0LiLtQyvTK89IJO/pd06vNCmPd0tFBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T23:45:55.871975Z"},"content_sha256":"f086c0b3b51afe2e55bb175f9198a29aab80a23e549a5ad8c865e2fafdf0394c","schema_version":"1.0","event_id":"sha256:f086c0b3b51afe2e55bb175f9198a29aab80a23e549a5ad8c865e2fafdf0394c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:PNYPIFEJ7TEXH3ACPWTQ3ZICHC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Satoshi Egi","submitted_at":"2018-09-10T11:59:47Z","abstract_excerpt":"The Kleene star operator is an important pattern construct for representing a pattern that repeats multiple times. Due to its simplicity and usefulness, it is imported into various pattern-matching systems other than regular expressions. For example, Mathematica has a similar pattern construct called the repeated pattern. However, they have the following limitations: (i) We cannot change the pattern repeated depending on the current repeat count, and (ii) we cannot apply them to arbitrary data structures such as trees and graphs other than lists. This paper proposes the loop patterns that over"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.03252","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-18T00:06:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dzDRwYy7Kau4DTA8jSZJusakitdjjc3WZFqURvobSnRxpVdamtBQaNXh6JtVPR3Xoz3wrCpNGgSZuVMI+hPADA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T23:45:55.872447Z"},"content_sha256":"db15eeaa0c0ddafd282501aae80581a3aa424bcb36204f85d90943ff1f23d899","schema_version":"1.0","event_id":"sha256:db15eeaa0c0ddafd282501aae80581a3aa424bcb36204f85d90943ff1f23d899"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PNYPIFEJ7TEXH3ACPWTQ3ZICHC/bundle.json","state_url":"https://pith.science/pith/PNYPIFEJ7TEXH3ACPWTQ3ZICHC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PNYPIFEJ7TEXH3ACPWTQ3ZICHC/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-25T23:45:55Z","links":{"resolver":"https://pith.science/pith/PNYPIFEJ7TEXH3ACPWTQ3ZICHC","bundle":"https://pith.science/pith/PNYPIFEJ7TEXH3ACPWTQ3ZICHC/bundle.json","state":"https://pith.science/pith/PNYPIFEJ7TEXH3ACPWTQ3ZICHC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PNYPIFEJ7TEXH3ACPWTQ3ZICHC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:PNYPIFEJ7TEXH3ACPWTQ3ZICHC","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":"d5ff012f8f4eafdeb0c1b5889944d62c47324e6c815b23ccbe75b2806bee3398","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-10T11:59:47Z","title_canon_sha256":"47f3d7c12725071ed8e71ff3d35d5ff31f6de82002ef6043a4461504b37f8714"},"schema_version":"1.0","source":{"id":"1809.03252","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.03252","created_at":"2026-05-18T00:06:09Z"},{"alias_kind":"arxiv_version","alias_value":"1809.03252v1","created_at":"2026-05-18T00:06:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.03252","created_at":"2026-05-18T00:06:09Z"},{"alias_kind":"pith_short_12","alias_value":"PNYPIFEJ7TEX","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PNYPIFEJ7TEXH3AC","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PNYPIFEJ","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:db15eeaa0c0ddafd282501aae80581a3aa424bcb36204f85d90943ff1f23d899","target":"graph","created_at":"2026-05-18T00:06:09Z","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":"The Kleene star operator is an important pattern construct for representing a pattern that repeats multiple times. Due to its simplicity and usefulness, it is imported into various pattern-matching systems other than regular expressions. For example, Mathematica has a similar pattern construct called the repeated pattern. However, they have the following limitations: (i) We cannot change the pattern repeated depending on the current repeat count, and (ii) we cannot apply them to arbitrary data structures such as trees and graphs other than lists. This paper proposes the loop patterns that over","authors_text":"Satoshi Egi","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-10T11:59:47Z","title":"Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.03252","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:f086c0b3b51afe2e55bb175f9198a29aab80a23e549a5ad8c865e2fafdf0394c","target":"record","created_at":"2026-05-18T00:06:09Z","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":"d5ff012f8f4eafdeb0c1b5889944d62c47324e6c815b23ccbe75b2806bee3398","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-10T11:59:47Z","title_canon_sha256":"47f3d7c12725071ed8e71ff3d35d5ff31f6de82002ef6043a4461504b37f8714"},"schema_version":"1.0","source":{"id":"1809.03252","kind":"arxiv","version":1}},"canonical_sha256":"7b70f41489fcc973ec027da70de5023885fcbdeb3e31f4182f303bc1572a026a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7b70f41489fcc973ec027da70de5023885fcbdeb3e31f4182f303bc1572a026a","first_computed_at":"2026-05-18T00:06:09.496908Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:06:09.496908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mwCVND0SlNQXoONXdLFO7M7wO9WtiiZCClpbTyl/MBpMUMds0HHYNgINAHOmZ8PP2b6Rw0qiwI01uGdN+SyXCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:06:09.497641Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.03252","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f086c0b3b51afe2e55bb175f9198a29aab80a23e549a5ad8c865e2fafdf0394c","sha256:db15eeaa0c0ddafd282501aae80581a3aa424bcb36204f85d90943ff1f23d899"],"state_sha256":"868f0b26dc26031bf707c32210da551814cf76669e5f08ad2cbb87f5ecf9dde5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8qBao/3+yZEh2gPm6V15enOaeaZjdJWTkXh4cwiuMftEsoSFYyXruE+FlYJ20oPJ2bc9ByXOhz2MDINw/5m5Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T23:45:55.874972Z","bundle_sha256":"ea2bbc07cd10a43c039f06ff0b02ecc0cc417418f7547adc0ce26bc83e104159"}}