LOCAL OWNER ACCESS
Unlock this workbench
The local server requires its workspace access token. This is separate from the Meta API credential, which stays on the server.
DOCUMENT → CONTRACT → EXECUTION
Replay workbench
Turn supported errata into inspectable firmware comparisons.
01 Source document
SUPPORTED SOURCELoading the installed execution adapters.
Drafts stay in this browser. Meta Analyze explicitly submits this excerpt to the configured Meta model. Only installed adapter semantics can execute.
Loading source…
No document loaded.
02 Execution contract
NOT EXTRACTEDAnalyze the selected document, or run its bundled human-authored reference without a model call.
Credentials remain on the server. No paid call runs automatically.
03 Firmware
BUNDLEDNominal and defect use the same ELF. The workaround is a separate firmware variant. Actual identities are recorded in each run.
Without a separate workaround ELF, that case is unsupported. Your ELF is never silently mixed with the bundled workaround.
Optional user RAM assertions
User assertions are separate from vendor defect reproduction. Supply a 4-byte aligned RAM address and the value your firmware should leave there.
Free local execution. An actual Renode engine is required.
Execution evidence appears after a real run.
Start a comparison above. Progress is persisted, and completed runs remain in your history.
PERSISTED EXECUTION RECORDS
Run history
Open an immutable record, inspect its evidence, or compare two runs.
Job activity
QUEUE / EXECUTION / CANCELLATIONSUPPORTED INPUTS & SAVED EXTRACTIONS
Sources
Start from a supported document or reopen an exact, persisted model extraction.
Document library
Import a real source, select pages and bind an extraction to the stored document.
PDF or UTF-8 text, up to 8 MiB. Scanned PDFs need text extraction or OCR outside this app. A supplied URL does not authenticate an upload.
Saved analyses
Source text, model provenance, normalized semantics and reported usage.
AUDITABLE BOUNDARIES
Evidence & budget
Inspect what was measured, what was assumed, and what this app has spent.
Analysis receipts
REPORTED PROVIDER USAGEExecution boundary
Actual ARM ELF execution in Renode, against an explicitly limited transaction-level peripheral adapter.
- A nominal pass describes the ideal emulator; it is not an unaffected silicon claim.
- A deliberately failed defect assertion can be the expected comparison pattern.
- Unspecified byte values remain unspecified.
- Model output is validated against installed adapters. Arbitrary generated model code is never executed.
Source boundary
Quoted evidence is checked against submitted text. Pasted or uploaded documents retain a user-supplied source reference. An approved-host import records the actual retrieval path separately; retrieval does not establish correctness of a document's claims.
Replay artifacts preserve source, contract, firmware identity, observations and engine limitations. Their hashes establish identity, not silicon correctness.
Inspect current budget ledger
Unavailable