When applying decisions, the database updates matching parametric claims by setting the grounded flag and assigning a verdict of correct or incorrect while leaving any pre-existing human verdict untouched, inserts a new record carrying a gap verdict marked as non-parametric for novel findings, and appends supporting evidence to the claim-sources store.