Components · Evidence and interpretation

Claim Block

A proposition whose displayed strength stays tied to its evidence. Opening evidence changes the presentation, never authority.

Overview

This compact example shows the component inside the shared contract. The detailed galleries below exercise its edge states without granting additional authority.

States

Lifecycle and freshness are independent of epistemic strength. Source records report observations; evidence units retain their three relation states. The surrounding claim demonstrates all six epistemic states without relabeling a source or an evidence relation.

Each example is checked against its full resolver plan. Explore with a pointer or keyboard; Escape folds evidence back. The source rows and their citations light together.

Freshness

Freshness belongs to an observation, not to the strength of a claim. Unknown age is still, not a loading state.

Withheld fields

Permission boundaries remain visible as “withheld · reason”. The withheld value is absent, including from hidden content and accessibility labels (INV-10).

Anatomy

01 Epistemic head: The pill qualifies the proposition; inferred is dotted and unknown is dashed.
02 Typed relation: Alias, packaging, shared component, inventory pool and distinct are named relationships, never a bare “same”.
03 Evidence exploration: Show evidence expands the same component. Escape returns to its original trigger.
04 Historical line: A superseded or retracted proposition remains readable and struck through.

Usage and avoid

Use: preserve what the fields mean

5,400 Produced Quantity and 1,620 Available to Sell answer different questions. Review the meanings before proposing a correction (INV-19).

Avoid: turning a model score into a fact

0.82 is an observation about the classifier. Keep the proposed alias inferred, and keep insufficient evidence visible (INV-01, INV-20).

Contract checks and limits

Running negative controls…

The live checks do not validate the truth of fixture data, motion quality, assistive-technology announcements or equivalence to the film. Review those separately at 1440px and 390px, in both themes and with reduced motion.

Contract

A component without this contract may wear Lyotic’s style; it does not implement Lyotic.

Semantic inputs	A claim with text, epistemic state, status, relation and evidence
Allowed states	Any epistemic value; active, superseded or retracted
Forbidden states	A check glyph on an unknown or inferred claim; hiding a superseded claim that invalidated an action
Evidence requirements	Every claim lists its evidence units; insufficient is shown, not dropped
Action scope	Presentation only; no external writes or authority changes
Meaning of authority	None
External effects	None
Verification conditions	None
Failure and recovery	When evidence becomes inaccessible the claim is re-evaluated, not kept
Transitions	Superseded claims collapse to one struck line
Accessibility	A labelled section; a stable keyboard trigger; focus into evidence on open and back on Escape
Observable events	`ly-evidence-explore` with claim identity, expansion state and the plan-bound version
Test conditions	INV-01, INV-15, INV-19, INV-20

Accessibility

Preserve native names, reading order, keyboard exploration, focus continuity and text-based state. Reduced motion removes spatial movement without removing evidence or status meaning.

Code

const claim = claimBlock(input.claims[0], input, resolve(input));
container.append(claim);
claim.update(nextClaim, nextInput, resolve(nextInput));
// Before removal: claim.destroy();

Reference and verification

Compare card rhythm to scene 02 at 24 seconds and meaning lenses to scene 04 at 49 seconds. The film is a visual reference, not evidence that an action has been verified.

For integration, walk Inventory mapping on both paths. The Work Object Shell must pass its plan to enable local Claim Block exploration; legacy two-argument calls remain non-authorizing and show evidence directly.