{"as_of":"2026-08-14T12:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:28c55a53fc0b34b505a244dccd64399e87db244b89fef85e9a048f4ca7c71d19","coverage":[{"denominator":48,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":48,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T12:06:03.746307Z","state":"measured"},{"denominator":49,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":49,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T14:15:23.300819Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-01T18:16:15.623592Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"cited_work":{"arxiv_id":"2607.19693","doi":"10.48550/arxiv.2607.19693","metadata_source":"pith","pith_arxiv_id":"2607.19693","snapshot_observed_at":"2026-08-01T18:16:15.623592Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","venue":"cs.PL","work_id":"41539d6f-fccc-4060-a143-1b19b01fb572","year":2026},"citing_paper":{"arxiv_id":"2607.18821","last_updated":"2026-07-23T06:41:55Z","snapshot_observed_at":"2026-08-14T05:59:25.392940Z","submitted_at":"2026-07-21T07:57:17Z","title":"VirtualSet: Typed Ontology Worlds as an LLM Generation Target for Grounded Queries and Guarded Decisions","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-01T14:15:23.300819Z"},"links":{"cited_paper":"/paper/2607.19693","citing_paper":"/paper/2607.18821"},"observation_digest":"sha256:e2b49d98a1564e7a4fdb924a56b5a8d588ef043030479c57e4bc50b9c64cf76a","observation_id":"2053b89f-f1a4-49a6-a8a4-670c0015044f","resolution":{"observed_at":"2026-08-01T14:18:38.272438Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2607.19693/citation-record","integrity":"/paper/2607.19693/integrity","json":"/paper/2607.19693/citation-record.json","paper":"/paper/2607.19693"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T12:06:00.470583Z","title":null,"venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:00.470583Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:312510be9b79063b75bbdec575642290113432944fe10a125e9b6669d5ee37e2","observation_id":"68498676-251e-46ba-885e-96af9c6c906d","resolution":{"observed_at":"2026-08-01T12:06:00.470583Z","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-01T12:06:00.587016Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:00.587016Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:72f0bbda22e17041540aeeac0e705502e7ef3736877787f5febefdefbdd796c1","observation_id":"0645f34e-7055-4eb0-a0c5-4f4803acc880","resolution":{"observed_at":"2026-08-01T12:06:00.587016Z","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-01T12:06:00.727654Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:00.727654Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:c355bc63a8dc3482c3281ba0c15e4d5da30e3d3bb52199908fedde88f3f7ef5c","observation_id":"dec79ce5-d098-4ce8-b057-943e06828972","resolution":{"observed_at":"2026-08-01T12:06:00.727654Z","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-01T12:06:00.863579Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:00.863579Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:041dd575e21f45195dbae7c82e6b05082201476bcac355ccbc50a9651e6de9ed","observation_id":"f4745dab-c959-41f8-b5df-6c6765872dee","resolution":{"observed_at":"2026-08-01T12:06:00.863579Z","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-01T12:06:01.003089Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:01.003089Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:868798da80818e2c3b80aa80b72edb4207755bab410385148f173f848573e0f3","observation_id":"16a93ed0-d3fb-4543-8841-9eaacbf9f05b","resolution":{"observed_at":"2026-08-01T12:06:01.003089Z","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-01T12:06:01.144771Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:01.144771Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:f62de9d7a9e5d2ab1987de4173e6b6f29fb3697f7422cfbfcf9dd8ec8c1177d4","observation_id":"9dbbc3fb-1e91-45c2-bdb6-07061773a043","resolution":{"observed_at":"2026-08-01T12:06:01.144771Z","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-01T12:06:01.317578Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:01.317578Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:6847a744527702b3fbcf898c99e81fdcae4287f1f9cd98012d48066d5b66ec7e","observation_id":"77e9c24f-1efd-4721-9490-b45e0fe1b947","resolution":{"observed_at":"2026-08-01T12:06:01.317578Z","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-44202-9_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"1b29e530-3d52-4d63-87cb-f872054f0e26","year":2014},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:01.401795Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:615af8aa45d0f957c05a5b4ea069328625467cdd74ee71bc3bf4d80a2e060ca0","observation_id":"714fd199-2e8b-490f-b339-b44d3b57c3b4","resolution":{"observed_at":"2026-08-01T12:09:01.466714Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-01T12:06:01.476110Z","title":"Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:01.476110Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:445e6bc975888b8bdaa26f3a120c4de563792eb0d1d1732b792eef1f1b6cb3f9","observation_id":"13434083-fbf5-461e-aa25-aaa09fc5d48a","resolution":{"observed_at":"2026-08-01T12:06:01.476110Z","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-01T12:06:01.605277Z","title":"Mitchell","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:01.605277Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:7b07acd4de3fbe95d012fbbd773e46728c7136f6c9719f443ee6480c920b5d45","observation_id":"9d403d04-197a-4be8-bfdf-eb3f5a6042a3","resolution":{"observed_at":"2026-08-01T12:06:01.605277Z","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-01T12:06:01.681979Z","title":null,"venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:01.681979Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:83a33dddbe176a6123c63f04a0ca101ecacf2ab8d30cdf8fdd5bfbdf45a68595","observation_id":"0d2b1732-a50f-4f09-b005-6d4e2a04ce27","resolution":{"observed_at":"2026-08-01T12:06:01.681979Z","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-01T12:06:01.794927Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:01.794927Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:7592ff064b11dd13dacb1b9a47f263755008fb745438d9ff32c842188046cca6","observation_id":"0e05709d-7665-4f26-85b1-306d836f4f5d","resolution":{"observed_at":"2026-08-01T12:06:01.794927Z","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.1145/217838","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Smith, and Valery Trifonov","venue":null,"work_id":"bd8589e4-a825-4071-b008-5164b2406c97","year":1995},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:01.865516Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:b25788540d8168d0b780304aebad3f054567fa348b9f68a5490c00705a926ed3","observation_id":"5c08a07d-3f25-47ab-8c9d-d5057d7fa0ac","resolution":{"observed_at":"2026-08-01T12:09:01.078546Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-01T12:06:01.949162Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:01.949162Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:21f0363c64e1ce5d38e39f6e79732370f8ea221e34389566e1850f529a273aa5","observation_id":"dc6255cc-8f00-42bb-a2bd-23ed37e8a94d","resolution":{"observed_at":"2026-08-01T12:06:01.949162Z","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-01T12:06:02.018483Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.018483Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:4a53ca3f1f559cc2528ebe294491735abc178a92a8da804e86df6c90772e6819","observation_id":"7bf963a6-70c3-4c21-bf93-c77272a86e52","resolution":{"observed_at":"2026-08-01T12:06:02.018483Z","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-01T12:06:02.091390Z","title":"Liskov and Jeannette M","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.091390Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:c4f72849677f20449f3ea0fafa09ccffd598a3cb77197dbe64d6cc0a04fee950","observation_id":"5e763ef4-4d37-4bf5-ae2f-6684cd472bfc","resolution":{"observed_at":"2026-08-01T12:06:02.091390Z","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.22152/programming-journal.org/2023/7/2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"The Art Science and Engineering of Programming","work_id":"a1b2fbd2-5ef6-42ae-8f18-e82cf2e037d0","year":2023},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.214160Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:9a07a1aa2b033ee04047acc6d5fecb3e68b017c90bd5105b8a28cd2db593eaaf","observation_id":"0ea5f35a-7f95-4729-adb9-f007618536d8","resolution":{"observed_at":"2026-08-01T12:09:00.773959Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-01T12:06:02.311305Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.311305Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:e8e67df7c0acfe3f38e6ac73fdf08a264020fa34080e34d034a97492eb7ca5ff","observation_id":"8fbb5597-14a8-4790-8c55-44648e44e1a4","resolution":{"observed_at":"2026-08-01T12:06:02.311305Z","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-01T12:06:02.395482Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.395482Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:32db39aa891ff5abcadd5bd332450c3d1f0dd4ea2982846a5cb94f3146a095c6","observation_id":"6961de5b-067b-407d-8540-852202a40a63","resolution":{"observed_at":"2026-08-01T12:06:02.395482Z","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-01T12:06:02.475792Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.475792Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:d39e77455475d9946ed8132f66f969e4fe0d901ff936ce7690da6ccc4810bbb9","observation_id":"b9ae3ab3-e1f5-4fd5-ba97-a9d6bacf6dd5","resolution":{"observed_at":"2026-08-01T12:06:02.475792Z","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-01T12:06:02.534470Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.534470Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:62b839ca0107b88df1c552d1db6454bbd268c6534ab1d0a864463a7ffeeede8c","observation_id":"1973bbb8-9a94-4fd3-81ad-fb1d94b535ad","resolution":{"observed_at":"2026-08-01T12:06:02.534470Z","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-01T12:06:02.591841Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.591841Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:81e697fe4eca3913f8871a7baec2d71cf45c91564374334d854f98dc95269295","observation_id":"919a033a-619a-4120-8336-bebfdc7d116d","resolution":{"observed_at":"2026-08-01T12:06:02.591841Z","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-01T12:06:02.648544Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.648544Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:2ca9f62144132f5fe6292afea9c45b9800c1f5316298e50d4cec94d9c0be7943","observation_id":"2740683f-893e-480b-bc31-45aeaeaaafb4","resolution":{"observed_at":"2026-08-01T12:06:02.648544Z","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-01T12:06:02.704135Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.704135Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:1df73c01a2ce2c2c057e6e3e558e2becada717f2e441b31c40e348ddda2c72e8","observation_id":"f0fe0409-1eb9-4e56-a962-958b8792b292","resolution":{"observed_at":"2026-08-01T12:06:02.704135Z","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-01T12:06:02.761371Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.761371Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:91ba724e740458785bd0a272e383b47db4acb12283ac27ee47ca4e684068748a","observation_id":"0f832818-244d-4c74-adf9-5837ab78c4ff","resolution":{"observed_at":"2026-08-01T12:06:02.761371Z","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-01T12:06:02.816716Z","title":null,"venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.816716Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:c3e04b93ff25f0702030d1f276354f3e732807dfaf5c236759ceb5b7671df7d0","observation_id":"11e14c01-73d7-43bf-b665-fa703dca3b3e","resolution":{"observed_at":"2026-08-01T12:06:02.816716Z","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-01T12:06:02.873165Z","title":"Mir, Evaldas Latoškinas, Sebastian Proksch, and Georgios Gousios","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.873165Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:4996dc596cc95a207ea5585265218182de204aaef76405199e50c33953f8ef09","observation_id":"c6d7b68c-ea18-4b3b-8520-d71b60b18834","resolution":{"observed_at":"2026-08-01T12:06:02.873165Z","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-01T12:06:02.941844Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:02.941844Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:d38e252cbedadb6fdee313e36548db98eeba53b152bfafedcc65dec19b96ec9c","observation_id":"76f1ba48-41c6-4ba0-919c-481c22b252d7","resolution":{"observed_at":"2026-08-01T12:06:02.941844Z","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/3-540-12925-1_41","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"1579b56c-12eb-4691-b94c-20d297e69d8b","year":1984},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.009610Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:41952aed8da6a92a83967a689f2703bba85407e99b19cfa0b0736ba01ba767d1","observation_id":"511aeba2-14a0-4efa-a299-adad7773c465","resolution":{"observed_at":"2026-08-01T12:09:00.446748Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-01T12:06:03.066393Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.066393Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:ed37716fde6d781040faa3f654f89c4bac585c89af20a98af0c2c5b39aaf051a","observation_id":"a3724d16-59b6-4868-88ae-bab055aeb0a3","resolution":{"observed_at":"2026-08-01T12:06:03.066393Z","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-01T12:06:03.121926Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.121926Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:48a55b3717e5ca22dd572b7a727e4f3dcc2cb4b244a8c30287a986c949765ef4","observation_id":"fe5ddc32-af0e-4831-9323-5f51548c7c2f","resolution":{"observed_at":"2026-08-01T12:06:03.121926Z","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-01T12:06:03.184384Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.184384Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:502f9b0e9261791b1304b67fab5d797ef826a8d43d2c041194a9cdcbfc85dabe","observation_id":"954cb6e6-a456-4550-9dc9-8b38bf502bf9","resolution":{"observed_at":"2026-08-01T12:06:03.184384Z","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-01T12:06:03.215758Z","title":"Pierce and David N","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.215758Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:a2b3019415c55f97a096e228a382a15daba93b674da2c9d08cda81aeac83a927","observation_id":"0b53f2e9-06b6-4f85-b413-126db4ba3aa5","resolution":{"observed_at":"2026-08-01T12:06:03.215758Z","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-01T12:06:03.247218Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.247218Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:bdff6c92d83b83b4a688042de1111c22887201ab16b5d3a7cee1d880bde6d080","observation_id":"5a69a88c-c4e7-4070-adff-49c605f0162e","resolution":{"observed_at":"2026-08-01T12:06:03.247218Z","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-01T12:06:03.291520Z","title":"1998.Type Inference in the Presence of Subtyping: From Theory to Practice","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.291520Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:2549ce51c530780b3afc7d87e26a930cf363c1abcbc526de6e94228c3be92f36","observation_id":"418a753d-03dd-412a-a197-542c05e66c94","resolution":{"observed_at":"2026-08-01T12:06:03.291520Z","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-01T12:06:03.334083Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.334083Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:58e6b7a7805f01e5c57ab55bb7a1f82adbfd2a74fd570f9ba8d9921a6924c0f7","observation_id":"adc57f3e-8a8a-4539-927e-8a23d2887f8f","resolution":{"observed_at":"2026-08-01T12:06:03.334083Z","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.52202/075280-1577","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"367816fc-25b4-4cf3-bf01-93d62f66cb0a","year":2023},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.364697Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:417d67bb234db0595e7c229ab30b46686a3810d533dd00ba595472c39b66277d","observation_id":"51ee7475-848d-430b-ba82-b9d3a2adc73c","resolution":{"observed_at":"2026-08-01T12:09:00.151510Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-01T12:06:03.397503Z","title":null,"venue":null,"work_id":null,"year":1965},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.397503Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:2031bed45e1d063b4444b91e3e15c63d056c061244d6af495e9dee920882c693","observation_id":"f633ae02-6d53-493d-8287-3b094c5a46e1","resolution":{"observed_at":"2026-08-01T12:06:03.397503Z","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-01T12:06:03.455242Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.455242Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:66d5b9e4f68aef7cf806c78287f9466d4db9a436fd12e4dfa8d13ce2dd1e6c8f","observation_id":"e18be6ef-8d38-4c01-aa72-db40c170af6b","resolution":{"observed_at":"2026-08-01T12:06:03.455242Z","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-01T12:06:03.464178Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.464178Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:83c5eefb9c5022c1938aefd3b784b1ade930aa177a7b6de19df472cc989396fd","observation_id":"4e8f77ba-71f1-4b15-b888-6af612568b96","resolution":{"observed_at":"2026-08-01T12:06:03.464178Z","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-01T12:06:03.495499Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.495499Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:922d561931a814e457e9c23c3ff16d24dea09f684ca0133c1943def541557e5d","observation_id":"529044ab-38ed-49aa-becf-7b51ab1aa7be","resolution":{"observed_at":"2026-08-01T12:06:03.495499Z","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-01T12:06:03.526996Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.526996Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:cc6dbbcce8e187ec335bde9e6ab321c423f5235ea82a926e2378fb7f90bdced0","observation_id":"c9c8acff-1c77-4e55-bb50-64b4235cba37","resolution":{"observed_at":"2026-08-01T12:06:03.526996Z","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-01T12:06:03.559449Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.559449Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:e54192cb7dbe3382dfaf79124041a9ada2f87109469770f07d2c8153eeb56332","observation_id":"62e2685c-7541-49eb-ac8e-3168e6e5d944","resolution":{"observed_at":"2026-08-01T12:06:03.559449Z","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-01T12:06:03.591265Z","title":"Mir, Li Li, and Eric Bodden","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.591265Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:2b8aa680fadd9773c0770617e11aeee67cfb8d19b7045903b6b78c1972d61505","observation_id":"bfc88f3c-72c2-45d0-b6d9-53d02ec7886c","resolution":{"observed_at":"2026-08-01T12:06:03.591265Z","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-01T12:06:03.624575Z","title":"Siek and Walid Taha","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.624575Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:1d037e045d5a07d08d21175a111eea47a98cc6aad61612189440d66e61fa3ec9","observation_id":"cb25bfdb-1b38-4438-a086-cf6fdd9a2844","resolution":{"observed_at":"2026-08-01T12:06:03.624575Z","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-01T12:06:03.640655Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.640655Z"},"links":{"citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:f8b9f692e20dde16d7371b40bd1ebf0da15f8c13529b709b157134f31dc6915f","observation_id":"b1e37e38-7dd5-4b14-850d-d99d281273bb","resolution":{"observed_at":"2026-08-01T12:06:03.640655Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.09702","last_updated":"2023-08-19T21:27:51Z","snapshot_observed_at":"2026-08-09T04:46:02.275866Z","submitted_at":"2023-07-19T01:14:49Z","title":"Efficient Guided Generation for Large Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.09702","snapshot_observed_at":"2026-08-01T12:06:03.697558Z","title":"Willard and Rémi Louf","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.697558Z"},"links":{"cited_paper":"/paper/2307.09702","citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:2c106daf10dbc6c26a7d2bc948ce68a51b2455ab278cdae7e403c3669b7f1602","observation_id":"5b5855da-3b2e-4e3e-b56b-89e976911893","resolution":{"observed_at":"2026-08-01T12:06:03.697558Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.18821","last_updated":"2026-07-23T06:41:55Z","snapshot_observed_at":"2026-08-14T05:59:25.392940Z","submitted_at":"2026-07-21T07:57:17Z","title":"VirtualSet: Typed Ontology Worlds as an LLM Generation Target for Grounded Queries and Guarded Decisions","version":2},"cited_work":{"arxiv_id":"2607.18821","doi":"10.48550/arxiv.2607.18821","metadata_source":"pith","pith_arxiv_id":"2607.18821","snapshot_observed_at":"2026-08-01T12:16:17.934468Z","title":"VirtualSet: Typed Ontology Worlds as an LLM Generation Target for Grounded Queries and Guarded Decisions","venue":"cs.PL","work_id":"92e9ac59-d4d5-4362-81af-a5b9b1614cd6","year":2026},"citing_paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages","version":3},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T12:06:03.746307Z"},"links":{"cited_paper":"/paper/2607.18821","citing_paper":"/paper/2607.19693"},"observation_digest":"sha256:e5fcff91b16c5e632b57e53b68e6aa775b805a66d2619a1758bf3aa28ed3374e","observation_id":"63025983-268b-487c-b3bd-a84db1820867","resolution":{"observed_at":"2026-08-01T12:08:59.776112Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.19693","last_updated":"2026-07-27T03:30:53Z","latest_version":3,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-07T12:39:50.414453Z","submitted_at":"2026-07-22T02:51:18Z","title":"Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages"},"reference_resolution":{"displayed":48,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":40,"verified_exact":6,"verified_fuzzy":0},"total_outbound_references":48},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 1 inbound Pith citation observation for arXiv:2607.19693."}