fix trait#show page reactivity

per report [here](https://github.com/orgs/pi-base/discussions/464#discussioncomment-7560692)

packages/viewer/src/components/Traits/index.ts

@@ -1,4 +1,4 @@
+export { default as Proof } from './Proof.svelte'
 export { default as Related } from './Related.svelte'
-export { default as Show } from './Show.svelte'
 export { default as Table } from './Table.svelte'
 export { default as Value } from './Value.svelte'

packages/viewer/src/routes/(app)/spaces/[id]/properties/[propertyId]/+page.svelte

@@ -1,6 +1,35 @@
 <script lang="ts">
-  import { page } from '$app/stores'
-  import { Show } from '@/components/Traits'
+  import {
+    Icons,
+    Link,
+    References,
+    Title,
+    Typeset
+  } from '@/components/Shared'
+  import { Proof } from '@/components/Traits'
+
+  import type { PageData } from './$types'
+  export let data: PageData
 </script>
 
-<Show spaceId={$page.params.id} propertyId={$page.params.propertyId} />
+<Title title={`${data.space.name}: ${data.property.name}`} />
+
+<h1>
+  {#if data.proof}
+    <Icons.Robot />
+  {/if}
+  <Link.Space space={data.space} />
+  is
+  {data.trait.value ? '' : 'not'}
+  <Link.Property property={data.property} />
+</h1>
+
+{#if data.proof}
+  <Proof space={data.space} {...data.proof} />
+{:else if data.meta}
+  <section class="description">
+    <Typeset body={data.meta.description} />
+  </section>
+  <h3>References</h3>
+  <References references={data.meta.refs} />
+{/if}

packages/viewer/src/routes/(app)/spaces/[id]/properties/[propertyId]/+page.ts

@@ -0,0 +1,22 @@
+import { get } from 'svelte/store'
+import { error } from '@sveltejs/kit'
+
+import type { PageLoad } from './$types'
+
+export const load: PageLoad = async function ({ params: { id: spaceId, propertyId }, parent }) {
+  const { load, spaces, properties, theorems, traits, checked } = await parent()
+
+  return load(
+    traits,
+    ts => ts.lookup({
+        spaceId,
+        propertyId,
+        spaces: get(spaces),
+        properties: get(properties),
+        theorems: get(theorems),
+    }),
+    checked(spaceId)
+  ).catch(() => {
+    throw(error(404, `Trait not found ${spaceId} / ${propertyId}`))
+  })
+}