From 7d809cb035bdf5224b64d8a89ce5a7a309f91d30 Mon Sep 17 00:00:00 2001 From: Erik Date: Sat, 5 Sep 2026 12:02:50 +0200 Subject: [PATCH] docs: record independent GPU mutation proof and gate repair dispatches --- ...-09-01-campaign-overhaul-world-solidity.md | 11 ++-- .../477-lead-verification.md | 61 +++++++++++++++++++ .../s5-consumers-material-closeout-packet.md | 20 ++++++ 3 files changed, 88 insertions(+), 4 deletions(-) create mode 100644 docs/research/2026-09-01-overhaul/477-lead-verification.md diff --git a/docs/plans/2026-09-01-campaign-overhaul-world-solidity.md b/docs/plans/2026-09-01-campaign-overhaul-world-solidity.md index 74cccede..01c25dcb 100644 --- a/docs/plans/2026-09-01-campaign-overhaul-world-solidity.md +++ b/docs/plans/2026-09-01-campaign-overhaul-world-solidity.md @@ -717,10 +717,13 @@ Update immediately when a slice changes state. Chat is not the ledger. --- -**S5 current supplement (2026-09-05, packet§50):** #477 patch written in its -scratch, returned Release0W0E/11 focused/312 portableGPU; one narrow command- -recording test gap is contracted in477-fix-round1-command-witness.md. No -accepted return or new client run. Lead verified +**S5 current supplement (2026-09-05, packet§51):** #477 F1 actual-command +witness returned; lead independently passed Release0W0E/314 portableGPU and +repeated all four discriminating mutations with byte-identical restoration. +477-lead-verification.md records proof; API/behavior review1 PASS/no findings, +production/lifetime review2 in progress; integration/native validation owed. +#476 separately dispatched to James at6347e0f82; #480 returned eight files, +agent92/92 tests, pending lead verification/reviews. No new client run. Lead verified #480's retail/paired-binary child publication and contracted the separate shared prepared-cache fix in480-equipped-render-publication-contract.md; Rawls implements it in fresh s5-480-openai-impl at9556c1748. diff --git a/docs/research/2026-09-01-overhaul/477-lead-verification.md b/docs/research/2026-09-01-overhaul/477-lead-verification.md new file mode 100644 index 00000000..7f6d0724 --- /dev/null +++ b/docs/research/2026-09-01-overhaul/477-lead-verification.md @@ -0,0 +1,61 @@ +# #477 — independent lead verification, 2026-09-05 + +Frozen scratch s5-477-openai-impl at29730506c57b44cfa3ba454a8594e170c95d7233; +five changed files, including the untracked synchronization test. This is +pre-integration proof, not graphical acceptance or AMD-reset attribution. + +Lead read every production/test change and the actual native Record witness. +The test-local Silk context executes VulkanUploadQueue.Record and intercepts +CmdCopyBuffer/PipelineBarrier2 arguments. Host-staging descriptors are inserted +using the private production descriptor shape; this does not execute Stage's +native allocation path. Migrations use the real EnqueueBufferCopy entry point. +Same-drain, chained and earlier-drain cases therefore exercise real recording, +not GPU execution or a synthetic schedule. Source guards bind passive acquire +and depth factories to their production callers. No AC algorithm changes. + +## Lead execution + +Both AcDream.App and acclient absent before EVERY build/test. ACE UDP9000 +PID13340 up at the preflight. No graphical client launched. Commands in the +scratch, Release, --no-restore and --nologo: + +- dotnet build AcDream.slnx -c Release: 0 warnings/0 errors, before and after + mutations (final3.25s). No full-solution test claim. +- dotnet test tests/AcDream.App.Tests/AcDream.App.Tests.csproj -c Release + --no-build --filter 'FullyQualifiedName~AcDream.App.Tests.Rendering.Gpu&Lane!=Vulkan': + 314/314, zero failures/skips both before and after mutations. Includes all + 13 synchronization tests. Final TRX artifacts/477-root/restored/root-gpu-rhi-restored.trx, + SHA256 3E24078A6FAFEE2B921FFEB43D87270F20CC4F0BA8B95BC68F98C638BDF7490F. +- git diff --check: clean (existing LF/CRLF notices only). + +Four separate actual-production mutations, each built by dotnet test without +--no-build and individually restored by apply_patch, all failed exactly1/1: + +| Mutation | Filter suffix | Intended failure | TRX under artifacts/477-root | +|---|---|---|---| +| First acquire source reverted | AcquiredImage_FirstTransitionChainsToTheActualSemaphoreWait | expected ColorAttachmentOutput, actual TopOfPipe | m1/root-m1.trx | +| Resolve entry masks reverted | DepthTransitions_SampleableMsaaResolveUsesColorWriterAtEntryAndExit | expected ColorAttachmentOutput, actual Early/LateFragmentTests | m2/root-m2.trx | +| Resolve sampling-exit masks reverted | same depth test | same incorrect source stage | m3/root-m3.trx | +| Real pre-migration barrier removed | UploadQueue_ActualNativeRecord_StagesThenMigratesWithExactDependencyAndOneConsumerBarrier | emitted sequence index1 expected BufferBarrier, actual CopyBuffer | m4/root-m4.trx | + +TRX SHA256 respectively: +DEA861CED1EF1F9130E6166EC26D6C60C64D8F33FBEAE81A5648AD2FFD33852D; +D4ABD02A37C63E658CA413D3BCB42F7AA13A563EE00A57F7DFC92E360B4D7905; +69C818DB50DBA30B0B6A6857C7847A4524B3C7FD8CC1DBAF80055FC793C01C94; +8EDF4C756D0963BB9E097A37BD1E89E33FB95685C287434D37F15F2F04D5BB32. +Lead read XML ErrorInfo, not just test exit status. No setup/build failures. + +Raw source hashes after each applicable restoration and at final freeze: + +- Resources:57F4D23CAF3FAA6B51DB10F24193BDDE09C52401F228AD092CD35B17FB247250 +- Device:E545DF89768B8D9EA45DC34BD37F2FFEA9929422C78A1F118498426E355A6D03 +- UploadQueue:57E1B42FDDE4E26FD94DD94F1EB0AED91F0C41F55551612D72DE2A9AFEC5EB5B +- Tests:60D106A46DDB61DB0F2EAC3C3B3FEFF4EE9C95C543B1CF12395C12DB8B65ADD4 +- Architecture:EE32F0EBCDAD39B0AF288F742045B44D66899432F601102B141EEE3D73C5B630 + +F1 command-witness gap is closed by this proof; production unchanged from +round0. Independent API/behavior lens1 by Wegener PASS, no actionable finding: +actual native producer/consumer bindings, narrow masks, exact ranges, source +hashes and four lead mutation outcomes checked. Rawls now performs sequential +production/lifetime lens2. Integration and native validation remain owed. +G4 remains FAIL. No intentional deviation or new register row. diff --git a/docs/research/2026-09-01-overhaul/s5-consumers-material-closeout-packet.md b/docs/research/2026-09-01-overhaul/s5-consumers-material-closeout-packet.md index b559261d..6e232d31 100644 --- a/docs/research/2026-09-01-overhaul/s5-consumers-material-closeout-packet.md +++ b/docs/research/2026-09-01-overhaul/s5-consumers-material-closeout-packet.md @@ -4714,3 +4714,23 @@ independently; root must integrate only accepted capture portions alongside waits for477 validation and an exclusive no-build/test window. The self-gate runner now explicitly starts hidden and refuses either graphical client; PowerShell parse/diff check pass. No rendering policy/quality change. + +## 51. Independent GPU checks; capture dispatch; hand-item return + +2026-09-05. #477 fix-round1 returned actual native-command recording tests. +Lead independently repeated all four mutations, observed their intended FAILs, +restored raw hashes and ran Release0W0E plus314/314 portableGPU tests. The +lead's original F1 evidence gap is closed;477-lead-verification.md records +exact results. Wegener API/behavior review1 PASS, no findings; Rawls performs +production/lifetime review2. Native graphical validation owed. No integration yet. + +#476 dispatched to James in fresh codex/s5-476-openai-impl at6347e0f8269e201340b0c7a6b826ad4cfc21f43e, +using476-completed-frame-capture-contract.md. #477 scratch is frozen; root +will integrate accepted changes narrowly to preserve both Vulkan partial edits. +#480 returned eight files from Rawls at9556c1748: agent-reported Release0W0E, +92/92 affected tests and two expected mutation failures. Lead verification and +independent reviews are not yet complete; no visual PASS is claimed. + +Neither graphical client is running; ACE9000 PID13340 up. No new client run. +#478 actual lighting cause, #479 exact displaced part and #481 performance +remain unproven. All outstanding§49 obligations and owner G4 FAIL remain.