Verifiable Computing.
Evidence is not a marketing appendix. It is part of the Runtime product. Current product evidence, historical research records, negative evidence and claim boundaries remain explicitly separated.
Current evidence first.
L213 Scale Validation
Bounded RCPSP run controlling a 2.821T potential computational space without exhaustive evaluation.
BOUNDARY · Claim boundary: structured scale validation, not exhaustive evaluation of 2.821T states.
Portfolio Optimization
Exact equality across frozen reference cases for portfolio optimization runs.
BOUNDARY · Claim boundary: deterministic equality on frozen input set.
Runtime Recovery + Replay
Deterministic replay of verified execution from checkpointed runtime state.
BOUNDARY · Claim boundary: replay integrity under controlled runtime profile.
Existing evidence remains reachable.
gr21 / 21 cities
TSP · TSPLIB · Held-Karp DP · Runtime 2707 = Reference 2707
65.536B-node structured graph
Structured scale validation · reference equality · not exhaustive traversal
2.821T potential RCPSP space
Bounded historical run · 818 states evaluated · not exhaustive 2.821T evaluation
Historical multi-problem Runtime evidence
Historical research scope retained separately from Golden Core V1 portfolio scope
New evidence is filed by capability and industry.
Historical problem-class records are separate from current product claims.
Structured scale and logical state-space records retain separate claim boundaries.
Preserved Runtime control and architecture research streams.
Scale Evidence, Exactness Evidence, Golden Core V1 evidence and historical multi-problem research evidence are not merged into one superiority claim. Golden Core V1's corrected Stage 11 scope is the three portfolio sizes 40 / 42 / 50. Historical TSP / Knapsack / Max-Cut / QUBO / RCPSP records remain Research Archive evidence unless separately promoted under a current claim gate.
Open append-only Research Archive