Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-03T05:49:14.868396Z
Paper Citation Record · LEDGER
Securing People and their Machines Against Major Faults
As of 10 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 1 inbound Pith citation observation for arXiv:2607.02304.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-01T08:19:35.473801Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
20 of 20 outbound references displayed
- verified exact0
- verified fuzzy9
- unresolved11
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 2a4ac3bb-84c7-47f1-b1fe-b36c627e4d88 · outbound
This paper cites an unresolved cited work.
Securing People and their Machines Against Major Faults Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-07-05T13:21:07.880474Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation d74bdd96-4935-4654-96e8-9953daac419c · outbound
This paper cites an unresolved cited work.
Securing People and their Machines Against Major Faults Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-07-05T13:21:07.885060Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation fd20cbef-ddb6-4422-ba82-b2ed034d79b2 · outbound
This paper cites correct run.
Securing People and their Machines Against Major Faults correct run
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T13:21:07.849813Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 331beda7-def3-4ecd-8194-d8f49aa9904a · outbound
This paper cites For a computationr′= c′ 1→c′ 2→···of TS′, σ(r′)is the computation σ(c′ 1)→σ(c′ 2)→···with everystutter transition c→cremoved.
Securing People and their Machines Against Major Faults For a computationr′= c′ 1→c′ 2→···of TS′, σ(r′)is the computation σ(c′ 1)→σ(c′ 2)→···with everystutter transition c→cremoved
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T13:21:07.861380Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation ec74f1a6-2320-4e53-a0a0-3b73b082f439 · outbound
This paper cites no connection has ever been made.
Securing People and their Machines Against Major Faults no connection has ever been made
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T13:21:07.838393Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 7e45231a-97af-4344-9b1a-4549468e53c3 · outbound
This paper cites an unresolved cited work.
Securing People and their Machines Against Major Faults Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-07-05T13:21:07.829546Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 0b48cc64-66fe-4d5c-8b81-3536729114ae · outbound
This paper cites an unresolved cited work.
Securing People and their Machines Against Major Faults Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-07-05T13:21:07.815127Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 2caf429a-ef4f-4902-9644-83e339a51c2e · outbound
This paper cites an unresolved cited work.
Securing People and their Machines Against Major Faults Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-07-05T13:21:07.833329Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation bfa709b8-bc49-4875-b018-d202f4009eb2 · outbound
This paper cites an unresolved cited work.
Securing People and their Machines Against Major Faults Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-07-05T13:21:07.842105Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation f5bf47ab-f26d-457c-bb34-35778f16e801 · outbound
This paper cites Participants{p}∪S.
Securing People and their Machines Against Major Faults Participants{p}∪S
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T13:21:07.845080Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 8a24a90f-64a2-40d5-9778-7b2c19d97078 · outbound
This paper cites For each r∈Sp: Lr′ p := L′ p.
Securing People and their Machines Against Major Faults For each r∈Sp: Lr′ p := L′ p
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T13:21:07.853329Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation d819fe34-92e4-4d87-b30c-b94fbbdde31a · outbound
This paper cites B′ q := Bq\x, B′ r := Br∪x, L′ s := Ls·[pay(q,r,x )].
Securing People and their Machines Against Major Faults B′ q := Bq\x, B′ r := Br∪x, L′ s := Ls·[pay(q,r,x )]
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T13:21:07.889469Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation caf2e64f-49bc-4508-af4b-200b3a014c8d · outbound
This paper cites B′ q := (Bq\{¢s})∪{¢r,t}, B′ s := (Bs\ {¢r,t})∪{¢s}, L′ s :=Ls·[redeem(q,¢ s,¢ r,t)].
Securing People and their Machines Against Major Faults B′ q := (Bq\{¢s})∪{¢r,t}, B′ s := (Bs\ {¢r,t})∪{¢s}, L′ s :=Ls·[redeem(q,¢ s,¢ r,t)]
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T13:21:07.868762Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 32d43364-1ae4-4707-a7d3-b4cae2ed04e1 · outbound
This paper cites both odd, so equal.
Securing People and their Machines Against Major Faults both odd, so equal
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T13:21:07.872382Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation e1880a0c-a463-4f62-b2c3-46516e27b5a9 · outbound
This paper cites Proof.Without loss of generalitypdoes not want to befriendqat any time≥t.
Securing People and their Machines Against Major Faults Proof.Without loss of generalitypdoes not want to befriendqat any time≥t
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T13:21:07.876647Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 7b65810a-8659-4b25-8ad5-775710ac0499 · outbound
This paper cites an unresolved cited work.
Securing People and their Machines Against Major Faults Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-07-05T13:21:07.824265Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation fe727abe-560a-4e60-a797-36536e25646e · outbound
This paper cites an unresolved cited work.
Securing People and their Machines Against Major Faults Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-07-05T13:21:07.817778Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 020547ad-0cac-4774-a8b5-5920806b6e82 · outbound
This paper cites an unresolved cited work.
Securing People and their Machines Against Major Faults Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-07-05T13:21:07.820836Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 8b28b8a4-3885-4bad-8b54-a6971faf417b · outbound
This paper cites an unresolved cited work.
Securing People and their Machines Against Major Faults Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-07-05T13:21:07.856915Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation c1242761-ae8b-49c3-8f6e-62ae52faef47 · outbound
This paper cites an unresolved cited work.
Securing People and their Machines Against Major Faults Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-07-05T13:21:07.864954Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Pith citing papers
Observation e508cdee-a353-45b3-a377-65dd1067a6f0 · inbound
GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI cites this paper.
GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI Securing People and their Machines Against Major Faults
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:35.473801Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.