@flaks/onerecord 0.1.2 → 0.3.0

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,4DAA4D;AAE5D,uBAAuB;AACvB,OAAO,EACL,wBAAwB,EACxB,iBAAiB,EACjB,kBAAkB,EAClB,GAAG,EACH,EAAE,GACH,MAAM,aAAa,CAAA;AAGpB,yBAAyB;AACzB,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,sBAAsB,EACtB,WAAW,EACX,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,cAAc,CAAA;AAGrB,iBAAiB;AACjB,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAE9D,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAE/C,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAE/F,gBAAgB;AAChB,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAGvE,6EAA6E;AAC7E,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EACL,mBAAmB,EACnB,aAAa,EACb,qBAAqB,EACrB,cAAc,EACd,UAAU,EACV,aAAa,EACb,qBAAqB,EACrB,SAAS,GACV,MAAM,kBAAkB,CAAA;AAEzB,sCAAsC;AACtC,OAAO,EACL,eAAe,EACf,sBAAsB,GACvB,MAAM,4BAA4B,CAAA;AAKnC,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAA;AAI5E,mBAAmB;AACnB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,4BAA4B,CAAA;AAGnC,oBAAoB;AACpB,OAAO,EACL,aAAa,EACb,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,6BAA6B,CAAA;AAGpC,iBAAiB;AACjB,OAAO,EACL,UAAU,EACV,WAAW,EACX,gBAAgB,EAChB,cAAc,EACd,oBAAoB,GACrB,MAAM,0BAA0B,CAAA;AAGjC,mBAAmB;AACnB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,4BAA4B,CAAA;AAGnC,kBAAkB;AAClB,OAAO,EACL,WAAW,EACX,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,qBAAqB,GACtB,MAAM,2BAA2B,CAAA;AAGlC,wBAAwB;AACxB,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,iCAAiC,CAAA;AAGxC,iBAAiB;AACjB,OAAO,EACL,UAAU,EACV,WAAW,EACX,gBAAgB,EAChB,cAAc,EACd,oBAAoB,GACrB,MAAM,0BAA0B,CAAA;AAGjC,sFAAsF;AACtF,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,wBAAwB,EACxB,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,mCAAmC,CAAA;AAM1C,wBAAwB;AACxB,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,iCAAiC,CAAA;AAGxC,+BAA+B;AAC/B,OAAO,EACL,wBAAwB,EACxB,yBAAyB,EACzB,8BAA8B,EAC9B,4BAA4B,EAC5B,kCAAkC,GACnC,MAAM,yCAAyC,CAAA;AAMhD,wBAAwB;AACxB,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,iCAAiC,CAAA;AAGxC,yBAAyB;AACzB,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,wBAAwB,EACxB,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,mCAAmC,CAAA;AAG1C,kBAAkB;AAClB,OAAO,EACL,WAAW,EACX,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,qBAAqB,GACtB,MAAM,2BAA2B,CAAA;AAGlC,qBAAqB;AACrB,OAAO,EACL,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,8BAA8B,CAAA;AAGrC,4BAA4B;AAC5B,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,2BAA2B,EAC3B,yBAAyB,EACzB,+BAA+B,GAChC,MAAM,sCAAsC,CAAA;AAM7C,mCAAmC;AACnC,OAAO,EACL,4BAA4B,EAC5B,6BAA6B,EAC7B,kCAAkC,EAClC,gCAAgC,EAChC,sCAAsC,GACvC,MAAM,8CAA8C,CAAA;AAMrD,yDAAyD;AACzD,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,iCAAiC,CAAA;AAOxC,+BAA+B;AAC/B,OAAO,EACL,wBAAwB,EACxB,yBAAyB,EACzB,8BAA8B,EAC9B,4BAA4B,EAC5B,kCAAkC,GACnC,MAAM,yCAAyC,CAAA;AAMhD,6BAA6B;AAC7B,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,4BAA4B,EAC5B,0BAA0B,EAC1B,gCAAgC,GACjC,MAAM,uCAAuC,CAAA;AAM9C,wEAAwE;AACxE,OAAO,EACL,WAAW,EACX,aAAa,EACb,YAAY,EACZ,iBAAiB,GAClB,MAAM,uBAAuB,CAAA;AAQ9B,6DAA6D;AAC7D,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,oBAAoB,EACpB,aAAa,EACb,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,yBAAyB,CAAA;AAQhC,qBAAqB;AACrB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,4BAA4B,CAAA;AAGnC,2BAA2B;AAC3B,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,wBAAwB,EACxB,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,mCAAmC,CAAA;AAM1C,kCAAkC;AAClC,OAAO,EACL,yBAAyB,EACzB,0BAA0B,EAC1B,+BAA+B,EAC/B,6BAA6B,EAC7B,mCAAmC,GACpC,MAAM,2CAA2C,CAAA;AAMlD,4BAA4B;AAC5B,OAAO,EACL,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EACzB,uBAAuB,EACvB,6BAA6B,GAC9B,MAAM,oCAAoC,CAAA;AAM3C,gCAAgC;AAChC,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,6BAA6B,EAC7B,2BAA2B,EAC3B,iCAAiC,GAClC,MAAM,wCAAwC,CAAA;AAM/C,6BAA6B;AAC7B,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,0BAA0B,EAC1B,wBAAwB,EACxB,8BAA8B,GAC/B,MAAM,qCAAqC,CAAA;AAM5C,0BAA0B;AAC1B,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,kCAAkC,CAAA;AAMzC,4BAA4B;AAC5B,OAAO,EACL,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EACzB,uBAAuB,EACvB,6BAA6B,GAC9B,MAAM,oCAAoC,CAAA;AAM3C,6BAA6B;AAC7B,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,0BAA0B,EAC1B,wBAAwB,EACxB,8BAA8B,GAC/B,MAAM,qCAAqC,CAAA;AAM5C,iCAAiC;AACjC,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE3D,0BAA0B;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAEvC,gCAAgC;AAChC,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,4DAA4D;AAE5D,uBAAuB;AACvB,OAAO,EACL,wBAAwB,EACxB,iBAAiB,EACjB,kBAAkB,EAClB,GAAG,EACH,EAAE,GACH,MAAM,aAAa,CAAA;AAGpB,yBAAyB;AACzB,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,sBAAsB,EACtB,WAAW,EACX,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,cAAc,CAAA;AAGrB,iBAAiB;AACjB,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAE9D,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAE/C,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAE/F,gBAAgB;AAChB,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAGvE,6EAA6E;AAC7E,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EACL,mBAAmB,EACnB,aAAa,EACb,qBAAqB,EACrB,cAAc,EACd,UAAU,EACV,aAAa,EACb,qBAAqB,EACrB,SAAS,GACV,MAAM,kBAAkB,CAAA;AAEzB,sCAAsC;AACtC,OAAO,EACL,eAAe,EACf,sBAAsB,GACvB,MAAM,4BAA4B,CAAA;AAKnC,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAA;AAI5E,mBAAmB;AACnB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,4BAA4B,CAAA;AAGnC,oBAAoB;AACpB,OAAO,EACL,aAAa,EACb,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,6BAA6B,CAAA;AAGpC,iBAAiB;AACjB,OAAO,EACL,UAAU,EACV,WAAW,EACX,gBAAgB,EAChB,cAAc,EACd,oBAAoB,GACrB,MAAM,0BAA0B,CAAA;AAGjC,mBAAmB;AACnB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,4BAA4B,CAAA;AAGnC,kBAAkB;AAClB,OAAO,EACL,WAAW,EACX,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,qBAAqB,GACtB,MAAM,2BAA2B,CAAA;AAGlC,mBAAmB;AACnB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,4BAA4B,CAAA;AAGnC,8BAA8B;AAC9B,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,6BAA6B,EAC7B,2BAA2B,EAC3B,iCAAiC,GAClC,MAAM,wCAAwC,CAAA;AAM/C,qBAAqB;AACrB,OAAO,EACL,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,8BAA8B,CAAA;AAGrC,2BAA2B;AAC3B,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,0BAA0B,EAC1B,wBAAwB,EACxB,8BAA8B,GAC/B,MAAM,sCAAsC,CAAA;AAG7C,uBAAuB;AACvB,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,sBAAsB,EACtB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAA;AAGxC,2BAA2B;AAC3B,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,0BAA0B,EAC1B,wBAAwB,EACxB,8BAA8B,GAC/B,MAAM,sCAAsC,CAAA;AAG7C,iBAAiB;AACjB,OAAO,EACL,UAAU,EACV,WAAW,EACX,gBAAgB,EAChB,cAAc,EACd,oBAAoB,GACrB,MAAM,0BAA0B,CAAA;AAGjC,sFAAsF;AACtF,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,wBAAwB,EACxB,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,mCAAmC,CAAA;AAM1C,wBAAwB;AACxB,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,iCAAiC,CAAA;AAGxC,+BAA+B;AAC/B,OAAO,EACL,wBAAwB,EACxB,yBAAyB,EACzB,8BAA8B,EAC9B,4BAA4B,EAC5B,kCAAkC,GACnC,MAAM,yCAAyC,CAAA;AAMhD,wBAAwB;AACxB,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,iCAAiC,CAAA;AAGxC,yBAAyB;AACzB,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,wBAAwB,EACxB,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,mCAAmC,CAAA;AAG1C,kBAAkB;AAClB,OAAO,EACL,WAAW,EACX,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,qBAAqB,GACtB,MAAM,2BAA2B,CAAA;AAGlC,qBAAqB;AACrB,OAAO,EACL,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,8BAA8B,CAAA;AAGrC,4BAA4B;AAC5B,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,2BAA2B,EAC3B,yBAAyB,EACzB,+BAA+B,GAChC,MAAM,sCAAsC,CAAA;AAM7C,mCAAmC;AACnC,OAAO,EACL,4BAA4B,EAC5B,6BAA6B,EAC7B,kCAAkC,EAClC,gCAAgC,EAChC,sCAAsC,GACvC,MAAM,8CAA8C,CAAA;AAMrD,yDAAyD;AACzD,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,iCAAiC,CAAA;AAOxC,+BAA+B;AAC/B,OAAO,EACL,wBAAwB,EACxB,yBAAyB,EACzB,8BAA8B,EAC9B,4BAA4B,EAC5B,kCAAkC,GACnC,MAAM,yCAAyC,CAAA;AAMhD,6BAA6B;AAC7B,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,4BAA4B,EAC5B,0BAA0B,EAC1B,gCAAgC,GACjC,MAAM,uCAAuC,CAAA;AAM9C,wEAAwE;AACxE,OAAO,EACL,WAAW,EACX,aAAa,EACb,YAAY,EACZ,iBAAiB,GAClB,MAAM,uBAAuB,CAAA;AAQ9B,6DAA6D;AAC7D,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,6BAA6B,EAC7B,oBAAoB,EACpB,aAAa,EACb,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,yBAAyB,CAAA;AAQhC,qBAAqB;AACrB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,4BAA4B,CAAA;AAGnC,2BAA2B;AAC3B,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,wBAAwB,EACxB,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,mCAAmC,CAAA;AAM1C,kCAAkC;AAClC,OAAO,EACL,yBAAyB,EACzB,0BAA0B,EAC1B,+BAA+B,EAC/B,6BAA6B,EAC7B,mCAAmC,GACpC,MAAM,2CAA2C,CAAA;AAMlD,4BAA4B;AAC5B,OAAO,EACL,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EACzB,uBAAuB,EACvB,6BAA6B,GAC9B,MAAM,oCAAoC,CAAA;AAM3C,gCAAgC;AAChC,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,6BAA6B,EAC7B,2BAA2B,EAC3B,iCAAiC,GAClC,MAAM,wCAAwC,CAAA;AAM/C,6BAA6B;AAC7B,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,0BAA0B,EAC1B,wBAAwB,EACxB,8BAA8B,GAC/B,MAAM,qCAAqC,CAAA;AAM5C,0BAA0B;AAC1B,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,kCAAkC,CAAA;AAMzC,4BAA4B;AAC5B,OAAO,EACL,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EACzB,uBAAuB,EACvB,6BAA6B,GAC9B,MAAM,oCAAoC,CAAA;AAM3C,6BAA6B;AAC7B,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,0BAA0B,EAC1B,wBAAwB,EACxB,8BAA8B,GAC/B,MAAM,qCAAqC,CAAA;AAM5C,eAAe;AACf,OAAO,EACL,QAAQ,EACR,SAAS,EACT,cAAc,EACd,YAAY,EACZ,kBAAkB,GACnB,MAAM,wBAAwB,CAAA;AAG/B,wBAAwB;AACxB,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,kCAAkC,CAAA;AAGzC,2BAA2B;AAC3B,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,0BAA0B,EAC1B,wBAAwB,EACxB,8BAA8B,GAC/B,MAAM,qCAAqC,CAAA;AAG5C,+BAA+B;AAC/B,OAAO,EACL,wBAAwB,EACxB,yBAAyB,EACzB,8BAA8B,EAC9B,4BAA4B,EAC5B,kCAAkC,GACnC,MAAM,yCAAyC,CAAA;AAMhD,iCAAiC;AACjC,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE3D,0BAA0B;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAEvC,gCAAgC;AAChC,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAG3C,uEAAuE;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAA;AACxE,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAA;AAE7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAA;AAE/D,OAAO,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAA;AAE7F,iFAAiF;AACjF,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA"}

package/dist/iri/dereference.d.ts

@@ -0,0 +1,42 @@
+/**
+ * Per spec §3.2, IRIs in OneRecord SHOULD be dereferenceable. v0.1.x
+ * and v0.2.0 default deserializers validate IRI scheme/host/syntax via
+ * `safeIri` but do not check actual reachability — that would force
+ * every deserialize call to do network I/O.
+ *
+ * Closes deviation #7 (v0.2.0 — deferral I) as an opt-in helper
+ * consumers can call from their application layer when they need
+ * dereferenceability assurance. The library itself stays sync + offline
+ * by default.
+ *
+ * Usage:
+ *
+ *   import { dereferenceIri } from '@flaks/onerecord'
+ *   const r = await dereferenceIri('https://example.com/wb/123')
+ *   if (!r.reachable) { ... handle ... }
+ *
+ * The helper does an `HEAD` request first (cheap), falling back to
+ * `GET` if the server doesn't support HEAD. Honors `AbortSignal` for
+ * cancellation/timeout. Returns a structured result rather than
+ * throwing — error paths (DNS fail, TLS fail, 404, timeout) all
+ * surface via `reachable: false`.
+ */
+export interface DereferenceIriOpts {
+    /** AbortSignal for cancellation. Defaults to a 5 s timeout. */
+    signal?: AbortSignal;
+    /** Optional auth header (e.g. `Bearer <jwt>`) for protected resources. */
+    authHeader?: string;
+    /** Custom fetch implementation (defaults to global fetch). */
+    fetcher?: typeof fetch;
+}
+export interface DereferenceIriResult {
+    reachable: boolean;
+    /** HTTP status code if a response was received. */
+    status?: number;
+    /** Reason for non-reachability when `reachable` is false. */
+    reason?: 'invalid_url' | 'disallowed_scheme' | 'network_error' | 'timeout' | 'http_error';
+    /** Error message captured from the underlying fetch. */
+    message?: string;
+}
+export declare function dereferenceIri(iri: string, opts?: DereferenceIriOpts): Promise<DereferenceIriResult>;
+//# sourceMappingURL=dereference.d.ts.map

package/dist/iri/dereference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dereference.d.ts","sourceRoot":"","sources":["../../src/iri/dereference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,MAAM,WAAW,kBAAkB;IACjC,+DAA+D;IAC/D,MAAM,CAAC,EAAE,WAAW,CAAA;IACpB,0EAA0E;IAC1E,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,8DAA8D;IAC9D,OAAO,CAAC,EAAE,OAAO,KAAK,CAAA;CACvB;AAED,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,OAAO,CAAA;IAClB,mDAAmD;IACnD,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,6DAA6D;IAC7D,MAAM,CAAC,EAAE,aAAa,GAAG,mBAAmB,GAAG,eAAe,GAAG,SAAS,GAAG,YAAY,CAAA;IACzF,wDAAwD;IACxD,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAID,wBAAsB,cAAc,CAClC,GAAG,EAAE,MAAM,EACX,IAAI,GAAE,kBAAuB,GAC5B,OAAO,CAAC,oBAAoB,CAAC,CA8C/B"}

package/dist/iri/dereference.js

@@ -0,0 +1,75 @@
+/**
+ * Per spec §3.2, IRIs in OneRecord SHOULD be dereferenceable. v0.1.x
+ * and v0.2.0 default deserializers validate IRI scheme/host/syntax via
+ * `safeIri` but do not check actual reachability — that would force
+ * every deserialize call to do network I/O.
+ *
+ * Closes deviation #7 (v0.2.0 — deferral I) as an opt-in helper
+ * consumers can call from their application layer when they need
+ * dereferenceability assurance. The library itself stays sync + offline
+ * by default.
+ *
+ * Usage:
+ *
+ *   import { dereferenceIri } from '@flaks/onerecord'
+ *   const r = await dereferenceIri('https://example.com/wb/123')
+ *   if (!r.reachable) { ... handle ... }
+ *
+ * The helper does an `HEAD` request first (cheap), falling back to
+ * `GET` if the server doesn't support HEAD. Honors `AbortSignal` for
+ * cancellation/timeout. Returns a structured result rather than
+ * throwing — error paths (DNS fail, TLS fail, 404, timeout) all
+ * surface via `reachable: false`.
+ */
+const DEFAULT_TIMEOUT_MS = 5_000;
+export async function dereferenceIri(iri, opts = {}) {
+    // Pre-flight: only http(s) is dereferenceable.
+    let url;
+    try {
+        url = new URL(iri);
+    }
+    catch (_e) {
+        return { reachable: false, reason: 'invalid_url' };
+    }
+    if (url.protocol !== 'http:' && url.protocol !== 'https:') {
+        return { reachable: false, reason: 'disallowed_scheme' };
+    }
+    const fetcher = opts.fetcher ?? fetch;
+    const signal = opts.signal ?? AbortSignal.timeout(DEFAULT_TIMEOUT_MS);
+    const headers = { Accept: 'application/ld+json' };
+    if (opts.authHeader)
+        headers.Authorization = opts.authHeader;
+    // Try HEAD first — cheaper for the server.
+    try {
+        const headRes = await fetcher(iri, { method: 'HEAD', headers, signal });
+        if (headRes.ok)
+            return { reachable: true, status: headRes.status };
+        // 405 Method Not Allowed → fall back to GET below.
+        if (headRes.status !== 405) {
+            return { reachable: false, status: headRes.status, reason: 'http_error' };
+        }
+    }
+    catch (e) {
+        if (e instanceof Error && (e.name === 'TimeoutError' || e.name === 'AbortError')) {
+            return { reachable: false, reason: 'timeout', message: e.message };
+        }
+        // Don't fail yet on a HEAD network error — fall through to GET.
+    }
+    try {
+        const getRes = await fetcher(iri, { method: 'GET', headers, signal });
+        if (getRes.ok)
+            return { reachable: true, status: getRes.status };
+        return { reachable: false, status: getRes.status, reason: 'http_error' };
+    }
+    catch (e) {
+        if (e instanceof Error && (e.name === 'TimeoutError' || e.name === 'AbortError')) {
+            return { reachable: false, reason: 'timeout', message: e.message };
+        }
+        return {
+            reachable: false,
+            reason: 'network_error',
+            message: e instanceof Error ? e.message : String(e),
+        };
+    }
+}
+//# sourceMappingURL=dereference.js.map

package/dist/iri/dereference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dereference.js","sourceRoot":"","sources":["../../src/iri/dereference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAqBH,MAAM,kBAAkB,GAAG,KAAK,CAAA;AAEhC,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,GAAW,EACX,OAA2B,EAAE;IAE7B,+CAA+C;IAC/C,IAAI,GAAQ,CAAA;IACZ,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAA;IACpB,CAAC;IAAC,OAAO,EAAE,EAAE,CAAC;QACZ,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAA;IACpD,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1D,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAA;IAC1D,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,KAAK,CAAA;IACrC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAA;IACrE,MAAM,OAAO,GAA2B,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAA;IACzE,IAAI,IAAI,CAAC,UAAU;QAAE,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC,UAAU,CAAA;IAE5D,2CAA2C;IAC3C,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAA;QACvE,IAAI,OAAO,CAAC,EAAE;YAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAA;QAClE,mDAAmD;QACnD,IAAI,OAAO,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;YAC3B,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,CAAA;QAC3E,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,EAAE,CAAC;YACjF,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAA;QACpE,CAAC;QACD,gEAAgE;IAClE,CAAC;IAED,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAA;QACrE,IAAI,MAAM,CAAC,EAAE;YAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAA;QAChE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,CAAA;IAC1E,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,EAAE,CAAC;YACjF,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAA;QACpE,CAAC;QACD,OAAO;YACL,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;SACpD,CAAA;IACH,CAAC;AACH,CAAC"}

package/dist/iri/zod-safe-iri.d.ts

@@ -4,8 +4,8 @@ import type { SafeIri } from './strategy.js';
 import { type ValidateIriOpts } from './validate.js';
 /**
  * Zod helper for IRI-shaped fields. Use in every per-class schema for IRI fields:
- *   shipmentInformation: safeIri().optional()
- *   containedPieces: z.array(safeIri()).min(1).optional()
+ *   shipment: safeIri().optional()
+ *   pieces: z.array(safeIri()).min(1).optional()
  *
  * On failure, emits a `custom` Zod issue with a structured `params` payload
  * tagged with `__safe_iri__: true`. Per-class deserializers walk the Zod
@@ -36,12 +36,28 @@ export declare function extractInvalidIriIssue(issue: {
  * lifted to ParseError (or null if none). Per-class deserializers prefer this
  * to the per-issue helper because the negative-test catalogue asserts
  * `r.error.kind === 'invalid_iri'` on the FIRST IRI failure.
+ *
+ * Recurses into `invalid_union` nested error sets so that safeIri failures
+ * inside a z.union() arm are still surfaced correctly (e.g. partyDetails IdRef
+ * union — see 3.2-rc2 :partyDetails TTL:1881, :Party restriction TTL:8080).
  */
 export declare function findInvalidIriInIssues(issues: ReadonlyArray<{
     code?: string;
     message?: string;
     path: ReadonlyArray<PropertyKey>;
     params?: unknown;
+    errors?: ReadonlyArray<ReadonlyArray<{
+        code?: string;
+        message?: string;
+        path: ReadonlyArray<PropertyKey>;
+        params?: unknown;
+        errors?: ReadonlyArray<ReadonlyArray<{
+            code?: string;
+            message?: string;
+            path: ReadonlyArray<PropertyKey>;
+            params?: unknown;
+        }>>;
+    }>>;
 }>, envelopePathPrefix?: string): Extract<ParseError, {
     kind: 'invalid_iri';
 }> | null;

package/dist/iri/zod-safe-iri.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"zod-safe-iri.d.ts","sourceRoot":"","sources":["../../src/iri/zod-safe-iri.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,EAAE,KAAK,eAAe,EAAe,MAAM,eAAe,CAAA;AAejE;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,OAAO,CAAC,IAAI,GAAE,eAAoB,2DAiBjD;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;IAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,EAC9F,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,GAAG,IAAI,CAWrD;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IAChC,MAAM,CAAC,EAAE,OAAO,CAAA;CACjB,CAAC,EACF,kBAAkB,SAAM,GACvB,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,GAAG,IAAI,CAUrD"}
+{"version":3,"file":"zod-safe-iri.d.ts","sourceRoot":"","sources":["../../src/iri/zod-safe-iri.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,EAAE,KAAK,eAAe,EAAe,MAAM,eAAe,CAAA;AAejE;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,OAAO,CAAC,IAAI,GAAE,eAAoB,2DAiBjD;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;IAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,EAC9F,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,GAAG,IAAI,CAWrD;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IAChC,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,MAAM,CAAC,EAAE,aAAa,CACpB,aAAa,CAAC;QACZ,IAAI,CAAC,EAAE,MAAM,CAAA;QACb,OAAO,CAAC,EAAE,MAAM,CAAA;QAChB,IAAI,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;QAChC,MAAM,CAAC,EAAE,OAAO,CAAA;QAChB,MAAM,CAAC,EAAE,aAAa,CACpB,aAAa,CAAC;YACZ,IAAI,CAAC,EAAE,MAAM,CAAA;YACb,OAAO,CAAC,EAAE,MAAM,CAAA;YAChB,IAAI,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;YAChC,MAAM,CAAC,EAAE,OAAO,CAAA;SACjB,CAAC,CACH,CAAA;KACF,CAAC,CACH,CAAA;CACF,CAAC,EACF,kBAAkB,SAAM,GACvB,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,GAAG,IAAI,CAiBrD"}

package/dist/iri/zod-safe-iri.js

@@ -8,8 +8,8 @@ import { validateIri } from './validate.js';
 const SAFE_IRI_PARAMS_MARKER = '__safe_iri__';
 /**
  * Zod helper for IRI-shaped fields. Use in every per-class schema for IRI fields:
- *   shipmentInformation: safeIri().optional()
- *   containedPieces: z.array(safeIri()).min(1).optional()
+ *   shipment: safeIri().optional()
+ *   pieces: z.array(safeIri()).min(1).optional()
  *
  * On failure, emits a `custom` Zod issue with a structured `params` payload
  * tagged with `__safe_iri__: true`. Per-class deserializers walk the Zod
@@ -64,6 +64,10 @@ export function extractInvalidIriIssue(issue, path) {
  * lifted to ParseError (or null if none). Per-class deserializers prefer this
  * to the per-issue helper because the negative-test catalogue asserts
  * `r.error.kind === 'invalid_iri'` on the FIRST IRI failure.
+ *
+ * Recurses into `invalid_union` nested error sets so that safeIri failures
+ * inside a z.union() arm are still surfaced correctly (e.g. partyDetails IdRef
+ * union — see 3.2-rc2 :partyDetails TTL:1881, :Party restriction TTL:8080).
  */
 export function findInvalidIriInIssues(issues, envelopePathPrefix = '$') {
     for (const issue of issues) {
@@ -73,6 +77,14 @@ export function findInvalidIriInIssues(issues, envelopePathPrefix = '$') {
         const extracted = extractInvalidIriIssue(issue, dotted);
         if (extracted)
             return extracted;
+        // Recurse into invalid_union nested error sets
+        if (issue.code === 'invalid_union' && Array.isArray(issue.errors)) {
+            for (const nestedIssues of issue.errors) {
+                const nested = findInvalidIriInIssues(nestedIssues, dotted);
+                if (nested)
+                    return nested;
+            }
+        }
     }
     return null;
 }

package/dist/iri/zod-safe-iri.js.map

@@ -1 +1 @@
-{"version":3,"file":"zod-safe-iri.js","sourceRoot":"","sources":["../../src/iri/zod-safe-iri.ts"],"names":[],"mappings":"AAAA,0BAA0B;AAC1B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB,OAAO,EAAwB,WAAW,EAAE,MAAM,eAAe,CAAA;AAEjE;;;GAGG;AACH,MAAM,sBAAsB,GAAG,cAAuB,CAAA;AAStD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,OAAO,CAAC,OAAwB,EAAE;IAChD,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAW,EAAE;QAC9C,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;QAC9B,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACV,4EAA4E;YAC5E,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAA;YAC5E,MAAM,MAAM,GAAuB;gBACjC,CAAC,sBAAsB,CAAC,EAAE,IAAI;gBAC9B,IAAI,EAAE,aAAa;gBACnB,GAAG,EAAE,CAAC;gBACN,MAAM;aACP,CAAA;YACD,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAA;YAChE,OAAO,CAAC,CAAC,KAAc,CAAA;QACzB,CAAC;QACD,OAAO,CAAC,CAAC,KAAK,CAAA;IAChB,CAAC,CAAC,CAAA;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAA8F,EAC9F,IAAY;IAEZ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,aAAa;QAAE,OAAO,IAAI,CAAA;IAC3E,MAAM,CAAC,GAAG,KAAK,CAAC,MAAiD,CAAA;IACjE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACzD,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,IAAI,CAAA;IACzC,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,GAAG,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,WAAW;QAC/B,IAAI;KACL,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAKE,EACF,kBAAkB,GAAG,GAAG;IAExB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,MAAM,GACV,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YACrB,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,GAAG,kBAAkB,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAA;QACjE,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QACvD,IAAI,SAAS;YAAE,OAAO,SAAS,CAAA;IACjC,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC"}
+{"version":3,"file":"zod-safe-iri.js","sourceRoot":"","sources":["../../src/iri/zod-safe-iri.ts"],"names":[],"mappings":"AAAA,0BAA0B;AAC1B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB,OAAO,EAAwB,WAAW,EAAE,MAAM,eAAe,CAAA;AAEjE;;;GAGG;AACH,MAAM,sBAAsB,GAAG,cAAuB,CAAA;AAStD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,OAAO,CAAC,OAAwB,EAAE;IAChD,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAW,EAAE;QAC9C,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;QAC9B,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACV,4EAA4E;YAC5E,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAA;YAC5E,MAAM,MAAM,GAAuB;gBACjC,CAAC,sBAAsB,CAAC,EAAE,IAAI;gBAC9B,IAAI,EAAE,aAAa;gBACnB,GAAG,EAAE,CAAC;gBACN,MAAM;aACP,CAAA;YACD,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAA;YAChE,OAAO,CAAC,CAAC,KAAc,CAAA;QACzB,CAAC;QACD,OAAO,CAAC,CAAC,KAAK,CAAA;IAChB,CAAC,CAAC,CAAA;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAA8F,EAC9F,IAAY;IAEZ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,aAAa;QAAE,OAAO,IAAI,CAAA;IAC3E,MAAM,CAAC,GAAG,KAAK,CAAC,MAAiD,CAAA;IACjE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACzD,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,IAAI,CAAA;IACzC,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,GAAG,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,WAAW;QAC/B,IAAI;KACL,CAAA;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAqBE,EACF,kBAAkB,GAAG,GAAG;IAExB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,MAAM,GACV,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YACrB,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,GAAG,kBAAkB,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAA;QACjE,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QACvD,IAAI,SAAS;YAAE,OAAO,SAAS,CAAA;QAC/B,+CAA+C;QAC/C,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAClE,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBACxC,MAAM,MAAM,GAAG,sBAAsB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAA;gBAC3D,IAAI,MAAM;oBAAE,OAAO,MAAM,CAAA;YAC3B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC"}

package/dist/result.d.ts

@@ -131,12 +131,38 @@ export type ParseError = {
     reason: 'empty' | 'segment_not_object' | 'segment_missing';
     path: string;
     meta?: Record<string, unknown>;
+} | {
+    kind: 'blank_node_forbidden';
+    blankId: string;
+    path: string;
+    meta?: Record<string, unknown>;
+} | {
+    kind: 'iri_not_canonical';
+    iri: string;
+    reason: 'scheme_not_lowercase' | 'host_not_lowercase' | 'default_port';
+    path: string;
+    meta?: Record<string, unknown>;
+} | {
+    kind: 'context_order_violation';
+    got: string[];
+    lastUnallowed: string;
+    path: string;
+    meta?: Record<string, unknown>;
+} | {
+    kind: 'domain_constraint_violation';
+    className: string;
+    field: string;
+    expected: 'required';
+    specRef: string;
+    path: string;
+    meta?: Record<string, unknown>;
 };
 /**
  * Manifest of every ParseError kind — single source of truth.
  * v3 (A1-R2-B2): bumped 21 -> 22 with the addition of `invalid_pointer`.
+ * v0.2 (deferral C): bumped 22 -> 23 with the addition of `blank_node_forbidden`.
  */
-export declare const PARSE_ERROR_KINDS: readonly ["unknown_context", "mixed_context", "missing_type", "unknown_type", "wrong_type_for_endpoint", "missing_id", "invalid_iri", "duplicate_id_in_graph", "cardinality_violation", "circular_reference", "zod_validation", "forbidden_state_transition", "operation_field_not_allowed", "change_partial_failure", "payload_too_large", "depth_limit_exceeded", "node_count_limit_exceeded", "string_too_long", "array_too_long", "prototype_pollution_attempt", "incompatible_ontology_version", "invalid_pointer"];
+export declare const PARSE_ERROR_KINDS: readonly ["unknown_context", "mixed_context", "missing_type", "unknown_type", "wrong_type_for_endpoint", "missing_id", "invalid_iri", "duplicate_id_in_graph", "cardinality_violation", "circular_reference", "zod_validation", "forbidden_state_transition", "operation_field_not_allowed", "change_partial_failure", "payload_too_large", "depth_limit_exceeded", "node_count_limit_exceeded", "string_too_long", "array_too_long", "prototype_pollution_attempt", "incompatible_ontology_version", "invalid_pointer", "blank_node_forbidden", "iri_not_canonical", "context_order_violation", "domain_constraint_violation"];
 /**
  * v3 (A2-R2-B5, A3-R2-m1): explicit map from `ParseError.kind` to the test file
  * that exercises it under `test/deserialize-errors/`. Several kinds collapse into

package/dist/result.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAA;AAEtF,MAAM,MAAM,UAAU,GAClB;IACE,IAAI,EAAE,iBAAiB,CAAA;IACvB,GAAG,EAAE,MAAM,CAAA;IACX,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,eAAe,CAAA;IACrB,GAAG,EAAE,MAAM,EAAE,CAAA;IACb,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACzF;IACE,IAAI,EAAE,cAAc,CAAA;IACpB,GAAG,EAAE,MAAM,CAAA;IACX,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,yBAAyB,CAAA;IAC/B,QAAQ,EAAE,MAAM,CAAA;IAChB,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACxF;IACE,IAAI,EAAE,aAAa,CAAA;IACnB,GAAG,EAAE,MAAM,CAAA;IACX,MAAM,EAAE,WAAW,GAAG,mBAAmB,GAAG,iBAAiB,GAAG,cAAc,CAAA;IAC9E,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IAAE,IAAI,EAAE,uBAAuB,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GAC5F;IACE,IAAI,EAAE,uBAAuB,CAAA;IAC7B,KAAK,EAAE,MAAM,CAAA;IACb,QAAQ,EAAE,MAAM,CAAA;IAChB,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IAAE,IAAI,EAAE,oBAAoB,CAAC;IAAC,SAAS,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACnF;IACE,IAAI,EAAE,gBAAgB,CAAA;IACtB,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;IACzD,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,4BAA4B,CAAA;IAClC,IAAI,EAAE,MAAM,CAAA;IACZ,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,6BAA6B,CAAA;IACnC,KAAK,EAAE,MAAM,CAAA;IACb,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACpC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,wBAAwB,CAAA;IAC9B,QAAQ,EAAE,MAAM,CAAA;IAChB,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,UAAU,CAAA;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,mBAAmB,CAAA;IACzB,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,sBAAsB,CAAA;IAC5B,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,2BAA2B,CAAA;IACjC,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,gBAAgB,CAAA;IACtB,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,6BAA6B,CAAA;IACnC,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,+BAA+B,CAAA;IACrC,aAAa,EAAE,MAAM,CAAA;IACrB,aAAa,EAAE,MAAM,CAAA;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GAID;IACE,IAAI,EAAE,iBAAiB,CAAA;IACvB,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,OAAO,GAAG,oBAAoB,GAAG,iBAAiB,CAAA;IAC1D,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,CAAA;AAEL;;;GAGG;AACH,eAAO,MAAM,iBAAiB,0fAuBwB,CAAA;AAEtD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,MAAM,CAuBvE,CAAA;AAED,6EAA6E;AAC7E,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAA;IACxB,IAAI,CAAC,EAAE,MAAM,CAAA;CACd,CAAA;AAED,+DAA+D;AAC/D,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,QAAQ,CAAC,IAAI,EAAE,4BAA4B,GAAG,yBAAyB,CAAA;IACvE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;gBAEvB,IAAI,EAAE,4BAA4B,GAAG,yBAAyB,EAC9D,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,OAAO;CAOnB;AAED,eAAO,MAAM,EAAE,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,WAAW,CAAC,CAAC,CAA0B,CAAA;AACxE,eAAO,MAAM,GAAG,GAAI,CAAC,GAAG,KAAK,EAAE,OAAO,UAAU,KAAG,WAAW,CAAC,CAAC,CAA2B,CAAA"}
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAA;AAEtF,MAAM,MAAM,UAAU,GAClB;IACE,IAAI,EAAE,iBAAiB,CAAA;IACvB,GAAG,EAAE,MAAM,CAAA;IACX,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,eAAe,CAAA;IACrB,GAAG,EAAE,MAAM,EAAE,CAAA;IACb,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACzF;IACE,IAAI,EAAE,cAAc,CAAA;IACpB,GAAG,EAAE,MAAM,CAAA;IACX,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,yBAAyB,CAAA;IAC/B,QAAQ,EAAE,MAAM,CAAA;IAChB,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACxF;IACE,IAAI,EAAE,aAAa,CAAA;IACnB,GAAG,EAAE,MAAM,CAAA;IACX,MAAM,EAAE,WAAW,GAAG,mBAAmB,GAAG,iBAAiB,GAAG,cAAc,CAAA;IAC9E,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IAAE,IAAI,EAAE,uBAAuB,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GAC5F;IACE,IAAI,EAAE,uBAAuB,CAAA;IAC7B,KAAK,EAAE,MAAM,CAAA;IACb,QAAQ,EAAE,MAAM,CAAA;IAChB,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IAAE,IAAI,EAAE,oBAAoB,CAAC;IAAC,SAAS,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACnF;IACE,IAAI,EAAE,gBAAgB,CAAA;IACtB,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;IACzD,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,4BAA4B,CAAA;IAClC,IAAI,EAAE,MAAM,CAAA;IACZ,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,6BAA6B,CAAA;IACnC,KAAK,EAAE,MAAM,CAAA;IACb,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACpC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,wBAAwB,CAAA;IAC9B,QAAQ,EAAE,MAAM,CAAA;IAChB,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,UAAU,CAAA;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,mBAAmB,CAAA;IACzB,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,sBAAsB,CAAA;IAC5B,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,2BAA2B,CAAA;IACjC,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,gBAAgB,CAAA;IACtB,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,6BAA6B,CAAA;IACnC,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GACD;IACE,IAAI,EAAE,+BAA+B,CAAA;IACrC,aAAa,EAAE,MAAM,CAAA;IACrB,aAAa,EAAE,MAAM,CAAA;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GAID;IACE,IAAI,EAAE,iBAAiB,CAAA;IACvB,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,OAAO,GAAG,oBAAoB,GAAG,iBAAiB,CAAA;IAC1D,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GAKD;IACE,IAAI,EAAE,sBAAsB,CAAA;IAC5B,OAAO,EAAE,MAAM,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GAMD;IACE,IAAI,EAAE,mBAAmB,CAAA;IACzB,GAAG,EAAE,MAAM,CAAA;IACX,MAAM,EAAE,sBAAsB,GAAG,oBAAoB,GAAG,cAAc,CAAA;IACtE,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GAOD;IACE,IAAI,EAAE,yBAAyB,CAAA;IAC/B,GAAG,EAAE,MAAM,EAAE,CAAA;IACb,aAAa,EAAE,MAAM,CAAA;IACrB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,GAMD;IACE,IAAI,EAAE,6BAA6B,CAAA;IACnC,SAAS,EAAE,MAAM,CAAA;IACjB,KAAK,EAAE,MAAM,CAAA;IACb,QAAQ,EAAE,UAAU,CAAA;IACpB,OAAO,EAAE,MAAM,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B,CAAA;AAEL;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,imBA2BwB,CAAA;AAEtD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,MAAM,CA2BvE,CAAA;AAED,6EAA6E;AAC7E,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAA;IACxB,IAAI,CAAC,EAAE,MAAM,CAAA;CACd,CAAA;AAED,+DAA+D;AAC/D,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,QAAQ,CAAC,IAAI,EAAE,4BAA4B,GAAG,yBAAyB,CAAA;IACvE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;gBAEvB,IAAI,EAAE,4BAA4B,GAAG,yBAAyB,EAC9D,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,OAAO;CAOnB;AAED,eAAO,MAAM,EAAE,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,WAAW,CAAC,CAAC,CAA0B,CAAA;AACxE,eAAO,MAAM,GAAG,GAAI,CAAC,GAAG,KAAK,EAAE,OAAO,UAAU,KAAG,WAAW,CAAC,CAAC,CAA2B,CAAA"}

package/dist/result.js

@@ -2,6 +2,7 @@
 /**
  * Manifest of every ParseError kind — single source of truth.
  * v3 (A1-R2-B2): bumped 21 -> 22 with the addition of `invalid_pointer`.
+ * v0.2 (deferral C): bumped 22 -> 23 with the addition of `blank_node_forbidden`.
  */
 export const PARSE_ERROR_KINDS = [
     'unknown_context',
@@ -26,6 +27,10 @@ export const PARSE_ERROR_KINDS = [
     'prototype_pollution_attempt',
     'incompatible_ontology_version',
     'invalid_pointer',
+    'blank_node_forbidden',
+    'iri_not_canonical',
+    'context_order_violation',
+    'domain_constraint_violation',
 ];
 /**
  * v3 (A2-R2-B5, A3-R2-m1): explicit map from `ParseError.kind` to the test file
@@ -65,6 +70,10 @@ export const PARSE_ERROR_KIND_TO_FILE = {
     prototype_pollution_attempt: 'prototype-key-injection.test.ts',
     incompatible_ontology_version: 'zod-shape.test.ts',
     invalid_pointer: 'prototype-key-injection.test.ts',
+    blank_node_forbidden: 'blank-node.test.ts',
+    iri_not_canonical: 'iri-canonical.test.ts',
+    context_order_violation: 'context-order.test.ts',
+    domain_constraint_violation: 'domain-constraints.test.ts',
 };
 /** Programmer-error class thrown by non-strict serializers. */
 export class SerializationError extends Error {

package/dist/result.js.map

@@ -1 +1 @@
-{"version":3,"file":"result.js","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":"AAAA,gBAAgB;AAsIhB;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,iBAAiB;IACjB,eAAe;IACf,cAAc;IACd,cAAc;IACd,yBAAyB;IACzB,YAAY;IACZ,aAAa;IACb,uBAAuB;IACvB,uBAAuB;IACvB,oBAAoB;IACpB,gBAAgB;IAChB,4BAA4B;IAC5B,6BAA6B;IAC7B,wBAAwB;IACxB,mBAAmB;IACnB,sBAAsB;IACtB,2BAA2B;IAC3B,iBAAiB;IACjB,gBAAgB;IAChB,6BAA6B;IAC7B,+BAA+B;IAC/B,iBAAiB;CACmC,CAAA;AAEtD;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAuC;IAC1E,eAAe,EAAE,yBAAyB;IAC1C,aAAa,EAAE,uBAAuB;IACtC,YAAY,EAAE,sBAAsB;IACpC,YAAY,EAAE,mBAAmB;IACjC,uBAAuB,EAAE,oBAAoB;IAC7C,UAAU,EAAE,oBAAoB;IAChC,WAAW,EAAE,qBAAqB;IAClC,qBAAqB,EAAE,+BAA+B;IACtD,qBAAqB,EAAE,qBAAqB;IAC5C,kBAAkB,EAAE,4BAA4B;IAChD,cAAc,EAAE,mBAAmB;IACnC,0BAA0B,EAAE,oCAAoC;IAChE,2BAA2B,EAAE,qCAAqC;IAClE,sBAAsB,EAAE,mBAAmB;IAC3C,iBAAiB,EAAE,2BAA2B;IAC9C,oBAAoB,EAAE,sBAAsB;IAC5C,yBAAyB,EAAE,sBAAsB;IACjD,eAAe,EAAE,mBAAmB;IACpC,cAAc,EAAE,mBAAmB;IACnC,2BAA2B,EAAE,iCAAiC;IAC9D,6BAA6B,EAAE,mBAAmB;IAClD,eAAe,EAAE,iCAAiC;CACnD,CAAA;AAQD,+DAA+D;AAC/D,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAClC,IAAI,CAA0D;IAC9D,OAAO,CAAS;IACzB,YACE,IAA8D,EAC9D,OAAe,EACf,OAAgB;QAEhB,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAA;QAChC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;IACxB,CAAC;CACF;AAED,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,KAAQ,EAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AACxE,MAAM,CAAC,MAAM,GAAG,GAAG,CAAY,KAAiB,EAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA"}
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":"AAAA,gBAAgB;AAuLhB;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,iBAAiB;IACjB,eAAe;IACf,cAAc;IACd,cAAc;IACd,yBAAyB;IACzB,YAAY;IACZ,aAAa;IACb,uBAAuB;IACvB,uBAAuB;IACvB,oBAAoB;IACpB,gBAAgB;IAChB,4BAA4B;IAC5B,6BAA6B;IAC7B,wBAAwB;IACxB,mBAAmB;IACnB,sBAAsB;IACtB,2BAA2B;IAC3B,iBAAiB;IACjB,gBAAgB;IAChB,6BAA6B;IAC7B,+BAA+B;IAC/B,iBAAiB;IACjB,sBAAsB;IACtB,mBAAmB;IACnB,yBAAyB;IACzB,6BAA6B;CACuB,CAAA;AAEtD;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAuC;IAC1E,eAAe,EAAE,yBAAyB;IAC1C,aAAa,EAAE,uBAAuB;IACtC,YAAY,EAAE,sBAAsB;IACpC,YAAY,EAAE,mBAAmB;IACjC,uBAAuB,EAAE,oBAAoB;IAC7C,UAAU,EAAE,oBAAoB;IAChC,WAAW,EAAE,qBAAqB;IAClC,qBAAqB,EAAE,+BAA+B;IACtD,qBAAqB,EAAE,qBAAqB;IAC5C,kBAAkB,EAAE,4BAA4B;IAChD,cAAc,EAAE,mBAAmB;IACnC,0BAA0B,EAAE,oCAAoC;IAChE,2BAA2B,EAAE,qCAAqC;IAClE,sBAAsB,EAAE,mBAAmB;IAC3C,iBAAiB,EAAE,2BAA2B;IAC9C,oBAAoB,EAAE,sBAAsB;IAC5C,yBAAyB,EAAE,sBAAsB;IACjD,eAAe,EAAE,mBAAmB;IACpC,cAAc,EAAE,mBAAmB;IACnC,2BAA2B,EAAE,iCAAiC;IAC9D,6BAA6B,EAAE,mBAAmB;IAClD,eAAe,EAAE,iCAAiC;IAClD,oBAAoB,EAAE,oBAAoB;IAC1C,iBAAiB,EAAE,uBAAuB;IAC1C,uBAAuB,EAAE,uBAAuB;IAChD,2BAA2B,EAAE,4BAA4B;CAC1D,CAAA;AAQD,+DAA+D;AAC/D,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAClC,IAAI,CAA0D;IAC9D,OAAO,CAAS;IACzB,YACE,IAA8D,EAC9D,OAAe,EACf,OAAgB;QAEhB,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAA;QAChC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;IACxB,CAAC;CACF;AAED,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,KAAQ,EAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AACxE,MAAM,CAAC,MAAM,GAAG,GAAG,CAAY,KAAiB,EAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA"}

package/dist/safety/blank-node.d.ts

@@ -0,0 +1,20 @@
+import type { ParseResult } from '../result.js';
+/**
+ * Recursively scan an input graph for any `@id` value that uses the
+ * JSON-LD blank-node syntax (`_:b0`, `_:n123`, etc.). Per spec §3.2, the
+ * canonical OneRecord wire form forbids blank nodes — peers must use
+ * stable IRIs.
+ *
+ * Closes deviation #8 (v0.2.0 — deferral C). v0.1.x silently accepted
+ * blank-node `@id` values; they would surface as `zod_validation` later
+ * (because they pass `safeIri` syntactic validation but don't resolve to
+ * a real IRI). The new `blank_node_forbidden` kind is the right
+ * discriminator for this failure.
+ *
+ * Runs before Zod in the per-class deserialize pipeline; if it returns
+ * an error, downstream Zod validation is skipped.
+ */
+export declare function scanForBlankNodes(input: unknown, opts?: {
+    meta?: Record<string, unknown>;
+}): ParseResult<true>;
+//# sourceMappingURL=blank-node.d.ts.map

package/dist/safety/blank-node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"blank-node.d.ts","sourceRoot":"","sources":["../../src/safety/blank-node.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAE/C;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,OAAO,EACd,IAAI,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAO,GAC5C,WAAW,CAAC,IAAI,CAAC,CAyCnB"}

package/dist/safety/blank-node.js

@@ -0,0 +1,59 @@
+/**
+ * Recursively scan an input graph for any `@id` value that uses the
+ * JSON-LD blank-node syntax (`_:b0`, `_:n123`, etc.). Per spec §3.2, the
+ * canonical OneRecord wire form forbids blank nodes — peers must use
+ * stable IRIs.
+ *
+ * Closes deviation #8 (v0.2.0 — deferral C). v0.1.x silently accepted
+ * blank-node `@id` values; they would surface as `zod_validation` later
+ * (because they pass `safeIri` syntactic validation but don't resolve to
+ * a real IRI). The new `blank_node_forbidden` kind is the right
+ * discriminator for this failure.
+ *
+ * Runs before Zod in the per-class deserialize pipeline; if it returns
+ * an error, downstream Zod validation is skipped.
+ */
+export function scanForBlankNodes(input, opts = {}) {
+    const metaSlice = opts.meta ? { meta: opts.meta } : {};
+    function isBlankNodeId(v) {
+        // RFC: blank-node identifiers in JSON-LD have the form `_:<label>`
+        // where label is one or more characters. A plain `_:` (zero-length
+        // label) isn't a valid blank node either; we treat it as forbidden too.
+        return typeof v === 'string' && v.startsWith('_:');
+    }
+    function walk(v, path) {
+        if (v === null || typeof v !== 'object')
+            return { ok: true, value: true };
+        if (Array.isArray(v)) {
+            for (let i = 0; i < v.length; i++) {
+                const r = walk(v[i], `${path}[${i}]`);
+                if (!r.ok)
+                    return r;
+            }
+            return { ok: true, value: true };
+        }
+        const obj = v;
+        const id = obj['@id'];
+        if (isBlankNodeId(id)) {
+            return {
+                ok: false,
+                error: {
+                    kind: 'blank_node_forbidden',
+                    blankId: id,
+                    path: `${path}.@id`,
+                    ...metaSlice,
+                },
+            };
+        }
+        for (const k of Object.getOwnPropertyNames(obj)) {
+            if (k === '@id' || k === '@type' || k === '@context')
+                continue;
+            const r = walk(obj[k], `${path}.${k}`);
+            if (!r.ok)
+                return r;
+        }
+        return { ok: true, value: true };
+    }
+    return walk(input, '$');
+}
+//# sourceMappingURL=blank-node.js.map

package/dist/safety/blank-node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"blank-node.js","sourceRoot":"","sources":["../../src/safety/blank-node.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAc,EACd,OAA2C,EAAE;IAE7C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAEtD,SAAS,aAAa,CAAC,CAAU;QAC/B,mEAAmE;QACnE,mEAAmE;QACnE,wEAAwE;QACxE,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;IACpD,CAAC;IAED,SAAS,IAAI,CAAC,CAAU,EAAE,IAAY;QACpC,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;QACzE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAA;gBACrC,IAAI,CAAC,CAAC,CAAC,EAAE;oBAAE,OAAO,CAAC,CAAA;YACrB,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;QAClC,CAAC;QACD,MAAM,GAAG,GAAG,CAA4B,CAAA;QACxC,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAA;QACrB,IAAI,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,sBAAsB;oBAC5B,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,GAAG,IAAI,MAAM;oBACnB,GAAG,SAAS;iBACb;aACF,CAAA;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,UAAU;gBAAE,SAAQ;YAC9D,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAA;YACtC,IAAI,CAAC,CAAC,CAAC,EAAE;gBAAE,OAAO,CAAC,CAAA;QACrB,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;IAClC,CAAC;IAED,OAAO,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;AACzB,CAAC"}

package/dist/safety/pre-validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pre-validate.d.ts","sourceRoot":"","sources":["../../src/safety/pre-validate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAE/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAI/C,MAAM,WAAW,eAAe;IAC9B,MAAM,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,CAAA;IAC9B,iBAAiB,CAAC,EAAE,MAAM,CAAA;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,GAAE,eAAoB,GAAG,WAAW,CAAC,OAAO,CAAC,CAyG5F"}
+{"version":3,"file":"pre-validate.d.ts","sourceRoot":"","sources":["../../src/safety/pre-validate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAG/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAK/C,MAAM,WAAW,eAAe;IAC9B,MAAM,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,CAAA;IAC9B,iBAAiB,CAAC,EAAE,MAAM,CAAA;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,GAAE,eAAoB,GAAG,WAAW,CAAC,OAAO,CAAC,CA8C5F"}

package/dist/safety/pre-validate.js

@@ -1,6 +1,8 @@
+import { scanForBlankNodes } from './blank-node.js';
 import { detectCycle } from './circular-ref.js';
 import { mergeLimits } from './limits.js';
 import { scanForPollution } from './prototype-pollution.js';
+import { walkGraph } from './walk-graph.js';
 /**
  * Pre-Zod sanity pass per spec §6.5.2:
  *   1. Payload byte size
@@ -36,78 +38,11 @@ export function preValidate(input, opts = {}) {
             },
         };
     }
-    // 2. Recursive walk
-    let nodes = 0;
-    function walk(v, depth, path) {
-        nodes++;
-        if (nodes > limits.maxNodes) {
-            return {
-                ok: false,
-                error: {
-                    kind: 'node_count_limit_exceeded',
-                    count: nodes,
-                    limit: limits.maxNodes,
-                    ...metaSlice,
-                },
-            };
-        }
-        if (depth > limits.maxDepth) {
-            return {
-                ok: false,
-                error: {
-                    kind: 'depth_limit_exceeded',
-                    depth,
-                    limit: limits.maxDepth,
-                    path,
-                    ...metaSlice,
-                },
-            };
-        }
-        if (typeof v === 'string') {
-            if (v.length > limits.maxStringLength) {
-                return {
-                    ok: false,
-                    error: {
-                        kind: 'string_too_long',
-                        length: v.length,
-                        limit: limits.maxStringLength,
-                        path,
-                        ...metaSlice,
-                    },
-                };
-            }
-            return { ok: true, value: true };
-        }
-        if (v === null || typeof v !== 'object')
-            return { ok: true, value: true };
-        if (Array.isArray(v)) {
-            if (v.length > limits.maxArrayLength) {
-                return {
-                    ok: false,
-                    error: {
-                        kind: 'array_too_long',
-                        length: v.length,
-                        limit: limits.maxArrayLength,
-                        path,
-                        ...metaSlice,
-                    },
-                };
-            }
-            for (let i = 0; i < v.length; i++) {
-                const r = walk(v[i], depth + 1, `${path}[${i}]`);
-                if (!r.ok)
-                    return r;
-            }
-            return { ok: true, value: true };
-        }
-        for (const k of Object.getOwnPropertyNames(v)) {
-            const r = walk(v[k], depth + 1, `${path}.${k}`);
-            if (!r.ok)
-                return r;
-        }
-        return { ok: true, value: true };
-    }
-    const walkR = walk(input, 0, '$');
+    // 2. Recursive walk — delegates to walkGraph for depth/node/string/array
+    // limit enforcement. Behavior is byte-equivalent to the inline walk
+    // preValidate carried through v0.1.x; visitor-pattern extraction makes
+    // the same single-traversal usable by src/dispatch/graph-walk.ts.
+    const walkR = walkGraph(input, { limits, ...(opts.meta ? { meta: opts.meta } : {}) });
     if (!walkR.ok)
         return walkR;
     // 3. Prototype-pollution
@@ -118,6 +53,11 @@ export function preValidate(input, opts = {}) {
     const cycleR = detectCycle(input);
     if (!cycleR.ok)
         return cycleR;
+    // 5. Blank-node `@id` rejection (v0.2 deferral C, deviation #8 closure).
+    // Spec §3.2 forbids blank nodes (`_:b0`-style) in the canonical wire form.
+    const blankR = scanForBlankNodes(input, opts.meta ? { meta: opts.meta } : {});
+    if (!blankR.ok)
+        return blankR;
     return { ok: true, value: input };
 }
 //# sourceMappingURL=pre-validate.js.map

package/dist/safety/pre-validate.js.map

@@ -1 +1 @@
-{"version":3,"file":"pre-validate.js","sourceRoot":"","sources":["../../src/safety/pre-validate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAE/C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAQ3D;;;;;;;;;;GAUG;AACH,MAAM,UAAU,WAAW,CAAC,KAAc,EAAE,OAAwB,EAAE;IACpE,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACvC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAEtD,mBAAmB;IACnB,IAAI,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAA;IAClC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,CAAC;YACH,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,CAAA;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,KAAK,GAAG,MAAM,CAAC,eAAe,GAAG,CAAC,CAAA;QACpC,CAAC;IACH,CAAC;IACD,IAAI,KAAK,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;QACnC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE;gBACL,IAAI,EAAE,mBAAmB;gBACzB,SAAS,EAAE,KAAK;gBAChB,UAAU,EAAE,MAAM,CAAC,eAAe;gBAClC,GAAG,SAAS;aACb;SACF,CAAA;IACH,CAAC;IAED,oBAAoB;IACpB,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,SAAS,IAAI,CAAC,CAAU,EAAE,KAAa,EAAE,IAAY;QACnD,KAAK,EAAE,CAAA;QACP,IAAI,KAAK,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC5B,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,2BAA2B;oBACjC,KAAK,EAAE,KAAK;oBACZ,KAAK,EAAE,MAAM,CAAC,QAAQ;oBACtB,GAAG,SAAS;iBACb;aACF,CAAA;QACH,CAAC;QACD,IAAI,KAAK,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC5B,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,sBAAsB;oBAC5B,KAAK;oBACL,KAAK,EAAE,MAAM,CAAC,QAAQ;oBACtB,IAAI;oBACJ,GAAG,SAAS;iBACb;aACF,CAAA;QACH,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;gBACtC,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,KAAK,EAAE;wBACL,IAAI,EAAE,iBAAiB;wBACvB,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,KAAK,EAAE,MAAM,CAAC,eAAe;wBAC7B,IAAI;wBACJ,GAAG,SAAS;qBACb;iBACF,CAAA;YACH,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;QAClC,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;QACzE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;gBACrC,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,KAAK,EAAE;wBACL,IAAI,EAAE,gBAAgB;wBACtB,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,KAAK,EAAE,MAAM,CAAC,cAAc;wBAC5B,IAAI;wBACJ,GAAG,SAAS;qBACb;iBACF,CAAA;YACH,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAA;gBAChD,IAAI,CAAC,CAAC,CAAC,EAAE;oBAAE,OAAO,CAAC,CAAA;YACrB,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;QAClC,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,MAAM,CAAC,GAAG,IAAI,CAAE,CAA6B,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAA;YAC5E,IAAI,CAAC,CAAC,CAAC,EAAE;gBAAE,OAAO,CAAC,CAAA;QACrB,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;IAClC,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;IACjC,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAA;IAE3B,yBAAyB;IACzB,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IAC1C,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAA;IAE3B,eAAe;IACf,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAA;IACjC,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAA;IAE7B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AACnC,CAAC"}
+{"version":3,"file":"pre-validate.js","sourceRoot":"","sources":["../../src/safety/pre-validate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAE/C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAQ3C;;;;;;;;;;GAUG;AACH,MAAM,UAAU,WAAW,CAAC,KAAc,EAAE,OAAwB,EAAE;IACpE,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACvC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAEtD,mBAAmB;IACnB,IAAI,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAA;IAClC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,CAAC;YACH,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,CAAA;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,KAAK,GAAG,MAAM,CAAC,eAAe,GAAG,CAAC,CAAA;QACpC,CAAC;IACH,CAAC;IACD,IAAI,KAAK,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;QACnC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE;gBACL,IAAI,EAAE,mBAAmB;gBACzB,SAAS,EAAE,KAAK;gBAChB,UAAU,EAAE,MAAM,CAAC,eAAe;gBAClC,GAAG,SAAS;aACb;SACF,CAAA;IACH,CAAC;IAED,yEAAyE;IACzE,oEAAoE;IACpE,uEAAuE;IACvE,kEAAkE;IAClE,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IACrF,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAA;IAE3B,yBAAyB;IACzB,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IAC1C,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAA;IAE3B,eAAe;IACf,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAA;IACjC,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAA;IAE7B,yEAAyE;IACzE,2EAA2E;IAC3E,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAC7E,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAA;IAE7B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AACnC,CAAC"}

package/dist/safety/walk-graph.d.ts

@@ -0,0 +1,30 @@
+import type { ParseResult } from '../result.js';
+import { type SafetyLimits } from './limits.js';
+export interface WalkGraphOpts {
+    limits?: Partial<SafetyLimits>;
+    meta?: Record<string, unknown>;
+}
+export type NodeVisitor = (node: unknown, path: string, depth: number) => void;
+/**
+ * Recursive graph walker with safety-limit enforcement.
+ *
+ * If `visitor` is provided, called once per visited value (object,
+ * array element, scalar) during the walk, BEFORE limit checks for
+ * children. Used by:
+ *  - `preValidate` (no visitor; safety-limit enforcement only).
+ *  - `src/dispatch/graph-walk.ts` (visitor collects {@id, @type,
+ *    parent-field info} for cross-node analysis).
+ *
+ * Single traversal; dispatch mode does not double-walk.
+ *
+ * Error kinds emitted (each wrapped in `metaSlice`):
+ *  - node_count_limit_exceeded
+ *  - depth_limit_exceeded
+ *  - string_too_long
+ *  - array_too_long
+ *
+ * Behavior is byte-equivalent to the inline walk that `preValidate`
+ * used through v0.1.x; this module exists to make the visitor reusable.
+ */
+export declare function walkGraph(input: unknown, opts?: WalkGraphOpts, visitor?: NodeVisitor): ParseResult<true>;
+//# sourceMappingURL=walk-graph.d.ts.map

package/dist/safety/walk-graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk-graph.d.ts","sourceRoot":"","sources":["../../src/safety/walk-graph.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC/C,OAAO,EAAE,KAAK,YAAY,EAAe,MAAM,aAAa,CAAA;AAE5D,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,CAAA;IAC9B,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC/B;AAED,MAAM,MAAM,WAAW,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;AAE9E;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,SAAS,CACvB,KAAK,EAAE,OAAO,EACd,IAAI,GAAE,aAAkB,EACxB,OAAO,CAAC,EAAE,WAAW,GACpB,WAAW,CAAC,IAAI,CAAC,CA0EnB"}