{"as_of":"2026-08-03T18:15:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:99e6bcfb18e585d1950014c6fc85aee907e1f1ca7bcf550de57e7ca50af9386f","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-08-03T06:30:56.289259+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-08-02T17:27:06.784446Z","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:b8abadacf3b18f5bdbe112f8554380ab8725275693d3f18563af39d19c90f7c2","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:460350ab07993e2a71cae553c7f04a2d998caef8076c5230ac6b2fc0d5fc6a94","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:f8abfc0dbe44e03389ec09d0d57446867816faffbe7bc3f36ae24ece634acfc4","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:76d51bdaf8bc74bcc7b3c7d42aeab9559e02af0b7b0f93672ba07beb565cd312","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:856e3de2c80e1869027f5045113ad029e560034409d83c4d95e413e5995f800f","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:b4de079ebe556a7f571670e5f7d8775f620968b2b55a0569d13d1f7f7211b2c6","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-01T16:50:49.499324Z","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-08-02T17:27:06.784446Z","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:607bda1db78a2f2d6510805251033ba358283f2943d7b4d80ae123d3e4436dab","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:68799e8a9111beadd7aca964859cc7956504b915de5c5cd3336951e28db18913","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:b5bc012c52235dab8b0c833bf952c352560885286ed013c30da803d7953fc38f","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:4c68500de0784c9bd7e30ac0c23f83819ce0e6bf384369f7b90f4169903bf282","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:a5130acc05cc1a745a2df8fecb70b7f5f6dfee45191d4f645e754e84e54bb8f3","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:19abb1dfbae35f2069a130eb2d7729a8b2b95f82d659452a6a1be52b8b20cbc0","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-31T19:03:03.494918Z","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-08-02T17:27:06.784446Z","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:14a0ab98f6d5b028c946e48b3c92ae258bae909f2e2bc06d0d7a21e789ff1097","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+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-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:40bfefffe63ddd48c6472e1ff24dea8a448ec7cfe7437589dc60703a307c7b20","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:0c80f4421a6b140e9010b18d7f1c46f766aa6ca8e57b0f48d8ffddf4e9605432","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:42d37b602b1ce3d993a9311a82c6975343f9d1586546c02d549902ce83366ce4","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:f597a2d9b38d402ee620ae084fadacd1d0b187cc0c944f47c954f6af25cbadb5","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:e4ce7ac8bc2aadd558c69ef44b157514760a81cbbede10ec37c3a192f0f62cf2","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:56006329efa8529bf85da995cfda705ec91bc8fb810eb7796795dfb1313170dd","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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:4ff7b9550d188e23e364a03054ddb3b173cbea343d17a1659b932be591fb37c6","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-08-03T06:30:56.289259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+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-08-02T17:27:06.784446Z","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-08-03T06:30:56.289259+00:00","source":"crossref"},{"observed_at":"2026-08-03T06:30:50.922721+00:00","source":"retraction_watch"}],"thesis":"As of 3 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2604.05080."}