Paolo Veronelli paolino

Incident: Nix fetchgit False Positive on Store Path References

TL;DR

Adding --sha256: hashes to source-repository-package entries in cabal.project broke CI with:

error: fixed-output derivations must not reference store paths:
  '/nix/store/...-haskell-csmt-80e41c8.drv' references 1 distinct paths,
 e.g. '/nix/store/rlq03x4cwf8zn73hxaxnx0zn5q9kifls-bash-5.3p3'

cardano-mpfs-offchain — Dependency Graph

![Dependency Graph](https://mermaid.ink/svg/Z3JhcGggVEQKICAgIE9GRkNIQUlOWyJjYXJkYW5vLW1wZnMtb2ZmY2hhaW5cblNlcnZpY2UgaW50ZXJmYWNlcyJdCiAgICBNUEZbImhhc2tlbGwtbXBmXG5NUEYgdHJpZSBsaWJyYXJ5Il0KICAgIFJLVlRbInJvY2tzZGIta3YtdHJhbnNhY3Rpb25zXG5wYW9saW5vLyJdCiAgICBLVlRbImt2LXRyYW5zYWN0aW9uc1xuc3VibGlicmFyeSJdCiAgICBST0NLU0RCWyJyb2Nrc2RiLWhhc2tlbGwtanBydXBwXG5IYWNrYWdlIl0KICAgIENSWVBUT05bImNyeXB0b25cbkJsYWtlMmItMjU2Il0KICAgIENFUkVBTFsiY2VyZWFsXG5TZXJpYWxpemF0aW9uIl0KICAgIExFTlNbImxlbnMiXQogICAgQ1NNVFsiY2FyZGFuby11dHhvLWNzbXRcblBsYW5uZWQiXQogICAgQ0FSREFOT0FQSVsiY2FyZGFuby1hcGlcblBsYW5uZWQiXQogICAgT0ZGQ0hBSU4gLS0+IE1QRgogICAgTVBGIC0tPiBSS1ZUCiAgICBNUEYgLS0+IEtWVAogICAgTVBGIC0tPiBDUllQVE9OCiAgICBNUEYgLS0+IENFUkVBTAogICAgTVBGIC0tPiBMRU5TCiAgICBSS1ZUIC0tPiBST0NLU0RCCiAgICBSS1ZUIC0tPiBLVlQKICAgIE9GRkNIQUlOIC0uLT4gQ1NNVAogICAgT0ZGQ0hBSU4gLS4tPiBDQVJEQU5PQVBJCiAgICBzdHlsZSBPRkZDSEFJTiBmaWxsOiNlMWY1ZmUKICAgIHN0eWxlIE1QRiBmaWxsOiNlOGY1ZTkKICAgIHN0eWxlIFJLVlQgZmlsbDojZmZmM2UwCiAgICBzdHls

Oracles

An oracle is a push-based off-chain system that observes GitHub's state and publishes an attestation of the observed information on-chain.

Users must trigger the sampling process by providing the oracle the expected value to be attested. This approach prevents oversampling of GitHub and ensures the oracle is directly compensated for its service.

Oracles serve as information sources referenced in vetting minting

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE ImportQualifiedPost #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TypeApplications #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE EmptyDataDecls #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE ImportQualifiedPost #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TypeApplications #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE InstanceSigs #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE NumericUnderscores #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE TypeApplications #-}

	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE KindSignatures #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TypeApplications #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}

	{-# LANGUAGE BlockArguments #-}
	{-# LANGUAGE NumericUnderscores #-}
	{-# LANGUAGE OverloadedStrings #-}

	import Prelude

	import Data.Functor (Identity (runIdentity))
	import Control.Monad.Fix (fix)
	import Data.Bifunctor (Bifunctor (..), second)
	import Data.List (tails)

 import Data.List (tails)
 import Data.List.NonEmpty (NonEmpty, toList)
 import Prelude
 import qualified Data.List.NonEmpty as NE
 type Tries = [NonEmpty Char]
 tries :: String -> Tries
 tries [] = []

	-- input
	mgerqoirg

	------------------------------------
	--> step 0 : create board with couples

	----- board ----------
	m..rq..r. -- unordered
	g eo ig