Review explicit tombstones and source absence

{
  "label": "Supplied agency data"
}

{
  "code": "\nfunction fail(reason){throw new Error('input: '+reason);}\nfunction check(schema,value,where){\n if(value===null){if(schema.type==='null'||Array.isArray(schema.type)&&schema.type.includes('null'))return;fail(where+' wrong_type');}\n const type=Array.isArray(schema.type)?schema.type[0]:schema.type;\n if(type==='object'){\n  if(!value||typeof value!=='object'||Array.isArray(value))fail(where+' wrong_type');\n  for(const name of Object.keys(value))if(!Object.hasOwn(schema.properties,name))fail(where+' unknown_field');\n  for(const name of schema.required)if(!Object.hasOwn(value,name))fail(where+' missing_field');\n  for(const [name,shape]of Object.entries(schema.properties))check(shape,value[name],where+'.'+name);\n }else if(type==='array'){\n  if(!Array.isArray(value)||value.length>schema.maxItems)fail(where+' array_bound');\n  for(const item of value)check(schema.items,item,where+'[]');\n }else if(type==='string'){if(typeof value!=='string'||value.length>schema.maxLength)fail(where+' string_bound');}\n else if(type==='integer'){if(!Number.isSafeInteger(value)||value<schema.minimum||value>schema.maximum)fail(where+' integer_bound');}\n else if(type==='boolean'){if(typeof value!=='boolean')fail(where+' wrong_type');}\n else fail(where+' unsupported_type');\n}\nfunction id(value){if(typeof value!=='string'||!value||value.trim()!==value)fail('noncanonical_identity');return value;}\nfunction unique(values,reason){if(new Set(values).size!==values.length)fail(reason);}\nfunction safeAdd(a,b){if(a>Number.MAX_SAFE_INTEGER-b)fail('unsafe_sum');return a+b;}\nfunction day(value){if(!/^\\d{4}-\\d{2}-\\d{2}$/.test(value))fail('invalid_calendar_day');const ms=Date.parse(value+'T00:00:00Z');if(!Number.isFinite(ms)||new Date(ms).toISOString().slice(0,10)!==value)fail('invalid_calendar_day');return ms;}\nfunction refKey(ref){id(ref.assetId);if(ref.version<1)fail('positive_version_required');return JSON.stringify([ref.assetId,ref.version]);}\nfunction refValue(key){const pair=JSON.parse(key);return {assetId:pair[0],version:pair[1]};}\nfunction sortedRefs(keys){return [...keys].sort().map(refValue);}\n\ncheck({\"type\":\"object\",\"properties\":{\"scopeId\":{\"type\":\"string\",\"maxLength\":128},\"versionDomainId\":{\"type\":\"string\",\"maxLength\":128},\"comparison\":{\"type\":\"string\",\"maxLength\":128},\"minimumSequence\":{\"type\":[\"integer\",\"null\"],\"minimum\":0,\"maximum\":9007199254740991},\"selectionComplete\":{\"type\":[\"boolean\",\"null\"]},\"trackedIds\":{\"type\":\"array\",\"items\":{\"type\":\"string\",\"maxLength\":128},\"maxItems\":100},\"liveRecords\":{\"type\":\"array\",\"items\":{\"type\":\"object\",\"properties\":{\"recordId\":{\"type\":\"string\",\"maxLength\":128},\"scopeId\":{\"type\":\"string\",\"maxLength\":128},\"versionDomainId\":{\"type\":\"string\",\"maxLength\":128},\"versionToken\":{\"type\":\"string\",\"maxLength\":128},\"sequence\":{\"type\":[\"integer\",\"null\"],\"minimum\":0,\"maximum\":9007199254740991}},\"required\":[\"recordId\",\"scopeId\",\"versionDomainId\",\"versionToken\",\"sequence\"],\"additionalProperties\":false},\"maxItems\":100},\"tombstones\":{\"type\":\"array\",\"items\":{\"type\":\"object\",\"properties\":{\"tombstoneId\":{\"type\":\"string\",\"maxLength\":128},\"recordId\":{\"type\":\"string\",\"maxLength\":128},\"scopeId\":{\"type\":\"string\",\"maxLength\":128},\"versionDomainId\":{\"type\":\"string\",\"maxLength\":128},\"versionToken\":{\"type\":\"string\",\"maxLength\":128},\"sequence\":{\"type\":[\"integer\",\"null\"],\"minimum\":0,\"maximum\":9007199254740991}},\"required\":[\"tombstoneId\",\"recordId\",\"scopeId\",\"versionDomainId\",\"versionToken\",\"sequence\"],\"additionalProperties\":false},\"maxItems\":100}},\"required\":[\"scopeId\",\"versionDomainId\",\"comparison\",\"minimumSequence\",\"selectionComplete\",\"trackedIds\",\"liveRecords\",\"tombstones\"],\"additionalProperties\":false},context.input,\"input\");\nconst result=(function sourceTombstoneEvidence(x){\n id(x.scopeId);id(x.versionDomainId);\n if(!['sequence','opaque'].includes(x.comparison))fail('invalid_version_comparison');\n if(x.comparison==='opaque'&&x.minimumSequence!==null)fail('opaque_sequence_not_allowed');\n unique(x.trackedIds.map(id),'duplicate_tracked_id');\n unique(x.liveRecords.map(row=>id(row.recordId)),'duplicate_live_record_id');\n unique(x.tombstones.map(row=>id(row.tombstoneId)),'duplicate_tombstone_id');\n for(const row of [...x.liveRecords,...x.tombstones]){\n  id(row.recordId);id(row.versionDomainId);id(row.versionToken);\n  if(id(row.scopeId)!==x.scopeId)fail('scope_mismatch');\n  if(row.versionDomainId===x.versionDomainId){\n   if(x.comparison==='opaque'&&row.sequence!==null)fail('opaque_sequence_not_allowed');\n   if(x.comparison==='sequence'&&row.sequence===null)fail('sequence_required');\n  }\n }\n const rows=x.trackedIds.map(recordId=>{\n  const live=x.liveRecords.find(row=>row.recordId===recordId),tombs=x.tombstones.filter(row=>row.recordId===recordId);\n  const incomparable=live&&live.versionDomainId!==x.versionDomainId||tombs.some(row=>row.versionDomainId!==x.versionDomainId);\n  let chosen=null,classification;\n  if(incomparable){classification='unknown_version_domain';if(tombs.length===1)chosen=tombs[0];}\n  else if(!tombs.length)classification=live?'live_evidence_only':'absence_without_tombstone';\n  else if(x.comparison==='opaque'){\n   const tokens=new Set(tombs.map(row=>row.versionToken));\n   if(tokens.size>1)classification='unknown_version_order';\n   else{\n    chosen=[...tombs].sort((a,b)=>a.tombstoneId<b.tombstoneId?-1:a.tombstoneId>b.tombstoneId?1:0)[0];\n    classification=!live?'deletion_evidence':live.versionToken===chosen.versionToken?'contradictory':'unknown_version_order';\n   }\n  }else{\n   const latest=Math.max(...tombs.map(row=>row.sequence)),best=tombs.filter(row=>row.sequence===latest);\n   chosen=[...best].sort((a,b)=>a.tombstoneId<b.tombstoneId?-1:a.tombstoneId>b.tombstoneId?1:0)[0];\n   if(new Set(best.map(row=>row.versionToken)).size>1)classification='contradictory';\n   else if(live&&live.sequence===latest)classification='contradictory';\n   else if(live&&live.sequence>latest)classification='live_after_tombstone';\n   else if(x.minimumSequence!==null&&latest<x.minimumSequence)classification='stale_tombstone';\n   else classification='deletion_evidence';\n  }\n  return {recordId,classification,liveVersionToken:live?live.versionToken:null,tombstoneId:chosen?chosen.tombstoneId:null,tombstoneVersionToken:chosen?chosen.versionToken:null};\n });\n return {scopeId:x.scopeId,versionDomainId:x.versionDomainId,comparison:x.comparison,minimumSequence:x.minimumSequence,selectionComplete:x.selectionComplete,rows};\n})(context.input);\ncheck({\"type\":\"object\",\"properties\":{\"scopeId\":{\"type\":\"string\",\"maxLength\":128},\"versionDomainId\":{\"type\":\"string\",\"maxLength\":128},\"comparison\":{\"type\":\"string\",\"maxLength\":128},\"minimumSequence\":{\"type\":[\"integer\",\"null\"],\"minimum\":0,\"maximum\":9007199254740991},\"selectionComplete\":{\"type\":[\"boolean\",\"null\"]},\"rows\":{\"type\":\"array\",\"items\":{\"type\":\"object\",\"properties\":{\"recordId\":{\"type\":\"string\",\"maxLength\":128},\"classification\":{\"type\":\"string\",\"maxLength\":128},\"liveVersionToken\":{\"type\":[\"string\",\"null\"],\"maxLength\":128},\"tombstoneId\":{\"type\":[\"string\",\"null\"],\"maxLength\":128},\"tombstoneVersionToken\":{\"type\":[\"string\",\"null\"],\"maxLength\":128}},\"required\":[\"recordId\",\"classification\",\"liveVersionToken\",\"tombstoneId\",\"tombstoneVersionToken\"],\"additionalProperties\":false},\"maxItems\":100}},\"required\":[\"scopeId\",\"versionDomainId\",\"comparison\",\"minimumSequence\",\"selectionComplete\",\"rows\"],\"additionalProperties\":false},result,\"output\");\nreturn result;",
  "label": "Review explicit tombstones and source absence",
  "memoryLimit": 16,
  "outputVar": "result",
  "timeout": 1000
}