{"as_of":"2026-08-18T10:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:21a5280afa0c53a6d3fdeddd95e26c8af800e430de690db3f44e922ea032bcf7","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T18:01:56.053613Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2507.19245/citation-record","integrity":"/paper/2507.19245/integrity","json":"/paper/2507.19245/citation-record.json","paper":"/paper/2507.19245"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.15344","last_updated":"2025-05-21T10:18:49Z","snapshot_observed_at":"2026-08-18T02:20:47.919178Z","submitted_at":"2025-05-21T10:18:49Z","title":"Alpay Algebra: A Universal Structural Foundation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.15344","snapshot_observed_at":"2026-08-15T18:01:55.910493Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.910493Z"},"links":{"cited_paper":"/paper/2505.15344","citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:ce23e4b65d5ef7065da4c3ec4054bd0e45916cfe952b6288e1584dbabe7f440c","observation_id":"10d25185-a34d-4e75-a437-a56ae206de73","resolution":{"observed_at":"2026-08-15T18:01:55.910493Z","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-15T18:01:56.875951Z","title":null,"venue":null,"work_id":"22edb4ed-c3cd-4cd3-8a19-6bc5dbce1821","year":2025},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.915855Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:10b96ba317d96025eccf6f198d5c1a4cd0a2442bbb907fefc48968d2099515ae","observation_id":"492e85e7-dbad-46d6-8c6c-42eef0090fdd","resolution":{"observed_at":"2026-08-15T18:01:56.886069Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.17480","last_updated":"2025-05-23T05:15:34Z","snapshot_observed_at":"2026-08-17T22:12:21.495383Z","submitted_at":"2025-05-23T05:15:34Z","title":"Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.17480","snapshot_observed_at":"2026-08-15T18:01:55.920316Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.920316Z"},"links":{"cited_paper":"/paper/2505.17480","citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:833b9ee7ecf85ef1bc77602748c726376f8c14f7e138d9177f497e85367041cc","observation_id":"9a218ced-eb79-4941-ab38-af294b644660","resolution":{"observed_at":"2026-08-15T18:01:55.920316Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19790","last_updated":"2025-05-26T10:20:12Z","snapshot_observed_at":"2026-08-15T20:26:38.666757Z","submitted_at":"2025-05-26T10:20:12Z","title":"Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19790","snapshot_observed_at":"2026-08-15T18:01:55.926920Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.926920Z"},"links":{"cited_paper":"/paper/2505.19790","citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:a9686564a92eac6a7db824742ba315c0d68d3ca5af2687662371f2c48f6f85d3","observation_id":"f8349309-cc36-48ec-929b-bb49d7656db7","resolution":{"observed_at":"2026-08-15T18:01:55.926920Z","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":"3513.36475","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:01:56.303294Z","title":null,"venue":null,"work_id":"1316f44b-d62f-4570-9e59-becedfcf92b1","year":2025},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.932628Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:daba8100f4636184c59250d7e93f05136cb74dbbef18e075fe6e6752ac3d3654","observation_id":"40f0b39e-2513-4bff-9adb-6defac05343a","resolution":{"observed_at":"2026-08-15T18:01:56.318841Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.16620","last_updated":"2025-07-22T14:15:11Z","snapshot_observed_at":"2026-08-17T13:04:17.188029Z","submitted_at":"2025-07-22T14:15:11Z","title":"Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence","version":1},"cited_work":{"arxiv_id":"2507.16620","doi":null,"metadata_source":"pith","pith_arxiv_id":"2507.16620","snapshot_observed_at":"2026-08-15T18:01:56.162488Z","title":"Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence","venue":"cs.LO","work_id":"881205dd-9f5e-4b1f-8983-3fa4d74f5c8f","year":2025},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.937990Z"},"links":{"cited_paper":"/paper/2507.16620","citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:1f08575dda06e0f38c57405d42d6bed7749f39fb782a02e01d493faedc0ef655","observation_id":"4e2fd8e7-e335-495a-8062-7922889c25fd","resolution":{"observed_at":"2026-08-15T18:01:56.170924Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.860724Z","title":null,"venue":null,"work_id":"04326241-65ec-4b8f-be30-11c170e236ed","year":2025},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.944332Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:be04a4be690083af99b77aa6e5b7e2305fd6d058efc4d0249284490e3695e297","observation_id":"77d05fb6-e211-4c4a-afed-56ca0fbab258","resolution":{"observed_at":"2026-08-15T18:01:56.865412Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.839818Z","title":null,"venue":null,"work_id":"5b486508-d3bf-40c6-ad47-b2018a70ad08","year":1922},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.948308Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:532e983bf77d8dc39e1a6b3c51f30455b5f40cef2888b14b464a605863b53b65","observation_id":"746cd181-ab1e-40a8-b599-9d5581fc4361","resolution":{"observed_at":"2026-08-15T18:01:56.845073Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.820361Z","title":"(2004).Interactive Theorem Proving and Program Develop- ment","venue":null,"work_id":"03763ee9-ba31-4999-9e6e-606e8fe93a5c","year":2004},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.952151Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:06fb3ef049e2280f05ad3376a9abe099eb4153d81a10c3beb5e0609676c8553f","observation_id":"9f446337-872a-4ffd-961e-c68192a33042","resolution":{"observed_at":"2026-08-15T18:01:56.827053Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.791801Z","title":"(1968).Elements of Mathematics: Theory of Sets","venue":null,"work_id":"5616721d-3b9e-481b-a5d5-ce93640335fd","year":1968},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.955866Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:1b67313a092531dc0197482cc90d989742032a9b466dc1e43777dea6179c1d21","observation_id":"e9539f85-5037-43fc-95c3-a6fc6cc37662","resolution":{"observed_at":"2026-08-15T18:01:56.799751Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.770495Z","title":null,"venue":null,"work_id":"408086d8-7fad-45a7-863a-a905399f7b69","year":2007},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.959425Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:0efbb170cb07d6758354eb2ebf6a80ab095b92e445ed98a9f4dce8e718bcfa13","observation_id":"f93d6aa3-a4eb-445b-81ca-83be407fe263","resolution":{"observed_at":"2026-08-15T18:01:56.776434Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.747118Z","title":null,"venue":null,"work_id":"62220200-a8bb-4482-97cf-f59366b1e3b8","year":1911},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.963493Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:98c80e4dee198d83a8dda9ae66c71222d8da135d0dfafd7bbbed038897a7cf02","observation_id":"045d7201-4c50-47b0-a793-3d10323ad699","resolution":{"observed_at":"2026-08-15T18:01:56.756389Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:55.967309Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.967309Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:ca0f2ac80850bebceebe70be8f6d6228e872c9b030358915df6db452636f3955","observation_id":"8b5c0f27-58b7-4e9c-aca5-df4a9b24fc6b","resolution":{"observed_at":"2026-08-15T18:01:55.967309Z","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-15T18:01:56.716710Z","title":null,"venue":null,"work_id":"d7d60c3d-c330-4c3a-aef8-16b3a89173e9","year":1976},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.971926Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:81f1895c9f63a75457065f3c8e1f6902f19f75941425df8661182e44c90592f7","observation_id":"8105e11c-7151-4242-91e4-283216cc69d1","resolution":{"observed_at":"2026-08-15T18:01:56.726575Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.686414Z","title":"(1991).Game Theory","venue":null,"work_id":"441b9131-e004-4e13-be85-2d232af8869c","year":1991},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.975877Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:2fd47f6245c695f67580eb7d206eb3931a56b6ac7d37fd7c71f6cdf310809cc9","observation_id":"c1238a51-75f4-4ee5-9200-94062be50d06","resolution":{"observed_at":"2026-08-15T18:01:56.694326Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.670036Z","title":"(1993).The Revision Theory of Truth","venue":null,"work_id":"47e85729-ecc3-495b-ada9-dda0654fbd19","year":1993},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.979865Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:f62dfc2927f8b9c5a8a25779e85f77eead1e0641feea49b6e275a38d78620e65","observation_id":"18315873-a6f8-48bf-be62-17e8c5556c61","resolution":{"observed_at":"2026-08-15T18:01:56.674664Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.651001Z","title":null,"venue":null,"work_id":"bb74f06d-d52d-4f94-95c4-f6f6503003e3","year":1941},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.983497Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:f67b4eb3a79e27075c1c80de11082a8b34f69cec8bc9120aa379a3faeb2d6e59","observation_id":"16bfe6a0-dbea-4ded-b52b-95802debbae9","resolution":{"observed_at":"2026-08-15T18:01:56.658800Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.07868","last_updated":"2025-07-10T15:48:23Z","snapshot_observed_at":"2026-08-17T09:54:46.607932Z","submitted_at":"2025-07-10T15:48:23Z","title":"Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.07868","snapshot_observed_at":"2026-08-15T18:01:55.987351Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.987351Z"},"links":{"cited_paper":"/paper/2507.07868","citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:9e8e512c82d303ad3683e99039741eb5f216e2f62abefcb2accd0bf1c3e2140d","observation_id":"1a4bbb61-4e63-455c-b8e2-b02e4c20fc98","resolution":{"observed_at":"2026-08-15T18:01:55.987351Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.03774","last_updated":"2025-07-04T18:49:18Z","snapshot_observed_at":"2026-08-15T00:24:33.046327Z","submitted_at":"2025-07-04T18:49:18Z","title":"Alpay Algebra IV: Symbiotic Semantics and the Fixed-Point Convergence of Observer Embeddings","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.03774","snapshot_observed_at":"2026-08-15T18:01:55.991280Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.991280Z"},"links":{"cited_paper":"/paper/2507.03774","citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:185406aaf1c3c0123978029ad75079c93475eb7e53964d22c6c865c59636f010","observation_id":"d69497d6-c1d7-486c-a46a-6d28b8118bd8","resolution":{"observed_at":"2026-08-15T18:01:55.991280Z","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-15T18:01:56.635043Z","title":null,"venue":null,"work_id":"2fead3a1-4124-41b2-8dc6-b6ffaa7dd387","year":1928},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.995237Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:4eb853b691655aa29b27531a689558798fe5936c885e1a1e22835433edc08ad3","observation_id":"5aa3a033-0182-4221-a425-df62f62a6125","resolution":{"observed_at":"2026-08-15T18:01:56.640407Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.617847Z","title":null,"venue":null,"work_id":"839cb01a-078e-4e4b-8f8f-c71220a21b2d","year":1975},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:55.999266Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:82e2b699ef2c472bac9013bf318a57cf69792022a4f31422a449aac87a37adbf","observation_id":"f66cb7a8-a065-4272-9902-c431e7341c08","resolution":{"observed_at":"2026-08-15T18:01:56.622419Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.003461Z","title":null,"venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:56.003461Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:edb0b386936ad8fb61990176d0245aa00f49bb78e0a71d8922bb74f9de1fc1c2","observation_id":"930014d5-f6d3-4adf-865f-bf00788c557c","resolution":{"observed_at":"2026-08-15T18:01:56.003461Z","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-15T18:01:56.595260Z","title":null,"venue":null,"work_id":"14ff7b8a-ba1e-4997-9f82-7b1612b2c453","year":1969},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:56.007945Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:01d960e6883c65134e941770fdb117197eff75eecc0a63f7ac1ed07ea3adc62a","observation_id":"b92f9ade-ff2c-4afb-9d05-afc2a32c0ab3","resolution":{"observed_at":"2026-08-15T18:01:56.601946Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.013076Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:56.013076Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:a57cc8016e30dc06ae2369a5634642b873b3c3f70def667a03a080343018cff3","observation_id":"be7110f5-c762-47c9-aca4-8ce6e62de2c7","resolution":{"observed_at":"2026-08-15T18:01:56.013076Z","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-15T18:01:56.574571Z","title":"(1986).Mathematics: Form and Function","venue":null,"work_id":"7710fa50-5127-4f4f-ae75-24f4ee104197","year":1986},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:56.017027Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:aaef36e26ad18cae52499365c8acdf5f816a08e8640d72ef972a25f2eee8023e","observation_id":"cb505a9e-fe0e-4874-a6a0-7078ce577abf","resolution":{"observed_at":"2026-08-15T18:01:56.582442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.552793Z","title":"(1984).Intuitionistic Type Theory","venue":null,"work_id":"79ae323c-1291-4dc7-b25e-81abe9c30d1c","year":1984},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:56.021236Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:cc7aade86e3983504fc23baee40d1544a6d9872a3d509ed29583bdb99969424d","observation_id":"44b86333-6d21-44ff-a86f-476c63390834","resolution":{"observed_at":"2026-08-15T18:01:56.559999Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.529612Z","title":null,"venue":null,"work_id":"1ee4d025-e102-4e7b-916e-197c42f73bb0","year":1996},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:56.028865Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:cc825276e6f7fe6d2db7e82522a9507039fbe54a681a457b174034540ea9d063","observation_id":"065a42ed-5864-4b17-a6ee-3c48127452ec","resolution":{"observed_at":"2026-08-15T18:01:56.534956Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.507313Z","title":null,"venue":null,"work_id":"2e1a23bc-2997-4803-9245-eada1708081c","year":1951},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:56.034700Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:047b1abcc223733e585709966c2ed8551c5217bd98322376d0c673ed3d3815dc","observation_id":"8747acfc-d8e2-47c6-8c1f-821475725697","resolution":{"observed_at":"2026-08-15T18:01:56.513923Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.472237Z","title":"(1990).Programming in Martin-L¨f’s Type Theory","venue":null,"work_id":"10887ebe-c643-4db8-ba37-cd82faa77edd","year":1990},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:56.039201Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:fe3f567537ddb9a0b2d9ea72953d71f8343660098c47faf6e4a59c527e751e12","observation_id":"630a3687-949f-4c16-8cce-7c44cf0370ba","resolution":{"observed_at":"2026-08-15T18:01:56.484628Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.448257Z","title":null,"venue":null,"work_id":"d339c539-46a3-4a1f-9a41-347175864d84","year":1998},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:56.045954Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:963c0ebcd07d6687cf319f757e9c2876decad8fdf91c2376ff8da43ac32832dd","observation_id":"3848af03-2004-410e-b45a-f49fb2ab54e8","resolution":{"observed_at":"2026-08-15T18:01:56.459013Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T18:01:56.427500Z","title":null,"venue":null,"work_id":"87f64b65-1c40-4db1-a849-38db05a365bd","year":1955},"citing_paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T18:01:56.053613Z"},"links":{"citing_paper":"/paper/2507.19245"},"observation_digest":"sha256:27f398f3fe4189663ae44287619f92583a343f97549089c48b5fb20dd9439435","observation_id":"3eba928b-1e3d-4478-9d2c-25b085ce83a9","resolution":{"observed_at":"2026-08-15T18:01:56.433649Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.19245","last_updated":"2025-07-25T13:12:55Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T11:23:28.247326Z","submitted_at":"2025-07-25T13:12:55Z","title":"Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":21,"verified_exact":1,"verified_fuzzy":7},"total_outbound_references":31},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2507.19245."}