INNER CODE UNIT · Rust

inspection_exposes_the_full_receipt_payload

logannye/rosalind · crates/receipt-wasm/src/lib.rs:399

    fn inspection_exposes_the_full_receipt_payload() {
        let receipt = run_receipt("1000");
        let inspected = inspect_receipt(&receipt.to_canonical_json());
        for expected in [
            "\"integrity\":\"intact\"",
            "\"input_files\":[",
            "\"output_files\":[",
            "\"parameters\":{",
            "\"measurements\":{",
            "\"max_depth\":\"1000\"",
        ] {
            assert!(inspected.contains(expected), "missing {expected}: {inspected}");
        }
    }

    #[test]
    fn diff_and_reproduction_chain_are_exposed() {
        let first = run_receipt("1000");

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…