Paper Citation Record · LEDGER

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions

As of 23 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 3 inbound Pith citation observations for arXiv:2506.12202.

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

pith.paper-citation-record.v1
2506.12202 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T01:03:33.901660Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T21:31:20.772620Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-20T12:53:17.529583Z

Reference resolution

32 of 32 outbound references displayed

verified exact0
verified fuzzy16
unresolved16
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1158a209-9b7b-44af-84d9-7ded95ad8abf · outbound

This paper cites Andriushchenko, A.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Andriushchenko, A

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:40.013758Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 20636faf-eaed-4f0e-ad04-324b11662c34 · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-07T01:03:39.821928Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ee6c6d64-9ba4-41d6-9cc5-42ac0ec69097 · outbound

This paper cites Claude’s extended thinking, 2025.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Claude’s extended thinking, 2025

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:39.594176Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 43c1bbcc-8d10-4742-a468-38ddb57badd3 · outbound

This paper cites Debenedetti, I.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Debenedetti, I

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:39.387876Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 89e147df-47e7-48b5-8558-bf087286fefe · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-07T01:03:39.202361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation fe49b19a-eca4-4772-a5f4-3bebde55dcb6 · outbound

This paper cites Huang, J.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Huang, J

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:39.005834Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 4091ec23-a3a5-402a-889b-07ea30692066 · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T01:03:38.783080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 78380966-8197-461e-a998-853741d2730b · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T01:03:38.602483Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b0cc3bf8-8339-4a38-9f45-7e96f52acf70 · outbound

This paper cites Karpukhin, B.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Karpukhin, B

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:38.363441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c6a26699-978d-4a9f-b09c-a8c93e429ddb · outbound

This paper cites Lewis, E.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Lewis, E

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:38.128315Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation da4d3177-3651-4a02-97a4-d58eb119db9c · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-07T01:03:37.913278Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 5cc8c8ef-0407-43e8-aed4-d5b3bf2df05b · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-07T01:03:37.714471Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 04875a88-640c-4a14-a4b2-ee7ba16a2dd8 · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-07T01:03:37.480295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a77ade3e-a5e4-4ebe-a792-252389c46410 · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-07T01:03:37.238405Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 49763d55-3e82-42e1-bda4-16721364050c · outbound

This paper cites Maharana, D.-H.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Maharana, D.-H

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:37.031082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c0a1e6c2-4a79-44fa-a0b2-0fe87a572e4f · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-07T01:03:36.830099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f1847c1a-8837-48e7-88c5-31ed7fae4818 · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-07T01:03:36.641775Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 75b271f3-b787-463b-ae48-86ba50c454ae · outbound

This paper cites Ramalingam, S.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Ramalingam, S

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:36.432321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 9e3b0a3c-61b5-421f-9d2e-67fac5f185df · outbound

This paper cites Sandhu and P.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Sandhu and P

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:36.243672Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8b955624-05b7-4832-909a-a3b28438834d · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-07T01:03:36.037066Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 2d427691-0028-4f58-b9f6-e731e86ed05d · outbound

This paper cites Shypula, S.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Shypula, S

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:35.872787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 83701b60-4ae6-4978-9e75-abfaaf5b12b2 · outbound

This paper cites Shypula, A.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Shypula, A

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:35.670499Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 1087cabc-f193-40b9-99b9-69b90785d810 · outbound

This paper cites Surís, S.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Surís, S

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:35.516679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 73d02c43-4b08-485e-85a5-ffed2eb86e95 · outbound

This paper cites Trivedi, T.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Trivedi, T

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:35.388502Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7dca9499-0530-4b89-a2f0-bce9f64906d8 · outbound

This paper cites V ovk, A.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions V ovk, A

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:35.200348Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation bcd7aec9-0eb7-4f75-9d9e-68fa839fbb22 · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-07T01:03:34.919756Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c9c6ef6c-9dd1-49b4-b393-f757679231b9 · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T01:03:33.344394Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 791224d7-22a7-4f55-9135-e93348f88d39 · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-07T01:03:34.744039Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0ca43286-d3a7-4052-b901-d1944ae729ef · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T01:03:33.616024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ed346a9-d0a8-43a1-bed8-eff74befe6d5 · outbound

This paper cites an unresolved cited work.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T01:03:33.704587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dde135ec-53c3-44db-bd31-ddf8f2dc1d6e · outbound

This paper cites Zhang, S.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions Zhang, S

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:34.427947Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 47e77c39-7a98-4aac-b336-9d9355ca2cd1 · outbound

This paper cites alias” removes a statement y←x , replacing it with nothing, but renaming all occurences of y in the program to x; “proj.

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions alias” removes a statement y←x , replacing it with nothing, but renaming all occurences of y in the program to x; “proj

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T01:03:34.125559Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Pith citing papers

Observation 114fd826-5bd1-4f17-af22-c9476deabf01 · inbound

The LLMbda Calculus: AI Agents, Conversations, and Information Flow cites this paper.

The LLMbda Calculus: AI Agents, Conversations, and Information Flow A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T21:31:20.772620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0792b28b-4555-4678-9bc7-1dae10e198f0 · inbound

Beyond Human-Readable: Rethinking Software Engineering Conventions for the Agentic Development Era cites this paper.

Beyond Human-Readable: Rethinking Software Engineering Conventions for the Agentic Development Era A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-11T07:26:02.756668Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 363f0df9-a52a-4bd7-96c8-33a6a86b7a8e · inbound

Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models cites this paper.

Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions

Reference 64

Resolution: verified exact; arxiv_id, observed 2026-05-20T12:53:17.531712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.