--- Log opened Wed Oct 04 00:00:46 2023
03:55 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Ping timeout: 252 seconds]
03:56 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined ##miniscript
04:23 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has joined ##miniscript
04:50 -!- salvatoshi_ [~salvatosh@ip-165.net-89-3-198.rev.numericable.fr] has joined ##miniscript
04:52 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has quit [Ping timeout: 255 seconds]
06:29 -!- salvatoshi__ [~salvatosh@ip-165.net-89-3-198.rev.numericable.fr] has joined ##miniscript
06:31 -!- salvatoshi_ [~salvatosh@ip-165.net-89-3-198.rev.numericable.fr] has quit [Ping timeout: 245 seconds]
07:26 -!- salvatoshi__ [~salvatosh@ip-165.net-89-3-198.rev.numericable.fr] has quit [Quit: Leaving]
07:26 -!- salvatoshi [~salvatosh@ip-165.net-89-3-198.rev.numericable.fr] has joined ##miniscript
07:59 -!- salvatoshi_ [~salvatosh@ip-165.net-89-3-198.rev.numericable.fr] has joined ##miniscript
07:59 -!- salvatoshi_ [~salvatosh@ip-165.net-89-3-198.rev.numericable.fr] has quit [Remote host closed the connection]
08:20 <@sipa> darosior: i think the website is missing a non-canonical dissatisfaction for multi_a: any list of signatures for which strictly more than k or less than k are valid
08:21 <@sipa> i don't believe this changes any of the type properties
08:34 < darosior> Oh, right.
08:36 < darosior> Trying to think about the properties now
08:46 < darosior> I don't think this change any type property (in passing actually multi_a could have the 'o' property when k == 1 :p)
08:47 < darosior> However i could probably mark them as NonCanon() and Malleable() in the implementation, although as for thresh() it's not strictly necessary
08:47 <@sipa> I believe that's correct.
08:48 <@sipa> Because the non-canonical dissatisfactions all require at least one signature.
08:48 < darosior> Should i infer from this discussion that you are having a look at the TapMiniscript PR? :)
08:48 <@sipa> yes
08:49 < darosior> 🚀
09:33 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 258 seconds]
11:27 -!- ghost43_ [~ghost43@gateway/tor-sasl/ghost43] has joined ##miniscript
11:28 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Ping timeout: 252 seconds]
11:32 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
12:45 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 255 seconds]
19:07 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
19:13 -!- MatrixBot1234561 [~matrixbot@2001:bc8:1824:bc3::1] has quit [Ping timeout: 272 seconds]
19:31 -!- MatrixBot1234561 [~matrixbot@2001:bc8:1824:bc3::1] has joined ##miniscript
22:00 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined ##miniscript
22:01 -!- ghost43_ [~ghost43@gateway/tor-sasl/ghost43] has quit [Ping timeout: 252 seconds]
22:56 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
22:56 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined ##miniscript
23:11 -!- salvatoshi__ [~salvatosh@genymobile-2-6-86.fib.nerim.net] has joined ##miniscript
23:12 -!- salvatoshi [~salvatosh@ip-165.net-89-3-198.rev.numericable.fr] has quit [Ping timeout: 255 seconds]
--- Log closed Thu Oct 05 00:00:48 2023