{"status": "passed", "sage_version": "10.8", "checks_passed": 228, "checks": ["uniform:3:t=1/100:fixed model", "uniform:3:t=1/100:interface metadata", "uniform:3:t=1/100:p continuity", "uniform:3:t=1/100:z continuity", "uniform:3:t=1/100:stream normal continuity", "uniform:3:t=1/100:admissible", "uniform:3:t=1/100:wall primitive continuity", "uniform:3:t=1/100:mass lifting:q0", "uniform:3:t=1/100:stream identity:q0", "uniform:3:t=1/100:jump negative control:q0", "uniform:3:t=1/100:mass lifting:q1", "uniform:3:t=1/100:stream identity:q1", "uniform:3:t=1/100:jump negative control:q1", "uniform:3:t=1/100:mass", "uniform:3:t=1/100:H exact", "uniform:3:t=1/100:eta exact", "uniform:3:t=1/100:components", "uniform:3:t=1/100:components nonnegative", "uniform:3:t=1/100:coercive query", "uniform:3:t=1/100:gap", "uniform:3:t=1/100:D certificate", "uniform:3:t=1/100:mass error", "uniform:3:t=1/100:mass triangle upper", "uniform:3:t=1/100:mass triangle lower", "uniform:3:t=1/100:F interval", "uniform:3:t=1/100:F prime", "uniform:3:t=1/100:residue", "uniform:3:t=1/100:zeta", "uniform:3:t=1/100:kappa", "uniform:3:t=1/100:positive matching", "triangular:3:t=1/100:fixed model", "triangular:3:t=1/100:interface metadata", "triangular:3:t=1/100:p continuity", "triangular:3:t=1/100:z continuity", "triangular:3:t=1/100:stream normal continuity", "triangular:3:t=1/100:admissible", "triangular:3:t=1/100:wall primitive continuity", "triangular:3:t=1/100:mass lifting:q0", "triangular:3:t=1/100:stream identity:q0", "triangular:3:t=1/100:jump negative control:q0", "triangular:3:t=1/100:mass lifting:q1", "triangular:3:t=1/100:stream identity:q1", "triangular:3:t=1/100:jump negative control:q1", "triangular:3:t=1/100:mass", "triangular:3:t=1/100:H outward", "triangular:3:t=1/100:eta outward", "triangular:3:t=1/100:components", "triangular:3:t=1/100:components nonnegative", "triangular:3:t=1/100:coercive query", "triangular:3:t=1/100:gap", "triangular:3:t=1/100:D certificate", "triangular:3:t=1/100:mass error", "triangular:3:t=1/100:mass triangle upper", "triangular:3:t=1/100:mass triangle lower", "triangular:3:t=1/100:F interval", "triangular:3:t=1/100:F prime", "triangular:3:t=1/100:residue", "triangular:3:t=1/100:zeta", "triangular:3:t=1/100:kappa", "triangular:3:t=1/100:positive matching", "uniform:3:t=1/4:fixed model", "uniform:3:t=1/4:interface metadata", "uniform:3:t=1/4:p continuity", "uniform:3:t=1/4:z continuity", "uniform:3:t=1/4:stream normal continuity", "uniform:3:t=1/4:admissible", "uniform:3:t=1/4:wall primitive continuity", "uniform:3:t=1/4:mass lifting:q0", "uniform:3:t=1/4:stream identity:q0", "uniform:3:t=1/4:jump negative control:q0", "uniform:3:t=1/4:mass lifting:q1", "uniform:3:t=1/4:stream identity:q1", "uniform:3:t=1/4:jump negative control:q1", "uniform:3:t=1/4:mass", "uniform:3:t=1/4:H exact", "uniform:3:t=1/4:eta exact", "uniform:3:t=1/4:components", "uniform:3:t=1/4:components nonnegative", "uniform:3:t=1/4:coercive query", "uniform:3:t=1/4:gap", "uniform:3:t=1/4:D certificate", "uniform:3:t=1/4:mass error", "uniform:3:t=1/4:mass triangle upper", "uniform:3:t=1/4:mass triangle lower", "uniform:3:t=1/4:F interval", "uniform:3:t=1/4:F prime", "uniform:3:t=1/4:residue", "triangular:3:t=1/4:fixed model", "triangular:3:t=1/4:interface metadata", "triangular:3:t=1/4:p continuity", "triangular:3:t=1/4:z continuity", "triangular:3:t=1/4:stream normal continuity", "triangular:3:t=1/4:admissible", "triangular:3:t=1/4:wall primitive continuity", "triangular:3:t=1/4:mass lifting:q0", "triangular:3:t=1/4:stream identity:q0", "triangular:3:t=1/4:jump negative control:q0", "triangular:3:t=1/4:mass lifting:q1", "triangular:3:t=1/4:stream identity:q1", "triangular:3:t=1/4:jump negative control:q1", "triangular:3:t=1/4:mass", "triangular:3:t=1/4:H outward", "triangular:3:t=1/4:eta outward", "triangular:3:t=1/4:components", "triangular:3:t=1/4:components nonnegative", "triangular:3:t=1/4:coercive query", "triangular:3:t=1/4:gap", "triangular:3:t=1/4:D certificate", "triangular:3:t=1/4:mass error", "triangular:3:t=1/4:mass triangle upper", "triangular:3:t=1/4:mass triangle lower", "triangular:3:t=1/4:F interval", "triangular:3:t=1/4:F prime", "triangular:3:t=1/4:residue", "uniform:3:t=1/2:fixed model", "uniform:3:t=1/2:interface metadata", "uniform:3:t=1/2:p continuity", "uniform:3:t=1/2:z continuity", "uniform:3:t=1/2:stream normal continuity", "uniform:3:t=1/2:admissible", "uniform:3:t=1/2:wall primitive continuity", "uniform:3:t=1/2:mass lifting:q0", "uniform:3:t=1/2:stream identity:q0", "uniform:3:t=1/2:jump negative control:q0", "uniform:3:t=1/2:mass lifting:q1", "uniform:3:t=1/2:stream identity:q1", "uniform:3:t=1/2:jump negative control:q1", "uniform:3:t=1/2:mass", "uniform:3:t=1/2:H exact", "uniform:3:t=1/2:eta exact", "uniform:3:t=1/2:components", "uniform:3:t=1/2:components nonnegative", "uniform:3:t=1/2:coercive query", "uniform:3:t=1/2:gap", "uniform:3:t=1/2:D certificate", "uniform:3:t=1/2:mass error", "uniform:3:t=1/2:mass triangle upper", "uniform:3:t=1/2:mass triangle lower", "uniform:3:t=1/2:F interval", "uniform:3:t=1/2:F prime", "uniform:3:t=1/2:residue", "triangular:3:t=1/2:fixed model", "triangular:3:t=1/2:interface metadata", "triangular:3:t=1/2:p continuity", "triangular:3:t=1/2:z continuity", "triangular:3:t=1/2:stream normal continuity", "triangular:3:t=1/2:admissible", "triangular:3:t=1/2:wall primitive continuity", "triangular:3:t=1/2:mass lifting:q0", "triangular:3:t=1/2:stream identity:q0", "triangular:3:t=1/2:jump negative control:q0", "triangular:3:t=1/2:mass lifting:q1", "triangular:3:t=1/2:stream identity:q1", "triangular:3:t=1/2:jump negative control:q1", "triangular:3:t=1/2:mass", "triangular:3:t=1/2:H outward", "triangular:3:t=1/2:eta outward", "triangular:3:t=1/2:components", "triangular:3:t=1/2:components nonnegative", "triangular:3:t=1/2:coercive query", "triangular:3:t=1/2:gap", "triangular:3:t=1/2:D certificate", "triangular:3:t=1/2:mass error", "triangular:3:t=1/2:mass triangle upper", "triangular:3:t=1/2:mass triangle lower", "triangular:3:t=1/2:F interval", "triangular:3:t=1/2:F prime", "triangular:3:t=1/2:residue", "symbolic matched inverse identity", "matched:uniform:1/4:common metadata", "matched:uniform:1/4:inverse box", "matched:uniform:1/4:remainder", "matched:uniform:1/4:quadratic normalization", "matched:uniform:1/4:no pole at query", "matched:uniform:1/4:reciprocal", "matched:triangular:1/4:common metadata", "matched:triangular:1/4:inverse box", "matched:triangular:1/4:remainder", "matched:triangular:1/4:quadratic normalization", "matched:triangular:1/4:no pole at query", "matched:triangular:1/4:reciprocal", "matched:uniform:1/2:common metadata", "matched:uniform:1/2:inverse box", "matched:uniform:1/2:remainder", "matched:uniform:1/2:quadratic normalization", "matched:uniform:1/2:no pole at query", "matched:uniform:1/2:reciprocal", "matched:triangular:1/2:common metadata", "matched:triangular:1/2:inverse box", "matched:triangular:1/2:remainder", "matched:triangular:1/2:quadratic normalization", "matched:triangular:1/2:no pole at query", "matched:triangular:1/2:reciprocal", "comparison difference:1/4", "comparison direction:1/4", "comparison status:1/4", "comparison difference:1/2", "comparison direction:1/2", "comparison status:1/2", "two certified displays", "display fixed inputs", "display declared model", "display enclosure:uniform:1/4:response", "display enclosure:uniform:1/4:inverse_response", "display enclosure:uniform:1/4:remainder", "display matching:uniform:1/4:kappa", "display matching:uniform:1/4:zeta", "display enclosure:triangular:1/4:response", "display enclosure:triangular:1/4:inverse_response", "display enclosure:triangular:1/4:remainder", "display matching:triangular:1/4:kappa", "display matching:triangular:1/4:zeta", "display difference:1/4", "display verdict:1/4", "display fixed inputs", "display declared model", "display enclosure:uniform:1/2:response", "display enclosure:uniform:1/2:inverse_response", "display enclosure:uniform:1/2:remainder", "display matching:uniform:1/2:kappa", "display matching:uniform:1/2:zeta", "display enclosure:triangular:1/2:response", "display enclosure:triangular:1/2:inverse_response", "display enclosure:triangular:1/2:remainder", "display matching:triangular:1/2:kappa", "display matching:triangular:1/2:zeta", "display difference:1/2", "display verdict:1/2"], "separated_query_points": ["1/4", "1/2"], "receipt_sha256": "36596721d35614b64439ab409becc5455d67a0dea0aaf44e6050200114785d8c", "reports_sha256": "0ed43fe972cd25c1b28ec69b34d6a3d2bca88c7802660627442034303f02c00c", "proof_sha256": "38f3861f94cbc9edf153da58423a6cd419b167c5cd44de9a8e1db71e64f0c5a7", "verifier_sha256": "683bf8eae2929477b44812d09d00d8e319affb975970429a640d4fa7f11ee79b", "scope": "independent continuum-trial integrals and post-matching input-box extrema; written functional proof for the declared unit-square model"}