BibliographySoftware

Back matterIndex

Every numbered section, finding, and keyword in the library, in alphabetical order. For full-text search use the search page.

A

A deterministic synthetic corpus for the amorphous-carbon Raman inverse problem Finding 2026.2

A release gate for modelled results, and the provenance that backs it Finding 2026.4

Access, security and ethics Data Management and Sharing Plan

Adversary conventions §1.2 · Chapter 1

Aims Research Programme

amorphous carbon Finding 2026.2

amorphous carbon Finding 2026.3

Android Finding 2026.5

append-only ledger Finding 2026.4

Append-only ledgers and gap detection §2.3 · Chapter 2

Application in this library §2.7 · Chapter 2

Artifact ledger §2026.4(iii)

B

benchmark Finding 2026.2

benchmark Finding 2026.3

Biography Curriculum Vitae

bootloader Finding 2026.5

Bootloader and verified-boot state §2026.5(iii)

C

Carbon materials and Raman spectroscopy Bibliography

Citing a chapter Citing

Citing a finding Citing

Citing the library Citing

claim status Finding 2026.4

Claim status §2026.4(ii)

Competencies Curriculum Vitae

Computing Facilities and Resources

Contact Curriculum Vitae

Conventions Preface

Conventions for signed findings in this library Finding 2026.1

Corpus design §2026.2(iii)

Corpus pinning and restore drill §2026.4(vi)

Corrections §2026.1(v)

Correspondence Foreword

Cryptographic notation Notations

Cryptography and provenance Bibliography

crystallite size Finding 2026.3

Custom-ROM feasibility §2026.5(iv)

D

Data infrastructure Facilities and Resources

Data types Data Management and Sharing Plan

debloat Finding 2026.5

Debloat plan §2026.5(vii)

Definitions §2.2 · Chapter 2

determinism Finding 2026.2

determinism Finding 2026.4

Determinism and provenance §2026.2(v)

device hardening Finding 2026.5

Device identification §2026.5(ii)

E

Earlier versions Raman turnover record v2.0

Ed25519 Finding 2026.1

Ed25519 Finding 2026.4

Electronic structure of graphene Notations

Electronic-structure background §3.6 · Chapter 3

errata Finding 2026.1

Evidence properties §1.5 · Chapter 1

F

F-Droid Finding 2026.5

factory reset protection Finding 2026.5

Ferrari–Robertson Finding 2026.2

Files and digests Raman turnover record v2.0

Following Help

Following the library Preface

forward model Finding 2026.2

Forward model §2026.2(ii)

G

General conventions Notations

gradient boosting Finding 2026.3

H

hardware security Finding 2026.5

Hardware security Bibliography

hash chain Finding 2026.4

I

Independence §2.5 · Chapter 2

Independent re-derivation (2026-09-05) Raman turnover record v2.0

Instrument journal §2026.4(iv)

inverse problem Finding 2026.3

L

Laboratory access Facilities and Resources

Learned inversion of modelled carbon Raman spectra, with a refusal gate Finding 2026.3

Licence Raman turnover record v2.0

Limitations §2026.3(vii)

linear probes Finding 2026.3

M

Matrix Scroll Software

MCV-1 §2.6 · Chapter 2

Measurement as evidence §1.4 · Chapter 1

MediaTek Finding 2026.5

Metadata and standards Data Management and Sharing Plan

Method §2026.5(v)

N

Numbering Help

Numbering and versioning §2026.1(ii)

O

OEM unlock Finding 2026.5

Organisation Help

out-of-distribution Finding 2026.3

Outputs Research Programme

P

Path to use Research Programme

Personnel Facilities and Resources

Pipelines compared §2026.3(ii)

Positions Curriculum Vitae

Preprints Publications

Probes: what the models use §2026.3(v)

provenance Finding 2026.1

provenance Finding 2026.4

Provenance and verification tooling Facilities and Resources

Provenance of measurements §3.5 · Chapter 3

Publications and findings Curriculum Vitae

publishing Finding 2026.1

Purpose §2026.1(i)

Purpose §2026.2(i)

Purpose §2026.3(i)

Purpose §2026.4(i)

Purpose and scope §2026.5(i)

R

Raman spectroscopy Finding 2026.2

Raman spectroscopy Finding 2026.3

Raman spectroscopy of carbon Notations

Raman spectroscopy of carbon films §3.2 · Chapter 3

Reading §1.6 · Chapter 1

Reading §2026.5(viii)

refusal Finding 2026.3

release gate Finding 2026.4

Release gates §2026.4(v)

Reporting an error Help

reproducibility Finding 2026.4

Research environment Facilities and Resources

Research integrity Research Programme

Reset and hardened configuration §2026.5(vi)

Results on the held-out split §2026.3(iii)

RethinkDNS Finding 2026.5

Risks and mitigations Research Programme

Robustness and refusal §2026.3(iv)

Roles Data Management and Sharing Plan

Roots of trust §1.3 · Chapter 1

S

Scope Preface

Scope §1.1 · Chapter 1

Scope §2.1 · Chapter 2

Scope §3.1 · Chapter 3

Searching Help

Selected work Curriculum Vitae

SHA-256 Finding 2026.1

Sharing Data Management and Sharing Plan

Signature §2026.1(iv)

Signing at the point of creation §2.4 · Chapter 2

Software Publications

Source digest §2026.1(iii)

Statement Research Programme

Storage and preservation Data Management and Sharing Plan

Subjects of this library Foreword

Support and collaboration Research Programme

synthetic corpus Finding 2026.2

Synthetic corpus and verification harness §3.4 · Chapter 3

Systems built Curriculum Vitae

T

Tasks §2026.2(iv)

The characterisation pipeline §3.3 · Chapter 3

This library's generator Software

Tuinstra–Koenig Finding 2026.2

U

Unlock-path and verified-boot assessment of a locked MediaTek tablet, with a privacy-hardened stock configuration Finding 2026.5

V

verification Finding 2026.1

verification Finding 2026.4

Verification §2026.1(vi)

Verification §2026.3(vi)

verified boot Finding 2026.5

Verifying Help

W

What changed from the v1.1 preprint (2026-09-03) Raman turnover record v2.0

What provenance cannot do §2026.4(vii)

What the corpus is for §2026.2(vi)

What the record is, and what it is not Raman turnover record v2.0

Why this form Preface

Workstreams and milestones Research Programme