Saved algorithm result · GEO-07

Registered generator geometry ports

Three bounded public adapter examples: affine image, constrained disjoint-ID Minkowski sum, and capped zonotope-to-V conversion. The representation algebra is equivalent over real sets; coefficient evaluation uses binary64 and has no validated rounding enclosure.

Numerical outcomes

On narrow screens, scroll tables and the chart horizontally to see all values.

Literal independent H/V references and observed public outputs
FixtureExpected physical setObserved outputChecked examples
Affine image2 ≤ x ≤ 12center 7; generators [2, 3]; factor IDs horizontal, verticalfour feasible physical witnesses and two outside points
Constrained disjoint-ID Minkowski sum1 ≤ x ≤ 7center 4; generators [1, 0, 0, 2]; factor IDs u, v, p, q; equalities u = v and p = −qthree feasible physical witnesses and two outside points
Bounded zonotope to V conversion2 ≤ x ≤ 12; V-representation rows {2, 6, 8, 12}enumerated corner images 2, 6, 8, 12; zero rays; coordinate label xall four V-representation rows and two outside points; only 2 and 12 are extreme endpoints

Every fresh call checked factor IDs, coefficients and equality rows where applicable, feasible witnesses against physical H, outside points, V-representation rows, and scoped rejection controls. The two interior corner images, 6 and 8, are redundant rows. The requested relation was equivalent with numerical assurance and no error bound. These examples do not establish general geometric correctness, constrained conversion, intersection, overlapping-ID independent sums, or validated arithmetic.

Measured verified batches

One excluded warmup and seven measured batches per fixture in alternating order. Each batch made 5,000 fresh registered-port calls; all 24 warmup and measured batches passed literal checks with zero observed failures. The 20 ms admission floor was met in every batch.

Seven measured batches per fixture; milliseconds
FixtureCalls per batchSuccessful batchesMedian msRange ms
Affine box image5,0007/757.40556.795–58.241
Constrained disjoint sum5,0007/769.53868.830–74.891
Bounded V conversion5,0007/783.05082.442–84.471
Verified batch observations0204060801001234567Measured roundBatch duration (ms)Affine box imageConstrained disjoint sumBounded V conversion
Each point is a verified batch, with a shared vertical scale. Warmups are excluded.

Performance interpretation is exploratory and inconclusive. There is no comparator, speedup, source-mapped limiter profile, application-scale workload, or throughput claim. These are verified-batch times, not isolated operation or per-call latency.

The steady_clock interval includes fresh generator handles, public provider registration and preparation, workspace execution, literal H/V and factor checks, rejection controls, and per-call nlohmann JSON result construction and assignment. Process startup, JSONL serialization, saved-row validation, persistence, rendering and deployment are outside the interval. Internal phase counters and observed native thread count are unavailable.

Source and host evidence

Algorithm source 41b4b58f2ef982e75554519862afdd803e30f717; reviewed harness 95ba77d3fb2077ec3f56c8fe68903eb18f26488a; saved report geo07-port-4dee19cde3d50259. Raw trials SHA-256 41649b7f4acde2c0e980b7c648358d9d217f68e3e5ec9c103f25173e7ab0d39e; records SHA-256 e197ee1852fdb49b3b9180e0a7bfee3004cbb5bb000cf3f175f5ba22b61a5cb1; native manifest SHA-256 27b162d9d9ac271c7eea3145a4cb75972e13f11771ff700341c8603cf9ce63a2. The later publication commit is a separate identity.

MSVC 19.44.35215.0, x64 C++20 Release /O2 /Ob2 /DNDEBUG. Host: Windows-11-10.0.22631-SP0, 12 logical processors. The collector observed CPU 0% and no cmake, MSBuild or cl processes just before measurement. The separate post-run observation also recorded CPU 0% and zero such processes; its exact-byte SHA-256 is dff519dc043fe14cd451f919315a9eee34f00a919e979fba46be809a71548c8a. One sequential driver worker was requested; observed native thread count is unavailable.

Collection ran from 2026-10-16T14:51:36.008720+00:00 to 2026-10-16T14:51:37.703130+00:00. Earlier collection-001 is excluded: its 1,000-call batches were below the 20 ms floor, although all literal rows passed. Its raw SHA-256 is 7f31a8988d36fde6846b4fbb463b797ced9f4b93796bf06e3e9db5843a7d433e; those rejected bytes are preserved outside this published bundle. The accepted native collection status records report-review acceptance and the publication gate then pending.

Download and audit

Saved inputs, description, trial events, build/probe evidence and rendered tables are available as individual files.