|
|
2026-10-21 16:25:08 -04:00 |
| .. |
|
sandbox-attest
|
sandbox: one report_data binding for a run, a relying-party challenge, and evidence a third party can verify
|
2026-10-21 07:41:40 -04:00 |
|
sandbox-build
|
sandbox: one report_data binding for a run, a relying-party challenge, and evidence a third party can verify
|
2026-10-21 07:41:40 -04:00 |
|
sandbox-capability
|
sandbox: flow across a run's checkpoints — an untrusted read closes the sinks that follow
|
2026-10-21 10:49:52 -04:00 |
|
sandbox-cli
|
sandbox: TDX on the run path, through a pinned PCK
|
2026-10-21 12:44:36 -04:00 |
|
sandbox-conformance
|
sandbox: flow across a run's checkpoints — an untrusted read closes the sinks that follow
|
2026-10-21 10:49:52 -04:00 |
|
sandbox-exec-microvm
|
sandbox-exec-microvm: the liveness tick advances the fake counters itself
|
2026-10-11 10:52:05 -04:00 |
|
sandbox-exec-os
|
sandbox: an S1 executor — a native program confined by the operating system, earning the rung by probe
|
2026-10-16 10:09:35 -04:00 |
|
sandbox-exec-wasm
|
sandbox: flow across a run's checkpoints — an untrusted read closes the sinks that follow
|
2026-10-21 10:49:52 -04:00 |
|
sandbox-jcp
|
jcp: a ModelIn caveat says which model a grant authorizes, and the frame names the model it runs
|
2026-10-17 04:21:21 -04:00 |
|
sandbox-mcp
|
sandbox: one report_data binding for a run, a relying-party challenge, and evidence a third party can verify
|
2026-10-21 07:41:40 -04:00 |
|
sandbox-meter
|
energy meters: a GPU counter reading low is refuted in sandbox-meter, eoc-meter and jcp-energy too
|
2026-10-20 04:15:36 -04:00 |
|
sandbox-proof
|
sandbox-proof: name the hook type in the panicking-hook test
|
2026-10-10 18:19:11 -04:00 |
|
sandbox-proof-wasm
|
sandbox: give the S7 locality claim something that can falsify it (SPEC §7.7)
|
2026-08-26 11:52:33 -04:00 |
|
sandbox-runtime
|
Merge pull request 'sandbox: TDX on the run path, through a pinned PCK' (#399) from feat/sandbox-tdx-run-path into main
|
2026-10-21 16:25:08 -04:00 |
|
sandbox-schema
|
Add aac, map, sandbox standards; catalog the standards family
|
2026-06-07 17:04:36 -04:00 |
|
sandbox-tee
|
sandbox: TDX on the run path, through a pinned PCK
|
2026-10-21 12:44:36 -04:00 |