100644 blob c418b3cdd9e39c7b87a04cad5431490d15b0fe6d	all-tests.sh
100644 blob bfd6e0253ef8bfea65944957b6b955565d3763aa	design-overview.txt
100644 blob cb0d25db1747dedf3e03130ddfdadb8570891af4	detection.txt
100644 blob 27828e0134b1f3955648cd49c7466ec99e014006	requirements.txt
100644 blob 4a230f6c1e6be5a1ce2a6f91791d67b33ea53815	resolution.txt
100644 blob dcf2ccbc8598e9bd138c5bd039b596c1f0b291de	scratch-pad.txt
100644 blob fa4af12d6e82ea0946028208eb0569652248d6cf	use-cases-resolution.txt
100644 blob ccfe681f585fb99264ead3634cb07aefc48ac7d5	use-cases.txt