Mod Edit tool'unu hook'lar. Başarılı bir edit'ten sonra old_string ve new_string içindeki tek satırlık fonksiyon tanımlarını karşılaştırır: Go func, JS ve TS fonksiyonları, arrow function'lar ve class method'ları, Python def, Rust fn, Java method'ları ve PHP fonksiyonları.

İki metnin de farklı parametrelerle tanımladığı bir fonksiyon, değişmiş bir signature'dır. Gövde edit'i hiçbir şey çalıştırmaz.

Değişen her signature için ripwire <repo root> --edit-check=<file>:<name> komutunu argv ile çalıştırır. ripwire tanımı git HEAD ile karşılaştırır ve caller'ları listeler.

ripwire status="contract-change" raporladığında model, Edit'in sonucundan sonra şu notu okur:

contract-watch: parse changed from 1 to 2 parameter(s) since the last commit; check each caller: main (main.go:5), other (main.go:9).

Bir caller, içinde durduğu tanımla adlandırılır; en fazla 10 tanesi adlandırılır, gerisi sayılır. ripwire bir caller'ı incompatible="1" olarak işaretlediğinde, gördüğü her tanım yeni arity ile uyuşmuyor demektir ve o caller'lar kendi cümleleri altında önce gelir:

contract-watch: parse changed from 1 to 2 parameter(s) since the last commit; these callers do not match the new arity: main (main.go:5). Other callers of that name, which the call graph binds by name and may belong to another type: other (lib.go:9). Check each.

İkinci grup, birden çok tipin aynı adda bir method tanımladığı bir kod tabanında önemlidir: call graph bir çağrıyı adına göre bağlar, yani Messaging::sendAlert ile SNMP_Monitor::sendAlert aynı okunur. İki grup da atılmaz.

Aynı anda transcript'e bir satır yazılır, böylece modele ne söylendiğini görürsünüz. Bu satır talimat cümlesi olmadan yalnız bulguyu taşır:

contract-watch: parse changed from 1 to 2 parameter(s); do not match: main (main.go:5); same name: other (lib.go:9)

Not ve satır ayrı iki kanaldır: model satırı hiç okumaz, siz notu hiç okumazsınız.

sidebar açıkken bulgu oraya gider: ilk satırda değişim, altında kırmızı ile işaretli caller'lar ve bir same name, may be another type satırından sonra soluk renkte aynı adlı olanlar, stream'in içinde bir kayıt olarak; transcript temiz kalır. Kayıt, yenileri onu pane'in dışına itene kadar durur. Sidebar kapalıyken ya da o mod kurulu değilken yukarıdaki transcript satırı yazılır.

Mod raporladığı her signature'ı açık tutar ve iki modda da kendisi kapatır. Modelin çalıştırdığı bir sonraki git commit, git push ya da git merge anında, o komut çalışmadan önce, ripwire her açık sembolü tekrar ölçer. Artık hiçbir caller'ın kaçırmadığı bir sembol yeşil bir satırla kapanır ve bulgunun sidebar kaydı düşer:

contract-watch: every caller matches parse again

Bu satır, contract son commit ile yeniden aynı okunduğunda gelir. Contract hâlâ farklıyken hiçbir caller ripwire'ın incompatible işaretini taşımıyorsa, kapanış satırı onun yerine bu daha dar ölçümü adlandırır, çünkü adına göre bağlayan bir call graph her caller'ın doğru olduğunu kanıtlayamaz:

contract-watch: no caller of parse carries the mismatch mark any more

Ölçüm komuttan sonra değil, önce çalışır: --edit-check working tree'yi git HEAD ile karşılaştırır, yani commit düştükten sonra karşılaştıracak bir şey kalmaz ve her bulgu kapanmış okunurdu.

Modelin kapatmadığı bir bulgu her main-loop turn sonunda aynı şekilde ölçülür ve geriye kalan, bir sonraki prompt ile modele tek not olarak ulaşır. ripwire bu makinede, açık sembol başına bir kere çalışır:

contract-watch: 1 changed signature(s) still leave a caller behind: parse changed from 1 to 2 parameter(s), 1 caller(s) do not match. Bring each caller to the new signature, or take the signature change back.

Turn başına bir not, prompt başına değil. Bu olmasa bulgu bir kere, edit anında söylenir ve model onu unutmuşken pane'de dururdu. Siz yeni bir şey okumazsınız: pane zaten aynı bulguyu taşır.

deny modunda aynı an komutu da durdurur, değişmiş bir signature bir caller'ı geride bıraktığı sürece. Gate nottan daha dar bir ölçüm alır: yalnız incompatible sayısı sıfırdan büyük olan bir kontrol gate'i tutar, yani ripwire'ın sabit arity kanıtıyla adlandırdığı caller'lar. Bir git commit yalnız kendi dosyalarından sorumludur: mod index'i okur (git diff --cached --name-only, repository başına bir kere) ve commit o signature'ların yaşadığı dosyalardan hiçbirini tutmuyorsa çalışmasına izin verir, kaç bulgunun durduğunu söyleyen bir satırla. push ve merge hiçbir index okumaz, bu yüzden orada her bulgu durur. Kaçış yolu yoktur; gate'i yalnız kişi /contract-watch mode note ile kapatır. note varsayılandır ve hiçbir şeyi durdurmaz.

The mod hooks the Edit tool. After a successful edit it compares the one-line function definitions in old_string and new_string: Go func, JS and TS functions, arrow functions and class methods, Python def, Rust fn, Java methods and PHP functions.

A function both strings define with other parameters is a changed signature. A body edit runs nothing.

For each changed signature it runs ripwire <repo root> --edit-check=<file>:<name> by argv. ripwire compares the definition with git HEAD and lists the callers.

When ripwire reports status="contract-change", the model reads this note after the Edit's result:

contract-watch: parse changed from 1 to 2 parameter(s) since the last commit; check each caller: main (main.go:5), other (main.go:9).

A caller is named with the definition it sits in; at most 10 are named, the rest counted. When ripwire marks a caller incompatible="1", every folded definition it sees disagrees with the new arity, and those callers come first, under their own sentence:

contract-watch: parse changed from 1 to 2 parameter(s) since the last commit; these callers do not match the new arity: main (main.go:5). Other callers of that name, which the call graph binds by name and may belong to another type: other (lib.go:9). Check each.

The second group matters in a codebase where several types define a method of one name: the call graph binds a call by its name, so Messaging::sendAlert reads the same as SNMP_Monitor::sendAlert. Neither group is dropped.

The same moment writes one line to the transcript, so you see what the model was told. The line holds the finding alone, without the instruction:

contract-watch: parse changed from 1 to 2 parameter(s); do not match: main (main.go:5); same name: other (lib.go:9)

The note and the line are separate channels: the model never reads the line, and you never read the note.

While the sidebar is open, that finding goes there instead, the change on the first line, the marked callers in red under it and the same-named ones faint after a same name, may be another type line, as an entry in its stream, and the transcript stays clean. The entry stays until newer ones push it off the pane. With the sidebar closed, or without that mod installed, the transcript line is written as above.

The mod holds every reported signature open and closes it itself, in both modes. At the next git commit, git push or git merge the model runs, and before that command runs, ripwire measures each open symbol again. A symbol no caller misses any more closes with a green line, and the sidebar entry of the finding is dropped:

contract-watch: every caller matches parse again

That line comes when the contract reads the same as the last commit again. When the contract still differs but no caller carries ripwire's incompatible mark any more, the closing line names that narrower measure instead, because a call graph that binds by name cannot prove every caller right:

contract-watch: no caller of parse carries the mismatch mark any more

The measurement runs before the command, not after it: --edit-check compares the working tree against git HEAD, so once a commit has landed there is nothing left to compare and every finding would read as closed.

A finding the model did not close is measured the same way at the end of each main-loop turn, and what is left reaches the model as one note with its next prompt. ripwire runs on this machine, once per open symbol:

contract-watch: 1 changed signature(s) still leave a caller behind: parse changed from 1 to 2 parameter(s), 1 caller(s) do not match. Bring each caller to the new signature, or take the signature change back.

One note per turn, not one per prompt. Without this the finding would be said once, at the edit, and then stand in the pane while the model forgot it. You read nothing new: the pane already carries the same finding.

In deny mode that same moment also stops the command while a changed signature leaves a caller behind. The gate takes a narrower measure than the note: only a check whose incompatible count is above zero holds it, the callers ripwire names by fixed-arity evidence. A git commit answers for its own files alone: the mod reads the index (git diff --cached --name-only, once per repository) and lets the commit run when it holds none of the files those signatures live in, with one line to you naming how many still stand. A push and a merge hold no index to read, so every finding stands there. There is no bypass; only the person turns the gate off with /contract-watch mode note. note mode is the default and stops nothing.