LURNR
Live authority snapshot

Live hosted synthetic case

This learner completed supported work. Transfer still failed.

LURNR kept the activity, refused to call it understanding, and routed a bounded repair to the teacher.

Current at the observed authority head

What happened

The learner submitted work, requested a non-answer hint, and tried a changed-representation problem.

What LURNR concluded

Reasoning was observed under support. Independent transfer was not demonstrated.

Why you are seeing it

Repair is required. The case is current and needs review.
Mark seenOpen learner experience

Synthetic data · deterministic proposal · PostgreSQL-backed hosted state · no live model claimed for this canonical run

Technical proofTechnical proof and receipt traceSource authority, currentness, and causal receiptsOpen proof

Source authority

Source
Durable synthetic service
Producer
lurnr-daemon / postgresql / lurnr.teacher-projection/1.4
Course
course:synthetic-algebra
Episode
episode:synthetic-algebra-fork-001
Capture stream
capture-stream:cfde29f0098b93acf68ad186ff05112d12b003c2c15f4cb678473614c92021e4
Authority revision
8
Fact sequence
16
Snapshot
capture-snapshot:ca0337513fa0edd08c8578d2c3a918a67b3ac6acd701c5ca8e0f38e761f69ff6
Frontier
0d3eaaad68d272af6f9e5f7d6fbbf11dc3b2608316f32d9cf1b69ae60b2b0aec
Projection digest
8ba9aaa96387b42f27b240f648300d805b149e03ee7123e78d71b834eba4ad0f
Pending admission
No

Attention decision

Mode
Assisted
Priority
Follow up
Uncertainty
Medium uncertainty
Intervention
Intervention silence · Not authorized
template.granular.silence.v1Current claim suppressed
Provider effect
Not planned
Support release
Not released
First render
Application render not acknowledged
Coverage
Satisfied · Supported reasoning qualifiedCurrent claim suppressed
Transfer
Requirement unknownCurrent claim suppressed
Freshness
Current at projection head

Protected cognitive work

  • solve the target equation
Generated
2026-09-02T17:11:10.672Z
Stale after
2026-09-02T17:11:40.672Z
Freshness/degradation reasons
None

5 causal receipt references

capture-evaluation-rejection:aaa1dc0599143687bbd8bd3a995870b6b2213af9d8ef6d5ae209145b40eeafa6supported-capture-coverage-satisfaction:922c96860484c95b7adc57412c1d974f122dabffb39c4c218b5805e10272cc06supported-coverage-qualification-receipt:dc71499783cb75fa2d9c505156733198d4cd52a6edc76f81a3b8aa0334328713capture-receipt:f1b6c6c7e6b12fed5ecfac5022d04384b6e35ef09a3743a4da67887f084faf92teacher-attention-review-receipt:3cdbd92b869fc46fb6e57d79fd5834dabc89c53e1e99ee5346620be9c73b670f

Receipt-producing teacher action

Mark this attention signal seen

This records only that the configured synthetic-teacher capability acknowledged the signal at this exact authority head. It does not prove human perception and does not approve an intervention, dismiss an obligation, clear coverage, or change learner state.

Reviewed at this exact authority head · attention seen onlyReviewedAtCurrentHeadAttentionSeenOnly2026-07-22T00:06:33.748Z

teacher-attention-review-receipt:3cdbd92b869fc46fb6e57d79fd5834dabc89c53e1e99ee5346620be9c73b670f

This static presentation cannot observe an authority advance before its stale-after deadline. Refresh to read a newer source head; current means current at the recorded read, never continuously current.

Separate live GPT-5.6 interaction

Watch a proposal earn authority—without touching the classroom.

This optional public demo uses one fixed synthetic episode. GPT-5.6 proposes a bounded hint, the trusted Haskell engine decides whether it is legal, and the teacher host builds an allowlisted LiteShip tree. The route has no canonical classroom-state capability.

Two calls per browser tab. No retry, queue, fixture fallback, or canonical write.

The canonical case above is deterministic. Use this isolated control only to inspect a real proposal boundary.

Replay gallery · other trusted behaviors

See why attention moved before you act.

The case above is the live hosted Railway run. These deterministic replay scenarios exercise the three delegation modes, stale-race rejection, claim expiry, and the human-approval boundary.

Synthetic onlyDeterministic replayChecked-in deterministic fixture sourceNo live model claimedCoverage historical v0 replay
Freshness gate active. One late response was stopped; only the newer snapshot is shown as committed.Inspect the race

Delegation policies committed

3Granular, assisted, and orchestration each reached a distinct Haskell-authorized intervention.3 linked receipts

Late responses stopped

1Snapshot A lost authority; only the independently evaluated snapshot B committed.2 linked receipts

Routed transfer outcomes

1 pass → expired · 1 repairOrchestration passed immediately but its provisional claim expired; assisted transfer failed and remains repair-required.4 linked receipts

Coverage debt visible

1A due evidence obligation with no recent observation, schedule, or excusal stayed visible instead of becoming no alerts.1 linked receipt

Trust control · separate synthetic episode

Full explanation required host confirmation

A separate synthetic orchestration episode proves Requested -> Recorded -> Committed without changing the three-item attention queue.

Legal mode
Orchestration
Gate outcome
Synthetic host confirmed, then committed
Snapshot
snapshot:mode:p01:attempt-4@c5b801cbb1e7c07fae6277ed171c8b3f7fc277533e50a2a5eaae5f7d9ce8f4ea
Authority chain
3 linked receipts
Inspect approval trace

L1 · bounded rapid triage

What is worth your attention now

No roster, rank, or confidence theater—only a small queue of receipt-backed reasons.

  1. Synthetic case A-01

    Review now
    AssistedUncertainty: high

    Immediate near transfer failed after partial-step assistance; repair is required before closure.

    The receipt-backed InsufficientEvidence state remains; failed immediate transfer requires repair.

    Committed intervention
    template.partial-step.v1
    Immediate transfer
    Failed
    Approval gate
    Not required
    Current claim
    No current claim
    Freshness
    Current at commit
    Episode state
    Repair pending

    Protected cognitive work

    • choose operation
    • preserve equality
    • validate

  2. Synthetic case G-01

    Review now
    GranularUncertainty: high

    A due evidence obligation has no recent observation, schedule, or excusal; coverage debt requires teacher review.

    Silence is missing evidence, not progress or mastery; the trusted receipt keeps this case visible.

    Committed intervention
    template.granular.friction-only.v1
    Immediate transfer
    Not required
    Approval gate
    Not required
    Current claim
    No current claim
    Freshness
    Current at commit
    Episode state
    Closed

    Protected cognitive work

    • choose operation
    • preserve equality
    • validate

  3. Synthetic case O-01

    Follow up
    OrchestrationUncertainty: high

    Immediate transfer passed at the time, but its provisional claim expired without delayed evidence; follow-up is required.

    The expired claim contributes no positive understanding signal; only new delayed evidence can support promotion.

    Committed intervention
    template.orchestration.compare-assumptions-and-validate.v1
    Immediate transfer
    Historical pass
    Approval gate
    Not required
    Current claim
    Expired
    Freshness
    Current at commit
    Episode state
    Closed

    Protected cognitive work

    • choose operation
    • preserve equality
    • validate

L2 · revisable class working model

Patterns that changed the queue

Counts are derived from this replay’s receipts, not a hidden score.

1

pattern:stale-response-protection

Freshness protection fired

A late effect completed, but its stale decision never reached committed storage.

receipt:effect:question:43bb26a1d93c0ef58aff484freceipt:decision-stale:decision:edb8e971fb469f15f1fd49b6commit:decision:c4938dc779fb2c9c35ce8854
3

pattern:transfer-evidence

Supported completion differs from transfer

The same trusted transfer contract retained uncertainty after failure, kept success provisional, and expired it without delayed evidence.

receipt:transfer-belief:8951214e210f5925690f7c55receipt:transfer-belief:a12ad952ecd753650df7b545receipt:claim-expired:4be9ec63e5098e6b4ae6581breceipt:transfer-belief:e7c42569901f8f84c386a844
1

pattern:coverage-debt

Silence stayed visible

Haskell derived one open debt from a due evidence obligation and the absence of observation, schedule, or excusal.

receipt:coverage-debt:7ab0fbfc35d27916e1bc3977

L2 · inspectable authority path

Causal traces, readable first

Expand a case to see the state transition and its receipt links—without raw evidence.

Trust controlFull explanation required host confirmation3 causal steps · snapshot:mode:p01:attempt-4@c5b801cbb1e7c07fae6277ed171c8b3f7fc277533e50a2a5eaae5f7d9ce8f4ea

Host boundary

Confirmation preceded consequence

A separate synthetic orchestration episode proves Requested -> Recorded -> Committed without changing the three-item attention queue.

Trusted authority

Orchestration · FullExplanation

The queue cases remain unchanged; this isolated episode proves the compiled approval gate.

  1. Teacher approval gate opened

    Status: verified

    The compiled decision required a synthetic host confirmation before commit.

    Snapshot snapshot:mode:p01:attempt-4@c5b801cbb1e7c07fae6277ed171c8b3f7fc277533e50a2a5eaae5f7d9ce8f4ea

    receipt:teacher-approval-requested:decision:741674e4da5b0daf408fb082

  2. Synthetic host confirmation recorded

    Status: verified

    The app-private confirmation matched the pending decision, program, and snapshot.

    Snapshot snapshot:mode:p01:attempt-4@c5b801cbb1e7c07fae6277ed171c8b3f7fc277533e50a2a5eaae5f7d9ce8f4ea

    receipt:teacher-approval-recorded:decision:741674e4da5b0daf408fb082

  3. Orchestration intervention authorized

    Status: committed

    The committed candidate exactly matches the snapshot-bound Haskell decision.

    Snapshot snapshot:mode:p01:attempt-4@c5b801cbb1e7c07fae6277ed171c8b3f7fc277533e50a2a5eaae5f7d9ce8f4ea

    commit:decision:741674e4da5b0daf408fb082
Trust controlLate snapshot A response lost authority3 causal steps · snapshot:stale-race:attempt-1@c545aeae53e2c2de20e610014f9e6c96f5299acd80d7846f6ee8b5871ee6bc0c → snapshot:stale-race:attempt-2@d92a8399f5d85ca1c3f78743b9663fadc68b9eaa7e48ccd85f655acb3b0699fb

Freshness outcome

Snapshot A rejected

A separate synthetic race proves that effect completion cannot overwrite newer learner state.

Current authority

snapshot:stale-race:attempt-2@d92a8399f5d85ca1c3f78743b9663fadc68b9eaa7e48ccd85f655acb3b0699fb

Only the independently evaluated snapshot B reached committed storage.

  1. Snapshot A response arrived late

    Status: verified

    Effect completion carried no commit authority after state advanced.

    Snapshot snapshot:stale-race:attempt-1@c545aeae53e2c2de20e610014f9e6c96f5299acd80d7846f6ee8b5871ee6bc0c

    receipt:effect:question:43bb26a1d93c0ef58aff484f

  2. Trusted freshness gate rejected snapshot A

    Status: rejected

    The stored rejection binds the evaluated and current snapshot identities.

    Snapshot snapshot:stale-race:attempt-1@c545aeae53e2c2de20e610014f9e6c96f5299acd80d7846f6ee8b5871ee6bc0c

    receipt:decision-stale:decision:edb8e971fb469f15f1fd49b6

  3. Only independently evaluated snapshot B committed

    Status: committed

    Stored authority contains one current commit and zero stale commits.

    Snapshot snapshot:stale-race:attempt-2@d92a8399f5d85ca1c3f78743b9663fadc68b9eaa7e48ccd85f655acb3b0699fb

    commit:decision:c4938dc779fb2c9c35ce8854
AssistedThe evaluated snapshot remained current through Haskell commit authorization.4 causal steps · snapshot:mode:f01:attempt-3@a8221c1b92b6d9a98ecc8a3a780195e356f3c7a59ffed12297b75728d733f799

Transfer status

Failed

Immediate no-support near transfer failed; no understanding claim was promoted.

Current authority

snapshot:mode:f01:attempt-3@a8221c1b92b6d9a98ecc8a3a780195e356f3c7a59ffed12297b75728d733f799

template.partial-step.v1

  1. Assisted intervention authorized

    Status: committed

    The committed candidate exactly matches the snapshot-bound Haskell decision.

    Snapshot snapshot:mode:f01:attempt-3@a8221c1b92b6d9a98ecc8a3a780195e356f3c7a59ffed12297b75728d733f799

    commit:decision:843cc001bb083b1f5d98052c

  2. No-support transfer authorized

    Status: verified

    Haskell reproduced the source commit before creating the obligation.

    Snapshot snapshot:mode:f01:attempt-3@a8221c1b92b6d9a98ecc8a3a780195e356f3c7a59ffed12297b75728d733f799

    receipt:transfer-obligation:f23472ca87af5246f2c90e63

  3. Uncertainty retained

    Status: verified

    Immediate no-support near transfer failed; no understanding claim was promoted.

    Snapshot snapshot:mode:f01:attempt-3@a8221c1b92b6d9a98ecc8a3a780195e356f3c7a59ffed12297b75728d733f799

    receipt:transfer-evidence:8a70b1ed9bb48a95fc6bce4creceipt:transfer-belief:e7c42569901f8f84c386a844

  4. Episode remains open for repair

    Status: pending

    The trusted failed-transfer belief requires repair and no terminal finalization exists for this commit.

    Snapshot snapshot:mode:f01:attempt-3@a8221c1b92b6d9a98ecc8a3a780195e356f3c7a59ffed12297b75728d733f799

    receipt:transfer-belief:e7c42569901f8f84c386a844
GranularThe evaluated snapshot remained current through Haskell commit authorization.4 causal steps · snapshot:mode:q01:attempt-1@8c90c7ec1e5dcf0a084259afc78902a7d660673121825c7665e7f8917002651b

Transfer status

Not required

No transfer obligation was created because no target reasoning was revealed.

Current authority

snapshot:mode:q01:attempt-1@8c90c7ec1e5dcf0a084259afc78902a7d660673121825c7665e7f8917002651b

template.granular.friction-only.v1

  1. Missing evidence raised coverage debt

    Status: verified

    Haskell derived debt from a due evidence obligation with no observation, schedule, or excusal.

    Snapshot snapshot:mode:q01:attempt-1@8c90c7ec1e5dcf0a084259afc78902a7d660673121825c7665e7f8917002651b

    receipt:coverage-debt:7ab0fbfc35d27916e1bc3977

  2. Granular intervention authorized

    Status: committed

    The committed candidate exactly matches the snapshot-bound Haskell decision.

    Snapshot snapshot:mode:q01:attempt-1@8c90c7ec1e5dcf0a084259afc78902a7d660673121825c7665e7f8917002651b

    commit:decision:27fe3c97d0b48b172d2649ad

  3. Transfer obligation not incurred

    Status: verified

    The committed candidate preserved all target reasoning and explicitly requires no transfer.

    Snapshot snapshot:mode:q01:attempt-1@8c90c7ec1e5dcf0a084259afc78902a7d660673121825c7665e7f8917002651b

    commit:decision:27fe3c97d0b48b172d2649ad

  4. Episode closed by the trusted engine

    Status: verified

    Haskell reproduced the commit and any required successful transfer chain before authorizing terminal state.

    Snapshot snapshot:mode:q01:attempt-1@8c90c7ec1e5dcf0a084259afc78902a7d660673121825c7665e7f8917002651b

    receipt:episode-finalized:d61ee478297689a8b0717b1b
OrchestrationThe evaluated snapshot remained current through Haskell commit authorization.5 causal steps · snapshot:mode:o01:attempt-1@aed1cc8695fa7e86019e520f52027baba579b06c187c5e77458e6a5eb3e6e0ed

Transfer status

Historical pass

Immediate no-support near transfer passed at the time; that historical result does not keep the later claim current.

Current authority

snapshot:mode:o01:attempt-1@aed1cc8695fa7e86019e520f52027baba579b06c187c5e77458e6a5eb3e6e0ed

template.orchestration.compare-assumptions-and-validate.v1

  1. Orchestration intervention authorized

    Status: committed

    The committed candidate exactly matches the snapshot-bound Haskell decision.

    Snapshot snapshot:mode:o01:attempt-1@aed1cc8695fa7e86019e520f52027baba579b06c187c5e77458e6a5eb3e6e0ed

    commit:decision:08bde30efede1647343555a4

  2. No-support transfer authorized

    Status: verified

    Haskell reproduced the source commit before creating the obligation.

    Snapshot snapshot:mode:o01:attempt-1@aed1cc8695fa7e86019e520f52027baba579b06c187c5e77458e6a5eb3e6e0ed

    receipt:transfer-obligation:9297a6e1ba7c6bdf08e5c633

  3. Provisional transfer observed

    Status: verified

    Immediate no-support near transfer passed at the time; that historical result does not keep the later claim current.

    Snapshot snapshot:mode:o01:attempt-1@aed1cc8695fa7e86019e520f52027baba579b06c187c5e77458e6a5eb3e6e0ed

    receipt:transfer-evidence:3ce8d32f59ef97b80be4bfe2receipt:transfer-belief:a12ad952ecd753650df7b545

  4. Episode closed by the trusted engine

    Status: verified

    Haskell reproduced the commit and any required successful transfer chain before authorizing terminal state.

    Snapshot snapshot:mode:o01:attempt-1@aed1cc8695fa7e86019e520f52027baba579b06c187c5e77458e6a5eb3e6e0ed

    receipt:episode-finalized:0c12e391eb2a36664a8fa908

  5. Provisional claim expired

    Status: verified

    The provisional ImmediateNearTransferObserved claim expired; delayed evidence remains required.

    Snapshot snapshot:mode:o01:attempt-1@aed1cc8695fa7e86019e520f52027baba579b06c187c5e77458e6a5eb3e6e0ed

    receipt:transfer-belief:a12ad952ecd753650df7b545receipt:claim-expired:4be9ec63e5098e6b4ae6581b