Depends on #30, since that changes the structure of the header cells.
It's hard to be sure that the checks and x's keep matching their column headers as the threat-model tables change, since they're far apart in the source, so this script emits console.errors when the local declaration of the goal doesn't match the reader-visible column header.
@tabatkins, FYI in case you see an easy way to surface these errors more visibly or, even better, during the Bikeshed build.
Depends on #30, since that changes the structure of the header cells.
It's hard to be sure that the checks and x's keep matching their column headers as the threat-model tables change, since they're far apart in the source, so this script emits
console.error
s when the local declaration of the goal doesn't match the reader-visible column header.@tabatkins, FYI in case you see an easy way to surface these errors more visibly or, even better, during the Bikeshed build.
Preview | Diff