JOLLY:LAB / 004 EXPERIMENTAL / IN DEVELOPMENT

MANIFOLD

Follow the consequences.

Explore independent worlds. Follow the evidence. See what survives when a cause disappears.

Precomputed by the Java engine. This lab replays saved results; it does not run live inference. These small fictional scenarios demonstrate explicit rules, not real-world advice.

It’s Friday night. Your phone lights up. After a demanding week, a friend invites you out. Tomorrow matters too.

FICTIONAL GIVENS & RULE ASSUMPTIONS

You have four hours before your planned bedtime, €60 available, and an important commitment at 09:00. In this model, going out takes three hours including travel and costs €30; staying home has no additional cost. Rest and preparation share the remaining time: they are opportunities, not activities that have happened.

Focused subset · Only selected, supported dependencies are shown. Other required premises are omitted here. Select a card for its complete WHY explanation, or open the full graph.

Scroll horizontally to follow the graph →. Select any state to inspect its evidence.

Viewing column 1 / 5INITIAL FACTS

Swipe to explore. ← / → keys move columns.

CAUSES / INPUTDOWNSTREAM CONSEQUENCES →

INITIAL FACTS

INITIAL FACTSYOUR DECISIONRESOURCESOPPORTUNITIES / CONSTRAINTSInspect evidence ↓

Replay reveals a settled snapshot by causal column; it is not an engine timeline.

Going out opens this social occasion, not a guaranteed friendship. Staying home leaves more room to rest and prepare, not a guaranteed productive evening. Sleep quality, attendance tomorrow and other people’s choices remain unmodeled.

These branches describe options and constraints under the stated assumptions. Unknown means no supported claim. Neither choice is a score or a recommendation.

EVIDENCE INSPECTOR

Next-day constraint

Less preparation time / 1 support

person.morning

Hypothetical consequence · Less preparation timetight-morninglife-scenario:assumption:tight-morning · 2026-10-09T18:01:00Z
Room for rest + Room to prepare + Tomorrow’s commitment

Original engine output (English) · Claim inspected: Less preparation time

WHY person.morning = tight_margin: ESTABLISHED
  Independent supports (OR):
    person.morning = tight_margin [PREDICTION; confidence=1.0] [rule=tight-morning; relation=ENABLES; source=life-scenario:assumption:tight-morning; premises: AND] [trace #1]
      because:
        person.rest = short_window [PREDICTION; confidence=1.0] [rule=short-rest; relation=ENABLES; source=life-scenario:assumption:short-rest; premises: AND] [trace #2]
          because:
            person.free_time = one_hour [PREDICTION; confidence=1.0] [rule=out-time; relation=ENABLES; source=life-scenario:assumption:out-time; premises: AND] [trace #3]
              because:
                person.decision = go_out [PREDICTION; confidence=1.0] [direct] [trace #4]
                  because:
                    go_out [hypothetical Action; source=life-scenario:choice; at=2026-10-09T18:01:00Z; confidence=1.0] [trace #5]
              because:
                Initial person.evening_plan = four_hours_sixty_euros [FACT; source=life-scenario:fictional-given; at=2026-10-09T18:00:00Z; confidence=1.0] [trace #6]
      because:
        person.preparation = short_window [PREDICTION; confidence=1.0] [rule=short-preparation; relation=ENABLES; source=life-scenario:assumption:short-preparation; premises: AND] [trace #7]
          because:
            [see trace #3]
      because:
        Initial person.tomorrow = commitment_at_nine [FACT; source=life-scenario:fictional-given; at=2026-10-09T18:00:00Z; confidence=1.0] [trace #8]
    metadata: StateValue[value=tight_margin, timestamp=2026-10-09T18:01:00Z, confidence=1.0, source=life-scenario:assumption:tight-morning, epistemicType=PREDICTION]

Rules & dependencies

out-time · ENABLES
Your choice = Go out AND Evening resources = 4 hours · €60 → Time left tonight = 1 hour
All conditions required (AND)
home-time · ENABLES
Your choice = Stay home AND Evening resources = 4 hours · €60 → Time left tonight = 4 hours
All conditions required (AND)
out-budget · ENABLES
Your choice = Go out AND Evening resources = 4 hours · €60 → Money left tonight = €30
All conditions required (AND)
home-budget · ENABLES
Your choice = Stay home AND Evening resources = 4 hours · €60 → Money left tonight = €60
All conditions required (AND)
out-social · ENABLES
Your choice = Go out → Social opportunity = Occasion open
home-social · ENABLES
Your choice = Stay home → Social opportunity = This occasion missed
short-rest · ENABLES
Time left tonight = 1 hour → Room for rest = Limited window
long-rest · ENABLES
Time left tonight = 4 hours → Room for rest = Time available
short-preparation · ENABLES
Time left tonight = 1 hour → Room to prepare = Limited window
long-preparation · ENABLES
Time left tonight = 4 hours → Room to prepare = Time available
tight-morning · ENABLES
Room for rest = Limited window AND Room to prepare = Limited window AND Tomorrow’s commitment = 09:00 tomorrow → Next-day constraint = Less preparation time
All conditions required (AND)
protected-morning · ENABLES
Room for rest = Time available AND Room to prepare = Time available AND Tomorrow’s commitment = 09:00 tomorrow → Next-day constraint = More preparation time
All conditions required (AND)

World changes

Original engine output (English)

person.budget: <absent> -> thirty_euros [PREDICTION, confidence=1.0, source=life-scenario:assumption:out-budget, at=2026-10-09T18:01:00Z]
person.decision: <absent> -> go_out [PREDICTION, confidence=1.0, source=life-scenario:choice, at=2026-10-09T18:01:00Z]
person.free_time: <absent> -> one_hour [PREDICTION, confidence=1.0, source=life-scenario:assumption:out-time, at=2026-10-09T18:01:00Z]
person.morning: <absent> -> tight_margin [PREDICTION, confidence=1.0, source=life-scenario:assumption:tight-morning, at=2026-10-09T18:01:00Z]
person.preparation: <absent> -> short_window [PREDICTION, confidence=1.0, source=life-scenario:assumption:short-preparation, at=2026-10-09T18:01:00Z]
person.rest: <absent> -> short_window [PREDICTION, confidence=1.0, source=life-scenario:assumption:short-rest, at=2026-10-09T18:01:00Z]
person.social: <absent> -> invitation_access [PREDICTION, confidence=1.0, source=life-scenario:assumption:out-social, at=2026-10-09T18:01:00Z]

Propagation & retractions

Original engine output (English)

go_out [hypothetical Action; source=life-scenario:choice; at=2026-10-09T18:01:00Z; confidence=1.0]
  -> person.decision = go_out [PREDICTION; confidence=1.0] [direct] [depth=0]
     because: go_out [hypothetical Action; source=life-scenario:choice; at=2026-10-09T18:01:00Z; confidence=1.0]
  -> person.budget = thirty_euros [PREDICTION; confidence=1.0] [rule=out-budget; relation=ENABLES; source=life-scenario:assumption:out-budget; premises: AND] [depth=1]
     because: person.decision = go_out [PREDICTION; confidence=1.0] [direct] AND Initial person.evening_plan = four_hours_sixty_euros [FACT; source=life-scenario:fictional-given; at=2026-10-09T18:00:00Z; confidence=1.0]
  -> person.social = invitation_access [PREDICTION; confidence=1.0] [rule=out-social; relation=ENABLES; source=life-scenario:assumption:out-social; premises: AND] [depth=1]
     because: person.decision = go_out [PREDICTION; confidence=1.0] [direct]
  -> person.free_time = one_hour [PREDICTION; confidence=1.0] [rule=out-time; relation=ENABLES; source=life-scenario:assumption:out-time; premises: AND] [depth=1]
     because: person.decision = go_out [PREDICTION; confidence=1.0] [direct] AND Initial person.evening_plan = four_hours_sixty_euros [FACT; source=life-scenario:fictional-given; at=2026-10-09T18:00:00Z; confidence=1.0]
  -> person.preparation = short_window [PREDICTION; confidence=1.0] [rule=short-preparation; relation=ENABLES; source=life-scenario:assumption:short-preparation; premises: AND] [depth=2]
     because: person.free_time = one_hour [PREDICTION; confidence=1.0] [rule=out-time; relation=ENABLES; source=life-scenario:assumption:out-time; premises: AND]
  -> person.rest = short_window [PREDICTION; confidence=1.0] [rule=short-rest; relation=ENABLES; source=life-scenario:assumption:short-rest; premises: AND] [depth=2]
     because: person.free_time = one_hour [PREDICTION; confidence=1.0] [rule=out-time; relation=ENABLES; source=life-scenario:assumption:out-time; premises: AND]
  -> person.morning = tight_margin [PREDICTION; confidence=1.0] [rule=tight-morning; relation=ENABLES; source=life-scenario:assumption:tight-morning; premises: AND] [depth=3]
     because: person.rest = short_window [PREDICTION; confidence=1.0] [rule=short-rest; relation=ENABLES; source=life-scenario:assumption:short-rest; premises: AND] AND person.preparation = short_window [PREDICTION; confidence=1.0] [rule=short-preparation; relation=ENABLES; source=life-scenario:assumption:short-preparation; premises: AND] AND Initial person.tomorrow = commitment_at_nine [FACT; source=life-scenario:fictional-given; at=2026-10-09T18:00:00Z; confidence=1.0]