From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <help-guix-bounces+larch=yhetil.org@gnu.org>
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 <help-guix-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; 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 <help-guix-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; 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 <larch@yhetil.org>; 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 <help-guix-bounces@gnu.org>)
	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 <suhail@bayesians.ca>)
 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 <suhail@bayesians.ca>)
 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 <suhail@bayesians.ca>
Cc: Simon Tournier <zimon.toutoune@gmail.com>,
 Felix Lechner via <help-guix@gnu.org>, Julien Lepiller <julien@lepiller.eu>,
 Felix Lechner <felix.lechner@lease-up.com>
Subject: Re: Turning off tests leads to a different store item
Message-ID: <87a5ruy3b7.fsf@>
In-Reply-To: <ZUTwwCt2UoqfUJ03@ws>
References: <ZUTwwCt2UoqfUJ03@ws>
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: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
 <mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/help-guix>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
 <mailto:help-guix-request@gnu.org?subject=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.