mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-08-20 11:07:28 +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
32 lines
959 B
Text
32 lines
959 B
Text
created: 20260506151000000
|
|
modified: 20260506151000000
|
|
tags: ResearchStack ClaimBoundary Quarantine ProofTarget Candidate
|
|
title: FNWH Hyperfluid Claim Boundary
|
|
type: text/vnd.tiddlywiki
|
|
|
|
! FNWH Hyperfluid Claim Boundary
|
|
|
|
A quarantine card for the FNWH/hyperfluid equation family, preserving the toy
|
|
formalism while marking unsupported physical claims as held.
|
|
|
|
!! Why It Matters
|
|
|
|
This keeps experimental math useful without letting it over-promote itself.
|
|
The card should collect equations, witnesses, and refusal boundaries together.
|
|
|
|
!! Evidence
|
|
|
|
* ENE source: `data/substrate_index.db`, package rows around `6865-6866`
|
|
* Source: `shared-data/data/ingested/chatgpt/mathholes.md`
|
|
* Lane: [[Deep Mining Pass 2026-05-06]]
|
|
|
|
!! Status
|
|
|
|
HOLD until the toy equations are separated from physical claims and given
|
|
explicit validation targets.
|
|
|
|
!! Links
|
|
|
|
* [[Mass Number Recursion Warning]]
|
|
* [[Witness-Regularized Burgers/GPE]]
|
|
* [[Concept Anchor Settlement State]]
|