| 1 | |
|---|
| 2 | ==> RUN on acme_rockets_intersection_rt0 |
|---|
| 3 | Generating key, this will take a while. Create entropy! |
|---|
| 4 | - move the mouse |
|---|
| 5 | - generate disk activity (run find) |
|---|
| 6 | Generating key, this will take a while. Create entropy! |
|---|
| 7 | - move the mouse |
|---|
| 8 | - generate disk activity (run find) |
|---|
| 9 | Generating key, this will take a while. Create entropy! |
|---|
| 10 | - move the mouse |
|---|
| 11 | - generate disk activity (run find) |
|---|
| 12 | Generating key, this will take a while. Create entropy! |
|---|
| 13 | - move the mouse |
|---|
| 14 | - generate disk activity (run find) |
|---|
| 15 | |
|---|
| 16 | ===good============ Acme.buy_rockets <- Coyote |
|---|
| 17 | success |
|---|
| 18 | credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer <- 6952e3658904dab71ac8b61c9bd1435a3ac4311e |
|---|
| 19 | credential b16e42889f7f0f766a6f475fed72eae785253dd0.character <- 6952e3658904dab71ac8b61c9bd1435a3ac4311e |
|---|
| 20 | credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.buy_rockets <- 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer & b16e42889f7f0f766a6f475fed72eae785253dd0.character |
|---|
| 21 | |
|---|
| 22 | ===bad============ Acme.bad_buy_rockets <- Coyote |
|---|
| 23 | fail, here's a partial proof |
|---|
| 24 | credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.buy_rockets <- 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer & b16e42889f7f0f766a6f475fed72eae785253dd0.character |
|---|
| 25 | credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer <- 6952e3658904dab71ac8b61c9bd1435a3ac4311e |
|---|
| 26 | credential b16e42889f7f0f766a6f475fed72eae785253dd0.character <- 6952e3658904dab71ac8b61c9bd1435a3ac4311e |
|---|
| 27 | |
|---|
| 28 | ===bad============ 99Acme.buy_rockets <- Coyote |
|---|
| 29 | fail, here's a partial proof |
|---|
| 30 | credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.buy_rockets <- 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer & b16e42889f7f0f766a6f475fed72eae785253dd0.character |
|---|
| 31 | credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer <- 6952e3658904dab71ac8b61c9bd1435a3ac4311e |
|---|
| 32 | credential b16e42889f7f0f766a6f475fed72eae785253dd0.character <- 6952e3658904dab71ac8b61c9bd1435a3ac4311e |
|---|
| 33 | |
|---|
| 34 | ===bad=============== Acme.buy_rockets <- Batman |
|---|
| 35 | fail, here's a partial proof |
|---|
| 36 | credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer <- d8fa70873d2707f59c40e1e97d2806564298d887 |
|---|
| 37 | credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.buy_rockets <- 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer & b16e42889f7f0f766a6f475fed72eae785253dd0.character |
|---|
| 38 | |
|---|
| 39 | ==> RUN on acme_rockets_rt0 |
|---|
| 40 | Generating key, this will take a while. Create entropy! |
|---|
| 41 | - move the mouse |
|---|
| 42 | - generate disk activity (run find) |
|---|
| 43 | Generating key, this will take a while. Create entropy! |
|---|
| 44 | - move the mouse |
|---|
| 45 | - generate disk activity (run find) |
|---|
| 46 | |
|---|
| 47 | ===good============ Acme.preferred_customer <- Coyote |
|---|
| 48 | success |
|---|
| 49 | credential 282dd1318dd52dcd5b4d98f34935613eebcd193c.preferred_customer <- 35fdd9f2f688f7ec1eb3e9116054f1b67da55a05 |
|---|
| 50 | |
|---|
| 51 | ===good=============== Acme.buy_rockets <- Coyote |
|---|
| 52 | success |
|---|
| 53 | credential 282dd1318dd52dcd5b4d98f34935613eebcd193c.preferred_customer <- 35fdd9f2f688f7ec1eb3e9116054f1b67da55a05 |
|---|
| 54 | credential 282dd1318dd52dcd5b4d98f34935613eebcd193c.buy_rockets <- 282dd1318dd52dcd5b4d98f34935613eebcd193c.preferred_customer |
|---|
| 55 | |
|---|
| 56 | ===bad=============== Acme.buy_rockets <- Acme.preferred_customer |
|---|
| 57 | success |
|---|
| 58 | credential 282dd1318dd52dcd5b4d98f34935613eebcd193c.buy_rockets <- 282dd1318dd52dcd5b4d98f34935613eebcd193c.preferred_customer |
|---|
| 59 | |
|---|
| 60 | ===bad=============== Coyote.friend <- Acme |
|---|
| 61 | fail, here's a partial proof |
|---|
| 62 | |
|---|
| 63 | ==> RUN on experiment_create_rt0 |
|---|
| 64 | Generating key, this will take a while. Create entropy! |
|---|
| 65 | - move the mouse |
|---|
| 66 | - generate disk activity (run find) |
|---|
| 67 | Generating key, this will take a while. Create entropy! |
|---|
| 68 | - move the mouse |
|---|
| 69 | - generate disk activity (run find) |
|---|
| 70 | Generating key, this will take a while. Create entropy! |
|---|
| 71 | - move the mouse |
|---|
| 72 | - generate disk activity (run find) |
|---|
| 73 | Generating key, this will take a while. Create entropy! |
|---|
| 74 | - move the mouse |
|---|
| 75 | - generate disk activity (run find) |
|---|
| 76 | |
|---|
| 77 | ===good=============== Globotron.admin <- Alice |
|---|
| 78 | success |
|---|
| 79 | credential 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.admin <- 04b57bdd93749c142d6d866fce0bb5eac8dac78a |
|---|
| 80 | |
|---|
| 81 | ===bad=============== Globotron.admin <- Bob |
|---|
| 82 | fail, here's a partial proof |
|---|
| 83 | credential 33e329b8183f8fb93ef7a66a48d2dd4c0c82e442.experiment_create <- 33e329b8183f8fb93ef7a66a48d2dd4c0c82e442.partner.experiment_create |
|---|
| 84 | credential 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.experiment_create <- 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.admin.power_user |
|---|
| 85 | credential 04b57bdd93749c142d6d866fce0bb5eac8dac78a.power_user <- 364426ced8732002fb5b10d8c0d05bcff9818f12 |
|---|
| 86 | credential 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.admin <- 04b57bdd93749c142d6d866fce0bb5eac8dac78a |
|---|
| 87 | credential 33e329b8183f8fb93ef7a66a48d2dd4c0c82e442.partner <- 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6 |
|---|
| 88 | |
|---|
| 89 | ===good=============== Acme.experiment_create <- Bob |
|---|
| 90 | success |
|---|
| 91 | credential 04b57bdd93749c142d6d866fce0bb5eac8dac78a.power_user <- 364426ced8732002fb5b10d8c0d05bcff9818f12 |
|---|
| 92 | credential 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.admin <- 04b57bdd93749c142d6d866fce0bb5eac8dac78a |
|---|
| 93 | credential 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.experiment_create <- 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.admin.power_user |
|---|
| 94 | credential 33e329b8183f8fb93ef7a66a48d2dd4c0c82e442.partner <- 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6 |
|---|
| 95 | credential 33e329b8183f8fb93ef7a66a48d2dd4c0c82e442.experiment_create <- 33e329b8183f8fb93ef7a66a48d2dd4c0c82e442.partner.experiment_create |
|---|
