Honua / large-data proof
Overture columnar lab
Plan a bounded AOI query, run it in DuckDB-WASM’s worker, and inspect what was measured versus what remains opaque. Engine range behavior and row-group pruning are not claimed as verified.
Deterministic fixture
Planner ready
Execution disclosure
Required CI uses a 1.9 KB committed fixture with no cross-origin requests. AWS is opt-in.
01 / constrain
Bounded query
Queries require an AOI, narrow projection, and limit.
02 / inspect
Plan evidence
- Projection
- -
- AOI
- -
- Files
- -
- Selected-object rows
- -
- Selected-object row groups
- -
- Memory ceiling
- 256 MiB
- Cache key
- -
- Range plan
- -
No plan yet.
Canonical plan JSON
{}
03 / prove
Execution evidence
- Release / schema
- -
- Object
- -
- STAC provenance
- -
- Object version
- -
- Observed
- -
- Verified bytes / ranges
- -
- Rows scanned / returned
- -
- Row groups pruned
- Unverified
- Bounded result memory
- -
- SDK planning
- -
- Source range probe
- -
- Engine + opaque source
- -
- Progressive render
- -
Engine byte/range telemetry has not been observed.
Attribution pending.
04 / visualize
Progressive AOI view
05 / inspect rows
Bounded result
| GERS id | Name | Category | Confidence | Location |
|---|