{"as_of":"2026-08-13T01:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3230bcd3cfddf3ab2efc850cf0088549bb9cc4786da9dbfc750a06bc58e661db","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:02:49.427022Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.14735/citation-record","integrity":"/paper/2411.14735/integrity","json":"/paper/2411.14735/citation-record.json","paper":"/paper/2411.14735"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11823230_15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.808222Z","title":"In: Yi, K","venue":null,"work_id":"57dc9b71-f055-4886-b000-5fc4ee2fb001","year":2006},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.200193Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:172a7ab552c7578cc8c8030ab015daa6f062450d51675b6d924f4dadf3f9564f","observation_id":"175ceae4-0566-4a00-b9d0-e58911f33b68","resolution":{"observed_at":"2026-08-12T15:02:49.815284Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1131.78115","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:50.581203Z","title":"In: Cytron, R., Gupta, R","venue":null,"work_id":"543d137a-4176-4379-a981-ec6d8dfb1084","year":2003},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.213676Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:73eda78faa1e74acad612bfbaa308397c02aaabc288e4999d6c4f5ef94fff95c","observation_id":"10add0d4-e581-4f53-b37b-404f31b40add","resolution":{"observed_at":"2026-08-12T15:02:50.593813Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2005.0","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.763441Z","title":"In: Cortesi, A., Logozzo, F","venue":null,"work_id":"380a918f-00ad-48db-83ff-d13232add1e8","year":2005},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.219291Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:09eaceebf16513b8b349f35898dca66316863ddf16a53be008bf6ccfad3b21e0","observation_id":"260d47a9-9a8e-4ba7-ab11-1674224aa74f","resolution":{"observed_at":"2026-08-12T15:02:49.775903Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/93","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:50.451046Z","title":"In: Fischer, B.N","venue":null,"work_id":"3b936bf3-1885-48a5-bf28-67973f5cc253","year":1990},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.227765Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:75d4bdb847a297057bbaf68701ed2ca5f3fd8a8ca705b89b11ea449641918ee9","observation_id":"e08f4788-7399-4290-b3fe-3850e13c1692","resolution":{"observed_at":"2026-08-12T15:02:50.459971Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/5677","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:50.359880Z","title":"In: Aho, A.V., Zilles, S.N., Rosen, B.K","venue":null,"work_id":"fb739dc2-b825-4eaf-9290-a9f8192df33e","year":1979},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.236204Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:7d6f24e279838a0f8b2edb78c0e8a2529a4559e6490622b508cdfbcf4f32c1b3","observation_id":"7f5c5a2c-a9ef-4026-8a10-b79785ad0e0e","resolution":{"observed_at":"2026-08-12T15:02:50.365608Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.243739Z","title":"In: Okada, M., Satoh, I","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.243739Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:95de33384b17023136a19d63152e0a6d345f580879a5e8c706edd9513b024402","observation_id":"0dca62b1-c468-42c7-b2cc-964f38db42b9","resolution":{"observed_at":"2026-08-12T15:02:49.243739Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-19805-2_31","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:50.741280Z","title":"In: Hofmann, M","venue":null,"work_id":"f150096d-cc32-4bcd-8e13-b57808aca749","year":2011},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.251645Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:36ce74ad41ee241130576eba52c7c6d6be43497940514428fbb1b13f37493485","observation_id":"71eaece3-3e2a-4a68-bc1c-3cf8b6922c62","resolution":{"observed_at":"2026-08-12T15:02:50.749049Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.256963Z","title":"In: Biere, A., Bloem, R","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.256963Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:d2728181c722a0f4f96b1d73d1269a7c65dd5b64c9093db6b19f4d6e354be751","observation_id":"d94550a7-7ad4-4205-b001-640eab17b81b","resolution":{"observed_at":"2026-08-12T15:02:49.256963Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-53413-7_10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.689154Z","title":"In: Rival, X","venue":null,"work_id":"e7bd7696-2ef8-46ed-a08a-e3cff1fd6213","year":2016},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.264093Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:8911f1579a48f3801be21e9e2fdd50af63c67510dc28af4109d2f39383c96c4e","observation_id":"725e7250-1c48-4e86-a1b9-d8c0129e660b","resolution":{"observed_at":"2026-08-12T15:02:49.696322Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:50.720418Z","title":null,"venue":null,"work_id":"1dcdb238-896b-482f-a466-17a5d3cb6837","year":null},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.269844Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:6ef2dd90390c0fe39ea505bdded09887f576f3d907ac191f7fa6d5895e8fb92d","observation_id":"486c5e18-172b-414e-ae79-b0adaedcfd2f","resolution":{"observed_at":"2026-08-12T15:02:50.726366Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:50.698155Z","title":"In: Jensen, K., Podelski, A","venue":null,"work_id":"4af6d3f8-e22e-4cd6-8a1c-5ca54fce350b","year":2004},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.279692Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:8aa50379d2edd42e8d9f2080768ee29a3335214b4e4927b650cd2df9fe708d9b","observation_id":"c82ab926-70b3-48f0-ba4e-89b886af46d9","resolution":{"observed_at":"2026-08-12T15:02:50.704152Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-30538-5_26","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.641401Z","title":"In: Lodaya, K., Mahajan, M","venue":null,"work_id":"ecf0279f-4fdf-484f-9f42-07c1740d2976","year":2004},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.295150Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:c41b49fe33fc9e5f7afda5bb3d778d407943d3024527fcfc26873e554214e77e","observation_id":"ff1e44e2-4d47-4ac1-952f-76423df8157b","resolution":{"observed_at":"2026-08-12T15:02:49.650972Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.304016Z","title":"In: Bloem, R., Dimitrova, R., Fan, C., Sharygina, N","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.304016Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:51af6b6fc179fb938be194c0a6b762e0cdc48c1e775a3870c51e6ec9aee0e4dd","observation_id":"75f16a82-9b1d-417d-b5f3-2947aa443404","resolution":{"observed_at":"2026-08-12T15:02:49.304016Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0774.15007","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:50.259960Z","title":"In: American Fed- eration of Information Processing Societies: 1982 National Computer Conference, 7-10 June, 1982, Houston, Texas, USA","venue":null,"work_id":"784509b9-c783-49f4-9dfc-6bc319cc5578","year":1982},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.310293Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:efae040527bad7f9fe6ea0c97e25a1cdb92140699f207bd713cd4520ce4d57d3","observation_id":"e25c3a1c-69d7-4142-b02a-750d362f0d1d","resolution":{"observed_at":"2026-08-12T15:02:50.277904Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-99725-4_16","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.585703Z","title":"In: Podelski, A","venue":null,"work_id":"531507a7-0e02-44d5-aa82-05b9adbf18e6","year":2018},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.320897Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:a48ae4b779c70ed12875bbae58fbee02ce22f433d01be8606d07daac4f8a05fe","observation_id":"0a50b16c-2896-4946-a786-95322d9f1cc4","resolution":{"observed_at":"2026-08-12T15:02:49.594098Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.331503Z","title":"In: Eiter, T., Sands, D","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.331503Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:f538e139892c31ee4e593e8dead5f6d792ca18a7a1ab72dd58b103a1acb7e396","observation_id":"e7e119aa-09a2-49a8-9328-02624766f6f9","resolution":{"observed_at":"2026-08-12T15:02:49.331503Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.347699Z","title":"Acta Informatica 6, 133–151 (1976)","venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.347699Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:05c7354ba7c64870e8c6f326b1429e3017c0743679b1479968e341dacb2ddd4a","observation_id":"cb691281-57ab-4013-97f0-eebebb5078b3","resolution":{"observed_at":"2026-08-12T15:02:49.347699Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.353176Z","title":"In: Sarkar, V., Hall, M.W","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.353176Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:8427413be9430f10736a5532bc1b643392a01d66a6ee1f222078fc0d3f8998fe","observation_id":"dbf0ebc2-89ca-477b-8efb-f6150e328464","resolution":{"observed_at":"2026-08-12T15:02:49.353176Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:50.676526Z","title":"Prentice-Hall, Inc., USA (1997)","venue":null,"work_id":"e35533c7-3a2c-4e3e-b317-aa49324a1e29","year":1997},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.359208Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:82e34ab44474f6c13ba90ff42a6cd7ba41f7456dd657a78d5da7b0d7daf41890","observation_id":"06218db3-c87b-49d4-b9f7-6ca8f3df9de3","resolution":{"observed_at":"2026-08-12T15:02:50.684249Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-44978-7_10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.528615Z","title":"In: Danvy, O., Filinski, A","venue":null,"work_id":"f581b658-57c9-4a14-8311-8df68cd2a2e7","year":2001},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.369171Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:3b1f9658ccb632c94a27b4a7a72d40924a45849c89dbf0f5f4b49935f0a20f29","observation_id":"f4c54ed0-e875-48c8-8350-b38611720532","resolution":{"observed_at":"2026-08-12T15:02:49.534162Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2001.95783","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:50.032393Z","title":"In: Burd, E., Aiken, P., Koschke, R","venue":null,"work_id":"9aa75dd9-455d-4cda-abff-3b85ec969081","year":2001},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.375877Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:a2a14dd33f693651998cac01578a811335ed05c96d5ecc3cd76a9833449498a5","observation_id":"f71e03ab-02e6-4e21-aa63-14c1569c2506","resolution":{"observed_at":"2026-08-12T15:02:50.059173Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.382404Z","title":"In: Sankara- narayanan, S., Sharygina, N","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.382404Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:43b8bb1169798fcc005606142e379f7672c71f566afa24739264d344902131d7","observation_id":"62ca9602-5e5a-420d-aff0-09a2711738b6","resolution":{"observed_at":"2026-08-12T15:02:49.382404Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.389308Z","title":"In: Ramakrishnan, C.R., Rehof, J","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.389308Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:3a54dbb7bb23d01acf2168a2440e28b498d54dd9cbf12fa53182fa586998b8bf","observation_id":"494e2721-6b1c-4f8c-90ac-9b2a6f2bdff5","resolution":{"observed_at":"2026-08-12T15:02:49.389308Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:50.635285Z","title":"In: Notes of the ACM SIGPLAN Workshop on ML","venue":null,"work_id":"f9e8825f-a146-42e1-9fc4-19b08c3848e6","year":1998},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.397461Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:7a53a5853c4e308a8f0a57a76b5fe30b48e763f24b68bca0acba1042f0e8b015","observation_id":"d8f9efeb-05a0-4361-8a28-e729aa6a73fb","resolution":{"observed_at":"2026-08-12T15:02:50.641443Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.34727/2022/isbn.978-3-85448-0","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.506000Z","title":"In: Griggio, A., Rungta, N","venue":null,"work_id":"f5b520f3-c72c-4cfd-b881-c3bcb51f6b7e","year":2022},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.406203Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:697d9554ab6552bc2db11ea1d58a606e77999b2113ff781976f4317a0fa5f2c5","observation_id":"2dd39768-782a-4da3-9d46-417e901700f0","resolution":{"observed_at":"2026-08-12T15:02:49.512615Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/1706","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.903960Z","title":"In: Hermenegildo, M.V., Palsberg, J","venue":null,"work_id":"7843ae05-905a-4c28-bea7-0472b7b0e406","year":2010},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.412743Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:041c35820922a4193c1c5da98e018258603b961a46d9413fdd897c79277d02f3","observation_id":"6fab5630-c223-45b0-ab7d-2950e4b4465b","resolution":{"observed_at":"2026-08-12T15:02:49.910605Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-10936-7_18","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.477837Z","title":"In: M¨ uller-Olm, M., Seidl, H","venue":null,"work_id":"76e98427-a845-49b8-b589-ab52206f640c","year":2014},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.419589Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:609755a891d7973faa5a906f52263f5edf83ccb6ae395a416a0e5bf52e80a880","observation_id":"05e833e6-f535-4628-a2e9-39d52fcb6a2a","resolution":{"observed_at":"2026-08-12T15:02:49.486725Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:50.609751Z","title":"18: Generic algorithm for the lattice operations","venue":null,"work_id":"6b3dbf5b-dcee-48e8-83f0-589348b6b56c","year":null},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.427022Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:3a3d7de21c3c279dc78e91e0582c571e0cb125d230dc4ba5e27e138c1dbf3739","observation_id":"368fb17a-45ce-4384-ae70-849375659155","resolution":{"observed_at":"2026-08-12T15:02:50.616055Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:02:49.288161Z","title":"https://doi.org/10.1007/978- 3- 540- 24730- 2_38 , https://doi.org/10.1007/978-3-540-24730-2_38","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants","version":1},"reference_index":529,"source":"pdf_text","source_observed_at":"2026-08-12T15:02:49.288161Z"},"links":{"citing_paper":"/paper/2411.14735"},"observation_digest":"sha256:f3587953793ef07cb77f0b653a6898590ff7bb087a51e851d33e121987df4d91","observation_id":"d893da9a-ca6f-4e34-a383-c8bd26c325bb","resolution":{"observed_at":"2026-08-12T15:02:49.288161Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.14735","last_updated":"2024-11-22T05:05:44Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-12T21:43:20.339521Z","submitted_at":"2024-11-22T05:05:44Z","title":"Automatic Inference of Relational Object Invariants"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":8,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":5,"verified_exact":9,"verified_fuzzy":4},"total_outbound_references":29},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2411.14735."}