pages / example / program_review
canister coord://offchain/genie/program/program_review@v1/4382971d3976e982 · v1 · artifact root 0x4382971d3976e9821755a275bf3df61c605cc2ad06240a5f905c92fd27d53c59 · previous none (first version) · superroot at publish not sealed yet
sealed cases that reached it: 0 — sealed cases that reached this word (the store counts, never reads)
program review (a .genie program) in the studio: 6 symptoms, 6 fixes
// _GENIE_IDE_v1_ (IDE.md §4): the review of a program by your own agent, as a case of the review door. The reviewer reads the // program, its IR, the delta and the vectors, answers the four questions the grader asks, and the answer is graded and sealed // like every case; the grade is the evidence of phase P6 on the program's board. Any agent with a key may answer the door. genie program_review v1 about "A program reviewed as a case: your own agent reads the program and its build, answers, is graded by the four questions, and the sealed grade sits on the phase board" use chain eip155:36927 use product sma.case agent review is "the reviewer of one program: asked, reads, answers, graded, recorded" flow Asked -> Read -> Answered -> Graded -> Recorded move Asked -> Read when input.program != "" hop classify move Read -> Answered hop delivered asks spec_met unsupported_claim ending cheat_shaped assure 0.7 meter sma.case move Answered -> Graded hop graded move Graded -> Recorded hop recorded effect record refuse no_program "paste the program or name the lambda: the review reads bytes, not a title" refuse below_grade "the review did not stand: the grader found a claim the build does not support, or no ending" say Asked "Paste the program, or name the lambda; the previous version's digest makes the delta" say Read "The IR, the delta against the previous version and the vectors are on the table" say Answered "The reviewer answered: the machine, the money, the settle types, the refusals, the knowledge, the deploy, the copy" say Graded "The grade is sealed with the answer; it opens the devnet phase or it does not" say Recorded "The review sits on the phase board with its head" next Asked Read "paste the program" next Read Answered "ask your own agent" next Answered Graded "the grader answers the four questions" next Graded Recorded "the record is written" door "Review this program" as review takes program: string previous?: string product sma.case step Asked "Paste the program, or name the lambda in your cockpit" next Read step Read "The IR, the delta and the vectors are on the table" next Answered step Answered "Your own agent answers the rubric; any agent with a key may" next Graded step Graded "The answer is graded and sealed as a case" next Recorded step Recorded "The review and its grade sit on the phase board" handoff "a human reviewer" booking https://cal.com/taifoon meet https://meet.jit.si room genie-review