sim-lib-forge 0.1.1

Compiled intent records and one-shot BRIDGE lifts for reusable packet programs.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

(forge/cli-flow
  (lift "summarize the contract and flag risks")
  (review surface://forge/summarize-contract
    (must-see inferred-return-shape data-degrade))
  (promote summarize-contract)
  (run summarize-contract input.json)
  (run summarize-contract input.json)
  (show summarize-contract
    (verifiers return-shape data-degrade))
  (evidence
    (artifact-cache-hit true)
    (replay-hits 1)
    (compiler-calls 0)
    (execution-calls 0)))