mlieberman85

{
  "title": "InTotoStatementV1_for_SLSAProvenanceV1Predicate",
  "description": "Represents an In-Toto v1 statement.",
  "type": "object",
  "required": [
    "_type",
    "predicate",
    "predicateType",
    "subject"
  ],

mlieberman85

TypeSpace {
    next_id: 23,
    definitions: {
        "BuildDefinition": Object(
            SchemaObject {
                metadata: Some(
                    Metadata {
                        id: None,
                        title: None,
                        description: Some(

mlieberman85

package schema

import (
	"time"
)

#Subject: {
	name:   string
	digest: #DigestSet
}

mlieberman85

// You can edit this code!
// Click here and start typing.
package main

import (
	"crypto/ecdsa"
	"crypto/elliptic"
	"fmt"
	"math/big"
	"reflect"

mlieberman85

// SLSA Graph
digraph "slsa-graph" {
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" [label="ibm-sw-tpm2-1661"]
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "05bd12b620b2c90b455bb76962045e704a027181ead3833aa9773a7ae9bddaea"
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "23daf1a1401858e4562e6aa61166712072a1f193942dd2478eef5513ddc9d2fb"
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "2a32dcb5fac84e74f5bb62a9e8f7698e9367fd00e3a2b8b82163309c2025c049"
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "51858393c5698aba2e7c4e2832054a6985ab3eeda5db7373db5627d0acceefa8"
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "616f319fa34b40faf4dab6566abd3adc69fa1d79c7f96e2ed7b9cbda1ac61d2b"
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> acdeaa5cdbfb13fd590a628dc0b6a07ee25c464bedec941bac90715cacc33c2e
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517

mlieberman85

{
  "/nix/store/01n3wxxw29wj2pkjqimmmjzv7pihzmd7-which-2.21.tar.gz.drv": {
    "outputs": {
      "out": {
        "path": "/nix/store/349f140sh7m12vy9mp1wkp58axyp06c9-which-2.21.tar.gz",
        "hashAlgo": "sha256",
        "hash": "f4a245b94124b377d8b49646bf421f9155d36aa7614b6ebf83705d3ffc76eaad"
      }
    },
    "inputSrcs": [],

mlieberman85

Keybase proof

I hereby claim:

• I am mlieberman85 on github.
• I am mlieberman85 (https://keybase.io/mlieberman85) on keybase.
• I have a public key ASBjQik_6Dgegsd9rdYPFv2R-pYCNEryeGVZLk1s2CQT7go

To claim this, I am signing this object:

mlieberman85

xor-linear : ∀ {n} (x y : BitVector n) → bitwise-xor x y ≡ zipWith _xor_ x y
xor-linear x y = refl

xor-comm : ∀ {n} (x y : BitVector n) → bitwise-xor x y ≡ bitwise-xor y x
xor-comm [] [] = refl
xor-comm (0# ∷ xs) (0# ∷ ys) rewrite xor-comm xs ys = refl
xor-comm (0# ∷ xs) (1# ∷ ys) rewrite xor-comm xs ys = refl
xor-comm (1# ∷ xs) (0# ∷ ys) rewrite xor-comm xs ys = refl
xor-comm (1# ∷ xs) (1# ∷ ys) rewrite xor-comm xs ys  = refl

mlieberman85

- name: Some action
  debug: msg="Some action"
  register: some_var
  when: False
  

mlieberman85

# This works.
tasks:
  - debug: var=hostvars[item]
    with_items: groups['groupA']

# How can I do something like:

tasks:
  - debug: var=hostvars[item]
    with_items: groups['groupA'].intersect(groups['groupB'])