{"action":"opened","issue":{"url":"https://api.github.com/repos/input-output-hk/fm-ledger-rules/issues/100","repository_url":"https://api.github.com/repos/input-output-hk/fm-ledger-rules","labels_url":"https://api.github.com/repos/input-output-hk/fm-ledger-rules/issues/100/labels{/name}","comments_url":"https://api.github.com/repos/input-output-hk/fm-ledger-rules/issues/100/comments","events_url":"https://api.github.com/repos/input-output-hk/fm-ledger-rules/issues/100/events","html_url":"https://github.com/input-output-hk/fm-ledger-rules/issues/100","id":384974536,"node_id":"MDU6SXNzdWUzODQ5NzQ1MzY=","number":100,"title":"Explicit Fees (executable model)","user":{"login":"JaredCorduan","id":943479,"node_id":"MDQ6VXNlcjk0MzQ3OQ==","avatar_url":"https://avatars0.githubusercontent.com/u/943479?v=4","gravatar_id":"","url":"https://api.github.com/users/JaredCorduan","html_url":"https://github.com/JaredCorduan","followers_url":"https://api.github.com/users/JaredCorduan/followers","following_url":"https://api.github.com/users/JaredCorduan/following{/other_user}","gists_url":"https://api.github.com/users/JaredCorduan/gists{/gist_id}","starred_url":"https://api.github.com/users/JaredCorduan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JaredCorduan/subscriptions","organizations_url":"https://api.github.com/users/JaredCorduan/orgs","repos_url":"https://api.github.com/users/JaredCorduan/repos","events_url":"https://api.github.com/users/JaredCorduan/events{/privacy}","received_events_url":"https://api.github.com/users/JaredCorduan/received_events","type":"User","site_admin":false},"labels":[{"id":1104173005,"node_id":"MDU6TGFiZWwxMTA0MTczMDA1","url":"https://api.github.com/repos/input-output-hk/fm-ledger-rules/labels/executable-model","name":"executable-model","color":"7057ff","default":false}],"state":"open","locked":false,"assignee":{"login":"JaredCorduan","id":943479,"node_id":"MDQ6VXNlcjk0MzQ3OQ==","avatar_url":"https://avatars0.githubusercontent.com/u/943479?v=4","gravatar_id":"","url":"https://api.github.com/users/JaredCorduan","html_url":"https://github.com/JaredCorduan","followers_url":"https://api.github.com/users/JaredCorduan/followers","following_url":"https://api.github.com/users/JaredCorduan/following{/other_user}","gists_url":"https://api.github.com/users/JaredCorduan/gists{/gist_id}","starred_url":"https://api.github.com/users/JaredCorduan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JaredCorduan/subscriptions","organizations_url":"https://api.github.com/users/JaredCorduan/orgs","repos_url":"https://api.github.com/users/JaredCorduan/repos","events_url":"https://api.github.com/users/JaredCorduan/events{/privacy}","received_events_url":"https://api.github.com/users/JaredCorduan/received_events","type":"User","site_admin":false},"assignees":[{"login":"JaredCorduan","id":943479,"node_id":"MDQ6VXNlcjk0MzQ3OQ==","avatar_url":"https://avatars0.githubusercontent.com/u/943479?v=4","gravatar_id":"","url":"https://api.github.com/users/JaredCorduan","html_url":"https://github.com/JaredCorduan","followers_url":"https://api.github.com/users/JaredCorduan/followers","following_url":"https://api.github.com/users/JaredCorduan/following{/other_user}","gists_url":"https://api.github.com/users/JaredCorduan/gists{/gist_id}","starred_url":"https://api.github.com/users/JaredCorduan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JaredCorduan/subscriptions","organizations_url":"https://api.github.com/users/JaredCorduan/orgs","repos_url":"https://api.github.com/users/JaredCorduan/repos","events_url":"https://api.github.com/users/JaredCorduan/events{/privacy}","received_events_url":"https://api.github.com/users/JaredCorduan/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/input-output-hk/fm-ledger-rules/milestones/1","html_url":"https://github.com/input-output-hk/fm-ledger-rules/milestone/1","labels_url":"https://api.github.com/repos/input-output-hk/fm-ledger-rules/milestones/1/labels","id":3752655,"node_id":"MDk6TWlsZXN0b25lMzc1MjY1NQ==","number":1,"title":"Ledger w/ Delegation","description":"Create a formal specification for the ledger rules for the Shelley release.  This includes the delegation design.\r\n\r\nThis work includes: 1) a LaTeX document describing the operational rules, 2) an executable Haskell model, and 3) property tests and generators.  As a bonus we can add proofs of our properties in Coq.","creator":{"login":"JaredCorduan","id":943479,"node_id":"MDQ6VXNlcjk0MzQ3OQ==","avatar_url":"https://avatars0.githubusercontent.com/u/943479?v=4","gravatar_id":"","url":"https://api.github.com/users/JaredCorduan","html_url":"https://github.com/JaredCorduan","followers_url":"https://api.github.com/users/JaredCorduan/followers","following_url":"https://api.github.com/users/JaredCorduan/following{/other_user}","gists_url":"https://api.github.com/users/JaredCorduan/gists{/gist_id}","starred_url":"https://api.github.com/users/JaredCorduan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JaredCorduan/subscriptions","organizations_url":"https://api.github.com/users/JaredCorduan/orgs","repos_url":"https://api.github.com/users/JaredCorduan/repos","events_url":"https://api.github.com/users/JaredCorduan/events{/privacy}","received_events_url":"https://api.github.com/users/JaredCorduan/received_events","type":"User","site_admin":false},"open_issues":20,"closed_issues":15,"state":"open","created_at":"2018-10-19T17:00:52Z","updated_at":"2018-11-27T20:34:43Z","due_on":"2018-12-14T08:00:00Z","closed_at":null},"comments":0,"created_at":"2018-11-27T20:34:43Z","updated_at":"2018-11-27T20:34:43Z","closed_at":null,"author_association":"COLLABORATOR","body":"The executable model currently uses implicit fees. Make them explicit and validate a minimum fee."}}
{"actor":{"display_login":"JaredCorduan"}}