@unson/brainbase-mcp 0.11.0 → 0.13.0

package/ui/value-proof-review.js

@@ -4,8 +4,9 @@
  * The host supplies a same-origin request function and a review token. A host
  * that cannot read a local journal may replace the unavailable notice. This
  * module owns presentation only: it never treats an unavailable journal as an
- * empty list, never edits the judgment journal, and keeps internal IDs inside
- * the audit details.
+ * empty list and never edits the judgment journal. Recorded basis target IDs
+ * are shown as trace metadata; no source URL is invented when the payload has
+ * no source-read contract.
  *
  * The screen follows the organization edition's pattern (workspace-kit): page
  * head, the 記録の範囲 notice, filters, metrics, and the 委任の地図 as a ledger
@@ -547,11 +548,98 @@ function renderDelegationMap(doc, state, callbacks) {
 }
 
 function basisText(entry) {
-  const application = text(entry.application) ?? '適用内容なし';
-  const layer = BASIS_LAYER_LABELS[entry.layer];
+  const application = text(entry?.application) ?? '適用内容なし';
+  const layer = BASIS_LAYER_LABELS[entry?.layer];
   return layer ? `[${layer}] ${application}` : application;
 }
 
+function basisTargetText(entry) {
+  const entityId = text(entry?.entity_id);
+  if (!entityId) return '対象の記録なし';
+  const version = text(entry?.version);
+  return version ? `${entityId}（版 ${version}）` : entityId;
+}
+
+const SOURCE_READ_STATES = Object.freeze(['loading', 'available', 'not_found', 'ambiguous', 'forbidden', 'unavailable']);
+const SOURCE_READ_LABELS = Object.freeze({
+  loading: '出典を確認中…',
+  not_found: '出典が見つかりません（未確認）',
+  ambiguous: '同じIDの出典が複数あります（未確認）',
+  forbidden: '出典を読む権限がありません（未確認）',
+  unavailable: '出典を確認できません（未確認）',
+});
+
+function sourceContract(entry) {
+  const source = entry?.source;
+  if (!isRecord(source) || source.kind !== 'local_graph') return null;
+  const entityId = text(source.entity_id);
+  const entityType = text(source.entity_type);
+  if (!entityId || !entityType || entityId !== text(entry?.entity_id)) return null;
+  return source;
+}
+
+function sourceKey(source) {
+  return [source.kind, source.entity_id, source.entity_type, source.version ?? '', source.digest ?? ''].join('\u0000');
+}
+
+function sourceReadState(value) {
+  const state = text(value?.state);
+  return SOURCE_READ_STATES.includes(state) ? state : 'unavailable';
+}
+
+function renderBasisTarget(doc, entry, state) {
+  const target = makeElement(doc, 'span', { className: 'bb-vpr-source-target' });
+  target.append(makeElement(doc, 'span', { text: basisTargetText(entry) }));
+  const source = sourceContract(entry);
+  if (!source) return target;
+  const key = sourceKey(source);
+  const read = state.sourceReads instanceof Map ? state.sourceReads.get(key) : null;
+  if (!read) {
+    target.append(makeElement(doc, 'span', {
+      className: 'bb-vpr-source-status is-unavailable',
+      text: '出典の読み取り先を確認できません（未確認）',
+    }));
+    return target;
+  }
+  const readState = sourceReadState(read);
+  if (readState === 'available') {
+    const link = makeElement(doc, 'a', {
+      className: 'bb-vpr-source-link',
+      text: '出典を開く',
+      attrs: { href: `#graph?entity_id=${encodeURIComponent(source.entity_id)}` },
+    });
+    target.append(link);
+    return target;
+  }
+  target.append(makeElement(doc, 'span', {
+    className: `bb-vpr-source-status is-${readState}`,
+    text: SOURCE_READ_LABELS[readState] ?? SOURCE_READ_LABELS.unavailable,
+  }));
+  return target;
+}
+
+function journalSetupGuide(doc) {
+  const guide = makeElement(doc, 'div', { className: 'bb-vpr-setup-guide' });
+  guide.append(makeElement(doc, 'strong', { text: '接続を直す' }));
+  guide.append(makeElement(doc, 'p', { text: '判断journalの場所を指定して画面を起動し直したあと、「再試行」を押してください。' }));
+  const list = makeElement(doc, 'ol');
+  const journalOption = makeElement(doc, 'li');
+  journalOption.append(
+    makeElement(doc, 'span', { text: '起動時に ' }),
+    makeElement(doc, 'code', { text: 'brainbase review:serve --journal <判断journalの場所>' }),
+    makeElement(doc, 'span', { text: ' を指定する' }),
+  );
+  const journalEnv = makeElement(doc, 'li');
+  journalEnv.append(
+    makeElement(doc, 'span', { text: 'または環境変数 ' }),
+    makeElement(doc, 'code', { text: 'BRAINBASE_JUDGMENT_JOURNAL_DIR=<判断journalの場所>' }),
+    makeElement(doc, 'span', { text: ' を設定する' }),
+  );
+  list.append(journalOption, journalEnv);
+  guide.append(list);
+  return guide;
+}
+
 function inheritanceText(inheritance) {
   const sources = Array.isArray(inheritance?.sources) ? inheritance.sources : [];
   if (sources.length === 0) return '引き継ぎの記録なし';
@@ -733,6 +821,7 @@ function renderJudgmentDetail(doc, state, item, callbacks) {
     title: '根拠と引き継ぎ',
     content: facts(doc, [
       ['根拠', basis.length > 0 ? basis.map(basisText).join(' / ') : '根拠の記録なし'],
+      ['根拠の対象', basis.length > 0 ? basis.map((entry) => renderBasisTarget(doc, entry, state)) : '対象の記録なし'],
       ['過去の学習の再利用', reuse === true ? 'あり' : reuse === false ? 'なし' : '未確認'],
       ['引き継ぎ', inheritanceText(proof.decision.inheritance)],
     ]),
@@ -861,13 +950,18 @@ export function renderValueProofReview(root, state, callbacks = {}, options = {}
   if (home.status === 'unavailable') {
     const hostNotice = options.unavailableNotice;
     const title = makeElement(doc, 'p', { className: 'bb-vpr-notice-title', text: text(hostNotice?.title) ?? '判断journalに接続できません' });
+    const retry = workspaceButton(doc, { text: '再試行', variant: 'primary', onClick: () => void callbacks.onReload?.() });
+    const defaultGuide = hostNotice ? null : journalSetupGuide(doc);
     surface.append(workspaceNotice(doc, {
       label: '記録の範囲',
       tone: 'danger',
       text: noticeBody(doc,
         title,
         home.root ? `場所: ${home.root}（${home.reason}）` : `理由: ${home.reason}`,
-        `${text(hostNotice?.guidance) ?? '記録の場所は、起動時の --journal か環境変数 BRAINBASE_JUDGMENT_JOURNAL_DIR で指定できます。'}0件としては扱いません。`),
+        text(hostNotice?.guidance) ?? (defaultGuide ? null : '接続元の案内に従って記録を読める状態にしてください。'),
+        defaultGuide,
+        retry,
+        '接続できる状態にしたら「再試行」を押してください。0件としては扱いません。'),
     }));
     return finish(null, unreadable);
   }
@@ -934,6 +1028,8 @@ export function createValueProofReviewUI({
   clipboard,
   /** Optional `{ title, guidance }` for hosts where the local journal hint does not apply. */
   unavailableNotice,
+  /** Optional host-owned reader for typed basis sources. It must not invent a URL. */
+  sourceReader,
   autoLoad = true,
 } = {}) {
   if (!root) throw new TypeError('root is required');
@@ -958,6 +1054,30 @@ export function createValueProofReviewUI({
     save: { state: 'idle', message: '' },
     focusCard: false,
     consultMessage: '',
+    sourceReads: new Map(),
+  };
+
+  const readSelectedSources = async (item) => {
+    if (typeof sourceReader !== 'function' || !item?.proof?.decision?.basis) return;
+    const sources = item.proof.decision.basis.map(sourceContract).filter(Boolean);
+    for (const source of sources) {
+      const key = sourceKey(source);
+      state.sourceReads.set(key, { state: 'loading' });
+    }
+    if (sources.length > 0) controller.render();
+    await Promise.all(sources.map(async (source) => {
+      const key = sourceKey(source);
+      let result;
+      try {
+        result = await sourceReader(source);
+      } catch {
+        result = { state: 'unavailable' };
+      }
+      if (state.selectedKey !== itemKey(item.proof)) return;
+      const normalized = isRecord(result) ? result : {};
+      state.sourceReads.set(key, { ...normalized, state: sourceReadState(normalized) });
+    }));
+    if (state.selectedKey === itemKey(item.proof)) controller.render();
   };
 
   const resetJudgmentInput = () => {
@@ -1000,6 +1120,8 @@ export function createValueProofReviewUI({
       state.focusCard = true;
       controller.render();
       state.focusCard = false;
+      const item = findItem(state, key);
+      if (item) void readSelectedSources(item);
     },
     onDraft(patch) {
       state.draft = { ...state.draft, ...patch };

package/ui/world-model-view.css

@@ -60,6 +60,59 @@
   justify-self: start;
 }
 
+/* First-user registration stays in the empty-state notice, beside the fact it affects. */
+.bb-wm-registration-form {
+  display: grid;
+  grid-template-columns: repeat(2, minmax(0, 1fr));
+  gap: var(--bb-space-3);
+  margin-top: var(--bb-space-2);
+  max-width: 680px;
+}
+
+.bb-wm-registration-field {
+  display: grid;
+  gap: 5px;
+  min-width: 0;
+}
+
+.bb-wm-registration-field > label {
+  color: var(--bb-color-ink);
+  font-size: 12px;
+  font-weight: 680;
+}
+
+.bb-wm-registration-input {
+  width: 100%;
+  min-height: 34px;
+  padding: 7px 9px;
+  border: 1px solid var(--bb-color-border-strong);
+  border-radius: var(--bb-radius-sm);
+  background: var(--bb-color-paper);
+  color: var(--bb-color-ink);
+  font: inherit;
+  font-size: 13px;
+}
+
+.bb-wm-registration-input:focus {
+  outline: 2px solid var(--bb-color-accent);
+  outline-offset: 1px;
+}
+
+.bb-wm-registration-status {
+  grid-column: 1 / -1;
+  color: var(--bb-color-muted);
+  font-size: 12px;
+}
+
+.bb-wm-registration-form .bb-ws-button {
+  justify-self: start;
+}
+
+.bb-wm-registration-boundary {
+  color: var(--bb-color-muted);
+  font-size: 12px;
+}
+
 /* The local shell resets `.bb-shell button { font: inherit }`, which outranks the kit's button type. */
 .bb-wm .bb-ws-button {
   font-size: 12px;
@@ -159,6 +212,14 @@
 }
 
 @media (max-width: 760px) {
+  .bb-wm-registration-form {
+    grid-template-columns: minmax(0, 1fr);
+  }
+
+  .bb-wm-registration-status {
+    grid-column: auto;
+  }
+
   .bb-wm-view-ledger .bb-ws-ledger-row {
     grid-template-columns: minmax(0, 1fr) 72px;
   }

package/ui/world-model-view.js

@@ -1,15 +1,17 @@
 /*
- * Read-only World Model view (現状と見通し).
+ * World Model view (現状と見通し).
  *
  * Shows recorded observations apart from the variables and models that are
  * the owner's way of seeing them (which may be hypotheses), plus model
  * adoptions.  The host injects the fetcher and base path; this module keeps
- * no global state and never writes.  Each section loads on its own: a failed
+ * no global state.  The empty state also offers the host's first-user
+ * variable-and-observation registration route. Each section loads on its own: a failed
  * or unverifiable section is reported in place and never shown as zero items.
  *
  * Drawn with the organization edition's screen pattern (workspace-kit): a
- * section title under the page head, then one read-only ledger per block.
- * Rows are not selectable, so the view never writes to the host's rail.
+ * section title under the page head, then one ledger per block. Rows are not
+ * selectable, so the view never writes to the host's rail; the only write is
+ * the explicit first-registration form shown for a confirmed empty state.
  *
  * A section the host cannot serve answers `{ status: 'unavailable', reason }`
  * (HTTP 200).  It is shown as unavailable, never as zero items; a host with no
@@ -333,7 +335,138 @@ function unavailableSummary(doc, state, unavailableNotice) {
 }
 
 /**
- * Render the whole view into a host-owned root: a section title and read-only ledgers.
+ * The current Personal Web is a read-mostly World Model surface. Show the
+ * first-registration entry only after variables and observations have both
+ * been confirmed empty;
+ * an unknown, partial or unavailable section must not be presented as an
+ * empty World Model.
+ */
+function registrationField(doc, { id, label, type = 'text', value = '', required = true, attrs = {}, options = [] } = {}) {
+  const field = makeElement(doc, 'div', { className: 'bb-wm-registration-field' });
+  const labelElement = makeElement(doc, 'label', { text: label, attrs: { for: id } });
+  const input = makeElement(doc, type === 'select' ? 'select' : 'input', {
+    className: 'bb-wm-registration-input',
+    attrs: { id, name: id, type: type === 'select' ? undefined : type, required, ...attrs },
+  });
+  if (type === 'select') {
+    for (const option of options) {
+      input.append(makeElement(doc, 'option', { text: option.label, attrs: { value: option.value } }));
+    }
+    input.value = value;
+  } else {
+    input.value = value;
+  }
+  field.append(labelElement, input);
+  return { field, input, id };
+}
+
+function registrationValue(raw, valueKind) {
+  const value = String(raw ?? '').trim();
+  if (!value) return { error: '最初の観測値を入力してください。' };
+  if (valueKind === 'number') {
+    const number = Number(value);
+    return Number.isFinite(number) ? { value: number } : { error: '数値の観測値を入力してください。' };
+  }
+  if (valueKind === 'boolean') {
+    if (value === 'true' || value === 'はい') return { value: true };
+    if (value === 'false' || value === 'いいえ') return { value: false };
+    return { error: '真偽値は「true」または「false」で入力してください。' };
+  }
+  return { value };
+}
+
+function emptyRegistrationEntry(doc, state, callbacks, registration = {}) {
+  if (state.variables?.state !== 'empty' || state.observations?.state !== 'empty') return null;
+  const formFields = {};
+  const form = makeElement(doc, 'form', {
+    className: 'bb-wm-registration-form',
+    attrs: { 'aria-label': '最初の変数と観測値を登録' },
+  });
+  const fields = [
+    registrationField(doc, { id: 'bb-wm-registration-meaning', label: '何を記録するか', attrs: { autocomplete: 'off' } }),
+    registrationField(doc, { id: 'bb-wm-registration-subject', label: '対象', attrs: { autocomplete: 'off' } }),
+    registrationField(doc, {
+      id: 'bb-wm-registration-value-kind', label: '値の種類', type: 'select', value: 'number',
+      options: [
+        { value: 'number', label: '数値' },
+        { value: 'boolean', label: 'はい／いいえ' },
+        { value: 'string', label: '文字' },
+        { value: 'state', label: '状態' },
+      ],
+    }),
+    registrationField(doc, { id: 'bb-wm-registration-unit', label: '単位（数値の場合）', required: false, attrs: { autocomplete: 'off' } }),
+    registrationField(doc, {
+      id: 'bb-wm-registration-aggregation', label: '集計方法', type: 'select', value: 'last',
+      options: [
+        { value: 'last', label: '最新の値' },
+        { value: 'sum', label: '合計' },
+        { value: 'average', label: '平均' },
+        { value: 'count', label: '件数' },
+        { value: 'none', label: '集計しない' },
+      ],
+    }),
+    registrationField(doc, { id: 'bb-wm-registration-granularity', label: '記録の単位', value: '日', attrs: { autocomplete: 'off' } }),
+    registrationField(doc, { id: 'bb-wm-registration-method', label: '測り方', attrs: { autocomplete: 'off' } }),
+    registrationField(doc, { id: 'bb-wm-registration-value', label: '最初の観測値', attrs: { autocomplete: 'off' } }),
+  ];
+  for (const { field, input, id } of fields) {
+    formFields[id] = input;
+    form.append(field);
+  }
+  const status = makeElement(doc, 'p', {
+    className: 'bb-wm-registration-status',
+    text: registration.message ?? '登録すると、この画面の記録として読み直します。',
+    attrs: { 'aria-live': 'polite' },
+  });
+  const submit = workspaceButton(doc, {
+    text: registration.state === 'saving' ? '登録しています…' : '変数と観測値を登録',
+    variant: 'primary',
+    disabled: registration.state === 'saving',
+    attrs: { type: 'submit' },
+  });
+  form.addEventListener('submit', (event) => {
+    event?.preventDefault?.();
+    const parsed = registrationValue(formFields['bb-wm-registration-value'].value, formFields['bb-wm-registration-value-kind'].value);
+    const payload = {
+      meaning: String(formFields['bb-wm-registration-meaning'].value ?? '').trim(),
+      subject: String(formFields['bb-wm-registration-subject'].value ?? '').trim(),
+      valueKind: String(formFields['bb-wm-registration-value-kind'].value ?? '').trim(),
+      unit: String(formFields['bb-wm-registration-unit'].value ?? '').trim(),
+      aggregation: String(formFields['bb-wm-registration-aggregation'].value ?? '').trim(),
+      granularity: String(formFields['bb-wm-registration-granularity'].value ?? '').trim(),
+      measurementMethod: String(formFields['bb-wm-registration-method'].value ?? '').trim(),
+      value: parsed.value,
+    };
+    if (!payload.meaning || !payload.subject || !payload.granularity || !payload.measurementMethod) {
+      status.textContent = '何を記録するか、対象、記録の単位、測り方を入力してください。';
+      return;
+    }
+    if (payload.valueKind === 'number' && !payload.unit) {
+      status.textContent = '数値を記録する場合は単位を入力してください。';
+      return;
+    }
+    if (parsed.error) {
+      status.textContent = parsed.error;
+      return;
+    }
+    return callbacks.onRegister?.(payload);
+  });
+  form.append(status, submit);
+  const guidance = workspaceNotice(doc, {
+    label: '最初の登録',
+    text: [
+      makeElement(doc, 'p', { text: 'ここから変数と最初の観測値を登録できます。登録者と記録日時は、この手元のWebホストが決めます。' }),
+      form,
+      makeElement(doc, 'p', { className: 'bb-wm-registration-boundary', text: 'モデルの作成・採用や、既存観測の訂正はこの初回登録の対象外です。確認と権限が必要な別の手順で扱います。' }),
+    ],
+  });
+  guidance.className += ' bb-wm-registration-guidance';
+  return guidance;
+}
+
+/**
+ * Render the whole view into a host-owned root: a section title, optional first-registration form,
+ * and ledgers.
  * `options.unavailableNotice` is the host's `{ title, guidance }` shown once
  * when every section is unavailable.
  */
@@ -343,7 +476,7 @@ export function renderWorldModelView(root, state, callbacks = {}, options = {})
   const surface = makeElement(doc, 'section', { className: 'bb-wm', attrs: { 'data-contract-version': WORLD_MODEL_VIEW_CONTRACT_VERSION, 'aria-label': '現状と見通し' } });
   surface.append(workspaceSectionTitle(doc, {
     title: '現状と見通し',
-    lead: '見方（変数とモデル。仮説を含みます）と、記録された観測を分けて表示します。この欄は表示だけです。',
+    lead: '見方（変数とモデル。仮説を含みます）と、記録された観測を分けて表示します。最初の変数と観測値はここから登録できます。',
   }));
   const unavailable = unavailableSummary(doc, state, options.unavailableNotice);
   if (unavailable) {
@@ -352,10 +485,20 @@ export function renderWorldModelView(root, state, callbacks = {}, options = {})
     return surface;
   }
 
+  if (options.registration?.state === 'error' && text(options.registration.message)) {
+    surface.append(workspaceNotice(doc, {
+      label: '登録結果',
+      tone: 'danger',
+      text: options.registration.message,
+    }));
+  }
+
   const variables = namesOf(state.variables);
   const models = namesOf(state.models);
 
   const view = block(doc, '変数とモデル', '見方：変数とモデル', '何を測り、どう関係すると考えているか。認識の状態は、確かめた度合いです。観測ではありません。');
+  const registrationGuidance = emptyRegistrationEntry(doc, state, callbacks, options.registration);
+  if (registrationGuidance) view.append(registrationGuidance);
   const statuses = {
     variables: sectionStatus(doc, '変数', 'variables', state.variables, callbacks, '変数はまだ登録がありません。'),
     models: sectionStatus(doc, 'モデル', 'models', state.models, callbacks, 'モデルはまだ登録がありません。'),
@@ -407,13 +550,14 @@ async function readError(response) {
 }
 
 /**
- * Mounts the read-only World Model view.
+ * Mounts the World Model view.
  *
  * @param {object} options
  * @param {Element} options.root Where the view is drawn.
  * @param {Element} [options.rail] Accepted for the host's screen contract; the view never writes to it.
  * @param {Document} [options.document] The document to build elements with (default: the global one).
  * @param {Function} [options.fetcher] `fetch`-compatible function for the sections.
+ * @param {string} [options.token] Local Web write token sent with registration requests.
  * @param {string} [options.basePath='/api/world-model'] Where `{variables,models,observations,adoptions}` are served.
  * @param {boolean} [options.autoLoad=true] Reads every section on mount.
  * @param {{ title: string, guidance?: string, reasonLabels?: Record<string, string> }} [options.unavailableNotice]
@@ -425,10 +569,11 @@ async function readError(response) {
  */
 export function createWorldModelView({
   root,
-  /** Accepted for the host's screen contract; the read-only view keeps the rail to the screen's editor. */
+  /** Accepted for the host's screen contract; the view keeps the rail to the screen's editor. */
   rail: _rail,
   document: explicitDocument,
   fetcher,
+  token,
   basePath = '/api/world-model',
   autoLoad = true,
   unavailableNotice,
@@ -441,12 +586,16 @@ export function createWorldModelView({
   const base = String(basePath).replace(/\/+$/u, '');
   const state = Object.fromEntries(WORLD_MODEL_SECTIONS.map((section) => [section, { state: 'loading', items: null }]));
 
-  const callbacks = { onRetry: (section) => controller.loadSection(section) };
+  const registration = { state: 'idle', message: null };
+  const callbacks = {
+    onRetry: (section) => controller.loadSection(section),
+    onRegister: (payload) => controller.register(payload),
+  };
 
   const controller = {
     get state() { return state; },
     render() {
-      renderWorldModelView(root, state, callbacks, { document: doc, unavailableNotice });
+      renderWorldModelView(root, state, callbacks, { document: doc, unavailableNotice, registration });
       return controller;
     },
     async loadSection(section) {
@@ -477,6 +626,62 @@ export function createWorldModelView({
       await Promise.all(WORLD_MODEL_SECTIONS.map((section) => controller.loadSection(section)));
       return state;
     },
+    async register(payload) {
+      if (!request) {
+        registration.state = 'error';
+        registration.message = '登録先が設定されていません。';
+        controller.render();
+        return;
+      }
+      registration.state = 'saving';
+      registration.message = '登録しています…';
+      controller.render();
+      const write = async (path, body) => {
+        const response = await request(`${base}${path}`, {
+          method: 'POST',
+          headers: {
+            'Content-Type': 'application/json',
+            ...(token ? { 'X-Brainbase-Review-Token': token } : {}),
+          },
+          body: JSON.stringify(body),
+        });
+        if (!response.ok) {
+          const error = await readError(response);
+          throw new Error(error.message ?? error.code ?? `HTTP ${response.status}`);
+        }
+        return response.json();
+      };
+      let variableReference = null;
+      try {
+        const created = await write('/variables', {
+          meaning: payload.meaning,
+          subject: payload.subject,
+          valueKind: payload.valueKind,
+          ...(payload.unit ? { unit: payload.unit } : {}),
+          aggregation: payload.aggregation,
+          granularity: payload.granularity,
+          measurementMethod: payload.measurementMethod,
+        });
+        const reference = created?.reference;
+        if (!reference || typeof reference.id !== 'string' || typeof reference.revision !== 'string') {
+          throw new Error('変数の登録結果を読み取れませんでした');
+        }
+        variableReference = reference;
+        await write('/observations', { variableRef: reference, value: payload.value });
+        registration.state = 'idle';
+        registration.message = null;
+        await controller.load();
+      } catch (error) {
+        registration.state = 'error';
+        const detail = error instanceof Error ? error.message : '登録できませんでした';
+        registration.message = variableReference
+          ? `変数は登録されましたが、最初の観測値を保存できませんでした。${detail}`
+          : detail;
+        await controller.load();
+        controller.render();
+      }
+      return registration;
+    },
   };
   controller.render();
   if (autoLoad) void controller.load();