Visual examples: minimal 2D inputs, hull vertices and plots →

Versioned algorithm reports

Each report identifies its measured scope and evidence limits. Cross-method performance or certification claims are not implied.

• lp-20261012T000346Z-9b916da6a4ffd6685e99df3129f6cbaaa73d85c9f12533a828c1e1714dd12ff0 — Five analytic LP microfixtures; limits: Single-adapter reference measurements; no comparator or application-scale claim; numerical references are not validated certificates; source 6780941b80fd1e94d6b5a6c5142822d5273bfa3f — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• convex-20261012T041854Z-2a87a229b670431a399a070008bc871c97d696444f0a80e8061b42d0ffc79a59 — Nine analytic convex microfixtures; limits: Single-adapter reference measurements; no comparator or application-scale claim; numerical references are not validated certificates; source cc3d91b579d1bfbb07fb6159b6709a08cd15fa10 — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• opt05-hull-20261012-d6d3282081d5ea90d8a0c440ccc1ec774d40221e209a01d8207ebd06a551dbf5 — 21 verified measured trials across 5x5, 9x9, and 13x13 square lattices; limits: No comparator; binary64 numerical checks; not exact arithmetic or a validated global certificate; source d1c211c2763989a9cf3e39a8acaf609c5cf33a07 — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• geo03-20261012-30157d9ac59269cc26a2ca24dfd1744297971b435a8bba13dcb68f2a1dbcd104 — 56 measured trials across four bounded 2D fixtures in both conversion directions; limits: contract fixtures only; no accepted workload-size baseline; bounded H/V cases only; no available competing adapter; numerical checks are not validated global certificates; no inner conversion phase timing; A17/A18 audit covers source lineage only; executable equivalence is not established; source ba83547b3495cc8017f720702083bcf76c71fb30 — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• geo04-20261012T224946Z-30606c76deb657567eb86a451c474c5aa796827651262a550b15fa4cb4ece549 — 28 measured trials across 4 analytic polyhedral-intersection fixtures; limits: No comparator or speedup claim; binary64 numerical fixtures without exact validated geometry; no application-scale or scalability claim; HiGHS reduction remains incomplete and retains all rows; CPU profile and per-trial resource counters unavailable; source 9579f9e936d85d66c59003b2a04157c153df6b63 — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• geo02-20261012T235755Z-7275580339899c6ac27496fc2b05cb040d9fec14f8ec7f8bf219cc299c55eefc — 28 measured affine-sum trials across 4 tiny binary64 fixtures; limits: Full candidate cloud retained; validated reduction evidence is not applied; no comparator, speedup, application-scale, or scalability claim; binary64 tiny fixtures; profiling and internal solver-phase timings unavailable; source 767f0c6a1bb26ddc76318cd519df41947a7b264b — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• geo05-8918ad3ac4b0b3d1ff9c8b807d6b509f324ef3e9b11716be496c8e6e437f6795 — 28 retained measured attempts across four GEO-05 analytic fixtures; 7 requested repetitions per fixture; limits: numeric sample checks only; H relation support Unestablished; no exact set equality or validated arithmetic claim; tiny analytic fixtures only; no comparator, speedup, application-scale, or scalability claim; binary64 numerical samples do not establish exact set equality or validated arithmetic; H relation support remains Unestablished; Phase summaries include successful trials only when the full run summary is valid; complete measurement trial matrix; attempt outcomes: {"cancelled": 0, "failed": 0, "missing": 0, "passed": 32, "unsupported": 0}; complete fixture attempt matrix; all attempts passed; eligible for independent review only; source 2a7738f0ef9652501c68021a91c648723458569a — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• geo02-20261013T061151Z-449f188d2de1f50164a55a7b3b3931132dfa8384306ac3c93d5fb3a958cbd754 — 35 measured affine-sum trials across 5 tiny binary64 fixtures; limits: Exact dyadic deletion certificates apply only to generated binary64 candidate hulls; no comparator, speedup, application-scale, or scalability claim; five tiny fixtures; source geometry remains numerical; profiling and internal solver-phase timings unavailable; source 6f450e09bdb247a94dc4365a7b36ac5d4d263ece — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• syn01-6e207b2ee1f300929f054e679c8cd5707f979c02b173292660520e403ebf2852 — Two-step discrete nominal-forward reachability on two authored scalar analytic fixtures; limits: Complete 1-D H-row bounds over returned binary64 data; not an exact real-arithmetic certificate.; Reachability relation assurance remains Unestablished; provider outputs are numerical.; Two tiny analytic scalar fixtures only; no comparator, no speedup, no application-scale or scalability claim.; No source-level profile was collected; the performance limiter and capacity remain unknown.; Per-provider operation timings are unavailable; operation counts are derived from returned operation lineage.; source f7ba310d1eca8020da8f8ca43cbef6ae468747de — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• syn02-1b07970d73d90c79c4bba2c65d429ba05bd798751d885146cb21d8a876a067c3 — Terminal optimizer on resolved objectives and a supplied terminal H-slice; not system simulation or complete control synthesis; limits: binary64 literal fixture checks, not exact or validated arithmetic; relation samples and H representation checks do not certify full set equality or full minimizer-family completeness; global optimum and relation support remain Unestablished; the shifted residual case returns undetermined with numerical_failure and no constructed relation; tiny analytic fixtures only; no comparator, speedup, application-scale, throughput, or scalability claim; limiter unknown because no call-stack profile evidence was collected; source c234a1a04b2f90e34776a2bfa349a91a1d30257d — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• opt04-20261013T172839Z-bf1844fdf81c94c82ca91aadbd9d0988c7367093c5cf70269c2d0e0ca7d44b2f — Five analytic equality/nonnegative feasibility fixtures; phase-one-bland and HiGHS reference; 70 measured attempts plus 10 excluded warmups; fresh requests and workspaces; setup, BoundWorkspace.run, independent verification and input-to-verified-result timing; process startup and serialization excluded; limits: Descriptive five-fixture report; feasibility-numerics support remains Unestablished; Unvalidated binary64 checks, no exact feasibility certificate or complete solution family; No speedup, application-scale or scalability claim; limiter attribution remains unestablished; Collinear-input acceptance and OPT-04 issue #29 remain outside this report; Five small analytic equality/nonnegative fixtures only.; No exact or validated arithmetic feasibility certificate is claimed.; No application-scale, scalability, or speedup claim is made.; The collinear-input acceptance case is not included; OPT-04 issue #29 remains open.; A witness sample is not the complete feasible or optimal solution family.; source 03ba157eb50eac7d61d39e37af015729ea04f922 — raw JSON · trial JSONL · performance SVG · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• syn07-ts01-5f46eaee678c04b251c4bd9a78dcfb5ea45ce4f417c6bff7b8ba6225e04a6d66 — Exact analytic optimal relation for the strict two-step scalar integrator profile; exploratory single-strategy timings; limits: The complete relation is established analytically only for the strict profile listed above; admission rejects mutations outside that profile.; The outer API labels assurance numerical. Validated assurance is unavailable in the shared registry contract.; The proof capability is internally issued and non-forgeable by clients; serialized decoding creates an untrusted capability which publication rejects until a reviewed proof replay/exporter exists.; This does not establish completeness for any generic synthesis strategy, another profile, or a decoded artifact.; This report records the profile theorem and exact membership examples; it is not an independent mathematical review of the source implementation.; Single-strategy timing observations are exploratory and performance conclusions are inconclusive; no speedup is claimed.; source e22d9c2aeb05dc7567038801e6a21b8780184c9e — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• opt06-basis-reuse-20261014-ef70e8c5-57c666a4f82b1f7c84d3507fbad32982a7928129c18f80348ea2c9ad457b3a8d — 42 verified measured trials across three small two-dimensional point clouds; limits: Descriptive paired timings only; no speedup claim or limiter profile; input-containment oracle uses numerical HiGHS LP checks; source ef70e8c580a9556b0f5d96e49070d33221bf5b64 — raw JSON · CSV · latency SVG · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• syn04-strategy-b-ts01-46513fc77b3e1e9e7795b887b1d2a12d7bfa5dbde4d6c74563b7f06c6a0aff24 — Exact T-S01 profile; one registered Strategy B; seven validated measured trials; performance conclusion inconclusive; limits: Complete-family verification applies only to the exact admitted T-S01 profile and registered csl.verifier.ts01-analytic v1.; The result reports Assurance::numerical; validated arithmetic assurance is unavailable.; This is one Strategy B measurement, not a comparison, speedup, application-scale, throughput, or scalability claim.; All seven trials are tiny analytic T-S01 fixtures; no general performance inference follows.; WPR CPU stack collection was denied by Windows policy, but Visual Studio process-scoped CPU Usage sampling succeeded without SeSystemProfilePrivilege.; A separate 20-process sequential PDB-enabled Release diagnostic profile resolved a sampled CPU path through StrategyPort, DirectJointWorkspace, and the HiGHS QP solver; this does not establish an unprofiled latency limiter.; The diagnostic profile is separate and excluded from all reported latency statistics; profiling overhead and build symbols may affect sampling.; Internal preparation, LP, QP, extraction, verifier and export timing counters are unavailable.; source 2a5ab835295dfd22f02b19d440bb8158267d985a — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• syn03-strategy-a-ts01-77f669553a7c803b4f061401d5c1f7ffb22ef7f973368cd1b7c3494686fa8e2a — Exact T-S01 profile; one registered Strategy A; seven validated measured trials; performance conclusion inconclusive; limits: Complete-family verification applies only to the exact admitted T-S01 profile and registered csl.verifier.ts01-analytic v1.; The result reports Assurance::numerical; validated arithmetic assurance is unavailable.; This is one Strategy A measurement, not a Strategy A versus Strategy B comparison, speedup, application-scale, throughput, or scalability claim.; All seven trials are tiny analytic T-S01 fixtures; no general performance inference follows.; No source-mapped performance limiter was identified because WPR CPU stack profiling was denied by Windows policy.; Strategy A stage and submodule timing counters are unavailable; only whole end-to-end StrategyPort duration is measured.; source 451d0f7553cd0ab606c4ed07ae142310cb897eb4 — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• syn04-strategy-b-ts02-3999b008c529fd57b5cfb6a78841a9963a7e9c4c9919e0c4edafe705b236f929 — Exact T-S02 profile; one registered Strategy B; seven validated measured trials; performance conclusion inconclusive; limits: Completeness applies only to the exact admitted T-S02 constant-integrator profile and csl.verifier.ts02-constant-integrator v1.; Assurance::numerical is reported; validated arithmetic is unavailable.; Seven observations of one tiny profile are exploratory evidence only; no comparator, speedup, general performance, application-scale, throughput or scalability claim.; This report does not cover T-S03, singular A, other dynamics or objectives, or generic complete-family support; SYN-04 #67 remains open.; The admitted T-S02 production path constructs and verifies the full feasible relation analytically; LP and convex providers are registered and prepared but their numerical solve operations are not invoked.; The separate diagnostic workload is excluded from the seven observations; no source-mapped unprofiled latency limiter is established.; Internal preparation, native LP/QP, relation construction, compiled verifier and export timings/counters are unavailable.; source e7f66a9ee698d05ed8779621116319158fa70158 — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• syn03-strategy-a-ts02-cfe716d94d74b7da3caf38130d9dd88f1b17c50711c69cbfbb2531e60a1fe416 — Exact T-S02 profile; one registered Strategy A; seven validated measured trials; performance conclusion inconclusive; limits: Completeness applies only to the exact admitted Strategy A T-S02 constant-integrator profile and csl.verifier.ts02-constant-integrator v1.; Assurance::numerical is reported; validated arithmetic is unavailable.; Seven observations of one tiny profile are exploratory evidence only; no comparator, speedup, general performance, application-scale, throughput or scalability claim.; This report does not cover T-S01, T-S03, singular A, other dynamics or objectives, or generic complete-family support; SYN-03 #66 remains open.; Strategy A performs forward reachability and terminal optimization, invoking the registered HiGHS LP provider for terminal anchoring, then recovers the full history relation and verifies the exact T-S02 profile. Internal solver counters and subphase timings are unavailable.; The separate diagnostic workload is excluded from the seven observations; no source-mapped unprofiled latency limiter is established.; Internal preparation, native LP, relation construction, compiled verifier and export timings/counters are unavailable.; source 272fb9a51c40dedeb20dfcb1ea11dfc6b694edd7 — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• syn-ts01-paired-411d200c8ca76b1aee772297aaf6ed97738b72f2c2cb2a6035e1002a4a57ad22 — One exact T-S01 paired experiment; one excluded warmup and seven alternating measured pairs; performance conclusion inconclusive; limits: Complete-family status is exact-profile and registered-verifier evidence for this admitted T-S01 fixture under Assurance::numerical; validated arithmetic is unavailable.; This is one tiny scalar two-stage integrator fixture; the observed timing distributions do not establish an application-scale or general strategy performance ranking.; No separate limiter profile was performed. The source-level latency limiter is unknown; the result is explicitly inconclusive and claims no winner.; The live complete-family proof payload is not serialized. Original-data witness checks establish bindings, feasibility, and objective only; independent optimality and completeness statuses remain unsupported.; Internal LP/convex, projection, affine-sum, conversion, hull-membership, verifier subphase durations/call counts, CPU time, and per-call peak memory are unavailable.; The collector launcher exited 1 on an overly strict stdout byte comparison; algorithm return code was 0 and retained stdout matches the raw event file after CRLF-to-LF normalization.; source b7f1ac0a9800326c825b6d8e35a8f23656496682 — raw JSON · CSV · performance SVG · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• geo06-f8bee6d8f950343215dd24afeff5091669b8940e7d2106e6834e904b6ec4c074 — 21 verified measured call batches across three analytic QuickHull clouds; 1000 calls per batch; performance interpretation inconclusive; limits: Descriptive single-adapter verified-call batches on three tiny analytic clouds; timed index copies and literal oracle comparisons are included; no comparator, speedup, application-scale, or scalability claim; no source-mapped limiter profile; binary64 input orientation is exact only for represented coordinates; source ce63bff5a0face88c3c5e977f7d96337e8cbe948 — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• b08-displayed-exact-5db00478351f310ecece0eae0187ace7de79b8c0850c958568232dd0bc779116 — Printed B08 linear model, 625 plans x 256 corners; 7 verified fresh-process measured trials after one excluded warmup; performance interpretation inconclusive; limits: Printed rounded L04 linear model only; historical 67.12, unrounded arrays, nonlinear plant, and complete optimal family remain unresolved; fresh CPython process time includes startup and output capture; no comparator or speedup; no source-mapped limiter; source 78212b21d42ec3f136f0e1c72b2b0861d306792c — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• issue3-finite-catalogue-388b4be3a35ac10c9b42bf8f92ac5ae06b2120049dc6003791bc6487628478de — Eight checked finite-action minimax fixtures; seven Release batch observations per fixture, with fixture-specific call counts; limits: Exploratory single-adapter batch timings with possible host contention; no comparator, speedup, source-mapped limiter, or per-call latency claim; displayed rounded B08 open-loop linear model only, binary64 numerical assurance; source 994f3ee4310b4087d289e2eb02adbdb9dfd97827 — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• opt07-6e77b298e159fa0b80d5d69ccd8c14233eb8830513a5d060f98ee76d8e414c96 — 21 verified measured 100-call batches across three fixed ordered-hull clouds; performance interpretation inconclusive; limits: Three fixed small binary64 clouds; independent exact-dyadic deletion certificates and literal support checks apply only to represented inputs; single-adapter 100-call batches with no comparator, speedup, source-mapped limiter profile, or scalability claim; source 52444e305684c0b59c049cce9f9de7ea09eb4a4a — raw JSON · CSV · latency SVG · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• opt12-warm-start-b45c68fc3a6b164919ba3dac5e863688fd39cbb867dcc06c75f1e124c94b1386 — 42 verified paired trial rows across three synthetic LP fixtures; 7 alternating repetitions per side; performance interpretation inconclusive; limits: 42 verified paired trials across three synthetic LPs on one recorded host; performance interpretation is inconclusive because observed transfer-cost ranges overlap and the separate source-mapped diagnostic profile does not attribute the cold/warm latency difference; no general speedup, application-scale, or worst-case complexity claim; source 7b732a53716ce963af83095fd2aeca8a681b76c4 — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• opt11-a43ae7725dd3ab72d2034473aeb6c5805f2d1820b2ccd70b8383ef300a4b9865 — 18 alternating baseline/recursive pairs across 3 fixed clouds; 18 pairs complete; performance interpretation inconclusive; limits: Fixed finite binary64 point clouds; exact dyadic certificates cover the represented inputs. Seven alternating paired batches per fixture; backend and host specific observations only; no universal speedup, application-scale, or scalability claim.; source 488d4ca8888d91c44b64d5d2f0baf564d1c28ae7 — raw JSON · CSV · offline ZIP · Repository artifact fallback (current main) · Repository ZIP fallback
• syn06-verifier-20261012-7c39d67859c50ffb697ab07b1d788134ef15ac05485207d1428dbf4a2d335cbc — Original-data numerical verification of two literal two-stage integrator witnesses; raw JSON · offline ZIP
• app01-plan-20261016-969e78e97747c512b0b406eb3329365da3c8d648521a13242cf56fa78c23a578 — Registered inner state-plan check and original-problem trajectory verification on three literal scalar fixtures; raw JSON · offline ZIP
• APP-02 box and parallelotope report — five exact stored-binary64 examples and 3,500 verified measured calls · 2D visual example · raw JSON · offline ZIP
• APP-03 zonotope reduction report — three planar cases and 2,100 verified measured calls · 2D visual example · raw JSON · offline ZIP
• ext01-fixed-plan-303ad863ca3af58dc6a515844c474fe0e1af9349e55cb8acd1ff1a3f220f1b54 — Four native fixed-plan and convex worst-case numerical fixtures; seven Release batch observations each; limits: Single adapter, no comparator or speedup; displayed rounded B08 finite-action catalogue only; binary64 numerical assurance, no validated enclosure, nonlinear result or feedback optimal-family claim · raw JSON · trials CSV · offline ZIP
• ext04-observed-replay-eb0b06e560360611d2f2a16fba9b1204e0415b4ba5cd0d5210427c6349963b34 — 21 verified measured batches across three explicitly sampled public replay fixtures; 5,000 fresh calls per batch; limits: Exploratory, inconclusive single-path batch observations; no comparator, source-mapped limiter, speedup, all-disturbance guarantee, policy certificate, complete family or validated rounding claim · raw JSON · trials CSV · offline ZIP
• EXP-04 independent plant replay — four analytic histories, 28,000 verified measured calls; no historical B04 or speedup claim · raw JSON · raw trials · offline ZIP
• geo07-generator-sets-7890194735a81238f91e32d598a44eb48cca751ea6ec8af31c58910f89f0dbb6 — 21 verified measured batches across three bounded public generator-set fixtures; 5,000 fresh calls per batch; limits: Exploratory and inconclusive single-adapter timings; no comparator, limiter profile, speedup or complete-family claim; binary64 evaluation has no validated rounding enclosure · raw JSON · trials CSV · offline ZIP
• geo07-registered-ports-5da2b9dfd2650afff575e2294b58d817d4bb58013e1332efe95725b9901f559b — 21 verified measured batches across three bounded public GeometryPort/ConversionPort fixtures; 5,000 fresh calls per batch; limits: Exploratory and inconclusive single-adapter observations; no comparator, limiter profile, speedup, application-scale or complete-family claim; binary64 evaluation has no validated rounding enclosure · raw JSON · trials CSV · offline ZIP
• geo07-dependent-registered-ee5345877b14a0ebd234a92fe30b371426cfee1e72aa8abf9ea2f9ac3454483b — 14 measured verified batches across two bounded public GeometryPort DependentSum fixtures; 2,000 fresh checked calls per batch; limits: Exploratory and inconclusive single-adapter observations; no comparator, limiter profile, speedup, application-scale claim or validated binary64 rounding enclosure · saved JSON · trials CSV · offline ZIP
• GEO-08 lazy geometry report — checked planar expression, support and materialization · 2D visual example · raw JSON · offline ZIP
• finite-feedback-registered-f874133e442eb0fb884b8813a06591cc0f077063ee75ddf627de74656fc11c0f — 28 verified registered-port calls, seven per four authored finite games; limits: Exploratory and inconclusive single-adapter timings; concurrent work not quantified; all winning flags and selected action cells checked, other action-tensor cells unchecked; no comparator, source-mapped limiter, speedup, continuous-state, partial-observation, physical-model, or global causal minimax claim · raw JSON · trials CSV · offline ZIP
• perf03-ts01-single-process-correlation-20261014-365f6e659e316219 — PERF-03 T-S01 process-scoped profile; profile JSON · paired timings CSV · symbol CSV