Skip to content

Fix durable ordinal allocation and Windows integration test waits - #115

Closed
dollspace-gay wants to merge 1 commit into
authorization/pcr-0010from
fix/command-ordinal-contention
Closed

dollspace-gay wants to merge 1 commit into
authorization/pcr-0010from
fix/command-ordinal-contention

Conversation

@dollspace-gay

@dollspace-gay dollspace-gay commented Oct 9, 2026 •

Copy link
Copy Markdown
Member

Superseded by the consolidated original repair PR #113: #113

This PR is retired without merging or deleting its branch. Its signed commits and review evidence remain in the final delivery history. PR #113 now exposes the full repair branch against develop. Full-base qualification remains unfinished; checks against the prior authorization base are scoped evidence only.

Historical phase description and evidence follow.


Concurrent command-runtime initialization could report an undifferentiated SQLite lock failure, and Windows integration tests could exhaust a fixed polling loop while real Cargo gates were still running. This change puts initial schema creation and ordinal reservation in the same immediate transaction, names failed SQLite operations, and gives integration tests a two-minute elapsed-time observation watchdog with the latest snapshot in timeout diagnostics. Explicit five-second cancellation checks remain enforced.

The rollback regression proves a failed first reservation publishes neither schema nor counter. The stalled-provider regression checks timeout diagnostics and prompt cancellation. The unchanged concurrent-reservation test and formerly failing oversized-review test pass on native Windows and macOS.

This implementation is stacked on published authorization commit 2d8ad67ededf9273e89d09264fc6919d0c561570 (authorization/pcr-0010) and applies the exact source approved by independent reviewer ACTOR-0011 at candidate e5c4ec47414daa75ecd2e3b2d17a279ee38d7132. Implementation commit: 90ff9494c9e62cf6195f95d47691b1f219290258.

Validation:

  • All 132 fresh candidate-bound ordinary and Verus gates passed; raw logs, hashes, and actual independent approval are retained under verification/reviews/PCR-0010/.
  • Native graphical evidence pair passed 2/2. H0 passed on Linux, macOS, and Windows, with source and cleanup audits.
  • Candidate Foundation verification passed all 194 jobs, including the affected native-platform regressions. Candidate Browser workspace, Distribution package tooling, and Proactive bug discovery passed.
  • Both separate signed phase commits passed their exact-base verify-trust, aggregate xtask all, and independent complete-tree/signature/history audits. All 752 historical review artifacts and 157 in-progress obligations are preserved.
  • Final hosted qualification passed on implementation 90ff9494c9e62cf6195f95d47691b1f219290258: all seven workflows succeeded, with 578 successful jobs and only the three configured bug-discovery skips (581 unique jobs total). Gate A passed 215/215, Foundation 194/194, and Native product package 162/162. Native security qualification passed 3/3, Browser 1/1, Distribution 2/2, and Proactive bug discovery 1/1 with its configured context-canary/fuzz/mutation skips.
  • Independent final artifact audits passed 42 H0 cases (six required native-sandbox executions) and all 108 H2 scenario reports across six OS/architecture targets. H2 checks cover canonical evidence digests, raw observations, cleanup, and consistent per-platform manifest references; prepared package contents were not independently downloaded/rehashed.
  • Raw bootstrap and Candidate policy logs confirm authorization base 2d8ad67ededf9273e89d09264fc6919d0c561570. The checked synthetic merge 9fa8cadbd481ac498ddbc394aabfd7b9e35cef3f has the exact implementation tree and includes that authorization in its ancestry. The audit checked every paginated job, unique identity, and expected terminal conclusion.

The original SQLite failure did not identify its exact operation; the repair establishes atomic publication and better diagnostics without claiming a proven reconstruction of that failure stage. This draft does not merge either phase, discharge formal obligations, or establish protected/deployed checker authority.

Refs #103.

Final workflow evidence:

Earlier provisional and stale-event runs were canceled after retaining their evidence to release macOS capacity. Those cancellations are not passes; the successful results above belong to the final 09:31:19 UTC campaign.

@dollspace-gay dollspace-gay changed the title fix: make command ordinal initialization atomic Fix durable ordinal allocation and Windows integration test waits Oct 9, 2026
Apply the exact independently reviewed candidate source and actor inputs:
reserve command ordinals and initialize their schema in one transaction,
and use an elapsed-time integration watchdog with snapshot diagnostics.

Advance the proof inventory to the reviewed source hashes while preserving
the already registered PCR-0010 verdict and all historical review evidence.
@dollspace-gay dollspace-gay reopened this Oct 9, 2026
@dollspace-gay
dollspace-gay changed the base branch from fix/minimum-repair to authorization/pcr-0010 October 9, 2026 09:28
@dollspace-gay dollspace-gay reopened this Oct 9, 2026
dollspace-gay added a commit that referenced this pull request Oct 9, 2026
Retain the exact signed PCR-0010 implementation tree and complete reviewed
history while restoring the original repair branch as the delivery branch.
The authorization base is now 2d8ad67.
This source-unchanged publication commit triggers fresh checks against that
settled base; superseded PRs #114 and #115 are retired without merging.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant