Ishaan Ghosh

Keeping Score: what a year of recording our own defects taught us about evidence for automated decisions

An operator applying serious effort to checking his own work, with tooling built for the purpose, found fewer than half of his own defects without help. This paper reports that record: ninety-five numbered items over a year, a taxonomy of ten species of defect, and the share foun...

Execution Coverage Reconciliation: measuring the ungoverned surface when absence of bypass cannot be proved from inside

A governance gate that commits a hash-chained receipt in the same transaction as its determination binds determination to evidence, but binds nothing to effect: the transition occurring in the world is a separate event on a separate system the governing runtime cannot observe. Ab...

Execution Coverage Reconciliation: measuring the ungoverned surface when absence of bypass cannot be proved from inside

A governance gate that commits a hash-chained receipt in the same transaction as its determination binds determination to evidence, but binds nothing to effect: the transition occurring in the world is a separate event on a separate system the governing runtime cannot observe. Ab...