Issues

• 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

• Computed ratings, phase two: weigh computed ratings in every dispute, under each standard

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

• Design: computed ratings — a dissent counts only if it is a credible critique

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

• Mark 7 and Trent: the same structure of claim, before Rome existed — an argument by parallel

  testimonyproject/testimony#130 · Filter by author deanberris opened on Oct 2, 2026

• Release process: ship the argumentation core and the arguments as two packages

  testimonyproject/testimony#124 · Filter by author deanberris opened on Sep 27, 2026

• Sola fide: the Old Testament and Septuagint background of "justify" — a third route to Paul's word, and "just and justifier"

  testimonyproject/testimony#123 · Filter by author deanberris opened on Sep 27, 2026

• Sola fide: encode Gathercole's position faithfully — denial or qualification of covenantal nomism, and what it bears on

  enhancement
  testimonyproject/testimony#116 · Filter by author deanberris opened on Sep 26, 2026

• Sola scriptura: encode the dispute, and measure its structure against sola fide's

  enhancement
  testimonyproject/testimony#110 · Filter by author deanberris opened on Sep 25, 2026