{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:BOLDUB3AXK4L7K6S4AGQJL74TF","short_pith_number":"pith:BOLDUB3A","canonical_record":{"source":{"id":"1006.0030","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-05-31T22:57:33Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"e20695dcc060b92dcabe272af8dfcdb74980932892070948c4dba09c334ac6be","abstract_canon_sha256":"a79f041890c02146710bb7261d21e303cb2f9beb5f4e838eed69e7926a9c343e"},"schema_version":"1.0"},"canonical_sha256":"0b963a0760bab8bfabd2e00d04affc9977f554ac5b1eed7fdc6e5d0809bfe2dd","source":{"kind":"arxiv","id":"1006.0030","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1006.0030","created_at":"2026-07-04T17:29:53Z"},{"alias_kind":"arxiv_version","alias_value":"1006.0030v1","created_at":"2026-07-04T17:29:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1006.0030","created_at":"2026-07-04T17:29:53Z"},{"alias_kind":"pith_short_12","alias_value":"BOLDUB3AXK4L","created_at":"2026-07-04T17:29:53Z"},{"alias_kind":"pith_short_16","alias_value":"BOLDUB3AXK4L7K6S","created_at":"2026-07-04T17:29:53Z"},{"alias_kind":"pith_short_8","alias_value":"BOLDUB3A","created_at":"2026-07-04T17:29:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:BOLDUB3AXK4L7K6S4AGQJL74TF","target":"record","payload":{"canonical_record":{"source":{"id":"1006.0030","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-05-31T22:57:33Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"e20695dcc060b92dcabe272af8dfcdb74980932892070948c4dba09c334ac6be","abstract_canon_sha256":"a79f041890c02146710bb7261d21e303cb2f9beb5f4e838eed69e7926a9c343e"},"schema_version":"1.0"},"canonical_sha256":"0b963a0760bab8bfabd2e00d04affc9977f554ac5b1eed7fdc6e5d0809bfe2dd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T17:29:53.940886Z","signature_b64":"vNOP9+ZnduJgFe7Kmx6yDlL7fPI9G9On4rYWXbKEsFtqBg9GxcOos1BD3nki3GiAiszQh3ZKMkPHW2EcxtJxBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b963a0760bab8bfabd2e00d04affc9977f554ac5b1eed7fdc6e5d0809bfe2dd","last_reissued_at":"2026-07-04T17:29:53.940458Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T17:29:53.940458Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1006.0030","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-04T17:29:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eoU8CtYsz/2NM2BoujwRZDIXDbysOmWWLhzQTCLJICvNl9K4pmdQI82bZooPDyFuP2+ASkBJwF/2MtftHR3MBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T07:06:18.451597Z"},"content_sha256":"fcd0fe5203678b53e83f6563b31a5f6abafd8170e3f9f7d4c7f5ee05ecd31a70","schema_version":"1.0","event_id":"sha256:fcd0fe5203678b53e83f6563b31a5f6abafd8170e3f9f7d4c7f5ee05ecd31a70"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:BOLDUB3AXK4L7K6S4AGQJL74TF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Implicit Characterization of PSPACE","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Jean-Yves Marion, Marco Gaboardi, Simona Ronchi Della Rocca","submitted_at":"2010-05-31T22:57:33Z","abstract_excerpt":"We present a type system for an extension of lambda calculus with a conditional construction, named STAB, that characterizes the PSPACE class. This system is obtained by extending STA, a type assignment for lambda-calculus inspired by Lafont's Soft Linear Logic and characterizing the PTIME class. We extend STA by means of a ground type and terms for booleans and conditional. The key issue in the design of the type system is to manage the contexts in the rule for conditional in an additive way. Thanks to this rule, we are able to program polynomial time Alternating Turing Machines. From the wel"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1006.0030","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/1006.0030/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-04T17:29:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zx1/SYgMhmPDcRxwP41ZNsWSzwSaO3CmeWNDaOlljveNEa8tUxd4dgGCaEl7oGYQLyXZdG6+kaABKVxHzd8WDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T07:06:18.452073Z"},"content_sha256":"f56bb4495a3e4c0dd918a4563f07b8c4ba762e8331efa2ef69cd4d68231a523d","schema_version":"1.0","event_id":"sha256:f56bb4495a3e4c0dd918a4563f07b8c4ba762e8331efa2ef69cd4d68231a523d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BOLDUB3AXK4L7K6S4AGQJL74TF/bundle.json","state_url":"https://pith.science/pith/BOLDUB3AXK4L7K6S4AGQJL74TF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BOLDUB3AXK4L7K6S4AGQJL74TF/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-05T07:06:18Z","links":{"resolver":"https://pith.science/pith/BOLDUB3AXK4L7K6S4AGQJL74TF","bundle":"https://pith.science/pith/BOLDUB3AXK4L7K6S4AGQJL74TF/bundle.json","state":"https://pith.science/pith/BOLDUB3AXK4L7K6S4AGQJL74TF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BOLDUB3AXK4L7K6S4AGQJL74TF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:BOLDUB3AXK4L7K6S4AGQJL74TF","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":"a79f041890c02146710bb7261d21e303cb2f9beb5f4e838eed69e7926a9c343e","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-05-31T22:57:33Z","title_canon_sha256":"e20695dcc060b92dcabe272af8dfcdb74980932892070948c4dba09c334ac6be"},"schema_version":"1.0","source":{"id":"1006.0030","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1006.0030","created_at":"2026-07-04T17:29:53Z"},{"alias_kind":"arxiv_version","alias_value":"1006.0030v1","created_at":"2026-07-04T17:29:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1006.0030","created_at":"2026-07-04T17:29:53Z"},{"alias_kind":"pith_short_12","alias_value":"BOLDUB3AXK4L","created_at":"2026-07-04T17:29:53Z"},{"alias_kind":"pith_short_16","alias_value":"BOLDUB3AXK4L7K6S","created_at":"2026-07-04T17:29:53Z"},{"alias_kind":"pith_short_8","alias_value":"BOLDUB3A","created_at":"2026-07-04T17:29:53Z"}],"graph_snapshots":[{"event_id":"sha256:f56bb4495a3e4c0dd918a4563f07b8c4ba762e8331efa2ef69cd4d68231a523d","target":"graph","created_at":"2026-07-04T17:29:53Z","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/1006.0030/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a type system for an extension of lambda calculus with a conditional construction, named STAB, that characterizes the PSPACE class. This system is obtained by extending STA, a type assignment for lambda-calculus inspired by Lafont's Soft Linear Logic and characterizing the PTIME class. We extend STA by means of a ground type and terms for booleans and conditional. The key issue in the design of the type system is to manage the contexts in the rule for conditional in an additive way. Thanks to this rule, we are able to program polynomial time Alternating Turing Machines. From the wel","authors_text":"Jean-Yves Marion, Marco Gaboardi, Simona Ronchi Della Rocca","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-05-31T22:57:33Z","title":"An Implicit Characterization of PSPACE"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1006.0030","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:fcd0fe5203678b53e83f6563b31a5f6abafd8170e3f9f7d4c7f5ee05ecd31a70","target":"record","created_at":"2026-07-04T17:29:53Z","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":"a79f041890c02146710bb7261d21e303cb2f9beb5f4e838eed69e7926a9c343e","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-05-31T22:57:33Z","title_canon_sha256":"e20695dcc060b92dcabe272af8dfcdb74980932892070948c4dba09c334ac6be"},"schema_version":"1.0","source":{"id":"1006.0030","kind":"arxiv","version":1}},"canonical_sha256":"0b963a0760bab8bfabd2e00d04affc9977f554ac5b1eed7fdc6e5d0809bfe2dd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0b963a0760bab8bfabd2e00d04affc9977f554ac5b1eed7fdc6e5d0809bfe2dd","first_computed_at":"2026-07-04T17:29:53.940458Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T17:29:53.940458Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vNOP9+ZnduJgFe7Kmx6yDlL7fPI9G9On4rYWXbKEsFtqBg9GxcOos1BD3nki3GiAiszQh3ZKMkPHW2EcxtJxBg==","signature_status":"signed_v1","signed_at":"2026-07-04T17:29:53.940886Z","signed_message":"canonical_sha256_bytes"},"source_id":"1006.0030","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fcd0fe5203678b53e83f6563b31a5f6abafd8170e3f9f7d4c7f5ee05ecd31a70","sha256:f56bb4495a3e4c0dd918a4563f07b8c4ba762e8331efa2ef69cd4d68231a523d"],"state_sha256":"61dd60e3edcf43ff78e7a1dfa2f8bbc40883d98cef0eb221527e5f1e369b9e69"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MmAyIfKJ0Bziu94b3WaVTzGX35qEfbxSd6AbQKV2C0X5RA42tyLs7FFFg0En3ISaRpVcPTh6IcKaV5b6hMp/Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T07:06:18.455288Z","bundle_sha256":"d1b1e767fcbde8a1d9cfbda7f61b3eea754a08259b6f0da876cbc0f5ba3ec4da"}}