{"action":"created","issue":{"url":"https://api.github.com/repos/MersenneForum/MersenneForumAliquot/issues/16","repository_url":"https://api.github.com/repos/MersenneForum/MersenneForumAliquot","labels_url":"https://api.github.com/repos/MersenneForum/MersenneForumAliquot/issues/16/labels{/name}","comments_url":"https://api.github.com/repos/MersenneForum/MersenneForumAliquot/issues/16/comments","events_url":"https://api.github.com/repos/MersenneForum/MersenneForumAliquot/issues/16/events","html_url":"https://github.com/MersenneForum/MersenneForumAliquot/issues/16","id":296625452,"number":16,"title":"verify elf file integrity and termination of sequences","user":{"login":"ChristianBeer","id":997210,"avatar_url":"https://avatars3.githubusercontent.com/u/997210?v=4","gravatar_id":"","url":"https://api.github.com/users/ChristianBeer","html_url":"https://github.com/ChristianBeer","followers_url":"https://api.github.com/users/ChristianBeer/followers","following_url":"https://api.github.com/users/ChristianBeer/following{/other_user}","gists_url":"https://api.github.com/users/ChristianBeer/gists{/gist_id}","starred_url":"https://api.github.com/users/ChristianBeer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ChristianBeer/subscriptions","organizations_url":"https://api.github.com/users/ChristianBeer/orgs","repos_url":"https://api.github.com/users/ChristianBeer/repos","events_url":"https://api.github.com/users/ChristianBeer/events{/privacy}","received_events_url":"https://api.github.com/users/ChristianBeer/received_events","type":"User","site_admin":false},"labels":[{"id":130560846,"url":"https://api.github.com/repos/MersenneForum/MersenneForumAliquot/labels/enhancement","name":"enhancement","color":"84b6eb","default":true}],"state":"open","locked":false,"assignee":{"login":"ChristianBeer","id":997210,"avatar_url":"https://avatars3.githubusercontent.com/u/997210?v=4","gravatar_id":"","url":"https://api.github.com/users/ChristianBeer","html_url":"https://github.com/ChristianBeer","followers_url":"https://api.github.com/users/ChristianBeer/followers","following_url":"https://api.github.com/users/ChristianBeer/following{/other_user}","gists_url":"https://api.github.com/users/ChristianBeer/gists{/gist_id}","starred_url":"https://api.github.com/users/ChristianBeer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ChristianBeer/subscriptions","organizations_url":"https://api.github.com/users/ChristianBeer/orgs","repos_url":"https://api.github.com/users/ChristianBeer/repos","events_url":"https://api.github.com/users/ChristianBeer/events{/privacy}","received_events_url":"https://api.github.com/users/ChristianBeer/received_events","type":"User","site_admin":false},"assignees":[{"login":"ChristianBeer","id":997210,"avatar_url":"https://avatars3.githubusercontent.com/u/997210?v=4","gravatar_id":"","url":"https://api.github.com/users/ChristianBeer","html_url":"https://github.com/ChristianBeer","followers_url":"https://api.github.com/users/ChristianBeer/followers","following_url":"https://api.github.com/users/ChristianBeer/following{/other_user}","gists_url":"https://api.github.com/users/ChristianBeer/gists{/gist_id}","starred_url":"https://api.github.com/users/ChristianBeer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ChristianBeer/subscriptions","organizations_url":"https://api.github.com/users/ChristianBeer/orgs","repos_url":"https://api.github.com/users/ChristianBeer/repos","events_url":"https://api.github.com/users/ChristianBeer/events{/privacy}","received_events_url":"https://api.github.com/users/ChristianBeer/received_events","type":"User","site_admin":false}],"milestone":null,"comments":11,"created_at":"2018-02-13T06:15:46Z","updated_at":"2018-02-16T16:12:16Z","closed_at":null,"author_association":"COLLABORATOR","body":"Because sequences in FDB can be broken and show as terminated when they are not, it is important to check the FDB generated ELF file when a termination is detected. Originally I wanted to use the aliqueit tool to do this but it seems easier to migrate the [parse_elf() function](https://github.com/ChristianBeer/aliqueit/blob/master/src/aliqueit/aliqueit.cc#L712) from C++ to python and integrate this with the current scripts.\r\n\r\nFirst thoughts:\r\n- Have a separate script run once a day that tests all sequences in `allseq.terms.txt`\r\n- The script downloads the ELF from FDB and verifies it\r\n- If the sequence terminates, it will be added to `allseq.drops.txt`, if not an email is send and it will be added to `allseq.broken.txt`\r\n- We don't necessarily need a standalone script but downloading the ELF takes some time so I want to do it outside of the normal update cycle"},"comment":{"url":"https://api.github.com/repos/MersenneForum/MersenneForumAliquot/issues/comments/366280075","html_url":"https://github.com/MersenneForum/MersenneForumAliquot/issues/16#issuecomment-366280075","issue_url":"https://api.github.com/repos/MersenneForum/MersenneForumAliquot/issues/16","id":366280075,"user":{"login":"dubslow","id":6127392,"avatar_url":"https://avatars0.githubusercontent.com/u/6127392?v=4","gravatar_id":"","url":"https://api.github.com/users/dubslow","html_url":"https://github.com/dubslow","followers_url":"https://api.github.com/users/dubslow/followers","following_url":"https://api.github.com/users/dubslow/following{/other_user}","gists_url":"https://api.github.com/users/dubslow/gists{/gist_id}","starred_url":"https://api.github.com/users/dubslow/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dubslow/subscriptions","organizations_url":"https://api.github.com/users/dubslow/orgs","repos_url":"https://api.github.com/users/dubslow/repos","events_url":"https://api.github.com/users/dubslow/events{/privacy}","received_events_url":"https://api.github.com/users/dubslow/received_events","type":"User","site_admin":false},"created_at":"2018-02-16T16:12:16Z","updated_at":"2018-02-16T16:12:16Z","author_association":"COLLABORATOR","body":"I don't see the problem with broken indices. The script as in the pull request correctly detects that 72708 is a false merger, and the error printed by aliqueit indeed points at index 255 as the problem. The entire elf file is completely checked for authenticity.\r\n\r\nThe problem with primality that I mean is that aliqueit checks that *every factor in the entire elf is (probably) prime*. Meaning that, in order to duplicate what aliqueit can do, we need a way to test n-hundred digit numbers for primality in Python -- decidedly non-trivial, requiring some external dependency (which would most likely depend on gmp anyways, in all probability)."}}
{"actor":{"display_login":"dubslow"}}