Paper Citation Record · LEDGER

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes

As of 16 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 1 inbound Pith citation observation for arXiv:2605.00424.

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

pith.paper-citation-record.v1
2605.00424 v2

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-19T18:25:12.407203Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-01T13:50:22.916158Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

32 of 32 outbound references displayed

verified exact7
verified fuzzy3
unresolved20
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a96d1dfb-0c39-4560-bd1d-642b851dd4c3 · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.491050Z

Source-reported events for the cited work

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

Observation 4d095c21-6450-47e0-8318-9311b3d78228 · outbound

This paper cites Elliott Bell and Leonard J.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Elliott Bell and Leonard J

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:27:43.492939Z

Source-reported events for the cited work

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

Observation 4cb42222-23cf-4bc4-9c4f-a5383ddee5ce · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.507131Z

Source-reported events for the cited work

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

Observation 618522f0-1760-42c8-8725-ec68b48f745f · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.500796Z

Source-reported events for the cited work

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

Observation 7b9c03a0-7c98-4444-9276-0fadbb041c66 · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.502631Z

Source-reported events for the cited work

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

Observation 32b2c764-0673-469a-a429-004a643bba15 · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.497011Z

Source-reported events for the cited work

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

Observation c51a6c60-3cc1-4a0c-91e9-ce644d31c986 · outbound

This paper cites Towards verifiably safe tool use for llm agents.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Towards verifiably safe tool use for llm agents

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-19T18:27:42.998898Z

Source-reported events for the cited work

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

Observation 367d1faf-cb32-4cf9-8e0f-b7d22d462adc · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.494892Z

Source-reported events for the cited work

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

Observation 1e1bf7ab-bc14-42c0-a7cb-d16da1ae260d · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.498947Z

Source-reported events for the cited work

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

Observation 8e52b0ba-f9e8-4d81-96a3-264ab652493d · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.505094Z

Source-reported events for the cited work

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

Observation 2d9bc48f-b405-4c00-826c-2182c42d9350 · outbound

This paper cites Skillprobe: Security auditing for emerging agent skill marketplaces via multi-agent collaboration.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Skillprobe: Security auditing for emerging agent skill marketplaces via multi-agent collaboration

Reference 11

Resolution: metadata mismatch; arxiv_id, observed 2026-05-19T18:27:42.993138Z

Source-reported events for the cited work

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

Observation a081bf2d-6945-49c4-ab14-9c01a6539b03 · outbound

This paper cites Llama Guard: LLM-based Input-Output Safeguard for Human-AI Conversations.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Llama Guard: LLM-based Input-Output Safeguard for Human-AI Conversations

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-05-19T18:27:42.995914Z

Source-reported events for the cited work

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

Observation 56cb5cad-1bd6-42bb-a61f-9184fdcd4661 · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.509151Z

Source-reported events for the cited work

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

Observation 8537b4d8-276d-4d8d-899e-2c1d1f0522ab · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.473785Z

Source-reported events for the cited work

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

Observation e2009367-6706-4dbe-9d52-0139dfce57b1 · outbound

This paper cites Towards Secure Agent Skills: Architecture, Threat Taxonomy, and Security Analysis.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Towards Secure Agent Skills: Architecture, Threat Taxonomy, and Security Analysis

Reference 15

Resolution: verified exact; local_arxiv, observed 2026-05-19T18:27:43.001524Z

Source-reported events for the cited work

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

Observation 89cbe1eb-d59e-46ca-8f95-d875b6990b0f · outbound

This paper cites SafeAgent: A Runtime Protection Architecture for Agentic Systems.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes SafeAgent: A Runtime Protection Architecture for Agentic Systems

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-05-19T18:27:43.004372Z

Source-reported events for the cited work

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

Observation 89b5a4d9-759b-417e-a404-139180a07c71 · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.469949Z

Source-reported events for the cited work

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

Observation 143c0a1e-c188-497a-8d3b-f4b93b18d859 · outbound

This paper cites enclawed: A Configurable, Sector-Neutral Hardening Framework for Single-User AI Assistant Gateways.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes enclawed: A Configurable, Sector-Neutral Hardening Framework for Single-User AI Assistant Gateways

Reference 18

Resolution: verified exact; local_arxiv, observed 2026-05-19T18:27:43.010587Z

Source-reported events for the cited work

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

Observation c56df36e-f278-4d20-90a9-38e0392c3c73 · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.476192Z

Source-reported events for the cited work

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

Observation c2714cc2-9aef-41be-8bc5-6250898b665a · outbound

This paper cites Miller, Ka-Ping Yee, and Jonathan S.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Miller, Ka-Ping Yee, and Jonathan S

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:27:43.466233Z

Source-reported events for the cited work

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

Observation 76ee1765-b75d-459e-9825-0cb4d264464c · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.468134Z

Source-reported events for the cited work

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

Observation 27dec2d8-a8eb-4eaf-a50a-34e09865bcb2 · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.464321Z

Source-reported events for the cited work

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

Observation b4feee6c-d840-4990-ae5d-cb169f8e65be · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.478335Z

Source-reported events for the cited work

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

Observation 4b363d70-288b-4fa3-9c9f-c6b5c975f041 · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.471857Z

Source-reported events for the cited work

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

Observation 6283fb24-0e18-449e-b9d2-6e83fe5f71dc · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.482827Z

Source-reported events for the cited work

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

Observation 0e04082c-26f7-406b-a7ce-aba38f9dfb45 · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.480626Z

Source-reported events for the cited work

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

Observation a861f6e5-5e46-4d5b-9e8d-ff48d25080ac · outbound

This paper cites AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents

Reference 27

Resolution: metadata mismatch; local_arxiv, observed 2026-05-19T18:27:43.016868Z

Source-reported events for the cited work

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

Observation 67af8c88-0ee5-4dec-8b3a-657917f48c92 · outbound

This paper cites Agent Skills for Large Language Models: Architecture, Acquisition, Security, and the Path Forward.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Agent Skills for Large Language Models: Architecture, Acquisition, Security, and the Path Forward

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-05-19T18:27:43.013698Z

Source-reported events for the cited work

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

Observation 96117784-2d27-4461-b7f0-1d0f7a264265 · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.487124Z

Source-reported events for the cited work

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

Observation 02d91955-d03a-470d-b8b9-d198e3c9c429 · outbound

This paper cites InProceedings of the 33rd USENIX Security Symposium.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes InProceedings of the 33rd USENIX Security Symposium

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:27:43.489288Z

Source-reported events for the cited work

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

Observation f338fd46-cb9f-4ea7-8d76-b6718b71c604 · outbound

This paper cites an unresolved cited work.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:27:43.485094Z

Source-reported events for the cited work

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

Observation fe3c3664-c480-4d42-b6c2-57b112b72c48 · outbound

This paper cites Weak-to-Strong Jailbreaking on Large Language Models.

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes Weak-to-Strong Jailbreaking on Large Language Models

Reference 32

Resolution: verified exact; arxiv_id, observed 2026-05-19T18:27:43.007360Z

Source-reported events for the cited work

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

Pith citing papers

Observation e46897ee-c483-49ab-a269-711a7bbd8283 · inbound

Skillware: A Software Ontology and Engineering Lifecycle for Persistent Behavioral Artifacts cites this paper.

Skillware: A Software Ontology and Engineering Lifecycle for Persistent Behavioral Artifacts Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T13:50:22.916158Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.