Paper Citation Record · LEDGER

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence

As of 10 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 2 inbound Pith citation observations for arXiv:2605.12981.

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

pith.paper-citation-record.v1
2605.12981 v3

Coverage vector

measured 51 of 51 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-20T22:02:23.717792Z

measured 53 of 53 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-01T21:24:13.217417Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-01T21:56:15.836253Z

Reference resolution

51 of 51 outbound references displayed

verified exact1
verified fuzzy39
unresolved9
parse uncertain2
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 823a6f6d-17db-4eaa-b0a2-ce6046ae035a · outbound

This paper cites an unresolved cited work.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Unresolved cited work

Reference 1

Resolution: parse uncertain; raw_fallback, observed 2026-05-20T22:03:48.363691Z

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 5fb5797b-8d43-4d92-9293-dd76d7620ba0 · outbound

This paper cites an unresolved cited work.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-05-20T22:03:48.383246Z

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 1a5cd3ef-af68-4241-b49b-4169754c5013 · outbound

This paper cites and Grumberg, Orna and Peled, Doron A.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence and Grumberg, Orna and Peled, Doron A

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.379754Z

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 fdbb446f-1f7c-4636-b599-14071a8c356f · outbound

This paper cites an unresolved cited work.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-05-20T22:03:48.398433Z

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 3e3c4240-8b82-4483-9502-ce1da66c5d86 · outbound

This paper cites ACM Transactions on Software Engineering and Methodology , volume =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence ACM Transactions on Software Engineering and Methodology , volume =

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.386577Z

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 2b5cf73a-86db-4582-ab95-33a442948cf1 · outbound

This paper cites an unresolved cited work.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-05-20T22:03:48.361264Z

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 149a6778-6454-4475-8d8a-d42b1ad54a70 · outbound

This paper cites Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming , pages =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming , pages =

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.367909Z

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 80ba4a53-c188-4525-b44d-62e43be81689 · outbound

This paper cites The Journal of Logic and Algebraic Programming , volume =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence The Journal of Logic and Algebraic Programming , volume =

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.395284Z

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 d7ed4284-c4ec-431b-8bb3-def88efc5bc2 · outbound

This paper cites An Overview of the Runtime Verification Tool Java PathExplorer , journal =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence An Overview of the Runtime Verification Tool Java PathExplorer , journal =

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.355459Z

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 cf7097b9-c902-4a7a-9f15-102439e465f0 · outbound

This paper cites 2020 , doi =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence 2020 , doi =

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.402146Z

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 3ae96829-b905-49bb-a904-9ea47a8abdf9 · outbound

This paper cites an unresolved cited work.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-05-20T22:03:48.383604Z

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 2d2153c1-8f44-4b3c-824e-39650602d598 · outbound

This paper cites an unresolved cited work.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-05-20T22:03:48.376158Z

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 d01adfdb-ee6b-45dc-9b54-e47ba3a86402 · outbound

This paper cites an unresolved cited work.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-05-20T22:03:48.372171Z

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 53a1a404-6b80-4939-9fb5-99cda4350cd5 · outbound

This paper cites an unresolved cited work.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-05-20T22:03:48.390666Z

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 bc4b6a21-e192-463f-bfff-7fd43381097c · outbound

This paper cites an unresolved cited work.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-05-20T22:03:48.368644Z

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 ce12e2a3-b62c-47b5-a6f4-c2f916d72e40 · outbound

This paper cites 28th USENIX Security Symposium , pages =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence 28th USENIX Security Symposium , pages =

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.233377Z

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 5a6d2f2d-e419-4a0b-941f-f2b96accddcd · outbound

This paper cites an unresolved cited work.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Unresolved cited work

Reference 17

Resolution: parse uncertain; raw_fallback, observed 2026-05-20T22:03:48.265738Z

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 a4104d1f-f49b-49dc-9d0a-9f28ac536543 · outbound

This paper cites an unresolved cited work.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-05-20T22:03:48.261453Z

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 1828ba48-faa4-4ad3-9780-a2e71cb7149b · outbound

This paper cites Middleware 2013 , series =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Middleware 2013 , series =

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.282397Z

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 deaf4440-c0b2-4595-aaf6-d85172ff0c92 · outbound

This paper cites 2021 , eprint =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence 2021 , eprint =

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.248178Z

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 eefbef65-3c54-4b2f-b479-0fdcfc5b9caa · outbound

This paper cites 2023 , eprint =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence 2023 , eprint =

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.261106Z

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 6bdae90b-8c38-4fc4-ba95-d48f37f2b07a · outbound

This paper cites and Yang, John and Wettig, Alexander and Yao, Shunyu and Pei, Kexin and Press, Ofir and Narasimhan, Karthik R.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence and Yang, John and Wettig, Alexander and Yao, Shunyu and Pei, Kexin and Press, Ofir and Narasimhan, Karthik R

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.298686Z

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 3d6473e6-522c-4e0e-afaf-10370c4b4e48 · outbound

This paper cites and Wettig, Alexander and Lieret, Kilian and Yao, Shunyu and Narasimhan, Karthik R.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence and Wettig, Alexander and Lieret, Kilian and Yao, Shunyu and Narasimhan, Karthik R

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.294801Z

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 b5bd72ce-7cc5-46f1-853f-3e52b02ddc8f · outbound

This paper cites 2024 , howpublished =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence 2024 , howpublished =

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.321023Z

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 26e7bb2f-b7d3-4875-85b3-f66f30ef87c0 · outbound

This paper cites 2017 , howpublished =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence 2017 , howpublished =

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.303962Z

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 683486d3-b772-4ea2-a020-556b0fee6cde · outbound

This paper cites 2025 , howpublished =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence 2025 , howpublished =

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.289720Z

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 912c33ca-bd4e-47a7-a6d0-2a6b0c796f9b · outbound

This paper cites 2026 , note =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence 2026 , note =

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.337171Z

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 2564e754-c4b4-496c-a16d-6f6e4f315634 · outbound

This paper cites and Felleisen, Matthias , title =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence and Felleisen, Matthias , title =

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.285849Z

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 a83265c5-f3da-40ea-afcc-f01f9bdbc926 · outbound

This paper cites Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation , pages =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation , pages =

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.289981Z

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 8aa7d7e9-1c22-4583-af8a-7a28f95b885c · outbound

This paper cites Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation , pages =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation , pages =

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.237113Z

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 f6f260ad-38a1-4b25-b369-d68aba3e42b4 · outbound

This paper cites and Jhala, Ranjit and Vytiniotis, Dimitrios and Peyton Jones, Simon L.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence and Jhala, Ranjit and Vytiniotis, Dimitrios and Peyton Jones, Simon L

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.229243Z

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 590df2a5-878c-4cd8-af8f-05860c1a374f · outbound

This paper cites Proceedings of the ACM on Programming Languages , volume =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Proceedings of the ACM on Programming Languages , volume =

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.286195Z

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 701c4127-4477-40ce-aa02-1e68b8868d42 · outbound

This paper cites Dependent Types and Multi-Monadic Effects in.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Dependent Types and Multi-Monadic Effects in

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.228153Z

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 49f3a32e-0877-48e7-aa82-5a718849386d · outbound

This paper cites Rustan M.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Rustan M

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.265404Z

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 cde11e47-d5da-4398-8077-f4a867a57898 · outbound

This paper cites Proceedings of the ACM on Programming Languages , volume =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Proceedings of the ACM on Programming Languages , volume =

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.333376Z

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 d8746dca-fcff-4af0-a133-cca15e9eb97b · outbound

This paper cites title =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence title =

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.273342Z

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 8dde72cb-98b9-4710-9d1f-bf531dc0b8ec · outbound

This paper cites title =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence title =

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.253412Z

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 3264ed03-6703-4536-a982-a266d18d9010 · outbound

This paper cites Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus , journal =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus , journal =

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.217001Z

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 96e6f873-ddbc-4f5e-8753-ecb7ae94412b · outbound

This paper cites 2025 , eprint =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence 2025 , eprint =

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.325092Z

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 b898e74d-ea90-41e1-af2a-d9862b7ff142 · outbound

This paper cites Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering , pages =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering , pages =

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.313020Z

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 9ddc717f-3b43-42cb-96f6-e0ea74275c63 · outbound

This paper cites Communication, Simulation, and Intelligent Agents: Implications of Personal Intelligent Machines for Medical Education.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Communication, Simulation, and Intelligent Agents: Implications of Personal Intelligent Machines for Medical Education

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.306418Z

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 ec734b12-ada6-4427-b2c2-f0780c6c1ec5 · outbound

This paper cites Classification Problem Solving.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Classification Problem Solving

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.342336Z

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 652c0d90-24dd-4cc2-8593-7c6ea1229cdd · outbound

This paper cites title =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence title =

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.320655Z

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 63dc3169-8a7f-4dfb-8833-86233487f899 · outbound

This paper cites New Ways to Make Microcircuits Smaller---Duplicate Entry.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence New Ways to Make Microcircuits Smaller---Duplicate Entry

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.329293Z

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 4e39bdbe-b406-47f4-afbf-4f87868ca39a · outbound

This paper cites Clancey and Glenn Rennels , abstract =.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Clancey and Glenn Rennels , abstract =

Reference 45

Resolution: verified exact; doi, observed 2026-05-20T22:03:46.988330Z

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 3671640f-bba3-445b-b2c3-3adcc6a6beab · outbound

This paper cites and Rennels, Glenn R.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence and Rennels, Glenn R

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.324750Z

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 740fe0eb-5126-4459-9138-b8901ec812f1 · outbound

This paper cites Poligon: A System for Parallel Problem Solving.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Poligon: A System for Parallel Problem Solving

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.207783Z

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 cde2638e-21f7-4cdc-94c9-77dc4803f0ef · outbound

This paper cites Transfer of Rule-Based Expertise through a Tutorial Dialogue.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Transfer of Rule-Based Expertise through a Tutorial Dialogue

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.312168Z

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 ef3f9e59-7b88-4cb8-8e7e-157965c5219c · outbound

This paper cites The Engineering of Qualitative Models.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence The Engineering of Qualitative Models

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.316644Z

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 03635b75-21ec-43e0-a004-4faf43af814a · outbound

This paper cites 2017 , eprint=.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence 2017 , eprint=

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.310019Z

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 83cfce62-77f2-494b-b739-2d031617fa92 · outbound

This paper cites Pluto: The 'Other' Red Planet.

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Pluto: The 'Other' Red Planet

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T22:03:48.198541Z

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 ab4e811e-6af2-47a4-98a7-50a5af94ae46 · inbound

Post-Deterministic Distributed Systems: A New Foundation for Trustworthy Autonomous Infrastructure cites this paper.

Post-Deterministic Distributed Systems: A New Foundation for Trustworthy Autonomous Infrastructure Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-07-01T21:56:15.837479Z

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 800ab37d-4f8f-484e-aeaa-3517275537a4 · inbound

The Honest Quorum Problem: Epistemic Byzantine Fault Tolerance for Agentic Infrastructure cites this paper.

The Honest Quorum Problem: Epistemic Byzantine Fault Tolerance for Agentic Infrastructure Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T21:24:13.217417Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.