Where Each Version Fits on Current Tau

01 / Select by premise

A version is a profile,
not a rank.

Use the smallest theorem whose premises match the mechanism. V2 can provide the outer publication and settlement layer around either earlier version.

Version 1 · concrete mechanism

Scarcity-upside exclusion

Ethical work gets funded rewards plus scarce upside. Unethical work is excluded from that upside. No tax or fine is applied.

G(t) < M(t) × [R(t) + L(t)]

Use when: ethics scores and scarcity facts are verified, rewards are funded, the excluded branch genuinely cannot access the scarce upside, and the agent exactly maximizes payoff.

Version 1.1 · generalized version

Hyperdeflationary margin

Scarcity amplifies the ethical reward plus exclusive upside against the complete gain from cheating.

B(t) < M(t) × K(t)

Use when: compliance cost, optimizer error, or time-varying relative growth must be modeled. Every runtime value remains finite and K(t) stays positive.

Version 2 · finite protocol

Policy and settlement

A finite advantage makes every near-optimal choice policy-compliant, with publication and reserve checks.

R_c − R_n + enforcement > G + C + ε

Use when: a protocol needs observable actions, verified evidence, replay prevention, funded rewards, and reject-without-effect settlement.

Useful composition: V2 admission + reserve-safe settlement outside; V1 or V1.1 selected inside as the declared incentive mechanism.

02 / Executed today

All four packets matched.

A clean local build from the pinned Tau source replayed every complete truth table exactly. Row zero is the deliberate all-true row; every other row rejects.

128 / [0]V1 rows / accepted rows

16 / [0]V1.1 rows / accepted rows

128 / [0]V2 rows / accepted rows

512 / [0]Flywheel rows / accepted rows

Native profile router: 27 / 27 cases matched: all-true and every single-false fact for V1, V1.1, and V2, plus unknown-profile, absent-input, and other-sender controls. The profile and fact streams remain transaction-supplied claims.

Inspect packet receipt Inspect router receipt Defects and scope changes

03 / Authority path

Tau owns the verdict.
Evidence comes first.

The Alpha can run a policy scoped to each sender. The tested custom streams remain transaction-supplied claims, so a safe value-moving design needs a consensus-recognized verifier and a settlement layer that applies effects atomically.

For V1, the settlement layer must also prevent an excluded branch from claiming the protected reward or scarce upside. Upside shared by both branches cancels.

Verified evidence

Consensus-recognized verifier

Typed, context-bound facts

Tau policy verdict

Reserve + replay checker

Atomic effects + receipt

Established locally

Current Tau syntax and interpreter execution
Complete Boolean packets and single-fault rows
Three-profile native router across 27 / 27 cases
Flywheel native rule across 12 / 12 cases
Lean proofs for each restricted theorem profile

Required for production

Verified economic and policy facts
Consensus inputs from trusted verifiers
Funded reserve, replay prevention, double-spend protection, and recovery paths
Multi-node admission and settlement consistency
Public deployment and production readiness

Read the exact integration note Intelligence flywheel

A version is a profile,not a rank.