{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:WG65S63HF2XT42JNDDDVMB2SXL","short_pith_number":"pith:WG65S63H","schema_version":"1.0","canonical_sha256":"b1bdd97b672eaf3e692d18c7560752bac75e1dd6177a594f952105a30f862d94","source":{"kind":"arxiv","id":"2607.00740","version":1},"attestation_state":"computed","paper":{"title":"Stochastic Connectivity as the Foundation of a Runtime Model for Microservice Availability Analysis","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.DC","cs.PF"],"primary_cat":"cs.SE","authors_text":"Anatoly A. Krasnovsky, Anna Maslovskaya","submitted_at":"2026-07-01T10:23:00Z","abstract_excerpt":"Microservice availability is commonly assessed by fault injection and chaos experiments, but such experiments are costly, operationally risky, and difficult to repeat for every architectural change. Distributed tracing and deployment metadata provide cheaper evidence, yet they usually remain descriptive: they show which services interacted, not what endpoint-level availability property follows. This paper proposes a formal runtime availability model based on stochastic connectivity for resilience-oriented analysis of microservice endpoints. It treats endpoint availability under explicit fault "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2607.00740","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-01T10:23:00Z","cross_cats_sorted":["cs.DC","cs.PF"],"title_canon_sha256":"99742c3fb62bd1e9f6a22aeabc18759fc5a703c575ec4bff4636de76c0f30945","abstract_canon_sha256":"99f964104f9772978d9f6e8467551e3ab61326e5c8564dff44ab5c266ff2836e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-02T01:17:53.131935Z","signature_b64":"Czix5Op9IuEfz5nkyNhBllhNesHJ9mqvhN2rJQPw0Wh4pLjMAOXHT5wFWAnda409dCtSBASRfJlSc6cMGT+PCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b1bdd97b672eaf3e692d18c7560752bac75e1dd6177a594f952105a30f862d94","last_reissued_at":"2026-07-02T01:17:53.131447Z","signature_status":"signed_v1","first_computed_at":"2026-07-02T01:17:53.131447Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Stochastic Connectivity as the Foundation of a Runtime Model for Microservice Availability Analysis","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.DC","cs.PF"],"primary_cat":"cs.SE","authors_text":"Anatoly A. Krasnovsky, Anna Maslovskaya","submitted_at":"2026-07-01T10:23:00Z","abstract_excerpt":"Microservice availability is commonly assessed by fault injection and chaos experiments, but such experiments are costly, operationally risky, and difficult to repeat for every architectural change. Distributed tracing and deployment metadata provide cheaper evidence, yet they usually remain descriptive: they show which services interacted, not what endpoint-level availability property follows. This paper proposes a formal runtime availability model based on stochastic connectivity for resilience-oriented analysis of microservice endpoints. It treats endpoint availability under explicit fault "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.00740","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/2607.00740/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2607.00740","created_at":"2026-07-02T01:17:53.131506+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.00740v1","created_at":"2026-07-02T01:17:53.131506+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.00740","created_at":"2026-07-02T01:17:53.131506+00:00"},{"alias_kind":"pith_short_12","alias_value":"WG65S63HF2XT","created_at":"2026-07-02T01:17:53.131506+00:00"},{"alias_kind":"pith_short_16","alias_value":"WG65S63HF2XT42JN","created_at":"2026-07-02T01:17:53.131506+00:00"},{"alias_kind":"pith_short_8","alias_value":"WG65S63H","created_at":"2026-07-02T01:17:53.131506+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WG65S63HF2XT42JNDDDVMB2SXL","json":"https://pith.science/pith/WG65S63HF2XT42JNDDDVMB2SXL.json","graph_json":"https://pith.science/api/pith-number/WG65S63HF2XT42JNDDDVMB2SXL/graph.json","events_json":"https://pith.science/api/pith-number/WG65S63HF2XT42JNDDDVMB2SXL/events.json","paper":"https://pith.science/paper/WG65S63H"},"agent_actions":{"view_html":"https://pith.science/pith/WG65S63HF2XT42JNDDDVMB2SXL","download_json":"https://pith.science/pith/WG65S63HF2XT42JNDDDVMB2SXL.json","view_paper":"https://pith.science/paper/WG65S63H","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.00740&json=true","fetch_graph":"https://pith.science/api/pith-number/WG65S63HF2XT42JNDDDVMB2SXL/graph.json","fetch_events":"https://pith.science/api/pith-number/WG65S63HF2XT42JNDDDVMB2SXL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WG65S63HF2XT42JNDDDVMB2SXL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WG65S63HF2XT42JNDDDVMB2SXL/action/storage_attestation","attest_author":"https://pith.science/pith/WG65S63HF2XT42JNDDDVMB2SXL/action/author_attestation","sign_citation":"https://pith.science/pith/WG65S63HF2XT42JNDDDVMB2SXL/action/citation_signature","submit_replication":"https://pith.science/pith/WG65S63HF2XT42JNDDDVMB2SXL/action/replication_record"}},"created_at":"2026-07-02T01:17:53.131506+00:00","updated_at":"2026-07-02T01:17:53.131506+00:00"}