Paper Citation Record · LEDGER

Grounded Language Design for Lightweight Diagramming for Formal Methods

As of 19 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2412.03310.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2412.03310 v1

Coverage vector

measured 52 of 52 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T22:36:52.062647Z

measured 52 of 52 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

52 of 52 outbound references displayed

verified exact4
verified fuzzy3
unresolved44
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 07e580a2-42f0-4932-9e07-cff2430c8748 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.656968Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b824e75a-2332-4a5f-aba4-f53229c71f2f · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.611981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 149e1a74-2392-48c9-81f8-8a33ece9b1c7 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.589569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ff79ed30-2d2a-4864-8b3a-135f59b2490c · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.571479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3ad14485-bd9f-40c1-aec9-40145adb93ff · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.542985Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ef76fa10-c131-4cd2-ac7c-e053839fa8e8 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.524283Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 09da0be8-7649-4485-ad0a-067ccf41d4a6 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.482189Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 0c2e34e8-8503-470f-ae8c-f7de923db47f · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.451848Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ea81e8d9-797c-4b76-b651-75af04391ea9 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.426258Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 65604aac-6961-45a9-8c93-d29d7b167878 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.398069Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3c7a486f-ac20-4a8d-9ce3-f700e1048a58 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.368984Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c4028004-2ae7-453b-bee2-e04938bbd73f · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.326079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation de4975f4-0faa-4373-8e43-311c258fbb15 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.265138Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 62265921-d1ce-4f17-8777-b6ba7b34ac99 · outbound

This paper cites Jackson and J.

Grounded Language Design for Lightweight Diagramming for Formal Methods Jackson and J

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:36:54.213854Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 059b450f-5a9d-4bc9-bd5f-b9bd9bcb124f · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.171199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 58054bd3-234f-43f7-91f7-31084ec6f49c · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 16

Resolution: verified exact; doi, observed 2026-08-11T22:36:52.349407Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c7d0acac-39e0-4851-a39b-bd9b9057cd3a · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-08-11T22:36:52.276402Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 919472a0-9b44-46e0-bd6f-19aba577fb76 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.124234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 9eb7347f-63d0-4b68-a0c1-010a2aa03b77 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-11T22:36:52.244743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 0fc8ea24-0981-43f7-a7c0-a7ad0d691ba5 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.083778Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 20524b57-6fd7-499f-be4d-0524c779a1cc · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:54.037259Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5a198343-538f-4920-b2f1-0aee8fa1a0e9 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.987372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b14e00cb-709f-4a2c-bcbe-0cb6922f5fa5 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.946731Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d2caf0a1-1af8-47d9-8dd2-30928cf16488 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.899781Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f3b2e6a3-9b36-4335-acd8-3bc3239695bf · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T22:36:51.787493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0218322b-1545-4fca-94d9-efc7434489b1 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.858292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 1cc52ea8-47b2-437c-83a5-c54b66fcb177 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.825898Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 0b7a5b1c-b012-40f3-a274-e04e6f89a564 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.784834Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 266eee99-bab3-4e2e-a91a-16fe27ade78d · outbound

This paper cites Ayers, and Gabriel Ebner.

Grounded Language Design for Lightweight Diagramming for Formal Methods Ayers, and Gabriel Ebner

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-11T22:36:51.828676Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 812855e0-4c14-4e44-b458-e9cfb02e613c · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.686902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 839a3abd-40fd-4114-81d2-ce2c3d25cd30 · outbound

This paper cites Declarative program development in Prolog with GUPU.

Grounded Language Design for Lightweight Diagramming for Formal Methods Declarative program development in Prolog with GUPU

Reference 31

Resolution: verified exact; local_arxiv, observed 2026-08-11T22:36:52.554959Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 29e8a4cb-e779-4735-a6ce-6c322e7c663c · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.598348Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 16a8b20a-68ff-4248-9477-caba72df5b6a · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.558181Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation bf0f88a8-3850-4386-899f-c22c53a34eed · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.491775Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8401da4f-d782-4c54-9c4a-ac08d633a3f5 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.460705Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c61ae274-0cd1-4ccb-95f3-251b1ec31bab · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.405550Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ee001baf-dda4-4904-97b2-92b614ce797d · outbound

This paper cites Sime, Thomas R.

Grounded Language Design for Lightweight Diagramming for Formal Methods Sime, Thomas R

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:36:53.264977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 734aeb3e-dbf3-4c8d-a503-1023c9af6fcb · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.200787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 79e6db3d-8566-455d-a5b7-98710b908487 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.145858Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 1aca6569-56a3-4478-a1a6-9b03c6dea76e · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.104756Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation aaaf3635-3ebc-4248-aa9b-6fc767b73224 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.053216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2713e32f-cf7f-4cae-a6f1-6823ef4c905f · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:53.030152Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 865ace27-5420-4bed-b021-3d7fc0ca6012 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:52.990890Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 31d210f9-162a-46f3-adb9-4a627b78e78f · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 44

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:52.906008Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4a32e455-a059-415e-9a91-39e33357d3c2 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:52.823501Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 12571457-8ef4-4133-bc3c-800b0535b178 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:52.780248Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c054cf7b-d3d2-41e1-98ec-6d6946a22631 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-11T22:36:52.037989Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5970fa80-f6c3-4a45-a3cc-0876e935962b · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:52.754262Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 87be615b-1673-45a3-aa9a-f4cf1357448b · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 49

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:52.717241Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 763f5f58-3952-427e-98b3-f7a16c00a704 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 50

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:36:52.596178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b8a3c1d2-3316-4a23-91d5-668ab4114419 · outbound

This paper cites an unresolved cited work.

Grounded Language Design for Lightweight Diagramming for Formal Methods Unresolved cited work

Reference 641

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T22:36:52.502942Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 795c07d4-256a-4b52-9220-1055a57f1887 · outbound

This paper cites Genome research 13, 11 (2003), 2498–2504.

Grounded Language Design for Lightweight Diagramming for Formal Methods Genome research 13, 11 (2003), 2498–2504

Reference 2003

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:36:53.337126Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Pith citing papers

No inbound Pith citation observations are available.