Computational Proof Packets
Computational Proof Packets
Sandy Chaos should not ask readers to trust the vibe.
The project needs public proof objects: small, inspectable packets where a claim, a computational criterion, an implementation surface, a validation command, evidence artifacts, and failure conditions live together.
This page is the public-facing ledger for those packets.
A computational proof packet is not a mathematical proof of the whole theory. It is a bounded claim that has survived a declared computational test against an explicit baseline or falsifier.
The point is to make progress harder to fake.
Claim Discipline
Every packet should answer five questions:
- What exactly is being claimed?
- What would count as failure?
- What code or formal object carries the claim?
- What command reproduces the check?
- What decision follows: PASS, REVIEW, or FAIL?
Sandy Chaos uses this as a pressure system, not a trophy case.
A good failed packet is often more valuable than an inflated success.
Current Ledger
| Packet | Claim | Status | Why it matters |
|---|---|---|---|
| T-015 Kerr asymmetry | Kerr geometry produces intrinsic prograde/retrograde proper-time asymmetry that a flat-space boosted baseline does not reproduce. | PASS | Establishes at least one place where the GR layer is load-bearing rather than decorative. |
| T-013 / Φ fluid probe | A bounded operational-present / observer-coupling field can produce measurable, bounded, reproducible perturbation without causal leakage. | REVIEW | Turns the Φ language into a falsifiable simulation object instead of a loose metaphor. |
| T-012 Hyperstition dynamics | Narrative-conditioned feedback dynamics are testable in a two-agent mean-field toy model. | PASS, narrowed | Shows the machinery is testable, while a stronger comparator weakens the earlier specificity claim. |
Packet T-015 — Kerr Asymmetry
Status: PASS
Claim class: physical / empirical-computational
Core claim: Kerr spacetime produces intrinsic proper-time asymmetry that is not reproduced by the tested flat-space boosted-frame baseline.
Criterion
For spin parameters a/M ∈ {0.1, 0.3, 0.5, 0.7, 0.9}, the Kerr prograde/retrograde proper-time asymmetry should show a residual greater than 5% compared with the best tested flat-space match.
The validation run reports:
Spin a/M |
Kerr asymmetry | Absolute residual vs best flat match | Match quality |
|---|---|---|---|
| 0.1 | 0.0228 | 0.0328 | Poor |
| 0.3 | 0.0682 | 0.0782 | Poor |
| 0.5 | 0.1145 | 0.1245 | Poor |
| 0.7 | 0.1653 | 0.1753 | Poor |
| 0.9 | 0.2219 | 0.2320 | Poor |
The important result is not merely that Kerr produces different numbers. The important result is that the residual grows with spin and remains outside the declared threshold across the tested range.
What this proves
Defensible now:
- The tested Kerr setup produces directional proper-time asymmetry.
- The tested flat-space boost family does not reproduce that asymmetry under the declared comparison.
- The GR/Kerr layer has at least one computationally demonstrated role inside the Sandy Chaos architecture.
Plausible but unproven:
- Kerr-like geometry may be useful as a broader model for asymmetric temporal communication channels.
- Geometry-weighted formulations may outperform flat timing models in richer multiframe simulations.
Speculative:
- Any direct claim that astrophysical Kerr environments are practically necessary for Sandy Chaos-like computation.
- Any claim that this result alone validates the whole framework.
Failure Conditions
This packet would weaken or fail if:
- a stronger flat-space comparator reproduces the asymmetry within threshold,
- the Kerr implementation is found to encode the desired asymmetry by construction rather than deriving it from the geometry,
- the result disappears under better geodesic integration, parameter sweeps, or numerical controls,
- or the theoretical use of the result is overstated beyond the bounded claim.
Packet T-013 — Φ Fluid Probe
Status: REVIEW
Claim class: formal / causal / empirical-computational
Core claim: a bounded observer-coupling field can be implemented as a forward-causal perturbation in a simple fluid-like domain.
This packet is the next best frontier because it pressure-tests a more central Sandy Chaos move: turning “observer coupling” and “operational present” into an executable object.
The current implementation uses a Small Perturbation Deflection Demo: a probe samples local flow, writes a bounded perturbation field Φ, and tests downstream response.
Implemented Falsifiers
The current test suite checks that:
- disabled coupling produces no deflection,
- zero gain matches disabled behavior,
- active coupling produces measurable along-flow deflection,
- the on-streamline transverse channel stays zero under radial symmetry,
- a small off-streamline sample exposes transverse deflection,
|Φ|remains bounded bymax_perturbation,- response grows monotonically across a gain sweep,
- write-channel feedback is distinguishable from pure read-only behavior,
- repeated runs are reproducible.
What this proves
Defensible now:
- The Φ field can be represented as a bounded computational perturbation.
- The toy domain can distinguish inactive, read-only, and read/write coupling cases.
- The current implementation has explicit falsification tests instead of relying on prose.
Still under REVIEW:
- The theory-implementation matrix row needs to be updated to point at the implemented harness.
- The current toy is not yet a broad physical validation.
- The result needs stronger baselines and parameter stress before promotion.
Next Pressure
The next useful move is to promote this from “implemented bounded probe” to “result packet” by adding:
- a reproducible benchmark command,
- a small evidence JSON artifact,
- baseline plots or tables,
- a matrix row update for T-013,
- and one stronger comparator that tries to explain the same deflection without observer-coupling machinery.
Packet T-012 — Hyperstition Dynamics
Status: PASS, but narrowed by comparator pressure
Claim class: causal / empirical-computational
Core claim: narrative-conditioned feedback dynamics can be made testable in a two-agent mean-field toy model.
This packet matters because it shows Sandy Chaos can survive productive falsification.
The original toy family produced reproducible bidirectional corridor behavior. A stronger comparator then preserved temporal asymmetry while stripping direct narrative-conditioned action feedback.
That comparator still produced bidirectional corridors.
So the result is not “the full Arm A mechanism uniquely explains the corridor.” That stronger specificity claim is weakened.
The better result is narrower:
Defensible now:
- the hyperstition machinery is executable and testable,
- bidirectional corridor behavior appears in the toy family,
- stronger comparators can and should reduce overclaiming.
Not defensible yet:
- uniqueness of the original narrative-conditioned mechanism,
- broad claims about real-world narrative dynamics,
- promotion without a sharper discriminating metric.
This is exactly the kind of failure Sandy Chaos should publish. It shows that the framework can say “less than we hoped, more than nothing.”
Why This Page Exists
The website should become more than an archive of interesting notes.
It should become a public research surface where each major claim can be traced through:
claim → criterion → implementation → validation → evidence → decision
That is how Sandy Chaos becomes harder, clearer, and more useful.
The next proof packet to pressure is T-013 / Φ fluid probe.
Links
Source code repository for this project.
GitHub