inferenceproof code

No ingested source sits in a crate named for inferenceproof. Either its crate has not been ingested, or the app's name does not match its crate.