mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-08-20 12:07:29 +00:00
0cf775c80e
- Prover-Integrated Orchestration Layers (L0-L3): Goedel-Prover-V2 watchdog, BFS-Prover-V2 swarm consensus, bf4prover topology adaptation - FAMM Verilator benchmark: uniform vs preshaped delay comparison (4.4x speedup) - Swarm topological device prober: 11 agents probing traces, caps, delays, errors, vias, PDN - Spec sheet puller: 10 components with key params and topological relevance - Virtual FPGA system tests: 6/6 passed, 134K ops/s throughput - Fixed merge conflicts in AI-Newton test_experiment.ipynb
29 lines
1.1 KiB
Text
29 lines
1.1 KiB
Text
created: 20260506151000000
|
|
modified: 20260506151000000
|
|
tags: ResearchStack Hardware Thermodynamics Verification Candidate
|
|
title: Thermodynamic Trinary Watchdog PLC
|
|
type: text/vnd.tiddlywiki
|
|
|
|
! Thermodynamic Trinary Watchdog PLC
|
|
|
|
A watchdog/control concept where system state is monitored through trinary
|
|
energy or thermodynamic regimes rather than only binary pass/fail logic.
|
|
|
|
!! Why It Matters
|
|
|
|
It gives hardware verification a physical audit clock: safe, degraded, and
|
|
fault states can be routed differently before a hard failure.
|
|
|
|
!! Evidence
|
|
|
|
* Source: `5-Applications/audit/exploit-audit/sessions/conception-trinary-watchdog-thermodynamic-plc-20260405.json:18`
|
|
* Source: `5-Applications/audit/exploit-audit/sessions/conception-trinary-watchdog-thermodynamic-plc-20260405.json:28`
|
|
* Source: `5-Applications/audit/exploit-audit/sessions/conception-trinary-watchdog-thermodynamic-plc-20260405.json:60`
|
|
* Source: `5-Applications/audit/exploit-audit/sessions/conception-trinary-watchdog-thermodynamic-plc-20260405.json:62`
|
|
* Lane: [[Deep Mining Pass 2026-05-06]]
|
|
|
|
!! Links
|
|
|
|
* [[FPGA Warden]]
|
|
* [[Percolation Gate]]
|
|
* [[Structural eFuse Surface]]
|