{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:W65IM6CDNMWM5SG7FT2YTSXI7N","short_pith_number":"pith:W65IM6CD","canonical_record":{"source":{"id":"1106.4200","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-06-21T13:35:22Z","cross_cats_sorted":[],"title_canon_sha256":"ffa9dde978f235a22ef4914fcacc5062e5f0494762484a688edf0bfd5503a512","abstract_canon_sha256":"1e807c4bf7a0c5ccb0555b82cc2dfb3a84e45d315ccfcb2ec1ec8ab6deef660b"},"schema_version":"1.0"},"canonical_sha256":"b7ba8678436b2ccec8df2cf589cae8fb66984792446d89d8448213e574595a61","source":{"kind":"arxiv","id":"1106.4200","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1106.4200","created_at":"2026-05-18T04:19:33Z"},{"alias_kind":"arxiv_version","alias_value":"1106.4200v1","created_at":"2026-05-18T04:19:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.4200","created_at":"2026-05-18T04:19:33Z"},{"alias_kind":"pith_short_12","alias_value":"W65IM6CDNMWM","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"W65IM6CDNMWM5SG7","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"W65IM6CD","created_at":"2026-05-18T12:26:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:W65IM6CDNMWM5SG7FT2YTSXI7N","target":"record","payload":{"canonical_record":{"source":{"id":"1106.4200","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-06-21T13:35:22Z","cross_cats_sorted":[],"title_canon_sha256":"ffa9dde978f235a22ef4914fcacc5062e5f0494762484a688edf0bfd5503a512","abstract_canon_sha256":"1e807c4bf7a0c5ccb0555b82cc2dfb3a84e45d315ccfcb2ec1ec8ab6deef660b"},"schema_version":"1.0"},"canonical_sha256":"b7ba8678436b2ccec8df2cf589cae8fb66984792446d89d8448213e574595a61","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:19:33.918874Z","signature_b64":"7RH3DqJ2/OFVCo9RqEq/636NjtlbbMi66PTK1GFHZLnmeuqwe2z7ybSAAj2Pd3JBFlsU0AxEQVpBHag6N9rSBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b7ba8678436b2ccec8df2cf589cae8fb66984792446d89d8448213e574595a61","last_reissued_at":"2026-05-18T04:19:33.918368Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:19:33.918368Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1106.4200","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-18T04:19:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9MNW/fHMZqvdfSwpu+9GEePM6O5m8fZqRdx4Y5hHlLPZO602DBGYdB9zhI5jD3hYrwCiB/Fdv8osnIWpxrZWAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T12:59:09.094179Z"},"content_sha256":"1d349ae60ef0d814b2c7d62cc4de5c10b0a9dc57bf3db900157d616530637958","schema_version":"1.0","event_id":"sha256:1d349ae60ef0d814b2c7d62cc4de5c10b0a9dc57bf3db900157d616530637958"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:W65IM6CDNMWM5SG7FT2YTSXI7N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Faire levier sur les architectures logicielles pour guider et v\\'erifier le d\\'eveloppement d'applications SCC","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Charles Consel (INRIA Bordeaux - Sud-Ouest, Damien Cassou (INRIA Bordeaux - Sud-Ouest, Emilie Balland (INRIA Bordeaux - Sud-Ouest), ENSEIRB), Julia Lawall (DIKU), LaBRI)","submitted_at":"2011-06-21T13:35:22Z","abstract_excerpt":"A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is the architecture's description of the data and control-flow interactions between components. The characterization of these interactions can be rather abstract or very concrete, providing more or less implementation guidance, programming support, and static verification. In this paper, we explore one point in the design space between abstract and concrete co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.4200","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-18T04:19:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JflBmvGUkmpy45DMCd7wt86htUHZh9PvkCI+Th/qP/SsxQN9uPIkAtq0r+oUkTSMbVm6gZg4+Vz76u6E9d9MCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T12:59:09.094656Z"},"content_sha256":"e5080f23a93ca1aa1cab9e7411b96c2db57c70aedf9a844886b12c7c8ac57d1a","schema_version":"1.0","event_id":"sha256:e5080f23a93ca1aa1cab9e7411b96c2db57c70aedf9a844886b12c7c8ac57d1a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W65IM6CDNMWM5SG7FT2YTSXI7N/bundle.json","state_url":"https://pith.science/pith/W65IM6CDNMWM5SG7FT2YTSXI7N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W65IM6CDNMWM5SG7FT2YTSXI7N/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-05-27T12:59:09Z","links":{"resolver":"https://pith.science/pith/W65IM6CDNMWM5SG7FT2YTSXI7N","bundle":"https://pith.science/pith/W65IM6CDNMWM5SG7FT2YTSXI7N/bundle.json","state":"https://pith.science/pith/W65IM6CDNMWM5SG7FT2YTSXI7N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W65IM6CDNMWM5SG7FT2YTSXI7N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:W65IM6CDNMWM5SG7FT2YTSXI7N","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":"1e807c4bf7a0c5ccb0555b82cc2dfb3a84e45d315ccfcb2ec1ec8ab6deef660b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-06-21T13:35:22Z","title_canon_sha256":"ffa9dde978f235a22ef4914fcacc5062e5f0494762484a688edf0bfd5503a512"},"schema_version":"1.0","source":{"id":"1106.4200","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1106.4200","created_at":"2026-05-18T04:19:33Z"},{"alias_kind":"arxiv_version","alias_value":"1106.4200v1","created_at":"2026-05-18T04:19:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.4200","created_at":"2026-05-18T04:19:33Z"},{"alias_kind":"pith_short_12","alias_value":"W65IM6CDNMWM","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"W65IM6CDNMWM5SG7","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"W65IM6CD","created_at":"2026-05-18T12:26:44Z"}],"graph_snapshots":[{"event_id":"sha256:e5080f23a93ca1aa1cab9e7411b96c2db57c70aedf9a844886b12c7c8ac57d1a","target":"graph","created_at":"2026-05-18T04:19:33Z","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":"A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is the architecture's description of the data and control-flow interactions between components. The characterization of these interactions can be rather abstract or very concrete, providing more or less implementation guidance, programming support, and static verification. In this paper, we explore one point in the design space between abstract and concrete co","authors_text":"Charles Consel (INRIA Bordeaux - Sud-Ouest, Damien Cassou (INRIA Bordeaux - Sud-Ouest, Emilie Balland (INRIA Bordeaux - Sud-Ouest), ENSEIRB), Julia Lawall (DIKU), LaBRI)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-06-21T13:35:22Z","title":"Faire levier sur les architectures logicielles pour guider et v\\'erifier le d\\'eveloppement d'applications SCC"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.4200","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:1d349ae60ef0d814b2c7d62cc4de5c10b0a9dc57bf3db900157d616530637958","target":"record","created_at":"2026-05-18T04:19:33Z","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":"1e807c4bf7a0c5ccb0555b82cc2dfb3a84e45d315ccfcb2ec1ec8ab6deef660b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-06-21T13:35:22Z","title_canon_sha256":"ffa9dde978f235a22ef4914fcacc5062e5f0494762484a688edf0bfd5503a512"},"schema_version":"1.0","source":{"id":"1106.4200","kind":"arxiv","version":1}},"canonical_sha256":"b7ba8678436b2ccec8df2cf589cae8fb66984792446d89d8448213e574595a61","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b7ba8678436b2ccec8df2cf589cae8fb66984792446d89d8448213e574595a61","first_computed_at":"2026-05-18T04:19:33.918368Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:19:33.918368Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7RH3DqJ2/OFVCo9RqEq/636NjtlbbMi66PTK1GFHZLnmeuqwe2z7ybSAAj2Pd3JBFlsU0AxEQVpBHag6N9rSBg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:19:33.918874Z","signed_message":"canonical_sha256_bytes"},"source_id":"1106.4200","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1d349ae60ef0d814b2c7d62cc4de5c10b0a9dc57bf3db900157d616530637958","sha256:e5080f23a93ca1aa1cab9e7411b96c2db57c70aedf9a844886b12c7c8ac57d1a"],"state_sha256":"9a8fc8028460a570799ed06218e82dcccb42d09121c0fa7a46d75e4889e0b415"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qy+e5tWDrK0qt2011ZbY4fwIMjwMM4vQgy0LoAZKmx3qNO30MZV1CG41pr7dOZO/9dCwyjp1CyHRZAl2g/DoCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T12:59:09.097985Z","bundle_sha256":"39c0ec40001e84d15ba9cf679faa75bb6c403e27d48492d677302d3469d2f7c8"}}