diff --git a/components/DentalHaltMoment.js b/components/DentalHaltMoment.js
index da1ffac..4d4740f 100644
--- a/components/DentalHaltMoment.js
+++ b/components/DentalHaltMoment.js
@@ -37,8 +37,8 @@ export default function DentalHaltMoment() {
 
             <ReferenceDemoShowcase
                 initialIndustry="insurance"
-                heading="See the governed loop in a public insurance application"
-                intro="Compare a captured demonstration with its compiled replay, then inspect the exact evidence boundary for the result."
+                heading="See the governance mechanism in a public insurance application"
+                intro="This openIMIS clip is a claims-entry reference, not payer-portal eligibility footage. It demonstrates the same capture, deterministic replay, result evidence, and halt mechanism used for an eligibility workflow."
             />
 
             <p className="mx-auto max-w-5xl px-4 pb-12 text-sm">
diff --git a/components/EvidenceMediaPlayer.js b/components/EvidenceMediaPlayer.js
index 4755487..602f611 100644
--- a/components/EvidenceMediaPlayer.js
+++ b/components/EvidenceMediaPlayer.js
@@ -287,7 +287,7 @@ export default function EvidenceMediaPlayer({
                     <div
                         ref={capsuleRef}
                         className={styles.capsule}
-                        aria-label={`OpenAdapt ${phaseLabel.toLowerCase()}`}
+                        aria-label={`OpenAdapt ${phaseLabel.toLowerCase()} in ${application}`}
                         data-overlay-kind="canonical-runtime-state"
                         data-interactive={presentation.evidenceHref ? 'true' : undefined}
                     >
@@ -324,7 +324,7 @@ export default function EvidenceMediaPlayer({
                                 />
                             )}
                         <span className={styles.secondary}>
-                            <span>{application}</span>
+                            <span className={styles.applicationName}>{application}</span>
                             {presentation.secondaryLabels.map((label) => (
                                 <span key={label}>{label}</span>
                             ))}
diff --git a/components/EvidenceMediaPlayer.module.css b/components/EvidenceMediaPlayer.module.css
index a21d25a..8444cfc 100644
--- a/components/EvidenceMediaPlayer.module.css
+++ b/components/EvidenceMediaPlayer.module.css
@@ -212,6 +212,11 @@
     content: '·';
 }
 
+.applicationName {
+    color: #cbd5ce;
+    font-weight: 700;
+}
+
 .explanation {
     padding-top: 6px;
     border-top: 1px solid rgba(255, 255, 255, 0.12);
diff --git a/components/ReferenceDemoShowcase.js b/components/ReferenceDemoShowcase.js
index 71f1a90..0142ba8 100644
--- a/components/ReferenceDemoShowcase.js
+++ b/components/ReferenceDemoShowcase.js
@@ -166,7 +166,11 @@ export default function ReferenceDemoShowcase({
                     </div>
 
                     <aside className={styles.proof}>
-                        <p className={styles.proofClass}>{demo.evidenceClass}</p>
+                        <p className={styles.proofClass}>
+                            {phase === 'recording'
+                                ? 'Source demonstration · synthetic data'
+                                : demo.evidenceClass}
+                        </p>
                         <h3>{demo.application}</h3>
                         <p className={styles.applicationDetail}>{demo.applicationDetail}</p>
                         <p className={styles.task}>{demo.task}</p>
diff --git a/cypress/e2e/reference-demo.cy.js b/cypress/e2e/reference-demo.cy.js
index 8895db3..0c6e652 100644
--- a/cypress/e2e/reference-demo.cy.js
+++ b/cypress/e2e/reference-demo.cy.js
@@ -66,6 +66,9 @@ describe('shared real-application demo', () => {
             .should(($video) =>
                 expect($video[0].currentSrc).to.include('openemr-replay.mp4')
             )
+        cy.get('@showcase')
+            .find('[data-overlay-kind="canonical-runtime-state"]')
+            .should('contain.text', 'OpenEMR')
         cy.get('@showcase').contains('button', 'Guided view').should('be.visible')
         cy.get('@showcase').contains('button', 'Raw footage').click()
         cy.get('@showcase')
@@ -77,6 +80,10 @@ describe('shared real-application demo', () => {
             )
         cy.get('@showcase').contains('button', 'Guided view').click()
         cy.get('@showcase').contains('button', 'Recorded demonstration').click()
+        cy.get('@showcase')
+            .contains('Source demonstration · synthetic data')
+            .should('be.visible')
+        cy.get('@showcase').should('not.contain.text', 'Reference qualification')
         cy.get('@showcase')
             .find('video')
             .should(($video) =>
diff --git a/tests/executionOverlayTimeline.test.js b/tests/executionOverlayTimeline.test.js
index 7251d8d..b2ce52d 100644
--- a/tests/executionOverlayTimeline.test.js
+++ b/tests/executionOverlayTimeline.test.js
@@ -210,6 +210,20 @@ test('capsule placement is event-stable and presentation facts require exact bou
         executionRailForBoundContext(activeFrame, context).map(({ state }) => state),
         ['complete', 'active', 'pending']
     )
+    const haltedFrame = frame(6, 'halted')
+    assert.deepEqual(executionRailForBoundContext(haltedFrame, null), [])
+    const exactHaltContext = bindExecutionOverlayContext(haltedFrame, {
+        state_id: haltedFrame.state_id,
+        event_sequence: haltedFrame.event_sequence,
+        execution_stage: 'verify',
+        halt_delivery_class: 'refuted_effect',
+    })
+    assert.deepEqual(
+        executionRailForBoundContext(haltedFrame, exactHaltContext).map(
+            ({ state }) => state
+        ),
+        ['complete', 'complete', 'halted']
+    )
     const presentation = executionOverlayPresentation(activeFrame, context, 12_000)
     assert.equal(presentation.progressLabel, 'Step 1 of 2')
     assert.deepEqual(presentation.secondaryLabels, [