agentfootprint 9.82.0 → 9.83.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +91 -0
- package/CLAUDE.md +1 -0
- package/README.md +15 -15
- package/ai-instructions/claude-code/SKILL.md +1 -1
- package/dist/core/Agent.js +33 -1
- package/dist/core/Agent.js.map +1 -1
- package/dist/core/agent/evidence/evidenceIndex.js +96 -11
- package/dist/core/agent/evidence/evidenceIndex.js.map +1 -1
- package/dist/core/agent/evidence/gate.js +66 -6
- package/dist/core/agent/evidence/gate.js.map +1 -1
- package/dist/core/agent/stages/route.js +71 -12
- package/dist/core/agent/stages/route.js.map +1 -1
- package/dist/esm/core/Agent.d.ts +4 -0
- package/dist/esm/core/Agent.js +33 -1
- package/dist/esm/core/Agent.js.map +1 -1
- package/dist/esm/core/agent/evidence/evidenceIndex.d.ts +91 -5
- package/dist/esm/core/agent/evidence/evidenceIndex.js +96 -11
- package/dist/esm/core/agent/evidence/evidenceIndex.js.map +1 -1
- package/dist/esm/core/agent/evidence/gate.d.ts +27 -0
- package/dist/esm/core/agent/evidence/gate.js +66 -6
- package/dist/esm/core/agent/evidence/gate.js.map +1 -1
- package/dist/esm/core/agent/evidence/types.d.ts +12 -0
- package/dist/esm/core/agent/stages/route.d.ts +6 -1
- package/dist/esm/core/agent/stages/route.js +69 -10
- package/dist/esm/core/agent/stages/route.js.map +1 -1
- package/dist/esm/core/agent/types.d.ts +66 -0
- package/dist/esm/index.d.ts +1 -0
- package/dist/esm/index.js +8 -0
- package/dist/esm/index.js.map +1 -1
- package/dist/esm/integrity/disposition/lifecycle.d.ts +17 -1
- package/dist/esm/integrity/disposition/lifecycle.js +26 -1
- package/dist/esm/integrity/disposition/lifecycle.js.map +1 -1
- package/dist/esm/integrity/finding/types.d.ts +12 -2
- package/dist/esm/integrity/finding/types.js.map +1 -1
- package/dist/esm/integrity/prior-turn-evidence/check.d.ts +145 -0
- package/dist/esm/integrity/prior-turn-evidence/check.js +200 -0
- package/dist/esm/integrity/prior-turn-evidence/check.js.map +1 -0
- package/dist/esm/lib/trace-toolpack/traceToolpack.js +3 -2
- package/dist/esm/lib/trace-toolpack/traceToolpack.js.map +1 -1
- package/dist/index.js +12 -3
- package/dist/index.js.map +1 -1
- package/dist/integrity/disposition/lifecycle.js +26 -1
- package/dist/integrity/disposition/lifecycle.js.map +1 -1
- package/dist/integrity/finding/types.js.map +1 -1
- package/dist/integrity/prior-turn-evidence/check.js +204 -0
- package/dist/integrity/prior-turn-evidence/check.js.map +1 -0
- package/dist/lib/trace-toolpack/traceToolpack.js +3 -2
- package/dist/lib/trace-toolpack/traceToolpack.js.map +1 -1
- package/dist/types/core/Agent.d.ts +4 -0
- package/dist/types/core/Agent.d.ts.map +1 -1
- package/dist/types/core/agent/evidence/evidenceIndex.d.ts +91 -5
- package/dist/types/core/agent/evidence/evidenceIndex.d.ts.map +1 -1
- package/dist/types/core/agent/evidence/gate.d.ts +27 -0
- package/dist/types/core/agent/evidence/gate.d.ts.map +1 -1
- package/dist/types/core/agent/evidence/types.d.ts +12 -0
- package/dist/types/core/agent/evidence/types.d.ts.map +1 -1
- package/dist/types/core/agent/stages/route.d.ts +6 -1
- package/dist/types/core/agent/stages/route.d.ts.map +1 -1
- package/dist/types/core/agent/types.d.ts +66 -0
- package/dist/types/core/agent/types.d.ts.map +1 -1
- package/dist/types/index.d.ts +1 -0
- package/dist/types/index.d.ts.map +1 -1
- package/dist/types/integrity/disposition/lifecycle.d.ts +17 -1
- package/dist/types/integrity/disposition/lifecycle.d.ts.map +1 -1
- package/dist/types/integrity/finding/types.d.ts +12 -2
- package/dist/types/integrity/finding/types.d.ts.map +1 -1
- package/dist/types/integrity/prior-turn-evidence/check.d.ts +146 -0
- package/dist/types/integrity/prior-turn-evidence/check.d.ts.map +1 -0
- package/dist/types/lib/trace-toolpack/traceToolpack.d.ts.map +1 -1
- package/package.json +2 -2
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;;;;;;;;;;;;;;;;;AAEH,oEAAoE;AACpE,8DAA8D;AAC9D,uEAAuE;AACvE,kEAAkE;AAClE,sEAAsE;AACtE,sDAAsD;AACtD,wDAAsD;AACtD,qDAAmD;AACnD,sDAAoD;AAsCpD,6BAA6B;AAC7B,sDAAoC;AAEpC,yEAAyE;AACzE,uDAAuD;AACvD,mDA0B0B;AAzBxB,gHAAA,cAAc,OAAA;AACd,qHAAA,mBAAmB,OAAA;AACnB,gHAAA,cAAc,OAAA;AAEd,yEAAyE;AACzE,wEAAwE;AACxE,yEAAyE;AACzE,gBAAgB;AAChB,2GAAA,SAAS,OAAA;AAET,2EAA2E;AAC3E,6EAA6E;AAC7E,6EAA6E;AAC7E,6DAA6D;AAC7D,8GAAA,YAAY,OAAA;AAGZ,8EAA8E;AAC9E,6EAA6E;AAC7E,4EAA4E;AAC5E,yEAAyE;AACzE,4EAA4E;AAC5E,uCAAuC;AACvC,yHAAA,uBAAuB,OAAA;AACvB,0HAAA,wBAAwB,OAAA;AAE1B,oEAAoE;AACpE,yEAAyE;AACzE,wEAAwE;AACxE,qEAAqE;AACrE,kDAAkD;AAClD,sDAOmC;AANjC,4GAAA,gBAAgB,OAAA;AAWlB,yCAAyC;AACzC,EAAE;AACF,yEAAyE;AACzE,kEAAkE;AAClE,oEAAoE;AACpE,qEAAqE;AACrE,2EAA2E;AAC3E,8EAA8E;AAC9E,0DAA0D;AAC1D,gFAUgD;AAT9C,2HAAA,kBAAkB,OAAA;AAClB,2HAAA,kBAAkB,OAAA;AAClB,yHAAA,gBAAgB,OAAA;AAChB,2HAAA,kBAAkB,OAAA;AAClB,yHAAA,gBAAgB,OAAA;AASlB,sDAA6D;AAApD,2GAAA,UAAU,OAAA;AAAE,0GAAA,SAAS,OAAA;AAc9B,sEAAsE;AACtE,wEAAwE;AACxE,iEAAiE;AACjE,sEAAsE;AACtE,uEAAuE;AACvE,4CAwByB;AAvBvB,qGAAA,SAAS,OAAA;AACT,oGAAA,QAAQ,OAAA;AACR,0GAAA,cAAc,OAAA;AACd,oGAAA,QAAQ,OAAA;AACR,0GAAA,cAAc,OAAA;AACd,sGAAA,UAAU,OAAA;AACV,wEAAwE;AACxE,2EAA2E;AAC3E,8EAA8E;AAC9E,8EAA8E;AAC9E,sDAAsD;AACtD,gHAAA,oBAAoB,OAAA;AACpB,iHAAA,qBAAqB,OAAA;AACrB,8GAAA,kBAAkB,OAAA;AAClB,yEAAyE;AACzE,6EAA6E;AAC7E,4EAA4E;AAC5E,sBAAsB;AACtB,oHAAA,wBAAwB,OAAA;AAO1B,0EAA0E;AAC1E,6EAA6E;AAC7E,6EAA6E;AAC7E,2EAA2E;AAC3E,kFAAkF;AAClF,4DAA4D;AAC5D,uEAAuE;AACvE,oEAAoE;AACpE,2EAA2E;AAC3E,wEAAwE;AACxE,4EAA4E;AAC5E,0DAMgC;AAL9B,mHAAA,gBAAgB,OAAA;AAChB,qHAAA,kBAAkB,OAAA;AAClB,2HAAA,wBAAwB,OAAA;AAK1B,mEAAmE;AACnE,wDAAwD;AACxD,2EAA2E;AAC3E,iCAAiC;AACjC,EAAE;AACF,+EAA+E;AAC/E,6EAA6E;AAC7E,0EAA0E;AAC1E,6EAA6E;AAC7E,8EAA8E;AAC9E,8BAA8B;AAC9B,6DAqB0C;AApBxC,iGAAA,KAAK,OAAA;AACL,+FAAA,GAAG,OAAA;AACH,gGAAA,IAAI,OAAA;AACJ,8GAAA,kBAAkB,OAAA;AAmBpB,8EAA8E;AAC9E,4EAA4E;AAC5E,+EAA+E;AAC/E,6EAA6E;AAC7E,mBAAmB;AACnB,sDAAgG;AAAvF,0GAAA,YAAY,OAAA;AAAE,uGAAA,SAAS,OAAA;AAChC,8CAAgE;AAAvD,kGAAA,QAAQ,OAAA;AAcjB,uEAAuE;AACvE,6EAA6E;AAC7E,mEAAmE;AACnE,0EAA0E;AAC1E,oFAAoF;AACpF,gDAuB2B;AAtBzB,6GAAA,eAAe,OAAA;AACf,6GAAA,eAAe,OAAA;AACf,+GAAA,iBAAiB,OAAA;AACjB,iHAAA,mBAAmB,OAAA;AACnB,uHAAA,yBAAyB,OAAA;AACzB,sHAAA,wBAAwB,OAAA;AAuB1B,6EAA6E;AAC7E,0EAK6C;AAJ3C,qHAAA,eAAe,OAAA;AAgBjB,qEAAqE;AACrE,kEAAkE;AAClE,kEAAkE;AAClE,sGAWqE;AAVnE,oIAAA,0BAA0B,OAAA;AAC1B,kEAAkE;AAClE,mEAAmE;AACnE,oDAAoD;AACpD,0HAAA,gBAAgB,OAAA;AAChB,+HAAA,qBAAqB,OAAA;AACrB,0HAAA,gBAAgB,OAAA;AAChB,6HAAA,mBAAmB,OAAA;AAKrB,gEAAgE;AAChE,sEAAsE;AACtE,uDAAuD;AACvD,sEAAsE;AACtE,+DAA+D;AAC/D,gEAAgE;AAChE,wEAAwE;AACxE,mCAAmC;AAEnC,qBAAqB;AACrB,gDAM2B;AALzB,qGAAA,OAAO,OAAA;AACP,4GAAA,cAAc,OAAA;AAWhB,2EAA2E;AAC3E,gFAAgF;AAChF,4EAA4E;AAC5E,2EAA2E;AAC3E,0FAGmD;AAFjD,yIAAA,yBAAyB,OAAA;AAG3B,4CA0ByB;AAzBvB,iGAAA,KAAK,OAAA;AACL,wGAAA,YAAY,OAAA;AAyBd,8EAA8E;AAC9E,8EAA8E;AAC9E,+EAA+E;AAC/E,oEAAoE;AACpE,EAAE;AACF,iEAAiE;AACjE,oFAAoF;AACpF,4DAA4D;AAC5D,sEAAsE;AACtE,EAAE;AACF,6EAA6E;AAC7E,6EAA6E;AAC7E,8EAA8E;AAC9E,2BAA2B;AAC3B,yDA+BsC;AA9BpC,uHAAA,2BAA2B,OAAA;AAC3B,kHAAA,sBAAsB,OAAA;AACtB,8GAAA,kBAAkB,OAAA;AAClB,0GAAA,cAAc,OAAA;AACd,yGAAA,aAAa,OAAA;AACb,8GAAA,kBAAkB,OAAA;AAClB,wGAAA,YAAY,OAAA;AACZ,yGAAA,aAAa,OAAA;AACb,2GAAA,eAAe,OAAA;AACf,uGAAA,WAAW,OAAA;AAmCb,+EAA+E;AAC/E,+EAA+E;AAC/E,+EAA+E;AAC/E,qCAAqC;AACrC,kEAAgG;AAAvF,yHAAA,qBAAqB,OAAA;AAc9B,4EAA4E;AAC5E,2EAA2E;AAC3E,4EAA4E;AAC5E,2EAA2E;AAC3E,2EAA2E;AAC3E,yDAAyD;AACzD,8DAAmG;AAA1F,gHAAA,oBAAoB,OAAA;AAC7B,6DAA6D;AAC7D,wEAAwE;AACxE,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAC9E,mEAAmE;AACnE,wBAAwB;AACxB,8DAM2C;AALzC,+GAAA,mBAAmB,OAAA;AACnB,sGAAA,UAAU,OAAA;AAKZ,2EAA2E;AAC3E,sEAAsE;AACtE,8DAM2C;AALzC,wGAAA,YAAY,OAAA;AACZ,+GAAA,mBAAmB,OAAA;AAKrB,0DAMgC;AAL9B,oHAAA,iBAAiB,OAAA;AACjB,oHAAA,iBAAiB,OAAA;AAKnB,0EAA0E;AAC1E,2EAA2E;AAC3E,6EAA6E;AAC7E,0DAA0D;AAC1D,kDAA0D;AAAjD,mHAAA,oBAAoB,OAAA;AAC7B,4EAA4E;AAC5E,4EAA4E;AAC5E,2EAA2E;AAC3E,0EAA0E;AAC1E,0EAK2C;AAJzC,iIAAA,yBAAyB,OAAA;AACzB,wHAAA,gBAAgB,OAAA;AAChB,4HAAA,oBAAoB,OAAA;AAItB,4EAA4E;AAC5E,6EAA6E;AAC7E,0EAA0E;AAC1E,+EAA+E;AAC/E,0EAA0E;AAC1E,2EAA2E;AAC3E,yEAAyE;AACzE,8EAA8E;AAC9E,2DAMwC;AALtC,uHAAA,2BAA2B,OAAA;AAM7B,6DAGyC;AAFvC,mHAAA,sBAAsB,OAAA;AAGxB,4DAKiC;AAJ/B,6GAAA,SAAS,OAAA;AACT,6HAAA,yBAAyB,OAAA;AACzB,sHAAA,kBAAkB,OAAA;AAGpB,+EAA+E;AAC/E,gFAAgF;AAChF,2EAA2E;AAC3E,2EAA2E;AAC3E,gFAAgF;AAChF,iEAIqC;AAHnC,qHAAA,gBAAgB,OAAA;AAChB,gIAAA,2BAA2B,OAAA;AAG7B,4EAA4E;AAC5E,4EAA4E;AAC5E,8EAA8E;AAC9E,2DAA2D;AAC3D,oEAIyC;AAHvC,8HAAA,0BAA0B,OAAA;AAC1B,+HAAA,2BAA2B,OAAA;AAC3B,2HAAA,uBAAuB,OAAA;AAEzB,6EAA6E;AAC7E,+EAA+E;AAC/E,sCAAsC;AACtC,0DAIgC;AAH9B,sHAAA,mBAAmB,OAAA;AACnB,uHAAA,oBAAoB,OAAA;AACpB,mHAAA,gBAAgB,OAAA;AAElB,gEAKmC;AAJjC,qHAAA,eAAe,OAAA;AAKjB,4EAA4E;AAC5E,0EAA0E;AAC1E,8EAA8E;AAC9E,yEAAyE;AACzE,4EAA4E;AAC5E,2EAA2E;AAC3E,mCAAmC;AACnC,oDAiCiC;AAhC/B,2GAAA,eAAe,OAAA;AACf,4GAAA,gBAAgB,OAAA;AAChB,4GAAA,gBAAgB,OAAA;AAChB,2EAA2E;AAC3E,2EAA2E;AAC3E,0EAA0E;AAC1E,0CAA0C;AAC1C,uHAAA,2BAA2B,OAAA;AAC3B,4GAAA,gBAAgB,OAAA;AAChB,6GAAA,iBAAiB,OAAA;AACjB,yGAAA,aAAa,OAAA;AACb,uGAAA,WAAW,OAAA;AACX,6GAAA,iBAAiB,OAAA;AACjB,8GAAA,kBAAkB,OAAA;AAClB,yGAAA,aAAa,OAAA;AACb,gHAAA,oBAAoB,OAAA;AACpB,+GAAA,mBAAmB,OAAA;AACnB,yGAAA,aAAa,OAAA;AAgCf,4CAiByB;AAhBvB,sGAAA,UAAU,OAAA;AACV,+GAAA,mBAAmB,OAAA;AACnB,+GAAA,mBAAmB,OAAA;AACnB,6GAAA,iBAAiB,OAAA;AACjB,0EAA0E;AAC1E,4EAA4E;AAC5E,yEAAyE;AACzE,mDAAmD;AACnD,4GAAA,gBAAgB,OAAA;AAChB,yEAAyE;AACzE,sEAAsE;AACtE,wEAAwE;AACxE,+CAA+C;AAC/C,4GAAA,gBAAgB,OAAA;AAChB,uGAAA,WAAW,OAAA;AACX,iHAAA,qBAAqB,OAAA;AAEvB,yEAAyE;AACzE,yEAAyE;AACzE,4EAA4E;AAC5E,oEAAoE;AACpE,wDAAwD;AACxD,8DAaqC;AAZnC,2HAAA,yBAAyB,OAAA;AACzB,wHAAA,sBAAsB,OAAA;AACtB,sHAAA,oBAAoB,OAAA;AAWtB,6EAA6E;AAC7E,uDAAuD;AACvD,EAAE;AACF,6EAA6E;AAC7E,6EAA6E;AAC7E,6EAA6E;AAC7E,mEAAmE;AACnE,uEAAuE;AACvE,sCAAsC;AACtC,0EAA0E;AAC1E,yEAAyE;AACzE,8EAA8E;AAC9E,cAAc;AACd,EAAE;AACF,8EAA8E;AAC9E,6EAA6E;AAC7E,kDAAkD;AAClD,2DAoBwC;AAnBtC,0GAAA,cAAc,OAAA;AACd,wGAAA,YAAY,OAAA;AACZ,kGAAA,MAAM,OAAA;AACN,oGAAA,QAAQ,OAAA;AACR,kHAAA,sBAAsB,OAAA;AACtB,2GAAA,eAAe,OAAA;AACf,yGAAA,aAAa,OAAA;AACb,uGAAA,WAAW,OAAA;AACX,8GAAA,kBAAkB,OAAA;AAClB,8GAAA,kBAAkB,OAAA;AAWpB,6EAA6E;AAC7E,2EAA2E;AAC3E,0EAA0E;AAC1E,mEAAmE;AACnE,2EAA2E;AAC3E,2EAA2E;AAC3E,4EAA4E;AAC5E,uEAAuE;AACvE,kEAAkE;AAClE,qDAwBkC;AAvBhC,6GAAA,iBAAiB,OAAA;AACjB,qHAAA,yBAAyB,OAAA;AACzB,4GAAA,gBAAgB,OAAA;AAChB,uHAAA,2BAA2B,OAAA;AAC3B,yGAAA,aAAa,OAAA;AACb,0GAAA,cAAc,OAAA;AACd,oGAAA,QAAQ,OAAA;AACR,4GAAA,gBAAgB,OAAA;AAChB,0GAAA,cAAc,OAAA;AACd,6GAAA,iBAAiB,OAAA;AAenB,6EAA6E;AAC7E,gFAAgF;AAChF,gEAAgE;AAChE,0DAQgC;AAP9B,iHAAA,cAAc,OAAA;AACd,iHAAA,cAAc,OAAA;AACd,2HAAA,wBAAwB,OAAA;AACxB,2HAAA,wBAAwB,OAAA;AAK1B,8DAUkC;AAThC,mHAAA,cAAc,OAAA;AACd,8GAAA,SAAS,OAAA;AACT,+GAAA,UAAU,OAAA;AACV,mHAAA,cAAc,OAAA;AACd,kHAAA,aAAa,OAAA;AAMf,0DAOgC;AAN9B,sHAAA,mBAAmB,OAAA;AACnB,4HAAA,yBAAyB,OAAA;AAM3B,6EAA6E;AAC7E,4EAA4E;AAC5E,uEAAuE;AACvE,sEAAsE;AACtE,6EAA6E;AAC7E,6EAA6E;AAC7E,qEAAqE;AACrE,8EAA8E;AAC9E,8CAA8C;AAC9C,iDAyD8B;AAxD5B,+GAAA,mBAAmB,OAAA;AACnB,kHAAA,sBAAsB,OAAA;AACtB,yGAAA,aAAa,OAAA;AACb,uDAAuD;AACvD,2EAA2E;AAC3E,0EAA0E;AAC1E,mHAAA,uBAAuB,OAAA;AACvB,gHAAA,oBAAoB,OAAA;AACpB,6GAAA,iBAAiB,OAAA;AACjB,qEAAqE;AACrE,qEAAqE;AACrE,kEAAkE;AAClE,oHAAA,wBAAwB,OAAA;AACxB,6GAAA,iBAAiB,OAAA;AACjB,wHAAA,4BAA4B,OAAA;AAC5B,gIAAA,oCAAoC,OAAA;AACpC,yGAAA,aAAa,OAAA;AACb,wGAAA,YAAY,OAAA;AACZ,6GAAA,iBAAiB,OAAA;AACjB,gHAAA,oBAAoB,OAAA;AACpB,yGAAA,aAAa,OAAA;AACb,2GAAA,eAAe,OAAA;AACf,uGAAA,WAAW,OAAA;AACX,2GAAA,eAAe,OAAA;AACf,iHAAA,qBAAqB,OAAA;AACrB,iHAAA,qBAAqB,OAAA;AACrB,uHAAA,2BAA2B,OAAA;AAC3B,wHAAA,4BAA4B,OAAA;AA8B9B,+EAA+E;AAC/E,0EAA0E;AAC1E,4EAA4E;AAC5E,0EAA0E;AAC1E,iDAO8B;AAN5B,gHAAA,oBAAoB,OAAA;AACpB,gHAAA,oBAAoB,OAAA;AACpB,8GAAA,kBAAkB,OAAA;AAKpB,+EAA+E;AAC/E,8EAA8E;AAC9E,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAC9E,gEAAgE;AAChE,iDAa8B;AAZ5B,oHAAA,wBAAwB,OAAA;AACxB,qHAAA,yBAAyB,OAAA;AACzB,gHAAA,oBAAoB,OAAA;AACpB,uHAAA,2BAA2B,OAAA;AAU7B,0EAA0E;AAC1E,4EAA4E;AAC5E,2EAA2E;AAC3E,0EAA0E;AAC1E,sEAAsE;AACtE,2CAA2C;AAC3C,kDAU8B;AAT5B,4GAAA,eAAe,OAAA;AACf,+GAAA,kBAAkB,OAAA;AAClB,6GAAA,gBAAgB,OAAA;AAChB,8GAAA,iBAAiB,OAAA;AAQnB,iEAAiE;AACjE,yDAAyD;AACzD,kEAAkE;AAClE,6DAA6D;AAC7D,wEAAwE;AACxE,kEAAkE;AAClE,2DAA2D;AAC3D,sEAAsE;AAEtE,4BAA4B;AAC5B,uDAMiC;AAL/B,uGAAA,QAAQ,OAAA;AACR,8GAAA,eAAe,OAAA;AAKjB,uDAWiC;AAV/B,uGAAA,QAAQ,OAAA;AACR,8GAAA,eAAe,OAAA;AAUjB,6DAOoC;AANlC,6GAAA,WAAW,OAAA;AACX,oHAAA,kBAAkB,OAAA;AAMpB,+CAO6B;AAN3B,+FAAA,IAAI,OAAA;AACJ,sGAAA,WAAW,OAAA;AAMb,uDAKiC;AAJ/B,uGAAA,QAAQ,OAAA;AACR,uGAAA,QAAQ,OAAA;AAIV,iDAQ8B;AAP5B,iGAAA,KAAK,OAAA;AACL,iGAAA,KAAK,OAAA;AAQP,2BAA2B;AAC3B,8EAA8E;AAC9E,wEAAwE;AACxE,mEAAmE;AACnE,qEAAqE;AACrE,EAAE;AACF,kEAAkE;AAClE,iEAAiE;AACjE,wEAAwE;AACxE,gEAAgE;AAChE,gEAAgE;AAChE,6CAA6C;AAC7C,EAAE;AACF,2FAA2F;AAC3F,wFAAwF;AAExF,sEAK0C;AAJxC,oHAAA,eAAe,OAAA;AAMjB,+DAA+D;AAE/D,oEAAoE;AACpE,gEAAgE;AAEhE,qEAAqE;AACrE,0DAA0D;AAC1D,sDAAoC;AAEpC,uEAAuE;AACvE,uEAAuE;AACvE,oEAAoE;AACpE,sEAAsE;AACtE,8CAA8C;AAE9C,wEAAwE;AACxE,sEAAsE;AACtE,sEAAsE;AACtE,gDAO4B;AAN1B,sGAAA,SAAS,OAAA;AACT,oHAAA,uBAAuB,OAAA;AAEvB,2GAAA,cAAc,OAAA;AAKhB,yEAAyE;AACzE,0EAA0E;AAC1E,qEAAqE;AACrE,iEAAiE;AACjE,yDAOqC;AANnC,iGAAA,IAAI,OAAA;AAQN,qEAAqE;AACrE,wEAAwE;AACxE,uEAAuE;AACvE,oEAAoE;AACpE,yDAAyD;AACzD,wEAAwE;AACxE,gDAAgD;AAChD,wEAAwE;AACxE,gEAAgE;AAEhE,wEAAwE;AACxE,wEAAwE;AACxE,uDAAuD;AAEvD,mEAAmE;AACnE,oEAAoE;AACpE,sDAAsD"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;;;;;;;;;;;;;;;;;AAEH,oEAAoE;AACpE,8DAA8D;AAC9D,uEAAuE;AACvE,kEAAkE;AAClE,sEAAsE;AACtE,sDAAsD;AACtD,wDAAsD;AACtD,qDAAmD;AACnD,sDAAoD;AAsCpD,6BAA6B;AAC7B,sDAAoC;AAEpC,yEAAyE;AACzE,uDAAuD;AACvD,mDA0B0B;AAzBxB,gHAAA,cAAc,OAAA;AACd,qHAAA,mBAAmB,OAAA;AACnB,gHAAA,cAAc,OAAA;AAEd,yEAAyE;AACzE,wEAAwE;AACxE,yEAAyE;AACzE,gBAAgB;AAChB,2GAAA,SAAS,OAAA;AAET,2EAA2E;AAC3E,6EAA6E;AAC7E,6EAA6E;AAC7E,6DAA6D;AAC7D,8GAAA,YAAY,OAAA;AAGZ,8EAA8E;AAC9E,6EAA6E;AAC7E,4EAA4E;AAC5E,yEAAyE;AACzE,4EAA4E;AAC5E,uCAAuC;AACvC,yHAAA,uBAAuB,OAAA;AACvB,0HAAA,wBAAwB,OAAA;AAE1B,oEAAoE;AACpE,yEAAyE;AACzE,wEAAwE;AACxE,qEAAqE;AACrE,kDAAkD;AAClD,sDAOmC;AANjC,4GAAA,gBAAgB,OAAA;AAWlB,yCAAyC;AACzC,EAAE;AACF,yEAAyE;AACzE,kEAAkE;AAClE,oEAAoE;AACpE,qEAAqE;AACrE,2EAA2E;AAC3E,8EAA8E;AAC9E,0DAA0D;AAC1D,gFAUgD;AAT9C,2HAAA,kBAAkB,OAAA;AAClB,2HAAA,kBAAkB,OAAA;AAClB,yHAAA,gBAAgB,OAAA;AAChB,2HAAA,kBAAkB,OAAA;AAClB,yHAAA,gBAAgB,OAAA;AASlB,sDAA6D;AAApD,2GAAA,UAAU,OAAA;AAAE,0GAAA,SAAS,OAAA;AAc9B,sEAAsE;AACtE,wEAAwE;AACxE,iEAAiE;AACjE,sEAAsE;AACtE,uEAAuE;AACvE,4CAwByB;AAvBvB,qGAAA,SAAS,OAAA;AACT,oGAAA,QAAQ,OAAA;AACR,0GAAA,cAAc,OAAA;AACd,oGAAA,QAAQ,OAAA;AACR,0GAAA,cAAc,OAAA;AACd,sGAAA,UAAU,OAAA;AACV,wEAAwE;AACxE,2EAA2E;AAC3E,8EAA8E;AAC9E,8EAA8E;AAC9E,sDAAsD;AACtD,gHAAA,oBAAoB,OAAA;AACpB,iHAAA,qBAAqB,OAAA;AACrB,8GAAA,kBAAkB,OAAA;AAClB,yEAAyE;AACzE,6EAA6E;AAC7E,4EAA4E;AAC5E,sBAAsB;AACtB,oHAAA,wBAAwB,OAAA;AAO1B,0EAA0E;AAC1E,6EAA6E;AAC7E,6EAA6E;AAC7E,2EAA2E;AAC3E,kFAAkF;AAClF,4DAA4D;AAC5D,uEAAuE;AACvE,oEAAoE;AACpE,2EAA2E;AAC3E,wEAAwE;AACxE,4EAA4E;AAC5E,0DAMgC;AAL9B,mHAAA,gBAAgB,OAAA;AAChB,qHAAA,kBAAkB,OAAA;AAClB,2HAAA,wBAAwB,OAAA;AAK1B,mEAAmE;AACnE,wDAAwD;AACxD,2EAA2E;AAC3E,iCAAiC;AACjC,EAAE;AACF,+EAA+E;AAC/E,6EAA6E;AAC7E,0EAA0E;AAC1E,6EAA6E;AAC7E,8EAA8E;AAC9E,8BAA8B;AAC9B,6DAqB0C;AApBxC,iGAAA,KAAK,OAAA;AACL,+FAAA,GAAG,OAAA;AACH,gGAAA,IAAI,OAAA;AACJ,8GAAA,kBAAkB,OAAA;AAmBpB,8EAA8E;AAC9E,4EAA4E;AAC5E,+EAA+E;AAC/E,6EAA6E;AAC7E,mBAAmB;AACnB,sDAAgG;AAAvF,0GAAA,YAAY,OAAA;AAAE,uGAAA,SAAS,OAAA;AAChC,8CAAgE;AAAvD,kGAAA,QAAQ,OAAA;AAcjB,uEAAuE;AACvE,6EAA6E;AAC7E,mEAAmE;AACnE,0EAA0E;AAC1E,oFAAoF;AACpF,gDAuB2B;AAtBzB,6GAAA,eAAe,OAAA;AACf,6GAAA,eAAe,OAAA;AACf,+GAAA,iBAAiB,OAAA;AACjB,iHAAA,mBAAmB,OAAA;AACnB,uHAAA,yBAAyB,OAAA;AACzB,sHAAA,wBAAwB,OAAA;AAuB1B,6EAA6E;AAC7E,0EAK6C;AAJ3C,qHAAA,eAAe,OAAA;AAgBjB,qEAAqE;AACrE,kEAAkE;AAClE,kEAAkE;AAClE,sGAWqE;AAVnE,oIAAA,0BAA0B,OAAA;AAC1B,kEAAkE;AAClE,mEAAmE;AACnE,oDAAoD;AACpD,0HAAA,gBAAgB,OAAA;AAChB,+HAAA,qBAAqB,OAAA;AACrB,0HAAA,gBAAgB,OAAA;AAChB,6HAAA,mBAAmB,OAAA;AAKrB,gEAAgE;AAChE,sEAAsE;AACtE,uDAAuD;AACvD,sEAAsE;AACtE,+DAA+D;AAC/D,gEAAgE;AAChE,wEAAwE;AACxE,mCAAmC;AAEnC,qBAAqB;AACrB,gDAM2B;AALzB,qGAAA,OAAO,OAAA;AACP,4GAAA,cAAc,OAAA;AAWhB,2EAA2E;AAC3E,gFAAgF;AAChF,4EAA4E;AAC5E,2EAA2E;AAC3E,0FAGmD;AAFjD,yIAAA,yBAAyB,OAAA;AAG3B,4CA0ByB;AAzBvB,iGAAA,KAAK,OAAA;AACL,wGAAA,YAAY,OAAA;AAyBd,8EAA8E;AAC9E,8EAA8E;AAC9E,+EAA+E;AAC/E,oEAAoE;AACpE,EAAE;AACF,iEAAiE;AACjE,oFAAoF;AACpF,4DAA4D;AAC5D,sEAAsE;AACtE,EAAE;AACF,6EAA6E;AAC7E,6EAA6E;AAC7E,8EAA8E;AAC9E,2BAA2B;AAC3B,yDA+BsC;AA9BpC,uHAAA,2BAA2B,OAAA;AAC3B,kHAAA,sBAAsB,OAAA;AACtB,8GAAA,kBAAkB,OAAA;AAClB,0GAAA,cAAc,OAAA;AACd,yGAAA,aAAa,OAAA;AACb,8GAAA,kBAAkB,OAAA;AAClB,wGAAA,YAAY,OAAA;AACZ,yGAAA,aAAa,OAAA;AACb,2GAAA,eAAe,OAAA;AACf,uGAAA,WAAW,OAAA;AAmCb,+EAA+E;AAC/E,+EAA+E;AAC/E,+EAA+E;AAC/E,qCAAqC;AACrC,kEAAgG;AAAvF,yHAAA,qBAAqB,OAAA;AAc9B,4EAA4E;AAC5E,2EAA2E;AAC3E,4EAA4E;AAC5E,2EAA2E;AAC3E,2EAA2E;AAC3E,yDAAyD;AACzD,8DAAmG;AAA1F,gHAAA,oBAAoB,OAAA;AAC7B,6DAA6D;AAC7D,wEAAwE;AACxE,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAC9E,mEAAmE;AACnE,wBAAwB;AACxB,8DAM2C;AALzC,+GAAA,mBAAmB,OAAA;AACnB,sGAAA,UAAU,OAAA;AAKZ,2EAA2E;AAC3E,sEAAsE;AACtE,8DAM2C;AALzC,wGAAA,YAAY,OAAA;AACZ,+GAAA,mBAAmB,OAAA;AAKrB,8DAA8D;AAC9D,wEAAwE;AACxE,0EAA0E;AAC1E,2EAA2E;AAC3E,2EAA2E;AAC3E,4EAA4E;AAC5E,sEAAsE;AACtE,qEAGkD;AAFhD,uHAAA,2BAA2B,OAAA;AAG7B,0DAMgC;AAL9B,oHAAA,iBAAiB,OAAA;AACjB,oHAAA,iBAAiB,OAAA;AAKnB,0EAA0E;AAC1E,2EAA2E;AAC3E,6EAA6E;AAC7E,0DAA0D;AAC1D,kDAA0D;AAAjD,mHAAA,oBAAoB,OAAA;AAC7B,4EAA4E;AAC5E,4EAA4E;AAC5E,2EAA2E;AAC3E,0EAA0E;AAC1E,0EAK2C;AAJzC,iIAAA,yBAAyB,OAAA;AACzB,wHAAA,gBAAgB,OAAA;AAChB,4HAAA,oBAAoB,OAAA;AAItB,4EAA4E;AAC5E,6EAA6E;AAC7E,0EAA0E;AAC1E,+EAA+E;AAC/E,0EAA0E;AAC1E,2EAA2E;AAC3E,yEAAyE;AACzE,8EAA8E;AAC9E,2DAMwC;AALtC,uHAAA,2BAA2B,OAAA;AAM7B,6DAGyC;AAFvC,mHAAA,sBAAsB,OAAA;AAGxB,4DAKiC;AAJ/B,6GAAA,SAAS,OAAA;AACT,6HAAA,yBAAyB,OAAA;AACzB,sHAAA,kBAAkB,OAAA;AAGpB,+EAA+E;AAC/E,gFAAgF;AAChF,2EAA2E;AAC3E,2EAA2E;AAC3E,gFAAgF;AAChF,iEAIqC;AAHnC,qHAAA,gBAAgB,OAAA;AAChB,gIAAA,2BAA2B,OAAA;AAG7B,4EAA4E;AAC5E,4EAA4E;AAC5E,8EAA8E;AAC9E,2DAA2D;AAC3D,oEAIyC;AAHvC,8HAAA,0BAA0B,OAAA;AAC1B,+HAAA,2BAA2B,OAAA;AAC3B,2HAAA,uBAAuB,OAAA;AAEzB,6EAA6E;AAC7E,+EAA+E;AAC/E,sCAAsC;AACtC,0DAIgC;AAH9B,sHAAA,mBAAmB,OAAA;AACnB,uHAAA,oBAAoB,OAAA;AACpB,mHAAA,gBAAgB,OAAA;AAElB,gEAKmC;AAJjC,qHAAA,eAAe,OAAA;AAKjB,4EAA4E;AAC5E,0EAA0E;AAC1E,8EAA8E;AAC9E,yEAAyE;AACzE,4EAA4E;AAC5E,2EAA2E;AAC3E,mCAAmC;AACnC,oDAiCiC;AAhC/B,2GAAA,eAAe,OAAA;AACf,4GAAA,gBAAgB,OAAA;AAChB,4GAAA,gBAAgB,OAAA;AAChB,2EAA2E;AAC3E,2EAA2E;AAC3E,0EAA0E;AAC1E,0CAA0C;AAC1C,uHAAA,2BAA2B,OAAA;AAC3B,4GAAA,gBAAgB,OAAA;AAChB,6GAAA,iBAAiB,OAAA;AACjB,yGAAA,aAAa,OAAA;AACb,uGAAA,WAAW,OAAA;AACX,6GAAA,iBAAiB,OAAA;AACjB,8GAAA,kBAAkB,OAAA;AAClB,yGAAA,aAAa,OAAA;AACb,gHAAA,oBAAoB,OAAA;AACpB,+GAAA,mBAAmB,OAAA;AACnB,yGAAA,aAAa,OAAA;AAgCf,4CAiByB;AAhBvB,sGAAA,UAAU,OAAA;AACV,+GAAA,mBAAmB,OAAA;AACnB,+GAAA,mBAAmB,OAAA;AACnB,6GAAA,iBAAiB,OAAA;AACjB,0EAA0E;AAC1E,4EAA4E;AAC5E,yEAAyE;AACzE,mDAAmD;AACnD,4GAAA,gBAAgB,OAAA;AAChB,yEAAyE;AACzE,sEAAsE;AACtE,wEAAwE;AACxE,+CAA+C;AAC/C,4GAAA,gBAAgB,OAAA;AAChB,uGAAA,WAAW,OAAA;AACX,iHAAA,qBAAqB,OAAA;AAEvB,yEAAyE;AACzE,yEAAyE;AACzE,4EAA4E;AAC5E,oEAAoE;AACpE,wDAAwD;AACxD,8DAaqC;AAZnC,2HAAA,yBAAyB,OAAA;AACzB,wHAAA,sBAAsB,OAAA;AACtB,sHAAA,oBAAoB,OAAA;AAWtB,6EAA6E;AAC7E,uDAAuD;AACvD,EAAE;AACF,6EAA6E;AAC7E,6EAA6E;AAC7E,6EAA6E;AAC7E,mEAAmE;AACnE,uEAAuE;AACvE,sCAAsC;AACtC,0EAA0E;AAC1E,yEAAyE;AACzE,8EAA8E;AAC9E,cAAc;AACd,EAAE;AACF,8EAA8E;AAC9E,6EAA6E;AAC7E,kDAAkD;AAClD,2DAoBwC;AAnBtC,0GAAA,cAAc,OAAA;AACd,wGAAA,YAAY,OAAA;AACZ,kGAAA,MAAM,OAAA;AACN,oGAAA,QAAQ,OAAA;AACR,kHAAA,sBAAsB,OAAA;AACtB,2GAAA,eAAe,OAAA;AACf,yGAAA,aAAa,OAAA;AACb,uGAAA,WAAW,OAAA;AACX,8GAAA,kBAAkB,OAAA;AAClB,8GAAA,kBAAkB,OAAA;AAWpB,6EAA6E;AAC7E,2EAA2E;AAC3E,0EAA0E;AAC1E,mEAAmE;AACnE,2EAA2E;AAC3E,2EAA2E;AAC3E,4EAA4E;AAC5E,uEAAuE;AACvE,kEAAkE;AAClE,qDAwBkC;AAvBhC,6GAAA,iBAAiB,OAAA;AACjB,qHAAA,yBAAyB,OAAA;AACzB,4GAAA,gBAAgB,OAAA;AAChB,uHAAA,2BAA2B,OAAA;AAC3B,yGAAA,aAAa,OAAA;AACb,0GAAA,cAAc,OAAA;AACd,oGAAA,QAAQ,OAAA;AACR,4GAAA,gBAAgB,OAAA;AAChB,0GAAA,cAAc,OAAA;AACd,6GAAA,iBAAiB,OAAA;AAenB,6EAA6E;AAC7E,gFAAgF;AAChF,gEAAgE;AAChE,0DAQgC;AAP9B,iHAAA,cAAc,OAAA;AACd,iHAAA,cAAc,OAAA;AACd,2HAAA,wBAAwB,OAAA;AACxB,2HAAA,wBAAwB,OAAA;AAK1B,8DAUkC;AAThC,mHAAA,cAAc,OAAA;AACd,8GAAA,SAAS,OAAA;AACT,+GAAA,UAAU,OAAA;AACV,mHAAA,cAAc,OAAA;AACd,kHAAA,aAAa,OAAA;AAMf,0DAOgC;AAN9B,sHAAA,mBAAmB,OAAA;AACnB,4HAAA,yBAAyB,OAAA;AAM3B,6EAA6E;AAC7E,4EAA4E;AAC5E,uEAAuE;AACvE,sEAAsE;AACtE,6EAA6E;AAC7E,6EAA6E;AAC7E,qEAAqE;AACrE,8EAA8E;AAC9E,8CAA8C;AAC9C,iDAyD8B;AAxD5B,+GAAA,mBAAmB,OAAA;AACnB,kHAAA,sBAAsB,OAAA;AACtB,yGAAA,aAAa,OAAA;AACb,uDAAuD;AACvD,2EAA2E;AAC3E,0EAA0E;AAC1E,mHAAA,uBAAuB,OAAA;AACvB,gHAAA,oBAAoB,OAAA;AACpB,6GAAA,iBAAiB,OAAA;AACjB,qEAAqE;AACrE,qEAAqE;AACrE,kEAAkE;AAClE,oHAAA,wBAAwB,OAAA;AACxB,6GAAA,iBAAiB,OAAA;AACjB,wHAAA,4BAA4B,OAAA;AAC5B,gIAAA,oCAAoC,OAAA;AACpC,yGAAA,aAAa,OAAA;AACb,wGAAA,YAAY,OAAA;AACZ,6GAAA,iBAAiB,OAAA;AACjB,gHAAA,oBAAoB,OAAA;AACpB,yGAAA,aAAa,OAAA;AACb,2GAAA,eAAe,OAAA;AACf,uGAAA,WAAW,OAAA;AACX,2GAAA,eAAe,OAAA;AACf,iHAAA,qBAAqB,OAAA;AACrB,iHAAA,qBAAqB,OAAA;AACrB,uHAAA,2BAA2B,OAAA;AAC3B,wHAAA,4BAA4B,OAAA;AA8B9B,+EAA+E;AAC/E,0EAA0E;AAC1E,4EAA4E;AAC5E,0EAA0E;AAC1E,iDAO8B;AAN5B,gHAAA,oBAAoB,OAAA;AACpB,gHAAA,oBAAoB,OAAA;AACpB,8GAAA,kBAAkB,OAAA;AAKpB,+EAA+E;AAC/E,8EAA8E;AAC9E,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAC9E,gEAAgE;AAChE,iDAa8B;AAZ5B,oHAAA,wBAAwB,OAAA;AACxB,qHAAA,yBAAyB,OAAA;AACzB,gHAAA,oBAAoB,OAAA;AACpB,uHAAA,2BAA2B,OAAA;AAU7B,0EAA0E;AAC1E,4EAA4E;AAC5E,2EAA2E;AAC3E,0EAA0E;AAC1E,sEAAsE;AACtE,2CAA2C;AAC3C,kDAU8B;AAT5B,4GAAA,eAAe,OAAA;AACf,+GAAA,kBAAkB,OAAA;AAClB,6GAAA,gBAAgB,OAAA;AAChB,8GAAA,iBAAiB,OAAA;AAQnB,iEAAiE;AACjE,yDAAyD;AACzD,kEAAkE;AAClE,6DAA6D;AAC7D,wEAAwE;AACxE,kEAAkE;AAClE,2DAA2D;AAC3D,sEAAsE;AAEtE,4BAA4B;AAC5B,uDAMiC;AAL/B,uGAAA,QAAQ,OAAA;AACR,8GAAA,eAAe,OAAA;AAKjB,uDAWiC;AAV/B,uGAAA,QAAQ,OAAA;AACR,8GAAA,eAAe,OAAA;AAUjB,6DAOoC;AANlC,6GAAA,WAAW,OAAA;AACX,oHAAA,kBAAkB,OAAA;AAMpB,+CAO6B;AAN3B,+FAAA,IAAI,OAAA;AACJ,sGAAA,WAAW,OAAA;AAMb,uDAKiC;AAJ/B,uGAAA,QAAQ,OAAA;AACR,uGAAA,QAAQ,OAAA;AAIV,iDAQ8B;AAP5B,iGAAA,KAAK,OAAA;AACL,iGAAA,KAAK,OAAA;AAQP,2BAA2B;AAC3B,8EAA8E;AAC9E,wEAAwE;AACxE,mEAAmE;AACnE,qEAAqE;AACrE,EAAE;AACF,kEAAkE;AAClE,iEAAiE;AACjE,wEAAwE;AACxE,gEAAgE;AAChE,gEAAgE;AAChE,6CAA6C;AAC7C,EAAE;AACF,2FAA2F;AAC3F,wFAAwF;AAExF,sEAK0C;AAJxC,oHAAA,eAAe,OAAA;AAMjB,+DAA+D;AAE/D,oEAAoE;AACpE,gEAAgE;AAEhE,qEAAqE;AACrE,0DAA0D;AAC1D,sDAAoC;AAEpC,uEAAuE;AACvE,uEAAuE;AACvE,oEAAoE;AACpE,sEAAsE;AACtE,8CAA8C;AAE9C,wEAAwE;AACxE,sEAAsE;AACtE,sEAAsE;AACtE,gDAO4B;AAN1B,sGAAA,SAAS,OAAA;AACT,oHAAA,uBAAuB,OAAA;AAEvB,2GAAA,cAAc,OAAA;AAKhB,yEAAyE;AACzE,0EAA0E;AAC1E,qEAAqE;AACrE,iEAAiE;AACjE,yDAOqC;AANnC,iGAAA,IAAI,OAAA;AAQN,qEAAqE;AACrE,wEAAwE;AACxE,uEAAuE;AACvE,oEAAoE;AACpE,yDAAyD;AACzD,wEAAwE;AACxE,gDAAgD;AAChD,wEAAwE;AACxE,gEAAgE;AAEhE,wEAAwE;AACxE,wEAAwE;AACxE,uDAAuD;AAEvD,mEAAmE;AACnE,oEAAoE;AACpE,sDAAsD"}
|
|
@@ -18,7 +18,11 @@
|
|
|
18
18
|
* be opt-in at all; column-types: `Tool.resultColumns` AND the
|
|
19
19
|
* operator's `checkColumnTypes` dial off `'off'` — the same two
|
|
20
20
|
* halves, arming BOTH `column-type-mismatch` and `missing-column`
|
|
21
|
-
* off the one declaration
|
|
21
|
+
* off the one declaration; prior-turn-evidence: the operator's
|
|
22
|
+
* `noticePriorTurnEvidence` dial AND an armed evidence gate, the
|
|
23
|
+
* same two halves — the gate is what decides which tokens in an
|
|
24
|
+
* answer are values at all, so without it there is nothing whose
|
|
25
|
+
* provenance could be reported).
|
|
22
26
|
* Registration is what makes silence auditable — an unregistered
|
|
23
27
|
* check is honest
|
|
24
28
|
* absence, a registered one that never notes is the wiring rot
|
|
@@ -41,6 +45,7 @@ const check_js_3 = require("../unsupported-argument/check.js");
|
|
|
41
45
|
const check_js_4 = require("../unsupported-claim/check.js");
|
|
42
46
|
const check_js_5 = require("../empty-lookup/check.js");
|
|
43
47
|
const check_js_6 = require("../column-types/check.js");
|
|
48
|
+
const check_js_7 = require("../prior-turn-evidence/check.js");
|
|
44
49
|
/**
|
|
45
50
|
* Start one run's ledger: register the present checks and, in dev posture,
|
|
46
51
|
* prove each can still catch its own synthetic defect.
|
|
@@ -88,6 +93,7 @@ function beginIntegrityRun(present, posture) {
|
|
|
88
93
|
armed('empty-lookup', 'write', present.emptyLookup === true);
|
|
89
94
|
armed('column-type-mismatch', 'write', present.columnTypes === true);
|
|
90
95
|
armed('missing-column', 'write', present.columnTypes === true);
|
|
96
|
+
armed('prior-turn-evidence', 'claim', present.priorTurnEvidence === true);
|
|
91
97
|
if (posture !== 'dev')
|
|
92
98
|
return ledger;
|
|
93
99
|
// The canaries — one known-bad fixture per REGISTERED check, through the
|
|
@@ -198,6 +204,25 @@ function beginIntegrityRun(present, posture) {
|
|
|
198
204
|
ledger.noteSynthetic('missing-column', 'write', 'caught');
|
|
199
205
|
}
|
|
200
206
|
}
|
|
207
|
+
{
|
|
208
|
+
// The claim-seam recency canary (9.83.0): an answer whose only grounded
|
|
209
|
+
// values were last served two turns ago, on a turn that fetched nothing.
|
|
210
|
+
// Both halves of the reading are load-bearing — give it one value from
|
|
211
|
+
// this turn and the claim is falsified, drop the boundary
|
|
212
|
+
// (`currentTurn: 0`) and there is no "before" to be — so a check that
|
|
213
|
+
// finds nothing here has lost one of the two facts it exists to pair.
|
|
214
|
+
ledger.noteSynthetic('prior-turn-evidence', 'claim', 'minted');
|
|
215
|
+
const caught = (0, check_js_7.priorTurnEvidenceOf)({
|
|
216
|
+
fromThisTurn: 0,
|
|
217
|
+
fromPriorTurns: 3,
|
|
218
|
+
latestPriorTurn: 1,
|
|
219
|
+
currentTurn: 3,
|
|
220
|
+
toolResultsThisTurn: 0,
|
|
221
|
+
indexTruncated: false,
|
|
222
|
+
}, -1);
|
|
223
|
+
if (caught.findings.length > 0)
|
|
224
|
+
ledger.noteSynthetic('prior-turn-evidence', 'claim', 'caught');
|
|
225
|
+
}
|
|
201
226
|
return ledger;
|
|
202
227
|
}
|
|
203
228
|
exports.beginIntegrityRun = beginIntegrityRun;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../../src/integrity/disposition/lifecycle.ts"],"names":[],"mappings":";AAAA
|
|
1
|
+
{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../../src/integrity/disposition/lifecycle.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;;;AAEH,2CAAwE;AAGxE,8DAAwE;AACxE,4DAAkE;AAClE,6DAAsE;AACtE,+DAA0E;AAC1E,4DAAoE;AACpE,uDAA2E;AAC3E,uDAAqE;AACrE,8DAAsE;AA6DtE;;;GAGG;AACH,SAAgB,iBAAiB,CAC/B,OAA+B,EAC/B,OAAyB;IAEzB,MAAM,MAAM,GAAG,IAAA,6BAAiB,GAAE,CAAC;IACnC,IAAI,OAAO,CAAC,IAAI;QAAE,MAAM,CAAC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACjE,4CAA4C;IAC5C,EAAE;IACF,2EAA2E;IAC3E,uEAAuE;IACvE,uEAAuE;IACvE,0EAA0E;IAC1E,uEAAuE;IACvE,2EAA2E;IAC3E,2EAA2E;IAC3E,yEAAyE;IACzE,UAAU;IACV,EAAE;IACF,wEAAwE;IACxE,0EAA0E;IAC1E,yEAAyE;IACzE,8DAA8D;IAC9D,kCAAkC;IAClC,uEAAuE;IACvE,+BAA+B;IAC/B,EAAE;IACF,4EAA4E;IAC5E,+DAA+D;IAC/D,2EAA2E;IAC3E,gEAAgE;IAChE,sEAAsE;IACtE,2EAA2E;IAC3E,wDAAwD;IACxD,MAAM,KAAK,GAAG,CAAC,IAAsB,EAAE,IAAmB,EAAE,OAAgB,EAAQ,EAAE;QACpF,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,OAAO;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,KAAK,CAAC,qBAAqB,EAAE,SAAS,EAAE,OAAO,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC;IAC3E,KAAK,CAAC,oBAAoB,EAAE,SAAS,EAAE,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IAClE,KAAK,CAAC,sBAAsB,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IACnE,KAAK,CAAC,mBAAmB,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IAC5D,KAAK,CAAC,cAAc,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;IAC7D,KAAK,CAAC,sBAAsB,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;IACrE,KAAK,CAAC,gBAAgB,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;IAC/D,KAAK,CAAC,qBAAqB,EAAE,OAAO,EAAE,OAAO,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC;IAE1E,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC;IAErC,yEAAyE;IACzE,0EAA0E;IAC1E,EAAE;IACF,2EAA2E;IAC3E,mEAAmE;IACnE,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,aAAa;IACb,EAAE;IACF,6EAA6E;IAC7E,0EAA0E;IAC1E,8EAA8E;IAC9E,8EAA8E;IAC9E,6EAA6E;IAC7E,uEAAuE;IACvE,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,IAAA,0BAAgB,EAC7B,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,wBAAwB,EAAE,EAChE,EAAE,KAAK,EAAE,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,EACtE,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACvF,CAAC;IACD,CAAC;QACC,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,IAAA,gCAAqB,EAClC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,aAAa,CAAC,EAAE,EAC3F,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAC1D,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC1F,CAAC;IACD,CAAC;QACC,MAAM,CAAC,aAAa,CAAC,oBAAoB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,IAAA,+BAAoB,EACjC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,EAC3D,IAAI,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC,EAC1B,IAAI,GAAG,EAAE,EACT,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,oBAAoB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACzF,CAAC;IACD,CAAC;QACC,yEAAyE;QACzE,yEAAyE;QACzE,0EAA0E;QAC1E,MAAM,CAAC,aAAa,CAAC,sBAAsB,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,IAAA,iCAAsB,EACnC;YACE;gBACE,QAAQ,EAAE,aAAa;gBACvB,UAAU,EAAE,QAAQ;gBACpB,IAAI,EAAE,EAAE,EAAE,EAAE,sBAAsB,EAAE;gBACpC,aAAa,EAAE,CAAC,eAAe,CAAC;aACjC;SACF,EACD,EAAE,QAAQ,EAAE,CAAC,0CAA0C,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,EACzE,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,aAAa,CAAC,sBAAsB,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,CAAC;QACC,MAAM,CAAC,aAAa,CAAC,mBAAmB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,IAAA,8BAAmB,EAChC,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,EAC3E;YACE;gBACE,MAAM,EAAE,eAAe;gBACvB,KAAK,EAAE,cAAc;gBACrB,KAAK,EAAE,SAAS;gBAChB,QAAQ,EAAE,QAAQ;gBAClB,UAAU,EAAE,QAAQ;gBACpB,SAAS,EAAE,CAAC,CAAC;aACd;SACF,EACD,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAC/B,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,mBAAmB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/F,CAAC;IACD,CAAC;QACC,wEAAwE;QACxE,oEAAoE;QACpE,uEAAuE;QACvE,oEAAoE;QACpE,sEAAsE;QACtE,+CAA+C;QAC/C,MAAM,CAAC,aAAa,CAAC,cAAc,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,IAAA,wBAAa,EAC1B;YACE,QAAQ,EAAE,aAAa;YACvB,UAAU,EAAE,QAAQ;YACpB,IAAI,EAAE,EAAE,EAAE,EAAE,oBAAoB,EAAE;YAClC,aAAa,EAAE,CAAC,eAAe,CAAC;YAChC,OAAO,EAAE,IAAA,2BAAgB,EAAC,EAAE,EAAE,KAAK,CAAC;SACrC,EACD,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,IAAI,EAAE,mCAAmC,EAAE,CAAC,EAC1E,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,cAAc,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC1F,CAAC;IACD,CAAC;QACC,wEAAwE;QACxE,0EAA0E;QAC1E,sEAAsE;QACtE,wEAAwE;QACxE,uEAAuE;QACvE,+CAA+C;QAC/C,MAAM,CAAC,aAAa,CAAC,sBAAsB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,CAAC,aAAa,CAAC,gBAAgB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,IAAA,wBAAa,EAC1B;YACE,QAAQ,EAAE,aAAa;YACvB,UAAU,EAAE,QAAQ;YACpB,OAAO,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE;YAC9D,OAAO,EAAE,IAAA,qBAAU,EAAC,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC;YACjD,IAAI,EAAE,MAAM;SACb,EACD,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,EAAE,CAAC;YACnE,MAAM,CAAC,aAAa,CAAC,sBAAsB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,EAAE,CAAC;YAC7D,MAAM,CAAC,aAAa,CAAC,gBAAgB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,CAAC;QACC,wEAAwE;QACxE,yEAAyE;QACzE,uEAAuE;QACvE,0DAA0D;QAC1D,sEAAsE;QACtE,sEAAsE;QACtE,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,IAAA,8BAAmB,EAChC;YACE,YAAY,EAAE,CAAC;YACf,cAAc,EAAE,CAAC;YACjB,eAAe,EAAE,CAAC;YAClB,WAAW,EAAE,CAAC;YACd,mBAAmB,EAAE,CAAC;YACtB,cAAc,EAAE,KAAK;SACtB,EACD,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAzMD,8CAyMC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/integrity/finding/types.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;GAkBG;;;
|
|
1
|
+
{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/integrity/finding/types.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;GAkBG;;;AAoGH;;;;;GAKG;AACH,SAAgB,oBAAoB,CAAC,CAAe;IAClD,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ;SACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;SAC/B,IAAI,EAAE;SACN,IAAI,CAAC,KAAK,CAAC,CAAC;IACf,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3D,oEAAoE;IACpE,wEAAwE;IACxE,mDAAmD;IACnD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC;IACpC,OAAO,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,KAAK,QAAQ,KAAK,SAAS,IAAI,KAAK,EAAE,CAAC;AACpE,CAAC;AAXD,oDAWC;AAED,8DAA8D;AAC9D,SAAgB,mBAAmB,CAAC,MAA+B;IACjE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAC3B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAVD,kDAUC"}
|
|
@@ -0,0 +1,204 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* prior-turn-evidence — the answer is grounded, and every value in it was
|
|
4
|
+
* served BEFORE this turn. Filed at the CLAIM seam, as an advisory, never an
|
|
5
|
+
* accusation.
|
|
6
|
+
*
|
|
7
|
+
* Pattern: pure function over one reading of a finished judgement (the
|
|
8
|
+
* `readLookupResult` → `emptyLookupOf` shape, one seam later).
|
|
9
|
+
* Role: the decidable fragment of "did this answer come from the data, or
|
|
10
|
+
* from the conversation?".
|
|
11
|
+
*
|
|
12
|
+
* THE MEASURED FAILURE. A consumer's agent answered a data question with ZERO
|
|
13
|
+
* tool calls, and the evidence gate approved it: `LLM calls 1 · Tool calls 0 ·
|
|
14
|
+
* Iterations 1`, then "All 7 values in the answer were found in what the tools
|
|
15
|
+
* returned — the answer stands." They were found: in an inventory result from
|
|
16
|
+
* four turns earlier, fetched for a different question. The user had asked
|
|
17
|
+
* about array performance; the answer confidently recommended enabling a
|
|
18
|
+
* collector that had been running for months. Two turns did it back to back.
|
|
19
|
+
*
|
|
20
|
+
* Every rail passed honestly. The gate measures GROUNDEDNESS and had no notion
|
|
21
|
+
* of WHEN a value was grounded, which is exactly the fact the run needed.
|
|
22
|
+
*
|
|
23
|
+
* AND THE GATE SAID OTHERWISE. Its two sentences — the correction it sends the
|
|
24
|
+
* model and the warning it prints an operator — both said the flagged values
|
|
25
|
+
* "appear in NO tool result FROM THIS TURN" (`../../core/agent/evidence/
|
|
26
|
+
* gate.ts`). The index behind them has never been turn-scoped. So the library
|
|
27
|
+
* was already ASSERTING the boundary it could not measure, in the two places
|
|
28
|
+
* the assertion is read. That contradiction is the defect this change closes,
|
|
29
|
+
* and it closes it in the only honest order: the sentences were narrowed to
|
|
30
|
+
* what the check really reaches, and the turn boundary became something the
|
|
31
|
+
* index can actually MEASURE and report — off by default, beside the gate,
|
|
32
|
+
* never folded into its verdict.
|
|
33
|
+
*
|
|
34
|
+
* WHAT THE LIBRARY ALREADY KNOWS, and this check is nothing more than reading
|
|
35
|
+
* it out:
|
|
36
|
+
* (a) which values in the answer the evidence index could ground — the
|
|
37
|
+
* gate computes that already, for every armed agent;
|
|
38
|
+
* (b) which TURN each of those values was last served in — one number the
|
|
39
|
+
* index stamps during the walk it was already doing.
|
|
40
|
+
* When every grounded value's newest source is older than the turn in
|
|
41
|
+
* progress, the answer was assembled from the conversation rather than from
|
|
42
|
+
* anything this turn went and looked at. That is worth filing. It is not
|
|
43
|
+
* worth accusing anyone of.
|
|
44
|
+
*
|
|
45
|
+
* THE CORPUS IS NOT NARROWED, and that decision is the design. Narrowing the
|
|
46
|
+
* index to this turn would have made the gate's old sentence true and been the
|
|
47
|
+
* wrong fix: it would flag every honest follow-up — "and what about that
|
|
48
|
+
* disk?" legitimately leans on the previous turn's rows — and a check that
|
|
49
|
+
* cries wolf is a check somebody turns off. The corpus keeps its reach; only
|
|
50
|
+
* the REPORT gained a time axis.
|
|
51
|
+
*
|
|
52
|
+
* WHAT THE CORPUS ACTUALLY REACHES, said plainly because a bound that is
|
|
53
|
+
* implied is a bound that drifts: `scope.history` as it stands at judgement,
|
|
54
|
+
* which under `.window()` / `.compaction()` / `tokenBudget` is the LIVE WINDOW
|
|
55
|
+
* (window.ts rewrites it in place). So the turn ordinals here count the user
|
|
56
|
+
* turns the run can still SEE — "turn 2 of 4" may be the conversation's turn 9
|
|
57
|
+
* of 13 — and the distance reported is a FLOOR. The boundary itself is exact
|
|
58
|
+
* whatever the window does, because the current request is un-droppable by
|
|
59
|
+
* every window strategy. And a value that reached the model through
|
|
60
|
+
* `.memory()` recall or RAG is EXEMPT from grounding altogether, so it is
|
|
61
|
+
* invisible here: this check can under-report and can never over-report.
|
|
62
|
+
*
|
|
63
|
+
* THE CEILING, and it is the whole reason this is an advisory: see
|
|
64
|
+
* {@link PRIOR_TURN_EVIDENCE_CEILING}. Referring back is not a defect. NOTHING
|
|
65
|
+
* IN THIS FILE CAN TELL a legitimate reference from a stale one, and nothing
|
|
66
|
+
* in this file pretends to — the same finding is filed for both.
|
|
67
|
+
*
|
|
68
|
+
* WHAT KEEPS THE HONEST FOLLOW-UP QUIET. One grounded value from this turn's
|
|
69
|
+
* own results is enough to say nothing. That is not a heuristic threshold: the
|
|
70
|
+
* claim being made is "EVERY value came from before this turn", and one that
|
|
71
|
+
* did not falsifies it outright. In practice a follow-up that calls a tool
|
|
72
|
+
* gets this for free, because a lookup keyed on an earlier identifier echoes
|
|
73
|
+
* that identifier back in its own result — so the value is re-served this turn
|
|
74
|
+
* and re-stamped with this turn's number.
|
|
75
|
+
*
|
|
76
|
+
* Detection only. Nothing here blocks, revises, rewrites or delays anything;
|
|
77
|
+
* the answer the caller receives is the answer the model wrote, and the
|
|
78
|
+
* evidence gate's own posture keeps every decision it ever had.
|
|
79
|
+
*/
|
|
80
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
81
|
+
exports.priorTurnEvidenceOf = exports.PRIOR_TURN_EVIDENCE_CEILING = void 0;
|
|
82
|
+
/**
|
|
83
|
+
* THE CEILING, as one string with one owner.
|
|
84
|
+
*
|
|
85
|
+
* Quoted verbatim into every finding's message, into the check's README and
|
|
86
|
+
* into its docs page, so the bound cannot drift out of one of them and leave a
|
|
87
|
+
* reader thinking the library knows more than it does.
|
|
88
|
+
*/
|
|
89
|
+
exports.PRIOR_TURN_EVIDENCE_CEILING = 'An answer that legitimately refers back to an earlier result is indistinguishable, by evidence ' +
|
|
90
|
+
'alone, from one that has gone stale: this reports WHERE the values came from and never whether ' +
|
|
91
|
+
'they were still the ones the reader wanted. It counts only the turns still in the live window, ' +
|
|
92
|
+
'so the distance it names is a floor, and values the run supplied rather than fetched (the ' +
|
|
93
|
+
'prompt, a fact, a recalled passage) are exempt from grounding and invisible to it. A place to ' +
|
|
94
|
+
'look, never a verdict that anything is wrong.';
|
|
95
|
+
/** The one subject: the answer this turn is about to hand back. */
|
|
96
|
+
const ANSWER = { kind: 'answer', id: 'final' };
|
|
97
|
+
/**
|
|
98
|
+
* Judge one finished answer's grounding provenance.
|
|
99
|
+
*
|
|
100
|
+
* @param reading what the evidence gate could see of the answer's values.
|
|
101
|
+
* @param epoch the run iteration, stamped on every witness.
|
|
102
|
+
*/
|
|
103
|
+
function priorTurnEvidenceOf(reading, epoch) {
|
|
104
|
+
// A half-read corpus cannot be trusted about WHEN a value was served: the
|
|
105
|
+
// occurrence that would have stamped it with this turn may be one of the
|
|
106
|
+
// ones the ceiling cut off. The gate already downgrades itself to
|
|
107
|
+
// record-only here; this refuses to file at all. Out of scope BY RULE.
|
|
108
|
+
if (reading.indexTruncated)
|
|
109
|
+
return { findings: [], disposition: 'not-applicable' };
|
|
110
|
+
// No boundary in the conversation — nothing to be "before". Not a pass: the
|
|
111
|
+
// check could not run. `unreachable` is the family's word for exactly that,
|
|
112
|
+
// and it is the falsification instrument here: a `prior-turn-evidence` row
|
|
113
|
+
// dominated by `unreachable` means answers are being judged against
|
|
114
|
+
// histories that carry no user turn, and this check is watching a seam that
|
|
115
|
+
// does not exist in that app.
|
|
116
|
+
if (reading.currentTurn === 0)
|
|
117
|
+
return { findings: [], disposition: 'unreachable' };
|
|
118
|
+
// The answer named no value the index could ground — every token in it was
|
|
119
|
+
// prose, or the user's own, or already flagged as unsupported by the gate.
|
|
120
|
+
// There is no provenance to report, so there is nothing to compare.
|
|
121
|
+
if (reading.fromThisTurn === 0 && reading.fromPriorTurns === 0) {
|
|
122
|
+
return { findings: [], disposition: 'unreachable' };
|
|
123
|
+
}
|
|
124
|
+
// ONE value from this turn's own results is enough. The claim is "every
|
|
125
|
+
// value came from before this turn", and one that did not falsifies it.
|
|
126
|
+
if (reading.fromThisTurn > 0)
|
|
127
|
+
return { findings: [], disposition: 'checked-pass' };
|
|
128
|
+
const total = reading.fromPriorTurns;
|
|
129
|
+
const from = reading.latestPriorTurn;
|
|
130
|
+
const age = from === undefined ? undefined : reading.currentTurn - from;
|
|
131
|
+
// THE STRONG TELL, and it is deliberately the SAME finding rather than a
|
|
132
|
+
// second kind. A turn that served no tool results at all sourced every
|
|
133
|
+
// value from history by construction — no index required — so it is a
|
|
134
|
+
// cheaper PROOF of the identical fact, not a different defect. Splitting it
|
|
135
|
+
// out would fragment one class by how easily it was noticed, which is the
|
|
136
|
+
// opposite of what a finding corpus is for, and would make the disposition
|
|
137
|
+
// ledger report two rows for one seam. It rides as its own witness and as a
|
|
138
|
+
// clause in the message, so a reader can still see which case they are in.
|
|
139
|
+
const fetchedNothing = reading.toolResultsThisTurn === 0;
|
|
140
|
+
const witnesses = [
|
|
141
|
+
{
|
|
142
|
+
subject: ANSWER,
|
|
143
|
+
predicate: 'grounding',
|
|
144
|
+
value: `${total} grounded value(s), none of them served by this turn`,
|
|
145
|
+
epoch,
|
|
146
|
+
stratum: 'asserted',
|
|
147
|
+
provenance: "the evidence gate's index of `role: 'tool'` results, each form stamped with the " +
|
|
148
|
+
'latest turn that served it',
|
|
149
|
+
},
|
|
150
|
+
{
|
|
151
|
+
subject: { kind: 'turn', id: String(from) },
|
|
152
|
+
predicate: 'grounding',
|
|
153
|
+
value: 'served the newest result the answer drew on',
|
|
154
|
+
epoch,
|
|
155
|
+
stratum: 'asserted',
|
|
156
|
+
provenance: `turn ${String(from)} of the turns still in this run's window, at least ${String(age)} ` +
|
|
157
|
+
`turn(s) before the one being answered`,
|
|
158
|
+
},
|
|
159
|
+
{
|
|
160
|
+
subject: ANSWER,
|
|
161
|
+
predicate: 'tool-results-this-turn',
|
|
162
|
+
value: reading.toolResultsThisTurn,
|
|
163
|
+
epoch,
|
|
164
|
+
stratum: 'asserted',
|
|
165
|
+
provenance: fetchedNothing
|
|
166
|
+
? 'this turn served no tool results at all, so every value in the answer came from ' +
|
|
167
|
+
'history by construction'
|
|
168
|
+
: 'this turn served tool results, and none of them carried a value the answer states',
|
|
169
|
+
},
|
|
170
|
+
];
|
|
171
|
+
return {
|
|
172
|
+
disposition: 'checked-fail',
|
|
173
|
+
findings: [
|
|
174
|
+
{
|
|
175
|
+
kind: 'prior-turn-evidence',
|
|
176
|
+
seam: 'claim',
|
|
177
|
+
subjects: [ANSWER],
|
|
178
|
+
// ONE relation, so one run files at most one of these however many
|
|
179
|
+
// passes judge the answer — a revision that is still sourced from
|
|
180
|
+
// history is the same observation, not a second one.
|
|
181
|
+
predicate: 'grounding',
|
|
182
|
+
witnesses,
|
|
183
|
+
epoch,
|
|
184
|
+
// Doubt, not contradiction. Counted apart from real defects
|
|
185
|
+
// everywhere the family reports, because this check can never know it
|
|
186
|
+
// found one.
|
|
187
|
+
advisory: true,
|
|
188
|
+
message: `the final answer states ${total} value(s) the run can ground, and every one of them ` +
|
|
189
|
+
`was last served in turn ${String(from)} or earlier — at least ${String(age)} turn(s) ` +
|
|
190
|
+
`before the turn being answered — while turn ${String(reading.currentTurn)}, the one ` +
|
|
191
|
+
`being answered, contributed none of them. ` +
|
|
192
|
+
(fetchedNothing
|
|
193
|
+
? 'This turn called no tool and served no result, so the answer was assembled ' +
|
|
194
|
+
'entirely from the conversation. '
|
|
195
|
+
: `This turn served ${String(reading.toolResultsThisTurn)} tool result(s) and the ` +
|
|
196
|
+
'answer states no value from any of them. ') +
|
|
197
|
+
`${exports.PRIOR_TURN_EVIDENCE_CEILING} Nothing here blocked the answer, revised it or ` +
|
|
198
|
+
`changed a byte of it.`,
|
|
199
|
+
},
|
|
200
|
+
],
|
|
201
|
+
};
|
|
202
|
+
}
|
|
203
|
+
exports.priorTurnEvidenceOf = priorTurnEvidenceOf;
|
|
204
|
+
//# sourceMappingURL=check.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/integrity/prior-turn-evidence/check.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6EG;;;AAMH;;;;;;GAMG;AACU,QAAA,2BAA2B,GACtC,iGAAiG;IACjG,iGAAiG;IACjG,iGAAiG;IACjG,4FAA4F;IAC5F,gGAAgG;IAChG,+CAA+C,CAAC;AAsDlD,mEAAmE;AACnE,MAAM,MAAM,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;AAE3D;;;;;GAKG;AACH,SAAgB,mBAAmB,CACjC,OAA+B,EAC/B,KAAa;IAEb,0EAA0E;IAC1E,yEAAyE;IACzE,kEAAkE;IAClE,uEAAuE;IACvE,IAAI,OAAO,CAAC,cAAc;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC;IACnF,4EAA4E;IAC5E,4EAA4E;IAC5E,2EAA2E;IAC3E,oEAAoE;IACpE,4EAA4E;IAC5E,8BAA8B;IAC9B,IAAI,OAAO,CAAC,WAAW,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;IACnF,2EAA2E;IAC3E,2EAA2E;IAC3E,oEAAoE;IACpE,IAAI,OAAO,CAAC,YAAY,KAAK,CAAC,IAAI,OAAO,CAAC,cAAc,KAAK,CAAC,EAAE,CAAC;QAC/D,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;IACtD,CAAC;IACD,wEAAwE;IACxE,wEAAwE;IACxE,IAAI,OAAO,CAAC,YAAY,GAAG,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;IAEnF,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC;IACrC,MAAM,IAAI,GAAG,OAAO,CAAC,eAAe,CAAC;IACrC,MAAM,GAAG,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IACxE,yEAAyE;IACzE,uEAAuE;IACvE,sEAAsE;IACtE,4EAA4E;IAC5E,0EAA0E;IAC1E,2EAA2E;IAC3E,4EAA4E;IAC5E,2EAA2E;IAC3E,MAAM,cAAc,GAAG,OAAO,CAAC,mBAAmB,KAAK,CAAC,CAAC;IACzD,MAAM,SAAS,GAAgB;QAC7B;YACE,OAAO,EAAE,MAAM;YACf,SAAS,EAAE,WAAW;YACtB,KAAK,EAAE,GAAG,KAAK,sDAAsD;YACrE,KAAK;YACL,OAAO,EAAE,UAAU;YACnB,UAAU,EACR,kFAAkF;gBAClF,4BAA4B;SAC/B;QACD;YACE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE;YAC3C,SAAS,EAAE,WAAW;YACtB,KAAK,EAAE,6CAA6C;YACpD,KAAK;YACL,OAAO,EAAE,UAAU;YACnB,UAAU,EACR,QAAQ,MAAM,CAAC,IAAI,CAAC,sDAAsD,MAAM,CAAC,GAAG,CAAC,GAAG;gBACxF,uCAAuC;SAC1C;QACD;YACE,OAAO,EAAE,MAAM;YACf,SAAS,EAAE,wBAAwB;YACnC,KAAK,EAAE,OAAO,CAAC,mBAAmB;YAClC,KAAK;YACL,OAAO,EAAE,UAAU;YACnB,UAAU,EAAE,cAAc;gBACxB,CAAC,CAAC,kFAAkF;oBAClF,yBAAyB;gBAC3B,CAAC,CAAC,mFAAmF;SACxF;KACF,CAAC;IAEF,OAAO;QACL,WAAW,EAAE,cAAc;QAC3B,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,CAAC,MAAM,CAAC;gBAClB,mEAAmE;gBACnE,kEAAkE;gBAClE,qDAAqD;gBACrD,SAAS,EAAE,WAAW;gBACtB,SAAS;gBACT,KAAK;gBACL,4DAA4D;gBAC5D,sEAAsE;gBACtE,aAAa;gBACb,QAAQ,EAAE,IAAI;gBACd,OAAO,EACL,2BAA2B,KAAK,sDAAsD;oBACtF,2BAA2B,MAAM,CAAC,IAAI,CAAC,0BAA0B,MAAM,CAAC,GAAG,CAAC,WAAW;oBACvF,+CAA+C,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,YAAY;oBACtF,4CAA4C;oBAC5C,CAAC,cAAc;wBACb,CAAC,CAAC,6EAA6E;4BAC7E,kCAAkC;wBACpC,CAAC,CAAC,oBAAoB,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,0BAA0B;4BACjF,2CAA2C,CAAC;oBAChD,GAAG,mCAA2B,kDAAkD;oBAChF,uBAAuB;aAC1B;SACF;KACF,CAAC;AACJ,CAAC;AAxGD,kDAwGC"}
|
|
@@ -455,8 +455,8 @@ function buildRunOverview(artifacts, index) {
|
|
|
455
455
|
* a kind added to the finding type without joining this list fails to
|
|
456
456
|
* compile HERE, rather than becoming a value the tool's enum silently
|
|
457
457
|
* rejects at run time.
|
|
458
|
-
* - the honesty gate. `ContextErrorKind` names
|
|
459
|
-
* `src/integrity/` ships
|
|
458
|
+
* - the honesty gate. `ContextErrorKind` names nine defect classes;
|
|
459
|
+
* `src/integrity/` ships eight checks. Offering the sixth in the
|
|
460
460
|
* schema enum invites a query whose only possible answer is a negative
|
|
461
461
|
* verdict about a class nothing in the library could have filed — the
|
|
462
462
|
* tool telling a model "no duplicate-execution errors" when nothing on
|
|
@@ -473,6 +473,7 @@ const CONTEXT_ERROR_KIND_CHECKS = {
|
|
|
473
473
|
'empty-lookup': 'src/integrity/empty-lookup (write)',
|
|
474
474
|
'column-type-mismatch': 'src/integrity/column-types (write)',
|
|
475
475
|
'missing-column': 'src/integrity/column-types (write)',
|
|
476
|
+
'prior-turn-evidence': 'src/integrity/prior-turn-evidence (claim)',
|
|
476
477
|
};
|
|
477
478
|
const ALL_CONTEXT_ERROR_KINDS = Object.keys(CONTEXT_ERROR_KIND_CHECKS);
|
|
478
479
|
/** The kinds the tool OFFERS — the ones a shipped check can actually file. */
|