Bound a supplied cohort with unresolved outcomes

{
  "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\"]},\"cohortSize\":{\"type\":\"integer\",\"minimum\":0,\"maximum\":1000000},\"successes\":{\"type\":\"integer\",\"minimum\":0,\"maximum\":1000000},\"failures\":{\"type\":\"integer\",\"minimum\":0,\"maximum\":1000000},\"unresolved\":{\"type\":\"integer\",\"minimum\":0,\"maximum\":1000000}},\"required\":[\"scopeId\",\"selectionComplete\",\"cohortSize\",\"successes\",\"failures\",\"unresolved\"],\"additionalProperties\":false},context.input,\"input\");\nconst result=(function outcomeBounds(x){\n id(x.scopeId);if(x.successes+x.failures+x.unresolved!==x.cohortSize)fail('cohort_partition_mismatch');const lower=x.successes,upper=x.successes+x.unresolved;\n return {status:!x.cohortSize?'empty_supplied_cohort':x.selectionComplete!==true?'bounded_incomplete_selection':!x.unresolved?'exact_within_supplied_cohort':'bounded_within_supplied_cohort',lowerSuccesses:lower,upperSuccesses:upper,lowerRate:x.cohortSize?ratText(rat(BigInt(lower),BigInt(x.cohortSize))):null,upperRate:x.cohortSize?ratText(rat(BigInt(upper),BigInt(x.cohortSize))):null};\n})(context.input);\ncheck({\"type\":\"object\",\"properties\":{\"status\":{\"type\":\"string\",\"maxLength\":128},\"lowerSuccesses\":{\"type\":\"integer\",\"minimum\":0,\"maximum\":1000000},\"upperSuccesses\":{\"type\":\"integer\",\"minimum\":0,\"maximum\":1000000},\"lowerRate\":{\"type\":[\"string\",\"null\"],\"maxLength\":256},\"upperRate\":{\"type\":[\"string\",\"null\"],\"maxLength\":256}},\"required\":[\"status\",\"lowerSuccesses\",\"upperSuccesses\",\"lowerRate\",\"upperRate\"],\"additionalProperties\":false},result,\"output\");\nreturn result;",
  "label": "Bound a supplied cohort with unresolved outcomes",
  "memoryLimit": 16,
  "outputVar": "result",
  "timeout": 1000
}