CycloneDX 1.7
Artifact Evidence
Canonical machine-readable artifact record
Exact file identity, standard model I/O, scoped findings, and hash-bound companion evidence.
Model and target
Select or replace the local artifact, choose the target profile, then run or re-run the static audit.
Selected Model
Unselected
Choose a local .tflite or .onnx artifact to inspect file metadata.
Full Audit Time
Not estimated
A light local read starts only after a model is selected.
Next Step
Waiting for model
Model bytes are read fully only after Run Static Audit is clicked.
Explorer
No model selected
Model audit session
Audit selector
Open static audit
Static analysis views
Switch between the main summary, delegate coverage, quantization contract, roofline pressure, and stage structure.
Overview
Review target-independent artifact identity first, then the separately labeled selected-target engineering dashboard.
Output selector
Open audit ready
Module results and report packages
Select a completed module result, open the Engineering Report, or export reusable engineering evidence.
Status
Select model
Choose a local artifact and target device.
Common developer flow
1. Load
Pick model and target
2. Inspect
Review graph and risks
3. Export
Download evidence or request access
Execution pane
Run selected module
Run controls live here. Results and downloads appear in the report pane below after execution.
Advanced analysis Research preview
DEEPBOM: deploy-artifact weight/topology basin proxy.
The entitlement-gated WASM module is loaded only when this account can run Advanced analysis. Browser delivery controls access, not cryptographic source secrecy.
Research analysis Research preview
Drift Analysis: perturbation drift and runtime backend stability.
Runs input/output drift probes and backend availability checks locally in the browser.
On-device benchmark
Beta Offline Test: queue the current model for a real device benchmark.
Run Static Audit first, then select target devices and submit.
Research analysis
Research preview Deploy Stability: finite-difference proxy probes on the deployed function.
Runs locally against the deployed TFLite runtime path and reports deploy-domain stability evidence.
Final report
Stable Engineering Report: technical audit evidence for model engineers.
Includes model structure, quantization scope, XNNPACK chains, roofline signals, benchmark evidence, and engineering action items.
Machine-readable contracts
Stable Artifact, formulation, runtime, and provenance release contracts.
Every document binds the analyzed artifact SHA-256; target-dependent requirements bind the active analyzed target.
No DEEPBOM result yet. Run DEEPBOM from the Explorer controls above.
Basin Proxy (DEEPBOM module)
Local deploy-artifact proxy evidence. It prioritizes follow-up validation; it is not a training-time curvature certificate.
No local analysis results yet. Run Drift Analysis from the Explorer controls above.
Perturbation
Local input perturbation sensitivity. Model bytes and generated tensors stay in browser memory.
Runtime Basin
Local backend availability and output-drift checks.
Registered Devices
No devices registered yet. Start the
agent.py on a real device to register it.
No Deploy Stability result yet. Run Deploy Stability from the Explorer controls above.
Deploy Stability
Runs local finite-difference probes on the deployed model function and reports research-stage stability proxies.
Generated report preview
Engineering report
Not generated
Run a static audit to generate the report preview.
Report and advanced artifacts
Member accounts can download the Engineering Report. Advanced access unlocks Download Raw Data, CSV, graph, visual, ML-BOM, and bundle artifacts.
Advanced evidence bundle
Downloads the Engineering Report plus engineer-facing raw static audit artifacts in one ZIP.
Run a static audit and sign in to download the engineering bundle.
Local Reports
Audit snapshots saved in this browser Stable
Every completed audit is stored locally (identity, counts, contracts, quantization, delegation, hotspots — never model bytes). Re-open, re-run, or compare two versions of a model by SHA-256.
Model Version Comparison
Deployment contract exports
No analyzed artifact
Machine-readable release evidence
Artifact observations remain distinct from declarations, inferred lineage, conditional runtime consequences, and unassessed fields.
Artifact
Run a static audit
Active target
No analyzed target
Companion evidence / formulation, runtime, and lineage
CycloneDX 1.7
Formulation
Observed versus declared formulation
DeepBOM v1.1
Runtime
Runtime requirement manifest
DeepBOM v1.1
Lineage
Missing provenance field specification
Consolidated package
Deployment Contract Pack
CycloneDX record, interface ledger, formulation, runtime, provenance, and member-digest manifest.
DEEPBOM Target Dashboard
Selected-target cache, ISA, roofline, delegation, and modeled engineering signals. Values in this section can change when the target profile changes.
--
Heuristic Triage Index HEURISTIC
Waiting for model
Load a .tflite or .onnx file to generate an optimization profile.
Static Roofline Mix
Top Signals
evidenceObserved or derived conditions that deserve attention; no remediation is implied.
Priority Actions
interventionsRecommended changes with modeled upper-bound impact and expected engineering scope where available.
Fallback Traffic
by op familyONNX Domain Registry
Not assessedPerformance Visuals
Flame-style summaries for compute concentration, static bottlenecks, delegate chains, quantization risk, and target fit.
Op Flame Chart
estimated time by execution structure
high-intensity
low-intensity
overhead
CPU fallback
MAC Distribution
op share · color = static bound typeEstimated Bottleneck Contribution
target-adjustedTarget Comparison
A55 / A72 / AVX2 / WASMDeployment Frontier Lab
not assessed
Deployment Delta Lab
baseline not pinned
XNNPACK Chain Flow
delegate partitionsDelegation Map
per-op support
delegated
delegated zero-MAC
structural break
memory-traffic break
compute fallback break
non-delegated
Chain Break Exposure
graph-derived impact · setup prior disclosed separatelyDelegation Repair Lab
not assessed
Residual Lattice Lab
not assessed
Accumulator Headroom Lab
not assessed
Requantization Fidelity Lab
not assessed
Quantized Kernel Witness Lab
not assessed
Quantized Channel Vitality Atlas
not assessed
Fixed-Point Rounding Equivalence Lab
not assessed
Accumulator Reachability Lattice
not assessed
Numerical ABI Propagation Atlas
not assessed
Model Input Tensor ABI Witness
not assessed
Pixel-to-Tensor Contract Lab
not assessed
Preprocessing Consequence Atlas
not run
Contract Migration Impact Lab
not assessed
Residual Step Response Lab
not assessed
Residual Contract Distortion Atlas
not assessed
Quantization Risk Heatmap
scale / zero-point
INT8 compute
boundary / weight-only
warn signal
risk signal
unquantized
Scale Ratio Distribution
log scale · per-channel spreadQuant Risk Detail
risk / warn opsQuantization Holes
Roofline Scatter
Stage Memory Mix
roofline by stageInference Benchmark
Measures local browser runtime latency with warmup separated from steady-state runs.
| Backend | Compile | First (cold) | p50 | p90 | p95 | p99 | Mean | Trimmed p50 | Jitter | Trend | Status |
|---|
Findings
Artifact findings ranked by priority; each card separates evidence, possible effects, interpretation limits, and recommended action.
Run the static audit to generate findings.
Graph Explorer
Search ops, inspect tensor metadata, and trace local producer/consumer links.
| # | Op | Out | Kernel | MACs | Est. steady µs | Bound | XNNPACK | Quant | Align | Pack | Fusion | Low-norm filters |
|---|
| T# | Name | Shape | DType | Role | Prod | Fan | Consumers | Quant |
|---|
No runtime assignment evidence imported.
| # | Op / path | Kernel / provider evidence | Tile / occupancy | Static assignment | Interface payload | Preparation / packing | Observed runtime | Evidence |
|---|
Stage View
Operator Histogram
| Op | Count |
|---|
Top MAC Ops
| # | Op | Output | MACs | Bytes |
|---|
Static Roofline
| # | Op | Intensity | Logical traffic | Row working set | Guess | Action |
|---|