%% common/starship.bib — shared bibliography for all three formal volumes
%% SOURCE: docs/working/papers/SSRN_companion/Math_Companion_SSRN.tex (cite keys)
%%         docs/patent/main.tex (patent reference)
%% TODO(bob): verify SSRN URL, DOI, and patent filing details

@article{james:2025:ssrn,
  author  = {James, Robert A.},
  title   = {Steady-State Convergence of an Adaptive Runtime Under
             Physics-Inspired Feedback Control},
  journal = {SSRN Electronic Journal},
  year    = {2025},
  note    = {Available at \url{papers/James_Steady-State_Convergence_Adaptive_Runtime.pdf}},
  %% TODO(bob): add official SSRN URL / DOI when known
}

@misc{james:2025:patent,
  author  = {James, Robert A.},
  title   = {Physics-Driven Adaptive Runtime for {FORTH} Virtual Machines
             ({StarForth})},
  howpublished = {Provisional Patent Application (USPTO)},
  year    = {2025},
  note    = {Patent pending. See \texttt{docs/patent/main.tex}.},
  %% TODO(bob): add USPTO application number once assigned
}

@misc{james:2025:lithos,
  author  = {James, Robert A.},
  title   = {{LithosAnanke} v1.0.8: Bare-Metal {UEFI} Kernel for
             {StarshipOS}},
  howpublished = {Technical Report},
  year    = {2025},
  note    = {See \texttt{.claude/CLAUDE.md} for milestone status.},
  %% TODO(bob): assign version tag / release date
}

@misc{james:2025:proof:base,
  author  = {James, Robert A.},
  title   = {{StarForth} Formal Proofs in {Isabelle/HOL}: Base Definitions},
  howpublished = {Theory file \texttt{proof/StarForth\_Base.thy}},
  year    = {2025},
}

@misc{james:2025:proof:loop1,
  author  = {James, Robert A.},
  title   = {Execution Heat Tracking ({Loop~\#1})},
  howpublished = {Theory file \texttt{proof/StarForth\_Loop1\_Heat.thy}},
  year    = {2025},
}

@misc{james:2025:proof:correctness,
  author  = {James, Robert A.},
  title   = {Overall Correctness of {StarForth} Adaptive Runtime},
  howpublished = {Theory file \texttt{proof/StarForth\_Correctness.thy}},
  year    = {2025},
}

@misc{james:2025:proof:acl,
  author  = {James, Robert A.},
  title   = {Word-Level {ACL} Monotonicity and Safety},
  howpublished = {Theory files \texttt{proof/ACL\_Pin\_Monotone.thy} et~al.},
  year    = {2025},
}