@@HEADER@@

Local browser lab · Experimental

Give a reading the right to lose.

Edit the record. Run the same Prolog rules as the command-line checker. A pass means the declarations fit the rules; it does not make them true.

Use this when an interpretation is about to change a test or decision. If the ordinary explanation already answers the question and no reframing is evidenced, keep the original brief. You do not need a hidden problem to fill this format.

Start with the fictional onboarding case. Load a defeating observation, then withdraw the reading. Try changing owner, a support reference or a test status yourself.

A three-minute first check
  1. Choose 2. Defeating evidence added and run. The result is blocked: the reading remains active after its declared defeater.
  2. Choose 3. Reading withdrawn and run. Inspect the repair: readings[0].status is "withdrawn", outcome.kind is "retain_brief" and outcome.reading_ids is []. The action, reason and reopening condition now fit that choice too. Try making these edits yourself in record 2. This edits declarations; the checker cannot distinguish an honest withdrawal from a convenient one.
  3. Choose record 5 and run. Its invented evidence also passes. Explain why you still need to inspect the source before acting. No passing record here certifies an explanation.

Your record

Limits: 64 KiB, 20 nested levels, 500 entries per array. JSON data only; no executable Prolog.

Structural report

Loading the local Prolog runtime…

No record checked yet

Run the checker to inspect this record.

Human review belongs here: check the actual source, relevance, test design and authority to act. This runtime cannot establish any of those.

Why examples that fail human review?

Both false-evidence records are labelled fiction. One cites an irrelevant observation; the other invents a credible-sounding research report. Both can pass when the references and declarations are well formed. Missing an owner fails regardless of whether the underlying claim is true. These examples demonstrate the boundary between structural validation and evidence verification. They do not measure the framework’s usefulness.

Record 9 has a test that cannot lose: disclosure and nondisclosure both confirm its accusation. It still passes because the checker cannot judge that prose. Human review must reject the test. Record 10 preserves the observations, withdraws the unsupported reading and closes with the internal cause unknown. This does not prove that nothing was concealed. The warning also travels inside each JSON record.

The onboarding satire offers an interpretation, not a finding that tutorials always conceal defective products. Keep the ordinary explanation available: some tasks require legitimate instruction.

The initial runtime download is about 4 MB. After loading, your edits and checks stay in this browser tab; this lab sends no record to a server or model and stores no record after you leave. Existing site analytics, if added by the host, are outside this lab.

Inspect the exact rules · Input contract · Evidence and failure criteria · Runtime licenses and provenance

@@FOOTER@@