agentfootprint 7.11.0 → 7.12.0

package/dist/esm/lib/context-bisect/trajectory.js.map

@@ -1 +1 @@
-{"version":3,"file":"trajectory.js","sourceRoot":"","sources":["../../../../src/lib/context-bisect/trajectory.ts"],"names":[],"mappings":"AAyBA,OAAO,EACL,aAAa,EACb,cAAc,EACd,mBAAmB,EACnB,YAAY,GACb,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAE9D,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,uBAAuB,EAA8C,MAAM,YAAY,CAAC;AA+FjG;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAC7B,SAAkC,EAClC,mBAAsC;IAEtC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC;QACvC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,8DAA8D;QAClF,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC;IACzE,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAmB,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACrD,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC;QACvE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC;IAClG,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED,wEAAwE;AAExE,2FAA2F;AAC3F,SAAS,iBAAiB,CAAC,MAAoB;IAC7C,MAAM,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACnE,IAAI,YAAY,KAAK,WAAW,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC,CAAC,2BAA2B;IAC3F,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC5C,uFAAuF;IACvF,OAAO,CACL,WAAW,KAAK,WAAW,CAAC,gBAAgB;QAC5C,WAAW,CAAC,UAAU,CAAC,WAAW,CAAC,gBAAgB,GAAG,GAAG,CAAC,CAC3D,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,SAAkC;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,MAAM,MAAM,IAAI,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;QACtD,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAWD;2DAC2D;AAC3D,SAAS,YAAY,CAAC,aAAwC;IAC5D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,MAAM,KAAK,GAAG,CAAC,IAA+B,EAAQ,EAAE;QACtD,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,MAAM,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC;QAC/B,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC;IACF,KAAK,CAAC,aAAa,CAAC,CAAC;IACrB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;AACH,CAAC;AAUD;;;;;GAKG;AACH,SAAS,YAAY,CACnB,SAAiB,EACjB,GAAmB,EACnB,SAA8B,EAC9B,OAA8B,EAC9B,YAAoB,EACpB,OAA0B,EAC1B,YAAoB,EACpB,YAAqB;IAErB,8EAA8E;IAC9E,IAAI,SAA6B,CAAC;IAClC,IAAI,eAAmC,CAAC;IACxC,IAAI,SAAmC,CAAC;IACxC,KAAK,IAAI,CAAC,GAAG,YAAY,EAAE,CAAC,GAAG,YAAY,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClE,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;YACrE,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC;YAClC,eAAe,GAAG,CAAC,CAAC;YACpB,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YACnB,MAAM;QACR,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GACpB,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEhG,MAAM,IAAI,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,MAAM,cAAc,GAAoB,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACvD,iFAAiF;QACjF,MAAM,MAAM,GACV,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,MAAM,QAAQ,GAAG,MAAM,EAAE,cAAc,CAAC;QACxC,MAAM,cAAc,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpF,MAAM,KAAK,GACT,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACrF,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;QACpF,OAAO;YACL,GAAG;YACH,QAAQ;YACR,cAAc;YACd,KAAK;YACL,QAAQ,EAAE,EAAE,EAAE,EAAE,GAAG,SAAS,KAAK,GAAG,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE;SAClE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,gGAAgG;IAChG,gGAAgG;IAChG,gGAAgG;IAChG,gGAAgG;IAChG,oGAAoG;IACpG,oGAAoG;IACpG,IAAI,mBAAoD,CAAC;IACzD,IAAI,YAAY,KAAK,SAAS,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAChE,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,gBAAgB,EAAE,eAAe,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,MAAM,CAAC,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtF,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACvC,mBAAmB,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAClF,CAAC;IACH,CAAC;IAED,MAAM,iBAAiB,GAAG,SAAS,EAAE,gBAAgB,CAAC;IACtD,MAAM,qBAAqB,GAAG,iBAAiB,KAAK,SAAS,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;IAC9F,OAAO;QACL,SAAS;QACT,SAAS;QACT,eAAe;QACf,YAAY;QACZ,OAAO;QACP,gBAAgB;QAChB,cAAc;QACd,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,qBAAqB;KACtB,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,SAAS,gBAAgB,CAAC,cAAuC;IAC/D,OAAO,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC;SAC/B,MAAM,CACL,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,KAAK,WAAW,CAAC,QAAQ,CAC9F;SACA,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,cAAc,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;AACnG,CAAC;AAED;;;;;;GAMG;AACH,SAAS,yBAAyB,CAChC,SAA8B,EAC9B,SAA4B,EAC5B,YAAoB,EACpB,SAA6B;IAE7B,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,cAAc,IAAI,EAAE,CAAyC,CAAC;IAC7F,MAAM,MAAM,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAmB,CAAC;IAEtE,4FAA4F;IAC5F,MAAM,gBAAgB,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,MAAM,OAAO,GACX,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE7F,MAAM,IAAI,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACjF,MAAM,SAAS,GAAG,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC;IAE1E,MAAM,MAAM,GAAgB,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE;QACtD,MAAM,QAAQ,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,OAAO,IAAI,EAAE,CAAmB,CAAC;QACzE,MAAM,YAAY,GAAG,YAAY,CAC/B,EAAE,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,aAA0C,CACjE,CAAC;QACF,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;QACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;QAC5F,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QACtD,OAAO,YAAY,CACjB,SAAS,EACT,QAAQ,EACR,cAAc,EACd,YAAY,EACZ,CAAC,EACD,OAAO,EACP,YAAY,EACZ,GAAG,CACJ,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,MAAM;QACN,OAAO;QACP,YAAY,EAAE,EAAE;QAChB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,kBAAkB,CAChC,SAA8B,EAC9B,OAAkC,EAAE;IAEpC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,uBAAuB,CAAC,YAAY,CAAC;IAE/E,gGAAgG;IAChG,MAAM,SAAS,GAAG,gBAAgB,CAChC,CAAC,SAAS,CAAC,QAAQ,CAAC,cAAc,IAAI,EAAE,CAA4B,CACrE,CAAC;IACF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,yBAAyB,CAAC,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACvF,CAAC;IAED,uFAAuF;IACvF,MAAM,SAAS,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAmB,CAAC;IACzE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;IACzF,MAAM,OAAO,GAAG,YAAY,CAAC,SAAS,CAAC,QAAQ,CAAC,aAA0C,CAAC,CAAC;IAE5F,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IACvC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,eAAe,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACvF,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC;IAElF,MAAM,MAAM,GAAgB,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CACzD,YAAY,CACV,SAAS,EACT,SAAS,EACT,SAAS,EACT,OAAO,EACP,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,OAAO,EACd,YAAY,CACb,CACF,CAAC;IAEF,OAAO;QACL,MAAM;QACN,OAAO;QACP,YAAY,EAAE,EAAE;QAChB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC;AACJ,CAAC"}
+{"version":3,"file":"trajectory.js","sourceRoot":"","sources":["../../../../src/lib/context-bisect/trajectory.ts"],"names":[],"mappings":"AAyBA,OAAO,EACL,aAAa,EACb,cAAc,EACd,mBAAmB,EACnB,YAAY,GACb,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAE9D,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,uBAAuB,EAA8C,MAAM,YAAY,CAAC;AA+FjG,2FAA2F;AAC3F,MAAM,kBAAkB,GAAG,gBAAgB,CAAC;AAU5C;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAC7B,SAAkC,EAClC,mBAAsC;IAEtC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC;QACvC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,8DAA8D;QAClF,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC;IACzE,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAmB,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACrD,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC;QACvE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC;IAClG,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED,wEAAwE;AAExE,2FAA2F;AAC3F,SAAS,iBAAiB,CAAC,MAAoB;IAC7C,MAAM,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACnE,IAAI,YAAY,KAAK,WAAW,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC,CAAC,2BAA2B;IAC3F,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC5C,uFAAuF;IACvF,OAAO,CACL,WAAW,KAAK,WAAW,CAAC,gBAAgB;QAC5C,WAAW,CAAC,UAAU,CAAC,WAAW,CAAC,gBAAgB,GAAG,GAAG,CAAC,CAC3D,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,SAAkC;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,MAAM,MAAM,IAAI,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;QACtD,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAWD;2DAC2D;AAC3D,SAAS,YAAY,CAAC,aAAwC;IAC5D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,MAAM,KAAK,GAAG,CAAC,IAA+B,EAAQ,EAAE;QACtD,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,MAAM,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC;QAC/B,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC;IACF,KAAK,CAAC,aAAa,CAAC,CAAC;IACrB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;AACH,CAAC;AAUD;;;;;GAKG;AACH,SAAS,YAAY,CACnB,SAAiB,EACjB,GAAmB,EACnB,SAA8B,EAC9B,OAA8B,EAC9B,YAAoB,EACpB,OAA0B,EAC1B,YAAoB,EACpB,YAAqB;IAErB,8EAA8E;IAC9E,IAAI,SAA6B,CAAC;IAClC,IAAI,eAAmC,CAAC;IACxC,IAAI,SAAmC,CAAC;IACxC,KAAK,IAAI,CAAC,GAAG,YAAY,EAAE,CAAC,GAAG,YAAY,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClE,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;YACrE,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC;YAClC,eAAe,GAAG,CAAC,CAAC;YACpB,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YACnB,MAAM;QACR,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GACpB,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEhG,MAAM,IAAI,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,MAAM,cAAc,GAAoB,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACvD,iFAAiF;QACjF,MAAM,MAAM,GACV,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,MAAM,QAAQ,GAAG,MAAM,EAAE,cAAc,CAAC;QACxC,MAAM,cAAc,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpF,MAAM,KAAK,GACT,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACrF,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;QACpF,OAAO;YACL,GAAG;YACH,QAAQ;YACR,cAAc;YACd,KAAK;YACL,QAAQ,EAAE,EAAE,EAAE,EAAE,GAAG,SAAS,KAAK,GAAG,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE;SAClE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,gGAAgG;IAChG,gGAAgG;IAChG,gGAAgG;IAChG,gGAAgG;IAChG,oGAAoG;IACpG,oGAAoG;IACpG,IAAI,mBAAoD,CAAC;IACzD,IAAI,YAAY,KAAK,SAAS,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAChE,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,kBAAkB,EAAE,eAAe,CAAC,CAAC;QACnE,MAAM,IAAI,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,MAAM,CAAC,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACvC,mBAAmB,GAAG;gBACpB,KAAK,EAAE,CAAC;gBACR,QAAQ,EAAE,CAAC,CAAC,cAAc;gBAC1B,QAAQ,EAAE,kBAAkB;gBAC5B,SAAS,EAAE,IAAI;aAChB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,iBAAiB,GAAG,SAAS,EAAE,gBAAgB,CAAC;IACtD,MAAM,qBAAqB,GAAG,iBAAiB,KAAK,SAAS,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;IAC9F,OAAO;QACL,SAAS;QACT,SAAS;QACT,eAAe;QACf,YAAY;QACZ,OAAO;QACP,gBAAgB;QAChB,cAAc;QACd,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,qBAAqB;KACtB,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,SAAS,gBAAgB,CAAC,cAAuC;IAC/D,OAAO,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC;SAC/B,MAAM,CACL,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,KAAK,WAAW,CAAC,QAAQ,CAC9F;SACA,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,cAAc,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;AACnG,CAAC;AAED;;;;;;GAMG;AACH,SAAS,yBAAyB,CAChC,SAA8B,EAC9B,SAA4B,EAC5B,YAAoB,EACpB,SAA6B;IAE7B,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,cAAc,IAAI,EAAE,CAAyC,CAAC;IAC7F,MAAM,MAAM,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAmB,CAAC;IAEtE,4FAA4F;IAC5F,MAAM,gBAAgB,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,MAAM,OAAO,GACX,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE7F,MAAM,IAAI,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACjF,MAAM,SAAS,GAAG,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC;IAE1E,MAAM,MAAM,GAAgB,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE;QACtD,MAAM,QAAQ,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,OAAO,IAAI,EAAE,CAAmB,CAAC;QACzE,MAAM,YAAY,GAAG,YAAY,CAC/B,EAAE,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,aAA0C,CACjE,CAAC;QACF,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;QACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;QAC5F,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QACtD,OAAO,YAAY,CACjB,SAAS,EACT,QAAQ,EACR,cAAc,EACd,YAAY,EACZ,CAAC,EACD,OAAO,EACP,YAAY,EACZ,GAAG,CACJ,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,MAAM;QACN,OAAO;QACP,YAAY,EAAE,EAAE;QAChB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,kBAAkB,CAChC,SAA8B,EAC9B,OAAkC,EAAE;IAEpC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,uBAAuB,CAAC,YAAY,CAAC;IAE/E,gGAAgG;IAChG,MAAM,SAAS,GAAG,gBAAgB,CAChC,CAAC,SAAS,CAAC,QAAQ,CAAC,cAAc,IAAI,EAAE,CAA4B,CACrE,CAAC;IACF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,yBAAyB,CAAC,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACvF,CAAC;IAED,uFAAuF;IACvF,MAAM,SAAS,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAmB,CAAC;IACzE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;IACzF,MAAM,OAAO,GAAG,YAAY,CAAC,SAAS,CAAC,QAAQ,CAAC,aAA0C,CAAC,CAAC;IAE5F,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IACvC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,eAAe,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACvF,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC;IAElF,MAAM,MAAM,GAAgB,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CACzD,YAAY,CACV,SAAS,EACT,SAAS,EACT,SAAS,EACT,OAAO,EACP,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,OAAO,EACd,YAAY,CACb,CACF,CAAC;IAEF,OAAO;QACL,MAAM;QACN,OAAO;QACP,YAAY,EAAE,EAAE;QAChB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC;AACJ,CAAC"}

package/dist/esm/lib/context-bisect/variable-recall.d.ts

@@ -0,0 +1,171 @@
+/**
+ * variable-recall — footprintjs's VARIABLE slices, joined to agent vocabulary.
+ *
+ * footprintjs answers "what happened to this variable?" in the address space it
+ * owns: commit indices, runtimeStageIds, state keys (`keyTimeline` /
+ * `forwardSliceForKey`, `footprintjs/trace`). An agent debugger asks the same
+ * question in a DIFFERENT vocabulary: which LOOP was that, which injected fact
+ * or tool result is that write, and what would REMOVING it cost. This module is
+ * the join between the two — and nothing more:
+ *
+ *   - **Pure assembly.** Every fact here was already recorded. No new capture,
+ *     no new scorer, no embedder, no LLM. `joinVariableSlice` re-labels; it
+ *     never measures.
+ *   - **Loop lifting.** Each moment gets the `loopIndex` of the frame that
+ *     contains its `runtimeStageId` (the walk's own `buildWriterFrameIndex` —
+ *     one resolver, not two).
+ *   - **Agent identity.** A WRITE whose value the trajectory carries is run
+ *     through the SAME `defaultSuspectClassifier` the localizer uses, so a
+ *     write joins 1:1 with a `Suspect` (`injectionId` / `toolName`) and gets
+ *     the `AblationSpec` that would remove it. Writers the classifier cannot
+ *     name get NO hook — an honest absence, never a fabricated one.
+ *   - **Honesty rides along verbatim.** footprintjs's `HonestyNote`s, the
+ *     missing-reason, and `readsCoverage` are copied, not re-worded.
+ *
+ * The one JUDGEMENT this module makes is {@link DataflowCoverage} — see the
+ * long comment on `dataflowCoverage()`. It is what lets `walkToRoot` replace a
+ * text-similarity guess with a recorded dataflow edge, and it is deliberately
+ * strict.
+ *
+ * @beta Beta feature (RFC-003 Part B). The API works and is tested, but may
+ * change before GA.
+ */
+import type { ForwardSlice, HonestyNote, KeyMoment, KeyTimeline, MissingSliceReason, ReadsCoverage, StateKey } from 'footprintjs/trace';
+import { type SuspectClassifier } from './localize.js';
+import { type Trajectory } from './trajectory.js';
+import type { AblationSpec, ContextBugArtifacts, SuspectKind } from './types.js';
+/**
+ * How exactly this log records what a key's value FED — the one judgement in
+ * this module, and the gate on `walkToRoot`'s deterministic hop.
+ *
+ * - `'exact'` — every recorded `fed` edge for this key carries per-write
+ *   provenance (`FedBasis: 'per-write'`, the `writeProvenance: 'reads-prefix'`
+ *   dial): a downstream write is linked to this value BECAUSE that write's
+ *   recorded read-prefix names the key, and a write whose prefix omits it is
+ *   excluded exactly.
+ * - `'conservative'` — at least one edge is stage-level co-occurrence
+ *   (`'conservative-fed-edges'`), or the log carries no recorded reads at all.
+ *   Sound over-approximation; NEVER presented as exact.
+ * - `'unknown'` — no forward slice was supplied, OR the key has no recorded
+ *   `fed` edge at all. The second case is the trap: with zero edges there is
+ *   also zero conservative edge, so "no conservative edges" would be VACUOUSLY
+ *   true and a key nothing ever read would masquerade as the most exact key in
+ *   the run. It is demoted here instead.
+ */
+export type DataflowCoverage = 'exact' | 'conservative' | 'unknown';
+/**
+ * One moment in a key's life ({@link KeyMoment}), lifted into agent vocabulary.
+ * The footprintjs fields are carried through UNCHANGED — this type only ADDS.
+ */
+export interface AgentKeyMoment {
+    readonly kind: 'write' | 'read';
+    /** Commit ARRAY position — the write's own, or the READING stage's. */
+    readonly commitIdx: number;
+    readonly runtimeStageId: string;
+    readonly stageId: string;
+    readonly stageName: string;
+    /** `'write'` moments only: the trace verb. */
+    readonly verb?: KeyMoment['verb'];
+    /** `'read'` moments only: the commitIdx of the write whose value it saw. */
+    readonly fromWriteIdx?: number;
+    /**
+     * The ReAct loop this moment happened in. ABSENT when the step is not in any
+     * frame (run prelude, root-seeded setup) — absence is information, not a gap.
+     */
+    readonly loopIndex?: number;
+    /**
+     * `'write'` moments the classifier recognized: what KIND of agent source this
+     * write produced. When one write produced several sources (an injection slot
+     * commits an array of records), this is the FIRST one's kind and
+     * {@link AgentVariableSlice.ablations} carries them all.
+     */
+    readonly suspectKind?: SuspectKind;
+    /** The suspect identity (`injectionId` / `toolName`) — joins a `Suspect` 1:1. */
+    readonly suspectId?: string;
+}
+/**
+ * The counterfactual attached to one classifiable WRITE: "to test this write,
+ * re-run without this source". A HOOK, not a verdict — running it is the
+ * consumer's `AblationRunner` (§B2: only ablation verdicts are causal claims).
+ */
+export interface VariableAblationHook {
+    /** runtimeStageId of the write that introduced the source. */
+    readonly writerId: string;
+    /** `injectionId` / `toolName` — the localizer's suspect identity. */
+    readonly suspectId: string;
+    readonly kind: SuspectKind;
+    /** What to remove for the counterfactual re-run. */
+    readonly spec: AblationSpec;
+}
+/**
+ * One variable's recorded life, in agent vocabulary — the artifact BOTH a human
+ * board ({@link variableToBacktrackTrace}) and the walk read.
+ *
+ * JSON-safe by construction (flat moments, no graph, no live references): the
+ * same object can be persisted, sent over the wire, or handed to an LLM tool.
+ */
+export interface AgentVariableSlice {
+    /** The state key asked about (footprintjs's normalised string form). */
+    readonly key: string;
+    /** Writes and reads in commit order. EMPTY when `missing`. */
+    readonly moments: readonly AgentKeyMoment[];
+    /** Present ONLY when there are no moments — footprintjs's honest absence. */
+    readonly missing?: MissingSliceReason;
+    /** How exactly this log records what the value fed — see {@link DataflowCoverage}. */
+    readonly coverage: DataflowCoverage;
+    /** One per classifiable write — see {@link VariableAblationHook}. */
+    readonly ablations: readonly VariableAblationHook[];
+    /** footprintjs's honesty notes, VERBATIM (both doors' notes, de-duplicated). */
+    readonly notes: readonly HonestyNote[];
+    /** Which `KeysReadSource` strategy resolved reads (honesty/debug). */
+    readonly keysReadKind: string;
+    /** Reads telemetry — `stepsWithReads === 0` means reads were not recorded. */
+    readonly readsCoverage?: ReadsCoverage;
+}
+export interface JoinVariableSliceOptions {
+    /**
+     * The FORWARD slice of the same key (`forwardSliceForKey`) — the ONLY carrier
+     * of per-edge exactness (`ForwardEdge.basis`). Without it `coverage` is
+     * `'unknown'` and the walk will not take a dataflow hop.
+     */
+    readonly forward?: ForwardSlice;
+    /** Override the suspect classifier (default `defaultSuspectClassifier`). */
+    readonly classify?: SuspectClassifier;
+}
+export interface TraceVariableOptions extends JoinVariableSliceOptions {
+    /** Reuse an already-assembled trajectory (avoids re-slicing the run). */
+    readonly trajectory?: Trajectory;
+    /** Exclusive commit-array-index bound — the variable as it stood BEFORE this idx. */
+    readonly before?: number;
+}
+/**
+ * Join a footprintjs variable slice to the agent's loops and sources.
+ *
+ * @param slice A `keyTimeline(...)` result — the flat, JSON-safe life of one
+ *   key. (Chosen over the backward `sliceForKey` deliberately: the walk needs
+ *   moments in commit order, and a timeline cannot be mistaken for a DAG.)
+ * @param trajectory `assembleTrajectory(artifacts)` — supplies loop frames AND
+ *   the committed values used for classification.
+ * @param opts `forward` (the exactness carrier) and `classify`.
+ *
+ * Nothing here is measured: every field is a re-label of something already
+ * recorded. See the module doc.
+ */
+export declare function joinVariableSlice(slice: KeyTimeline, trajectory: Trajectory, opts?: JoinVariableSliceOptions): AgentVariableSlice;
+/**
+ * One call, from a recorded run to a variable's joined life: `keyTimeline` +
+ * `forwardSliceForKey` + `assembleTrajectory` + {@link joinVariableSlice}.
+ *
+ * Reads come from the snapshot's execution tree (zero setup, `readTracking` ≠
+ * `'off'`); exactness comes from the run's `writeProvenance` dial. Both facts
+ * ride out on the result (`readsCoverage`, `coverage`) rather than being
+ * assumed.
+ *
+ * @example
+ * ```ts
+ * const life = traceVariable({ snapshot }, 'systemPromptInjections');
+ * life.coverage;                    // 'exact' | 'conservative' | 'unknown'
+ * life.moments.filter((m) => m.kind === 'write').map((m) => m.loopIndex);
+ * ```
+ */
+export declare function traceVariable(artifacts: ContextBugArtifacts, key: StateKey, opts?: TraceVariableOptions): AgentVariableSlice;

package/dist/esm/lib/context-bisect/variable-recall.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variable-recall.js","sourceRoot":"","sources":["../../../../src/lib/context-bisect/variable-recall.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAGH,OAAO,EACL,kBAAkB,EAClB,WAAW,EACX,yBAAyB,EACzB,eAAe,GAChB,MAAM,mBAAmB,CAAC;AAa3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EACL,wBAAwB,GAGzB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,kBAAkB,EAAmB,MAAM,iBAAiB,CAAC;AAEtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAkH1D,wEAAwE;AAExE,2EAA2E;AAC3E,SAAS,QAAQ,CAAC,IAA6B;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAe,CAAC;IACpC,MAAM,KAAK,GAAkB,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACjC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,gBAAgB,CAAC,OAAiC;IACzD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC;QAAE,OAAO,cAAc,CAAC;IACtF,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC,CAAC,sBAAsB;IAC9D,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC;AACvD,CAAC;AAED,wEAAwE;AAExE,mFAAmF;AACnF,SAAS,QAAQ,CAAC,GAAW,EAAE,QAAgB;IAC7C,OAAO,GAAG,GAAG,IAAI,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,UAAsB;IAC7C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACtC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;YACvC,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS;gBAAE,SAAS;YACzC,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC3C,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACjD,CAAC;QACD,4EAA4E;QAC5E,yEAAyE;QACzE,kEAAkE;QAClE,MAAM,IAAI,GAAG,KAAK,CAAC,mBAAmB,CAAC;QACvC,IAAI,IAAI,EAAE,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,gFAAgF;AAChF,SAAS,aAAa,CACpB,GAAW,EACX,KAAc,EACd,QAA2B;IAE3B,MAAM,GAAG,GAAoB;QAC3B,yEAAyE;QACzE,8DAA8D;QAC9D,IAAI,EAAE,EAAE,iBAAiB,EAAE,SAAS,EAAwC;QAC5E,WAAW,EAAE,CAAC,GAAG,CAAC;QAClB,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;KAChD,CAAC;IACF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IAClC,MAAM,GAAG,GAAwE,EAAE,CAAC;IACpF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,WAAW,IAAI,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC;QACpE,IAAI,SAAS,KAAK,SAAS;YAAE,SAAS,CAAC,0CAA0C;QACjF,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,SAAS;QAClC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACpB,MAAM,IAAI,GAAG,kBAAkB,CAAC;YAC9B,MAAM,EAAE,SAAS;YACjB,SAAS,EAAE,SAAS;YACpB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,KAAK,EAAE,CAAC;YACR,eAAe,EAAE,CAAC;YAClB,kBAAkB,EAAE,KAAK;YACzB,QAAQ,EAAE,EAAE;SACb,CAAC,CAAC;QACH,IAAI,IAAI,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sEAAsE;AACtE,SAAS,UAAU,CAAC,GAAG,KAAwD;IAC7E,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACzC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC3B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACb,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAkB,EAClB,UAAsB,EACtB,OAAiC,EAAE;IAEnC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,wBAAwB,CAAC;IAC3D,MAAM,WAAW,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,CAAC,cAAsB,EAAsB,EAAE;QAC5D,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QACjD,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC;IACpF,CAAC,CAAC;IAEF,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAAqB,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChE,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,OAAO;gBACL,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,cAAc,EAAE,CAAC,CAAC,cAAc;gBAChC,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,GAAG,CAAC,CAAC,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC;gBACrE,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,CAAC;aAC9C,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;QAChE,MAAM,OAAO,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACrF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YAChD,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC/B,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACjB,SAAS,CAAC,IAAI,CAAC;gBACb,QAAQ,EAAE,CAAC,CAAC,cAAc;gBAC1B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;QACD,OAAO;YACL,IAAI,EAAE,OAAgB;YACtB,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC7C,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,CAAC;YAC7C,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;SAC7F,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,OAAO;QACP,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QAC9D,QAAQ,EAAE,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC;QACxC,SAAS;QACT,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC;QACnD,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC;KACjF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,aAAa,CAC3B,SAA8B,EAC9B,GAAa,EACb,OAA6B,EAAE;IAE/B,MAAM,SAAS,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAmB,CAAC;IACzE,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,aAA0C,CAAC;IAC3E,uEAAuE;IACvE,iEAAiE;IACjE,MAAM,KAAK,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9E,OAAO,iBAAiB,CACtB,WAAW,CAAC,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,EACzC,IAAI,CAAC,UAAU,IAAI,kBAAkB,CAAC,SAAS,CAAC,EAChD;QACE,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,kBAAkB,CAAC,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC;QACzE,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;KAChE,CACF,CAAC;AACJ,CAAC"}

package/dist/esm/lib/context-bisect/variableToBacktrackTrace.d.ts

@@ -0,0 +1,53 @@
+/**
+ * variableToBacktrackTrace — serialize a JOINED VARIABLE LIFE
+ * ({@link AgentVariableSlice}, from `traceVariable` / `joinVariableSlice`) onto
+ * the same BacktrackTrace board agentThinkingUI's <BacktrackView> renders.
+ *
+ * The third sibling of that board, and the most literal one:
+ *   - `toBacktrackTrace`      — a LOCALIZER REPORT (scored suspects, ablation
+ *     verdicts): proxy ranking, causal stamps.
+ *   - `sliceToBacktrackTrace` — a footprintjs DEPENDENCY SLICE: exact
+ *     structure, no influence claims.
+ *   - THIS ONE — one variable's recorded LIFE: every write and every read, in
+ *     commit order, labeled with the loop it happened in and the agent source
+ *     it introduced.
+ *
+ * Same board, honestly weakest chips:
+ *   - `mode` is ALWAYS `'correlational'`. Nothing here was ablated — the join
+ *     measures nothing — so the causal chip is unreachable by construction.
+ *   - every card is `upperBound: true`: the score is `1/(1+age)` over write
+ *     recency, a deterministic LAYOUT AID, not evidence of anything.
+ *   - the claims lines say out loud that these moments are STRUCTURAL FACTS —
+ *     recorded reads and writes — so a reader can tell this board apart from an
+ *     influence board at a glance.
+ *   - footprintjs's honesty notes ride along verbatim, and honest ABSENCE
+ *     renders an empty board that says why, never a fabricated suspect.
+ *
+ * Pure mapping, no UI dependency, framework-agnostic JSON on both sides — the
+ * human and the LLM triage the SAME artifact.
+ */
+import type { BacktrackTrace } from './toBacktrackTrace.js';
+import type { AgentVariableSlice } from './variable-recall.js';
+export interface VariableToBacktrackTraceOptions {
+    /** The visible outcome being questioned (the board's answer bubble). */
+    readonly answer: {
+        readonly text: string;
+        readonly label?: string;
+        readonly tone?: 'error' | 'question';
+    };
+    /** Headline question. Default: `What happened to '<key>'?`. */
+    readonly claim?: string;
+    /** How the latest writer renders: rule diamond or LLM brain. Default 'rule'. */
+    readonly decidedAtKind?: 'llm' | 'rule';
+    /** Override the mode chip label. */
+    readonly modeLabel?: string;
+    readonly agent?: string;
+    readonly model?: string;
+    /** Max suspect cards (one per write). Default 6. The rest fold into one line. */
+    readonly maxSuspects?: number;
+}
+/**
+ * Serialize a joined variable life for agentThinkingUI's BacktrackView.
+ * See the module doc — structural honesty is the whole design.
+ */
+export declare function variableToBacktrackTrace(agentSlice: AgentVariableSlice, opts: VariableToBacktrackTraceOptions): BacktrackTrace;

package/dist/esm/lib/context-bisect/variableToBacktrackTrace.js

@@ -0,0 +1,142 @@
+/**
+ * variableToBacktrackTrace — serialize a JOINED VARIABLE LIFE
+ * ({@link AgentVariableSlice}, from `traceVariable` / `joinVariableSlice`) onto
+ * the same BacktrackTrace board agentThinkingUI's <BacktrackView> renders.
+ *
+ * The third sibling of that board, and the most literal one:
+ *   - `toBacktrackTrace`      — a LOCALIZER REPORT (scored suspects, ablation
+ *     verdicts): proxy ranking, causal stamps.
+ *   - `sliceToBacktrackTrace` — a footprintjs DEPENDENCY SLICE: exact
+ *     structure, no influence claims.
+ *   - THIS ONE — one variable's recorded LIFE: every write and every read, in
+ *     commit order, labeled with the loop it happened in and the agent source
+ *     it introduced.
+ *
+ * Same board, honestly weakest chips:
+ *   - `mode` is ALWAYS `'correlational'`. Nothing here was ablated — the join
+ *     measures nothing — so the causal chip is unreachable by construction.
+ *   - every card is `upperBound: true`: the score is `1/(1+age)` over write
+ *     recency, a deterministic LAYOUT AID, not evidence of anything.
+ *   - the claims lines say out loud that these moments are STRUCTURAL FACTS —
+ *     recorded reads and writes — so a reader can tell this board apart from an
+ *     influence board at a glance.
+ *   - footprintjs's honesty notes ride along verbatim, and honest ABSENCE
+ *     renders an empty board that says why, never a fabricated suspect.
+ *
+ * Pure mapping, no UI dependency, framework-agnostic JSON on both sides — the
+ * human and the LLM triage the SAME artifact.
+ */
+/** The claims-discipline lines every variable board carries. */
+const VARIABLE_CLAIMS_LINES = [
+    'every row here is a STRUCTURAL FACT — a recorded read or write from the commit log, not a similarity guess.',
+    'scores are write recency (1/(1+age)) — a layout aid, not influence; every card is an upper bound.',
+    'only ablation verdicts make causal claims; nothing on this board has been ablated.',
+];
+/** One custody hop per moment — the recorded rewind rail, in commit order. */
+function custodyHop(key, m) {
+    const where = m.loopIndex !== undefined ? `loop ${m.loopIndex}` : 'run setup (no loop)';
+    const detail = m.kind === 'write'
+        ? `${m.stageName} wrote '${key}'${m.verb !== undefined ? ` (${m.verb})` : ''} — ${where}` +
+            (m.suspectId !== undefined ? ` · introduced ${m.suspectKind} '${m.suspectId}'` : '')
+        : `${m.stageName} read '${key}'${m.fromWriteIdx !== undefined
+            ? ` (the value written at commit ${m.fromWriteIdx})`
+            : ' (a value from before the log — initial state / run input / a closure)'} — ${where}`;
+    return { step: m.kind, detail, at: m.runtimeStageId, variable: key };
+}
+/**
+ * Serialize a joined variable life for agentThinkingUI's BacktrackView.
+ * See the module doc — structural honesty is the whole design.
+ */
+export function variableToBacktrackTrace(agentSlice, opts) {
+    const max = opts.maxSuspects ?? 6;
+    const key = agentSlice.key;
+    const claim = opts.claim ?? `What happened to '${key}'?`;
+    const honesty = [];
+    if (agentSlice.missing === 'never-written') {
+        honesty.push(`⚠ '${key}' was never written in this run — the value came from initial state, frozen run input (args), or a closure; the commit log cannot see those.`);
+    }
+    else if (agentSlice.missing === 'empty-log') {
+        honesty.push('⚠ the commit log is empty — nothing executed.');
+    }
+    // footprintjs's own notes, VERBATIM (never re-worded, never dropped).
+    for (const note of agentSlice.notes)
+        honesty.push(`⚠ ${note.detail}`);
+    if (agentSlice.readsCoverage &&
+        agentSlice.readsCoverage.steps > 1 &&
+        agentSlice.readsCoverage.stepsWithReads === 0) {
+        honesty.push('⚠ reads were not recorded (readTracking off) — who consumed this value is unknowable, NOT nobody.');
+    }
+    honesty.push(agentSlice.coverage === 'exact'
+        ? "this key's dataflow is recorded per-write (writeProvenance: 'reads-prefix') — what it fed is exact, not inferred."
+        : agentSlice.coverage === 'conservative'
+            ? "this key's dataflow is stage-level only — what it fed is a sound over-approximation; turn on writeProvenance: 'reads-prefix' for exact edges."
+            : "this key has no recorded dataflow (nothing read it, or no forward slice was supplied) — 'what it fed' is unknown here, not empty.");
+    const writes = agentSlice.moments.filter((m) => m.kind === 'write');
+    // Honest absence: an empty board whose honesty says why.
+    if (writes.length === 0) {
+        return {
+            claim,
+            mode: 'correlational',
+            modeLabel: opts.modeLabel ?? 'no recorded writes — see honesty',
+            agent: opts.agent,
+            model: opts.model,
+            answer: opts.answer,
+            decidedAt: {
+                id: key,
+                label: `'${key}' (no recorded writer)`,
+                kind: opts.decidedAtKind ?? 'rule',
+            },
+            suspects: [],
+            honesty: [...honesty, ...VARIABLE_CLAIMS_LINES],
+        };
+    }
+    // Latest write first — the value's current author is the board's decision point.
+    const latest = writes[writes.length - 1];
+    const ordered = [...writes].reverse();
+    const cards = ordered.map((w, age) => {
+        const readers = agentSlice.moments.filter((m) => m.kind === 'read' && m.fromWriteIdx === w.commitIdx);
+        return {
+            kind: w.suspectKind ?? 'stage',
+            name: w.suspectId ?? w.stageName,
+            score: Number((1 / (1 + age)).toFixed(2)),
+            rank: age + 1,
+            upperBound: true,
+            edge: { key, kind: 'data' },
+            bornAt: {
+                id: w.runtimeStageId,
+                label: w.stageName,
+                via: w.loopIndex !== undefined ? `loop ${w.loopIndex} commit` : 'run setup commit',
+            },
+            custody: [custodyHop(key, w), ...readers.map((r) => custodyHop(key, r))],
+        };
+    });
+    const selected = cards.slice(0, max);
+    const dropped = cards.slice(max);
+    const folded = dropped.length > 0
+        ? `${dropped.length} more write${dropped.length === 1 ? '' : 's'} folded — ` +
+            dropped.map((c) => `#${c.rank} ${c.bornAt.id}`).join(' · ') +
+            ' — every id drillable with the trace toolpack'
+        : undefined;
+    return {
+        claim,
+        mode: 'correlational',
+        modeLabel: opts.modeLabel ?? 'recorded life of a variable — structure, not influence',
+        agent: opts.agent,
+        model: opts.model,
+        answer: opts.answer,
+        decidedAt: {
+            id: latest.runtimeStageId,
+            label: latest.stageName,
+            kind: opts.decidedAtKind ?? 'rule',
+        },
+        suspects: selected,
+        trail: {
+            title: `'${key}' — every recorded write and read`,
+            custody: agentSlice.moments.map((m) => custodyHop(key, m)),
+            claim: 'commit-log facts in order; no influence was measured.',
+        },
+        folded,
+        honesty: [...honesty, ...VARIABLE_CLAIMS_LINES],
+    };
+}
+//# sourceMappingURL=variableToBacktrackTrace.js.map

package/dist/esm/lib/context-bisect/variableToBacktrackTrace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variableToBacktrackTrace.js","sourceRoot":"","sources":["../../../../src/lib/context-bisect/variableToBacktrackTrace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AA4BH,gEAAgE;AAChE,MAAM,qBAAqB,GAAsB;IAC/C,6GAA6G;IAC7G,mGAAmG;IACnG,oFAAoF;CACrF,CAAC;AAEF,8EAA8E;AAC9E,SAAS,UAAU,CAAC,GAAW,EAAE,CAAiB;IAChD,MAAM,KAAK,GAAG,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC;IACxF,MAAM,MAAM,GACV,CAAC,CAAC,IAAI,KAAK,OAAO;QAChB,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,WAAW,GAAG,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,EAAE;YACvF,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,UAAU,GAAG,IACzB,CAAC,CAAC,YAAY,KAAK,SAAS;YAC1B,CAAC,CAAC,iCAAiC,CAAC,CAAC,YAAY,GAAG;YACpD,CAAC,CAAC,wEACN,MAAM,KAAK,EAAE,CAAC;IACpB,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,cAAc,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AACvE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,UAA8B,EAC9B,IAAqC;IAErC,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC;IAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,qBAAqB,GAAG,IAAI,CAAC;IAEzD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,UAAU,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QAC3C,OAAO,CAAC,IAAI,CACV,MAAM,GAAG,8IAA8I,CACxJ,CAAC;IACJ,CAAC;SAAM,IAAI,UAAU,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;QAC9C,OAAO,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;IAChE,CAAC;IACD,sEAAsE;IACtE,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK;QAAE,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACtE,IACE,UAAU,CAAC,aAAa;QACxB,UAAU,CAAC,aAAa,CAAC,KAAK,GAAG,CAAC;QAClC,UAAU,CAAC,aAAa,CAAC,cAAc,KAAK,CAAC,EAC7C,CAAC;QACD,OAAO,CAAC,IAAI,CACV,mGAAmG,CACpG,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,IAAI,CACV,UAAU,CAAC,QAAQ,KAAK,OAAO;QAC7B,CAAC,CAAC,mHAAmH;QACrH,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,cAAc;YACxC,CAAC,CAAC,+IAA+I;YACjJ,CAAC,CAAC,mIAAmI,CACxI,CAAC;IAEF,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAEpE,yDAAyD;IACzD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,KAAK;YACL,IAAI,EAAE,eAAe;YACrB,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,kCAAkC;YAC/D,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,SAAS,EAAE;gBACT,EAAE,EAAE,GAAG;gBACP,KAAK,EAAE,IAAI,GAAG,wBAAwB;gBACtC,IAAI,EAAE,IAAI,CAAC,aAAa,IAAI,MAAM;aACnC;YACD,QAAQ,EAAE,EAAE;YACZ,OAAO,EAAE,CAAC,GAAG,OAAO,EAAE,GAAG,qBAAqB,CAAC;SAChD,CAAC;IACJ,CAAC;IAED,iFAAiF;IACjF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC;IACtC,MAAM,KAAK,GAA2B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QAC3D,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,SAAS,CAC3D,CAAC;QACF,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,WAAW,IAAI,OAAO;YAC9B,IAAI,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS;YAChC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACzC,IAAI,EAAE,GAAG,GAAG,CAAC;YACb,UAAU,EAAE,IAAI;YAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAe,EAAE;YACpC,MAAM,EAAE;gBACN,EAAE,EAAE,CAAC,CAAC,cAAc;gBACpB,KAAK,EAAE,CAAC,CAAC,SAAS;gBAClB,GAAG,EAAE,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,kBAAkB;aACnF;YACD,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;SACzE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,MAAM,GACV,OAAO,CAAC,MAAM,GAAG,CAAC;QAChB,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,cAAc,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,YAAY;YAC1E,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAO,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;YAC5D,+CAA+C;QACjD,CAAC,CAAC,SAAS,CAAC;IAEhB,OAAO;QACL,KAAK;QACL,IAAI,EAAE,eAAe;QACrB,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,wDAAwD;QACrF,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE;YACT,EAAE,EAAE,MAAM,CAAC,cAAc;YACzB,KAAK,EAAE,MAAM,CAAC,SAAS;YACvB,IAAI,EAAE,IAAI,CAAC,aAAa,IAAI,MAAM;SACnC;QACD,QAAQ,EAAE,QAAQ;QAClB,KAAK,EAAE;YACL,KAAK,EAAE,IAAI,GAAG,mCAAmC;YACjD,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC1D,KAAK,EAAE,uDAAuD;SAC/D;QACD,MAAM;QACN,OAAO,EAAE,CAAC,GAAG,OAAO,EAAE,GAAG,qBAAqB,CAAC;KAChD,CAAC;AACJ,CAAC"}

package/dist/esm/lib/context-bisect/walk-to-root.d.ts

@@ -20,6 +20,11 @@
  * - FLAT charts only for the cross-loop hop — grouped loop frames are scope-isolated (degraded + flagged).
  * - Three first-class honest stops (never silent): `unseparated-siblings`, `overdetermined-or-incomplete`,
  *   `untracked-origin`.
+ * - THE PROXY IS NOT ALWAYS NEEDED (`variables`, 7.12): where the recording carries per-write
+ *   provenance, a suspect's state key has an EXACT recorded life — the value this loop read and the
+ *   write that produced it — so the descent is a commit-log fact, not a similarity guess, and the hop
+ *   says `narrowedBy: 'dataflow'`. The proxy still picks WHO; dataflow picks WHERE. Anything less than
+ *   exact (dial off, stage-level edges, no dataflow, scope-isolated frames) falls back to the beam.
  *
  * VALIDATION (the descent edge is now populated on real agents — proposal 008): `assembleTrajectory`
  * surfaces each loop's proximate `lastToolResult` on the WALK-ONLY `LoopFrame.proximateToolSource`
@@ -38,8 +43,22 @@ import type { Embedder } from '../influence-core/index.js';
 import { type SuspectClassifier } from './localize.js';
 import type { Trajectory } from './trajectory.js';
 import type { AblationRerun, AblationVerdict, ContextBugArtifacts, HonestyFlag, SuspectKind } from './types.js';
+import type { AgentVariableSlice } from './variable-recall.js';
 /** One honest stop reason when the walk cannot cleanly descend/convict. */
 export type RootCauseNote = 'unseparated-siblings' | 'overdetermined-or-incomplete' | 'untracked-origin';
+/**
+ * How this hop's DESCENT TARGET was chosen:
+ *
+ * - `'text-similarity'` — the embedding beam picked the suspect and the hop
+ *   followed that suspect's scraped provenance writer. A PROXY (the default,
+ *   and the only value when no `variables` are supplied).
+ * - `'dataflow'` — the descent came from the RECORDED life of the suspect's
+ *   state key: the value this loop read, and the write that produced it. No
+ *   embedding took part in choosing where to go. Only ever stamped when that
+ *   key's dataflow is per-write EXACT (see `DataflowCoverage`) — a conservative
+ *   stage-level edge always falls back to the beam.
+ */
+export type HopNarrowedBy = 'text-similarity' | 'dataflow';
 /** One hop of the symptom→root walk. */
 export interface RootCauseHop {
     /** The loop this hop examined. */
@@ -47,8 +66,8 @@ export interface RootCauseHop {
     /** The narrowed culprit at this hop (joins a localizer Suspect 1:1). */
     readonly suspectId: string;
     readonly kind: SuspectKind;
-    /** The narrow is text-similarity — a PROXY, never causal. */
-    readonly narrowedBy: 'text-similarity';
+    /** How the descent target was chosen — see {@link HopNarrowedBy}. */
+    readonly narrowedBy: HopNarrowedBy;
     /** The causal convict — present only when a `rerun` ablated this hop's suspect. */
     readonly verdict?: AblationVerdict;
     /** The provenance writer this hop's culprit came from (runtimeStageId). */
@@ -84,6 +103,22 @@ export interface WalkToRootOptions {
     readonly maxAblations?: number;
     readonly classifier?: SuspectClassifier;
     readonly signal?: AbortSignal;
+    /**
+     * Joined variable lives (`traceVariable` / `joinVariableSlice`), one per state
+     * key you want the walk to be able to descend DETERMINISTICALLY along.
+     *
+     * When the narrowed suspect carries a state key whose {@link DataflowCoverage}
+     * is `'exact'`, the hop's descent target is taken from that key's RECORDED
+     * ancestry — the write that produced the value this loop read — instead of
+     * from the proxy's provenance scrape, and the hop is stamped
+     * `narrowedBy: 'dataflow'`. Anything less than exact (dial off, stage-level
+     * edges, no dataflow at all, a grouped/scope-isolated frame) falls back to the
+     * beam, unchanged.
+     *
+     * OMIT IT and the walk behaves EXACTLY as before — same hops, same order, same
+     * verdicts, every hop stamped `'text-similarity'`.
+     */
+    readonly variables?: readonly AgentVariableSlice[];
 }
 /**
  * Resolve every `writerId` to the index of the frame whose `bodyIds` contains it (NOT via

package/dist/esm/lib/context-bisect/walk-to-root.js

@@ -18,7 +18,7 @@ export function buildWriterFrameIndex(trajectory) {
     });
     return map;
 }
-/** Map each suspectId present in a frame to the runtimeStageId that WROTE its slot (cross-loop provenance). */
+/** Map each suspectId present in a frame to its {@link SuspectOrigin}. */
 function writtenByOf(frame) {
     const map = new Map();
     for (const src of frame.contextSources) {
@@ -28,7 +28,7 @@ function writtenByOf(frame) {
             for (const rec of v) {
                 const id = typeof rec.sourceId === 'string' ? rec.sourceId : undefined;
                 if (id !== undefined && !map.has(id))
-                    map.set(id, src.writerId);
+                    map.set(id, { writerId: src.writerId, stateKey: src.key });
             }
         }
         else if (v !== null &&
@@ -37,7 +37,7 @@ function writtenByOf(frame) {
             // lastToolResult: a { toolName, result } object → the tool suspect
             const tool = v.toolName;
             if (!map.has(tool))
-                map.set(tool, src.writerId);
+                map.set(tool, { writerId: src.writerId, stateKey: src.key });
         }
     }
     // The WALK-ONLY proximate tool source (proposal 008) — the cross-loop descent edge. NOT in
@@ -46,10 +46,46 @@ function writtenByOf(frame) {
     if (tool && typeof tool.value?.toolName === 'string') {
         const name = tool.value.toolName;
         if (!map.has(name))
-            map.set(name, tool.writerId);
+            map.set(name, { writerId: tool.writerId, stateKey: tool.stateKey });
     }
     return map;
 }
+/**
+ * The DETERMINISTIC descent: the write that produced the value this loop's
+ * `call-llm` read of `stateKey` — straight off the recorded moments, no
+ * embedding involved.
+ *
+ * Preference order, both commit-log facts:
+ *   1. the read moment BY this loop's call-llm → its `fromWriteIdx` → that
+ *      write (exact value identity — footprintjs pins the same rule its forward
+ *      walk uses);
+ *   2. otherwise the last write strictly before the call-llm's commit (the key
+ *      the call-llm did not read directly — e.g. an inferred proximate).
+ *
+ * Returns `undefined` unless coverage is EXACT: a conservative (stage-level)
+ * edge must never be presented as an exact hop.
+ */
+function dataflowWriter(slice, frame) {
+    const coverage = slice?.coverage;
+    if (slice === undefined || coverage !== 'exact')
+        return undefined;
+    // Grouped frames index a subflow's OWN inner log; a run-log slice cannot be
+    // joined to them (see LoopFrame.subflowScope).
+    if (frame.subflowScope !== undefined)
+        return undefined;
+    const writes = slice.moments.filter((m) => m.kind === 'write');
+    const read = frame.llmCallId !== undefined
+        ? slice.moments.find((m) => m.kind === 'read' && m.runtimeStageId === frame.llmCallId)
+        : undefined;
+    if (read?.fromWriteIdx !== undefined) {
+        return writes.find((w) => w.commitIdx === read.fromWriteIdx);
+    }
+    const llmIdx = frame.llmCallArrayIdx;
+    if (llmIdx === undefined)
+        return undefined;
+    const before = writes.filter((w) => w.commitIdx < llmIdx);
+    return before.length > 0 ? before[before.length - 1] : undefined;
+}
 /** A minimal Suspect for ablationForSuspect (only kind + detail identity are read). */
 function suspectFor(suspectId, kind) {
     const detail = kind === 'tool' ? { toolName: suspectId } : { injectionId: suspectId };
@@ -89,6 +125,8 @@ export async function walkTrajectory(trajectory, opts) {
         });
     }
     const writerFrame = buildWriterFrameIndex(trajectory);
+    const variables = new Map((opts.variables ?? []).map((v) => [v.key, v]));
+    const variableOf = (key) => variables.get(key);
     // Baseline stability (the un-ablated scenario must reproduce for any ablation verdict to be trusted).
     let baselineStable = true;
     let ablationsUsed = 0;
@@ -148,17 +186,34 @@ export async function walkTrajectory(trajectory, opts) {
                 }
             }
         }
+        // NARROW → HOP. The beam picked WHO; this picks WHERE. When the narrowed
+        // suspect rode in on a state key whose dataflow is per-write EXACT, WHERE is
+        // a commit-log fact — the write that produced the value THIS loop read —
+        // instead of a provenance scrape or an inferred proximate. Absent
+        // `variables`, `exactWriter` is always undefined and nothing below changes.
+        const beamOrigin = writtenBy.get(chosen.suspectId);
+        const exactWrite = beamOrigin?.stateKey !== undefined
+            ? dataflowWriter(variableOf(beamOrigin.stateKey), frame)
+            : undefined;
+        const exactFrameIdx = exactWrite !== undefined ? writerFrame.get(exactWrite.runtimeStageId) : undefined;
+        const exactWriter = exactWrite !== undefined && exactFrameIdx !== undefined && exactFrameIdx < frameIdx
+            ? exactWrite.runtimeStageId
+            : undefined; // strictly backward, or it is no descent at all
         // The proximate tool source (walk-only, proposal 008) is the cross-loop DESCENT edge. When this
         // loop did NOT convict, follow it back to the loop that PRODUCED the tool output the decision was
         // conditioned on — that's where a buried root (e.g. the misdirecting instruction) scores + convicts.
+        // It is an INFERRED proximate (`call-llm` read `history`, not this key), so a RECORDED exact edge
+        // for the narrowed suspect outranks it: better evidence wins, and the hop says which it used.
         const toolName = !convicted &&
+            exactWriter === undefined &&
             frame.proximateToolSource &&
             typeof frame.proximateToolSource.value?.toolName === 'string'
             ? frame.proximateToolSource.value.toolName
             : undefined;
         if (toolName !== undefined)
             chosen = { suspectId: toolName, kind: 'tool' };
-        const writer = writtenBy.get(chosen.suspectId);
+        const narrowedBy = exactWriter !== undefined ? 'dataflow' : 'text-similarity';
+        const writer = exactWriter ?? writtenBy.get(chosen.suspectId)?.writerId;
         const nextFrameIdx = writer !== undefined ? writerFrame.get(writer) : undefined;
         const descendIdx = nextFrameIdx !== undefined && nextFrameIdx < frameIdx ? nextFrameIdx : undefined; // strictly backward
         // Per-hop honest note: untracked-origin (structural — no provenance writer to descend) is set
@@ -172,7 +227,7 @@ export async function walkTrajectory(trajectory, opts) {
             loopIndex: frame.loopIndex,
             suspectId: chosen.suspectId,
             kind: chosen.kind,
-            narrowedBy: 'text-similarity',
+            narrowedBy,
             ...(chosenVerdict ? { verdict: chosenVerdict } : {}),
             ...(writer !== undefined ? { writtenBy: writer } : {}),
             ...(descendIdx !== undefined ? { cameFrom: trajectory.frames[descendIdx].loopIndex } : {}),