Parallax — one recorded trunk, eight simulated branches, and the one that held

One recorded trunk, eight simulated branches, and the one whose invariant heldA solid line enters from the left and stops at a point marked NOW. That solid stroke is the RECORDED class: it is what actually happened. At NOW a bar stands across it, because nothing runs until a human accepts the model. Past NOW the line fans into eight dotted branches sharing that one baseline, drawn across five numbered steps. Dotted is the PINNED class: byte-identical on replay. Seven of the branches fade. One stays lit, and it is the branch whose conservation invariant held for the whole run — not the branch with the most agreeable number.0102030405RECORDEDNOWthe branch that held

01 / 06

Every operating decision is taken once.

You change a price, a policy, an escalation threshold. The world moves, and the version where you chose differently is never observed. There is no staging environment for the way a business operates.

  1. Every operating decision is taken once. You change a price, a policy, an escalation threshold. The world moves, and the version where you chose differently is never observed. There is no staging environment for the way a business operates.
  2. So stop at the last moment you know is real. Everything to the left of here happened and is tagged observed. Everything to the right has to earn the right to be believed, and this is the line the product is built around.
  3. Parallax proposes a model of what is already in there. Point it at a directory, an agent's workspace or a set of tables. It comes back with state, actions, and the questions it could not answer — and the slots it cannot support come back empty rather than plausible.
  4. Nothing runs until you accept it. The accept gate is a runtime check, not a type-system convention. While a blocking question is open it refuses to activate, and a numeric quantity with no unit is always blocking.
  5. Then fork the history and change one decision. Same initial state, same seed, the same twelve steps — one policy different. The log is append-only with copy-on-write, so a branch costs nothing to create and every branch is rolled forward and checked.
  6. One branch held. And every number says how much of it was real. Not the branch with the most agreeable number — the one whose conservation invariant held for the whole run, checked by code rather than judged by a model. Typed observed or simulated at birth, carried into the receipt.
ParallaxRead the source

What you just watched

Six claims, and not one of them is a thing we are asking you to take on trust.

A simulator’s output is unfalsifiable by default: it produces confident numbers about a world that does not exist, and the usual answer is to claim more fidelity, which nobody can check inside a conversation. The design target here is not a simulator that is right. It is a simulator that cannot lie about being a simulator.

  • The gate

    activate() refuses while a blocking question is open. The accepted object is minted behind a module-private symbol and checked at runtime, so it cannot be forged.

  • The fork

    Ungoverned, the demo storefront oversells stock it does not have ten times in twelve steps. Forked one step before the damage with a governor installed: zero.

  • The typing

    Derivation joins the tags. One simulated input makes the answer simulated, all the way to the top line, so a figure cannot be quoted as a measurement by accident.

  • The proof

    A policy cannot certify its own reproducibility. Run it again against an identical probe; if the trace hash moves, the branch withdraws its own claim.

Nothing here is calibrated against a real business, and there is no accuracy figure on this page, because we do not have one. The footage above is generated and carries no claim — every number in this project is printed by a command in the Parallax runtime at seed 42 over a horizon of twelve steps.

See the productRead the proofRead the source