Saturday, July 20, 2024

00:04:14 [e7ada8fc] :bento: Update graphs [skip ci] (cf-cip1694-ballot-status)

00:08:14 [88e841df] :pencil: Update summary in README [skip ci] [upptime] (cf-token-metadata-registry-status)

00:08:14 [25922b73] :card_file_box: Update status summary [skip ci] [upptime] (cf-token-metadata-registry-status)

00:10:59 [7340941c] :bento: Update graphs [skip ci] (cf-token-metadata-registry-status)

00:11:53 [9d9582dd] :bento: Update graphs [skip ci] (cf-explorer-status)

00:18:12 [9e4eb811] :card_file_box: Update status summary [skip ci] [upptime] (cf-cip1694-ballot-status)

00:18:12 [ab45ee60] :pencil: Update summary in README [skip ci] [upptime] (cf-cip1694-ballot-status)

00:21:48 [33160362] Automatic Update (stackage.nix)

00:24:14 [8ecdcd3f] :card_file_box: Update status summary [skip ci] [upptime] (cf-explorer-status)

00:24:14 [8e9efbcb] :pencil: Update summary in README [skip ci] [upptime] (cf-explorer-status)

00:34:17 [df91fb7f] Deploying to gh-pages from @ input-output-hk/catalyst-voices@fcaca99657ff52bef730f10a9122c585a0537442 🚀 (catalyst-voices)

00:40:19 [de70cae8] addes Term.as; added native script offchain support (plu-ts)

00:42:31 [0b07c05c] native scripts (cardano-ts_beginner-to-advanced)

00:50:42 [4a111954] Update Hackage and Stackage (haskell.nix)

01:12:27 [a0d2da56] native scripts (cardano-ts_beginner-to-advanced)

01:17:45 [cbd48240] bump: cardano-parts for dbsync 13.3.0.0 (cardano-playground)

01:18:31 [d1a4cb92] shelley-qa: set back to release versioning (cardano-playground)

01:20:13 [9353f35a] imp: set and deploy dbsync 13.3.0.0 (cardano-playground)

01:22:03 [2cfe426e] imp: add cardano-ipfs module to metadata server (cardano-playground)

01:41:23 [31491407] Scheduled update (pool_groups)

02:23:17 [b1d0d694] fix: cleanup (catalyst-voices)

02:25:52 [8c4f6142] Apply automatic changes (catalyst-voices)

02:58:07 [35d3366c] fix: typo (catalyst-voices)

02:58:40 [49823984] Merge branch 'main' into feat/c509_cli (catalyst-voices)

03:13:29 [56c0cdd3] Deploying to gh-pages from @ input-output-hk/catalyst-voices@35d3366c4680bbe0add07fe3b25273ef31d1f324 🚀 (catalyst-voices)

03:16:44 [e4015ab0] Tidying up (plutus)

03:23:18 [ac9a27c5] Fix plutus-tx (plutus)

03:37:45 [a374a5e2] feat: long running oobi resolution op tracker (cf-identity-wallet)

04:06:11 [4e372264] [Test] Improve distribution of generated integers (plutus)

04:11:08 [72b42284] Make some helpers INLINEABLE (plutus)

04:35:33 [63b16f23] Rearrange code again (plutus)

04:37:18 [2259f12c] Scheduled update (pool_groups)

05:48:42 [192eee40] txgen-voting: make dep version changes nix-visible (cardano-node)

06:36:07 [ecc343b0] network-update: serve videos from google (cardano-updates)

06:36:43 [698e5f50] network-update: serve videos from google (cardano-updates)

06:39:00 [a9654d59] deploy: 698e5f509519c31bd0ab239cc296a7db2c77b1c5 (cardano-updates)

07:23:41 [6eee89f9] Update Logbook (ouroboros-leios)

07:41:13 [41a3389e] Add problem note to incremental commit sequence diagram (hydra)

07:41:13 [b93b012b] Decrement mutation: Add validator check for snapshot number changes (hydra)

07:41:13 [d276c8b0] Incremental decommit changes (hydra)

07:41:13 [7c9cee55] Decrement mutation: Add validator check for parameter changes (hydra)

07:41:13 [7e2540ef] Draft first Decrement mutation (hydra)

07:41:14 [1ee8f680] Minor formatting changes (hydra)

07:41:14 [f326cd52] Spec: Identify some gaps and start removing sn from eta (hydra)

07:41:14 [275c1d95] Some alignment between spec and impl (hydra)

07:41:14 [4a75d5ae] Resolve a fixme in head logic (hydra)

07:41:14 [b48a7b6c] Align decommit off-chain spec/impl (hydra)

07:41:14 [8e5ec8f1] Add snapshotNumber field to Open head state (hydra)

07:41:15 [46b0df9e] Decrement mutation: check signature by altering redeemer (hydra)

07:41:15 [2c5fab6e] Decrement mutation: signature is invalid if decommit outputs are missing (hydra)

07:41:15 [8789f75b] Decrement on-chain: add checkSignatures (hydra)

07:41:15 [1d583e9d] Wait on applicable decommit tx (hydra)

07:41:15 [4bde374c] Decrement mutation: participant signed decrement tx check (hydra)

07:41:15 [889c66ee] Decrement on-chain: mustBeSignedByParticipant check (hydra)

07:41:16 [5b65a904] Decrement mutation: Check value in the Head is preserved (hydra)

07:41:16 [a677bc4d] Change the internal state before emitting DecommitFinalized (hydra)

07:41:16 [a39777a3] Refactor the decrement validator (hydra)

07:41:16 [2fdf140e] Add number of decommit outputs to the Decrement redeemer (hydra)

07:41:16 [dddc9d76] Decrement on-chain: Check value in the Head is preserved (hydra)

07:41:16 [bfb050f7] Decrement mutation: Remove random decommit output (hydra)

07:41:16 [207f1d87] Make sure decommit endpoint rejects unsigned decommit tx (hydra)

07:41:17 [0842b3d3] Revisit the check of the head value being preserved (hydra)

07:41:17 [d9b9fdcf] Fix genDecrementTx to use correct snapshots (hydra)

07:41:17 [0a481c53] Check the UTxO in the head is correctly fanned out afte the decommit (hydra)

07:41:17 [ba7fd3a7] Add StateSpec properties for decrement (hydra)

07:41:17 [bc251d1b] Check value in Head is correctly decreased in decrementTx (hydra)

07:41:17 [97784e08] Increase maxTxSize to 16400 bytes for now (hydra)

07:41:18 [59f1f2da] Add decommit utxo to confirmed snapshot in StateSpec (hydra)

07:41:18 [048ae5f0] Add Decommit to Model test (hydra)

07:41:18 [794abc76] Reduce script size (hydra)

07:41:18 [31fd35b5] Dry extractHeadOutputValue and use it in CollectCom and Decrement (hydra)

07:41:28 [f483a237] Assert fanout utxo is correct after a decommit (hydra)

07:41:28 [3ce58abb] Resolve TODO related to splitUTxO (hydra)

07:41:29 [45d154af] Add Decommits to our quickstart guide (hydra)

07:41:29 [f996abb8] TxTrace: Do negative testing of expected to fail decrement/close/contest (hydra)

07:41:29 [8a137fe1] TxTrace: Use a Maybe (Var UTxO) for the spendable utxo (hydra)

07:41:29 [8fb4b0fd] TxTrace: Add Decrement to transaction trace test suite (hydra)

07:41:29 [2ecfc190] Add decommit to the tutorial (hydra)

07:41:29 [9f12e0e1] Add e2e test to assert correct fanout utxo after decommit (hydra)

07:41:30 [0fc178ba] TxTrace: add more counter examples (hydra)

07:41:30 [44ac774b] Add snapshot number to Fanout actions (hydra)

07:41:30 [98a36927] TxTrace: generate more positive fanout actions (hydra)

07:41:30 [eeee6578] TxTrace: add assertion on fanned out UTxO (hydra)

07:41:30 [1a2b4373] TxTrace: actually perform fanout (hydra)

07:41:30 [77931202] Add checkSnapshotNumber to checkClose (hydra)

07:41:31 [ef39e920] TxTrace: Refactor to a stateful SUT (hydra)

07:41:31 [be6e74e3] TxTrace: Simplify model by moving latestSnapshot out (hydra)

07:41:31 [f9d80ae5] TxTrace: Assert outputs of fanout in postcondition (hydra)

07:41:31 [25309e52] TxTrace: check polarity in trace sanity check (hydra)

07:41:31 [16de96d1] TxTrace: Model Augmented snapshots (hydra)

07:41:31 [d146f979] TxTrace: increase number of positive actions (hydra)

07:41:31 [5fabe424] TxTrace: Replace ProduceSnapshots with ad-hoc snapshot generation (hydra)

07:41:32 [d0e5a4eb] TxTrace: Add decommit utxo to the snapshot (hydra)

07:41:32 [10d47884] TxTrace: Refactor into a short-cutting PostconditionM' (hydra)

07:41:32 [39e3c757] Fix the failing close with initial snapshot (hydra)

07:41:32 [90ff5259] TxTrace: re-sign the decommit snapshot (hydra)

07:41:32 [63e2ec85] TxTrace: identify expected failing fanout (hydra)

07:41:32 [6892ebe7] TxTrace: keep construction errors in TxResult (hydra)

07:41:33 [4eb29451] Simplify getting the snapshotNumber in closeTx (hydra)

07:41:33 [d4ed0644] TxTrace: Add decommit value to the head UTxO (hydra)

07:41:33 [cc7d8210] TxTrace: Produce decommit snapshots directly (hydra)

07:41:33 [84425775] TxTrace: Do not remove decommit outputs (hydra)

07:41:33 [5fc3544d] Add utxoToDecommit to FanoutTx (hydra)

07:41:33 [ff1da03e] Fix golden files (hydra)

07:41:34 [201a35c1] TxTrace: Produce a valid model without accounting for decrements (hydra)

07:41:34 [674023e5] TxTrace: Not add value to make decrement pass (hydra)

07:41:34 [9c3d5375] TxTrace: Add modelUTxO to the snapshot (hydra-poc)

07:41:34 [e750a115] TxTrace: Remove Augmented Snapshot and alter the model (hydra)

07:41:34 [2370eaeb] TxTrace: Remove utxoTeDecrement from the Model (hydra)

07:41:34 [f5df29f4] TxTrace: Track decommit UTxO in ModelUTxO (hydra)

07:41:35 [5e452baa] TxTrace: Remove validFailingActions and revert conditions in the (hydra)

07:41:35 [0561a065] Fix bug related to intial utxo hash for the decommit values (hydra)

07:41:35 [eac38f2b] Rebase: fix compilation (hydra)

07:41:35 [915aecfb] TxTrace: If there is no utxo in the snapshot don't populate (hydra)

07:41:35 [1854f13e] TxTrace: Generate separatelly values for utxo and utxo to decommit (hydra)

07:41:35 [a4e98693] TxTrace: Generate Decrement and Contest actions using existing head utxo (hydra)

07:41:35 [3b63fc2e] TxTrace: precondition checks (hydra)

07:41:36 [24f8f11e] Add more information on expected validation failures (hydra)

07:41:36 [b4c90c02] TxTrace: Re-add validFailingAction and introduce more arbitrary values (hydra)

07:41:36 [5e91afaf] Refactor performTx and TxResult + some documentation (hydra)

07:41:36 [392a348b] Exercise more negative actions (by just trying all which don't fulfill (hydra)

07:41:36 [ab08388e] Remove some preconditions to see more radical failures (hydra)

07:41:36 [3485871f] Fix starting real world utxo to included "A" equivalent (hydra-poc)

07:41:37 [2c767804] Add realWorldModelUTxO preserves addition property (hydra)

07:41:37 [9c4a9137] Fix how the model snapshot is interpreted into a confirmed in case of the initial (hydra)

07:41:37 [04508957] Add more interested cases to cover (hydra)

07:41:37 [26f85546] Discard Stops (hydra)

07:41:37 [217ae1b9] Increase frequency of negative Decrement actions being produced (hydra)

07:41:37 [a2f1cd6b] Discard decrements that attempts to take more value than it is in the head (hydra)

07:41:38 [5b84ac55] TxTrace: initially start with some funds (hydra)

07:41:38 [83521736] Slightly expand the ModelUTxO alphabet and exercise more decommits (hydra)

07:41:38 [7e1ccf7d] TxTrace: Alter the ModelUTxO to use Map instead of Set (hydra)

07:41:38 [885bdc2f] Lax the precondition for Decrement (hydra)

07:41:38 [a7853bd5] WIP (hydra)

07:41:38 [ed1c37ca] Close Mutation: Set utxoToDecommit to some value (hydra)

07:41:39 [2891d536] Remove PartySignatureVerificationFailed since it is not used (hydra)

07:41:39 [6a2f0a51] Optimize datum extraction to reduce execution costs (hydra)

07:41:39 [0fc5e85d] Reject decrements with empty utxo to decommit (hydra)

07:41:39 [b48a3dba] Fanout Mutation: Alter the fanout redeemer (hydra)

07:41:39 [dd39bf2f] Fanout Mutation: Set utxoToDecommit in the fanout snapshot (hydra)

07:41:39 [39351fac] Improve BehaviorSpec (hydra)

07:41:39 [bf3d7bae] Contest Mutation: Add utxoToDecommit to the contest snapshot (hydra)

07:41:40 [47585452] Enhance interesting transaction traces (hydra)

07:41:40 [bf70a2a3] TxSpec: WIP (hydra)

07:41:40 [80a8249c] TxSpec: Mutate snapshots and utxo to produce expected errors (hydra)

07:41:40 [26c16216] TxSpec: Assert valid sequence of actions work (hydra)

07:41:40 [6fd512fd] TxSpec: Mutate working decrement snapshots (hydra)

07:41:40 [859f0ff7] Dry how to generate model snapshots (hydra)

07:41:41 [a4c16181] Minor dry on balanceUTxOInHead (hydra)

07:41:41 [dc83be40] TxSpec: No need for property tests and suchThat (hydra)

07:41:41 [cdfaac7a] TxSpec: Remove labels as they are not very useful (hydra)

07:41:41 [2af70c95] TxSpec: Simplify and do property checks in individual txs (hydra)

07:41:41 [7629fa07] TxSpec: Re-enable all error cases (hydra)

07:41:41 [65d98a4c] TxSpec: Make sequence of valid txs work (hydra)

07:41:42 [4f3c4c8d] Remove keys with 0 values from someUTxOToDecrement (hydra)

07:41:42 [7c132e35] Keep track of decommitUTxOInHead (hydra)

07:41:42 [bfe642d5] Enhance hasManyDecommits rule (hydra)

07:41:42 [d717d30a] Ignore decrements without something to decommit (hydra)

07:41:42 [52cb0506] Distinguish between missing snapshot and null snapshot errors (hydra)

07:41:42 [06464034] Apply same ignore logic to contest (hydra)

07:41:42 [8aecdd01] TxSpec: Refactor actions (hydra)

07:41:43 [4f047f14] TxSpec: Build combinators (hydra)

07:41:43 [627f0a90] Fix StateSpec test by not generating empty commits (hydra)

07:41:43 [f6ad5503] TxSpec: Use Bool instead of Property (hydra)

07:41:43 [a2f4c4c7] Remove the has many decommits coverage for close and fanout (hydra)

07:41:43 [c25f6330] Fix LoggingSpec test (hydra)

07:41:43 [7938029b] TxSpec: Test multiple chained actions with altered snapshots (hydra)

07:41:44 [454f7504] Remove pretty-simple (hydra)

07:41:44 [2d97f576] Fix golden files (hydra)

07:41:44 [7c6981fd] Format (hydra)

07:41:44 [40848803] Use utxoToDecommit in a snapshot in DirectChainSpec (hydra)

07:41:44 [e5bc4673] Plutus scripts (hydra)

07:41:44 [bb88a7d5] Make splitUTxO pure (hydra)

07:41:45 [7e6d1b8b] Improve splitUTxO (hydra)

07:41:45 [d9c37051] Document Snapshot CDDL (hydra)

07:41:45 [75d8f57f] Add splitUTxO property test (hydra)

07:41:45 [408e9a25] Arbitrary Snapshot should have something to decommit (hydra)

07:41:45 [f057eecf] Delete quickstart (hydra)

07:41:45 [933eb15b] Add Decrement transaction to tx-cost benchmark (hydra)

07:41:45 [d254244f] Use something to decommit in the snapshot DirectChainSpec (hydra)

07:41:46 [1d8b2164] Fix how-to tutorial: do not sign decommit-tx with alice key (hydra)

07:41:46 [f0b0eea5] Move decommit tutorial to how-to section (hydra)

07:41:46 [e46bd6b3] Add Version: Introduce version to the HeadState (hydra)

07:41:46 [aee74377] Add changelog entry (hydra)

07:41:46 [b6b1cdbd] Expose a bug when decommitting (hydra)

07:41:46 [0275b856] Add Version: Introduce version to Snapshot (hydra)

07:41:47 [337b5588] Add Version: Require version in local state and confirmed snapshot to (hydra)

07:41:47 [4b3e292c] Add Version: Start with version 0 and only bump on observed decommit (hydra)

07:41:47 [cc9e775d] Add Version: Default to version 0 in tests to pass validation (hydra)

07:41:47 [641c2e7d] Add Version: Remove required version match check (hydra)

07:41:47 [9a5abc5e] Add Version: Add missing version in Snapshot toJSON and toCBOR (hydra)

07:41:47 [1edef9f6] Add Version: Model the snapshot version into TxTrace (hydra)

07:41:48 [490bf124] Add Version: Add closeUTxOToDecommit to CloseTx (hydra)

07:41:48 [f00d1950] Add Version: Add version to the Closed off-chain state (hydra)

07:41:48 [48ec1215] Add Version: Bump execution costs for now (hydra)

07:41:48 [6a060ddf] Add Version: Add off-chain version to CloseTx (hydra)

07:41:48 [30c13950] Add Version: Add utxoToDecommitHash to Close redeemer (hydra)

07:41:48 [1e580cc2] Add Version: Mutate number of decommit outputs on Fanout (hydra)

07:41:49 [b059e8df] Remove unnecessary long comment from Head script (hydra)

07:41:49 [74d5ae41] Introduced newtype for snapshot version instead of plain natural. (hydra)

07:41:49 [491d37d4] Add Version: Introduce optimisations to other contracts (hydra)

07:41:49 [03bcd98f] Add Version: Optimize head contract using PlutusTx.Plugin (hydra)

07:41:49 [7af673f8] Add Version: If we never update the version all transitions should still (hydra)

07:41:49 [0179bff7] Minor fix on how the balance utxo occurs in TxTraceSpec (hydra)

07:41:49 [5a83c2e3] Move snapshot version into coordinated head state in open state (hydra)

07:41:50 [426cd124] Add Version: Fix the decommit mutation for lucky seed (hydra)

07:41:50 [fad92539] Add Version: Make Close isHealthy check pass (hydra)

07:41:50 [16e5c920] Add mutation check over decrement to very it increases the version number (hydra)

07:41:50 [e5c595b9] Introduce new HeadError for IncorrectVersion. (hydra)

07:41:50 [9fc5d2bc] Add Version: Make version check in close more readable (hydra)

07:41:50 [9d867df2] Add minor doc comments (hydra)

07:41:51 [96e85a30] Refactor CloseCurrent more - All Close mutations pass now (hydra)

07:41:51 [8e3b04be] Add e2e spec to check: can close with a decommit in flight (hydra)

07:41:51 [f94a0825] Propose new head logic specs (hydra)

07:41:51 [d7e4da67] Minor refactor: split close mutations according to their type (hydra)

07:41:51 [12541f4d] Fix logging spec errors (hydra)

07:41:51 [0499e166] Reorder check close in head script so mutations fail for the right reason (hydra)

07:41:52 [2ed12827] Minor refactor on close mutations (hydra)

07:41:52 [9d62b4d0] Fix TxSpec for chained transactions (hydra)

07:41:52 [d3c887f5] Draft close outdated mutation specs (hydra)

07:41:52 [7452da66] Fix "can only contest once" with proper version (hydra)

07:41:52 [1cc192ba] Fix StateSpec for decommit and close (hydra)

07:41:52 [8e2f104e] Fix checkClose for the version check (hydra)

07:41:53 [f2b51c87] CloseOutdated: Change the signatures in the redeemer (hydra)

07:41:53 [983aa09b] Remove unrelevant mutation from CloseCurrent (hydra)

07:41:53 [6c0dfe74] Fix the golden files (hydra)

07:41:53 [7ba96179] Improve CloseOutdated mutations (hydra)

07:41:53 [b57c7028] Refactor close current to follow the spec more (hydra)

07:41:53 [5a216d52] Add check to verify the version is preserved btw open and close states (hydra)

07:41:53 [9d397336] CloseOutdated: Change decommit hash in the redeemer (hydra)

07:41:54 [2119f078] Add some notes to explain outstandings in head validator (hydra)

07:41:54 [70d71f91] Add snapshot version to ReqSn (hydra)

07:41:54 [2d3c63bf] Gain some sanity (hydra)

07:41:54 [b2b8dfe0] Add contest redeemer type (hydra)

07:41:54 [6a356ebd] Introduce contest current mutations (hydra)

07:41:54 [d16e8519] Finish mutation test for outdated close (hydra)

07:41:55 [bee0cbf5] Align on reqDec to spec (hydra)

07:41:55 [320dafb7] Align reqSn with spec (hydra)

07:41:55 [d87cfb6d] Align on reqSn to spec (hydra)

07:41:55 [6581355b] Align on reqSn to spec (hydra)

07:41:55 [445321ec] Add "OffChain" version to TxTrace (hydra)

07:41:55 [ef3fa9d8] Minor fix to direct chain spec (hydra)

07:41:56 [0797fcb0] Spot gaps btw onOpenNetworkAckSn and spec (hydra)

07:41:56 [03eb5ed4] Fix initial snapshot close in mock chain. (hydra)

07:41:56 [882fdb5c] TxTrace: Bump snapshot version after successful decrement (hydra)

07:41:56 [8e959227] Refactor common healthy fixtures (hydra)

07:41:56 [59aa3e16] Spec: revert unnecessary change in overview.tex (hydra)

07:41:56 [dae66012] Align on decrementTx from chain with spec (hydra)

07:41:56 [305a2f4e] Add spec comments onOpenClientClose according to latest spec changes (hydra)

07:41:57 [9ff0786c] Make CloseInitial tx healthy again (hydra)

07:41:57 [ad8a41a9] Make CloseOutdated work again (hydra)

07:41:57 [c774d4a5] Spec: use m' instead of n for the fanout redeemer outputs (hydra)

07:41:57 [72c8844e] Match on snapshot number being zero to detemine if we are in initial (hydra)

07:41:57 [3c2dd06e] Align offchain protocol to spec and documment missing gaps (hydra)

07:41:57 [f7d37ca1] Format (hydra)

07:41:58 [ae5f3ca4] Align on close and context tx to spec and documment missing gaps (hydra)

07:41:58 [db65a4d5] Fix TxTraceSpec (hydra)

07:41:58 [e99c7352] Spec: Update contestTx.pdf (hydra)

07:41:58 [7384ff93] Fanout mutations (hydra)

07:41:58 [3c1f2fbe] Fix the scripts (hydra)

07:41:58 [e0911ab8] Fix the logs schema errors (hydra)

07:41:59 [70f666bd] Update submodule conway.genesis files (hydra)

07:41:59 [8774d47a] E2E: Add one more decommit to test multiple decommits (hydra)

07:41:59 [c2a0f45b] Spec: Small fix for the number of decommit outputs in fanout tx (hydra)

07:41:59 [c23b339d] Comment out failing coverage tests (hydra)

07:41:59 [323747a8] Improve decommit tutorial instructions (hydra)

07:41:59 [9d99db7c] Not update cardano-configurations submodule (hydra)

07:41:59 [aa4aa697] Spec: Update fanoutTx.pdf (hydra)

07:42:00 [34a9b685] Rename tx cost benchmark decommit -> decrement (hydra)

07:42:00 [266be492] Must not change version in close/contest (hydra)

07:42:00 [449db59e] Move sequence diagram into dedicated docs page (hydra)

07:42:00 [b434bcc9] Revert fanout m' renaming (hydra)

07:42:00 [9cc91d39] Don't use splitUTxO and use version 0 in tx-cost benchmark (hydra)

07:42:00 [2944e173] Drop unused incrementTx figure from spec (hydra)

07:42:01 [2fad3e80] Use redeemers in mutation tests (hydra)

07:42:01 [986a5098] Broaden version mutation for collect (hydra)

07:42:01 [f44babee] Broaden version mutation for decrement (hydra)

07:42:01 [43eeb632] Introduce CloseRedeemer and ContestRedeemer (hydra)

07:42:01 [d4117cfa] Use redeemers in tx construction (hydra)

07:42:01 [4afdbf30] Limit size of generated contesters to reasonable values (hydra)

07:42:02 [3081e779] Use sub-types for decrement/close in head validator (hydra)

07:42:02 [774138f8] Fix close transaction to use last open state version in output (hydra)

07:42:02 [666f4c97] Remove snapshot number from open state and introduce sub-types (hydra)

07:42:02 [b175de3f] Do not expect decrements with snapshot number 0 to fail (hydra)

07:42:02 [f8c73030] Observe distributed outputs from decrementTx (hydra)

07:42:02 [1c352ebc] Add newVersion to OnDecrementTx and fix off-chain protocol (hydra)

07:42:02 [3ecc0140] Remove a now invalid mutation test (hydra)

07:42:03 [cd54f1e4] Re-order Snapshot fields and align signable representation with spec (hydra)

07:42:03 [2cd0f7a8] Remove redundant strictness annotations in Head script (hydra)

07:42:03 [d72ec264] Sub-type closedDatum and make deltaHash a Maybe (hydra)

07:42:03 [7ddb13e5] Add TODO about preventing empty decommits (hydra)

07:42:03 [b53978cc] Emit snapshot with cleared decommitTx onDecrementTx (hydra)

07:42:03 [e32d51ec] Rename and re-number head errors (hydra)

07:42:04 [31e5ea3d] Remove unused Semigroup and Monoid of UTxOHash (hydra)

07:42:04 [99c7ffcd] Regenerate golden files and make XXX comments mention Spec instead (hydra)

07:42:04 [cbb00f1c] Fix contest off-chain (hydra)

07:42:04 [f00bdee4] Simplify decommit how-to (hydra)

07:42:04 [fc08185c] Change Decommit server outputs to be more in-line with TxValid/TxInvalid (hydra)

07:42:04 [03ddd2b8] Document and re-order arguments of 'decrement' (hydra)

07:42:05 [54dcd3e2] Update haddocks and drop a redundant test (hydra)

07:42:05 [7722d14b] Expand changelog entry (hydra)

07:42:05 [fcb75234] Only request snapshot on ReqDec if no snapshot in flight (hydra)

07:42:05 [ed3e4278] Remove decommitRequester (hydra)

07:42:05 [ba11cef4] Resolve some spec gap comments in head logic (hydra)

07:42:05 [ecce026d] Check decommit request against local ledger (hydra)

07:42:06 [8fac4304] Consolidate Wait outcomes for decommit request processing (hydra)

07:42:06 [05f16837] Align HeadLogic closer with spec (hydra)

07:42:06 [c9972408] Add DecommitRecorded and DecommitFinalized to genStateChanged (hydra)

07:42:06 [b3101f89] Combine requires when processing a ReqSn (hydra)

07:42:06 [3dc3966e] Make AckSn processing emit a PartySignedSnapshot (hydra)

07:42:06 [7fea1f87] Remove unused SnapshotOutcome data types (and module) (hydra)

07:42:07 [95271ca0] Not assert starting state in HeadLogicSpec (hydra)

07:42:07 [c91e9d6e] Also refactor DecrementTx/decrement/decrementTx to take a ConfirmedSnapshot (hydra)

07:42:07 [bf544e32] Remove redundant language pragmas (hydra)

07:42:07 [440e2933] Untangle some healthyXXX functions (hydra)

07:42:07 [442f5cf4] Refactor CloseTx/close/closeTx and add docs to openVersion (hydra)

07:42:07 [1a621bdf] Also refactore ContestTx/contest/contestTx to match close (hydra)

07:42:08 [66f3172b] Revert changes on ObserveConfirmedTx (hydra)

07:42:08 [88f2f26a] Clear gaps and red markup in offchain (hydra-poc)

07:42:08 [bd8aac42] Remove party checks from Model precondition (hydra)

07:42:08 [b7a7537a] Review and unmark red on-chain spec areas (hydra)

07:42:08 [0259077c] Add AssertionFailed logic error outcome and use it onDecrementTx (hydra)

07:42:08 [bd82de52] Model: genPayment to any hydra party (hydra)

07:42:08 [c755b3be] Fix TxTraceSpec by modelling snapshot versions (hydra)

07:42:09 [a99425fa] Remove redundant e2e tests (hydra)

07:42:09 [e1ec5a79] Rename a mutation enumeration to clarify (hydra)

07:42:09 [d6890dda] Further reduce complexity of decommit e2e test (hydra)

07:42:09 [5ebaa55e] Simplify decommit e2e scenario to only one decommit (hydra)

07:42:09 [2d8aee7a] Simplify aliceAddress calculation (hydra)

07:42:09 [ea26ff22] Small refactor in genOpenActions (hydra)

07:42:10 [3adc7b44] Regenerate plutus scripts after rebase (hydra)

07:42:10 [b0514a93] Update genDecrement to also have sometimes empty commits (hydra)

07:42:10 [c772a6ee] Fix warnings (hydra)

07:42:10 [c0d36879] Drop redundant test in TxSpec (hydra)

07:56:44 [e8c7a689] Add weekly development reports (cardano-org)

08:01:08 [c592556e] Property test and implement splitUTxO differently (hydra)

08:16:14 [b0bb30cd] Remove redundant Fanout mutation tests (hydra)

08:35:10 [b0c08ce5] Scheduled update (pool_groups)

09:11:48 [c8a75990] Start tuning TxTraceSpec (hydra)

09:34:26 [85c929a7] Reduce discards of fanout (hydra)

09:49:18 [cd64b70b] Merge pull request #6042 from CardanoTokenIO/add-a-new-token-1579 (cardano-token-registry)

09:51:36 [56ca5c33] Merge pull request #6039 from CardanoTokenIO/add-a-new-token-1576 (cardano-token-registry)

09:52:53 [162119a7] Merge pull request #6035 from CardanoTokenIO/add-a-new-token-1572 (cardano-token-registry)

09:55:19 [38222131] Merge pull request #6034 from CardanoTokenIO/add-a-new-token-1571 (cardano-token-registry)

09:55:37 [0435805a] Merge pull request #6032 from CardanoTokenIO/add-a-new-token-1569 (cardano-token-registry)

10:51:24 [6fb74c30] chore(release): release 6.0.0 (atala-prism-wallet-sdk-ts)

10:51:30 [1aa242d4] Notes added by 'git notes add' (atala-prism-wallet-sdk-ts)

11:02:53 [d6fd1b7c] Add media content (cardano-org)

11:10:13 [85c866eb] Add a new token (cardano-token-registry)

11:11:43 [187ad1d3] Merge pull request #6044 from CardanoTokenIO/add-a-new-token-1582 (cardano-token-registry)

11:35:12 [d1a419b5] feat(CIP-1694): votes and proposal details (openapi)

12:02:11 [925aa16f] Add a new token (cardano-token-registry)

12:23:00 [5e67b536] Add various articles (cardano-org)

12:33:57 [c00515a8] Update outdated contact form (cardano-org)

12:40:37 [e72555ef] Add a new token (cardano-token-registry)

12:48:35 [236e5a1f] Scheduled update (pool_groups)

12:51:30 [1bcf5587] feat: cardano-cli 9.1.0.0 (#19) (docker-cardano-cli)

13:04:48 [2973fd5c] WIP (lsm-tree)

13:12:31 [0da32ad1] Add a new token (cardano-token-registry)

13:18:29 [b1f673a3] Add a new token (cardano-token-registry)

13:19:27 [fc522476] Merge pull request #6048 from CardanoTokenIO/add-a-new-token-1586 (cardano-token-registry)

13:22:15 [a13adf19] Add a new token (cardano-token-registry)

13:22:56 [34591efa] Merge pull request #6049 from CardanoTokenIO/add-a-new-token-1587 (cardano-token-registry)

13:26:12 [1b1ea6a6] feat: CIP-1694 (openapi)

13:31:25 [d626c398] feat: CIP-1694 (openapi)

13:47:14 [84803051] Merge pull request #81 from adatainment/news (cardano-org)

13:52:18 [0b263950] Try something to back out shortly. (cardano-node)

13:57:01 [dca2cf91] undefined datum for plutus v3 (plu-ts)

13:57:05 [43e74e63] Update packages/e2e-tests/package.json (yoroi-frontend)

14:01:36 [9f39ccf5] update plu-ts deps (cardano-ts_beginner-to-advanced)

14:06:46 [41cfec61] haddocks (lsm-tree)

14:19:45 [bb810fcd] Add cabal skeleton (cardano-wallet)

14:26:44 [4f2f42ab] Add monkey bits calculations (lsm-tree)

14:31:01 [5c52a023] Add a new token (cardano-token-registry)

14:31:52 [cfc93ef6] Merge pull request #6050 from CardanoTokenIO/add-a-new-token-1590 (cardano-token-registry)

14:56:35 [e650f616] Merge pull request #82 from cardano-foundation/staging (cardano-org)

14:56:45 [36009cb3] bench: use GHC9.8.2 (cardano-node)

15:06:14 [a3841b87] refactored delegating to not set pools as a separate step (yoroi-frontend)

15:53:25 [ca9bedd5] flow fixes (yoroi-frontend)

15:59:26 [f8f3f9df] feat: CIP-1694 (openapi)

16:26:48 [aad564d7] fix native script fee calculation (plu-ts)

16:27:36 [c2929cba] update plu-ts deps (cardano-ts_beginner-to-advanced)

16:37:50 [515e6a35] Scheduled update (pool_groups)

16:40:06 [2ae18fbb] removed chromedriver version update on install-all (yoroi-frontend)

16:40:48 [e6c1bda8] Merge remote-tracking branch 'origin/develop' into ruslan/drep-func (yoroi-frontend)

16:41:14 [4781fd5b] Bump cardano-node to v9.0.0, Fix arion (cardano-transaction-lib)

17:05:00 [01e0f295] Add a new token (cardano-token-registry)

17:29:27 [57f331ba] Fix unit tests (cardano-browser-tx)

19:02:59 [19057e32] Add a new token (cardano-token-registry)

19:07:46 [178dda53] Migrate eslint configuration, Fix formatting-check (cardano-transaction-lib)

19:14:55 [6fbe8add] Disable plutip-dependent nix checks (cardano-browser-tx)

19:39:31 [210d5d41] Add a new token (cardano-token-registry)

19:40:42 [3b541f35] Merge pull request #6053 from CardanoTokenIO/add-a-new-token-1594 (cardano-token-registry)

20:07:45 [67952465] Add a new token (cardano-token-registry)

20:08:38 [c8a2cf01] Merge pull request #6054 from CardanoTokenIO/add-a-new-token-1595 (cardano-token-registry)

20:29:38 [a49052a0] Add a new token (cardano-token-registry)

20:34:56 [a660f2a5] fix: improve didcomm error handling through Mercury and edge agent helpers (atala-prism-wallet-sdk-ts)

20:34:57 [a973d7b0] Scheduled update (pool_groups)

20:35:54 [7a61b47e] fix: add tests for apollo for vitest browser and nodejs validated (atala-prism-wallet-sdk-ts)

20:35:54 [7ec11ce0] fix: improve build process for vitest and esbuild (atala-prism-wallet-sdk-ts)

20:35:54 [27b0259e] wip trashing rollup out (atala-prism-wallet-sdk-ts)

20:36:36 [a1cd4348] fix: tests fix (atala-prism-wallet-sdk-ts)

20:36:36 [8aabe37d] fix: improve castor tests for vitest (atala-prism-wallet-sdk-ts)

20:36:36 [a30b14ac] fix: add domain tests for vitest in both environments (atala-prism-wallet-sdk-ts)

20:36:36 [8f7cf41c] fix: optional browser shims (atala-prism-wallet-sdk-ts)

20:43:35 [eb59b704] Add a new token (cardano-token-registry)

20:44:23 [b0cf1b16] fix: removing todor from codeowners and add milosh86. (atala-prism-wallet-sdk-ts)

20:44:41 [b9459fe0] Merge pull request #6056 from CardanoTokenIO/add-a-new-token-1597 (cardano-token-registry)

21:01:27 [829691cf] Add a new token (cardano-token-registry)

21:11:36 [1a74136b] Add a new token (cardano-token-registry)

21:11:44 [0c3103e2] wip trashing rollup out (atala-prism-wallet-sdk-ts)

21:11:44 [9940dbdf] fix: add tests for apollo for vitest browser and nodejs validated (atala-prism-wallet-sdk-ts)

21:11:44 [54d7c754] fix: improve build process for vitest and esbuild (atala-prism-wallet-sdk-ts)

21:11:44 [eb25e95e] fix: improve castor tests for vitest (atala-prism-wallet-sdk-ts)

21:11:45 [6bc9d70e] fix: removing todor from codeowners and add milosh86. (atala-prism-wallet-sdk-ts)

21:11:45 [6965ae0f] fix: add domain tests for vitest in both environments (atala-prism-wallet-sdk-ts)

21:11:45 [a6b9f51a] fix: optional browser shims (atala-prism-wallet-sdk-ts)

21:11:45 [7b3cea81] fix: update dependencies (atala-prism-wallet-sdk-ts)

21:11:45 [98a658ff] fix: tests fix (atala-prism-wallet-sdk-ts)

21:26:59 [63c5bb10] fix: rollup override (atala-prism-wallet-sdk-ts)

21:40:55 [0a0dad35] fix: add rollup as optional peer dependency (atala-prism-wallet-sdk-ts)

21:45:33 [e2a16cd5] fix: remove unused dependency (atala-prism-wallet-sdk-ts)

21:57:47 [0d269785] fix: threshold level adjustments and add ignored paths for coverage (atala-prism-wallet-sdk-ts)

22:04:46 [2db6bf70] fix: add lcov coverage report for ci task (atala-prism-wallet-sdk-ts)

22:15:18 [aa4dbfb4] fix: add json summary too for coverage (atala-prism-wallet-sdk-ts)

22:19:14 [49ea1136] chore(deps): Bump github.com/blinklabs-io/gouroboros (#122) (tx-submit-api-mirror)

22:20:20 [8ec3129d] chore(deps): Bump github.com/blinklabs-io/cardano-models (tx-submit-api-mirror)

22:20:44 [f6e17a39] chore(deps): Bump github.com/blinklabs-io/gouroboros (#110) (txtop)

22:21:54 [d58b3342] chore(deps): Bump github.com/blinklabs-io/cardano-models (txtop)

22:31:32 [2cc54afb] Add a new token (cardano-token-registry)

22:32:42 [a5cadf9b] Merge pull request #6059 from CardanoTokenIO/add-a-new-token-1600 (cardano-token-registry)

22:34:18 [20c423df] implement various governance menu options (WIP) (guild-operators)

23:01:42 [f61e00c3] 🟩 preview.beta.explorer.cardano.org (preview frontend) is up (200 in 217 ms) [skip ci] [upptime] (cf-explorer-status)

23:01:42 [808ee389] 🟩 preprod.beta.explorer.cardano.org (preprod frontend) is up (200 in 249 ms) [skip ci] [upptime] (cf-explorer-status)

23:01:42 [6be5aec1] 🟩 beta.explorer.cardano.org (mainnet frontend) is up (200 in 266 ms) [skip ci] [upptime] (cf-explorer-status)

23:01:43 [49464ae6] 🟥 mainnet - API is down (200 in 242 ms) [skip ci] [upptime] (cf-explorer-status)

23:01:44 [67bd33d4] 🟩 preprod - API is up (200 in 160 ms) [skip ci] [upptime] (cf-explorer-status)

23:01:44 [fa3da1b4] 🟩 mainnet - Auth API is up (401 in 558 ms) [skip ci] [upptime] (cf-explorer-status)

23:01:45 [279afbca] 🟥 preview - API is down (200 in 175 ms) [skip ci] [upptime] (cf-explorer-status)

23:01:45 [7b849666] 🟩 preprod - Auth API is up (401 in 482 ms) [skip ci] [upptime] (cf-explorer-status)

23:01:46 [d1593791] 🟩 preview - Auth API is up (401 in 568 ms) [skip ci] [upptime] (cf-explorer-status)

23:03:44 [5700a90c] 🟩 API (All properties) is up (204 in 611 ms) [skip ci] [upptime] (cf-token-metadata-registry-status)

23:03:44 [a5ffc247] 🟩 API (Specific property) is up (204 in 98 ms) [skip ci] [upptime] (cf-token-metadata-registry-status)

23:03:44 [bce0209b] 🟩 API (Batch) is up (204 in 97 ms) [skip ci] [upptime] (cf-token-metadata-registry-status)

23:05:43 [9296d222] 🟥 1694ballot.cardano.org is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

23:05:43 [f3c89436] 🟥 event-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

23:05:44 [ff492de4] 🟥 blockchain-follower-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

23:05:44 [2c5e0738] 🟥 login-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

23:05:44 [e90e220d] 🟥 get-votes-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

23:05:44 [c0ff9d0a] 🟥 get-vote-receipt-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

23:05:44 [e742e81f] 🟥 cast-vote-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

Cardano Updates

Home / Reports / Jul 20, 2024