A program you can read, diff, and review.
Nomos emits a versioned state graph. Human-readable, git-shaped, reviewable by the client's own engineers. It is the deliverable, and it is where every repair accumulates. Nothing is learned into model weights.
- 1A target is a ladder, not a selector. Heals append; nothing is ever replaced, so a promoted repair cannot regress the original path.
- 2Every edge carries an effect class. COMMIT edges are never healed autonomously.
- 3Idempotency is checked against the system of record before a COMMIT is re-executed. A recovered run and a duplicate journal entry look identical on screen.
- 4Every node and edge points at the observations that produced it, and at the heal that introduced it.
purchase-voucher-from-portal · v8graph.yaml
workflow: purchase-voucher-from-portal
version: 8
surfaces:
s1: {lane: cdp, app: chrome, origin: "https://portal.vendor.co/*"}
s2: {lane: pixel, app: tally.exe@3.0.1,
probe: {uia_tree: absent, ocr: required, oracle: tally_xml}}
params:
invoice_no: {type: str, source: s1/n3 field "Invoice #"}
amount: {type: money, source: s1/n3 field "Total"}
vendor: {type: str, source: clipboard@e9, from: portal.vendor.co}
nodes:
n7:
surface: s2
key: {lane: pixel, layout_sig: sha:9f2c..,
chrome_ocr: ["Voucher Creation", "Purchase", "Ref"]}
settle: dirty_area < 0.2% for 3 frames
AND no StructureChanged 250ms
edges:
e19: {from: n11, to: n12}
action: key(ctrl+a)
target: [uia:AutomationId=btnAccept,
anchor:label_right_of("Accept"), # heal-promoted, v8
pixel:region(0.82,0.94)] # last resort
precondition: [foreground(s2), at(n11)]
effect: COMMIT
idempotency: {check: oracle.voucher_exists(${invoice_no}), on_true: skip}
post: [oracle.amount(${invoice_no}) == ${amount}]
evidence: [run1#44, run3#47, run5#46, heal:h44@v8]
oracle:
kind: tally_xml
endpoint: http://guest:9000