{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:HAETOWEWXHPVIF2NUISC7SBXJH","short_pith_number":"pith:HAETOWEW","canonical_record":{"source":{"id":"2506.19481","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-24T10:17:34Z","cross_cats_sorted":[],"title_canon_sha256":"512504e90ae121ae3f3699d805da6598724f36f03090ec36e26934d476da91cd","abstract_canon_sha256":"fc5cf4ebd85a7386cdce0ff88d85b0d30a506c67944a38f702d8645247a975a4"},"schema_version":"1.0"},"canonical_sha256":"3809375896b9df54174da2242fc83749ffa6b006d86322a74b6696b2ac96a37c","source":{"kind":"arxiv","id":"2506.19481","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.19481","created_at":"2026-07-03T01:17:12Z"},{"alias_kind":"arxiv_version","alias_value":"2506.19481v1","created_at":"2026-07-03T01:17:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.19481","created_at":"2026-07-03T01:17:12Z"},{"alias_kind":"pith_short_12","alias_value":"HAETOWEWXHPV","created_at":"2026-07-03T01:17:12Z"},{"alias_kind":"pith_short_16","alias_value":"HAETOWEWXHPVIF2N","created_at":"2026-07-03T01:17:12Z"},{"alias_kind":"pith_short_8","alias_value":"HAETOWEW","created_at":"2026-07-03T01:17:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:HAETOWEWXHPVIF2NUISC7SBXJH","target":"record","payload":{"canonical_record":{"source":{"id":"2506.19481","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-24T10:17:34Z","cross_cats_sorted":[],"title_canon_sha256":"512504e90ae121ae3f3699d805da6598724f36f03090ec36e26934d476da91cd","abstract_canon_sha256":"fc5cf4ebd85a7386cdce0ff88d85b0d30a506c67944a38f702d8645247a975a4"},"schema_version":"1.0"},"canonical_sha256":"3809375896b9df54174da2242fc83749ffa6b006d86322a74b6696b2ac96a37c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-03T01:17:12.002507Z","signature_b64":"RRqbCz9ENGEbbjWyGe9FYAV0x9XPlsJng7IaJWLp+ZozJQkMUbeRUTP/tY15b2RhWdp353bE7ykOWdnMYiWKDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3809375896b9df54174da2242fc83749ffa6b006d86322a74b6696b2ac96a37c","last_reissued_at":"2026-07-03T01:17:12.002093Z","signature_status":"signed_v1","first_computed_at":"2026-07-03T01:17:12.002093Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.19481","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-07-03T01:17:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+WWCIE/Rv1o3iJ5CvHGYukCQvDujw5fIIEgwOBRJIf6Bnnnr1aZgaF/RUTSdp2Z4tm4i9whvxeiLqy27UIfpDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T22:57:36.390982Z"},"content_sha256":"e49b4d4fd52c10ef46540fb1d7ac178fde6d0c5e0227463f9b98c8590036e425","schema_version":"1.0","event_id":"sha256:e49b4d4fd52c10ef46540fb1d7ac178fde6d0c5e0227463f9b98c8590036e425"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:HAETOWEWXHPVIF2NUISC7SBXJH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LLM-based Multi-Agent System for Intelligent Refactoring of Haskell Code","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Henri Terho, Jussi Rasku, Kai-Kristian Kemell, Kalle Makela, Md Mahade Hasan, Mika Saari, Muhammad Waseem, Pekka Abrahamsson, Shahbaz Siddeeq, Zeeshan Rasheed","submitted_at":"2025-06-24T10:17:34Z","abstract_excerpt":"Refactoring is a constant activity in software development and maintenance. Scale and maintain software systems are based on code refactoring. However, this process is still labor intensive, as it requires programmers to analyze the codebases in detail to avoid introducing new defects. In this research, we put forward a large language model (LLM)-based multi-agent system to automate the refactoring process on Haskell code. The objective of this research is to evaluate the effect of LLM-based agents in performing structured and semantically accurate refactoring on Haskell code. Our proposed mul"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.19481","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.19481/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-03T01:17:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"spwSQmWC5DMim4RixrbAQveWYLdLitHoF60icWhBSlhppRABLyLmiliCVLg9IXgvX7aBetFA7EW5UHaXrxK8Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T22:57:36.391385Z"},"content_sha256":"c4b3bfe9c9d540ef6ed3ac10109c69bcd15c3dd3603968d2b1b1b064342883c5","schema_version":"1.0","event_id":"sha256:c4b3bfe9c9d540ef6ed3ac10109c69bcd15c3dd3603968d2b1b1b064342883c5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HAETOWEWXHPVIF2NUISC7SBXJH/bundle.json","state_url":"https://pith.science/pith/HAETOWEWXHPVIF2NUISC7SBXJH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HAETOWEWXHPVIF2NUISC7SBXJH/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-03T22:57:36Z","links":{"resolver":"https://pith.science/pith/HAETOWEWXHPVIF2NUISC7SBXJH","bundle":"https://pith.science/pith/HAETOWEWXHPVIF2NUISC7SBXJH/bundle.json","state":"https://pith.science/pith/HAETOWEWXHPVIF2NUISC7SBXJH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HAETOWEWXHPVIF2NUISC7SBXJH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HAETOWEWXHPVIF2NUISC7SBXJH","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":"fc5cf4ebd85a7386cdce0ff88d85b0d30a506c67944a38f702d8645247a975a4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-24T10:17:34Z","title_canon_sha256":"512504e90ae121ae3f3699d805da6598724f36f03090ec36e26934d476da91cd"},"schema_version":"1.0","source":{"id":"2506.19481","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.19481","created_at":"2026-07-03T01:17:12Z"},{"alias_kind":"arxiv_version","alias_value":"2506.19481v1","created_at":"2026-07-03T01:17:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.19481","created_at":"2026-07-03T01:17:12Z"},{"alias_kind":"pith_short_12","alias_value":"HAETOWEWXHPV","created_at":"2026-07-03T01:17:12Z"},{"alias_kind":"pith_short_16","alias_value":"HAETOWEWXHPVIF2N","created_at":"2026-07-03T01:17:12Z"},{"alias_kind":"pith_short_8","alias_value":"HAETOWEW","created_at":"2026-07-03T01:17:12Z"}],"graph_snapshots":[{"event_id":"sha256:c4b3bfe9c9d540ef6ed3ac10109c69bcd15c3dd3603968d2b1b1b064342883c5","target":"graph","created_at":"2026-07-03T01:17:12Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2506.19481/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Refactoring is a constant activity in software development and maintenance. Scale and maintain software systems are based on code refactoring. However, this process is still labor intensive, as it requires programmers to analyze the codebases in detail to avoid introducing new defects. In this research, we put forward a large language model (LLM)-based multi-agent system to automate the refactoring process on Haskell code. The objective of this research is to evaluate the effect of LLM-based agents in performing structured and semantically accurate refactoring on Haskell code. Our proposed mul","authors_text":"Henri Terho, Jussi Rasku, Kai-Kristian Kemell, Kalle Makela, Md Mahade Hasan, Mika Saari, Muhammad Waseem, Pekka Abrahamsson, Shahbaz Siddeeq, Zeeshan Rasheed","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-24T10:17:34Z","title":"LLM-based Multi-Agent System for Intelligent Refactoring of Haskell Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.19481","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:e49b4d4fd52c10ef46540fb1d7ac178fde6d0c5e0227463f9b98c8590036e425","target":"record","created_at":"2026-07-03T01:17:12Z","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":"fc5cf4ebd85a7386cdce0ff88d85b0d30a506c67944a38f702d8645247a975a4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-06-24T10:17:34Z","title_canon_sha256":"512504e90ae121ae3f3699d805da6598724f36f03090ec36e26934d476da91cd"},"schema_version":"1.0","source":{"id":"2506.19481","kind":"arxiv","version":1}},"canonical_sha256":"3809375896b9df54174da2242fc83749ffa6b006d86322a74b6696b2ac96a37c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3809375896b9df54174da2242fc83749ffa6b006d86322a74b6696b2ac96a37c","first_computed_at":"2026-07-03T01:17:12.002093Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-03T01:17:12.002093Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RRqbCz9ENGEbbjWyGe9FYAV0x9XPlsJng7IaJWLp+ZozJQkMUbeRUTP/tY15b2RhWdp353bE7ykOWdnMYiWKDA==","signature_status":"signed_v1","signed_at":"2026-07-03T01:17:12.002507Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.19481","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e49b4d4fd52c10ef46540fb1d7ac178fde6d0c5e0227463f9b98c8590036e425","sha256:c4b3bfe9c9d540ef6ed3ac10109c69bcd15c3dd3603968d2b1b1b064342883c5"],"state_sha256":"727d644fbc38f98cfcc29cd8f6221cf26500a810c79ad4827a001251d1ad2ec5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hyyxI46limmA0PWYl2OaoDaYrZ+pgz4p4324S4z4i9PSoG1F2fKhlRrgBu6uMiyRDsSwh08w0zHxySYUz4geBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-03T22:57:36.393476Z","bundle_sha256":"cd53f0896d50b5c4773c52efc32ca1678ca9b3f2583f1554b8f435d4f6d495f8"}}