Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

tidied up announcement prefixes, include files, and nested conditions #18

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

tidied up announcement prefixes, include files, and nested conditions #18

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
debd9fb
tidied up announcement prefixes, include files, and nested conditions
nimcon Aug 26, 2024
0653538
reverted announcer_announce.clsp to not use cl-23. removed unnecessar…
nimcon Aug 27, 2024
015587c
a few minor improvements
nimcon Aug 27, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 5 additions & 3 deletions circuit_puzzles/announcer_registry.clsp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,12 +1,14 @@
(mod (MAX_MINT_AMOUNT MIN_CLAIM_INTERVAL MOD_HASH STATUTES_STRUCT ATOM_ANNOUNCER_MOD_HASH ANNOUNCER_REGISTRY CLAIM_ITERATION
lineage_proof mint_or_register . args)

(include *standard-cl-23*)
(include condition_codes.clib)
(include curry.clib)
(include *standard-cl-23*)
(include utils.clib)
(include statutes_utils.clib)
(include utils.clib)

(defconst ANN_PREFIX "R")
(defconst ANNOUNCER_ANN_PREFIX "A")

(defun generate-offer-assert ((@ announcer_registry ( announcer_inner_puzzle_hash . rest_of_announcer_registry)) crt_credits_per_announcer payments)
(if announcer_registry
Expand Down Expand Up @@ -123,7 +125,7 @@
(list RECEIVE_MESSAGE
0x12
(concat
'A'
ANNOUNCER_ANN_PREFIX
announcer_inner_puzzle_hash
1 ; must be an approved announcer
statutes_struct_hash ; must be on the same protocol
Expand Down
2 changes: 1 addition & 1 deletion circuit_puzzles/announcer_registry.hex
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ff02ffff01ff02ff8200b6ffff04ff02ffff04ff03ffff04ffff02ff62ffff04ff02ffff04ff2fff80808080ff8080808080ffff04ffff01ffffffffff333cff3d3fffff4243ff46ff4749ffffff0102ffffffa04bf5122f344554c53bde2ebb8cd2b7e3d1600ad631c385a5d7cce23c7785459aa09dcf97a184f32623d11a73124ceb99a5709b083721e878a16d78f596718ba7b2ffa102a12871fee210fb8619291eaea194581cbd2531e4b23759d225f6806923f63222a102a8d5dd63fba471ebcb1f3e8f7c1e1879b7152a6e7298a91ce119a63400ade7c5ff0bff64ffff0bff64ff820194ff0580ffff0bff64ff0bff8201148080ffffff02ffff03ff05ffff01ff0bff8201d4ffff02ff74ffff04ff02ffff04ff09ffff04ffff02ff4cffff04ff02ffff04ff0dff80808080ff808080808080ffff0182019480ff0180ff0bff820154ffff02ff74ffff04ff02ffff04ff05ffff04ffff02ff4cffff04ff02ffff04ff07ff80808080ff808080808080ff01ff0220ffffffffff02ffff03ff05ffff01ff02ffff03ffff09ff09ff0b80ffff01ff0101ffff01ff02ff42ffff04ff02ffff04ff0dffff04ff0bff808080808080ff0180ffff01ff018080ff0180ff02ffff03ffff07ff0580ffff01ff0bff64ffff02ff62ffff04ff02ffff04ff09ff80808080ffff02ff62ffff04ff02ffff04ff0dff8080808080ffff01ff0bff5cff058080ff0180ff81f981fbffff1c1dff54ff73ff02ff6cffff04ff02ffff04ff11ffff04ffff02ffff03ffff07ff0b80ffff01ff02ff62ffff04ff02ffff04ff09ff80808080ffff010b80ff0180ffff04ff15ff808080808080ffffff52ff02ffff03ff05ffff01ff02ff66ffff04ff02ffff04ff0dffff04ff0bffff04ffff04ffff04ff09ffff04ff0bffff04ffff04ff09ff8080ff80808080ff1780ff808080808080ffff011780ff0180ffff02ffff03ff05ffff01ff02ff56ffff04ff02ffff04ff0dffff04ffff10ff0bffff010180ff8080808080ffff010b80ff0180ffff02ff8200feffff04ff02ffff04ff03ffff04ffff02ffff03ffff09ff820bfdffff016d80ffff01ff02ff8200f6ffff04ff02ffff04ff03ffff04ffff02ff56ffff04ff02ffff04ff82017dffff04ff80ff8080808080ffff04ff820ffdff808080808080ffff01ff02ffff03ffff09ff820bfdffff017280ffff01ff02ff5effff04ff02ffff04ff03ffff04ff820ffdff8080808080ffff01ff02ffff03ffff09ffff0dff8205fd80ff8200fc80ffff01ff04ff82017dffff04ff8202fdffff04ffff04ffff04ff60ffff04ffff02ff62ffff04ff02ffff04ff5dff80808080ff808080ff8080ff80808080ffff01ff088080ff018080ff018080ff0180ff8080808080ff02ff4effff04ff02ffff04ff03ffff04ffff06ffff14ff8200b7ff0b8080ffff04ffff02ff8200faffff04ff02ffff04ffff04ff8200b9ffff04ff27ff808080ffff04ff8201b9ff8080808080ffff04ffff05ffff14ff57ff8201778080ffff04ff8215f7ff8080808080808080ffffff02ff6effff04ff02ffff04ff03ffff04ffff02ffff03ffff09ffff0dff8213ed80ff8200fc80ffff01ff02ffff03ffff09ffff0dffff02ff6cffff04ff02ffff04ff8217edffff04ffff0bff5cff8217ed80ffff04ffff0bff5cff822fed80ffff04ff5fff8080808080808080ff8200fc80ffff01ff02ffff03ffff15ff825bedffff0181ff80ffff01ff0bff8213edffff02ff6cffff04ff02ffff04ff8217edffff04ffff0bff5cff8217ed80ffff04ffff0bff5cff822fed80ffff04ff5fff80808080808080ff825bed80ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ff8080808080ff02ffff03ffff09ffff0dff8200bd80ff8200fc80ffff01ff02ffff03ffff15ff5dff8217e180ffff01ff02ffff03ffff15ff8205d9ff8200a180ffff01ff02ffff03ffff15ff29ff8080ffff01ff02ffff03ffff15ff5dffff010180ffff01ff02ffff03ffff15ff41ff8202d980ffff01ff04ff80ffff04ff5dffff04ffff04ffff04ff48ffff04ffff013fffff04ffff0eff46ff51ff0bff8202d980ffff04ff0bff8080808080ffff04ffff04ff60ffff04ffff0124ff808080ffff04ffff04ff58ffff04ff8302ffd9ff808080ffff04ffff04ff70ffff04ffff0bff2dffff0eff5aff8200baff72ffff02ffff03ffff07ff83017fd980ffff01ff02ff62ffff04ff02ffff04ff83017fd9ff80808080ffff0183017fd980ff01808080ff808080ffff04ffff04ff70ffff04ffff0bff2dffff0eff5aff8200baff6affff02ffff03ffff07ff8205d980ffff01ff02ff62ffff04ff02ffff04ff8205d9ff80808080ffff018205d980ff01808080ff808080ffff04ffff04ff70ffff04ffff0bff2dffff0eff5aff8200baff4affff02ffff03ffff07ff8202d980ffff01ff02ff62ffff04ff02ffff04ff8202d9ff80808080ffff018202d980ff01808080ff808080ffff04ffff04ff70ffff04ffff0bff2dffff0eff5aff8200baff52ffff02ffff03ffff07ff82015980ffff01ff02ff62ffff04ff02ffff04ff820159ff80808080ffff0182015980ff01808080ff808080ffff04ffff04ff70ffff04ffff0bffff02ff6cffff04ff02ffff04ff822fd9ffff04ffff0bff5cff822fd980ffff04ffff0bff5cff825fd980ffff04ff83017fd9ff80808080808080ffff02ff62ffff04ff02ffff04ffff04ffff0bff8302ffd9ff820bd980ffff02ff66ffff04ff02ffff04ff820be1ffff04ffff05ffff14ff8202d9ff298080ffff04ffff02ffff03ffff15ff15ff8080ffff01ff04ffff04ff8300bfd9ffff04ff15ffff04ffff04ff8300bfd9ff8080ff80808080ff8080ffff01ff018080ff0180ff80808080808080ff8080808080ff808080ff808080808080808080ff80808080ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff02ff8200beffff04ff02ffff04ff03ffff04ffff0bff820154ffff02ff74ffff04ff02ffff04ff820179ffff04ff2bff808080808080ff8080808080ffff02ffff03ffff09ffff0dff5580ff8200fc80ffff01ff02ffff03ffff09ffff0dff2580ff8200fc80ffff01ff02ffff03ffff02ff42ffff04ff02ffff04ff8205f1ffff04ff25ff8080808080ffff01ff0880ffff01ff04ffff04ff25ff8205f180ffff04ff820bf1ffff04ffff04ffff04ff68ffff04ffff0112ffff04ffff0effff0141ff25ffff0101ff2980ffff04ff0bff8080808080ff8080ff8080808080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ff04ffff04ff8200f8ffff04ff80ff808080ffff04ffff02ffff03ffff07ff820bf980ffff01ff04ff8200b8ffff04ffff02ffff03ffff09ffff0dff8213f980ff8200fc80ffff01ff02ffff03ffff09ffff0dffff0bff820154ffff02ff74ffff04ff02ffff04ff59ffff04ff821bf9ff80808080808080ff8200fc80ffff01ff02ffff03ffff15ff80ffff0181ff80ffff01ff0bff8213f9ffff0bff820154ffff02ff74ffff04ff02ffff04ff59ffff04ff821bf9ff808080808080ff8080ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ff808080ffff01ff04ff50ffff04ffff0bff8202b9ff820bf980ff80808080ff0180ffff04ffff04ff40ffff04ffff02ff6cffff04ff02ffff04ff59ffff04ffff0bff5cff5980ffff04ffff02ff62ffff04ff02ffff04ff8200b9ff80808080ffff04ffff0bff5cff82017980ffff04ffff02ff62ffff04ff02ffff04ff13ff80808080ffff04ffff0bff5cff2b80ff808080808080808080ffff04ff80ff80808080ffff04ffff04ff44ffff04ff13ffff04ff2bff80808080ff5b80808080ff018080
ff02ffff01ff02ff8200b6ffff04ff02ffff04ff03ffff04ffff02ff8200baffff04ff02ffff04ff2fff80808080ff8080808080ffff04ffff01ffffffffff333cff3d3fffff4243ff46ff4749ffffff0102ffffffa04bf5122f344554c53bde2ebb8cd2b7e3d1600ad631c385a5d7cce23c7785459aa09dcf97a184f32623d11a73124ceb99a5709b083721e878a16d78f596718ba7b2ffa102a12871fee210fb8619291eaea194581cbd2531e4b23759d225f6806923f63222a102a8d5dd63fba471ebcb1f3e8f7c1e1879b7152a6e7298a91ce119a63400ade7c5ffff0bff64ffff0bff64ff820194ff0580ffff0bff64ff0bff8201148080ff02ffff03ff05ffff01ff0bff8201d4ffff02ff8200b4ffff04ff02ffff04ff09ffff04ffff02ff8200f4ffff04ff02ffff04ff0dff80808080ff808080808080ffff0182019480ff0180ffffff0bff820154ffff02ff8200b4ffff04ff02ffff04ff05ffff04ffff02ff8200f4ffff04ff02ffff04ff07ff80808080ff80808080808081f9ff81fbff1c1dffffffff5473ffff02ff4cffff04ff02ffff04ff11ffff04ffff02ffff03ffff07ff0b80ffff01ff02ff8200baffff04ff02ffff04ff09ff80808080ffff010b80ff0180ffff04ff15ff80808080808020ffff0102ffff02ffff03ff05ffff01ff02ffff03ffff09ff09ff0b80ffff01ff0101ffff01ff02ff5affff04ff02ffff04ff0dffff04ff0bff808080808080ff0180ffff01ff018080ff0180ffff02ffff03ffff07ff0580ffff01ff0bff64ffff02ff8200baffff04ff02ffff04ff09ff80808080ffff02ff8200baffff04ff02ffff04ff0dff8080808080ffff01ff0bff4aff058080ff018052ffffff41ff02ffff03ff05ffff01ff02ff66ffff04ff02ffff04ff0dffff04ff0bffff04ffff04ffff04ff09ffff04ff0bffff04ffff04ff09ff8080ff80808080ff1780ff808080808080ffff011780ff0180ffff02ffff03ff05ffff01ff02ff56ffff04ff02ffff04ff0dffff04ffff10ff0bffff010180ff8080808080ffff010b80ff0180ffff02ff8200feffff04ff02ffff04ff03ffff04ffff02ffff03ffff09ff820bfdffff016d80ffff01ff02ff8200f6ffff04ff02ffff04ff03ffff04ffff02ff56ffff04ff02ffff04ff82017dffff04ff80ff8080808080ffff04ff820ffdff808080808080ffff01ff02ffff03ffff09ff820bfdffff017280ffff01ff02ff5effff04ff02ffff04ff03ffff04ff820ffdff8080808080ffff01ff02ffff03ffff09ffff0dff8205fd80ff7280ffff01ff04ff82017dffff04ff8202fdffff04ffff04ffff04ff60ffff04ffff02ff8200baffff04ff02ffff04ff5dff80808080ff808080ff8080ff80808080ffff01ff088080ff018080ff018080ff0180ff8080808080ff02ff4effff04ff02ffff04ff03ffff04ffff06ffff14ff8200b7ff0b8080ffff04ffff02ff52ffff04ff02ffff04ffff04ff8200b9ffff04ff27ff808080ffff04ff8201b9ff8080808080ffff04ffff05ffff14ff57ff8201778080ffff04ff8215f7ff8080808080808080ffffff02ff6effff04ff02ffff04ff03ffff04ffff02ffff03ffff09ffff0dff8213ed80ff7280ffff01ff02ffff03ffff09ffff0dffff02ff4cffff04ff02ffff04ff8217edffff04ffff0bff4aff8217ed80ffff04ffff0bff4aff822fed80ffff04ff5fff8080808080808080ff7280ffff01ff02ffff03ffff15ff825bedffff0181ff80ffff01ff0bff8213edffff02ff4cffff04ff02ffff04ff8217edffff04ffff0bff4aff8217ed80ffff04ffff0bff4aff822fed80ffff04ff5fff80808080808080ff825bed80ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ff8080808080ff02ffff03ffff09ffff0dff8200bd80ff7280ffff01ff02ffff03ffff15ff5dff8217e180ffff01ff02ffff03ffff15ff8205d9ff8200a180ffff01ff02ffff03ffff15ff29ff8080ffff01ff02ffff03ffff15ff5dffff010180ffff01ff02ffff03ffff15ff41ff8202d980ffff01ff04ff80ffff04ff5dffff04ffff04ffff04ff48ffff04ffff013fffff04ffff0eff8200faff51ff0bff8202d980ffff04ff0bff8080808080ffff04ffff04ff60ffff04ffff0124ff808080ffff04ffff04ff58ffff04ff8302ffd9ff808080ffff04ffff04ff70ffff04ffff0bff2dffff0eff42ff62ff5cffff02ffff03ffff07ff83017fd980ffff01ff02ff8200baffff04ff02ffff04ff83017fd9ff80808080ffff0183017fd980ff01808080ff808080ffff04ffff04ff70ffff04ffff0bff2dffff0eff42ff62ff8200fcffff02ffff03ffff07ff8205d980ffff01ff02ff8200baffff04ff02ffff04ff8205d9ff80808080ffff018205d980ff01808080ff808080ffff04ffff04ff70ffff04ffff0bff2dffff0eff42ff62ff8200bcffff02ffff03ffff07ff8202d980ffff01ff02ff8200baffff04ff02ffff04ff8202d9ff80808080ffff018202d980ff01808080ff808080ffff04ffff04ff70ffff04ffff0bff2dffff0eff42ff62ff6cffff02ffff03ffff07ff82015980ffff01ff02ff8200baffff04ff02ffff04ff820159ff80808080ffff0182015980ff01808080ff808080ffff04ffff04ff70ffff04ffff0bffff02ff4cffff04ff02ffff04ff822fd9ffff04ffff0bff4aff822fd980ffff04ffff0bff4aff825fd980ffff04ff83017fd9ff80808080808080ffff02ff8200baffff04ff02ffff04ffff04ffff0bff8302ffd9ff820bd980ffff02ff66ffff04ff02ffff04ff820be1ffff04ffff05ffff14ff8202d9ff298080ffff04ffff02ffff03ffff15ff15ff8080ffff01ff04ffff04ff8300bfd9ffff04ff15ffff04ffff04ff8300bfd9ff8080ff80808080ff8080ffff01ff018080ff0180ff80808080808080ff8080808080ff808080ff808080808080808080ff80808080ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff02ff8200beffff04ff02ffff04ff03ffff04ffff0bff820154ffff02ff8200b4ffff04ff02ffff04ff820179ffff04ff2bff808080808080ff8080808080ffff02ffff03ffff09ffff0dff5580ff7280ffff01ff02ffff03ffff09ffff0dff2580ff7280ffff01ff02ffff03ffff02ff5affff04ff02ffff04ff8205f1ffff04ff25ff8080808080ffff01ff0880ffff01ff04ffff04ff25ff8205f180ffff04ff820bf1ffff04ffff04ffff04ff68ffff04ffff0112ffff04ffff0eff46ff25ffff0101ff2980ffff04ff0bff8080808080ff8080ff8080808080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ff04ffff04ff8200f8ffff04ff80ff808080ffff04ffff02ffff03ffff07ff820bf980ffff01ff04ff8200b8ffff04ffff02ffff03ffff09ffff0dff8213f980ff7280ffff01ff02ffff03ffff09ffff0dffff0bff820154ffff02ff8200b4ffff04ff02ffff04ff59ffff04ff821bf9ff80808080808080ff7280ffff01ff02ffff03ffff15ff80ffff0181ff80ffff01ff0bff8213f9ffff0bff820154ffff02ff8200b4ffff04ff02ffff04ff59ffff04ff821bf9ff808080808080ff8080ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ff808080ffff01ff04ff50ffff04ffff0bff8202b9ff820bf980ff80808080ff0180ffff04ffff04ff40ffff04ffff02ff4cffff04ff02ffff04ff59ffff04ffff0bff4aff5980ffff04ffff02ff8200baffff04ff02ffff04ff8200b9ff80808080ffff04ffff0bff4aff82017980ffff04ffff02ff8200baffff04ff02ffff04ff13ff80808080ffff04ffff0bff4aff2b80ff808080808080808080ffff04ff80ff80808080ffff04ffff04ff44ffff04ff13ffff04ff2bff80808080ff5b80808080ff018080
6 changes: 3 additions & 3 deletions circuit_puzzles/atom_announcer.clsp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,12 +3,12 @@
inner_puzzle
solution_or_conditions
)

(include *standard-cl-23*)
trepca marked this conversation as resolved.
Show resolved Hide resolved
(include condition_codes.clib)
(include curry.clib)
(include *standard-cl-23*)
(include utils.clib)
(include statutes_utils.clib)
(defconst ANN_PREFIX 'A')
(include utils.clib)

(defun restrict-conditions ((@ conditions ((condition_code . condition_body) . rest_of_conditions))
found_create_coin final_conditions)
Expand Down
2 changes: 1 addition & 1 deletion circuit_puzzles/atom_announcer.hex
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ff02ffff01ff02ff2effff04ff02ffff04ff03ffff04ffff02ffff03ff8300bfffffff01ff02ff26ffff04ff02ffff04ff8300bfffff80808080ffff01ff018080ff0180ff8080808080ffff04ffff01ffffffff333eff4243ffff4749ff02ffffffa04bf5122f344554c53bde2ebb8cd2b7e3d1600ad631c385a5d7cce23c7785459aa09dcf97a184f32623d11a73124ceb99a5709b083721e878a16d78f596718ba7b2ffa102a12871fee210fb8619291eaea194581cbd2531e4b23759d225f6806923f63222a102a8d5dd63fba471ebcb1f3e8f7c1e1879b7152a6e7298a91ce119a63400ade7c5ff0bff2cffff0bff2cff82019cff0580ffff0bff2cff0bff82011c8080ffffff0102ff20ff02ffff03ff05ffff01ff02ffff03ffff09ff09ff0b80ffff01ff0101ffff01ff02ff3affff04ff02ffff04ff0dffff04ff0bff808080808080ff0180ffff01ff018080ff0180ffffff02ffff03ffff07ff0580ffff01ff0bff2cffff02ff26ffff04ff02ffff04ff09ff80808080ffff02ff26ffff04ff02ffff04ff0dff8080808080ffff01ff0bff22ff058080ff0180ff02ffff03ff05ffff01ff02ffff03ffff09ff11ff2080ffff01ff02ffff03ff0bffff01ff0880ffff01ff02ff36ffff04ff02ffff04ff0dffff04ff19ffff04ff17ff80808080808080ff0180ffff01ff02ffff03ffff21ffff09ff11ff2880ffff09ff11ff3880ffff09ff11ff308080ffff01ff0880ffff01ff02ff36ffff04ff02ffff04ff0dffff04ff0bffff04ffff04ff09ff1780ff80808080808080ff018080ff0180ffff01ff04ff17ffff04ff0bff80808080ff0180ffff02ff5effff04ff02ffff04ff03ffff04ffff02ffff03ff0bffff01ff02ffff03ffff09ff0bff8200bd80ffff01ff02ff83017ffdff8302fffd80ffff01ff088080ff0180ffff018302fffd80ff0180ff8080808080ffff02ff7effff04ff02ffff04ff03ffff04ffff02ffff03ff0bffff01ff02ff36ffff04ff02ffff04ff0bffff04ff80ffff04ff80ff808080808080ffff01ff04ff80ffff04ffff04ff820179ffff04ff8205f9ffff04ffff04ff80ffff04ff80ff808080ff80808080ff80808080ff0180ff8080808080ff02ffff03ffff21ff29ffff22ffff20ff2980ffff09ff4bff8202f1808080ffff01ff02ffff03ffff02ff3affff04ff02ffff04ff21ffff04ffff02ff26ffff04ff02ffff04ff82026bff80808080ff8080808080ffff01ff04ffff02ffff03ff8302fff1ffff01ff02ffff03ffff09ffff0dff8316fff180ff2a80ffff01ff04ff24ffff04ffff02ffff03ffff09ffff0dff8304fff180ff2a80ffff01ff02ffff03ffff09ffff0dffff0bff82015cffff02ff7cffff04ff02ffff04ff51ffff04ff8316fff1ff80808080808080ff2a80ffff01ff02ffff03ffff15ff830afff1ffff0181ff80ffff01ff0bff8304fff1ffff0bff82015cffff02ff7cffff04ff02ffff04ff51ffff04ff8316fff1ff808080808080ff830afff180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ff808080ffff01ff088080ff0180ffff01ff02ffff03ffff09ff820bf1ff8080ffff01ff02ffff03ffff09ff8217f1ff8080ffff01ff02ffff03ffff09ff825ff1ff8080ffff01ff02ffff03ffff09ff8205f1ff8080ffff01ff02ffff03ffff09ff822ff1ff8080ffff01ff02ffff03ffff09ff83017ff1ff8080ffff01ff02ffff03ffff09ff8300bff1ff8080ffff01ff04ff24ffff04ff820171ff808080ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff018080ff0180ffff04ffff04ff34ffff04ff820bf1ff808080ffff02ff82026bffff04ffff04ff51ffff04ff8200b1ffff04ff820171ffff04ff8202f1ffff04ff8205f1ffff04ff820bf1ffff04ff8217f1ffff04ff822ff1ffff04ff825ff1ffff04ff8300bff1ffff04ff83017ff1ff808080808080808080808080ffff04ff29ffff04ff4bffff04ff8200abffff04ff13ffff04ff82036bff80808080808080808080ffff01ff088080ff0180ffff01ff088080ff0180ff018080
ff02ffff01ff02ff2effff04ff02ffff04ff03ffff04ffff02ffff03ff8300bfffffff01ff02ff26ffff04ff02ffff04ff8300bfffff80808080ffff01ff018080ff0180ff8080808080ffff04ffff01ffffffff333eff4243ffff4749ff02ffffffa04bf5122f344554c53bde2ebb8cd2b7e3d1600ad631c385a5d7cce23c7785459aa09dcf97a184f32623d11a73124ceb99a5709b083721e878a16d78f596718ba7b2ffa102a12871fee210fb8619291eaea194581cbd2531e4b23759d225f6806923f63222a102a8d5dd63fba471ebcb1f3e8f7c1e1879b7152a6e7298a91ce119a63400ade7c5ff0bff2cffff0bff2cff82019cff0580ffff0bff2cff0bff82011c8080ffffff2001ff02ff02ffff03ff05ffff01ff02ffff03ffff09ff09ff0b80ffff01ff0101ffff01ff02ff3affff04ff02ffff04ff0dffff04ff0bff808080808080ff0180ffff01ff018080ff0180ffffff02ffff03ffff07ff0580ffff01ff0bff2cffff02ff26ffff04ff02ffff04ff09ff80808080ffff02ff26ffff04ff02ffff04ff0dff8080808080ffff01ff0bff32ff058080ff0180ff02ffff03ff05ffff01ff02ffff03ffff09ff11ff2080ffff01ff02ffff03ff0bffff01ff0880ffff01ff02ff36ffff04ff02ffff04ff0dffff04ff19ffff04ff17ff80808080808080ff0180ffff01ff02ffff03ffff21ffff09ff11ff2880ffff09ff11ff3880ffff09ff11ff308080ffff01ff0880ffff01ff02ff36ffff04ff02ffff04ff0dffff04ff0bffff04ffff04ff09ff1780ff80808080808080ff018080ff0180ffff01ff04ff17ffff04ff0bff80808080ff0180ffff02ff5effff04ff02ffff04ff03ffff04ffff02ffff03ff0bffff01ff02ffff03ffff09ff0bff8200bd80ffff01ff02ff83017ffdff8302fffd80ffff01ff088080ff0180ffff018302fffd80ff0180ff8080808080ffff02ff7effff04ff02ffff04ff03ffff04ffff02ffff03ff0bffff01ff02ff36ffff04ff02ffff04ff0bffff04ff80ffff04ff80ff808080808080ffff01ff04ff80ffff04ffff04ff820179ffff04ff8205f9ffff04ffff04ff80ffff04ff80ff808080ff80808080ff80808080ff0180ff8080808080ff02ffff03ffff21ff29ffff22ffff20ff2980ffff09ff4bff8202f1808080ffff01ff02ffff03ffff02ff3affff04ff02ffff04ff21ffff04ffff02ff26ffff04ff02ffff04ff82026bff80808080ff8080808080ffff01ff04ffff02ffff03ff8302fff1ffff01ff02ffff03ffff09ffff0dff8316fff180ff2280ffff01ff04ff24ffff04ffff02ffff03ffff09ffff0dff8304fff180ff2280ffff01ff02ffff03ffff09ffff0dffff0bff82015cffff02ff7cffff04ff02ffff04ff51ffff04ff8316fff1ff80808080808080ff2280ffff01ff02ffff03ffff15ff830afff1ffff0181ff80ffff01ff0bff8304fff1ffff0bff82015cffff02ff7cffff04ff02ffff04ff51ffff04ff8316fff1ff808080808080ff830afff180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ff808080ffff01ff088080ff0180ffff01ff02ffff03ffff09ff820bf1ff8080ffff01ff02ffff03ffff09ff8217f1ff8080ffff01ff02ffff03ffff09ff825ff1ff8080ffff01ff02ffff03ffff09ff8205f1ff8080ffff01ff02ffff03ffff09ff822ff1ff8080ffff01ff02ffff03ffff09ff83017ff1ff8080ffff01ff02ffff03ffff09ff8300bff1ff8080ffff01ff04ff24ffff04ff820171ff808080ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff0180ffff01ff088080ff018080ff0180ffff04ffff04ff34ffff04ff820bf1ff808080ffff02ff82026bffff04ffff04ff51ffff04ff8200b1ffff04ff820171ffff04ff8202f1ffff04ff8205f1ffff04ff820bf1ffff04ff8217f1ffff04ff822ff1ffff04ff825ff1ffff04ff8300bff1ffff04ff83017ff1ff808080808080808080808080ffff04ff29ffff04ff4bffff04ff8200abffff04ff13ffff04ff82036bff80808080808080808080ffff01ff088080ff0180ffff01ff088080ff0180ff018080
7 changes: 5 additions & 2 deletions circuit_puzzles/byc_tail.clsp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,12 +22,15 @@
)

(include *standard-cl-23*)
(include condition_codes.clib)
(include cat_truths.clib)
(include condition_codes.clib)
(include curry.clib)
(include statutes_utils.clib)
(include utils.clib)

(defconst ANN_MELT "x")
(defconst ANN_ISSUANCE "i")

(if (any (= delta 0) (> 0 delta))
; we're issuing or melting
(assign
Expand Down Expand Up @@ -55,7 +58,7 @@
0x3f
(concat
cat_ann_prefix
(if (> 0 delta) "x" "i")
(if (> 0 delta) ANN_MELT ANN_ISSUANCE)
my_coin_id
(if (> 0 delta) delta new_melting_coin_amount)
statutes_struct_hash ; need to tie it to statutes struct
Expand Down
Loading