Module: IgniterLang::RuntimeSmoke

Defined in:
lib/igniter_lang/runtime_smoke.rb

Constant Summary collapse

DEFAULT_AS_OF = 
defined?(RuntimeMachineMemoryProof::PROOF_AS_OF) ? RuntimeMachineMemoryProof::PROOF_AS_OF : nil
DEFAULT_MACHINE_ID = 
"runtime-machine/production-compiler-cli"
DEFAULT_SESSION_ID = 
"session/production-compiler-cli"
DEFAULT_RULE_VERSION = 
"production-compiler-cli-wrapper-v0"

Class Method Summary collapse

Class Method Details

.available? ⇒ Boolean

Returns:

  • (Boolean) 


67
68
69
70
 
# File 'lib/igniter_lang/runtime_smoke.rb', line 67

def available?
  defined?(RuntimeMachineMemoryProof::CompiledProgram) &&
    defined?(RuntimeMachineMemoryProof::RuntimeMachine)
end

.callback(**options) ⇒ Object 



55
56
57
58
59
 
# File 'lib/igniter_lang/runtime_smoke.rb', line 55

def callback(**options)
  lambda do |out_path:, sample_input:|
    run(out_path: out_path, sample_input: sample_input, **options)
  end
end

.ensure_available! ⇒ Object

Raises:

  • (LoadError) 


72
73
74
75
76
77
78
 
# File 'lib/igniter_lang/runtime_smoke.rb', line 72

def ensure_available!
  return if available?

  message = "IgniterLang::RuntimeSmoke is proof-backed; runtime_machine_memory_proof is unavailable in this package context"
  message = "#{message}: #{PROOF_LOAD_ERROR.message}" if PROOF_LOAD_ERROR
  raise LoadError, message
end

.eval_input_for(contract_id, sample_input) ⇒ Object 



61
62
63
64
65
 
# File 'lib/igniter_lang/runtime_smoke.rb', line 61

def eval_input_for(contract_id, sample_input)
  return { "a" => 19, "b" => 23 } if contract_id == "Add"

  sample_input
end

.run(out_path:, sample_input:, as_of: DEFAULT_AS_OF, machine_id: DEFAULT_MACHINE_ID, session_id: DEFAULT_SESSION_ID, rule_version: DEFAULT_RULE_VERSION) ⇒ Object 



19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
 
# File 'lib/igniter_lang/runtime_smoke.rb', line 19

def run(out_path:, sample_input:, as_of: DEFAULT_AS_OF, machine_id: DEFAULT_MACHINE_ID,
        session_id: DEFAULT_SESSION_ID, rule_version: DEFAULT_RULE_VERSION)
  ensure_available!
  program = RuntimeMachineMemoryProof::CompiledProgram.load_igapp(out_path)
  program.validate!
  contract_id = program.contracts.keys.fetch(0)
  backend = RuntimeMachineMemoryProof::MemoryTBackend.new
  machine = RuntimeMachineMemoryProof::RuntimeMachine.new(
    machine_id: machine_id,
    session_id: session_id,
    backend: backend
  )
  machine.boot
  load = machine.load_program(program)
  evaluation = machine.evaluate_program(contract_id, eval_input_for(contract_id, sample_input), as_of: as_of)
  checkpoint = machine.checkpoint(horizon: { as_of: as_of, rule_version: rule_version })
  resume = machine.resume(image: checkpoint.fetch(:semantic_image), requested_as_of: as_of)

  {
    "load_status" => load.fetch(:status),
    "contract_id" => contract_id,
    "evaluate_status" => evaluation.fetch(:status),
    "outputs" => evaluation.fetch(:outputs),
    "compatibility_report_status" => resume.fetch(:status),
    "trusted" => load.fetch(:status) == "loaded" &&
      evaluation.fetch(:status) == "ok" &&
      resume.fetch(:status) == "trusted"
  }
rescue => e
  {
    "load_status" => "blocked",
    "error" => "#{e.class}: #{e.message}",
    "trusted" => false
  }
end