{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:1995:MWZKRD3FM6GP2E7CR2DJ4WRUQL","short_pith_number":"pith:MWZKRD3F","canonical_record":{"source":{"id":"cmp-lg/9504004","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cmp-lg","submitted_at":"1995-04-04T18:00:36Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"3213a0af4f2a8fb062586d33e359caea84bd1c1cac80b479ac35e3e4ade5a078","abstract_canon_sha256":"85c330b9bc470bdadd1f6361ab6e753f804f8813714254782b44517181667e2a"},"schema_version":"1.0"},"canonical_sha256":"65b2a88f65678cfd13e28e869e5a3482ff7858f9884e41f6d72ff61f93837164","source":{"kind":"arxiv","id":"cmp-lg/9504004","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cmp-lg/9504004","created_at":"2026-07-04T15:08:25Z"},{"alias_kind":"arxiv_version","alias_value":"cmp-lg/9504004v1","created_at":"2026-07-04T15:08:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cmp-lg/9504004","created_at":"2026-07-04T15:08:25Z"},{"alias_kind":"pith_short_12","alias_value":"MWZKRD3FM6GP","created_at":"2026-07-04T15:08:25Z"},{"alias_kind":"pith_short_16","alias_value":"MWZKRD3FM6GP2E7C","created_at":"2026-07-04T15:08:25Z"},{"alias_kind":"pith_short_8","alias_value":"MWZKRD3F","created_at":"2026-07-04T15:08:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:1995:MWZKRD3FM6GP2E7CR2DJ4WRUQL","target":"record","payload":{"canonical_record":{"source":{"id":"cmp-lg/9504004","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cmp-lg","submitted_at":"1995-04-04T18:00:36Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"3213a0af4f2a8fb062586d33e359caea84bd1c1cac80b479ac35e3e4ade5a078","abstract_canon_sha256":"85c330b9bc470bdadd1f6361ab6e753f804f8813714254782b44517181667e2a"},"schema_version":"1.0"},"canonical_sha256":"65b2a88f65678cfd13e28e869e5a3482ff7858f9884e41f6d72ff61f93837164","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T15:08:25.070178Z","signature_b64":"u/e0pVnXY0JJ1qa6ACt0blwxSEe2mFU9SFX1z1glSUMkwQqsioYhMXQg+v8F1W4dN4UXLRfAqu7PIUCYtPEKCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"65b2a88f65678cfd13e28e869e5a3482ff7858f9884e41f6d72ff61f93837164","last_reissued_at":"2026-07-04T15:08:25.069835Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T15:08:25.069835Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cmp-lg/9504004","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-04T15:08:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"822hVGuxblaZ2/HiKevTfcsuyjS/GBGIz+2xRQHd8BymmTiEo2bTEjKSmNDvdNALzPu5sJAALgTt8yoO7Wb0AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:05:43.212647Z"},"content_sha256":"c4715931a404cc1b9e3f7182bbc2a16bdacb4e09833afa4c8c2dc1bd4501466c","schema_version":"1.0","event_id":"sha256:c4715931a404cc1b9e3f7182bbc2a16bdacb4e09833afa4c8c2dc1bd4501466c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:1995:MWZKRD3FM6GP2E7CR2DJ4WRUQL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Computational Treatment of HPSG Lexical Rules as Covariation in Lexical Entries","license":"","headline":"","cross_cats":["cs.CL"],"primary_cat":"cmp-lg","authors_text":"Guido Minnen (SFB 340, Univ. T\"ubingen), Walt Detmar Meurers","submitted_at":"1995-04-04T18:00:36Z","abstract_excerpt":"We describe a compiler which translates a set of HPSG lexical rules and their interaction into definite relations used to constrain lexical entries. The compiler ensures automatic transfer of properties unchanged by a lexical rule. Thus an operational semantics for the full lexical rule mechanism as used in HPSG linguistics is provided. Program transformation techniques are used to advance the resulting encoding. The final output constitutes a computational counterpart of the linguistic generalizations captured by lexical rules and allows ``on the fly'' application."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cmp-lg/9504004","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/cmp-lg/9504004/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-04T15:08:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"varOR/cTl4H1z1l7tRbivbgvuyrghbPRB0BVO/eMsr69rUg1Cdl2EhpcQj09CyJ5mgHFHvknA5gYUXG5paDpAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:05:43.213040Z"},"content_sha256":"8f0ca3c2fd4642bd66682fde5d220da1dfb1169cc2c0e330501f24d8bfeec92b","schema_version":"1.0","event_id":"sha256:8f0ca3c2fd4642bd66682fde5d220da1dfb1169cc2c0e330501f24d8bfeec92b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MWZKRD3FM6GP2E7CR2DJ4WRUQL/bundle.json","state_url":"https://pith.science/pith/MWZKRD3FM6GP2E7CR2DJ4WRUQL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MWZKRD3FM6GP2E7CR2DJ4WRUQL/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-05T15:05:43Z","links":{"resolver":"https://pith.science/pith/MWZKRD3FM6GP2E7CR2DJ4WRUQL","bundle":"https://pith.science/pith/MWZKRD3FM6GP2E7CR2DJ4WRUQL/bundle.json","state":"https://pith.science/pith/MWZKRD3FM6GP2E7CR2DJ4WRUQL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MWZKRD3FM6GP2E7CR2DJ4WRUQL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:1995:MWZKRD3FM6GP2E7CR2DJ4WRUQL","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":"85c330b9bc470bdadd1f6361ab6e753f804f8813714254782b44517181667e2a","cross_cats_sorted":["cs.CL"],"license":"","primary_cat":"cmp-lg","submitted_at":"1995-04-04T18:00:36Z","title_canon_sha256":"3213a0af4f2a8fb062586d33e359caea84bd1c1cac80b479ac35e3e4ade5a078"},"schema_version":"1.0","source":{"id":"cmp-lg/9504004","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cmp-lg/9504004","created_at":"2026-07-04T15:08:25Z"},{"alias_kind":"arxiv_version","alias_value":"cmp-lg/9504004v1","created_at":"2026-07-04T15:08:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cmp-lg/9504004","created_at":"2026-07-04T15:08:25Z"},{"alias_kind":"pith_short_12","alias_value":"MWZKRD3FM6GP","created_at":"2026-07-04T15:08:25Z"},{"alias_kind":"pith_short_16","alias_value":"MWZKRD3FM6GP2E7C","created_at":"2026-07-04T15:08:25Z"},{"alias_kind":"pith_short_8","alias_value":"MWZKRD3F","created_at":"2026-07-04T15:08:25Z"}],"graph_snapshots":[{"event_id":"sha256:8f0ca3c2fd4642bd66682fde5d220da1dfb1169cc2c0e330501f24d8bfeec92b","target":"graph","created_at":"2026-07-04T15:08:25Z","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/cmp-lg/9504004/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We describe a compiler which translates a set of HPSG lexical rules and their interaction into definite relations used to constrain lexical entries. The compiler ensures automatic transfer of properties unchanged by a lexical rule. Thus an operational semantics for the full lexical rule mechanism as used in HPSG linguistics is provided. Program transformation techniques are used to advance the resulting encoding. The final output constitutes a computational counterpart of the linguistic generalizations captured by lexical rules and allows ``on the fly'' application.","authors_text":"Guido Minnen (SFB 340, Univ. T\"ubingen), Walt Detmar Meurers","cross_cats":["cs.CL"],"headline":"","license":"","primary_cat":"cmp-lg","submitted_at":"1995-04-04T18:00:36Z","title":"A Computational Treatment of HPSG Lexical Rules as Covariation in Lexical Entries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cmp-lg/9504004","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:c4715931a404cc1b9e3f7182bbc2a16bdacb4e09833afa4c8c2dc1bd4501466c","target":"record","created_at":"2026-07-04T15:08:25Z","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":"85c330b9bc470bdadd1f6361ab6e753f804f8813714254782b44517181667e2a","cross_cats_sorted":["cs.CL"],"license":"","primary_cat":"cmp-lg","submitted_at":"1995-04-04T18:00:36Z","title_canon_sha256":"3213a0af4f2a8fb062586d33e359caea84bd1c1cac80b479ac35e3e4ade5a078"},"schema_version":"1.0","source":{"id":"cmp-lg/9504004","kind":"arxiv","version":1}},"canonical_sha256":"65b2a88f65678cfd13e28e869e5a3482ff7858f9884e41f6d72ff61f93837164","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"65b2a88f65678cfd13e28e869e5a3482ff7858f9884e41f6d72ff61f93837164","first_computed_at":"2026-07-04T15:08:25.069835Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T15:08:25.069835Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u/e0pVnXY0JJ1qa6ACt0blwxSEe2mFU9SFX1z1glSUMkwQqsioYhMXQg+v8F1W4dN4UXLRfAqu7PIUCYtPEKCQ==","signature_status":"signed_v1","signed_at":"2026-07-04T15:08:25.070178Z","signed_message":"canonical_sha256_bytes"},"source_id":"cmp-lg/9504004","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c4715931a404cc1b9e3f7182bbc2a16bdacb4e09833afa4c8c2dc1bd4501466c","sha256:8f0ca3c2fd4642bd66682fde5d220da1dfb1169cc2c0e330501f24d8bfeec92b"],"state_sha256":"097c0714533e72388219c7c43004b32f029eb348eca5477f54108c46f54d10d2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1yt9Rgjk6pC5TttbrWul1k7YiHagZA09O8/fVjXnQ464RAUKGH+6JedOuPLP/BEv4VNfIMvUGVGC3/g4PLb7Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T15:05:43.215085Z","bundle_sha256":"62b24c13e77cc14fba22bc1dc63012d0e2dff2b33afbd614706f1e51fb246d72"}}