Module: Optimize::Demo::Claude::Prompt

Defined in:
lib/optimize/demo/claude/prompt.rb

Overview

Builds the user-facing prompts sent to claude -p during the LLM "gag pass" optimization demo. Kept as a plain string builder (no network, no IO) so it can be unit-tested against golden fixtures.

Constant Summary collapse

INITIAL_TEMPLATE = 
"You are given a YARV iseq as a JSON array of instructions. Emit a semantically equivalent but optimized iseq. The rewrite must preserve behavior for all inputs.\n\nConstraints:\n- Output a single JSON array of [opcode_string, ...operands] tuples.\n- Each opcode must be a real YARV opcode (examples: putobject, opt_plus, opt_minus, opt_mult, opt_div, opt_mod, leave, pop, dup, getlocal_WC_0, setlocal_WC_0).\n- Preserve stack discipline: the iseq must end with a value on the stack, consumed by `leave`.\n- Do not add or remove locals; the local table is fixed.\n- Call-data operands are objects of the form {\"mid\": String, \"argc\": Integer, \"flag\": Integer}.\n\nInput iseq:\n%<iseq_json>s\n\nReply with ONLY the JSON array. No prose, no fences.\n"
RETRY_TEMPLATE = 
"Your previous response was rejected:\n%<errors>s\n\nEmit a corrected iseq as a JSON array. Reply with ONLY the JSON array.\n"

Class Method Summary collapse

Class Method Details

.initial(iseq_json:) ⇒ Object

Returns a String: the initial user message sent to claude -p.

Deliberately minimal: the prompt carries only the iseq and generalized constraints. No source, no test cases, no expected values. Claude must infer the behavior from the instruction stream alone — otherwise the comparison between its rewrite and our peephole pipeline is unfair. The orchestrator validates behavior on multiple inputs post-hoc.



45
46
47
 
# File 'lib/optimize/demo/claude/prompt.rb', line 45

def initial(iseq_json:)
  format(INITIAL_TEMPLATE, iseq_json: JSON.generate(iseq_json))
end

.retry_message(errors:) ⇒ Object

Returns a String: the retry user message appended after a rejection.



50
51
52
53
 
# File 'lib/optimize/demo/claude/prompt.rb', line 50

def retry_message(errors:)
  bullets = errors.map { |e| "- #{e}" }.join("\n")
  format(RETRY_TEMPLATE, errors: bullets)
end