{"as_of":"2026-07-28T20:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e1277145f9f45fb5ef3ad2ac24499824cfd07d9d4be12df35a3b83213b840180","coverage":[{"denominator":20,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":20,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T19:21:53.699234Z","state":"measured"},{"denominator":20,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":20,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-07-28T06:31:03.373048+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/2604.05080/citation-record","integrity":"/paper/2604.05080/integrity","json":"/paper/2604.05080/citation-record.json","paper":"/paper/2604.05080"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Recursive Functions of Symbolic Expressions","venue":null,"work_id":"99da37ee-1639-4eae-aff3-d2cdcbe1b6ca","year":1960},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:003f4635a28a534e6fd288b41a1bbc123699b7500fe4cca364a57769afd44099","observation_id":"ddcb83d5-8404-4389-a61d-f54090a279eb","resolution":{"observed_at":"2026-05-16T05:42:24.166926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"Z3: An Efficient SMT Solver","venue":null,"work_id":"10c4c1ac-1681-4f0d-ac84-661118256c0d","year":2008},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:8af6d2768b845005850fa696f7c1bea775dfd164484b3c0432f928d65a4ec847","observation_id":"02c94433-6e56-4dd8-bf78-da55bacf9b14","resolution":{"observed_at":"2026-05-16T05:42:24.142693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"Cutleret al., “Cedar,”OOPSLA","venue":null,"work_id":"cee3a2a3-f5b6-475e-b7f4-501b93dd2cb3","year":2024},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:fd0a99c738e8571b414fdc107dc0de0e73e7619c85d24c391db632336f9321e5","observation_id":"4d88e05c-004f-4ffa-b70a-0fbf0e261563","resolution":{"observed_at":"2026-05-16T05:42:24.163875Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"SMT-LIB Standard v2.6","venue":null,"work_id":"baad3998-fe15-4769-963c-ae7737d83401","year":2017},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:41d377f74ee9487371d1b3b610e947aad28ed6db1b7a2fa1cd7079899bd86373","observation_id":"4d9009b4-22bf-4bfa-8881-ab27b496f045","resolution":{"observed_at":"2026-05-16T05:42:24.139031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"Kaufmann, P","venue":null,"work_id":"a85b033b-f502-4c45-b081-54076ad53acd","year":2000},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:095371cd9a6ef01ca6fbec2f0d61e1cc7900b69733b978852f1f0fc228c9c717","observation_id":"5a9492c3-e561-4751-921d-755ca9f6e562","resolution":{"observed_at":"2026-05-16T05:42:24.173232Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.16792","last_updated":"2025-03-03T22:24:37Z","snapshot_observed_at":"2026-07-06T18:20:18.770090Z","submitted_at":"2024-05-27T03:26:01Z","title":"Laurel: Unblocking Automated Verification with Large Language Models","version":2},"cited_work":{"arxiv_id":"2405.16792","doi":"10.48550/arxiv.2405.16792.url:","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.16792","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Laurel: Unblocking automated verification with large language models.PACMPL (OOPSLA)","venue":null,"work_id":"6ded38e0-5b81-4c46-a4c3-eb0caf24e7ab","year":2025},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"cited_paper":"/paper/2405.16792","citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:ceb5c070f9e182ea8ba8098a1fdf26b6f2a8bdbaf6d666159d64d752a91347e3","observation_id":"7fb02ff6-d962-42b7-8a69-3d6d9f25b00c","resolution":{"observed_at":"2026-05-10T23:05:48.380841Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.11891","last_updated":"2025-01-29T17:24:03Z","snapshot_observed_at":"2026-07-06T18:01:57.998555Z","submitted_at":"2024-04-18T04:36:37Z","title":"Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools","version":3},"cited_work":{"arxiv_id":"2404.11891","doi":null,"metadata_source":"pith","pith_arxiv_id":"2404.11891","snapshot_observed_at":"2026-07-09T00:45:49.163189Z","title":"Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools","venue":"cs.AI","work_id":"23c7295d-ab89-45a1-821d-f893609db931","year":2024},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"cited_paper":"/paper/2404.11891","citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:3c920181c99518127d7cc7feea6d1c2d3fa0751f5796008d3e9d66f6d027c260","observation_id":"086466c0-c5ee-4fa8-8008-38bb86af0455","resolution":{"observed_at":"2026-05-10T23:05:48.387650Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"seL4: Formal Verification of an OS Kernel","venue":null,"work_id":"39965d30-b9e4-400c-8d83-740b8008d643","year":2009},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:8e4724c6fa92b7f0c1cb78055323952dee686d76b5f801030775f9493976aadb","observation_id":"daffbb35-dd73-4eb3-8b69-f70f7d60238e","resolution":{"observed_at":"2026-05-16T05:42:24.154245Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"A Brief History of Stigmergy","venue":null,"work_id":"e909aff7-1136-4c73-ac9c-e397e360a861","year":1999},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:197bdfc35018af1c39a3fce36fcd3f272ca7e582bff4f8a6c90ca44e089f3ae6","observation_id":"1793ec9f-774c-4018-953c-992c8cffc85c","resolution":{"observed_at":"2026-05-16T05:42:24.177328Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.00230","last_updated":"2024-08-05T08:36:20Z","snapshot_observed_at":"2026-07-06T18:55:19.894571Z","submitted_at":"2024-08-01T01:54:17Z","title":"Lost in Translation: Latent Concept Misalignment in Text-to-Image Diffusion Models","version":2},"cited_work":{"arxiv_id":"2408.00230","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2408.00230","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"SpecMAS","venue":null,"work_id":"9603cda0-1459-4c1c-8ddb-8f0ba74d3942","year":2024},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"cited_paper":"/paper/2408.00230","citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:cec58beaf36ea72c30c130e225391160aca876322c7e450fac16db2e5f5f020f","observation_id":"e28b7e54-e138-4013-8b09-11eb5eea5481","resolution":{"observed_at":"2026-05-10T23:05:48.384399Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"SymbiYosys: Formal Verification with Yosys","venue":null,"work_id":"3d37e3bc-c95d-4040-8ce2-16ca44521558","year":2018},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:c3317aedf6a7cd56befc8dee30313e48b209153cc66cf8a7c86e66f1ed60f8df","observation_id":"be29d64e-a494-48ca-82b7-a8da8fc5c920","resolution":{"observed_at":"2026-05-16T05:42:24.180788Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"Gödel Machines","venue":null,"work_id":"3d5b56da-5bf4-4ef5-8ad4-83b841cea71d","year":2003},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:927c87937587810aa39a23a46f65b6cf20a6556ee4eec4d54ba7eef6dfdeb58e","observation_id":"ba80c45f-6a17-4f15-ae49-285f4d15f8f0","resolution":{"observed_at":"2026-05-16T05:42:24.150163Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.08155","last_updated":"2023-10-03T20:47:10Z","snapshot_observed_at":"2026-07-06T16:06:43.167102Z","submitted_at":"2023-08-16T05:57:52Z","title":"AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation","version":2},"cited_work":{"arxiv_id":"2308.08155","doi":"10.48550/arxiv.2308.08155","metadata_source":"pith","pith_arxiv_id":"2308.08155","snapshot_observed_at":"2026-07-10T18:57:31.345984Z","title":"AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation","venue":"cs.AI","work_id":"92b7eb9c-c3d8-4518-a376-06fa15dd895b","year":2023},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"cited_paper":"/paper/2308.08155","citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:26fb2a51eaa5c0751ee5740a8621b57c6b031773caf64672155b063de33f3bd2","observation_id":"0b619451-ebb1-4589-a645-8d1bab441dfd","resolution":{"observed_at":"2026-05-10T23:05:48.376625Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-14T18:20:20.607676+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T18:20:20.607676+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"Let’s Verify Step by Step","venue":null,"work_id":"52c3c5be-3714-4a51-a2d2-f85eaa35c5b8","year":2024},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:9843f2aa00c57af330f34c5e3702955271a8eb2d7fbceb60d91c8168950ebb30","observation_id":"b8a597ea-e3dc-410a-b005-f31d7516f6f8","resolution":{"observed_at":"2026-05-16T05:42:24.160544Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"Verification of Model-Based Systems Engineering Artifacts","venue":null,"work_id":"e759a749-4329-4fcb-9dcd-7c340d67c5c7","year":2022},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:0a486681db97816a2c0c45df03d4d2f131b21246c5f8ceef48beebebd8234c69","observation_id":"183f7dd3-ceca-4802-91f1-b05b2c2495c1","resolution":{"observed_at":"2026-05-16T05:42:24.157497Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"State of AI vs. Human Code Generation","venue":null,"work_id":"4aa0f3a6-a2df-4097-95c6-8c7981371554","year":2025},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:c955e8b0b93dd2b14cfc1912e079ebc36e2436a2c6713c5d22592a6f9da99cad","observation_id":"f6684c71-340f-429b-825d-e5474a0b2028","resolution":{"observed_at":"2026-05-16T05:40:41.379917Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"AI will make formal verification go mainstream","venue":null,"work_id":"6178e9eb-021b-47a3-9cbc-496530a23820","year":2025},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:90af42f2af11103f34032f7e98773c4eeac8f58d19bdc3699b1a6664d5c74fbd","observation_id":"4e52d308-be65-43e0-9249-094fa9934716","resolution":{"observed_at":"2026-05-16T05:42:24.146369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"A Framework for Normative Multi-Agent Organisations","venue":null,"work_id":"a7eddcc7-5059-4ab0-a755-71f3cbe4c913","year":2009},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:b2e4bd179f296ef0e6a95226b77ff054bebd1fedc47c716a999fcfc510fa8036","observation_id":"eb16c8ab-743e-40d0-ac07-e7597174437d","resolution":{"observed_at":"2026-05-16T05:40:41.391464Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"OMG Systems Modeling Language (SysML) v2.0","venue":null,"work_id":"12f82d96-99a0-4eac-9b98-549cc7770fca","year":2025},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:97bdc88d9d4c9c179d48b94f1e335e078c589f0103a727142a4a03a71c4711e2","observation_id":"659a4315-5c9f-418c-b63b-f1a4ede768ba","resolution":{"observed_at":"2026-05-16T05:42:24.183986Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+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-06-05T21:23:00.469572Z","title":"Five Guidelines for Normative Multiagent Systems","venue":null,"work_id":"bbd1f172-e256-4c46-9b10-30b6b6aa7e72","year":2009},"citing_paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-10T19:21:53.699234Z"},"links":{"citing_paper":"/paper/2604.05080"},"observation_digest":"sha256:c1eea0a84beacb05daeffa953a4793b1ebd9cdc4554dec11f894d69d26ddbd4f","observation_id":"6ced4525-e561-4ed0-931d-19a77e885d25","resolution":{"observed_at":"2026-05-16T05:42:24.170044Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-28T06:31:03.373048+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.05080","last_updated":"2026-04-06T18:32:09Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T18:32:09Z","title":"Nidus: Externalized Reasoning for AI-Assisted Engineering"},"reference_resolution":{"displayed":20,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":4,"verified_fuzzy":16},"total_outbound_references":20},"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-07-28T06:31:03.373048+00:00","source":"crossref"},{"observed_at":"2026-07-28T06:30:57.601408+00:00","source":"retraction_watch"}],"thesis":"As of 28 July 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2604.05080."}