{ "schema": "naguard.scheduling-verification.v2", "verifiedAt": "2026-10-15T13:48:56.363Z", "passed": 10, "failed": 0, "records": [ { "name": "fixed 20-image input pool is unique; each task binds non-overlapping predeclared source hashes", "passed": true, "details": { "uniqueCandidateImages": 20, "scenarios": 6 } }, { "name": "one-mode core agrees with independent all-order enumeration in all six task sets", "passed": true, "details": [ { "scenarioId": "equal-cost-tie", "exactValue": 9, "independentValue": 9, "allOrderNodes": 17 }, { "scenarioId": "heterogeneous-benefit", "exactValue": 14, "independentValue": 14, "allOrderNodes": 6 }, { "scenarioId": "ample-tie", "exactValue": 24, "independentValue": 24, "allOrderNodes": 16 }, { "scenarioId": "reserve-infeasible", "exactValue": 0, "independentValue": 0, "allOrderNodes": 1 }, { "scenarioId": "exact-budget-boundary", "exactValue": 11, "independentValue": 11, "allOrderNodes": 6 }, { "scenarioId": "just-below-boundary", "exactValue": 6, "independentValue": 6, "allOrderNodes": 3 } ] }, { "name": "all executed batches map to fixed task inputs; independent hashes and every thumbnail pixel agree", "passed": true, "details": { "batches": 108, "images": 534, "independentPixelChecks": 512640 } }, { "name": "three deterministic repetitions reproduce selected batches, values and file hashes without statistical-independence claim", "passed": true, "details": { "strategyConditions": 24, "repetitionsPerCondition": 3, "independentlySampledUsers": 0 } }, { "name": "predeclared favorable, tie, insufficient and exact/below-boundary outcomes hold", "passed": true, "details": { "valuesInOriginalImportanceExactEfficiencyOrder": [ [ 6, 9, 9, 9 ], [ 10, 10, 14, 14 ], [ 24, 24, 24, 24 ], [ 0, 0, 0, 0 ], [ 9, 9, 11, 11 ], [ 6, 6, 6, 5 ] ], "favorableEfficiencyActuallyScores": 14, "belowBoundaryEfficiencyActuallyScores": 5 } }, { "name": "previous protocol and exact input-manifest bytes preserved; all six diagnostic scenarios unchanged", "passed": true, "details": { "previousProtocolHash": "4bbac769cfb1a6e0e4cb63bb11ebda236262c5f5c8951daf1483722ff6d4965b", "previousInputManifestHash": "0b9fb1e37e7d188175a92f1a6e439373132c5feb3891a1ee10efc839108c3c06", "unchangedScenarios": 6, "changedScenarioFields": 0, "newCandidateImages": 0 } }, { "name": "new fourth actual method agrees with previous efficiency model; previous three controls reproduce earlier outputs", "passed": true, "details": { "matchedPreviousControlRepeats": 54, "matchedEfficiencyRepeats": 18, "noActualModelDiscrepancies": true, "details": [ { "scenarioId": "equal-cost-tie", "previousEfficiencyModelValue": 9, "actualEfficiencyValue": 9, "exactValue": 9, "bestExecutedSimpleValue": 9, "reserveFeasible": true }, { "scenarioId": "heterogeneous-benefit", "previousEfficiencyModelValue": 14, "actualEfficiencyValue": 14, "exactValue": 14, "bestExecutedSimpleValue": 14, "reserveFeasible": true }, { "scenarioId": "ample-tie", "previousEfficiencyModelValue": 24, "actualEfficiencyValue": 24, "exactValue": 24, "bestExecutedSimpleValue": 24, "reserveFeasible": true }, { "scenarioId": "reserve-infeasible", "previousEfficiencyModelValue": 0, "actualEfficiencyValue": 0, "exactValue": 0, "bestExecutedSimpleValue": 0, "reserveFeasible": false }, { "scenarioId": "exact-budget-boundary", "previousEfficiencyModelValue": 11, "actualEfficiencyValue": 11, "exactValue": 11, "bestExecutedSimpleValue": 11, "reserveFeasible": true }, { "scenarioId": "just-below-boundary", "previousEfficiencyModelValue": 5, "actualEfficiencyValue": 5, "exactValue": 6, "bestExecutedSimpleValue": 6, "reserveFeasible": true } ] } }, { "name": "bound batch pauses after one image; replenishment resumes without repeating committed output", "passed": true, "details": { "jobId": "job-1792072136071-86f5acdd0e", "pausedImages": 1, "finalImages": 3, "processingAttempts": 3, "repeatedCommittedImages": 0, "completedRerunAddedAttempts": 0, "events": [ { "time": "2026-10-15T13:48:56.090Z", "pid": 52880, "type": "created", "totalItems": 3, "initialBudget": 3, "jobId": "job-1792072136071-86f5acdd0e", "scenarioId": "verification-recovery", "strategyId": "verification-only", "taskId": "A", "message": "批次A：created" }, { "time": "2026-10-15T13:48:56.115Z", "pid": 52880, "type": "worker-started", "restoredItems": 0, "repairedItems": 0, "jobId": "job-1792072136071-86f5acdd0e", "scenarioId": "verification-recovery", "strategyId": "verification-only", "taskId": "A", "message": "批次A：worker-started" }, { "time": "2026-10-15T13:48:56.134Z", "pid": 52880, "type": "item-completed", "index": 0, "completedItems": 1, "simUnitsCharged": 1, "jobId": "job-1792072136071-86f5acdd0e", "scenarioId": "verification-recovery", "strategyId": "verification-only", "taskId": "A", "message": "批次A：第1张文件已备份、缩略并校验" }, { "time": "2026-10-15T13:48:56.142Z", "pid": 52880, "type": "budget-paused", "nextItem": 1, "remainingSimUnits": 2, "jobId": "job-1792072136071-86f5acdd0e", "scenarioId": "verification-recovery", "strategyId": "verification-only", "taskId": "A", "message": "批次A：budget-paused" }, { "time": "2026-10-15T13:48:56.166Z", "pid": 52880, "type": "replenished", "units": 2, "requestId": "scheduling-recovery-test", "jobId": "job-1792072136071-86f5acdd0e", "scenarioId": "verification-recovery", "strategyId": "verification-only", "taskId": "A", "message": "批次A：replenished" }, { "time": "2026-10-15T13:48:56.193Z", "pid": 52880, "type": "worker-started", "restoredItems": 1, "repairedItems": 0, "jobId": "job-1792072136071-86f5acdd0e", "scenarioId": "verification-recovery", "strategyId": "verification-only", "taskId": "A", "message": "批次A：worker-started" }, { "time": "2026-10-15T13:48:56.213Z", "pid": 52880, "type": "item-completed", "index": 1, "completedItems": 2, "simUnitsCharged": 1, "jobId": "job-1792072136071-86f5acdd0e", "scenarioId": "verification-recovery", "strategyId": "verification-only", "taskId": "A", "message": "批次A：第2张文件已备份、缩略并校验" }, { "time": "2026-10-15T13:48:56.232Z", "pid": 52880, "type": "item-completed", "index": 2, "completedItems": 3, "simUnitsCharged": 1, "jobId": "job-1792072136071-86f5acdd0e", "scenarioId": "verification-recovery", "strategyId": "verification-only", "taskId": "A", "message": "批次A：第3张文件已备份、缩略并校验" }, { "time": "2026-10-15T13:48:56.239Z", "pid": 52880, "type": "completed", "completedItems": 3, "jobId": "job-1792072136071-86f5acdd0e", "scenarioId": "verification-recovery", "strategyId": "verification-only", "taskId": "A", "message": "批次A：completed" } ] } }, { "name": "source plus mutable worker job.json tampering is rejected against external frozen task binding before new attempts", "passed": true, "details": { "jobId": "job-1792072136296-abf1ec0771", "rejected": true, "newProcessingAttempts": 0, "completedImages": 0 } }, { "name": "changed ordered plan binding, negative budget and invalid fixed quality are rejected before processing", "passed": true, "details": { "jobId": "job-1792072136334-c2fa9bb639", "changedPlanRejected": true, "negativeBudgetRejected": true, "qualityReductionRejected": true, "newProcessingAttempts": 0 } } ], "taskJobs": [ { "jobId": "job-1792072136071-86f5acdd0e", "jobPath": "work/workpod/jobs/job-1792072136071-86f5acdd0e", "purpose": "bound-recovery-verification", "images": [ { "index": 0, "candidateSourceIndex": 1, "inputFile": "source/sample-001.bmp", "backupFile": "backup/sample-001.bmp", "thumbnailFile": "thumbnails/sample-001.bmp", "sourceSha256": "b8fbb7451b93b1041067a0ca1ec0880a7460f078af4781ef09dee848a2338f91", "backupSha256": "b8fbb7451b93b1041067a0ca1ec0880a7460f078af4781ef09dee848a2338f91", "thumbnailSha256": "8ee36653e2976956ec205a90c0ca0cb227e6dce9fc1b71ab6c0a497118eb6119", "completedAt": "2026-10-15T13:48:56.128Z" }, { "index": 1, "candidateSourceIndex": 2, "inputFile": "source/sample-002.bmp", "backupFile": "backup/sample-002.bmp", "thumbnailFile": "thumbnails/sample-002.bmp", "sourceSha256": "7c658d43cf855ef29e8b2afd20e9c29cdc9466622043a27882e2618db4dadd4c", "backupSha256": "7c658d43cf855ef29e8b2afd20e9c29cdc9466622043a27882e2618db4dadd4c", "thumbnailSha256": "c987517ececfbca974aa7ec4496510707c804388374264bd5839984e5e58af8b", "completedAt": "2026-10-15T13:48:56.206Z" }, { "index": 2, "candidateSourceIndex": 3, "inputFile": "source/sample-003.bmp", "backupFile": "backup/sample-003.bmp", "thumbnailFile": "thumbnails/sample-003.bmp", "sourceSha256": "45e422a4c3450245f65c5dafabd35a06c2a13ed27f6dbd1a3553b5b9283c160c", "backupSha256": "45e422a4c3450245f65c5dafabd35a06c2a13ed27f6dbd1a3553b5b9283c160c", "thumbnailSha256": "1066eec34a84bd4a499abb535edad05356f0b55a14ae97d46b38f537287bb5f2", "completedAt": "2026-10-15T13:48:56.226Z" } ] }, { "jobId": "job-1792072136296-abf1ec0771", "jobPath": "work/workpod/jobs/job-1792072136296-abf1ec0771", "purpose": "deliberately-mutated-own-test-input; rejected", "images": [] }, { "jobId": "job-1792072136334-c2fa9bb639", "jobPath": "work/workpod/jobs/job-1792072136334-c2fa9bb639", "purpose": "changed-plan-rejection-verification", "images": [] } ], "scope": "Fourth baseline promoted from previous model to actual same-quality file processing; independent hashes/pixels, finite enumeration, preserved previous controls and fail-closed checks. No real-energy, real-AI, physical-blackout or whole-schedule crash-recovery validation." }