{"authority":[],"events":[{"digest":"168bed73ba178c048638d3b70cb72a759b33bf58f2606cd7f0182bf5b7a41382","kind":"version","payload":{"frozenDigest":"08fa7f3fedbe8d02db9f9d107d27682ac97df338b2419405a30ff88867c2268e","number":1,"parent":null,"reason":"Initial frozen proposal","specification":{"brief":{"acceptanceEvidence":"All compared responses and downstream decisions must agree exactly. Retain any mismatch.","adoptionEvidence":"None. Voluntary adoption, contracts, revenue and profitability remain unestablished.","beneficiariesHypothesis":"Hypothesis: experimental teams with repeated configuration decisions. No customers established.","constraints":"Public synthetic inputs only; fixed bounded integer arithmetic; no model, network or payment calls.","constructionKind":"instrument","constructionPlan":"Declare the class, calibrate the basis, freeze the instrument, then check unused configurations.","costHypothesis":"Unknown monetary cost. Count abstract calibration observations and reuse queries separately.","financingHypothesis":"Unknown construction funding, working capital and timing; no budget or purchase is approved.","objective":"Qualify a finite synthetic experimentation platform while preserving existing services.","problemFamily":"Configuration response prediction, feasible-design screening and ranking candidate designs.","proposedConstruction":"Construct a calibrated low-interaction representation of a synthetic binary response system.","restrictiveAssumption":"Each new configuration requires an unrelated full measurement.","reusePlan":"Reuse the frozen coefficients for a distinct threshold-screening and ranking task without recalibration.","scopeAssumptions":"The synthetic world must respect the declared interaction-order bound. Physical qualification is absent.","title":"Build the Next Discovery Lab","unmetNeed":"Explore many possible configurations without repeating a full response census for every decision.","valueHypothesis":"Unknown. A smaller calibration catalogue is not evidence of accepted value or superior engineering."},"briefAcceptance":"not-evaluated","economicOutcome":"not-evaluated","evidenceScope":"synthetic-witness-only","experiment":null,"externalAuthority":false,"witnessVersion":"binary-interaction-instrument/v1"}},"previous":null,"sequence":0},{"digest":"deffdabbd19cdc6b589072c728cfc44135d96c831f2e14a064702f4cdd1769f2","kind":"lab-started","payload":{"attempt":"lab-011db554-e0b7-4868-8720-3cd49cc608fc","bindings":{"charterDigest":"d06d3f004b4de1ad840c2d9fb4098c96ae62d39a7e30c4c29d48bfa8a95bc790","evaluatorDigest":"ba46c89d42defc9d78ac61090f5ccc793549c4c072a5afe825bc7b434b3f7099","missionId":"capability-fc911b7d-e209-4bed-b8c2-2682f3f879bd","modelDigest":"16655c0cce276415f4f08bf9ced35cec04c086545adc4d72122e038b29244506","purposeDigest":"eff029abd79af61fd21de23b48a10962271e8e7aa8c24f45d3d6a791590af3a5","revision":1,"sourceDigest":"54769dbfde99ae13708a33292866f0ca7e6b8b7792a7a944f76bf2fbf1de1358"},"charter":{"accuracy":1,"actualDrift":"linear","budget":{"acquisitions":2000,"checking":1000000,"installations":20,"search":1000000,"storageBytes":500000},"checkpoints":["safety"],"controls":3,"driftScope":"linear","faultHypotheses":["clear","left","right","both"],"hiddenCoupling":false,"intendedUses":12,"memory":8,"noise":0,"observations":["contrast","reference","coarse","full"],"operations":["flip-z"],"purpose":"qualified-finite-discovery-platform","schema":"discovery-lab-charter/v1","topology":"right","workerCapacity":3},"parentDigest":null,"reservation":{"acquisitions":4000,"checking":2000000,"elapsedMs":120000,"installations":40,"memoryBytes":10000000,"search":2000000,"storageBytes":500000,"workerCapacity":3},"version":1},"previous":"168bed73ba178c048638d3b70cb72a759b33bf58f2606cd7f0182bf5b7a41382","sequence":1},{"digest":"bfd0a7bc21ad197a64fc5e6b590c9aa0cc1d4ee02eebbc4af44275ea9179a3f3","kind":"lab-completed","payload":{"attempt":"lab-011db554-e0b7-4868-8720-3cd49cc608fc","elapsedMs":175,"recordedVerification":{"acquisitions":906,"checking":97015,"installations":4,"memoryWords":30,"search":6601,"storageBytes":29294,"workerSlots":3},"result":{"charter":{"accuracy":1,"actualDrift":"linear","budget":{"acquisitions":2000,"checking":1000000,"installations":20,"search":1000000,"storageBytes":500000},"checkpoints":["safety"],"controls":3,"driftScope":"linear","faultHypotheses":["clear","left","right","both"],"hiddenCoupling":false,"intendedUses":12,"memory":8,"noise":0,"observations":["contrast","reference","coarse","full"],"operations":["flip-z"],"purpose":"qualified-finite-discovery-platform","schema":"discovery-lab-charter/v1","topology":"right","workerCapacity":3},"comparisons":[{"completeCampaignCandidates":54,"independentlyQualifiedCampaigns":54,"measuredWork":{"acquisitions":540,"checking":83166,"installations":0,"search":6073},"measurementCandidates":18,"measurementHorizon":79,"name":"Unrestricted same-primitive finite reference","objective":{"denominator":4,"numerator":344},"objectiveUnits":"Declared acquisition-program horizon price plus uniform-world completion/installation price; search/checking resources are reported separately.","platformCandidates":4,"policyCombinations":15,"policyExpectedCost":{"denominator":4,"numerator":16},"primaryObjective":{"denominator":4,"numerator":344},"rejectedCampaigns":[],"relation":"tie","scope":"Joint direct construction and current independent acceptance across the complete declared finite campaign grammar. Not a global architecture optimum outside that grammar.","status":"accepted","witness":[{"kind":"learn","program":{"calibrationRaw":[11,12,-3],"degree":1,"errorBound":0,"gainInterval":{"denominator":8,"lower":16,"upper":16},"queryRows":[{"interval":[2,2],"mask":0,"raw":[7,8,1]},{"interval":[4,4],"mask":1,"raw":[11,12,-3]},{"interval":[4,4],"mask":2,"raw":[11,12,-3]},{"interval":[9,9],"mask":3,"raw":[21,22,-13]},{"interval":[6,6],"mask":4,"raw":[15,16,-7]},{"interval":[8,8],"mask":5,"raw":[19,20,-11]},{"interval":[8,8],"mask":6,"raw":[19,20,-11]},{"interval":[13,13],"mask":7,"raw":[29,30,-21]}],"referenceAmplitude":4,"signs":[1,1,-1],"times":[0,1,2],"weights":{"denominator":2,"numerators":[-1,2,-1]}}},{"kind":"think","program":{"blocks":[[0],[1,2],[3],[4],[5,6],[7]],"decoder":[[2,2],[4,4],[9,9],[6,6],[8,8],[13,13]],"encoder":[0,1,1,2,3,4,4,5],"updates":{"flip-z":[3,4,5,0,1,2]}}},{"kind":"design","program":{"compiled":{"decoder":[[2,2],[4,4],[9,9],[6,6],[8,8],[13,13]],"operations":["flip-z"],"updaters":{"flip-z":[3,4,5,0,1,2]}},"footprint":22,"serviceTable":[[0,0,2,2,3],[0,1,2,2,4],[0,2,2,2,5],[0,3,2,2,0],[0,4,2,2,1],[0,5,2,2,2],[1,0,4,4,3],[1,1,4,4,4],[1,2,4,4,5],[1,3,4,4,0],[1,4,4,4,1],[1,5,4,4,2],[2,0,9,9,3],[2,1,9,9,4],[2,2,9,9,5],[2,3,9,9,0],[2,4,9,9,1],[2,5,9,9,2],[3,0,6,6,3],[3,1,6,6,4],[3,2,6,6,5],[3,3,6,6,0],[3,4,6,6,1],[3,5,6,6,2],[4,0,8,8,3],[4,1,8,8,4],[4,2,8,8,5],[4,3,8,8,0],[4,4,8,8,1],[4,5,8,8,2],[5,0,13,13,3],[5,1,13,13,4],[5,2,13,13,5],[5,3,13,13,0],[5,4,13,13,1],[5,5,13,13,2]],"staging":false,"transition":[[{"location":"left","services":[0]},{"location":"right","services":[1]},{"location":"aux","services":[2]}],[{"location":"left","services":[0,1]},{"location":"right","services":[]},{"location":"aux","services":[2]}]],"vacancy":"right","workerLimit":64,"workersAfter":[{"location":"left","services":[0,1]},{"location":"right","services":[]},{"location":"aux","services":[2]}],"workersBefore":[{"location":"left","services":[0]},{"location":"right","services":[1]},{"location":"aux","services":[2]}]}},{"kind":"strategise","program":{"expectedCost":{"denominator":4,"numerator":16},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse","reservations":{"installations":1,"vacancy":"right"}}},{"kind":"execute","program":{"bindings":{"availableActions":["isolate","reference"],"checkpoint":"safety","compiledServices":{"decoder":[[2,2],[4,4],[9,9],[6,6],[8,8],[13,13]],"operations":["flip-z"],"updaters":{"flip-z":[3,4,5,0,1,2]}},"denominator":4,"intendedUses":12,"policy":{"expectedCost":{"denominator":4,"numerator":16},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse","reservations":{"installations":1,"vacancy":"right"}},"residentWords":22,"vacancy":"right","workerSlots":1},"components":[{"boundary":["c"],"factorIds":["prepare","reference","capacity","checkpoint"],"id":"installation","private":["a","b"],"profiles":[{"boundary":0,"value":8,"witness":{"a":1,"b":0,"c":0}},{"boundary":1,"value":48,"witness":{"a":0,"b":1,"c":1}}]},{"boundary":["c"],"factorIds":["route"],"id":"routing","private":["r"],"profiles":[{"boundary":0,"value":16,"witness":{"c":0,"r":0}},{"boundary":1,"value":24,"witness":{"c":1,"r":0}}]}],"currentBoundary":0,"factors":[{"id":"prepare","scope":["a"],"table":[{"cost":0,"values":[0]},{"cost":8,"values":[1]}]},{"id":"reference","scope":["b"],"table":[{"cost":0,"values":[0]},{"cost":48,"values":[1]}]},{"id":"capacity","scope":["a","b"],"table":[{"cost":null,"values":[0,0]},{"cost":0,"values":[1,0]},{"cost":0,"values":[0,1]},{"cost":null,"values":[1,1]}]},{"id":"route","scope":["r","c"],"table":[{"cost":16,"values":[0,0]},{"cost":24,"values":[1,0]},{"cost":24,"values":[0,1]},{"cost":32,"values":[1,1]}]},{"id":"checkpoint","scope":["b","c"],"table":[{"cost":0,"values":[0,0]},{"cost":0,"values":[1,0]},{"cost":null,"values":[0,1]},{"cost":0,"values":[1,1]}]}],"installations":{"actions":["isolate"],"placement":"right","scopeControls":3},"profiles":[{"boundary":0,"value":24,"witness":{"a":1,"b":0,"c":0,"r":0}},{"boundary":1,"value":72,"witness":{"a":0,"b":1,"c":1,"r":0}}],"reuseContracts":[{"completeProfileEqual":false,"component":"installation","propagation":"cold","status":"rebuilt"},{"completeProfileEqual":false,"component":"routing","propagation":"cold","status":"rebuilt"}],"reusedFactors":[],"routeWitness":{"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse"},"variables":["a","b","r","c"],"witness":{"a":1,"b":0,"c":0,"r":0}}},{"kind":"evolve","program":{"coefficients":[2,2,2,0,4,0,0,0],"degree":1,"freezeOrder":"before-query-evaluation","operations":["isolate"],"responseTable":[2,4,4,6,6,8,8,10],"scopeControls":3}}]},{"measuredConfigurations":96,"measuredWork":{"acquisitions":288,"checking":96,"installations":0,"search":96},"name":"Fixed architecture with more search","responseChecksum":648,"retainedStructure":false,"scope":"Direct full finite-response replay at every use; same qualified measurement access, no installed interaction simplification.","status":"accepted"},{"candidateLabels":6,"labels":8,"measuredWork":{"acquisitions":0,"checking":642,"installations":0,"search":8},"name":"Full-state reasoning","reason":"Every finite semantic obligation passed.","scope":"Actual identity encoder, contextual interval decoder and direct operation tables.","status":"accepted"},{"measuredWork":{"acquisitions":0,"checking":3,"installations":0,"search":0},"name":"Separate service realization","reason":"Complete initial occupancy has no permitted empty installation destination.","requiredServices":3,"scope":"Current separate realization and fixed admitted worker topology.","status":"rejected","vacancies":0},{"completePolicyCombinations":12,"expectedCost":{"denominator":4,"numerator":16},"measuredWork":{"acquisitions":0,"checking":1120,"installations":0,"search":0},"name":"Full diagnosis","scope":"Every residual world and admitted route combination enumerated independently.","status":"accepted"},{"completePolicyCombinations":1,"expectedCost":{"denominator":4,"numerator":20},"measuredWork":{"acquisitions":0,"checking":1081,"installations":0,"search":0},"name":"No-diagnosis construction","scope":"Every residual world and admitted route combination enumerated independently.","status":"accepted"},{"completeBoundaryProfiles":[{"boundary":0,"value":24,"witness":{"a":1,"b":0,"c":0,"r":0}},{"boundary":1,"value":72,"witness":{"a":0,"b":1,"c":1,"r":0}}],"measuredWork":{"acquisitions":0,"checking":1902,"installations":0,"search":28},"name":"Full recomputation","retainedContracts":[],"scope":"Complete source-bound factor tables, every finite binary assignment and current whole-artifact acceptance.","status":"accepted"},{"completeBoundaryProfiles":[{"boundary":0,"value":24,"witness":{"a":1,"b":0,"c":0,"r":0}},{"boundary":1,"value":72,"witness":{"a":0,"b":1,"c":1,"r":0}}],"measuredWork":{"acquisitions":0,"checking":1902,"installations":0,"search":28},"name":"Equally capable incremental contracts","retainedContracts":[],"scope":"Complete source-bound factor tables, every finite binary assignment and current whole-artifact acceptance.","status":"accepted"},{"measuredWork":{"acquisitions":0,"checking":0,"installations":0,"search":0},"name":"Fixed complete certificate","reason":"Exact unchanged source and charter are required for this fixed certificate.","status":"unsupported"},{"costAccounting":"The source-bound cold campaign was already executed in the reference row and is charged there exactly once. This row performs no duplicate replay.","evidenceRef":"Unrestricted same-primitive finite reference","inheritedAssets":[],"measuredWork":{"acquisitions":0,"checking":1,"installations":0,"search":0},"name":"Successor from scratch","objective":{"denominator":4,"numerator":344},"scope":"Complete independently constructed six-stage cold campaign using the current charter and no parent assets, including current semantic qualification. The fixed finite grammar remains the comparison boundary.","sharedMeasuredWork":{"acquisitions":540,"checking":83166,"installations":0,"search":6073},"status":"accepted"}],"currencyCaps":{"AGIALPHA":"0","USDC":"0"},"executionMode":"free-local-synthetic-replay","externalExecution":"unprovisioned","failure":null,"invalidations":{"changed":[],"earliest":null,"invalidated":[]},"lineage":{"accounting":"Parent cumulative costs plus only this campaign work; no inherited cost is charged twice.","cumulative":{"acquisitions":906,"checking":97015,"installations":4,"memoryWords":30,"search":6601,"storageBytes":29294,"workerSlots":3},"generation":1,"incremental":{"acquisitions":906,"checking":97015,"installations":4,"memoryWords":30,"search":6601,"storageBytes":29294,"workerSlots":3}},"queryChecker":{"accepted":true,"checks":498,"reason":"Every frozen-platform downstream query passed independent finite checking."},"queryResults":{"constrainedSelection":{"candidates":[5,6],"maximumActiveControls":2,"suppliedModelOptima":[5,6],"uncertainty":"exact-within-supplied-model"},"intervals":[[2,2],[4,4],[4,4],[6,6],[6,6],[8,8],[8,8],[10,10]],"inverseDesign":{"definite":[5,6],"possible":[5,6],"target":8},"queriesAfterFreeze":true,"thresholdScreening":{"results":[{"mask":0,"outcome":"rejected"},{"mask":1,"outcome":"rejected"},{"mask":2,"outcome":"rejected"},{"mask":3,"outcome":"rejected"},{"mask":4,"outcome":"rejected"},{"mask":5,"outcome":"accepted"},{"mask":6,"outcome":"accepted"},{"mask":7,"outcome":"accepted"}],"threshold":8}},"resourceReservation":{"status":"reserved-before-work","storageBytes":200000},"resourceUnits":{"acquisitions":"simulator raw readouts","checking":"independent checker data nodes and finite semantic cases","elapsedTime":"Measured separately by the caller; not inferred from logical work.","installations":"declared construction installation units","memoryWords":"peak abstract resident words","search":"counted producer loop and compiler steps","storageBytes":"UTF-8 report evidence bytes","workerSlots":"peak occupied virtual worker slots"},"resources":{"acquisitions":906,"checking":97015,"installations":4,"memoryWords":30,"search":6601,"storageBytes":29294,"workerSlots":3},"reuse":{"acceptedPredecessorPreserved":false,"claim":"Current witnesses and acceptance were performed; retained assets do not confer authority.","priorPurposePreservedOnOldSlice":false,"retainedFactors":[]},"runtime":"discovery-lab-runtime/v1","schema":"discovery-lab-campaign/v1","stages":[{"assumptions":["Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.","No credentials, external executor, currency payment, signing or authority are created."],"attempts":[{"reason":"No signal-preserving contrast.","signs":[1,1,1],"status":"rejected","times":[0,1,2]},{"constructionCost":8,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":7,"referenceAmplitude":4,"signs":[1,-1,1],"status":"candidate","times":[0,1,2],"total":92},{"constructionCost":9,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":7,"referenceAmplitude":8,"signs":[1,-1,1],"status":"candidate","times":[0,1,2],"total":93},{"constructionCost":11,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":7,"referenceAmplitude":16,"signs":[1,-1,1],"status":"candidate","times":[0,1,2],"total":95},{"constructionCost":7,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":6,"referenceAmplitude":4,"signs":[1,1,-1],"status":"candidate","times":[0,1,2],"total":79},{"constructionCost":8,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":6,"referenceAmplitude":8,"signs":[1,1,-1],"status":"candidate","times":[0,1,2],"total":80},{"constructionCost":10,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":6,"referenceAmplitude":16,"signs":[1,1,-1],"status":"candidate","times":[0,1,2],"total":82},{"constructionCost":7,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":6,"referenceAmplitude":4,"signs":[1,-1,-1],"status":"candidate","times":[0,1,2],"total":79},{"constructionCost":8,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":6,"referenceAmplitude":8,"signs":[1,-1,-1],"status":"candidate","times":[0,1,2],"total":80},{"constructionCost":10,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":6,"referenceAmplitude":16,"signs":[1,-1,-1],"status":"candidate","times":[0,1,2],"total":82},{"reason":"No signal-preserving contrast.","signs":[1,1,1],"status":"rejected","times":[0,2,4]},{"constructionCost":10,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":9,"referenceAmplitude":4,"signs":[1,-1,1],"status":"candidate","times":[0,2,4],"total":118},{"constructionCost":11,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":9,"referenceAmplitude":8,"signs":[1,-1,1],"status":"candidate","times":[0,2,4],"total":119},{"constructionCost":13,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":9,"referenceAmplitude":16,"signs":[1,-1,1],"status":"candidate","times":[0,2,4],"total":121},{"constructionCost":9,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":8,"referenceAmplitude":4,"signs":[1,1,-1],"status":"candidate","times":[0,2,4],"total":105},{"constructionCost":10,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":8,"referenceAmplitude":8,"signs":[1,1,-1],"status":"candidate","times":[0,2,4],"total":106},{"constructionCost":12,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":8,"referenceAmplitude":16,"signs":[1,1,-1],"status":"candidate","times":[0,2,4],"total":108},{"constructionCost":9,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":8,"referenceAmplitude":4,"signs":[1,-1,-1],"status":"candidate","times":[0,2,4],"total":105},{"constructionCost":10,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":8,"referenceAmplitude":8,"signs":[1,-1,-1],"status":"candidate","times":[0,2,4],"total":106},{"constructionCost":12,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":8,"referenceAmplitude":16,"signs":[1,-1,-1],"status":"candidate","times":[0,2,4],"total":108}],"checker":{"accepted":true,"checks":218,"reason":"Every finite semantic obligation passed."},"cost":{"acquisitions":78,"checking":218,"installations":0,"memoryWords":0,"search":34,"storageBytes":5476,"workerSlots":0},"evidence":{"comparedSchedules":20,"constructionCost":7,"horizonCost":79,"recurringCost":6,"uncertainty":"Exact only within the supplied zero-noise finite model."},"inputs":[],"kind":"learn","program":{"calibrationRaw":[11,12,-3],"degree":1,"errorBound":0,"gainInterval":{"denominator":8,"lower":16,"upper":16},"queryRows":[{"interval":[2,2],"mask":0,"raw":[7,8,1]},{"interval":[4,4],"mask":1,"raw":[11,12,-3]},{"interval":[4,4],"mask":2,"raw":[11,12,-3]},{"interval":[9,9],"mask":3,"raw":[21,22,-13]},{"interval":[6,6],"mask":4,"raw":[15,16,-7]},{"interval":[8,8],"mask":5,"raw":[19,20,-11]},{"interval":[8,8],"mask":6,"raw":[19,20,-11]},{"interval":[13,13],"mask":7,"raw":[29,30,-21]}],"referenceAmplitude":4,"signs":[1,1,-1],"times":[0,1,2],"weights":{"denominator":2,"numerators":[-1,2,-1]}},"reason":"Every finite semantic obligation passed.","scope":"Supplied positive gain, declared polynomial drift, bounded additive read error and finite control domain.","status":"accepted"},{"assumptions":["Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.","No credentials, external executor, currency payment, signing or authority are created."],"attempts":[],"checker":{"accepted":true,"checks":632,"reason":"Every finite semantic obligation passed."},"cost":{"acquisitions":0,"checking":632,"installations":0,"memoryWords":12,"search":8,"storageBytes":948,"workerSlots":0},"evidence":{"executableLabels":6,"fullStateLabels":8,"independentStateOperationCases":16,"memoryLimit":8,"retiredLabels":16,"staticLabels":6},"inputs":["learn"],"kind":"think","program":{"blocks":[[0],[1,2],[3],[4],[5,6],[7]],"decoder":[[2,2],[4,4],[9,9],[6,6],[8,8],[13,13]],"encoder":[0,1,1,2,3,4,4,5],"updates":{"flip-z":[3,4,5,0,1,2]}},"reason":"Every finite semantic obligation passed.","scope":"Every control state, its conservative measurement interval and every permitted operation.","status":"accepted"},{"assumptions":["Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.","No credentials, external executor, currency payment, signing or authority are created."],"attempts":[],"checker":{"accepted":true,"checks":1021,"reason":"Every finite semantic obligation passed."},"cost":{"acquisitions":0,"checking":1021,"installations":1,"memoryWords":10,"search":36,"storageBytes":1980,"workerSlots":3},"evidence":{"afterOccupied":2,"beforeOccupied":3,"equalSavingWrongLocation":"The same packing in the wrong location cannot supply the installation.","independentlyVaryingInputs":true,"serviceCases":36},"inputs":["learn","think"],"kind":"design","program":{"compiled":{"decoder":[[2,2],[4,4],[9,9],[6,6],[8,8],[13,13]],"operations":["flip-z"],"updaters":{"flip-z":[3,4,5,0,1,2]}},"footprint":22,"serviceTable":[[0,0,2,2,3],[0,1,2,2,4],[0,2,2,2,5],[0,3,2,2,0],[0,4,2,2,1],[0,5,2,2,2],[1,0,4,4,3],[1,1,4,4,4],[1,2,4,4,5],[1,3,4,4,0],[1,4,4,4,1],[1,5,4,4,2],[2,0,9,9,3],[2,1,9,9,4],[2,2,9,9,5],[2,3,9,9,0],[2,4,9,9,1],[2,5,9,9,2],[3,0,6,6,3],[3,1,6,6,4],[3,2,6,6,5],[3,3,6,6,0],[3,4,6,6,1],[3,5,6,6,2],[4,0,8,8,3],[4,1,8,8,4],[4,2,8,8,5],[4,3,8,8,0],[4,4,8,8,1],[4,5,8,8,2],[5,0,13,13,3],[5,1,13,13,4],[5,2,13,13,5],[5,3,13,13,0],[5,4,13,13,1],[5,5,13,13,2]],"staging":false,"transition":[[{"location":"left","services":[0]},{"location":"right","services":[1]},{"location":"aux","services":[2]}],[{"location":"left","services":[0,1]},{"location":"right","services":[]},{"location":"aux","services":[2]}]],"vacancy":"right","workerLimit":64,"workersAfter":[{"location":"left","services":[0,1]},{"location":"right","services":[]},{"location":"aux","services":[2]}],"workersBefore":[{"location":"left","services":[0]},{"location":"right","services":[1]},{"location":"aux","services":[2]}]},"reason":"Every finite semantic obligation passed.","scope":"Every independent two-service input and every installation transition phase.","status":"accepted"},{"assumptions":["Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.","No credentials, external executor, currency payment, signing or authority are created."],"attempts":[{"expectedCost":{"denominator":4,"numerator":16},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse","reservations":{"installations":1,"vacancy":"right"}},{"expectedCost":{"denominator":4,"numerator":16},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"L","visits":["source","safety","left","sink"],"worlds":["clear"]},{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"L","visits":["source","safety","left","sink"],"worlds":["right"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["both"]}],"observation":"full","reservations":{"installations":1,"vacancy":"right"}},{"expectedCost":{"denominator":4,"numerator":20},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["clear","left","right","both"]}],"observation":"none","reservations":{"installations":1,"vacancy":"right"}}],"checker":{"accepted":true,"checks":1094,"reason":"Every finite semantic obligation passed."},"cost":{"acquisitions":0,"checking":1094,"installations":1,"memoryWords":0,"search":36,"storageBytes":2725,"workerSlots":0},"evidence":{"objective":"Expected cost under the explicitly supplied uniform finite world distribution.","optimalAmongSuppliedObservationGrammar":true,"residualBeliefs":[["clear","left"],["right","both"]],"worldsChecked":4},"inputs":["learn","think","design"],"kind":"strategise","program":{"expectedCost":{"denominator":4,"numerator":16},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse","reservations":{"installations":1,"vacancy":"right"}},"reason":"Every finite semantic obligation passed.","scope":"All residual fault worlds, permitted tests, routes and mandatory checkpoints.","status":"accepted"},{"assumptions":["Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.","No credentials, external executor, currency payment, signing or authority are created."],"attempts":[{"boundary":0,"component":"installation","status":"candidate","value":8},{"boundary":1,"component":"installation","status":"candidate","value":48},{"boundary":0,"component":"routing","status":"candidate","value":16},{"boundary":1,"component":"routing","status":"candidate","value":24}],"checker":{"accepted":true,"checks":1710,"reason":"Every finite semantic obligation passed."},"cost":{"acquisitions":0,"checking":1710,"installations":2,"memoryWords":8,"search":62,"storageBytes":4095,"workerSlots":0},"evidence":{"completeBoundaryCases":2,"completeProfilePropagationStopped":false,"currentWitnessMaterialized":true,"executableDependency":"Independent installation and routing modules share only the complete checkpoint boundary. Current local witnesses compose into current executable actions.","localWitnessesReconstructed":true,"relevantBindingsCompared":true,"retainedComponents":[],"scalarOnlyReuse":false},"inputs":["learn","think","design","strategise"],"kind":"execute","program":{"bindings":{"availableActions":["isolate","reference"],"checkpoint":"safety","compiledServices":{"decoder":[[2,2],[4,4],[9,9],[6,6],[8,8],[13,13]],"operations":["flip-z"],"updaters":{"flip-z":[3,4,5,0,1,2]}},"denominator":4,"intendedUses":12,"policy":{"expectedCost":{"denominator":4,"numerator":16},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse","reservations":{"installations":1,"vacancy":"right"}},"residentWords":22,"vacancy":"right","workerSlots":1},"components":[{"boundary":["c"],"factorIds":["prepare","reference","capacity","checkpoint"],"id":"installation","private":["a","b"],"profiles":[{"boundary":0,"value":8,"witness":{"a":1,"b":0,"c":0}},{"boundary":1,"value":48,"witness":{"a":0,"b":1,"c":1}}]},{"boundary":["c"],"factorIds":["route"],"id":"routing","private":["r"],"profiles":[{"boundary":0,"value":16,"witness":{"c":0,"r":0}},{"boundary":1,"value":24,"witness":{"c":1,"r":0}}]}],"currentBoundary":0,"factors":[{"id":"prepare","scope":["a"],"table":[{"cost":0,"values":[0]},{"cost":8,"values":[1]}]},{"id":"reference","scope":["b"],"table":[{"cost":0,"values":[0]},{"cost":48,"values":[1]}]},{"id":"capacity","scope":["a","b"],"table":[{"cost":null,"values":[0,0]},{"cost":0,"values":[1,0]},{"cost":0,"values":[0,1]},{"cost":null,"values":[1,1]}]},{"id":"route","scope":["r","c"],"table":[{"cost":16,"values":[0,0]},{"cost":24,"values":[1,0]},{"cost":24,"values":[0,1]},{"cost":32,"values":[1,1]}]},{"id":"checkpoint","scope":["b","c"],"table":[{"cost":0,"values":[0,0]},{"cost":0,"values":[1,0]},{"cost":null,"values":[0,1]},{"cost":0,"values":[1,1]}]}],"installations":{"actions":["isolate"],"placement":"right","scopeControls":3},"profiles":[{"boundary":0,"value":24,"witness":{"a":1,"b":0,"c":0,"r":0}},{"boundary":1,"value":72,"witness":{"a":0,"b":1,"c":1,"r":0}}],"reuseContracts":[{"completeProfileEqual":false,"component":"installation","propagation":"cold","status":"rebuilt"},{"completeProfileEqual":false,"component":"routing","propagation":"cold","status":"rebuilt"}],"reusedFactors":[],"routeWitness":{"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse"},"variables":["a","b","r","c"],"witness":{"a":1,"b":0,"c":0,"r":0}},"reason":"Every finite semantic obligation passed.","scope":"Complete finite factor scopes, both boundary values, current policy bindings and current witness.","status":"accepted"},{"assumptions":["Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.","No credentials, external executor, currency payment, signing or authority are created."],"attempts":[{"coefficients":[2,2,2,3,4,0,0,0],"costs":{"install":0,"recurring":0},"degree":2,"horizonCost":0,"operations":[],"reason":"This operation is not installed by the accepted execution witness.","responseTable":[2,4,4,9,6,8,8,13],"status":"rejected"},{"coefficients":[2,2,2,0,4,0,0,0],"costs":{"install":2,"recurring":0},"degree":1,"horizonCost":2,"operations":["isolate"],"reason":"Installed current completion witness.","responseTable":[2,4,4,6,6,8,8,10],"status":"candidate"},{"coefficients":[2,2,2,0,4,0,0,0],"costs":{"install":0,"recurring":1},"degree":1,"horizonCost":12,"operations":["reference"],"reason":"This operation is not installed by the accepted execution witness.","responseTable":[2,4,4,6,6,8,8,10],"status":"rejected"},{"coefficients":[2,2,2,0,4,0,0,0],"costs":{"install":4,"recurring":0},"degree":1,"horizonCost":4,"operations":["modularize"],"reason":"This operation is not installed by the accepted execution witness.","responseTable":[2,4,4,6,6,8,8,10],"status":"rejected"}],"checker":{"accepted":true,"checks":1929,"reason":"Every finite semantic obligation passed."},"cost":{"acquisitions":828,"checking":92340,"installations":0,"memoryWords":0,"search":6425,"storageBytes":14070,"workerSlots":0},"evidence":{"frozenBeforeQueries":true,"fullDomainCases":8,"higherOrderCoefficientsChecked":true,"horizonCost":2,"semantics":"Supplied operation effects remove the declared nuisance; no physical claim or curve-fit proof."},"inputs":["learn","think","design","strategise","execute"],"kind":"evolve","program":{"coefficients":[2,2,2,0,4,0,0,0],"degree":1,"freezeOrder":"before-query-evaluation","operations":["isolate"],"responseTable":[2,4,4,6,6,8,8,10],"scopeControls":3},"reason":"Every finite semantic obligation passed.","scope":"Declared operation grammar, full response domain and every interaction coefficient.","status":"accepted"}],"state":"accepted"},"resultDigest":"f5b0b3711e8f8314b2ead3f3a2dfd79fc7b4e323d3d656f24ada6a0c080495dd"},"previous":"deffdabbd19cdc6b589072c728cfc44135d96c831f2e14a064702f4cdd1769f2","sequence":2},{"digest":"8e1ad2de92efe208e78614bd2d43a72ad25904cd79eba12856f4a2503f531a82","kind":"lab-evidence-attached","payload":{"campaignDigest":"bfd0a7bc21ad197a64fc5e6b590c9aa0cc1d4ee02eebbc4af44275ea9179a3f3","kind":"future-freeze","record":{"authority":false,"freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e","schema":"discovery-lab-freeze-reference/v1"},"recordDigest":"88d05f045b860912374e192968167111c3ca03037dec1af6593098270dbaa853"},"previous":"bfd0a7bc21ad197a64fc5e6b590c9aa0cc1d4ee02eebbc4af44275ea9179a3f3","sequence":3},{"digest":"9eb06dc60260442ea5ba956134b0c6e5fa422e39f7a75d39a7fa2c21a054397a","kind":"lab-evidence-attached","payload":{"campaignDigest":"bfd0a7bc21ad197a64fc5e6b590c9aa0cc1d4ee02eebbc4af44275ea9179a3f3","kind":"future-task-bank","record":{"digest":"5ef2174d29b38064d10aee19013da0254dd66b6ba9419e2876b7a7b70b8f2dcf","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e","protocolDigest":"53829f3ab7ed1f9ce3dd2925987a7f0fea1c81899a931976e6109646e7394948","schema":"discovery-lab-future-task-bank/v1","scope":"Public synthetic protocol holdouts over a finite supplied model, not secret external benchmarks.","tasks":[{"id":"future-18-0","kind":"screen","maxActiveControls":0,"parameter":9,"regime":"linear"},{"id":"future-18-1","kind":"inverse","maxActiveControls":2,"parameter":14,"regime":"linear"},{"id":"future-18-2","kind":"select","maxActiveControls":0,"parameter":3,"regime":"linear"},{"id":"future-18-3","kind":"screen","maxActiveControls":2,"parameter":14,"regime":"linear"},{"id":"future-18-4","kind":"inverse","maxActiveControls":0,"parameter":3,"regime":"linear"},{"id":"future-18-5","kind":"select","maxActiveControls":2,"parameter":12,"regime":"coupled"}]},"recordDigest":"eb66e2ca16c4bfec2360f25c8a1fe0da5eaf8fde2a990aa7f8a8a5d5529b3958"},"previous":"8e1ad2de92efe208e78614bd2d43a72ad25904cd79eba12856f4a2503f531a82","sequence":4},{"digest":"12842a5fea291a69da8eae83d6e8e2b3bca5bf2e69ada9b906da1b6c72e44766","kind":"lab-evidence-attached","payload":{"campaignDigest":"bfd0a7bc21ad197a64fc5e6b590c9aa0cc1d4ee02eebbc4af44275ea9179a3f3","kind":"future-run-reserved","record":{"attempt":"future-0d6a88e3-56f4-46ed-8f3c-77e29e3338d7","perTaskWorkLimit":3000000,"schema":"discovery-lab-future-reservation/v1","taskBankDigest":"5ef2174d29b38064d10aee19013da0254dd66b6ba9419e2876b7a7b70b8f2dcf"},"recordDigest":"11416cc17505f7cf739cf442adfaf372125cf4214409cca9e94d2c030af4305e"},"previous":"9eb06dc60260442ea5ba956134b0c6e5fa422e39f7a75d39a7fa2c21a054397a","sequence":5},{"digest":"b06ced64dc34d6832643d24df3364c94deb504bcc6e65dd8db29b16da6da9d66","kind":"lab-evidence-attached","payload":{"campaignDigest":"bfd0a7bc21ad197a64fc5e6b590c9aa0cc1d4ee02eebbc4af44275ea9179a3f3","kind":"future-evaluation","record":{"accounting":{"checking":"Admission replay and every future checker are charged; scratch construction includes its own checks and comparisons.","construction":"Complete declared lineage construction, including original campaign comparisons and failed search.","memoryAndStorage":"Original campaign peak memory/storage retained in frozen campaign; future report byte count measured separately by caller.","promotion":"No imported result or local comparison authorizes promotion or settlement.","review":"Human/organizational review, external coordination and operational-pilot costs are unmeasured, not zero.","unknownCosts":["organizational-review","external-coordination","energy","external-execution"]},"authority":false,"digest":"30c1dab0a7a65e7c27004ee01544a0e5c24bf5c059c3cc6a74bf2eba7aad4ab1","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e","perTaskWorkLimit":3000000,"protocol":{"ordering":["verify-construction","freeze-executable-environment-obligations-evaluator","commit-future-bank","invoke","check"],"schema":"discovery-lab-future-protocol/v1","scope":"Public synthetic protocol holdouts over a finite supplied model, not secret external benchmarks.","taskFamilies":["screen","inverse","select"],"taskSelection":"Commit the entire supplied bank before any arm runs; retain all tasks and treatments.","treatments":["frozen-capability","capability-removed","construction-from-scratch","competent-static","unrestricted-same-primitive","stale-capability-control","poisoned-capability-control"],"workUnits":"Logical work = acquisitions + search + checking + installations, each weight 1; not CPU instructions or money."},"relations":[{"comparisons":[{"relation":"frozen-warm-cheaper","treatment":"capability-removed"},{"relation":"frozen-warm-cheaper","treatment":"construction-from-scratch"},{"relation":"frozen-warm-cheaper","treatment":"competent-static"},{"relation":"warm-tie","treatment":"unrestricted-same-primitive"}],"taskId":"future-18-0"},{"comparisons":[{"relation":"frozen-warm-cheaper","treatment":"capability-removed"},{"relation":"frozen-warm-cheaper","treatment":"construction-from-scratch"},{"relation":"frozen-warm-cheaper","treatment":"competent-static"},{"relation":"warm-tie","treatment":"unrestricted-same-primitive"}],"taskId":"future-18-1"},{"comparisons":[{"relation":"frozen-warm-cheaper","treatment":"capability-removed"},{"relation":"frozen-warm-cheaper","treatment":"construction-from-scratch"},{"relation":"frozen-warm-cheaper","treatment":"competent-static"},{"relation":"warm-tie","treatment":"unrestricted-same-primitive"}],"taskId":"future-18-2"},{"comparisons":[{"relation":"frozen-warm-cheaper","treatment":"capability-removed"},{"relation":"frozen-warm-cheaper","treatment":"construction-from-scratch"},{"relation":"frozen-warm-cheaper","treatment":"competent-static"},{"relation":"warm-tie","treatment":"unrestricted-same-primitive"}],"taskId":"future-18-3"},{"comparisons":[{"relation":"frozen-warm-cheaper","treatment":"capability-removed"},{"relation":"frozen-warm-cheaper","treatment":"construction-from-scratch"},{"relation":"frozen-warm-cheaper","treatment":"competent-static"},{"relation":"warm-tie","treatment":"unrestricted-same-primitive"}],"taskId":"future-18-4"},{"comparisons":[{"relation":"not-comparable","treatment":"capability-removed"},{"relation":"not-comparable","treatment":"construction-from-scratch"},{"relation":"not-comparable","treatment":"competent-static"},{"relation":"not-comparable","treatment":"unrestricted-same-primitive"}],"taskId":"future-18-5"}],"runs":[{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":24},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[7]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-0","treatment":"frozen-capability"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":8,"checking":17,"installations":0,"search":80},"invocations":[{"action":"invoke-supplied-simulator-without-capability","retainedTable":false}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[7]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-0","treatment":"capability-removed"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":906,"checking":97032,"installations":4,"search":6625},"invocations":[{"action":"construct-from-scratch","resources":{"acquisitions":906,"checking":97015,"installations":4,"memoryWords":30,"search":6601,"storageBytes":29294,"workerSlots":3},"state":"accepted"},{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[7]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-0","treatment":"construction-from-scratch"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":40},"invocations":[{"action":"invoke-competent-fixed-formula","retainedTable":false}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[7]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-0","treatment":"competent-static"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":24},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"independently-enumerated-unrestricted","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[7]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-0","treatment":"unrestricted-same-primitive"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":24},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":true,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[7]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-0","treatment":"stale-capability-control"},{"checker":null,"costs":{"acquisitions":0,"checking":1,"installations":0,"search":0},"invocations":[{"action":"refuse-replacement","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e","reason":"Replacement has no verified frozen custody."}],"output":null,"reason":"Poisoned replacement was refused before invocation.","status":"rejected","taskId":"future-18-0","treatment":"poisoned-capability-control"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":24},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-1","treatment":"frozen-capability"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":8,"checking":17,"installations":0,"search":80},"invocations":[{"action":"invoke-supplied-simulator-without-capability","retainedTable":false}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-1","treatment":"capability-removed"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":906,"checking":97032,"installations":4,"search":6625},"invocations":[{"action":"construct-from-scratch","resources":{"acquisitions":906,"checking":97015,"installations":4,"memoryWords":30,"search":6601,"storageBytes":29294,"workerSlots":3},"state":"accepted"},{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-1","treatment":"construction-from-scratch"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":40},"invocations":[{"action":"invoke-competent-fixed-formula","retainedTable":false}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-1","treatment":"competent-static"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":24},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"independently-enumerated-unrestricted","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-1","treatment":"unrestricted-same-primitive"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":24},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":true,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-1","treatment":"stale-capability-control"},{"checker":null,"costs":{"acquisitions":0,"checking":1,"installations":0,"search":0},"invocations":[{"action":"refuse-replacement","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e","reason":"Replacement has no verified frozen custody."}],"output":null,"reason":"Poisoned replacement was refused before invocation.","status":"rejected","taskId":"future-18-1","treatment":"poisoned-capability-control"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":26},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[0]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-2","treatment":"frozen-capability"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":8,"checking":17,"installations":0,"search":82},"invocations":[{"action":"invoke-supplied-simulator-without-capability","retainedTable":false}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[0]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-2","treatment":"capability-removed"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":906,"checking":97032,"installations":4,"search":6627},"invocations":[{"action":"construct-from-scratch","resources":{"acquisitions":906,"checking":97015,"installations":4,"memoryWords":30,"search":6601,"storageBytes":29294,"workerSlots":3},"state":"accepted"},{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[0]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-2","treatment":"construction-from-scratch"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":42},"invocations":[{"action":"invoke-competent-fixed-formula","retainedTable":false}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[0]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-2","treatment":"competent-static"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":26},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"independently-enumerated-unrestricted","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[0]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-2","treatment":"unrestricted-same-primitive"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":26},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":true,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[0]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-2","treatment":"stale-capability-control"},{"checker":null,"costs":{"acquisitions":0,"checking":1,"installations":0,"search":0},"invocations":[{"action":"refuse-replacement","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e","reason":"Replacement has no verified frozen custody."}],"output":null,"reason":"Poisoned replacement was refused before invocation.","status":"rejected","taskId":"future-18-2","treatment":"poisoned-capability-control"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":24},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-3","treatment":"frozen-capability"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":8,"checking":17,"installations":0,"search":80},"invocations":[{"action":"invoke-supplied-simulator-without-capability","retainedTable":false}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-3","treatment":"capability-removed"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":906,"checking":97032,"installations":4,"search":6625},"invocations":[{"action":"construct-from-scratch","resources":{"acquisitions":906,"checking":97015,"installations":4,"memoryWords":30,"search":6601,"storageBytes":29294,"workerSlots":3},"state":"accepted"},{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-3","treatment":"construction-from-scratch"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":40},"invocations":[{"action":"invoke-competent-fixed-formula","retainedTable":false}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-3","treatment":"competent-static"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":24},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"independently-enumerated-unrestricted","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-3","treatment":"unrestricted-same-primitive"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":24},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":true,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-3","treatment":"stale-capability-control"},{"checker":null,"costs":{"acquisitions":0,"checking":1,"installations":0,"search":0},"invocations":[{"action":"refuse-replacement","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e","reason":"Replacement has no verified frozen custody."}],"output":null,"reason":"Poisoned replacement was refused before invocation.","status":"rejected","taskId":"future-18-3","treatment":"poisoned-capability-control"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":24},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-4","treatment":"frozen-capability"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":8,"checking":17,"installations":0,"search":80},"invocations":[{"action":"invoke-supplied-simulator-without-capability","retainedTable":false}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-4","treatment":"capability-removed"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":906,"checking":97032,"installations":4,"search":6625},"invocations":[{"action":"construct-from-scratch","resources":{"acquisitions":906,"checking":97015,"installations":4,"memoryWords":30,"search":6601,"storageBytes":29294,"workerSlots":3},"state":"accepted"},{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-4","treatment":"construction-from-scratch"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":40},"invocations":[{"action":"invoke-competent-fixed-formula","retainedTable":false}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-4","treatment":"competent-static"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":24},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"independently-enumerated-unrestricted","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-4","treatment":"unrestricted-same-primitive"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":24},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":true,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-4","treatment":"stale-capability-control"},{"checker":null,"costs":{"acquisitions":0,"checking":1,"installations":0,"search":0},"invocations":[{"action":"refuse-replacement","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e","reason":"Replacement has no verified frozen custody."}],"output":null,"reason":"Poisoned replacement was refused before invocation.","status":"rejected","taskId":"future-18-4","treatment":"poisoned-capability-control"},{"checker":null,"costs":{"acquisitions":0,"checking":1,"installations":0,"search":0},"invocations":[{"action":"refuse-stale-regime","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":null,"reason":"Changed regime is outside the frozen capability admission scope.","status":"rejected","taskId":"future-18-5","treatment":"frozen-capability"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":8,"checking":17,"installations":0,"search":94},"invocations":[{"action":"invoke-supplied-simulator-without-capability","retainedTable":false}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":15}],"selected":[5,6]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-5","treatment":"capability-removed"},{"checker":null,"costs":{"acquisitions":78,"checking":4574,"installations":4,"search":176},"invocations":[{"action":"construct-from-scratch","resources":{"acquisitions":78,"checking":4573,"installations":4,"memoryWords":30,"search":176,"storageBytes":17552,"workerSlots":3},"state":"rejected"}],"output":null,"reason":null,"status":"rejected","taskId":"future-18-5","treatment":"construction-from-scratch"},{"checker":{"accepted":true,"reason":"Every finite output and task answer agrees with separately implemented semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":78},"invocations":[{"action":"invoke-competent-fixed-formula","retainedTable":false}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":15}],"selected":[5,6]},"reason":"Every finite output and task answer agrees with separately implemented semantics.","status":"accepted","taskId":"future-18-5","treatment":"competent-static"},{"checker":{"accepted":false,"reason":"The future output disagrees with the separately implemented current-regime semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":38},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":false,"executable":"independently-enumerated-unrestricted","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[5,6]},"reason":"The future output disagrees with the separately implemented current-regime semantics.","status":"rejected","taskId":"future-18-5","treatment":"unrestricted-same-primitive"},{"checker":{"accepted":false,"reason":"The future output disagrees with the separately implemented current-regime semantics.","scope":"Same-session independently implemented synthetic checker; no organizational reproduction."},"costs":{"acquisitions":0,"checking":17,"installations":0,"search":38},"invocations":[{"action":"invoke-frozen-response-table","admissionBypassed":true,"executable":"accepted-evolve-program","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e"}],"output":{"rows":[{"mask":0,"value":2},{"mask":1,"value":4},{"mask":2,"value":4},{"mask":3,"value":6},{"mask":4,"value":6},{"mask":5,"value":8},{"mask":6,"value":8},{"mask":7,"value":10}],"selected":[5,6]},"reason":"The future output disagrees with the separately implemented current-regime semantics.","status":"rejected","taskId":"future-18-5","treatment":"stale-capability-control"},{"checker":null,"costs":{"acquisitions":0,"checking":1,"installations":0,"search":0},"invocations":[{"action":"refuse-replacement","freezeDigest":"79207825acad56821b4fdce3d79b15fc5ab0bfb1626ca0ddd80bf76fe0841b9e","reason":"Replacement has no verified frozen custody."}],"output":null,"reason":"Poisoned replacement was refused before invocation.","status":"rejected","taskId":"future-18-5","treatment":"poisoned-capability-control"}],"schema":"discovery-lab-future-evaluation/v1","summaries":[{"amortizedWork":{"denominator":6,"numerator":209260},"cold":{"acquisitions":1812,"checking":194030,"installations":8,"search":13202},"completed":5,"inconclusive":0,"recurring":{"acquisitions":0,"checking":86,"installations":0,"search":122},"rejected":1,"total":{"acquisitions":1812,"checking":194116,"installations":8,"search":13324},"treatment":"frozen-capability"},{"amortizedWork":{"denominator":6,"numerator":646},"cold":{"acquisitions":0,"checking":0,"installations":0,"search":0},"completed":6,"inconclusive":0,"recurring":{"acquisitions":48,"checking":102,"installations":0,"search":496},"rejected":0,"total":{"acquisitions":48,"checking":102,"installations":0,"search":496},"treatment":"capability-removed"},{"amortizedWork":{"denominator":6,"numerator":527669},"cold":{"acquisitions":0,"checking":0,"installations":0,"search":0},"completed":5,"inconclusive":0,"recurring":{"acquisitions":4608,"checking":489734,"installations":24,"search":33303},"rejected":1,"total":{"acquisitions":4608,"checking":489734,"installations":24,"search":33303},"treatment":"construction-from-scratch"},{"amortizedWork":{"denominator":6,"numerator":382},"cold":{"acquisitions":0,"checking":0,"installations":0,"search":0},"completed":6,"inconclusive":0,"recurring":{"acquisitions":0,"checking":102,"installations":0,"search":280},"rejected":0,"total":{"acquisitions":0,"checking":102,"installations":0,"search":280},"treatment":"competent-static"},{"amortizedWork":{"denominator":6,"numerator":90041},"cold":{"acquisitions":540,"checking":83166,"installations":0,"search":6073},"completed":5,"inconclusive":0,"recurring":{"acquisitions":0,"checking":102,"installations":0,"search":160},"rejected":1,"total":{"acquisitions":540,"checking":83268,"installations":0,"search":6233},"treatment":"unrestricted-same-primitive"},{"amortizedWork":{"denominator":6,"numerator":209314},"cold":{"acquisitions":1812,"checking":194030,"installations":8,"search":13202},"completed":5,"inconclusive":0,"recurring":{"acquisitions":0,"checking":102,"installations":0,"search":160},"rejected":1,"total":{"acquisitions":1812,"checking":194132,"installations":8,"search":13362},"treatment":"stale-capability-control"},{"amortizedWork":{"denominator":6,"numerator":6},"cold":{"acquisitions":0,"checking":0,"installations":0,"search":0},"completed":0,"inconclusive":0,"recurring":{"acquisitions":0,"checking":6,"installations":0,"search":0},"rejected":6,"total":{"acquisitions":0,"checking":6,"installations":0,"search":0},"treatment":"poisoned-capability-control"}],"taskBankDigest":"5ef2174d29b38064d10aee19013da0254dd66b6ba9419e2876b7a7b70b8f2dcf"},"recordDigest":"cc42ada9e36441c64f931e7f4364ea78580c7e1f3db4833a9884ebfd2aa7a41a"},"previous":"12842a5fea291a69da8eae83d6e8e2b3bca5bf2e69ada9b906da1b6c72e44766","sequence":6},{"digest":"d61eefdbb5efacfaaac74099a65cc0f633a747002fba8376f6eb6f8467afbc5c","kind":"lab-evidence-attached","payload":{"campaignDigest":"bfd0a7bc21ad197a64fc5e6b590c9aa0cc1d4ee02eebbc4af44275ea9179a3f3","kind":"real-task-contract","record":{"adapterSources":{"adapterSourceDigest":"86aae1d8e0ad8c072957567cf5c5f19983e8a5dcba28225f4d3f53e7efe98d2d","checkerSourceDigest":"86aae1d8e0ad8c072957567cf5c5f19983e8a5dcba28225f4d3f53e7efe98d2d"},"artifact":null,"authority":"none","bindings":{"charterDigest":"d06d3f004b4de1ad840c2d9fb4098c96ae62d39a7e30c4c29d48bfa8a95bc790","evaluatorDigest":"ba46c89d42defc9d78ac61090f5ccc793549c4c072a5afe825bc7b434b3f7099","missionId":"capability-fc911b7d-e209-4bed-b8c2-2682f3f879bd","modelDigest":"16655c0cce276415f4f08bf9ced35cec04c086545adc4d72122e038b29244506","purposeDigest":"eff029abd79af61fd21de23b48a10962271e8e7aa8c24f45d3d6a791590af3a5","revision":1,"sourceDigest":"54769dbfde99ae13708a33292866f0ca7e6b8b7792a7a944f76bf2fbf1de1358"},"campaignDigest":"bfd0a7bc21ad197a64fc5e6b590c9aa0cc1d4ee02eebbc4af44275ea9179a3f3","checks":[],"dataScope":"public-nonpersonal-owner-declared","family":"public-integer-affine-module/v1","inputArtifacts":["df22ecff015472f265e67ab988d7f5a59fce92c06f6da832a482f27d20e7e77c","978dde38f5ca400961de1320d6ce3dfbf7164e575f2c820c4360e302afa3db14","8dd0d2f95e3973f8dd7df46aa1d166457fb6ebd210e26c66917f90410a37be32","933deee6da7fc0d38a4a083d7d721d3c2ff851caa7d61e721c258627dbfb033f","d68a5de0daebaef4a168515487a4fb46f9d866a971122851b674d2be1d0395b1"],"missionId":"capability-fc911b7d-e209-4bed-b8c2-2682f3f879bd","operationalAcceptance":"qualified-model-tool-runtime-and-independent-operator-required","operationalState":"NOT_RUN","originHead":"b06ced64dc34d6832643d24df3364c94deb504bcc6e65dd8db29b16da6da9d66","proposalDigest":"d1fd9d5deb2b8529435f89d2036e7d4a26c9a02e2fa7354d5f6cc73e5eebfd76","publicSource":"https://github.com/MontrealAI/AGI-Alpha-Agent-v0","resourceLimits":{"acquisitions":100,"checking":100000,"elapsedMs":60000,"installations":0,"memoryBytes":10000000,"search":100000,"storageBytes":1000000,"workerCapacity":1},"schema":"successor-discovery-real-task/v1","settlement":"not-performed","specification":{"maxBatchRows":32,"multiplier":"2","offset":"1"},"taskBank":null,"workRequest":{"charterDigest":"d06d3f004b4de1ad840c2d9fb4098c96ae62d39a7e30c4c29d48bfa8a95bc790","commission":{"branch":"lab-011db554-e0b7-4868-8720-3cd49cc608fc-usdc","capBaseUnits":"0","currency":"USDC6","id":"lab-011db554-e0b7-4868-8720-3cd49cc608fc","route":"manager-usdc","status":"DRAFT_NOT_SUBMITTED"},"evaluatorDigest":"ba46c89d42defc9d78ac61090f5ccc793549c4c072a5afe825bc7b434b3f7099","executionMode":"synthetic-local","inputArtifacts":["df22ecff015472f265e67ab988d7f5a59fce92c06f6da832a482f27d20e7e77c","978dde38f5ca400961de1320d6ce3dfbf7164e575f2c820c4360e302afa3db14","8dd0d2f95e3973f8dd7df46aa1d166457fb6ebd210e26c66917f90410a37be32","933deee6da7fc0d38a4a083d7d721d3c2ff851caa7d61e721c258627dbfb033f","d68a5de0daebaef4a168515487a4fb46f9d866a971122851b674d2be1d0395b1"],"missionId":"capability-fc911b7d-e209-4bed-b8c2-2682f3f879bd","modelDigest":"16655c0cce276415f4f08bf9ced35cec04c086545adc4d72122e038b29244506","payload":{"ancestors":[],"charter":{"accuracy":1,"actualDrift":"linear","budget":{"acquisitions":2000,"checking":1000000,"installations":20,"search":1000000,"storageBytes":500000},"checkpoints":["safety"],"controls":3,"driftScope":"linear","faultHypotheses":["clear","left","right","both"],"hiddenCoupling":false,"intendedUses":12,"memory":8,"noise":0,"observations":["contrast","reference","coarse","full"],"operations":["flip-z"],"purpose":"qualified-finite-discovery-platform","schema":"discovery-lab-charter/v1","topology":"right","workerCapacity":3},"result":{"charter":{"accuracy":1,"actualDrift":"linear","budget":{"acquisitions":2000,"checking":1000000,"installations":20,"search":1000000,"storageBytes":500000},"checkpoints":["safety"],"controls":3,"driftScope":"linear","faultHypotheses":["clear","left","right","both"],"hiddenCoupling":false,"intendedUses":12,"memory":8,"noise":0,"observations":["contrast","reference","coarse","full"],"operations":["flip-z"],"purpose":"qualified-finite-discovery-platform","schema":"discovery-lab-charter/v1","topology":"right","workerCapacity":3},"comparisons":[{"completeCampaignCandidates":54,"independentlyQualifiedCampaigns":54,"measuredWork":{"acquisitions":540,"checking":83166,"installations":0,"search":6073},"measurementCandidates":18,"measurementHorizon":79,"name":"Unrestricted same-primitive finite reference","objective":{"denominator":4,"numerator":344},"objectiveUnits":"Declared acquisition-program horizon price plus uniform-world completion/installation price; search/checking resources are reported separately.","platformCandidates":4,"policyCombinations":15,"policyExpectedCost":{"denominator":4,"numerator":16},"primaryObjective":{"denominator":4,"numerator":344},"rejectedCampaigns":[],"relation":"tie","scope":"Joint direct construction and current independent acceptance across the complete declared finite campaign grammar. Not a global architecture optimum outside that grammar.","status":"accepted","witness":[{"kind":"learn","program":{"calibrationRaw":[11,12,-3],"degree":1,"errorBound":0,"gainInterval":{"denominator":8,"lower":16,"upper":16},"queryRows":[{"interval":[2,2],"mask":0,"raw":[7,8,1]},{"interval":[4,4],"mask":1,"raw":[11,12,-3]},{"interval":[4,4],"mask":2,"raw":[11,12,-3]},{"interval":[9,9],"mask":3,"raw":[21,22,-13]},{"interval":[6,6],"mask":4,"raw":[15,16,-7]},{"interval":[8,8],"mask":5,"raw":[19,20,-11]},{"interval":[8,8],"mask":6,"raw":[19,20,-11]},{"interval":[13,13],"mask":7,"raw":[29,30,-21]}],"referenceAmplitude":4,"signs":[1,1,-1],"times":[0,1,2],"weights":{"denominator":2,"numerators":[-1,2,-1]}}},{"kind":"think","program":{"blocks":[[0],[1,2],[3],[4],[5,6],[7]],"decoder":[[2,2],[4,4],[9,9],[6,6],[8,8],[13,13]],"encoder":[0,1,1,2,3,4,4,5],"updates":{"flip-z":[3,4,5,0,1,2]}}},{"kind":"design","program":{"compiled":{"decoder":[[2,2],[4,4],[9,9],[6,6],[8,8],[13,13]],"operations":["flip-z"],"updaters":{"flip-z":[3,4,5,0,1,2]}},"footprint":22,"serviceTable":[[0,0,2,2,3],[0,1,2,2,4],[0,2,2,2,5],[0,3,2,2,0],[0,4,2,2,1],[0,5,2,2,2],[1,0,4,4,3],[1,1,4,4,4],[1,2,4,4,5],[1,3,4,4,0],[1,4,4,4,1],[1,5,4,4,2],[2,0,9,9,3],[2,1,9,9,4],[2,2,9,9,5],[2,3,9,9,0],[2,4,9,9,1],[2,5,9,9,2],[3,0,6,6,3],[3,1,6,6,4],[3,2,6,6,5],[3,3,6,6,0],[3,4,6,6,1],[3,5,6,6,2],[4,0,8,8,3],[4,1,8,8,4],[4,2,8,8,5],[4,3,8,8,0],[4,4,8,8,1],[4,5,8,8,2],[5,0,13,13,3],[5,1,13,13,4],[5,2,13,13,5],[5,3,13,13,0],[5,4,13,13,1],[5,5,13,13,2]],"staging":false,"transition":[[{"location":"left","services":[0]},{"location":"right","services":[1]},{"location":"aux","services":[2]}],[{"location":"left","services":[0,1]},{"location":"right","services":[]},{"location":"aux","services":[2]}]],"vacancy":"right","workerLimit":64,"workersAfter":[{"location":"left","services":[0,1]},{"location":"right","services":[]},{"location":"aux","services":[2]}],"workersBefore":[{"location":"left","services":[0]},{"location":"right","services":[1]},{"location":"aux","services":[2]}]}},{"kind":"strategise","program":{"expectedCost":{"denominator":4,"numerator":16},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse","reservations":{"installations":1,"vacancy":"right"}}},{"kind":"execute","program":{"bindings":{"availableActions":["isolate","reference"],"checkpoint":"safety","compiledServices":{"decoder":[[2,2],[4,4],[9,9],[6,6],[8,8],[13,13]],"operations":["flip-z"],"updaters":{"flip-z":[3,4,5,0,1,2]}},"denominator":4,"intendedUses":12,"policy":{"expectedCost":{"denominator":4,"numerator":16},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse","reservations":{"installations":1,"vacancy":"right"}},"residentWords":22,"vacancy":"right","workerSlots":1},"components":[{"boundary":["c"],"factorIds":["prepare","reference","capacity","checkpoint"],"id":"installation","private":["a","b"],"profiles":[{"boundary":0,"value":8,"witness":{"a":1,"b":0,"c":0}},{"boundary":1,"value":48,"witness":{"a":0,"b":1,"c":1}}]},{"boundary":["c"],"factorIds":["route"],"id":"routing","private":["r"],"profiles":[{"boundary":0,"value":16,"witness":{"c":0,"r":0}},{"boundary":1,"value":24,"witness":{"c":1,"r":0}}]}],"currentBoundary":0,"factors":[{"id":"prepare","scope":["a"],"table":[{"cost":0,"values":[0]},{"cost":8,"values":[1]}]},{"id":"reference","scope":["b"],"table":[{"cost":0,"values":[0]},{"cost":48,"values":[1]}]},{"id":"capacity","scope":["a","b"],"table":[{"cost":null,"values":[0,0]},{"cost":0,"values":[1,0]},{"cost":0,"values":[0,1]},{"cost":null,"values":[1,1]}]},{"id":"route","scope":["r","c"],"table":[{"cost":16,"values":[0,0]},{"cost":24,"values":[1,0]},{"cost":24,"values":[0,1]},{"cost":32,"values":[1,1]}]},{"id":"checkpoint","scope":["b","c"],"table":[{"cost":0,"values":[0,0]},{"cost":0,"values":[1,0]},{"cost":null,"values":[0,1]},{"cost":0,"values":[1,1]}]}],"installations":{"actions":["isolate"],"placement":"right","scopeControls":3},"profiles":[{"boundary":0,"value":24,"witness":{"a":1,"b":0,"c":0,"r":0}},{"boundary":1,"value":72,"witness":{"a":0,"b":1,"c":1,"r":0}}],"reuseContracts":[{"completeProfileEqual":false,"component":"installation","propagation":"cold","status":"rebuilt"},{"completeProfileEqual":false,"component":"routing","propagation":"cold","status":"rebuilt"}],"reusedFactors":[],"routeWitness":{"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse"},"variables":["a","b","r","c"],"witness":{"a":1,"b":0,"c":0,"r":0}}},{"kind":"evolve","program":{"coefficients":[2,2,2,0,4,0,0,0],"degree":1,"freezeOrder":"before-query-evaluation","operations":["isolate"],"responseTable":[2,4,4,6,6,8,8,10],"scopeControls":3}}]},{"measuredConfigurations":96,"measuredWork":{"acquisitions":288,"checking":96,"installations":0,"search":96},"name":"Fixed architecture with more search","responseChecksum":648,"retainedStructure":false,"scope":"Direct full finite-response replay at every use; same qualified measurement access, no installed interaction simplification.","status":"accepted"},{"candidateLabels":6,"labels":8,"measuredWork":{"acquisitions":0,"checking":642,"installations":0,"search":8},"name":"Full-state reasoning","reason":"Every finite semantic obligation passed.","scope":"Actual identity encoder, contextual interval decoder and direct operation tables.","status":"accepted"},{"measuredWork":{"acquisitions":0,"checking":3,"installations":0,"search":0},"name":"Separate service realization","reason":"Complete initial occupancy has no permitted empty installation destination.","requiredServices":3,"scope":"Current separate realization and fixed admitted worker topology.","status":"rejected","vacancies":0},{"completePolicyCombinations":12,"expectedCost":{"denominator":4,"numerator":16},"measuredWork":{"acquisitions":0,"checking":1120,"installations":0,"search":0},"name":"Full diagnosis","scope":"Every residual world and admitted route combination enumerated independently.","status":"accepted"},{"completePolicyCombinations":1,"expectedCost":{"denominator":4,"numerator":20},"measuredWork":{"acquisitions":0,"checking":1081,"installations":0,"search":0},"name":"No-diagnosis construction","scope":"Every residual world and admitted route combination enumerated independently.","status":"accepted"},{"completeBoundaryProfiles":[{"boundary":0,"value":24,"witness":{"a":1,"b":0,"c":0,"r":0}},{"boundary":1,"value":72,"witness":{"a":0,"b":1,"c":1,"r":0}}],"measuredWork":{"acquisitions":0,"checking":1902,"installations":0,"search":28},"name":"Full recomputation","retainedContracts":[],"scope":"Complete source-bound factor tables, every finite binary assignment and current whole-artifact acceptance.","status":"accepted"},{"completeBoundaryProfiles":[{"boundary":0,"value":24,"witness":{"a":1,"b":0,"c":0,"r":0}},{"boundary":1,"value":72,"witness":{"a":0,"b":1,"c":1,"r":0}}],"measuredWork":{"acquisitions":0,"checking":1902,"installations":0,"search":28},"name":"Equally capable incremental contracts","retainedContracts":[],"scope":"Complete source-bound factor tables, every finite binary assignment and current whole-artifact acceptance.","status":"accepted"},{"measuredWork":{"acquisitions":0,"checking":0,"installations":0,"search":0},"name":"Fixed complete certificate","reason":"Exact unchanged source and charter are required for this fixed certificate.","status":"unsupported"},{"costAccounting":"The source-bound cold campaign was already executed in the reference row and is charged there exactly once. This row performs no duplicate replay.","evidenceRef":"Unrestricted same-primitive finite reference","inheritedAssets":[],"measuredWork":{"acquisitions":0,"checking":1,"installations":0,"search":0},"name":"Successor from scratch","objective":{"denominator":4,"numerator":344},"scope":"Complete independently constructed six-stage cold campaign using the current charter and no parent assets, including current semantic qualification. The fixed finite grammar remains the comparison boundary.","sharedMeasuredWork":{"acquisitions":540,"checking":83166,"installations":0,"search":6073},"status":"accepted"}],"currencyCaps":{"AGIALPHA":"0","USDC":"0"},"executionMode":"free-local-synthetic-replay","externalExecution":"unprovisioned","failure":null,"invalidations":{"changed":[],"earliest":null,"invalidated":[]},"lineage":{"accounting":"Parent cumulative costs plus only this campaign work; no inherited cost is charged twice.","cumulative":{"acquisitions":906,"checking":97015,"installations":4,"memoryWords":30,"search":6601,"storageBytes":29294,"workerSlots":3},"generation":1,"incremental":{"acquisitions":906,"checking":97015,"installations":4,"memoryWords":30,"search":6601,"storageBytes":29294,"workerSlots":3}},"queryChecker":{"accepted":true,"checks":498,"reason":"Every frozen-platform downstream query passed independent finite checking."},"queryResults":{"constrainedSelection":{"candidates":[5,6],"maximumActiveControls":2,"suppliedModelOptima":[5,6],"uncertainty":"exact-within-supplied-model"},"intervals":[[2,2],[4,4],[4,4],[6,6],[6,6],[8,8],[8,8],[10,10]],"inverseDesign":{"definite":[5,6],"possible":[5,6],"target":8},"queriesAfterFreeze":true,"thresholdScreening":{"results":[{"mask":0,"outcome":"rejected"},{"mask":1,"outcome":"rejected"},{"mask":2,"outcome":"rejected"},{"mask":3,"outcome":"rejected"},{"mask":4,"outcome":"rejected"},{"mask":5,"outcome":"accepted"},{"mask":6,"outcome":"accepted"},{"mask":7,"outcome":"accepted"}],"threshold":8}},"resourceReservation":{"status":"reserved-before-work","storageBytes":200000},"resourceUnits":{"acquisitions":"simulator raw readouts","checking":"independent checker data nodes and finite semantic cases","elapsedTime":"Measured separately by the caller; not inferred from logical work.","installations":"declared construction installation units","memoryWords":"peak abstract resident words","search":"counted producer loop and compiler steps","storageBytes":"UTF-8 report evidence bytes","workerSlots":"peak occupied virtual worker slots"},"resources":{"acquisitions":906,"checking":97015,"installations":4,"memoryWords":30,"search":6601,"storageBytes":29294,"workerSlots":3},"reuse":{"acceptedPredecessorPreserved":false,"claim":"Current witnesses and acceptance were performed; retained assets do not confer authority.","priorPurposePreservedOnOldSlice":false,"retainedFactors":[]},"runtime":"discovery-lab-runtime/v1","schema":"discovery-lab-campaign/v1","stages":[{"assumptions":["Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.","No credentials, external executor, currency payment, signing or authority are created."],"attempts":[{"reason":"No signal-preserving contrast.","signs":[1,1,1],"status":"rejected","times":[0,1,2]},{"constructionCost":8,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":7,"referenceAmplitude":4,"signs":[1,-1,1],"status":"candidate","times":[0,1,2],"total":92},{"constructionCost":9,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":7,"referenceAmplitude":8,"signs":[1,-1,1],"status":"candidate","times":[0,1,2],"total":93},{"constructionCost":11,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":7,"referenceAmplitude":16,"signs":[1,-1,1],"status":"candidate","times":[0,1,2],"total":95},{"constructionCost":7,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":6,"referenceAmplitude":4,"signs":[1,1,-1],"status":"candidate","times":[0,1,2],"total":79},{"constructionCost":8,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":6,"referenceAmplitude":8,"signs":[1,1,-1],"status":"candidate","times":[0,1,2],"total":80},{"constructionCost":10,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":6,"referenceAmplitude":16,"signs":[1,1,-1],"status":"candidate","times":[0,1,2],"total":82},{"constructionCost":7,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":6,"referenceAmplitude":4,"signs":[1,-1,-1],"status":"candidate","times":[0,1,2],"total":79},{"constructionCost":8,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":6,"referenceAmplitude":8,"signs":[1,-1,-1],"status":"candidate","times":[0,1,2],"total":80},{"constructionCost":10,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":6,"referenceAmplitude":16,"signs":[1,-1,-1],"status":"candidate","times":[0,1,2],"total":82},{"reason":"No signal-preserving contrast.","signs":[1,1,1],"status":"rejected","times":[0,2,4]},{"constructionCost":10,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":9,"referenceAmplitude":4,"signs":[1,-1,1],"status":"candidate","times":[0,2,4],"total":118},{"constructionCost":11,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":9,"referenceAmplitude":8,"signs":[1,-1,1],"status":"candidate","times":[0,2,4],"total":119},{"constructionCost":13,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":9,"referenceAmplitude":16,"signs":[1,-1,1],"status":"candidate","times":[0,2,4],"total":121},{"constructionCost":9,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":8,"referenceAmplitude":4,"signs":[1,1,-1],"status":"candidate","times":[0,2,4],"total":105},{"constructionCost":10,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":8,"referenceAmplitude":8,"signs":[1,1,-1],"status":"candidate","times":[0,2,4],"total":106},{"constructionCost":12,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":8,"referenceAmplitude":16,"signs":[1,1,-1],"status":"candidate","times":[0,2,4],"total":108},{"constructionCost":9,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":8,"referenceAmplitude":4,"signs":[1,-1,-1],"status":"candidate","times":[0,2,4],"total":105},{"constructionCost":10,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":8,"referenceAmplitude":8,"signs":[1,-1,-1],"status":"candidate","times":[0,2,4],"total":106},{"constructionCost":12,"errorBound":0,"reason":"Bounded contrast candidate.","recurringCost":8,"referenceAmplitude":16,"signs":[1,-1,-1],"status":"candidate","times":[0,2,4],"total":108}],"checker":{"accepted":true,"checks":218,"reason":"Every finite semantic obligation passed."},"cost":{"acquisitions":78,"checking":218,"installations":0,"memoryWords":0,"search":34,"storageBytes":5476,"workerSlots":0},"evidence":{"comparedSchedules":20,"constructionCost":7,"horizonCost":79,"recurringCost":6,"uncertainty":"Exact only within the supplied zero-noise finite model."},"inputs":[],"kind":"learn","program":{"calibrationRaw":[11,12,-3],"degree":1,"errorBound":0,"gainInterval":{"denominator":8,"lower":16,"upper":16},"queryRows":[{"interval":[2,2],"mask":0,"raw":[7,8,1]},{"interval":[4,4],"mask":1,"raw":[11,12,-3]},{"interval":[4,4],"mask":2,"raw":[11,12,-3]},{"interval":[9,9],"mask":3,"raw":[21,22,-13]},{"interval":[6,6],"mask":4,"raw":[15,16,-7]},{"interval":[8,8],"mask":5,"raw":[19,20,-11]},{"interval":[8,8],"mask":6,"raw":[19,20,-11]},{"interval":[13,13],"mask":7,"raw":[29,30,-21]}],"referenceAmplitude":4,"signs":[1,1,-1],"times":[0,1,2],"weights":{"denominator":2,"numerators":[-1,2,-1]}},"reason":"Every finite semantic obligation passed.","scope":"Supplied positive gain, declared polynomial drift, bounded additive read error and finite control domain.","status":"accepted"},{"assumptions":["Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.","No credentials, external executor, currency payment, signing or authority are created."],"attempts":[],"checker":{"accepted":true,"checks":632,"reason":"Every finite semantic obligation passed."},"cost":{"acquisitions":0,"checking":632,"installations":0,"memoryWords":12,"search":8,"storageBytes":948,"workerSlots":0},"evidence":{"executableLabels":6,"fullStateLabels":8,"independentStateOperationCases":16,"memoryLimit":8,"retiredLabels":16,"staticLabels":6},"inputs":["learn"],"kind":"think","program":{"blocks":[[0],[1,2],[3],[4],[5,6],[7]],"decoder":[[2,2],[4,4],[9,9],[6,6],[8,8],[13,13]],"encoder":[0,1,1,2,3,4,4,5],"updates":{"flip-z":[3,4,5,0,1,2]}},"reason":"Every finite semantic obligation passed.","scope":"Every control state, its conservative measurement interval and every permitted operation.","status":"accepted"},{"assumptions":["Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.","No credentials, external executor, currency payment, signing or authority are created."],"attempts":[],"checker":{"accepted":true,"checks":1021,"reason":"Every finite semantic obligation passed."},"cost":{"acquisitions":0,"checking":1021,"installations":1,"memoryWords":10,"search":36,"storageBytes":1980,"workerSlots":3},"evidence":{"afterOccupied":2,"beforeOccupied":3,"equalSavingWrongLocation":"The same packing in the wrong location cannot supply the installation.","independentlyVaryingInputs":true,"serviceCases":36},"inputs":["learn","think"],"kind":"design","program":{"compiled":{"decoder":[[2,2],[4,4],[9,9],[6,6],[8,8],[13,13]],"operations":["flip-z"],"updaters":{"flip-z":[3,4,5,0,1,2]}},"footprint":22,"serviceTable":[[0,0,2,2,3],[0,1,2,2,4],[0,2,2,2,5],[0,3,2,2,0],[0,4,2,2,1],[0,5,2,2,2],[1,0,4,4,3],[1,1,4,4,4],[1,2,4,4,5],[1,3,4,4,0],[1,4,4,4,1],[1,5,4,4,2],[2,0,9,9,3],[2,1,9,9,4],[2,2,9,9,5],[2,3,9,9,0],[2,4,9,9,1],[2,5,9,9,2],[3,0,6,6,3],[3,1,6,6,4],[3,2,6,6,5],[3,3,6,6,0],[3,4,6,6,1],[3,5,6,6,2],[4,0,8,8,3],[4,1,8,8,4],[4,2,8,8,5],[4,3,8,8,0],[4,4,8,8,1],[4,5,8,8,2],[5,0,13,13,3],[5,1,13,13,4],[5,2,13,13,5],[5,3,13,13,0],[5,4,13,13,1],[5,5,13,13,2]],"staging":false,"transition":[[{"location":"left","services":[0]},{"location":"right","services":[1]},{"location":"aux","services":[2]}],[{"location":"left","services":[0,1]},{"location":"right","services":[]},{"location":"aux","services":[2]}]],"vacancy":"right","workerLimit":64,"workersAfter":[{"location":"left","services":[0,1]},{"location":"right","services":[]},{"location":"aux","services":[2]}],"workersBefore":[{"location":"left","services":[0]},{"location":"right","services":[1]},{"location":"aux","services":[2]}]},"reason":"Every finite semantic obligation passed.","scope":"Every independent two-service input and every installation transition phase.","status":"accepted"},{"assumptions":["Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.","No credentials, external executor, currency payment, signing or authority are created."],"attempts":[{"expectedCost":{"denominator":4,"numerator":16},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse","reservations":{"installations":1,"vacancy":"right"}},{"expectedCost":{"denominator":4,"numerator":16},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"L","visits":["source","safety","left","sink"],"worlds":["clear"]},{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"L","visits":["source","safety","left","sink"],"worlds":["right"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["both"]}],"observation":"full","reservations":{"installations":1,"vacancy":"right"}},{"expectedCost":{"denominator":4,"numerator":20},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["clear","left","right","both"]}],"observation":"none","reservations":{"installations":1,"vacancy":"right"}}],"checker":{"accepted":true,"checks":1094,"reason":"Every finite semantic obligation passed."},"cost":{"acquisitions":0,"checking":1094,"installations":1,"memoryWords":0,"search":36,"storageBytes":2725,"workerSlots":0},"evidence":{"objective":"Expected cost under the explicitly supplied uniform finite world distribution.","optimalAmongSuppliedObservationGrammar":true,"residualBeliefs":[["clear","left"],["right","both"]],"worldsChecked":4},"inputs":["learn","think","design"],"kind":"strategise","program":{"expectedCost":{"denominator":4,"numerator":16},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse","reservations":{"installations":1,"vacancy":"right"}},"reason":"Every finite semantic obligation passed.","scope":"All residual fault worlds, permitted tests, routes and mandatory checkpoints.","status":"accepted"},{"assumptions":["Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.","No credentials, external executor, currency payment, signing or authority are created."],"attempts":[{"boundary":0,"component":"installation","status":"candidate","value":8},{"boundary":1,"component":"installation","status":"candidate","value":48},{"boundary":0,"component":"routing","status":"candidate","value":16},{"boundary":1,"component":"routing","status":"candidate","value":24}],"checker":{"accepted":true,"checks":1710,"reason":"Every finite semantic obligation passed."},"cost":{"acquisitions":0,"checking":1710,"installations":2,"memoryWords":8,"search":62,"storageBytes":4095,"workerSlots":0},"evidence":{"completeBoundaryCases":2,"completeProfilePropagationStopped":false,"currentWitnessMaterialized":true,"executableDependency":"Independent installation and routing modules share only the complete checkpoint boundary. Current local witnesses compose into current executable actions.","localWitnessesReconstructed":true,"relevantBindingsCompared":true,"retainedComponents":[],"scalarOnlyReuse":false},"inputs":["learn","think","design","strategise"],"kind":"execute","program":{"bindings":{"availableActions":["isolate","reference"],"checkpoint":"safety","compiledServices":{"decoder":[[2,2],[4,4],[9,9],[6,6],[8,8],[13,13]],"operations":["flip-z"],"updaters":{"flip-z":[3,4,5,0,1,2]}},"denominator":4,"intendedUses":12,"policy":{"expectedCost":{"denominator":4,"numerator":16},"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse","reservations":{"installations":1,"vacancy":"right"}},"residentWords":22,"vacancy":"right","workerSlots":1},"components":[{"boundary":["c"],"factorIds":["prepare","reference","capacity","checkpoint"],"id":"installation","private":["a","b"],"profiles":[{"boundary":0,"value":8,"witness":{"a":1,"b":0,"c":0}},{"boundary":1,"value":48,"witness":{"a":0,"b":1,"c":1}}]},{"boundary":["c"],"factorIds":["route"],"id":"routing","private":["r"],"profiles":[{"boundary":0,"value":16,"witness":{"c":0,"r":0}},{"boundary":1,"value":24,"witness":{"c":1,"r":0}}]}],"currentBoundary":0,"factors":[{"id":"prepare","scope":["a"],"table":[{"cost":0,"values":[0]},{"cost":8,"values":[1]}]},{"id":"reference","scope":["b"],"table":[{"cost":0,"values":[0]},{"cost":48,"values":[1]}]},{"id":"capacity","scope":["a","b"],"table":[{"cost":null,"values":[0,0]},{"cost":0,"values":[1,0]},{"cost":0,"values":[0,1]},{"cost":null,"values":[1,1]}]},{"id":"route","scope":["r","c"],"table":[{"cost":16,"values":[0,0]},{"cost":24,"values":[1,0]},{"cost":24,"values":[0,1]},{"cost":32,"values":[1,1]}]},{"id":"checkpoint","scope":["b","c"],"table":[{"cost":0,"values":[0,0]},{"cost":0,"values":[1,0]},{"cost":null,"values":[0,1]},{"cost":0,"values":[1,1]}]}],"installations":{"actions":["isolate"],"placement":"right","scopeControls":3},"profiles":[{"boundary":0,"value":24,"witness":{"a":1,"b":0,"c":0,"r":0}},{"boundary":1,"value":72,"witness":{"a":0,"b":1,"c":1,"r":0}}],"reuseContracts":[{"completeProfileEqual":false,"component":"installation","propagation":"cold","status":"rebuilt"},{"completeProfileEqual":false,"component":"routing","propagation":"cold","status":"rebuilt"}],"reusedFactors":[],"routeWitness":{"leaves":[{"checkpoints":["safety"],"constructionActions":[],"cost":1,"route":"R","visits":["source","safety","right","sink"],"worlds":["clear","left"]},{"checkpoints":["safety"],"constructionActions":[],"cost":5,"route":"bypass","visits":["source","safety","bypass","sink"],"worlds":["right","both"]}],"observation":"coarse"},"variables":["a","b","r","c"],"witness":{"a":1,"b":0,"c":0,"r":0}},"reason":"Every finite semantic obligation passed.","scope":"Complete finite factor scopes, both boundary values, current policy bindings and current witness.","status":"accepted"},{"assumptions":["Public supplied synthetic semantics; not a protected holdout or a physical materials experiment.","No credentials, external executor, currency payment, signing or authority are created."],"attempts":[{"coefficients":[2,2,2,3,4,0,0,0],"costs":{"install":0,"recurring":0},"degree":2,"horizonCost":0,"operations":[],"reason":"This operation is not installed by the accepted execution witness.","responseTable":[2,4,4,9,6,8,8,13],"status":"rejected"},{"coefficients":[2,2,2,0,4,0,0,0],"costs":{"install":2,"recurring":0},"degree":1,"horizonCost":2,"operations":["isolate"],"reason":"Installed current completion witness.","responseTable":[2,4,4,6,6,8,8,10],"status":"candidate"},{"coefficients":[2,2,2,0,4,0,0,0],"costs":{"install":0,"recurring":1},"degree":1,"horizonCost":12,"operations":["reference"],"reason":"This operation is not installed by the accepted execution witness.","responseTable":[2,4,4,6,6,8,8,10],"status":"rejected"},{"coefficients":[2,2,2,0,4,0,0,0],"costs":{"install":4,"recurring":0},"degree":1,"horizonCost":4,"operations":["modularize"],"reason":"This operation is not installed by the accepted execution witness.","responseTable":[2,4,4,6,6,8,8,10],"status":"rejected"}],"checker":{"accepted":true,"checks":1929,"reason":"Every finite semantic obligation passed."},"cost":{"acquisitions":828,"checking":92340,"installations":0,"memoryWords":0,"search":6425,"storageBytes":14070,"workerSlots":0},"evidence":{"frozenBeforeQueries":true,"fullDomainCases":8,"higherOrderCoefficientsChecked":true,"horizonCost":2,"semantics":"Supplied operation effects remove the declared nuisance; no physical claim or curve-fit proof."},"inputs":["learn","think","design","strategise","execute"],"kind":"evolve","program":{"coefficients":[2,2,2,0,4,0,0,0],"degree":1,"freezeOrder":"before-query-evaluation","operations":["isolate"],"responseTable":[2,4,4,6,6,8,8,10],"scopeControls":3},"reason":"Every finite semantic obligation passed.","scope":"Declared operation grammar, full response domain and every interaction coefficient.","status":"accepted"}],"state":"accepted"},"schema":"discovery-lab-review-payload/v1"},"payloadDigest":"49b185f5952dba4ebf6e739a5ffc826fbc99a086a73ee39008cf13366969f404","purposeDigest":"eff029abd79af61fd21de23b48a10962271e8e7aa8c24f45d3d6a791590af3a5","resourceLimits":{"acquisitions":2000,"checking":1020000,"elapsedMs":120000,"installations":20,"memoryBytes":10000000,"search":1000000,"storageBytes":4000000,"workerCapacity":4},"revision":1,"schema":"successor-discovery-work-request/v1","sourceDigest":"54769dbfde99ae13708a33292866f0ca7e6b8b7792a7a944f76bf2fbf1de1358","stage":"evolve"},"workRequestDigest":"b8f58ba6158ae3f53de81056a6a38faa27c7797128d73fcdfa330196c6da2797","workspaceHead":"b06ced64dc34d6832643d24df3364c94deb504bcc6e65dd8db29b16da6da9d66"},"recordDigest":"efab7e66d0214a4a320c655da08fd2b357a7520482aa230cbd0fc0a888d8a8b8"},"previous":"b06ced64dc34d6832643d24df3364c94deb504bcc6e65dd8db29b16da6da9d66","sequence":7}],"missionId":"capability-fc911b7d-e209-4bed-b8c2-2682f3f879bd","paymentRoute":"none","revision":7,"schema":"successor-capability-workspace/v2"}