From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id YAP+JQRcRWWwjgAAauVa8A:P1 (envelope-from ) for ; Fri, 03 Nov 2023 21:45:56 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id YAP+JQRcRWWwjgAAauVa8A (envelope-from ) for ; Fri, 03 Nov 2023 21:45:56 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 6AE725FA68 for ; Fri, 3 Nov 2023 21:45:56 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=bayesians.ca header.s=protonmail2 header.b=AaK8GsoK; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=quarantine) header.from=bayesians.ca ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1699044356; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=tPN2nY8zRkW/OGBaa+8vCJ/Y4Tw+wWOGirqvJH9FGqI=; b=RUvoMfMd1s+reNGqdnrN0hjFnOKc7dttew+v3NfL8oGBkjh3m2OszBVjKB6kKAZHAaKuBT 8wcOAIBh9dvOlveN5Bk9Gab5TZpAPqWqS5WpWOSs1WKO/6l5W02f9TtyfrE75n8tjDB0UI veY8CPPcOoy/T46uAsOJSc6gp97Ef+F8lSwtWywVayNr0uG3gzXMxDkpCqqYfCaRsm29ZJ jVnxlEzWt0g0U+WV8xjQ3AQL+Wih5Teoa7OvUfHiuT+S5EuPNEEY6qT/z4/QkDZrUTU9Wy 7oMAkScz5rcs8R3TmaHWjby9btS3rCUaiEw+SzHimPUz1o8xAXu02PB8fWaHEg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=bayesians.ca header.s=protonmail2 header.b=AaK8GsoK; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=quarantine) header.from=bayesians.ca ARC-Seal: i=1; s=key1; d=yhetil.org; t=1699044356; a=rsa-sha256; cv=none; b=GLFJ+JAlgiolupx8WnjwXpffn+nMMG6n6oZM93dxDXH8k7g4t7hS6iELPx3ne4nAmQPcgB 8dkrgZWkVMtA/RItHuRIdnVjuIbVQpX0meB04gCRd4kJchUbdmzRTULQdSNTJh5+PtppzG hwUAg5fTSIEHrX4e97+/GLhT617EPTk1VQ3ja2iY5JPXXpcWjwFwgPxVnIKsUpi67wbF23 8e3PGvECH32UOQvBe37s9Cs2WvLPAcjA3POTuivMVEsia6m4eYHwmvmb1CFylX0BtNd0Fm pak40BDs7v0LzXE3eDWt3NvtU/elXbrJG3jKDgIrnzBtzo40ARl3l7jY3pHXnA== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qz12Y-0005Nw-IN; Fri, 03 Nov 2023 16:45:14 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qz12U-0005NN-8J for help-guix@gnu.org; Fri, 03 Nov 2023 16:45:10 -0400 Received: from mail-4317.proton.ch ([185.70.43.17]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qz12P-0007Ly-Br for help-guix@gnu.org; Fri, 03 Nov 2023 16:45:09 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=bayesians.ca; s=protonmail2; t=1699044298; x=1699303498; bh=tPN2nY8zRkW/OGBaa+8vCJ/Y4Tw+wWOGirqvJH9FGqI=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=AaK8GsoKlTWETZiH/U/IJiMDVOV61fzUIZxg5cdpRZWpzXtHf1gVzA2hlG6MuM9qx xu6aYI//YPi8e6cov4IK4dDKoL7c16efj9jTJVbbJIQsJG1LnRusZfYqTXQi51snyK awnF4PQYBabFEwi050qr1EATH0wsBFACHektQK/RZW3l6zGFB4x/ixISVfgeaGzxUY JLhPva48x74Z+TsMbCwfSjlf5W5mwrYf20ZPprIof/h7Wedn4ULcR2jRQEithQN7In YUGkq34wAcQK8LIk/KjYyIKKq4dnx/+8DS5S3Z8trlP7E/sczCkSqfFU/I64ziQPEw Ktfm+jNlMYqww== Date: Fri, 03 Nov 2023 20:44:51 +0000 To: Tomas Volf <~@wolfsden.cz> From: Suhail Cc: Simon Tournier , Felix Lechner via , Julien Lepiller , Felix Lechner Subject: Re: Turning off tests leads to a different store item Message-ID: <87a5ruy3b7.fsf@> In-Reply-To: References: Feedback-ID: 38691229:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=185.70.43.17; envelope-from=suhail@bayesians.ca; helo=mail-4317.proton.ch X-Spam_score_int: -14 X-Spam_score: -1.5 X-Spam_bar: - X-Spam_report: (-1.5 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, INVALID_MSGID=0.568, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: help-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -2.80 X-Spam-Score: -2.80 X-Migadu-Queue-Id: 6AE725FA68 X-Migadu-Scanner: mx13.migadu.com X-TUID: odIpqPuT7ZXB "Tomas Volf" <~@wolfsden.cz> writes: > On 2023-11-02 15:25:33 +0000, Suhail wrote: >> [..] >>=20 >> The hypothetical test derivation leaves the build artifact unchanged, >> but does communicate some "side" information. It's like a fixed-output >> derivation carrying some metadata (further elaboration below). > > I am not aware of any, but I wonder if there are test suites that actuall= y > modify the built binary, for example by patching a bool flag `was_tested'= to #t. > Runtime behavior could then differ based on the flag. Do you have some i= deas > how to detect/deal with this? When you say "built binary" do you mean as an input to the "hypothetical test derivation", or the purported output of the test derivation which was supposed to be identical to the input but has been modified? If former, you'd need to ensure that the derivation has read-only access to the input (I believe/hope Guix already does this). If the latter, what's material is whether or not the original input can be recovered (with verification based on the comparison of some signature). To add more context, I am presently interested in situations where a "hypothetical test derivation" (say, A) passes its input (say, input_1 which was generated as the output of another derivation B) as part of its output (say, output_A), but adds additional metadata (say, metadata_A) in the process. I.e., let output_A =3D (input_1, metadata_A) I am also interested in being able to treat output_A as a substitute for input_1 given a function (say, f) which describes how to obtain input_1 from output_A and whose result matches the known signature of input_1. --=20 Suhail This email is not an offer capable of acceptance, does not evidence an intention to enter into an agreement, has no operative effect until a definitive agreement is signed in writing by both parties, and that no party should act in reliance on the email or any representations of the sender until a definitive agreement is signed in writing by both parties.