Bound aggregate audience union without membership data

{
  "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\nfunction lexIds(a,b){for(let i=0;i<Math.min(a.length,b.length);i++){if(a[i]<b[i])return -1;if(a[i]>b[i])return 1;}return a.length-b.length;}\nfunction maxSubset(rows,idField,feasible){let best=-1,ids=[],ties=0;for(let mask=0;mask<2**rows.length;mask++){const chosen=rows.filter((_,i)=>mask&(1<<i));if(!feasible(chosen))continue;const value=chosen.reduce((n,r)=>n+r.valuePoints,0),current=chosen.map(r=>r[idField]).sort();if(value>best){best=value;ids=current;ties=1;}else if(value===best){ties++;if(lexIds(current,ids)<0)ids=current;}}return {ids,value:best,ties};}\nfunction rat(n,d){if(d===0n)fail('zero_denominator');if(d<0n){n=-n;d=-d;}let a=n<0n?-n:n,b=d;while(b){const next=a%b;a=b;b=next;}return [n/a,d/a];}\nfunction ratAdd(a,b){return rat(a[0]*b[1]+b[0]*a[1],a[1]*b[1]);}\nfunction ratSub(a,b){return rat(a[0]*b[1]-b[0]*a[1],a[1]*b[1]);}\nfunction ratMul(a,b){return rat(a[0]*b[0],a[1]*b[1]);}\nfunction ratText(a){return a[0].toString()+'/'+a[1].toString();}\n\n\ncheck({\"type\":\"object\",\"properties\":{\"scopeId\":{\"type\":\"string\",\"maxLength\":128},\"selectionComplete\":{\"type\":[\"boolean\",\"null\"]},\"universeSize\":{\"type\":\"integer\",\"minimum\":0,\"maximum\":1000000},\"audiences\":{\"type\":\"array\",\"items\":{\"type\":\"object\",\"properties\":{\"audienceId\":{\"type\":\"string\",\"maxLength\":128},\"size\":{\"type\":[\"integer\",\"null\"],\"minimum\":0,\"maximum\":1000000}},\"required\":[\"audienceId\",\"size\"],\"additionalProperties\":false},\"maxItems\":30}},\"required\":[\"scopeId\",\"selectionComplete\",\"universeSize\",\"audiences\"],\"additionalProperties\":false},context.input,\"input\");\nconst result=(function audienceBounds(x){\n id(x.scopeId);unique(x.audiences.map(a=>id(a.audienceId)),'duplicate_audience_id');for(const a of x.audiences)if(a.size!==null&&a.size>x.universeSize)fail('audience_larger_than_universe');\n const unknown=x.audiences.filter(a=>a.size===null).map(a=>a.audienceId).sort(),known=x.audiences.filter(a=>a.size!==null),lower=known.length?Math.max(...known.map(a=>a.size)):0,upper=unknown.length?x.universeSize:Math.min(x.universeSize,known.reduce((n,a)=>n+a.size,0)),exact=lower===upper;\n return {status:x.selectionComplete!==true?'bounded_incomplete_selection':unknown.length?'bounded_unknown_cardinalities':exact?'exact_within_supplied_cardinalities':'bounded_within_supplied_cardinalities',lowerUnique:lower,upperUnique:upper,exactWithinSuppliedAudiences:exact,unknownAudienceIds:unknown};\n})(context.input);\ncheck({\"type\":\"object\",\"properties\":{\"status\":{\"type\":\"string\",\"maxLength\":128},\"lowerUnique\":{\"type\":\"integer\",\"minimum\":0,\"maximum\":1000000},\"upperUnique\":{\"type\":\"integer\",\"minimum\":0,\"maximum\":1000000},\"exactWithinSuppliedAudiences\":{\"type\":\"boolean\"},\"unknownAudienceIds\":{\"type\":\"array\",\"items\":{\"type\":\"string\",\"maxLength\":128},\"maxItems\":100}},\"required\":[\"status\",\"lowerUnique\",\"upperUnique\",\"exactWithinSuppliedAudiences\",\"unknownAudienceIds\"],\"additionalProperties\":false},result,\"output\");\nreturn result;",
  "label": "Bound aggregate audience union without membership data",
  "memoryLimit": 16,
  "outputVar": "result",
  "timeout": 1000
}