{ "schemaVersion": 1, "product": "Simo Windows Control Center", "asOf": "2026-08-26", "status": "PARTIAL_NOT_RELEASE_READY", "publicClaimsAllowed": false, "sourceMatrix": "CLAIM-EVIDENCE.json", "contractRule": "Every action claim must name precondition, expected plan, expected mutation, expected postcondition, expected second-run state, expected rollback, expected failure state, independent readback, and side-effect boundary. Missing proof narrows the claim instead of expanding support.", "contracts": [ { "contractId": "CONTRACT-APP-7ZIP-RC2-LOCAL", "capability": "apps.install.detect.idempotency", "actionId": "app:7zip.7zip", "environmentIds": [ "win11-enterprise-eval-25h2-x64-gex44-lab" ], "artifactScope": "RC2_LOCAL_CANDIDATE_NOT_PUBLIC", "evidenceCaseIds": [ "APP-INSTALL-DETECT-IDEMPOTENCY-7ZIP-001" ], "publicationStatus": "LOCAL_CANDIDATE_NOT_PUBLIC_DOWNLOAD", "precondition": "7zip.7zip absent from Winget installed package state and C:\\Program Files\\7-Zip\\7z.exe absent.", "expectedPlan": "WILL_CHANGE", "expectedMutation": "Install 7zip.7zip through Winget when the package is absent.", "expectedPostcondition": "C:\\Program Files\\7-Zip\\7z.exe exists and Winget exact package state contains 7zip.7zip.", "expectedSecondRunState": "ALREADY_COMPLIANT plan followed by SKIPPED_ALREADY_COMPLIANT apply.", "expectedRollback": "NOT_PROVEN for app uninstall or package rollback in this evidence slice.", "expectedFailureState": "RC1_DEFECT_RECORDED: public rc.1 can report FAILED_DETECTION for fresh absent Winget package instead of an install plan.", "independentReadback": "Filesystem readback for 7z.exe plus Winget package state.", "sideEffectBoundary": "Only the 7-Zip installation state is proven; broader package-manager side effects are not proven.", "verdict": "PROVEN_LOCAL_CANDIDATE_NOT_PUBLIC", "publicClaimAllowed": false, "notProven": [ "public rc.2 download path", "uninstall rollback", "Home/Pro acceptance", "de-DE locale", "Winget unavailable/outdated/source outage" ] }, { "contractId": "CONTRACT-CLEANUP-USER-TEMP-RC2-LOCAL", "capability": "cleanup.estimate.apply.idempotency.sideEffectBoundary", "actionId": "cleanup:user-temp", "environmentIds": [ "win11-enterprise-eval-25h2-x64-gex44-lab" ], "artifactScope": "RC2_LOCAL_CANDIDATE_NOT_PUBLIC", "evidenceCaseIds": [ "CLEANUP-USER-TEMP-CONTROLLED-SIDE-EFFECT-001" ], "publicationStatus": "LOCAL_CANDIDATE_NOT_PUBLIC_DOWNLOAD", "precondition": "TEMP and TMP point to controlled root C:\\swcc-e2e-cleanup-temp with seeded cleanup children and an outside-root sentinel present.", "expectedPlan": "WILL_CHANGE", "expectedMutation": "Delete seeded cleanup children inside the controlled user temp root.", "expectedPostcondition": "zero temp children remain inside the controlled root and the outside-root sentinel remains unchanged.", "expectedSecondRunState": "ALREADY_COMPLIANT after first cleanup removes the seeded children.", "expectedRollback": "NOT_APPLICABLE: cleanup deletion is not represented as reversible rollback in this evidence slice.", "expectedFailureState": "No failure injection was proven for cleanup in this slice; broader cleanup failure paths remain unproven.", "independentReadback": "Filesystem pre/post count for the controlled temp root plus sentinel file readback.", "sideEffectBoundary": "Mutation is bounded to the controlled temp root; sentinel outside that root must remain unchanged.", "verdict": "PROVEN_LOCAL_CANDIDATE_NOT_PUBLIC", "publicClaimAllowed": false, "notProven": [ "public download cleanup", "all user temp layouts", "log write failure", "low disk", "read-only cleanup target" ] }, { "contractId": "CONTRACT-DEBLOAT-WINDOWSSTORE-PROTECTED-RC2-LOCAL", "capability": "debloat.protectedTarget.failClosed", "actionId": "debloat:Microsoft.WindowsStore", "environmentIds": [ "win11-enterprise-eval-25h2-x64-gex44-lab" ], "artifactScope": "RC2_LOCAL_CANDIDATE_NOT_PUBLIC", "evidenceCaseIds": [ "DEBLOAT-PROTECTED-WINDOWSSTORE-BLOCKED-NO-MUTATION-001" ], "publicationStatus": "LOCAL_CANDIDATE_NOT_PUBLIC_DOWNLOAD", "precondition": "Microsoft.WindowsStore is installed/provisioned before the protected debloat action.", "expectedPlan": "BLOCKED", "expectedMutation": "none; protected package must not be removed.", "expectedPostcondition": "Microsoft.WindowsStore AppX installed/provisioned counts and names remain unchanged.", "expectedSecondRunState": "BLOCKED again with no mutation; no compliant removal state is allowed for this protected target.", "expectedRollback": "NOT_APPLICABLE: blocked action performs no mutation to roll back.", "expectedFailureState": "Protected target is blocked, apply completes with blocks, action status blocked, changed=false.", "independentReadback": "AppX installed/provisioned counts and names before and after.", "sideEffectBoundary": "No AppX/provisioned package mutation is allowed for Microsoft.WindowsStore in this contract.", "verdict": "PROVEN_LOCAL_CANDIDATE_NOT_PUBLIC", "publicClaimAllowed": false, "notProven": [ "safe removable debloat target", "public download debloat", "Home/Pro Store protection behavior", "standard-user privilege path" ] }, { "contractId": "CONTRACT-FEATURE-SANDBOX-PLAN-RC2-LOCAL", "capability": "features.plan.dryRun.rebootContract", "actionId": "feature:Containers-DisposableClientVM", "environmentIds": [ "win11-enterprise-eval-25h2-x64-gex44-lab" ], "artifactScope": "RC2_LOCAL_CANDIDATE_NOT_PUBLIC", "evidenceCaseIds": [ "FEATURE-WINDOWS-SANDBOX-PLAN-REBOOT-CONTRACT-001" ], "publicationStatus": "LOCAL_CANDIDATE_NOT_PUBLIC_DOWNLOAD", "precondition": "Containers-DisposableClientVM Windows optional feature is Disabled by DISM before SWCC planning.", "expectedPlan": "WILL_CHANGE Enable RequiresAdmin=true RequiresReboot=true RebootLikely=true", "expectedMutation": "dry-run only; no feature enable mutation is performed in this evidence slice.", "expectedPostcondition": "DISM feature state remains Disabled after SWCC dry-run.", "expectedSecondRunState": "NOT_PROVEN for real apply; dry-run may be repeated without mutation.", "expectedRollback": "NOT_PROVEN for real feature enable, reboot, disable, or rollback.", "expectedFailureState": "Unsupported/real enable failure path is not proven in this slice; only planning and reboot metadata are proven.", "independentReadback": "DISM/Get-WindowsOptionalFeature state before and after remained Disabled.", "sideEffectBoundary": "No feature state mutation is allowed during dry-run.", "verdict": "PROVEN_LOCAL_CANDIDATE_PLAN_ONLY_NOT_PUBLIC", "publicClaimAllowed": false, "notProven": [ "real feature enable", "reboot continuation", "feature rollback", "unsupported edition behavior", "public download feature path" ] }, { "contractId": "CONTRACT-FAILURE-PROFILE-CATALOG-RC2-LOCAL", "capability": "profiles.catalogs.failureHandling.noFalseSuccess", "actionId": "failure:profile-catalog", "environmentIds": [ "win11-enterprise-eval-25h2-x64-gex44-lab" ], "artifactScope": "RC2_LOCAL_CANDIDATE_NOT_PUBLIC", "evidenceCaseIds": [ "FAILURE-PROFILE-CATALOG-NO-FALSE-SUCCESS-001" ], "publicationStatus": "LOCAL_CANDIDATE_NOT_PUBLIC_DOWNLOAD", "precondition": "Guest starts with Windows Sandbox Disabled and 7z.exe command unavailable before invalid profile and invalid app/catalog ID checks.", "expectedPlan": "CONTROLLED_FAILURE", "expectedMutation": "none; invalid inputs must fail before system mutation.", "expectedPostcondition": "Windows Sandbox feature state remains Disabled and 7z.exe command remains unavailable.", "expectedSecondRunState": "CONTROLLED_FAILURE repeat is expected for the same malformed profile or invalid package ID.", "expectedRollback": "NOT_APPLICABLE: failure path performs no mutation to roll back.", "expectedFailureState": "nonzero exit with expected error text, no JSON success objects, no success tokens, and no mutation.", "independentReadback": "DISM feature state and command discovery for 7z.exe before and after.", "sideEffectBoundary": "Independent state remains unchanged across invalid profile/catalog failure paths.", "verdict": "PROVEN_LOCAL_CANDIDATE_NOT_PUBLIC", "publicClaimAllowed": false, "notProven": [ "full adversarial failure matrix", "permission denied", "network interruption", "process timeout", "support report write failure" ] }, { "contractId": "CONTRACT-TWEAK-HIDEFILEEXT-RC1-EVIDENCE", "capability": "tweaks.registryDword.apply.idempotency.rollback", "actionId": "tweak:explorer.show-file-extensions", "environmentIds": [ "win11-enterprise-eval-25h2-x64-gex44-lab" ], "artifactScope": "PUBLICATION_STATUS_UNRECORDED", "evidenceCaseIds": [ "TWEAK-REGISTRY-APPLY-IDEMPOTENCY-ROLLBACK-001" ], "publicationStatus": "PUBLICATION_STATUS_UNRECORDED", "precondition": "HKCU Explorer Advanced HideFileExt=1 before applying explorer.show-file-extensions.", "expectedPlan": "WILL_CHANGE", "expectedMutation": "Set HKCU Explorer Advanced HideFileExt from 1 to 0.", "expectedPostcondition": "Direct registry readback reports HideFileExt=0.", "expectedSecondRunState": "ALREADY_COMPLIANT for the same desired registry DWORD state.", "expectedRollback": "Rollback restores HideFileExt=1 from captured pre-state.", "expectedFailureState": "Registry write or verification failure must not be reported as applied verified.", "independentReadback": "Direct HKCU Explorer Advanced HideFileExt registry readback.", "sideEffectBoundary": "Only scoped HKCU Explorer Advanced property changes are covered; broader registry side effects are not proven.", "verdict": "PROVEN_INTERNAL_PUBLICATION_STATUS_UNRECORDED", "publicClaimAllowed": false, "notProven": [ "public download tweak path", "global rollback", "all tweaks", "standard-user denied write path", "de-DE locale" ] }, { "contractId": "CONTRACT-HOME-PC-PUBLIC-DOWNLOAD", "capability": "publicDownload.homePc.acceptance", "actionId": "public-download:home-pc-acceptance", "environmentIds": [ "home-pc-public-download-acceptance" ], "artifactScope": "PUBLIC_DOWNLOAD", "evidenceCaseIds": [], "publicationStatus": "NOT_EXECUTED", "precondition": "NOT_EXECUTED", "expectedPlan": "NOT_EXECUTED", "expectedMutation": "NOT_EXECUTED", "expectedPostcondition": "NOT_EXECUTED", "expectedSecondRunState": "NOT_EXECUTED", "expectedRollback": "NOT_EXECUTED", "expectedFailureState": "NOT_EXECUTED", "independentReadback": "NOT_EXECUTED", "sideEffectBoundary": "NOT_EXECUTED", "verdict": "UNPROVEN", "publicClaimAllowed": false, "notProven": [ "website download", "hash verification", "first start", "GUI acceptance", "CLI acceptance", "representative mutations", "final health check" ] } ] }