{"header":{"message":"B.3 frontend: elpe update writes output pins, elpe build pushes+enforces them","description":"lock.ml: output_pin type + [[output]] TOML render/read/write for a sibling\nelpe..outputs.lock; push_output_pins (SetOutputLock RPC) and\npush_project_output_lock. derivation.ml: built_pins registry — every native\nbuild records (input-hash, name, output-hash) as it completes, so a single\ntop-level build snapshots the whole closure; output_hash_of_destdir parses the\n- store basename. elpe_bin.ml: 'elpe update' builds and writes the\noutput lock; 'elpe build' pushes the lock on connect so cache hits that don't\nmatch a pinned output-hash are rejected. Frontend carries hex opaquely (no\nblake3).","timestamp":"2026-08-04T16:36:21.577718069Z","authors":[{}]},"hash":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC","authors":[{"login":"pmeunier","key":"AAAAC3NzaC1lZDI1NTE5AAAAILagOJFgwaMNhBWQINinKOXmqS4Gh5NgxgriXwdOoINJ"}],"deps":{"hashes":[["RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC","B.3 frontend: elpe update writes output pins, elpe build pushes+enforces them"],["AA",null],["UWQB743KR36X6A6JVNK3VH6KMEFUHOUT6ZS2Y2SWIJR55JSF5WQAC","First working shell (with ocaml code)"],["ODUDDQRY373JMDR6W2BHUWSKEU6TEICQMNZIAIFKJPNUA5UN3C4QC","Adding the OCaml interface"],["R7J4254ZZREVMWXXDUM772GPLZSCZSIJKOLEAI33WUF2CPS3X6WQC","Reorganisation of the frontend"],["LTB4YNHF75FTVQG6S5PL46CGS4CMDWZRAEXWEIXUHQHIWVYVKFKAC","Rust compilation works!"],["P27ILID2JNRMIXJNW47AWFYDU37BXQETA63W742HWVWGAXEET4QQC","Frontend: starting the connection before linking"],["XYN2TRDV3KJ64KJFRKC623LHHKKYKNFNOH4IRCLEJ5RYXT65BZIAC","Minor refactoring of gRPC calls in the frontend"],["WLGN2XYIIDGFB2RUD7WX6J5RFK2DS37HLV2WIGS64P5G4L6BNIQQC","elpe frontend: SBOM (SPDX 2.3 / CycloneDX 1.5) from lockfile; Darwin/Homebrew source & Mach-O target + lock; mccs solver wiring"]],"deps":["UWQB743KR36X6A6JVNK3VH6KMEFUHOUT6ZS2Y2SWIJR55JSF5WQAC","ODUDDQRY373JMDR6W2BHUWSKEU6TEICQMNZIAIFKJPNUA5UN3C4QC","R7J4254ZZREVMWXXDUM772GPLZSCZSIJKOLEAI33WUF2CPS3X6WQC","LTB4YNHF75FTVQG6S5PL46CGS4CMDWZRAEXWEIXUHQHIWVYVKFKAC","P27ILID2JNRMIXJNW47AWFYDU37BXQETA63W742HWVWGAXEET4QQC","XYN2TRDV3KJ64KJFRKC623LHHKKYKNFNOH4IRCLEJ5RYXT65BZIAC","WLGN2XYIIDGFB2RUD7WX6J5RFK2DS37HLV2WIGS64P5G4L6BNIQQC"],"known":[]},"hunks":[{"Edit":{"inode":{"change":8,"pos":353955},"path":"elpe/lib/lock.ml","line":278,"atom":{"NewVertex":{"up_context":[{"change":8,"pos":363912}],"down_context":[{"change":8,"pos":363912}],"flag":"BLOCK","start":158,"end":4463,"inode":{"change":8,"pos":353955}}},"contents":[{"Add":{"text":"","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:158"}},{"Add":{"text":"(* --- Output lock: derivation identity (input-hash) -> expected output-hash.","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:236"}},{"Add":{"text":" The sibling of the input lock above. Where input entries carry a *published*","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:316"}},{"Add":{"text":" hash (read from an upstream index), an output pin carries the content-hash a","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:396"}},{"Add":{"text":" *trusted build* produced (TOFU) — a build output has no upstream authority.","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:477"}},{"Add":{"text":" Written by [elpe update], pushed to the backend at [elpe build] time (via","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:554"}},{"Add":{"text":" [SetOutputLock]) so a shared-cache consumer rejects a poisoned output it did","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:634"}},{"Add":{"text":" not build. The frontend never computes the hashes: [input_hash]/[output_hash]","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:715"}},{"Add":{"text":" are opaque hex strings (the OCaml side has no blake3). --- *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:780"}},{"Add":{"text":"","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:781"}},{"Add":{"text":"type output_pin = {","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:801"}},{"Add":{"text":" op_name : string; (** human label = the derivation's [name] *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:874"}},{"Add":{"text":" op_input_hash : string; (** blake3(name+target+paths+script), the key *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:951"}},{"Add":{"text":" op_output_hash : string; (** blake3 of the output's [blake3sums], the pin *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1031"}},{"Add":{"text":"}","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1033"}},{"Add":{"text":"","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1034"}},{"Add":{"text":"let render_output_pin p =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1060"}},{"Add":{"text":" let b = Buffer.create 160 in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1091"}},{"Add":{"text":" Buffer.add_string b \"[[output]]\\n\";","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1129"}},{"Add":{"text":" Buffer.add_string b (Printf.sprintf \"name = %s\\n\" (escape_str p.op_name));","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1206"}},{"Add":{"text":" Buffer.add_string b","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1228"}},{"Add":{"text":" (Printf.sprintf \"input_hash = %s\\n\" (escape_str p.op_input_hash));","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1299"}},{"Add":{"text":" Buffer.add_string b","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1321"}},{"Add":{"text":" (Printf.sprintf \"output_hash = %s\\n\" (escape_str p.op_output_hash));","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1394"}},{"Add":{"text":" Buffer.add_char b '\\n';","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1420"}},{"Add":{"text":" Buffer.contents b","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1440"}},{"Add":{"text":"","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1441"}},{"Add":{"text":"let render_output_lock ~header ~pins =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1480"}},{"Add":{"text":" let b = Buffer.create (256 + 160 * List.length pins) in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1538"}},{"Add":{"text":" Buffer.add_string b \"# Generated by elpe update — do not edit by hand.\\n\";","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1617"}},{"Add":{"text":" Buffer.add_string b","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1639"}},{"Add":{"text":" \"# Derivation output pins (input-hash -> output-hash); see DESIGN.md.\\n\\n\";","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1719"}},{"Add":{"text":" Buffer.add_string b (render_header header);","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1765"}},{"Add":{"text":" (* Sort by input-hash: stable, content-addressed order → clean Pijul diffs. *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1848"}},{"Add":{"text":" let pins =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1861"}},{"Add":{"text":" List.sort (fun a b -> String.compare a.op_input_hash b.op_input_hash) pins","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1940"}},{"Add":{"text":" in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:1945"}},{"Add":{"text":" List.iter (fun p -> Buffer.add_string b (render_output_pin p)) pins;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2016"}},{"Add":{"text":" Buffer.contents b","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2036"}},{"Add":{"text":"","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2037"}},{"Add":{"text":"(** Write an output lock atomically to [path]. *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2087"}},{"Add":{"text":"let write_output_lock ~path ~header ~pins =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2131"}},{"Add":{"text":" let tmp = path ^ \".tmp\" in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2160"}},{"Add":{"text":" let oc = open_out tmp in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2187"}},{"Add":{"text":" output_string oc (render_output_lock ~header ~pins);","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2242"}},{"Add":{"text":" close_out oc;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2258"}},{"Add":{"text":" Sys.rename tmp path","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2280"}},{"Add":{"text":"","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2281"}},{"Add":{"text":"(** Read the [[output]] pins from a lockfile. Returns [] if the file is","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2354"}},{"Add":{"text":" absent, so callers can push unconditionally. *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2406"}},{"Add":{"text":"let read_output_lock path : output_pin list =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2452"}},{"Add":{"text":" if not (Sys.file_exists path) then []","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2492"}},{"Add":{"text":" else begin","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2505"}},{"Add":{"text":" let ic = open_in path in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2534"}},{"Add":{"text":" let lines = ref [] in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2560"}},{"Add":{"text":" (try","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2569"}},{"Add":{"text":" while true do","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2590"}},{"Add":{"text":" lines := input_line ic :: !lines","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2632"}},{"Add":{"text":" done","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2644"}},{"Add":{"text":" with End_of_file -> ());","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2674"}},{"Add":{"text":" close_in ic;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2691"}},{"Add":{"text":" let lines = List.rev !lines in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2726"}},{"Add":{"text":" let pins = ref [] in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2751"}},{"Add":{"text":" let cur : (string, string) Hashtbl.t option ref = ref None in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2817"}},{"Add":{"text":" let flush () =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2836"}},{"Add":{"text":" match !cur with","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2858"}},{"Add":{"text":" | None -> ()","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2877"}},{"Add":{"text":" | Some tbl ->","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2897"}},{"Add":{"text":" let get k = try Hashtbl.find tbl k with Not_found -> \"\" in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:2966"}},{"Add":{"text":" if get \"input_hash\" <> \"\" && get \"output_hash\" <> \"\" then","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3034"}},{"Add":{"text":" pins :=","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3054"}},{"Add":{"text":" {","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3070"}},{"Add":{"text":" op_name = get \"name\";","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3108"}},{"Add":{"text":" op_input_hash = get \"input_hash\";","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3158"}},{"Add":{"text":" op_output_hash = get \"output_hash\";","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3210"}},{"Add":{"text":" }","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3226"}},{"Add":{"text":" :: !pins;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3250"}},{"Add":{"text":" cur := None","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3272"}},{"Add":{"text":" in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3279"}},{"Add":{"text":" List.iter","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3293"}},{"Add":{"text":" (fun raw ->","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3311"}},{"Add":{"text":" let line = String.trim raw in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3349"}},{"Add":{"text":" if line = \"\" || (String.length line > 0 && line.[0] = '#') then ()","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3424"}},{"Add":{"text":" else if line = \"[[output]]\" then (flush (); cur := Some (Hashtbl.create 4))","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3508"}},{"Add":{"text":" else if String.length line > 0 && line.[0] = '[' then (flush (); cur := None)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3594"}},{"Add":{"text":" else","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3607"}},{"Add":{"text":" match (parse_kv line, !cur) with","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3650"}},{"Add":{"text":" | Some (k, v), Some tbl -> Hashtbl.replace tbl k v","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3711"}},{"Add":{"text":" | _ -> ())","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3732"}},{"Add":{"text":" lines;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3745"}},{"Add":{"text":" flush ();","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3759"}},{"Add":{"text":" List.rev !pins","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3778"}},{"Add":{"text":" end","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3784"}},{"Add":{"text":"","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3785"}},{"Add":{"text":"(** Push output pins to the backend so [Derivation] builds enforce them. Keyed","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3865"}},{"Add":{"text":" by input-hash; a no-op on an empty list. *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3913"}},{"Add":{"text":"let push_output_pins connection (pins : output_pin list) : unit Lwt.t =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:3985"}},{"Add":{"text":" if pins = [] then Lwt.return ()","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4019"}},{"Add":{"text":" else","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4026"}},{"Add":{"text":" let pins_proto =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4047"}},{"Add":{"text":" List.map","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4062"}},{"Add":{"text":" (fun p ->","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4080"}},{"Add":{"text":" Elpegrpc.Elpe.OutputPin.make ~input_hash:p.op_input_hash","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4147"}},{"Add":{"text":" ~output_hash:p.op_output_hash ())","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4193"}},{"Add":{"text":" pins","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4206"}},{"Add":{"text":" in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4213"}},{"Add":{"text":" let req = Elpegrpc.Elpe.SetOutputLockRequest.make ~pins:pins_proto () in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4290"}},{"Add":{"text":" let* res =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4305"}},{"Add":{"text":" grpc_call_unary connection ~rpc:\"SetOutputLock\"","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4359"}},{"Add":{"text":" Elpegrpc.Elpe.Elpe.setOutputLock req","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4404"}},{"Add":{"text":" in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4411"}},{"Add":{"text":" let _ = Result.get_ok res in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4444"}},{"Add":{"text":" Lwt.return ()","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4462"}}]}},{"Edit":{"inode":{"change":8,"pos":353955},"path":"elpe/lib/lock.ml","line":392,"atom":{"NewVertex":{"up_context":[{"change":8,"pos":363913}],"down_context":[{"change":8,"pos":363913}],"flag":"BLOCK","start":4464,"end":4771,"inode":{"change":8,"pos":353955}}},"contents":[{"Add":{"text":"(** Read the project's output lock (if any) and push its pins on the global","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4539"}},{"Add":{"text":" backend connection. Called after connecting, before building. *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4609"}},{"Add":{"text":"let push_project_output_lock ~path : unit Lwt.t =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4659"}},{"Add":{"text":" match !backend_conn with","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4686"}},{"Add":{"text":" | None -> Lwt.return ()","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4712"}},{"Add":{"text":" | Some c -> push_output_pins c (read_output_lock path)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4769"}},{"Add":{"text":"","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4770"}}]}},{"Edit":{"inode":{"change":4,"pos":445},"path":"elpe/lib/derivation.ml","line":70,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":567}],"down_context":[{"change":7,"pos":0}],"flag":"BLOCK","start":4778,"end":5992,"inode":{"change":4,"pos":445}}},"contents":[{"Add":{"text":"(* Extract the output content-hash from a store root path. A store root built by","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4858"}},{"Add":{"text":" a native derivation is named \"<64-hex blake3>-\" (server.rs names the","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:4936"}},{"Add":{"text":" returned symlink \"{output-hash}-{name}\"); the head destdir is that path.","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5012"}},{"Add":{"text":" Returns [None] when the basename doesn't have that shape. *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5076"}},{"Add":{"text":"let output_hash_of_destdir = function","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5114"}},{"Add":{"text":" | [] -> None","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5129"}},{"Add":{"text":" | d :: _ ->","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5143"}},{"Add":{"text":" let base = Filename.basename d in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5183"}},{"Add":{"text":" let is_hex c = (c >= '0' && c <= '9') || (c >= 'a' && c <= 'f') in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5256"}},{"Add":{"text":" if","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5265"}},{"Add":{"text":" String.length base >= 64","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5298"}},{"Add":{"text":" && String.for_all is_hex (String.sub base 0 64)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5354"}},{"Add":{"text":" && (String.length base = 64 || base.[64] = '-')","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5410"}},{"Add":{"text":" then Some (String.sub base 0 64)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5449"}},{"Add":{"text":" else None","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5465"}},{"Add":{"text":"","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5466"}},{"Add":{"text":"(* Every native (Derivation-RPC) build appends its pin here as it completes:","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5543"}},{"Add":{"text":" (input-hash, name, output-hash). [elpe update] snapshots this after building","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5623"}},{"Add":{"text":" the top module — which recursively builds the whole closure — so it can write","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5708"}},{"Add":{"text":" a lockfile of output pins for the entire dependency graph, not just the root.","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5789"}},{"Add":{"text":" Only builds the backend tagged with a non-empty input-hash are recorded","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5864"}},{"Add":{"text":" (fetches/ubuntu extraction report empty and are skipped). *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5928"}},{"Add":{"text":"let built_pins : (string * string * string) list ref = ref []","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5990"}},{"Add":{"text":"","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:5991"}}]}},{"Edit":{"inode":{"change":4,"pos":445},"path":"elpe/lib/derivation.ml","line":538,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":13823}],"down_context":[{"change":5,"pos":13823}],"flag":"BLOCK","start":5993,"end":6530,"inode":{"change":4,"pos":445}}},"contents":[{"Add":{"text":" (* Record this build's pin (input-hash -> output-hash) for","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6069"}},{"Add":{"text":" [elpe update]. The backend reports the derivation identity","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6149"}},{"Add":{"text":" in [input_hash]; the output-hash is the store basename's","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6227"}},{"Add":{"text":" hash prefix. *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6264"}},{"Add":{"text":" (if r.input_hash <> \"\" then","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6310"}},{"Add":{"text":" match output_hash_of_destdir r.destdir with","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6375"}},{"Add":{"text":" | Some oh ->","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6409"}},{"Add":{"text":" built_pins := (r.input_hash, self#name, oh) :: !built_pins","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6493"}},{"Add":{"text":" | None -> ());","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6529"}}]}},{"Edit":{"inode":{"change":2,"pos":63278},"path":"elpe/bin/elpe_bin.ml","line":161,"atom":{"NewVertex":{"up_context":[{"change":6,"pos":1426}],"down_context":[{"change":6,"pos":1426}],"flag":"BLOCK","start":6538,"end":6910,"inode":{"change":2,"pos":63278}}},"contents":[{"Add":{"text":" (* Load the project's output pins so this build enforces them: a","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6612"}},{"Add":{"text":" cache hit that doesn't match a pinned output-hash is rejected. *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6691"}},{"Add":{"text":" let* () =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6711"}},{"Add":{"text":" let target = Elpe.Platform.triple !Elpe.Platform.target in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6782"}},{"Add":{"text":" Elpe.Lock.push_project_output_lock","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6829"}},{"Add":{"text":" ~path:(Printf.sprintf \"elpe.%s.outputs.lock\" target)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6896"}},{"Add":{"text":" in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6909"}}]}},{"Edit":{"inode":{"change":2,"pos":63278},"path":"elpe/bin/elpe_bin.ml","line":206,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":64513}],"down_context":[{"change":8,"pos":662880}],"flag":"BLOCK","start":6911,"end":9033,"inode":{"change":2,"pos":63278}}},"contents":[{"Add":{"text":"let update =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6923"}},{"Add":{"text":" Core.Command.basic","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6944"}},{"Add":{"text":" ~summary:","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:6958"}},{"Add":{"text":" \"Build the project and record derivation output pins into \\","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7024"}},{"Add":{"text":" elpe..outputs.lock (the `nix flake update` of output hashes)\"","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7101"}},{"Add":{"text":" (let%map_open.Command files = anon (sequence (\"file\" %: string)) in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7173"}},{"Add":{"text":" fun () ->","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7188"}},{"Add":{"text":" Elpe.last_built_module := None;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7227"}},{"Add":{"text":" Elpe.built_pins := [];","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7257"}},{"Add":{"text":" Lwt_main.run","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7277"}},{"Add":{"text":" (let* _ = compile (if files = [] then [ \"build.ml\" ] else files) in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7354"}},{"Add":{"text":" match !Elpe.last_built_module with","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7399"}},{"Add":{"text":" | None ->","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7419"}},{"Add":{"text":" Printf.eprintf","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7448"}},{"Add":{"text":" \"build.ml did not register a module via [Elpe.build]\\n\";","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7521"}},{"Add":{"text":" Lwt.return ()","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7549"}},{"Add":{"text":" | Some last ->","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7574"}},{"Add":{"text":" let* last = last in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7608"}},{"Add":{"text":" (* Building the top module recursively builds the whole closure;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7687"}},{"Add":{"text":" each native build records its pin in [Elpe.built_pins]. *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7763"}},{"Add":{"text":" let* _ = (last :> Elpe.derivation)#build in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7821"}},{"Add":{"text":" (* Dedup by input-hash (one derivation reachable by many paths). *)","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7903"}},{"Add":{"text":" let seen = Hashtbl.create 128 in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7950"}},{"Add":{"text":" let pins =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:7975"}},{"Add":{"text":" List.filter_map","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8007"}},{"Add":{"text":" (fun (ih, name, oh) ->","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8048"}},{"Add":{"text":" if Hashtbl.mem seen ih then None","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8101"}},{"Add":{"text":" else (","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8128"}},{"Add":{"text":" Hashtbl.add seen ih ();","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8174"}},{"Add":{"text":" Some","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8201"}},{"Add":{"text":" {","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8227"}},{"Add":{"text":" Elpe.Lock.op_name = name;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8279"}},{"Add":{"text":" op_input_hash = ih;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8325"}},{"Add":{"text":" op_output_hash = oh;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8372"}},{"Add":{"text":" }))","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8400"}},{"Add":{"text":" !Elpe.built_pins","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8435"}},{"Add":{"text":" in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8452"}},{"Add":{"text":" let target = Elpe.Platform.triple !Elpe.Platform.target in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8525"}},{"Add":{"text":" let path = Printf.sprintf \"elpe.%s.outputs.lock\" target in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8598"}},{"Add":{"text":" let header =","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8625"}},{"Add":{"text":" {","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8643"}},{"Add":{"text":" Elpe.Lock.target;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8679"}},{"Add":{"text":" ubuntu_release = None;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8720"}},{"Add":{"text":" ocaml_version = None;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8760"}},{"Add":{"text":" python_version = None;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8801"}},{"Add":{"text":" }","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8819"}},{"Add":{"text":" in","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8836"}},{"Add":{"text":" Elpe.Lock.write_output_lock ~path ~header ~pins;","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8899"}},{"Add":{"text":" Printf.eprintf \"Wrote %s (%d output pins)\\n%!\" path","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:8965"}},{"Add":{"text":" (List.length pins);","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:9001"}},{"Add":{"text":" Lwt.return ()))","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:9031"}},{"Add":{"text":"","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:9032"}}]}},{"Replacement":{"inode":{"change":2,"pos":63278},"path":"elpe/bin/elpe_bin.ml","line":286,"ins":{"up_context":[{"change":8,"pos":663794}],"down_context":[{"change":3,"pos":75905}],"flag":"BLOCK","start":9034,"end":9164,"inode":{"change":2,"pos":63278}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":663794},"to":{"change":8,"start":663794,"end":663869},"introduced_by":8}],"inode":{"change":2,"pos":63278}},"ins_contents":[{"Add":{"text":" [","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:9039"}},{"Add":{"text":" (\"shell\", shell);","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:9063"}},{"Add":{"text":" (\"build\", build);","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:9087"}},{"Add":{"text":" (\"lock\", lock);","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:9109"}},{"Add":{"text":" (\"update\", update);","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:9135"}},{"Add":{"text":" (\"sbom\", sbom);","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:9157"}},{"Add":{"text":" ]","pos":"RQCTKMTOLLSGTRF2LTCUG4S5N22MAPDPIBFSH3CM5WWJ2MQYUB6QC:9163"}}],"del_contents":[{"Del":{"text":" [ (\"shell\", shell); (\"build\", build); (\"lock\", lock); (\"sbom\", sbom) ]","pos":"WLGN2XYIIDGFB2RUD7WX6J5RFK2DS37HLV2WIGS64P5G4L6BNIQQC:663868"}}]}}],"owner":"pmeunier","repo":"elpe","token":"SHC2DzwfXblDzZGI4Yai+emtHVDj2ucduK2VAtlgc3s=","login":null}

…

Dependencies

Change contents

Review