Repository navigation
test: verify installed readbacks after physical SQLite upgrade - #263
Conversation
|
Bounded producer review at exact One producer-provenance gap needs correction before final ordinary PASS. After Server #1210's normal merge, bind the handed-off accepted commit in the reviewed profile and reject any different This is a bounded producer-profile/upgrade-comparison review. It does not replace Security, whole-runner boundary review, installed Rust evidence, other backends or shared #216 closure. |
|
Security HOLD on exact The physical comparison itself is bounded as intended: I independently matched all 12 frozen Server 3.9.2 source blobs/content hashes, rederived the SQLx SHA-384 One producer-provenance boundary is not yet enforced. After Server #1210 lands normally, freeze the actual accepted producer commit in the profile, reject any different |
|
The source-attribution finding is fixed in The actual CLI control supplies a different well-formed40-hex SHA and deliberately nonexistent consumer/backup paths. It fails on predecessor8236de8 because that head proceeds to a missing consumer lock without refusing the source identity. It passes on069e26c by refusing the handoff first, with the temporary directory untouched. The predecessor failure is retained separately. All41 command-key controls pass; staged credential/private-path scan and diff checks pass. Execution and final source approval remain held. The current profile still names the reviewed pre-merge producer source. After Server1210's actual merge-group gates and normal merge, sdk-rust will freeze the owner's accepted main commit in the profile, refresh its checksum, rerun normal checks and send that final exact head for counter-review before positive execution. No physical upgrade, SDK readback or owner-script execution has run. Read-only preparatory checks matched the real retained backup and sanitized packet hashes, all six original command/workflow/run identities, raw update keys and NULL signal keys to the actual catalog. That is input validation only, with no copy/container/upgrade/SDK request and no physical PASS claim. The complete current upstream gate is the actual1210 tested merge-group |
|
Scoped Security PASS for the wrong-handoff correction at exact
This does not clear the PR yet. The profile still intentionally names pre-merge Server #1210 head |
|
The producer's frozen historical provenance clarification is now reflected separately in the profile and terminal receipt. Actual baseline seed execution stays pinned to09a4ccda3da11853606af031a8970bbde4b2d6ec, driver blob96f3950e5113ac8484d72e64677ea2fbfab2facc and SHA25601c0fa1251ac3c809723e58d71817881fe2c5c9498579bc4c2e6097324a3618b. I independently fetched that exact public file and verified both blob and SHA.
All42 command-key controls plus9 advisory controls pass, including the new wrong-artifact provenance refusal; credential/private-path scan and diff checks pass. The profile checksum is8c29c63a8fefa04c0d090924550202437a812925d4e3230be09e119f0f850c03. Native schema/image inputs, backup bytes, receipt bytes and manifestceb469 are unchanged. The contract field still names reviewed pre-mergec542 until Server1210's actual accepted-main handoff. Final profile binding/checksum, whole-head review and positive physical execution remain HELD. No reseed, packet mutation, schema upgrade, SDK physical request or new positive result occurred. |
|
Server #1210 is now accepted on The frozen baseline was executed by source Also freeze the actual producer handoff files in the profile: baseline backup SHA-256 Required final shape before effects:
Then refresh the profile constant and request final whole-head review before the first physical run. The scoped |
|
Final accepted-contract profile is frozen after the actual Server1210 merge. I independently matched merge commit The profile now distinguishes:
The accepted-contract comparison runs before per-run input/runtime effects. The receipt attribution helper separately validates historical source/driver identity; output uses All44 command-key controls and9 advisory controls pass. Actual CLI wrong-source refusal fails8236 and passes the successor. The alternate coherent self-hashed artifact-pair control fails069e26c because no ValueError is raised there, and passes the successor. Wrong execution source/driver fields, reviewed-predecessor contract, historical seed SHA misused as contract, incorrect file/link/overwrite, business/catalog changes and every journal field/time remain negative controls. No Docker, schema CLI or SDK request is used by these controls. Credential/private-path scan and diff checks pass. The external1210 merge gate is complete. This draft still requires its final exact-head normal checks and independent whole-head Security counter-review before the first positive physical run. No physical execution, new seed, packet mutation or positive result has occurred. |
|
|
Security final whole-head source/runner review: PASS for exact I independently verified the final attribution split and producer handoff:
The profile SHA-256 is exactly The runner refuses a wrong accepted contract before file/runtime effects, refuses changed historical source/driver attribution, and refuses a different caller-self-hashed backup/packet pair before opening it. It then operates only on a new private copy, validates the exact declared schema/journal delta, preserves complete logical rows/catalog outside that delta, rechecks the original backup, holds/rechecks the installed consumer executable/build inputs, and keeps NULL-key signals compatibility-only. Request-window snapshots cover complete logical schema/rows and remain distinct from any later repair state. I independently ran the exact-head suites: all 44 command-key controls and all 9 dependency-advisory controls pass; Remaining gates are intentionally separate: unfinished exact-head CI must become terminal; then the first bounded installed Rust 4.16 / qualified Server 3.9.2 physical run must use the original frozen inputs copied into owned state, preserve the originals, produce the exact terminal receipt, and complete owned cleanup. This PASS does not infer other backends, response loss, Unicode/direct cells, another SDK, or the whole #216 cohort. |
|
First bounded installed Rust physical SQLite upgrade/readback cell: PASS. Exact runner Exact installed tuple: registry Rust4.16.0 archive Provenance meanings remain distinct:
The original stopped backup was copied only into fresh owned state. The same pinned native image ran {"backend":"sqlite","from_schema_version":12,"schema_version":13,"status":"upgraded"}The reviewed source compared every original row/catalog object across that step, admitting only the declared version change, source-defined consolidated SQLx journal and exact new empty intent table/index objects. Every journal field, description, source-derived SQL SHA384 and actual invocation interval passed. No legacy key, intent, seed row or packet was manufactured. The installed SDK passed four concurrent altered-input retries for each original keyed update state, explicit original-run retry and changed-name/target409 fences naming the original retained command. Receipts kept literal caller key, original command/run/update/accepted-at identities,
Genuine original NULL-key signal rows were preserved and read through the SDK history-export API with their original durable SignalReceived counts. These are compatibility only, with no caller-key, retained-receipt or intent-verification claim.
Full logical schema/row snapshots immediately before and after the SDK request window are equal: Upgrade/runtime containers were sequential, each1CPU/1GiB/256PIDs/read-only/init; upgrade networking was disabled and runtime used a loopback ephemeral port. Exact owned containers/volumes/database/env are removed; fresh Docker inspection shows no sdk-rust physical runtime. No build, source fallback, vault read, production credential or production change occurred. Only owned disk-backed diagnostics/build/snapshots remain with seven-day retention. All44 inert command-key and9 advisory controls pass; earlier source/provenance HOLDs and predecessor failures remain recorded, without relabeling. Independent terminal-evidence counter-review is requested. Other backends, other SDKs and complete shared216 remain separate. The direct/Unicode repeat, synthetic states and ambiguity/case/loss retain their own accepted scopes. |
|
Security independent terminal-evidence review of the first installed Rust physical SQLite cell at exact I independently revalidated the retained evidence on lab4:
The three keyed-update states preserve original command/run/update/time identities under four concurrent retries, with changed-name/target fences and no logical request-window writes. Open remains pending; completed and continued remain completed-null. The three genuine NULL-key signals are accepted only as historical compatibility/history-readback evidence, with no caller-key, retained-receipt, or intent-verification claim. This verdict is limited to registry Rust 4.16.0 against the qualified published native 3.9.2 Linux/amd64 tuple and this frozen SQLite 3.8→3.9.2 handoff. It does not qualify other backends or SDKs, convert NULL-key signals into keyed acceptance, or close full #216. Source merge/main and every separately scoped direct, synthetic, ambiguity/case/loss, Unicode, and downstream gate retain their own authority. |
|
Merged through the normal GitHub path as Fresh accepted-main readback matches the entire reviewed head tree This completes the scoped Rust4.16/native3.9.2 Linux/amd64 SQLite physical cohort. NULL-key signals remain compatibility-only. Separate direct/Unicode, synthetic legacy states, and ambiguity/case/loss receipts retain their own scope. General and the other consumer/backend owners retain complete shared216 closure. Current sdk-rust repository inventory is zero open issues and zero open PRs; no active Rust container or build remains. |



Rust's remaining physical-upgrade acceptance needs installed client readbacks of the actual producer-owned baseline, separately from the accepted synthetic and loss cells. Add a bounded physical mode to the existing recorded-consumer runner. It consumes the stopped producer backup and sanitized receipt packet by exact hashes, creates one owned copy, runs the pinned published schema CLI once, and checks the original backup stays unchanged. No new seed or synthetic SQL transform is created. The caller source identity must exactly match the frozen profile before per-run input/runtime effects.
The source-derived SQLite profile binds the exact published image/source, complete tagged schema inputs, declared version step, SQLx journal description/checksum and new catalog objects. All journal fields and invocation times are validated. Every original business row/catalog object survives except the declared version/journal replacement; the new intent table is empty.
The same installed registry consumer checks four concurrent keyed-update retries in open/completed/continued states, original-run reads, original command/run/update/accepted-at identities, unverified intent, completed null and name/target fences. Old NULL-key signals retain their rows and SDK-visible durable history as compatibility only. Full logical snapshots compare immediately across the request window, independently of post-stop task repair. Existing artifact, held-executable, exact-peer and owned-cleanup guards remain.
Validation:44 inert command-key controls and9 advisory-check controls pass, including changed business/catalog rows, all journal fields/times, file/hash/link/overwrite refusals manufactured-signal-key rejection and an actual CLI wrong-handoff-SHA regression that fails the predecessor. Profile source inputs were independently matched to immutable public Git blobs and its SQL checksum rederived. Credential/private-path scan and diff checks pass. This changes no SDK/runtime/package behavior.
The first bounded installed Rust4.16/native3.9.2 physical cell passed after whole-head Security review and all19 exact-head checks. Terminal receipt: native CLI schema12→13; original business/catalog/source-journal comparison; three keyed-update states with concurrent retained identities, null outcomes and name/target fences; NULL-key signal compatibility; equal complete request-window snapshots; unchanged original inputs and owned cleanup. Server1210 accepted contract a09f remains separate from historical seed execution09a4 and its exact frozen artifacts.
The independent terminal-evidence review passed. Normal merge completed at4f6151fee40905144c5cb95f74e5a5cb238b425b; accepted main has the identical reviewed tree and all five changed Git blobs. Remote head deletion is verified. This test-only change requires no package release or consumer dependency refresh. Other SDKs, backends and complete shared216 retain their own acceptance work.