{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:7UAPQORJYQDDD4X4XIQ66J6HSV","short_pith_number":"pith:7UAPQORJ","canonical_record":{"source":{"id":"2501.17605","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-01-29T12:23:39Z","cross_cats_sorted":[],"title_canon_sha256":"22b144655e723109880f3c0008af18bc02a5989b8f517c352989b191a69112b6","abstract_canon_sha256":"72c4ff31c09c40192e20517355a5b59c6a056db0e9268d33e3bf008563ad150c"},"schema_version":"1.0"},"canonical_sha256":"fd00f83a29c40631f2fcba21ef27c7957499e712a59ef67cf90679d1b7bca7f0","source":{"kind":"arxiv","id":"2501.17605","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.17605","created_at":"2026-07-05T10:06:55Z"},{"alias_kind":"arxiv_version","alias_value":"2501.17605v1","created_at":"2026-07-05T10:06:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.17605","created_at":"2026-07-05T10:06:55Z"},{"alias_kind":"pith_short_12","alias_value":"7UAPQORJYQDD","created_at":"2026-07-05T10:06:55Z"},{"alias_kind":"pith_short_16","alias_value":"7UAPQORJYQDDD4X4","created_at":"2026-07-05T10:06:55Z"},{"alias_kind":"pith_short_8","alias_value":"7UAPQORJ","created_at":"2026-07-05T10:06:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:7UAPQORJYQDDD4X4XIQ66J6HSV","target":"record","payload":{"canonical_record":{"source":{"id":"2501.17605","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-01-29T12:23:39Z","cross_cats_sorted":[],"title_canon_sha256":"22b144655e723109880f3c0008af18bc02a5989b8f517c352989b191a69112b6","abstract_canon_sha256":"72c4ff31c09c40192e20517355a5b59c6a056db0e9268d33e3bf008563ad150c"},"schema_version":"1.0"},"canonical_sha256":"fd00f83a29c40631f2fcba21ef27c7957499e712a59ef67cf90679d1b7bca7f0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:06:55.687365Z","signature_b64":"sSPkBWCBmUaVfE8p4oxsf4gGapJoCwfEJhuZhWeFrUy8T6kULJoA1cxve+O9sZeD9vRuoHv6I3jbGP83ZUv1CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fd00f83a29c40631f2fcba21ef27c7957499e712a59ef67cf90679d1b7bca7f0","last_reissued_at":"2026-07-05T10:06:55.686978Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:06:55.686978Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2501.17605","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-05T10:06:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b08IRDeEWVb0FOjJQMo878rPbrCOU5E6WzN0geSzjmWsXPfM9ZqkBcbnZq8wb6PygzlM9dd0qM5b1wX/1fRuDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:56:50.534206Z"},"content_sha256":"58859e1be0127c65022376de6b9afbd9ca1b2a34ac00c79c9efb8868f6d43c65","schema_version":"1.0","event_id":"sha256:58859e1be0127c65022376de6b9afbd9ca1b2a34ac00c79c9efb8868f6d43c65"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:7UAPQORJYQDDD4X4XIQ66J6HSV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Reliable Systems: A Scalable Approach to AXI4 Transaction Monitoring","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Alessandro Ottaviano, Angelo Garofalo, Chaoqun Liang, Davide Rossi, Luca Benini, Thomas Benz","submitted_at":"2025-01-29T12:23:39Z","abstract_excerpt":"In safety-critical SoC applications such as automotive and aerospace, reliable transaction monitoring is crucial for maintaining system integrity. This paper introduces a drop-in Transaction Monitoring Unit (TMU) for AXI4 subordinate endpoints that detects transaction failures including protocol violations or timeouts and triggers recovery by resetting the affected subordinates. Two TMU variants address different constraints: a Tiny-Counter solution for tightly area-constrained systems and a Full-Counter solution for critical subordinates in mixed-criticality SoCs. The Tiny-Counter employs a s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.17605","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/2501.17605/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-05T10:06:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tcDYr9oqQfwKktkEYMx5AkPjXrJ34H6t7g15QFTIqbxwNWb6y5L6DuDGMPm6lWwZleAAAMYb10i1R4esBRDVCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:56:50.534741Z"},"content_sha256":"aefa034b6673a900d0c2825045c9dbeacb204b0b791f603bf896a8215281303d","schema_version":"1.0","event_id":"sha256:aefa034b6673a900d0c2825045c9dbeacb204b0b791f603bf896a8215281303d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7UAPQORJYQDDD4X4XIQ66J6HSV/bundle.json","state_url":"https://pith.science/pith/7UAPQORJYQDDD4X4XIQ66J6HSV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7UAPQORJYQDDD4X4XIQ66J6HSV/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-03T19:56:50Z","links":{"resolver":"https://pith.science/pith/7UAPQORJYQDDD4X4XIQ66J6HSV","bundle":"https://pith.science/pith/7UAPQORJYQDDD4X4XIQ66J6HSV/bundle.json","state":"https://pith.science/pith/7UAPQORJYQDDD4X4XIQ66J6HSV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7UAPQORJYQDDD4X4XIQ66J6HSV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:7UAPQORJYQDDD4X4XIQ66J6HSV","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":"72c4ff31c09c40192e20517355a5b59c6a056db0e9268d33e3bf008563ad150c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-01-29T12:23:39Z","title_canon_sha256":"22b144655e723109880f3c0008af18bc02a5989b8f517c352989b191a69112b6"},"schema_version":"1.0","source":{"id":"2501.17605","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.17605","created_at":"2026-07-05T10:06:55Z"},{"alias_kind":"arxiv_version","alias_value":"2501.17605v1","created_at":"2026-07-05T10:06:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.17605","created_at":"2026-07-05T10:06:55Z"},{"alias_kind":"pith_short_12","alias_value":"7UAPQORJYQDD","created_at":"2026-07-05T10:06:55Z"},{"alias_kind":"pith_short_16","alias_value":"7UAPQORJYQDDD4X4","created_at":"2026-07-05T10:06:55Z"},{"alias_kind":"pith_short_8","alias_value":"7UAPQORJ","created_at":"2026-07-05T10:06:55Z"}],"graph_snapshots":[{"event_id":"sha256:aefa034b6673a900d0c2825045c9dbeacb204b0b791f603bf896a8215281303d","target":"graph","created_at":"2026-07-05T10:06:55Z","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/2501.17605/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In safety-critical SoC applications such as automotive and aerospace, reliable transaction monitoring is crucial for maintaining system integrity. This paper introduces a drop-in Transaction Monitoring Unit (TMU) for AXI4 subordinate endpoints that detects transaction failures including protocol violations or timeouts and triggers recovery by resetting the affected subordinates. Two TMU variants address different constraints: a Tiny-Counter solution for tightly area-constrained systems and a Full-Counter solution for critical subordinates in mixed-criticality SoCs. The Tiny-Counter employs a s","authors_text":"Alessandro Ottaviano, Angelo Garofalo, Chaoqun Liang, Davide Rossi, Luca Benini, Thomas Benz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-01-29T12:23:39Z","title":"Towards Reliable Systems: A Scalable Approach to AXI4 Transaction Monitoring"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.17605","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:58859e1be0127c65022376de6b9afbd9ca1b2a34ac00c79c9efb8868f6d43c65","target":"record","created_at":"2026-07-05T10:06:55Z","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":"72c4ff31c09c40192e20517355a5b59c6a056db0e9268d33e3bf008563ad150c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-01-29T12:23:39Z","title_canon_sha256":"22b144655e723109880f3c0008af18bc02a5989b8f517c352989b191a69112b6"},"schema_version":"1.0","source":{"id":"2501.17605","kind":"arxiv","version":1}},"canonical_sha256":"fd00f83a29c40631f2fcba21ef27c7957499e712a59ef67cf90679d1b7bca7f0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fd00f83a29c40631f2fcba21ef27c7957499e712a59ef67cf90679d1b7bca7f0","first_computed_at":"2026-07-05T10:06:55.686978Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:06:55.686978Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sSPkBWCBmUaVfE8p4oxsf4gGapJoCwfEJhuZhWeFrUy8T6kULJoA1cxve+O9sZeD9vRuoHv6I3jbGP83ZUv1CA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:06:55.687365Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.17605","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:58859e1be0127c65022376de6b9afbd9ca1b2a34ac00c79c9efb8868f6d43c65","sha256:aefa034b6673a900d0c2825045c9dbeacb204b0b791f603bf896a8215281303d"],"state_sha256":"c2cfbbc4e22c8da76e984bb69a7715b484307d9b6043631754541a5077b288c0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TDXF/FqtM6Y6UYJ/6kB+ADZx6uHhPHdx1Mail9A0SqmHqy2Pd4X2UnpqnLxikmNJuAv77Hmqrba3ufqHLsubCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T19:56:50.539752Z","bundle_sha256":"a64b7aae0569c19441c8b884ca90aff213dd4e8b53270e8e856e0d9be62a5de6"}}