Issues

• Design: an epistemology as a first-class, named thing an argument uses

  enhancement
  testimonyproject/testimony#224 · Filter by author deanberris opened on Nov 13, 2026

• [Encoding] Sola fide: Paul's-word line carries what it delivers in its forensic premise

  encoding-review
  testimonyproject/testimony#223 · Filter by author deanberris opened on Nov 13, 2026

• The Triune God: publishing — register the argument and the article, and write up what LST's grades turned out to be

  documentationenhancement
  testimonyproject/testimony#220 · Filter by author deanberris opened on Nov 12, 2026

• The Triune God: implementation — four lines, the rival packages, and LST's graded claims checked

  enhancementlean
  testimonyproject/testimony#219 · Filter by author deanberris opened on Nov 12, 2026

• The Triune God: preparation — bibliography entries and the atom/line design

  enhancement
  testimonyproject/testimony#218 · Filter by author deanberris opened on Nov 12, 2026

• The Triune God: research — the hinge, the rivals and the expected verdict for each of the four questions

  enhancement
  testimonyproject/testimony#217 · Filter by author deanberris opened on Nov 12, 2026

• The Triune God — encode Living Systematic Theology §3: what Scripture settles about the Trinity, and what it leaves open

  enhancementroadmap
  testimonyproject/testimony#216 · Filter by author deanberris opened on Nov 12, 2026

• Engine: the kernel checks certificates instead of searching

  testimonyproject/testimony#183 · Filter by author deanberris opened on Oct 30, 2026

• Engine: the kernel replay's peak is set by its heaviest module

  testimonyproject/testimony#182 · Filter by author deanberris opened on Oct 30, 2026

• Engine: profile the slowest modules of the arguments' build

  testimonyproject/testimony#181 · Filter by author deanberris opened on Oct 30, 2026

• Engine: every satisfiability check propagates from nothing

  testimonyproject/testimony#179 · Filter by author deanberris opened on Oct 30, 2026

• Engine: the AIF check runs the engine in Lean's interpreter

  testimonyproject/testimony#178 · Filter by author deanberris opened on Oct 30, 2026

• Optimise the engine to a fixed point

  testimonyproject/testimony#176 · Filter by author deanberris opened on Oct 30, 2026

• LaTeX: set theorem statements in logical notation, not verbatim Lean

  testimonyproject/testimony#174 · Filter by author deanberris opened on Oct 30, 2026

• Publish each argument as its own PDF, not only the whole book

  testimonyproject/testimony#173 · Filter by author deanberris opened on Oct 30, 2026

• Generated PDF: credit each argument's contributors, derived from git history

  testimonyproject/testimony#172 · Filter by author deanberris opened on Oct 30, 2026

• Name the fallacies a cited reader commits, so a dissent that rests on one stops counting

  testimonyproject/testimony#168 · Filter by author deanberris opened on Oct 28, 2026

• CanonicalWitness's legend gives P₂₈ Trent's reading, so its pages say Trent denies himself

  testimonyproject/testimony#163 · Filter by author deanberris opened on Oct 16, 2026

• A general meaning vocabulary, taken from a standard top-level ontology rather than crafted

  testimonyproject/testimony#157 · Filter by author deanberris opened on Oct 14, 2026

• Guide, second example: a witness who contradicts himself — Col. Jessup in A Few Good Men

  documentation
  testimonyproject/testimony#156 · Filter by author deanberris opened on Oct 14, 2026

• Design: meaning postulates for every argument, not only sola fide

  enhancementroadmap
  testimonyproject/testimony#144 · Filter by author deanberris opened on Oct 4, 2026

• Computed ratings: render an article's assessments, so "disagreement, not critique" reaches a page

  documentationenhancement
  testimonyproject/testimony#141 · Filter by author deanberris opened on Oct 3, 2026

• Computed ratings, phase three: survival and preferences as arguments (extended argumentation frameworks)

  enhancementroadmap
  testimonyproject/testimony#140 · Filter by author deanberris opened on Oct 3, 2026

• Computed ratings: registers for the remaining load-bearing steps, starting with James's faith

  enhancementsola
  testimonyproject/testimony#139 · Filter by author deanberris opened on Oct 3, 2026

• Computed ratings: split Source.confidence into support and register, and lint the steelman rule

  enhancement
  testimonyproject/testimony#137 · Filter by author deanberris opened on Oct 3, 2026