{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:7VRQ4WDJRT2UNVBILYTM6V6XNU","short_pith_number":"pith:7VRQ4WDJ","canonical_record":{"source":{"id":"2202.05641","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-02-11T14:30:50Z","cross_cats_sorted":[],"title_canon_sha256":"aa757b801ac836f73e490c811d08d80e1967fe8ff6db43b84cb20e4f26a4efa5","abstract_canon_sha256":"c6583fd7256b13dbfbe638437c24a658dbcb21843b99c8b9df8739d4655bccb6"},"schema_version":"1.0"},"canonical_sha256":"fd630e58698cf546d4285e26cf57d76d3afe2659097163e732d3d4943db37c6c","source":{"kind":"arxiv","id":"2202.05641","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2202.05641","created_at":"2026-07-05T03:56:34Z"},{"alias_kind":"arxiv_version","alias_value":"2202.05641v2","created_at":"2026-07-05T03:56:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.05641","created_at":"2026-07-05T03:56:34Z"},{"alias_kind":"pith_short_12","alias_value":"7VRQ4WDJRT2U","created_at":"2026-07-05T03:56:34Z"},{"alias_kind":"pith_short_16","alias_value":"7VRQ4WDJRT2UNVBI","created_at":"2026-07-05T03:56:34Z"},{"alias_kind":"pith_short_8","alias_value":"7VRQ4WDJ","created_at":"2026-07-05T03:56:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:7VRQ4WDJRT2UNVBILYTM6V6XNU","target":"record","payload":{"canonical_record":{"source":{"id":"2202.05641","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-02-11T14:30:50Z","cross_cats_sorted":[],"title_canon_sha256":"aa757b801ac836f73e490c811d08d80e1967fe8ff6db43b84cb20e4f26a4efa5","abstract_canon_sha256":"c6583fd7256b13dbfbe638437c24a658dbcb21843b99c8b9df8739d4655bccb6"},"schema_version":"1.0"},"canonical_sha256":"fd630e58698cf546d4285e26cf57d76d3afe2659097163e732d3d4943db37c6c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:56:34.940619Z","signature_b64":"s5OU9POD0mSbRJejD9I72CAqGffuFgNgBEBG5Kmx5AGXMra8W5MioJpnTaOPcexHIiB77pabjkvxTc0rfhycAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fd630e58698cf546d4285e26cf57d76d3afe2659097163e732d3d4943db37c6c","last_reissued_at":"2026-07-05T03:56:34.940139Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:56:34.940139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2202.05641","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-07-05T03:56:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PZacHhD4SdV4ywwS7yLabmC2vNPvv/Q7kyP64HAJGbTrJPLvrPR5vSiL57w2CV9k/iCpyFKX+1gGn4dwYlo8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T03:41:21.476592Z"},"content_sha256":"5f2080f5b90812352d5aa2e935293484608fff0553315a498747b6bb289efd8f","schema_version":"1.0","event_id":"sha256:5f2080f5b90812352d5aa2e935293484608fff0553315a498747b6bb289efd8f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:7VRQ4WDJRT2UNVBILYTM6V6XNU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NALABS: Detecting Bad Smells in Natural Language Requirements and Test Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Eduard Enoiu, Kostadin Rajkovic","submitted_at":"2022-02-11T14:30:50Z","abstract_excerpt":"In large-scale embedded system development, requirement and test specifications are often expressed in natural language. In the context of developing such products, requirement review is performed in many cases manually using these specifications as a basis for quality assurance. Low-quality specifications can have expensive consequences during the requirement engineering process. Especially, if feedback loops during requirement engineering are long, leading to artifacts that are not easily maintainable, are hard to understand, and are inefficient to port to other system variants. We use the i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.05641","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2202.05641/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-05T03:56:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OoktpwwP5oqJHmJ6lV5eZ8x1415RtHv7p4CqL5ahQ5RVg/N33zkAXduMr+kBR3u5+NKnJCXrmu7onJigL/ShCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T03:41:21.477181Z"},"content_sha256":"3042a2201412c9311042a9022f24464cd075a73fa86a46e93551d583da60f3c0","schema_version":"1.0","event_id":"sha256:3042a2201412c9311042a9022f24464cd075a73fa86a46e93551d583da60f3c0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7VRQ4WDJRT2UNVBILYTM6V6XNU/bundle.json","state_url":"https://pith.science/pith/7VRQ4WDJRT2UNVBILYTM6V6XNU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7VRQ4WDJRT2UNVBILYTM6V6XNU/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-08-10T03:41:21Z","links":{"resolver":"https://pith.science/pith/7VRQ4WDJRT2UNVBILYTM6V6XNU","bundle":"https://pith.science/pith/7VRQ4WDJRT2UNVBILYTM6V6XNU/bundle.json","state":"https://pith.science/pith/7VRQ4WDJRT2UNVBILYTM6V6XNU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7VRQ4WDJRT2UNVBILYTM6V6XNU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:7VRQ4WDJRT2UNVBILYTM6V6XNU","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":"c6583fd7256b13dbfbe638437c24a658dbcb21843b99c8b9df8739d4655bccb6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-02-11T14:30:50Z","title_canon_sha256":"aa757b801ac836f73e490c811d08d80e1967fe8ff6db43b84cb20e4f26a4efa5"},"schema_version":"1.0","source":{"id":"2202.05641","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2202.05641","created_at":"2026-07-05T03:56:34Z"},{"alias_kind":"arxiv_version","alias_value":"2202.05641v2","created_at":"2026-07-05T03:56:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.05641","created_at":"2026-07-05T03:56:34Z"},{"alias_kind":"pith_short_12","alias_value":"7VRQ4WDJRT2U","created_at":"2026-07-05T03:56:34Z"},{"alias_kind":"pith_short_16","alias_value":"7VRQ4WDJRT2UNVBI","created_at":"2026-07-05T03:56:34Z"},{"alias_kind":"pith_short_8","alias_value":"7VRQ4WDJ","created_at":"2026-07-05T03:56:34Z"}],"graph_snapshots":[{"event_id":"sha256:3042a2201412c9311042a9022f24464cd075a73fa86a46e93551d583da60f3c0","target":"graph","created_at":"2026-07-05T03:56:34Z","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/2202.05641/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In large-scale embedded system development, requirement and test specifications are often expressed in natural language. In the context of developing such products, requirement review is performed in many cases manually using these specifications as a basis for quality assurance. Low-quality specifications can have expensive consequences during the requirement engineering process. Especially, if feedback loops during requirement engineering are long, leading to artifacts that are not easily maintainable, are hard to understand, and are inefficient to port to other system variants. We use the i","authors_text":"Eduard Enoiu, Kostadin Rajkovic","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-02-11T14:30:50Z","title":"NALABS: Detecting Bad Smells in Natural Language Requirements and Test Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.05641","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:5f2080f5b90812352d5aa2e935293484608fff0553315a498747b6bb289efd8f","target":"record","created_at":"2026-07-05T03:56:34Z","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":"c6583fd7256b13dbfbe638437c24a658dbcb21843b99c8b9df8739d4655bccb6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-02-11T14:30:50Z","title_canon_sha256":"aa757b801ac836f73e490c811d08d80e1967fe8ff6db43b84cb20e4f26a4efa5"},"schema_version":"1.0","source":{"id":"2202.05641","kind":"arxiv","version":2}},"canonical_sha256":"fd630e58698cf546d4285e26cf57d76d3afe2659097163e732d3d4943db37c6c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fd630e58698cf546d4285e26cf57d76d3afe2659097163e732d3d4943db37c6c","first_computed_at":"2026-07-05T03:56:34.940139Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:56:34.940139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s5OU9POD0mSbRJejD9I72CAqGffuFgNgBEBG5Kmx5AGXMra8W5MioJpnTaOPcexHIiB77pabjkvxTc0rfhycAg==","signature_status":"signed_v1","signed_at":"2026-07-05T03:56:34.940619Z","signed_message":"canonical_sha256_bytes"},"source_id":"2202.05641","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5f2080f5b90812352d5aa2e935293484608fff0553315a498747b6bb289efd8f","sha256:3042a2201412c9311042a9022f24464cd075a73fa86a46e93551d583da60f3c0"],"state_sha256":"80c7618d531686d34ad2f60bf5869d6c35595547080edfc7e35bf16508b9d616"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HwDmrUOk0PSG+W1yvnurj2NHXiOWBElypnU5hMIjAxPVbE5APbKkARYhXNTOuQLKauXLeo9jtj8L3K4xly8IBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T03:41:21.481105Z","bundle_sha256":"12dfbb739b016552e9fba0ed2da15a0a55a78e923beb0b01985822138a3b2e4d"}}