| .. |
|
analysis
|
the Apple route corrected from the measurement: RISC Zero 3.0.6 has no Metal HAL (the analysis's Metal sentence, route D's header, route I, the ranking and the Apple tier line rewritten); the Apple route is SP1 on the CPU, 71.7 s a v1 shard on the M5 Max (the tier line in both plans, the app's Apple default line); RISC Zero stays in the v2 slot for the 8 GB CUDA tier and its 5.7x smaller proof
|
2026-10-06 12:44:21 +00:00 |
|
benchmarks
|
EVM transaction relay: design doc 1.4 "Relay", rows 463 and 9 closed, bench-log entry, 3-node relay harness
|
2026-10-05 17:53:07 +00:00 |
|
brand
|
Brand: before/after Finder renders of the app and DMG volume icons (docs/brand)
|
2026-10-04 11:51:11 +00:00 |
|
commercial
|
Provenance: credit every borrowed component, upstream merge procedure, prover customer brief
|
2026-10-03 20:02:16 +00:00 |
|
design
|
EVM transaction relay: design doc 1.4 "Relay", rows 463 and 9 closed, bench-log entry, 3-node relay harness
|
2026-10-05 17:53:07 +00:00 |
|
legal
|
Add the IGNEUM trade mark clearance search (3 Oct 2026)
|
2026-10-03 19:00:08 +00:00 |
|
plans
|
the Apple route corrected from the measurement: RISC Zero 3.0.6 has no Metal HAL (the analysis's Metal sentence, route D's header, route I, the ranking and the Apple tier line rewritten); the Apple route is SP1 on the CPU, 71.7 s a v1 shard on the M5 Max (the tier line in both plans, the app's Apple default line); RISC Zero stays in the v2 slot for the 8 GB CUDA tier and its 5.7x smaller proof
|
2026-10-06 12:44:21 +00:00 |
|
security
|
Key custody: inventory, encrypted backup and restore, no-secrets CI check
|
2026-10-05 17:01:01 +00:00 |
|
spec
|
Proving v1: the memory sweep and the miner-on peaks, the root-socket class fix (cleanup lines, tools/ci/prover-socket-check.sh in CI), the host's --budget re-plan and the S_p curve job, the RAM and aggregation-card gates, N = 8 in the fast-time file and spec 7.4
|
2026-10-05 20:35:13 +00:00 |
|
testnet
|
Merge fee-switch into release-0.3.9: the prover mirrors both fee tables and fees_v1_activation_daa (new pinned guest), the devnet runbook for H = 210,000
|
2026-10-05 16:28:21 +00:00 |
|
bench-log.md
|
proving v2: the Mac measurement of RISC Zero 3.0.6 (CPU HAL, no Metal path in 3.0.6), bench-log entry and plan
|
2026-10-06 12:42:05 +00:00 |
|
bugs.md
|
bugs.md: the stopped detector's second live firing (a plain quit)
|
2026-10-05 00:18:05 +00:00 |
|
evidence.md
|
evidence and litepaper: the 24 GB tier is measured on the 32 GB card's allocation, not yet on a 24 GB card (consequences C22)
|
2026-10-05 21:12:13 +00:00 |
|
fork-divergence.md
|
Docs: devnet-v4 integration section (merge order, devnet v4 rules, compatibility, cut-over commands) and bench-log entry
|
2026-10-04 01:23:42 +00:00 |
|
fork-map.md
|
Finality quorum: 2/3 of active weight and at least 56.7% of total, per simulation v2
|
2026-10-03 16:15:15 +00:00 |
|
fud-fixes.md
|
Merge entity: Igneum Labs LTD and the DIFC address as the entity and contact everywhere, repository public at the public testnet, ledger published with it, no team page
|
2026-10-05 16:42:40 +00:00 |
|
fud-ledger.md
|
Merge c4-fix tip (3ae07a5) into release-0.3.10: the signer-pipe-check CI script and the per-job build-inputs zip names, committed
|
2026-10-05 18:29:19 +00:00 |
|
provenance.md
|
Provenance: credit every borrowed component, upstream merge procedure, prover customer brief
|
2026-10-03 20:02:16 +00:00 |
