Home / Reports / Jan 23, 2026
Friday, January 23, 2026
696 commits had been pushed across 70 repos by 98 authors. There were 12,134,271 additions and 239,741 deletions. Official weekly status updates can be found on essentialcardano.io.
Authors
Repos Updated
- ouroboros-network80
- mithril56
- formal-ledger-specifications45
- cardano-api41
- cf-identity-wallet36
- acropolis33
- plutus31
- cardano-ledger30
- dingo29
- catalyst-voices29
- ouroboros-consensus21
- ouroboros-leios16
- cardano-haskell-packages16
- amaru14
- cf-summit-evoting-status12
- cardano-node12
- cardano-ledger11
- cf-cip1694-ballot-status10
- ouroboros-leios-sim9
- formal-ledger-specifications9
- hydra-poc8
- cardano-node8
- cardano-playground7
- cardano-base7
- blockfrost-platform6
- koios-artifacts6
- cf-token-metadata-registry-status6
- yoroi-frontend6
- hermes6
- gouroboros5
- CIPs5
- developer-portal5
- cardano-api5
- essential-cardano-content5
- cardano-cli4
- web3-sdk4
- dolos4
- plutigo3
- cardano-blueprint-and-ecosystem-monitoring3
- cardano-rosetta-java3
- capkgs3
- cardano-base3
- cardano-cli3
- haskell.nix3
- mesh3
- bursa2
- pool_groups2
- cardano-ambassador-tool2
- cardano-governance-voting-tool2
- cardano-token-registry2
- catalyst-close-reports2
- io-sim2
- cardano-updates2
- Intersect-knowledge-base2
- uplc2
- cardano-dpp-standards1
- cardano-ibc-incubator1
- cardano-org1
- yoroi-mobile1
- cardano-faucet1
- cardano-haskell-package-repo1
- cardano-ledger-specs1
- cardano-parts1
- cardano-updates1
- cuddle1
- hydra1
- stackage.nix1
- core-infrastructure-documentation1
- developer-experience1
- governance1
Commit Log
00:08:52
[8f3ccdf8]
Fix more heap exhaustion failures in cardano-diffusion tests
(ouroboros-network)
00:13:50
[5c8e1fe4]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-token-metadata-registry-status)
00:13:50
[94d3e78d]
:pencil: Update summary in README [skip ci] [upptime]
(cf-token-metadata-registry-status)
00:19:37
[bd46e928]
fix(connmanager): track goroutines with wait group for clean shutdown (#1240)
(dingo)
00:28:43
[ef6c2863]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-cip1694-ballot-status)
00:28:43
[bd9ba68f]
:pencil: Update summary in README [skip ci] [upptime]
(cf-cip1694-ballot-status)
00:36:01
[920073d8]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-summit-evoting-status)
00:36:01
[bc412e6f]
:pencil: Update summary in README [skip ci] [upptime]
(cf-summit-evoting-status)
01:10:53
[852052a4]
feat(ibc): standardize proofs and carry HostState evidence in Mithril headers, changes the Gateway + packet-forwarding chain integration so Hermes/Cosmos can consume Cardano IBC queries using canonical IBC wire formats and an authenticated Cardano ibc_state_root
(cardano-ibc-incubator)
01:15:52
[7d86fb63]
Update spec/plan/code to allow incremental feedback utterances before PR merge
(acropolis)
02:19:17
[2fef01b6]
Merge pull request #5528 from IntersectMBO/aniketd/rename-reward-account
(cardano-ledger)
02:22:11
[4e788cff]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 2fef01b6cc6c13ec1f862b48b002fde736bbafd8
(cardano-ledger)
03:05:44
[c6b5be85]
Bump chromedriver from 143.0.4 to 144.0.0 in /packages/e2e-tests
(yoroi-frontend)
04:02:52
[30c68032]
feat: implement AVVM cancellation handling at Allegra boundary with state tracking
(acropolis)
05:58:18
[9c028cb2]
Artifacts generated from 50d035c113579aaa74b8315788df84f03ebc74dd
(formal-ledger-specifications)
06:00:55
[045f26c6]
Artifacts generated from fbc5e82ee4583e45ccdd8db2f3026140707acd4c
(formal-ledger-specifications)
06:27:07
[18ed26e7]
Artifacts generated from edcc0d92a2a09ec31efb6109a3d3b6d177d0ea5c
(formal-ledger-specifications)
08:39:25
[216ee9f6]
Merge pull request #2938 from input-output-hk/hjeljeli32/msnark/create-snark-module
(mithril)
08:50:08
[79e95c82]
Revise ouroboros-consensus-protocol for ouroboros-consensus-0.29.0.0
(cardano-haskell-packages)
09:13:23
[42099d0c]
Merge pull request #6 from cardano-foundation/CPS-Update
(cardano-dpp-standards)
09:14:12
[3e4860d9]
feat(stm): First implementation of the Digest trait for the Poseidon hash
(mithril)
09:14:12
[ce94e68b]
feature(stm): updated the Digest implementation to pad the buffer with 0s and added some tests
(mithril)
09:14:13
[ad107e79]
test(stm): duplicated the merkle tree tests to test the new poseidon wrapper
(mithril)
09:15:00
[485b54d6]
refactor(stm): moved the digest implementation for Poseidon to a dedicated module for hash
(mithril)
09:15:12
[fd1f90b2]
test(stm): Added golden test and a test showing a collision of the poseidon digest
(mithril)
09:16:12
[6bbf1941]
Merge branch 'main' of github.com:cardano-foundation/cardano-ambassador-tool into dev
(cardano-ambassador-tool)
09:17:02
[2412fea7]
Merge branch 'main' of github.com:input-output-hk/acropolis into shd/change-governance
(acropolis)
09:43:27
[3fdf7b50]
Merge pull request #2936 from input-output-hk/damrobi/msnark/impl-digest-trait-for-poseidon
(mithril)
09:53:37
[46c2d4d3]
fix: correct db query for cleaning up pending operations for ipex notification deletion (#1552)
(cf-identity-wallet)
10:04:00
[8c84e76c]
Merge branch 'feat/voting_dreps_delegation' into feat/reusable-document-builder-3955
(catalyst-voices)
10:11:00
[14419a35]
refactor(aggregator): Aggregate Verification Key SNARK-friendly version
(mithril)
10:14:17
[0d0a9e05]
update announcement bar CTA - intersect state of developer experience survey
(developer-portal)
10:19:08
[0b4bbb4d]
Merge branch 'staging' into intersect-dev-survey-announcement
(developer-portal)
10:23:39
[d0e3d2d3]
Deploying to gh-pages from @ cardano-scaling/hydra@20c3ca203f38af1c6ec1e9e5db7821524101fcb1 🚀
(hydra)
10:24:04
[7095b817]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 7025c8533cde6fc82a7ccb405dbcef4e6baa30a4
(cardano-ledger)
10:25:44
[7a5b8585]
update announcement bar CTA - intersect state of developer experience survey (#1701)
(developer-portal)
10:37:23
[80c9aa1a]
Merge pull request #4493 from Emurgo/dependabot/npm_and_yarn/packages/e2e-tests/chromedriver-144.0.0
(yoroi-frontend)
10:40:14
[b892af63]
fix: implement handling for broken 1.1.X deleted mHab format and reso… (#1549)
(cf-identity-wallet)
10:54:42
[0527f555]
Replace implicit `fromIntegral` usage across codebase with explicit source/target types using `TypeApplications`.
(cardano-base)
10:55:38
[09437c05]
Add Live Tracker and Mempool Simulation sections to landing page
(ouroboros-leios-sim)
10:59:05
[782330cc]
fix(core): use correct hab name format when deleting wallet identifiers
(cf-identity-wallet)
11:06:38
[fdd1af30]
fix: replace IdentifierService.DELETED_IDENTIFIER_THEME with direct reference
(cf-identity-wallet)
11:13:55
[c11188e2]
Merge pull request #37 from resgsh/atomic-transaction-rebased
(cardano-blueprint-and-ecosystem-monitoring)
11:14:01
[b44af98e]
[EC Api] - Added: Weekly development report as of 2026-01-23
(essential-cardano-content)
11:16:06
[5960f3d4]
chore: add wallet jsons to gitigore
(cardano-blueprint-and-ecosystem-monitoring)
11:16:20
[de7597fe]
Update weekly-development-report-as-of-2026-01-23.md
(essential-cardano-content)
11:17:09
[59fb1ad4]
Artifacts generated from c40101f4b9b75daaceda902fc2ed0722c0f734fe
(formal-ledger-specifications)
11:20:02
[045d9885]
Merge pull request #1654 from input-output-hk/olga-hryniuk/contrib/weekly-development-report-as-of-2026-01-23-1769166840522
(essential-cardano-content)
11:23:21
[0abf08f4]
Merge pull request #36 from danielfsha/feat/pricebet
(cardano-blueprint-and-ecosystem-monitoring)
11:28:36
[c3391c9d]
Auto-save rationale when uploading to IPFS (#129)
(cardano-governance-voting-tool)
11:29:06
[49d40f2d]
Add buttons shortcuts to add references to the constitution and proposal metadata (#128)
(cardano-governance-voting-tool)
11:30:31
[f62cf950]
leios: Change the forgeBlock signature and wrestle HFC with the help of Gemini
(ouroboros-consensus)
11:31:29
[453c1be9]
Merge pull request #12 from tweag/cip-canonical-chunk-explicit-ns-key-size
(CIPs)
11:33:19
[a4113ea4]
Merge pull request #2880 from input-output-hk/curiecrypt/msnark/key-registration
(mithril)
11:33:19
[dcf7d53f]
Merge remote-tracking branch 'origin/master' into scls-canonical-2
(cardano-ledger)
11:36:46
[4b7acc5d]
refactor(aggregator): Aggregate Verification Key SNARK-friendly version
(mithril)
11:42:19
[e6b04e40]
fix(ui): Stale connection and Connection details design mismatch (#1547)
(cf-identity-wallet)
11:42:19
[dfb4d98f]
feat(ui): Improve error messages when adding connections (#1545)
(cf-identity-wallet)
11:42:19
[cb6e59b6]
feat(ui): Add PIN/Password fallback for biometric-protected in-app actions (#1544)
(cf-identity-wallet)
11:42:19
[69ed013d]
fix(core): connection name should be profile scoped (#1530)
(cf-identity-wallet)
11:42:19
[8f61fcbf]
fix: correct db query for cleaning up pending operations for ipex notification deletion (#1552)
(cf-identity-wallet)
11:42:19
[2e1f617d]
feat: more appropraite toast messages for negative boot/connect onboarding/recovery flows (#1542)
(cf-identity-wallet)
11:42:19
[f6e305ae]
fix(ui): clear error of ssi input when new error appear (#1546)
(cf-identity-wallet)
11:42:19
[5bb46025]
fix: implement handling for broken 1.1.X deleted mHab format and reso… (#1549)
(cf-identity-wallet)
11:43:55
[c92a5c96]
test(core): Cleam up long-runningoperaionts when profiles are deleted
(cf-identity-wallet)
11:51:57
[61503f2f]
leios: Wire Shelley and Byron and we're ready to produce EBs in Shelley
(ouroboros-consensus)
11:55:13
[376235c4]
Merge pull request #2951 from input-output-hk/jpraynaud/2795-refactor-stm-snark-friendly-avk
(mithril)
12:13:34
[7fc25fc0]
feat(hermes): Unsubscribe from ".dif" when the subscription is no longer needed (#775)
(hermes)
12:20:24
[8e9b92e0]
Merge branch 'feat/voting_dreps_delegation' into feat/document-viewer-3956
(catalyst-voices)
12:22:55
[f1f2a5f1]
Merge branch 'feat/account_voting_role_3958' of github.com:input-output-hk/catalyst-voices into feat/account_voting_role_3958
(catalyst-voices)
12:23:23
[024c25c4]
Merge branch 'feat/voting_dreps_delegation' into feat/account_voting_role_3958
(catalyst-voices)
12:34:36
[20850f75]
Merge branch 'feat/voting_dreps_delegation' into feat/global-synchronisation-indicator
(catalyst-voices)
12:37:37
[256bf0d7]
Implement block diffusion through network (upstream to downstream)
(ouroboros-leios-sim)
12:42:45
[e7fe805a]
net-sim: integrated txSubmissionV2 in testnet diffusion simulation
(ouroboros-network)
12:42:45
[480f79f3]
tx-submission: refactored TxSubmission files and added V2 sim
(ouroboros-network)
12:42:45
[1e051034]
tx-submission: inbound peer using tx-submission decision logic
(ouroboros-network)
12:42:45
[97506fa9]
tx-submission: submit txs to the mempool even if we don't send MsgRequestTxIds
(ouroboros-network)
12:42:45
[db3e8c69]
net-sim: do not render saTxDecisionPolicy field of SimArgs in test coverage
(ouroboros-network)
12:42:45
[9f317314]
tx-submission: show number of txs transferred in test simulations
(ouroboros-network)
12:42:45
[dc7b2fb4]
tx-submission: moved TxDecisionPolicy to MiniProtocolParamenters
(ouroboros-network)
12:42:45
[4ec31f82]
tx-submission: improved logging for prop_accept_failure test failures
(ouroboros-network)
12:42:45
[d6eebecb]
tx-submission: deriving Eq and Show for EnableNewTxSubmissionProtocol
(ouroboros-network)
12:42:45
[1bb4ae70]
tx-submission: TraceTxSubmissionProcessed for the new TX submission
(ouroboros-network)
12:43:15
[b77de54a]
Merge remote-tracking branch 'origin/feat/global-synchronisation-indicator' into feat/global-synchronisation-indicator
(catalyst-voices)
12:54:31
[c1f88404]
Merge branch 'develop' into VT20-2381-ensure-operations-for-pending-profiles-are-removed-on-profile-deletion-and-not-recovered
(cf-identity-wallet)
13:09:15
[568a1d39]
Merge branch 'feat/voting_dreps_delegation' into feat/voting-space-access-3960
(catalyst-voices)
13:36:56
[da7428a7]
refactor: extract database indexes to dedicated configuration file with SQL commands
(cardano-rosetta-java)
13:54:27
[f5e2bf36]
Use `ConwayDelegPredFailure` injection in `conwayDelegTransition`
(cardano-ledger)
13:57:17
[0f70d371]
refactor: extract database indexes to dedicated configuration file with SQL commands
(cardano-rosetta-java)
14:05:03
[465be40c]
Merge branch 'feat/voting_dreps_delegation' into feat/document-viewer-3956
(catalyst-voices)
14:21:09
[812e8336]
test(core): remove Happy path from private function tests and keep it from interface
(cf-identity-wallet)
14:22:20
[4fd630c8]
Merge pull request #141 from thisisobate/new-resource-pdf
(developer-experience)
14:57:05
[e7a326ab]
Merge branch 'feat/voting_dreps_delegation' into fix/workspace-bloc-out-of-context-spaces
(catalyst-voices)
15:05:44
[b855b854]
Artifacts generated from 9e1c7b28704a98b30d05a2f2edac6ab452966b67
(formal-ledger-specifications)
15:09:06
[f72d270d]
Add --cse-which-subterms flag to let CSE consider all (including work-free) subterms
(plutus)
15:10:26
[cdf8c503]
test: add a test showing that an initiator can eventually connect when the responder is started
(amaru)
15:20:28
[260916b8]
Update golden for BuiltinList.Budget tests, to use default optimisation options
(plutus)
15:21:20
[af683773]
Artifacts generated from ccdf3e8a7ff09d3798471d3d96a6ddfa77494b03
(formal-ledger-specifications)
15:31:56
[34143a67]
test: bech32 edge cases, more deps, data_node tests common
(blockfrost-platform)
15:42:51
[9d4c7916]
feat(core): Clean up long-running operations when profiles are deleted (#1543)
(cf-identity-wallet)
15:57:04
[f4534794]
Merge pull request #529 from input-output-hk/shd/drep-validation-outcomes
(acropolis)
15:58:30
[8acc1940]
Merge branch 'main' of github.com:input-output-hk/acropolis into shd/epochs-validation-outcomes
(acropolis)
16:03:57
[0dee5571]
Artifacts generated from 10c76eac61fc70b238f04dce8b1aaf382b82a425
(formal-ledger-specifications)
16:05:19
[89c5ab07]
Add abstract functions and types for handling time
(formal-ledger-specifications)
16:06:52
[7f13c77f]
Update tests to confirm the old and new fee calculation methods are the
(cardano-api)
16:07:01
[b1da55be]
Add check in estimateTxBody to fail if the available ada in the utxo is
(cardano-api)
16:07:01
[e42d72e2]
Introduce equivalent fee estimation function for the new TxBodyContent
(cardano-api)
16:07:03
[f24c0f9c]
Update AnyProtocolUpdate and createCompatibleTx to use experimental api
(cardano-api)
16:32:47
[b979081a]
[Dijkstra] UTXOW: Implement languages and allowedLanguages (#1038)
(formal-ledger-specifications)
16:32:55
[62ae4158]
Add 295cba6f5a24c86b9da26175e2d03717591a92fbaa8a0b5a98195a414e4f4359
(cardano-token-registry)
16:43:08
[cccc4947]
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 7ce65e5fc43ebfaf517963dbaac264e7e1791113
(plutus)
16:52:36
[1aa92ecd]
Merge branch 'feat/voting_dreps_delegation' into feat/document-viewer-3956
(catalyst-voices)
16:54:58
[e45c7a62]
Artifacts generated from b979081a50f28a3ff241224f510f01e7b4909a62
(formal-ledger-specifications)
17:12:48
[b8f41656]
Add abstract functions and types for handling time
(formal-ledger-specifications)
17:13:45
[1c728dc2]
Add premise on epochInfoSlotToUTCTime to UTXO rule
(formal-ledger-specifications)
17:24:40
[d6695b29]
Merge branch 'feat/voting_dreps_delegation' into feat/expanded_fab_3993
(catalyst-voices)
17:43:33
[36ca249c]
chore: get rid of 'MintedTransactionBody' in favor of a single 'TransactionBody'
(amaru)
18:07:40
[c35994af]
feat(cardano-node-chain): define `ChainDataStore` methods to store both blocks & transactions
(mithril)
18:07:41
[9bde3bc3]
feat(cardano-node-chain): make importer store blocks alongside transactions
(mithril)
18:25:28
[6904b650]
Modified logging in support of mempool fragmentation experiments
(ouroboros-leios-sim)
18:27:47
[55d9c331]
refactor(persistence): add a FK from `cardano_transaction` table to `cardano_block`
(mithril)
18:32:45
[144b207a]
Merge pull request #5531 from IntersectMBO/td/sub-govcert-implementation
(cardano-ledger)
18:35:42
[336bacfa]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 144b207a7bf3981db96ca87c6ad800265c04d8e2
(cardano-ledger)
18:56:47
[3c06e251]
Use `ConwayDelegPredFailure` injection in `conwayDelegTransition`
(cardano-ledger)
19:09:37
[e98c2224]
Add batch-level coin mint constraint to prevent Ada forgery (#1023)
(formal-ledger-specifications)
19:09:37
[d7d821f4]
Update src/Ledger/Dijkstra/Specification/Utxo.lagda.md
(formal-ledger-specifications)
19:09:37
[c3fb8477]
Update src/Ledger/Dijkstra/Specification/Utxo.lagda.md
(formal-ledger-specifications)
19:09:37
[4025f519]
changed globalScripts type; fixed Transaction docs
(formal-ledger-specifications)
19:09:37
[7409d4cb]
clean up and correct consumed/produced accounting
(formal-ledger-specifications)
19:13:42
[c8dabcf6]
feat: add index-applier container for deferred index creation
(cardano-rosetta-java)
19:22:06
[11a70522]
Add time translation functions for Slots and POSIXTime
(formal-ledger-specifications)
19:55:56
[b0024d4e]
[EC Api] - Added: An AI agent building on top of the Andamio protocol
(essential-cardano-content)
19:56:53
[45e2d710]
[EC Api] - Update: An AI agent building on top of the Andamio protocol
(essential-cardano-content)
20:18:59
[3ad3b6ff]
Revise ouroboros-consensus-protocol for ouroboros-consensus-0.29.0.0
(cardano-haskell-packages)
20:26:18
[1e870286]
deleg-script: rm --print-only arg code gating in prep for deleg sql
(cardano-playground)
20:32:45
[b0d254ee]
deleg-script: add faucet deleg address table sql to the --print-only arg
(cardano-playground)
20:33:03
[15197fd5]
Release Consensus packages for the next 10.6.x cardano-node (#1216)
(cardano-haskell-packages)
20:33:56
[33e9ad6b]
deleg-script: add stake sig for stake reg and pad output txsigned file index
(cardano-playground)
20:34:46
[9b9ad26a]
recipes: update dbsync-prep for compat with --print-only updates
(cardano-playground)
20:42:54
[7f7e0b07]
Update from 15197fd5740c2eb0b7cc8be0c21de0e627558ef8
(cardano-haskell-package-repo)
20:46:13
[e08eea0f]
feat: implement MIR override vs sum semantics for pre-Alonzo/Alonzo+
(acropolis)
20:47:39
[95c352ca]
Merge pull request #5536 from IntersectMBO/aniketd/cddl-remove-old-certs
(cardano-ledger)
20:50:27
[1538e48d]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 95c352cacf161e576c90a27049674f1f8dc99e25
(cardano-ledger-specs)
22:33:59
[68af049b]
Merge pull request #739 from input-output-hk/bwbush/mempool-sim-4
(ouroboros-leios-sim)
23:05:02
[c57f88cd]
🟩 API (Specific property) is up (204 in 165 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:05:02
[bbdd62a6]
🟩 API (All properties) is up (204 in 849 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:05:03
[f3fd1425]
🟩 API (Batch) is up (204 in 165 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:07:48
[81be5998]
🟥 1694ballot.cardano.org is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:49
[8a421be1]
🟥 event-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:50
[7913521d]
🟥 blockchain-follower-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:50
[ce3e6201]
🟥 login-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:51
[c16f5326]
🟥 get-votes-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:51
[7ee44b39]
🟥 get-vote-receipt-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:07:51
[a8806f1f]
🟥 cast-vote-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:08:33
[8dc685e6]
🟩 voting.summit.cardano.org is up (200 in 218 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:08:34
[75645766]
🟩 event-api is up (200 in 647 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:08:35
[af3c0a8b]
🟩 user-verification-api is up (405 in 644 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:08:35
[3f92017b]
🟩 blockchain-follower-api is up (200 in 152 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:08:36
[94b19543]
🟩 cast-vote-api is up (401 in 405 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:08:36
[d2bbeebd]
🟩 login-api is up (401 in 449 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:08:37
[d67c4652]
🟩 get-votes-api is up (401 in 407 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:08:37
[3a432997]
🟩 get-vote-receipt-api is up (401 in 161 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:53:35
[7b7482c7]
refactor(tests): improve onboarding SSI Agent tests and webview handling
(cf-identity-wallet)