test(overhaul): pin verified cathedral geometry and membership
This commit is contained in:
Erik
parent
00ea65a164
commit
eea83ac884
5 changed files with 203 additions and 1 deletions
|
|
@ -0,0 +1,57 @@
|
|||
# C1a final integrated verification
|
||||
|
||||
2026-09-05. This records the guarded original witness, not the preserved
|
||||
authored-input diagnostic. Bridge implementation1e645ee40 and first actual
|
||||
capture66825e0bb precede the golden/mutation contract00ea65a16.
|
||||
|
||||
## Candidate review closed
|
||||
|
||||
Only the authorized golden literal differs from66825e0bb. Reviewed raw test
|
||||
SHA256F0EDF3F82252211F595C25A66B5F98A6688F1A061E887A074E939EF8FCB25649.
|
||||
Implementer note `c1a-product-discrimination-verification.md`, SHA256
|
||||
B0C239EB600A06FE0AD39694FA748DB65AED616FCC5F2E4E1365D5AF809E8AF3,
|
||||
retains the seven builds/runs and five actual mutation patches/products.
|
||||
|
||||
Sequential independent review: retail/product meaning PASS, then production/
|
||||
gate honesty PASS, no actionable findings or review-fix round. Reviewer did
|
||||
not implement the App witness. It read the complete file, binding contracts,
|
||||
named order routines/sealed paired evidence, actual factory/extractor and
|
||||
headless publication bodies. Nonempty0104, seven ramp parts, ordered
|
||||
0112/0113/0009 and21clip-required entries remain literal assertions.
|
||||
Complete ordered geometry and unfiltered cross-owner membership are retained.
|
||||
|
||||
Lead separately read all five saved source patches, independently parsed all
|
||||
seven TRXs and verified32/32manifest entries, current test/note source seals
|
||||
and the one-line final delta. Baseline/restored pass; every mutation reaches
|
||||
only final golden failure after both changed fresh-owner products agree.
|
||||
All relevant counts remain unchanged. No production mutation, copied
|
||||
registration, missing fixture, extra agent or graphical run occurred.
|
||||
|
||||
## Clean-checkpoint execution release
|
||||
|
||||
Lead may commit this exact candidate and run the remaining original gates
|
||||
on one clean checkpoint, with no code/document edits during execution:
|
||||
|
||||
1. Official full Release gate with locked restore/build and the literal
|
||||
filter `Lane!=InstalledDat&Lane!=Linux&Lane!=Manual&Lane!=Timing&Lane!=Live&Lane!=PreparedPackage`.
|
||||
Fresh directory `artifacts/s5-c1a-final-hermetic-20260905-r1/`.
|
||||
2. Two fresh exact geometry-fact test processes from that build/checkpoint,
|
||||
each with explicit installed opt-in/directory, plus C1c's unchanged
|
||||
`Oh_walk_corpus_reproduces_all_25_complete_frames_at_full_signature8`.
|
||||
Fresh directories `artifacts/s5-c1a-final-focused-20260905-r1/` and `-r2/`.
|
||||
3. Official canonical InstalledDat lane `Lane=InstalledDat&Purpose!=Diagnostic`,
|
||||
explicit ACDREAM_RUN_INSTALLED_DAT_TESTS=1 and Documents/Asheron's Call,
|
||||
same built binaries, fresh `artifacts/s5-c1a-final-installed-20260905-r1/`.
|
||||
|
||||
Use tools/run-release-gate.ps1 for the official lanes. Never reuse an
|
||||
artifact directory. Before each build/test authoritatively check both client
|
||||
names/debuggers absent and ACE UDP9000; one process at a time. Verify all
|
||||
manifests and every nonpassing identity; do not retry/filter to claim green.
|
||||
The canonical comparator has eight known failures and one known skip in
|
||||
`c1c-integrated-verification.md`; any changed/new failure returns a finding.
|
||||
Missing explicit opt-in is an invalid invocation, not useful gate evidence.
|
||||
|
||||
These runs are not yet claimed complete. The final graphical lifecycle,
|
||||
reconnect, R6/portal/dungeon/owner matrix, graceful ownership convergence and
|
||||
G4 remain separate. C2 performance comparison/FPS repair stays deferred.
|
||||
No original scratch or red authored diagnostic may be modified or rerun.
|
||||
|
|
@ -0,0 +1,110 @@
|
|||
# C1a product discrimination — frozen implementer return
|
||||
|
||||
2026-09-05, campaign base00ea65a164583ea47f7c36d5d1f7bd0ddcfedf00.
|
||||
This is implementation/evidence, not independent review or C1a/G4 approval.
|
||||
|
||||
## Scope and execution
|
||||
|
||||
The only lasting test change is ExpectedCombinedHash at line38, pinned to
|
||||
251A13A58133D79062B38A7145250E5B1FE018AF8E28E1D29A092C4B6C63ABF0,
|
||||
as authorized from clean66825e0bb's independent-owner capture. No production,
|
||||
fixture, package, shader, other test, original scratch or diagnostic changed.
|
||||
No client, agent or commit. All temporary mutation code was removed.
|
||||
|
||||
Pinned and final raw test SHA256:
|
||||
F0EDF3F82252211F595C25A66B5F98A6688F1A061E887A074E939EF8FCB25649.
|
||||
This exact hash was verified after EACH of the five apply_patch restorations;
|
||||
each phase retains restored-source.sha256. Original scratch remains
|
||||
9894EC50BF40F732237E3249E5F7815FDC931DDC66F1D5D212D0CA717373A9C5.
|
||||
|
||||
Seven Release App.Tests builds, all exit0/0warnings/0errors. Seven exact-fact
|
||||
runs: baseline and final-restored exit0/1passed/0failed/0skipped; m1–m5 each
|
||||
exit1/0passed/1failed/0skipped, solely at final ExpectedCombinedHash assertion,
|
||||
line73. Thus both fresh products, their byte arrays, three hashes, complete
|
||||
counts, original semantic checks and mutation-specific assertions all agreed
|
||||
before each intended failure. No retry or extra test run.
|
||||
|
||||
Before each build and test, process-name checks found no AcDream.App/acclient
|
||||
or windbg/windbgx/cdb/ntsd/x64dbg/x32dbg/vsjitdebugger/msvsmon. Each check
|
||||
confirmed ACE UDP9000 PID13340. Prechecks ran18:34:13–18:37:59UTC and appear
|
||||
in execution-tool stdout; build and test process output is saved separately.
|
||||
Every command returned terminal status; final testhost/client/debugger check
|
||||
found none. No live execution handle remains; exclusive lane is released.
|
||||
|
||||
Commands for each phase, with fresh phase artifact directory:
|
||||
|
||||
```powershell
|
||||
dotnet build tests/AcDream.App.Tests/AcDream.App.Tests.csproj -c Release --no-restore --nologo
|
||||
$env:ACDREAM_RUN_INSTALLED_DAT_TESTS='1'
|
||||
$env:ACDREAM_DAT_DIR="C:\Users\erikn\Documents\Asheron's Call"
|
||||
dotnet test tests/AcDream.App.Tests/AcDream.App.Tests.csproj -c Release --no-build --no-restore --filter 'FullyQualifiedName=AcDream.App.Tests.Streaming.LandblockGeometryMembershipInstalledDatTests.CathedralFactoryGeometryAndRetailMembership_AreCompleteAndDeterministic' --logger "trx;LogFileName=capture.trx" --results-directory $phase
|
||||
```
|
||||
|
||||
The four full installed DAT hashes match the accepted corpus in every TRX.
|
||||
These are focused test-project builds/runs, not full-solution or official lanes.
|
||||
|
||||
## Actual discriminators
|
||||
|
||||
1. m1: F4180104's extracted mesh vertex0 Position.X raw bit0 XOR1;
|
||||
normal/UV/Y/Z and lengths untouched, changed bit asserted.
|
||||
2. m2: first real F4180104 OrderedUploadBatches subset with distinct indices;
|
||||
swap index0 with its first differing index after asserting inequality.
|
||||
3. m3: actual ramp MeshRefs0/1 swapped BEFORE PublishStaticCollision, after
|
||||
asserting seven refs and different GfxObj IDs. Actual published entries
|
||||
in every retained ramp cell then assert seven parts, indices0/1 and the
|
||||
reordered GfxObj IDs. No copied registration. Both geometry and membership
|
||||
hashes change; original three-cell/21-entry assertions still pass.
|
||||
4. m4: after unchanged semantic checks, obtain the actual registry-backed
|
||||
List<RetailPartEntry> in the ramp's first cell; select its real ramp entry,
|
||||
assert true, replace only ClipPlanesRequired=false. Same-list identity,
|
||||
unchanged count and all remaining record fields asserted.
|
||||
5. m5: after unchanged semantic checks, use real CrossOwnerCellId and swap
|
||||
adjacent entries of different owners in its actual list. Adjacent pairing
|
||||
preserves each owner's relative order. Same-list identity, count, both
|
||||
complete owner projections and both unchanged CELLARRAYs asserted.
|
||||
|
||||
Actual source patches are preserved as each mutation's source.diff; these
|
||||
include the authorized pin relative to the unpinned committed base.
|
||||
|
||||
All seven runs have exactly the same counts:
|
||||
geometry visibility24/shells22/entities241/Setups35/GfxObjs59/vertices4946/
|
||||
subsets222/indices12300/SetupParts72;
|
||||
membership entities241/logicalOwners229/arrays229/arrayCells256/domain55/entries440.
|
||||
|
||||
## Product hashes
|
||||
|
||||
|Phase|Geometry SHA256|Membership SHA256|Combined SHA256|
|
||||
|---|---|---|---|
|
||||
|baseline|3DA9040F65F58E2FF20EF2B4761A700C847298DFBEF370E3EA76AEE85B53D187|AC18FF6BAB798D4480AF1EFD0B90DE3E9252AD4B6C837AB60AAC6DC42A08BC9A|251A13A58133D79062B38A7145250E5B1FE018AF8E28E1D29A092C4B6C63ABF0|
|
||||
|final-restored|3DA9040F65F58E2FF20EF2B4761A700C847298DFBEF370E3EA76AEE85B53D187|AC18FF6BAB798D4480AF1EFD0B90DE3E9252AD4B6C837AB60AAC6DC42A08BC9A|251A13A58133D79062B38A7145250E5B1FE018AF8E28E1D29A092C4B6C63ABF0|
|
||||
|m1-vertex-bit|0888052AC02E485F86D3E5CBDCD644D9CA6E753642961D53AC00B6A2081B2C99|AC18FF6BAB798D4480AF1EFD0B90DE3E9252AD4B6C837AB60AAC6DC42A08BC9A|0A89C2E1C8890269A88F0E9EB866F7852FD7675649811DBD3AADE22FDA3CD408|
|
||||
|m2-subset-indices|1163B81F5804E5AA535D6720330902285415C7DF9CA34A9059828544204B8B8A|AC18FF6BAB798D4480AF1EFD0B90DE3E9252AD4B6C837AB60AAC6DC42A08BC9A|C2391C2946D70B27A5B443476BC34C841A746AC832FA4A13DF3B660F27AD81C7|
|
||||
|m3-prepublication-parts|FB65BCC96D2ACEF34BE4AB3AC549407D8EB985109142D01AE784E60571C8CCE7|A5E6299F5396A4B7825EF081E43C1AF9BBCB90EB5D48F43506086DD6F2B8696C|AC2E51967AC6C4122E926EF6730F1E45AF0ADF65FBE9544FDE90B28A9F0C9EDB|
|
||||
|m4-retained-clip-bit|3DA9040F65F58E2FF20EF2B4761A700C847298DFBEF370E3EA76AEE85B53D187|1D3D29509060545D4432718BEC46C6D30027007318076E7C2585722A8AE4F1CA|8B3C9C1F3D44EB5ECF45AA0A73DDF575DBC2231DE2AAB81C7219EC67BF944C0B|
|
||||
|m5-cross-owner-order|3DA9040F65F58E2FF20EF2B4761A700C847298DFBEF370E3EA76AEE85B53D187|0F3D2F925B4DB24CCC4A1D4ACA2F8FE395BE68F07E73F158B468FFDE141FB5C4|60B87692BF195376C37E6AA68D748CA935A20F6B639835057F2D83257C612256|
|
||||
|
||||
## Raw artifacts
|
||||
|
||||
Root: artifacts/s5-c1a-product-discrimination-20260905-r1/.
|
||||
Each phase has release-build.log, capture.log and capture.trx. Mutation phases
|
||||
also retain source.diff and restored-source.sha256; final-restored has the
|
||||
one-line lasting source.diff. SHA256SUMS.txt seals all32 evidence files.
|
||||
|
||||
|TRX path under artifact root|SHA256|
|
||||
|---|---|
|
||||
|baseline/capture.trx|2B384DC81EF9AE41AA44F9CA45DCAAAB5B6E2B9348D7D01C8CA22D9BB89AC88F|
|
||||
|final-restored/capture.trx|BE85019004AC17DFAB70E70A48467690C6D0521D1CEEAF82DEFB04D66EB4940C|
|
||||
|m1-vertex-bit/capture.trx|B8EB2D7365587918DA1940AB32FE2D065178B6B8E3DB5394A322EFAA2290C211|
|
||||
|m2-subset-indices/capture.trx|4821BB6AD0722CB604F7F2C795CF28E02DBCAA7A749F3CD62C06B2929CAA2B39|
|
||||
|m3-prepublication-parts/capture.trx|22E9082356CC840D6C94B8B93285C24F38212085896259460B8DC9D344146B28|
|
||||
|m4-retained-clip-bit/capture.trx|94777ABEC8F70068E307D2B47B8C92F562C2D75EAC45EFE57ADB7E929BAAA409|
|
||||
|m5-cross-owner-order/capture.trx|774A7156D36095CE1A435AB0DB4CC9BD375F5CB62FF290600826DEA6E5EF3C6A|
|
||||
|
||||
## Remaining gates
|
||||
|
||||
Lead owns sequential independent review, clean checkpoint, two fresh focused
|
||||
processes and official literal-hermetic/canonical-InstalledDat lanes with exact
|
||||
nonpassing identities, plus C1c's unchanged25-frame consumer. No general
|
||||
native list-order, x87, lifecycle/GPU, FPS, known retail leakage, AMD-cause or
|
||||
C1a/G4 acceptance claim. Initialized part order0..6 is not later native retained
|
||||
order0,1,6,5,2,4,3. AD117 and remaining AP159 boundary predicates stay open.
|
||||
|
|
@ -5243,3 +5243,28 @@ only a nonempty actual F4180104 mesh guard was prepared under its separate
|
|||
write-only contract. Lead owns its explicit capture/mutation release and
|
||||
final campaign gates. No client launch, known retail leakage/FPS change or
|
||||
main merge in this chunk.
|
||||
|
||||
## 68. C1a actual geometry/membership and discrimination — 2026-09-05
|
||||
|
||||
Bridge landed1e645ee40; guarded original witness66825e0bb. Its first clean
|
||||
installed capture completes BOTH real fresh-owner products: nonempty0104
|
||||
shell, seven ramp parts, exact0112/0113/0009 cells and21clip-required entries,
|
||||
byte-identical geometry/membership and counts. Sole initial failure was the
|
||||
final unpinned literal. Product/corpus/artifact hashes are sealed in
|
||||
`c1a-integrated-capture-verification.md`.
|
||||
|
||||
Authorized combined golden251A13A58133D79062B38A7145250E5B1FE018AF8E28E1D29A092C4B6C63ABF0
|
||||
is now pinned. Seven Release builds0W0E; baseline/restored1/1, all five real
|
||||
product mutations intentionally fail only the final golden with unchanged
|
||||
counts and both owner captures equal. Exact source restored after every
|
||||
mutation. Lead and independent reviewer separately read patches/TRXs and
|
||||
verified32/32artifact hashes. Sequential retail/product and production/gate
|
||||
honesty lenses PASS, no findings. The only lasting new test delta is the
|
||||
golden literal. `c1a-product-discrimination-verification.md` records all raw
|
||||
products; `c1a-integrated-verification.md` owns clean-checkpoint execution.
|
||||
|
||||
Two fresh focused processes, unchanged C1c25-frame consumer, full literal
|
||||
hermetic and canonical InstalledDat lanes are still owed. Known canonical
|
||||
nonpassing identities remain explicit; no entire-lane PASS from filters.
|
||||
Final lifecycle/stability, graphical matrix and owner G4 are separate. No
|
||||
FPS work, known retail leakage change, authored-diagnostic rerun or main merge.
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue