theory badges

838 public concepts

This index is navigation only; assess each concept and its sources before use.

  1. Dynamic/Effective Geometry Agreement — Checks whether a time-averaged dynamic source geometry agrees with the reduced-order effective-source geometry and has bounded backreaction residuals.
  2. Off-Diagonal Shear Audit — Checks whether source-side off-diagonal spatial-stress components have documented shear or anisotropic mechanism evidence.
  3. Momentum-Density Audit — Checks whether source-side T0i momentum-density components have documented flux, current, or constitutive momentum evidence.
  4. Momentum Frame Projection Receipt — Checks whether same-chart T0i/T00 momentum ratios have a local orthonormal projection receipt before causal-material bound language is allowed.
  5. Metric-Required Momentum Demand Audit — Reports whether the metric-required projected momentum density exceeds the causal momentum-to-energy bound for the current profile.
  6. Metric Momentum Remediation Targets — Reports how much the current metric-required projected T0i demand would have to be suppressed before this profile could re-enter the reduced-order campaign.
  7. Campaign Frontier Disposition — Turns the campaign's current frontier blocker into a typed disposition: the current profile is rejected under the declared reduced-order projected T0i demand evidence.
  8. Campaign Profile Search — Screens candidate NHM2 profiles against the current metric-required momentum frontier before spending a full frozen campaign run.
  9. Candidate Metric Profile Spec — Records the screened profile definition, diagnostic trip-clocking value, and whether executable candidate geometry exists for the full ADM tensor route.
  10. Campaign Profile Run Manifest — Lists the frozen campaign evidence that each screened profile must produce before the profile can be ranked as campaign-admissible.
  11. Time-Dependent Source Campaign — Freezes the next dynamic proof campaign: independent source tensor, switching conservation, frequency convergence, dynamic/effective geometry agreement, full tensor closure, observer families, QEI receipts, and stability checks.
  12. Lean Campaign Certificate — Runtime artifacts are exported into a Lean-facing certificate for the current 0p7000 diagnostic campaign profile.
  13. Lean Diagnostic Campaign Admissibility — Lean verifies diagnostic campaign admissibility from the emitted certificate for the current 0p7000 profile.
  14. Lean Claim Locks Closed — Lean carries the claim locks as part of the certificate proof, so diagnostic admissibility keeps physical, route, propulsion, transport, and speed locks closed.
  15. Lean Negative Fixtures Fail Closed — Static Lean examples and runtime fixture tests reject missing tensor components, stale hashes, Eulerian-only observers, scalar-only QEI, target echo, and open claim locks.
  16. Lean Certificate Hashes Pinned — The Lean certificate JSON records the campaign artifact paths and SHA-256 hashes used to produce the generated Lean module.
  17. Connected Stress Noise Kernel — Tracks whether same-state, same-renormalization connected stress fluctuations have a server-replayed noise kernel, positivity audit, bounded fluctuation ratio, and dynamic-response bindings.
  18. Semiclassical Constraint-Algebra Consistency — Tracks whether the frozen semiclassical formulation reproduces the Hamiltonian and momentum constraint brackets without an unresolved anomaly.
  19. Experiment-Ready Theory Closure — Reports the filesystem-replayed, fail-closed theory-closure meta verdict separately from regional source closure and the empirical physical-evidence campaign.
  20. Physical Evidence Campaign — Tracks the experimental evidence ladder required after diagnostic campaign admission: prediction freeze, tile metrology, array scaling, vacuum weight, metric response, bounded prototype, and transport precursor.
  21. Experiment-Facing Theory Solve Roadmap — Defines the pre-hardware theory solves, observables, falsifiers, receipts, and scalar sanity checks needed before NHM2 physical evidence can be reviewed.
  22. Experiment Parameter Targets — Lists the NHM2 numerical and qualitative targets, independent research comparators, required receipts, and blockers for each experiment-facing roadmap stage.
  23. Experiment Research Gap Ledger — Maps each NHM2 parameter target to the remaining research gap, nearest independent precedents, uncovered regime, earliest falsifier, null-result meaning, and claim impact.
  24. Layer Stack Mechanical Receipt — Computes the ideal internal load for the 447-layer wall-source candidate and records the missing mechanical receipts needed before the stack can count as material/source evidence.
  25. Support-Retention Overlap Margin — Computes whether the load-bearing support fraction can overlap the retained-source requirement for the frozen 447-layer scalar candidate; the current margin is 0.459119311228, so the window is blocked.
  26. Layer Stack Support Fraction Sweep — Sweeps support area against active Casimir area for the 447-layer stack to find whether mechanical stress limits and wall-source retention can overlap.
  27. Layer Stack Architecture Loop — Tests whether frames, ribs, spacer posts, membranes, lattices, segmented cells, load-sharing stacks, or active gap control can decouple load support from active Casimir area.
  28. Full Apparatus Receipt Loop — Checks whether a 447-layer architecture has material, force-gap, pull-in, roughness, patch-potential, active-control, fatigue, layer-scaling, and full-apparatus tensor receipts.
  29. Tile Source Physical Validation Plan — Freezes the most promising 447-layer tile-source architecture candidate and lists the receipts needed before it can become a physically credible source-side stress-energy candidate.
  30. Experimental Prediction Freeze — Requires pre-registered source, metric-response, force, phase, clock, and falsifier predictions before experimental data are used.
  31. Tile Force Receipt — Requires measured force-versus-gap/material/temperature behavior for the fabricated tile before it can support source credibility.
  32. Tile Cycle Energy Balance — Tracks the full cyclic energy ledger for a modulated tile, including input work, heat, radiation, elastic energy, and losses.
  33. Array Scaling Receipt — Requires measured scaling from one cavity to arrays while bounding cross-coupling, heat, elastic stress, and geometry effects.
  34. Full Apparatus Tensor — Requires a material/source tensor for the whole apparatus, including plates, supports, fields, stresses, heat, and interaction energy.
  35. Vacuum Weight Receipt — Requires a modulated vacuum-related energy change with measured weight response, correct phase/sign/scaling, dummy rejection, and independent replication.
  36. Metric Upper Bound Sanity Check — Provides a weak-field scale check for source energy near a sensor; it is a sanity bound, not a detector-response model.
  37. Invariant Metric Response — Requires multiple probe families to agree with one predicted local metric response rather than a wavelength- or material-specific artifact.
  38. Neutral Geodesic Response — Requires a neutral test body or clock worldline response in the predicted direction and magnitude without a conventional force path.
  39. Independent Replication — Requires a separate apparatus and analysis team to reproduce the physical evidence before stronger claim review.
  40. Premise-Aware Steering Bondi-Flux Budget — Requires a radiative-flux budget before a steering or acceleration claim only when the candidate is asymptotically flat, matter-confined, dominant-energy compliant, and equipped with the required Bondi-Sachs asymptotics.
  41. Physical Viability Locked — Keeps physical viability locked until the physical evidence campaign has replicated experimental source, metric, and stability receipts.
  42. Transport Locked — Keeps transport, route, propulsion, and speed-authority claims locked until a neutral geodesic/clock response is measured and replicated.
  43. Regional Support-Function Atlas — Names the canonical regional support-function atlas used by source residual, conservation, QEI, observer, and claim-admission artifacts.
  44. Atlas Partition Of Unity — Tracks whether the closure-region support weights form the declared partition policy within tolerance.
  45. Atlas Transition Supports — Records the canonical hull-wall and wall-exterior transition support regions and smoothing kernels.
  46. Atlas Derivative Support — Tracks whether support-function derivative terms are available for covariant conservation diagnostics.
  47. Same-Atlas Consumer Congruence — Checks that source residual, conservation, QEI, observer, coupled closure, and claim admission artifacts reference the same atlas hash.
  48. Atlas Is Not Physics Closure Boundary — Blocks treating shared regional geometry as material credibility, conservation, QEI, observer robustness, or transport viability.
  49. Observer-Family Energy-Condition Surface — Collects WEC, NEC, SEC, and DEC as observer-family diagnostics over the projected tensor.
  50. Observer-Robust Energy-Condition Gate — Records whether WEC, NEC, DEC, and SEC were checked beyond a single Eulerian observer frame.
Next page

Diagnostic context only. Cite independent evidence for claims about the world.