Skip to content

Prepare provider execution and qualify Scheme runtime - #3

Merged
GTrunSec merged 117 commits into
mainfrom
perf/provider-lifecycle-footprints
Nov 11, 2026
Merged

GTrunSec merged 117 commits into
mainfrom
perf/provider-lifecycle-footprints

Conversation

@GTrunSec

@GTrunSec GTrunSec commented Nov 5, 2026 •

Copy link
Copy Markdown
Collaborator

Provider execution repeats preparation across ledger transactions and Scheme Workflow wakes. This PR prepares reusable execution objects and fixed SQL programs, while keeping fresh authority/source reads and claim, reservation, fence, revocation and unknown-outcome checks in Rust's deciding transactions.

Scheme/POO and gerbil-ascent retain planning and inference. The existing affine owner now supports publication-bound topology, complete bounded fact transfer and checked node-index results over the rooted C ABI. The retained nested candidate uses ASCENT's public program constructor to reduce 24 relations/21 rules to 21/14, preserving source inputs, fact limits and atomic replacement. Retained, preopen and packed execution remain opt-in.

The maintained benchmarks include four-worker HTTPS Snake Oil paths and a finite quiet resident-owner profile. The latter uses one prepared owner, four Tokio workers and 32 waves of four complete snapshots. SDK usage counters distinguish GC time, heap capacity and whole-process counters. Generated execution evidence stays in ignored cache directories; reproducible drivers, model witnesses and acceptance limits are versioned.

Validation and open gates:

  • The latest module-native property checked 32 seeded sequences of eight replacements against the unchanged full-fresh oracle. Source-budget rejection/recovery, topology/binding replacement and packed bounds passed.
  • The latest 26 governance library tests, ASP gate and OpenSysML architecture/requirement-trace checks passed locally. The frozen release built within the existing budget. Submission-snapshot controlplane race tests and focused devrunner evidence/source-integrity checks also passed. The complete devrunner race invocation exceeded its 90-second submission-check limit and is not a full-suite pass.
  • The mandatory all-workspace, all-targets, all-features offline Clippy commit hook passed. Both focused ledger scope-trace unit tests passed.
  • Same-release hard-fact withdrawal/restart/A-to-B-to-A, nested recovery/skip and source-cancellation controls passed.
  • The 1 ms target is not met. Quiet four-worker owner P99 changed from 3.787-4.132 ms to 3.419-3.605 ms. This is not Gateway end-to-end latency qualification or an isolated ASCENT-only speedup.
  • Both four-way native readiness waves failed during CompileSource, before module-view admission and Governor derivation. The 10-second CompileSource, 12-second recovery and 15-second natural-drain limits are unchanged. Failed waves were preserved, not rerun until passing.
  • Prior failed eight-cell Gateway ratios and same-image tail controls remain open. GC attribution is scoped to its measured cohort; heap capacity/RSS are not allocation counts.
  • This checkpoint does not establish exact-head remote CI, production approval or approved site replay. Earlier Ubuntu/macOS CI history remains documented in the delivery plan. No CI-green claim is made for the new commits.

See docs/50-59-research-program/59-provider-rpc/59.87-spec-upgrade-and-delivery-plan.org and the linked SysML requirements for current behavior, finite evidence and remaining gates. Further performance work is deferred for architecture review. Keep this PR Draft; no merge or release is requested.

@GTrunSec GTrunSec changed the title Narrow provider lifecycle invalidation without splitting shared constraints Share provider read custody across budget domains Nov 5, 2026
@GTrunSec GTrunSec changed the title Share provider read custody across budget domains Preserve provider authorization through shared custody and admission scheduling Nov 5, 2026
@GTrunSec GTrunSec changed the title Preserve provider authorization through shared custody and admission scheduling Preserve provider admission and qualify native Scheme governance Nov 8, 2026
Reuse immutable execution inputs and SDK prepared programs while preserving
fresh deciding reads, current authority, source barriers and retained holds.
Carry publication-bound Governor topology and bounded facts through the
existing affine owner and rooted C ABI; validate owned candidate indices.
Specialize wholly nested retained programs with the public ASCENT factory.

Add fixed four-worker benchmarks and SDK GC attribution, with preparation,
queue, derivation, reply and natural cleanup measured separately. Keep
retained/preopen/packed modes opt-in and preserve the original deadlines.

The submillisecond target remains unqualified: the latest candidate owner
P99 is 3.419-3.605 ms. Both four-way source-readiness waves failed before
Governor derivation. Record passing local controls and these open gates in
the delivery plan; this checkpoint makes no full CI or production claim.
@GTrunSec GTrunSec changed the title Preserve provider admission and qualify native Scheme governance Prepare provider execution and qualify Scheme runtime Nov 10, 2026
GTrunSec and others added 17 commits November 10, 2026 16:47
Version the source, Kubernetes fixture, acceptance controls and SysML allocation. Keep generated run outputs in the local verification cache. Final Scheme release qualification remains pending after the prepared SDK was removed.
The four-thread ledger library suite and cargo fmt pass. The full feature Clippy hook still requires the prepared Scheme SDK.
Prepare trusted TOML profiles, own browser and device credentials, and bind delegated OAuth exchange to the existing mTLS operation and signed grant boundaries. Qualify lifecycle and transport behavior through bounded fixtures, Rust properties, SysML traceability and Quint models.
Keep the strict ASP gate enabled by separating RPC handlers, listener lifecycle, and the source-owner worker. Move the ingress test into its unit fixture and retain SysML trace witnesses at their new locations.
Exercise cached OAuth and connection reuse through four concurrent prepared-profile callers. Verify cancellation through the same configuration entrypoint, bind the SysML witnesses, and register the existing Criterion case and Server dependency in the workspace gates.
Set TCP_NODELAY on the accepted fixture socket and retain the original five-second workload limit. Include the active protocol phase in timeout errors so Ubuntu failures identify which boundary stalled.
Reuse Cargo release artifacts for the provider and observation fixtures while retaining the Scheme qualification graph. Preserve all property cases, race checks, and the ten-minute integration budget, and trace the selection in SysML.
Remove the generic five-minute Cargo preparation cutoff that truncates optimized builds. Keep the enclosing suite deadline and native runtime acceptance timeout, and verify descendant cleanup for both preparation stages under parent cancellation.
@GTrunSec
GTrunSec marked this pull request as ready for review November 11, 2026 08:55
@GTrunSec
GTrunSec merged commit 40e2a69 into main Nov 11, 2026
@GTrunSec
GTrunSec deleted the perf/provider-lifecycle-footprints branch November 11, 2026 08:55
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