Provenance

PLATFORM · PROVENANCE INSPECTOR

Ask any number where it came from

Search by output field, by claim or by solver name and get the full solver, dataset and validation chain behind every matching edge — each number's origin, with its source path and its citation.

Sign in to run it
This is the surface that makes the rest of the platform arguable: nothing here is asserted without a path back to the file that states it.
A design or lot identifier works as a fallback entry point.
EVIDENCE

Check it before you trust it

Every result this platform claims is quoted from its receipt in one place, with the command that reproduces it. Nothing on this page needs an account to read.

With an account

Search the lineage graph.

Sign in

Operational envelope and disclosures

  • Evaluation workspace, not a released product.
  • Every result here is computed. We claim no fabricated through-glass-via measurement anywhere on this platform.
  • Comparisons against the literature are against values other people published, not against measurements we took.
  • The checks that guard a release are our own. No third-party audit of them has been commissioned.
  • Cadence, Ansys, Keysight, Synopsys, NVIDIA and every other company or tool named here are named only as formats and interfaces we read and write: ChipletOS has no commercial, partnership, supply, evaluation or endorsement relationship with their makers.
What state each figure on this page is in

This workspace binds no figure; figures and their receipts are on chipletos.com.

  1. LOADING none here; a figure read in the browser is listed here until its receipt is read.
  2. UNSEARCHED none here; a claim class nobody has searched for is listed here by name.
  3. SEARCHED_NONE_FOUND none here; a search that ran and found nothing is listed here with its scope and date.
  4. NO_DATA_AVAILABLE none here; a receipt that holds no value for its row is listed here.
  5. SEARCH_FAILED none here; a receipt that is not served, or does not hash to the registry, is listed here.
  6. UNRESOLVED_IDENTITY none here; two receipts about different objects offered as one figure are listed here.
  7. UNDERPOWERED none here; a figure whose sample is below the site minimum is listed here with its sample size.
  8. CONTRADICTORY none here; two receipts giving different values for one quantity are listed here, both shown.
  9. LICENSE_RESTRICTED none here; a receipt that cannot be published is listed here with its commitment.
  10. STALE none here; a receipt older than the freshness bound is listed here with its age.
  11. NOT_APPLICABLE none here; a claim class that does not apply to this page is listed here.
  12. ANALYSIS_FAILED none here; a generator that exited non-zero is listed here with its exit code.