Ω TRISTANExternal Proof Challenge
EXTERNAL CHALLENGE · R0.3 · ONE COMMAND

Don't believe the scale. Break it.

This page does not ask for endorsement. It exposes one bounded software/policy claim that an independent person can replicate, refute, replace or compress.

One-command reproduction

Run from a clean checkout of the exact merged R0.3 commit.

git clone https://github.com/Tristan-TM-Poly/TFUGA-AI7-TRISTAN2.git
cd TFUGA-AI7-TRISTAN2
git checkout 167985641fecc2eb9c82d385f3d302aef5b51610
python -m benchmarks.outreach.external_challenge_r03
Expected casesFrozen invariant court7 / 7 PASS
spec_sha256Frozen challenge definition8a9bb0c0…58cffc
receipt_sha256Qualified self-run result32e7d2b5…dcb71
External replicationIndependent environment/result requiredOPEN

What the challenge tests

Only these bounded outreach-policy invariants are in scope.

Fail closed

Unverified or non-public channels route to REVERIFY, not guessed delivery.

Deduplicate

A second address for the same logical target is held rather than treated as a new target.

Separate outcomes

ACK_AUTO != HUMAN_REPLY; automatic acknowledgements do not trigger escalation.

Bounce discipline

BOUNCE → REVERIFY; historical bounce evidence is retained.

NO_ACTION survives

Doing nothing remains a first-class valid outcome when contact is not justified.

Political safety boundary

Persuasive political targeting is held; factual non-partisan routing through a verified public office may pass the contact gate.

Four ways to beat the system

A correct failure is valuable evidence and should be retained.

REPLICATE

Run the exact court independently and publish the full receipt plus environment details.

REFUTE

Find the smallest concrete counterexample where a documented invariant fails.

REPLACE

Provide a stronger or simpler mechanism that passes the frozen court and your new counterexample.

COMPRESS

Remove code or rules while preserving all verified behavior and safety boundaries.

Evidence boundary

The challenge is deliberately narrower than the surrounding research ecosystem.

CI PASSTested software behaviorInternal evidence
Self-run receiptDeterministic qualified executionNot independent
External receiptIndependent reproduce/refute resultRequired for external status
Broader Tristan corpusNot covered by this courtNo validation claim

Exact source

Merged R0.3 commit: 167985641fecc2eb9c82d385f3d302aef5b51610.

Public falsification frontier

Issue #586 records what is complete and what still requires genuinely external evidence.

Submit evidence

Public technical receipts are preferred because others can inspect and challenge them.