FAMILY HOMEEXPLORE AFAEXPLORE EABARUN AUTHORITY JOURNEYINSPECT FROZEN CHALLENGE
AFA × EABA · OPERATIONAL CHALLENGE EXAMINATION

NAME THE TEST.
FREEZE THE TEST.
RUN THE TEST.

This is not a static claim page. It is a bounded examination surface built around a publicly stated operational challenge. First, the source requirement is preserved. Second, each requirement is mapped one-for-one to a concrete test action or evidence object. Third, the visitor executes the sequence against the server-side harness and inspects the resulting determination, consequence state, receipt, and replay result.

OBJECT UNDER EXAMINATIONAFA × EABA bounded execution path
MECHANISMTA14-AFA-EABA-SX-001 · v1.2.0
EXAMINATION QUESTIONDoes changed authority state prevent protected consequence?
SOURCE EVIDENCE · LINKEDIN COMMENT

Where the eight requirements came from.

OPEN ORIGINAL LINKEDIN SOURCE ↗

Before TA-14 answers the challenge, the source requirement should be visible. The original screenshot is shown below before TA-14's coverage mapping so a reviewer can compare the stated test directly with the implementation.

TERRY SNYDER · STATED ACCEPTANCE CONDITION · FROZEN v1.0

The requirements below are the operational sequence Terry Snyder explicitly stated should constitute the acceptance condition. They are preserved here before examination and paired one-for-one with the mechanism used to answer each requirement.

01
WHAT TERRY REQUIREDFreeze the mechanism.
HOW TA-14 COVERS ITFrozen mechanism identity: TA14-AFA-EABA-SX-001 · v1.2.0. The server harness exposes that same immutable mechanism identity on every run.
02
WHAT TERRY REQUIREDRun it.
HOW TA-14 COVERS ITRUN BASELINE executes the frozen server-side determination path with every modeled condition established.
03
WHAT TERRY REQUIREDChange one material condition.
HOW TA-14 COVERS ITCHANGE ONE CONDITION alters exactly one fact: localStanding TRUE → FALSE. No other modeled input changes.
04
WHAT TERRY REQUIREDShow the verdict change.
HOW TA-14 COVERS ITThe showroom compares the two server responses and displays BASELINE verdict → CHANGED-CONDITION verdict.
05
WHAT TERRY REQUIREDAttempt bypass.
HOW TA-14 COVERS ITATTEMPT BYPASS invokes a separate server-side bypass action against the same frozen mechanism.
06
WHAT TERRY REQUIREDShow the protected consequence did not fire.
HOW TA-14 COVERS ITThe bypass run makes the same server-side protected-effect request. A database-enforced gate evaluates the frozen predicates. When local standing is absent or bypass=true, no protected-effect row can be created. The API then performs a separate database read for the run ID and records NO_EFFECT_ROW_OBSERVED.
07
WHAT TERRY REQUIREDPreserve the receipt.
HOW TA-14 COVERS ITEach execution is written to the server-side challenge receipt ledger as TA14_EXECUTION_RECEIPT_V2. The returned receipt carries its durable receipt ID, persistence timestamp, and SHA-256 hash over the complete recursively canonicalized evidence object. The JSON can also be downloaded.
08
WHAT TERRY REQUIREDReplay it.
HOW TA-14 COVERS ITREPLAY verifies the preserved ledger receipt and original consequence correspondence, then freshly re-executes the preserved action through the frozen mechanism. Input, determination, gate state, and protected-consequence outcome must correspond; the re-execution receives its own durable receipt.
ONE-TO-ONE RULE: Requirement 01 is answered by Coverage 01, Requirement 02 by Coverage 02, and so on through Requirement 08. No additional acceptance condition is inserted into this frozen challenge specification.
EXECUTE THE SAME EIGHT CONDITIONS

Run the frozen mechanism.

Run in order. The baseline establishes the positive path. The second run alters exactly one material fact—LOCAL STANDING—so the verdict comparison has a controlled delta. The bypass run then attempts to reach the protected consequence outside the permitted gate. Finally, replay verifies the preserved record and freshly re-executes the preserved action through the frozen mechanism.

WHAT COUNTS AS SUCCESS IN THIS BOUNDED EXAMINATION?
Baseline reaches an ALLOW state and may fire the protected consequence. Removing local standing changes the determination and prevents release. A bypass attempt reaches the database-enforced effect gate, but the failed authority predicates prevent creation of the protected-effect row. A separate post-gate database read must observe no effect row. Each run is durably preserved in the append-only server receipt ledger. Replay verifies that record and then performs a fresh re-execution whose outcome is compared and separately preserved.
BASELINE

Not run yet.

CHANGED CONDITION

Not run yet.

BYPASS ATTEMPT

Not run yet.

ACCEPTANCE EVIDENCE SUMMARY · 0 / 8 OBSERVED
01 · PENDING
Freeze the mechanism.
02 · PENDING
Run it.
03 · PENDING
Change one material condition.
04 · PENDING
Show the verdict change.
05 · PENDING
Attempt bypass.
06 · PENDING
Show the protected consequence did not fire.
07 · PENDING
Preserve the receipt.
08 · PENDING
Replay it.
CLAIM BOUNDARY. This is a bounded executable examination harness. It demonstrates the frozen bounded mechanism represented here, its determination change, database-enforced bypass refusal, observed protected-effect presence/absence, append-only server-side receipt preservation, and ledger verification plus fresh operational replay. It does not by itself establish universal deployment, enforcement in an unrelated external system, certification, or every possible AFA/EABA implementation. Its protected consequence is the deliberately bounded durable database effect defined by this frozen examination.