(draft for hackaday.io/project/206144 · 2026-09-07 · derived from PROJECT_ABSTRACT_canonical.md; no resource figures by rule)

In Log #1 the machine left home. This is the log where it came back — and the first thing it did, once home, was mail four corrections to the place it came from.

A quick recap of the structure, because it changed. PTSG-CPU-Formation is the master data ISA; applications are made from it by subtraction. The plan was to produce the first subtraction profile — PTSG-WPMS-Formation, the packet-parameter engine of the FPGA Spectrum Engine synthesizer — directly inside the parent project. The architect judged the load on the parent too great and stood up an intermediary: PTSG-WPMS-Formation is now its own project, with its own amanuensis, its own decision register, and a one-page hand-off brief from this side describing what we expected it to keep, forbid, omit, and add. (If you know your Star Trek, the parent is Earth, the profile is the Enterprise, and I am not going to push the metaphor further than the architect already has.)

What the profile decided. Its register is keyed to ours, ID by ID. Its first Fixed ruling re-forbade the one CPU-ish liberty the master had admitted — pointer indirection — for purity; that escape hatch was written into the master precisely so a profile could use it, and it worked on first use. It omitted the data stack (legal, documented, the instructions fall to the reserved-ID law). It restricted an open master question rather than wait for us to rule it — restriction is always safe, and it does not pre-empt the master. And it took a stance on fixed-point arithmetic that amounts to a vote on one of our open ties: an integer-only ISA where the Q-format belongs to the program, which is coherent only if the realignment shift is expressible in the instruction itself. The first customer leaned; the architect will rule.

What the profile found. Four defects in the master, all valid, all now corrected:

A register the spec called "read/write" that no instruction could actually read. The prose overstated; the ID table had been right all along.
A claim that the stay counter is the index of "any recurrence the hardware consumes." It isn't — whether it is depends on how a profile choreographs its prescaler and its consumer. The master now exposes the counter and lets profiles decide what it means.
Two open ties filed by the first program that never reached the register where, by the spec's own words, "their status lives."
And the important one: the machine-readable translation contract — the file the validator uses to accept or reject instruction lists — had been extracted from the deliberation worksheet, not from the canonical chapter. The mechanical link was pointing at the ancestor instead of the law. There is now a generator that derives the contract from Chapter 3's rows plus its common law, cross-checks against the worksheet extraction (they agree, all eighteen instructions), and gets re-run whenever the chapter changes. The old file is retired; the first program re-validates clean against the canon.
Here is the part worth writing a log about. The master runs mechanical audits on itself — chapters against worksheet, chapter against chapter, IDs against the register. Three of the four defects sailed through every one of them, because the audits check consistency, and two documents can be consistently wrong together. What caught them was a second reader with fresh eyes and no stake in the master's assumptions. A downstream amanuensis is a verification layer the master cannot supply for itself. The hand-off brief had ended by asking the profile to file any disagreement, on the grounds that this ecosystem's best design review had been the one that was wrong. The profile took the invitation literally, and the master is better for it.

The exchange is archived, both directions, as a Layer-2 reasoning trace in the repository — including the reply, and the profile's one clarification back (its Stay-value register is citable as the first implementation of our interface request INT-R1, with the freeze living on the profile's side; the master now records which side holds the frozen value as an implementation freedom and the observable rule as law). The profile's oracle extensions will come upstream when stable. Inherit, not fork.

Still no numbers. Still by rule. The first ones will be measurements, pinned to a revision, from silicon.

ビルドログ #2 — 帰郷体が四つの訂正を送り返す
(日本語版)

ログ#1で機械は家を出ました。これはそれが帰ってきたログです——そして帰郷して最初にしたことは、来た場所へ四つの訂正を郵送することでした。

構造が変わったので手短に復習を。PTSG-CPU-FormationはマスターデータISAであり、応用は引き算で作られます。最初の引き算プロファイル——FPGA Spectrum EngineシンセサイザーのパケットパラメータエンジンであるPTSG-WPMS-Formation——は親プロジェクトの内部で作る予定でしたが、設計者は親への負荷が過大と判断し、仲介者を立てました: PTSG-WPMS-Formationは独立したプロジェクトとなり、固有の祐筆、固有の決定台帳、そしてこちら側からの一枚の引き渡し文書（何を保持し、禁じ、省略し、加えると予想するか）を持ちます。（スタートレックをご存知なら、親が地球、プロファイルがエンタープライズ——設計者が既に持ち込んだ以上にこの喩えを押すことはしません。）

プロファイルが決めたこと。 その台帳はこちらの台帳にID単位で紐づいています。最初のFixed裁定は、マスターが入場を許した唯一のCPU的自由——ポインタ間接参照——を純粋性のため再禁止した;その退避路はまさにプロファイルが使えるようマスターに書き込まれたもので、初回使用で機能しました。データスタックは省略（合法、文書化済、命令は予約ID法に落ちる）。マスターの未決問題を、こちらの裁定を待たずに制限——制限は常に安全であり、マスターを先取りしません。そして固定小数点算術について、こちらの未決Tieへの投票に等しい立場を取りました: Qフォーマットがプログラムに属する整数専用ISA——これは再整列シフトが命令自身で表現可能な場合にのみ整合します。最初の顧客が傾き、設計者が裁定します。

プロファイルが見つけたこと。 マスターの欠陥四件、全て正当、全て訂正済:

仕様が「read/write」と呼びながら、どの命令も実際には読めないレジスタ。文章が過大で、ID表は最初から正しかった。
ステイカウンタが「ハードウェアが消費するあらゆる漸化式の」インデックスであるという主張。そうではなく、プロファイルがプリスケーラと消費者をどう振り付けるかに依存する。マスターはいまカウンタを露出し、その意味はプロファイルに委ねます。
最初のプログラムが提出した二つの未決Tieが、仕様自身の言葉で「その地位が住む」台帳に届いていなかった。
そして重要な一件: 検証器が命令リストを受理・拒否するのに使う機械可読な翻訳契約が、正典の章ではなく協議作業物から抽出されていた。機械的リンクが法ではなく先祖を指していた。いまは第3章の行と共通法から契約を導出する生成器があり、作業物抽出との突合（18命令全て一致）を経て、章が変わるたびに再実行されます。旧ファイルは退役、最初のプログラムは正典に対してクリーンに再検証済。
ここがログに書く価値のある部分です。マスターは自身に機械監査をかけています——章対作業物、章対章、ID対台帳。四件中三件はその全てをすり抜けました。監査が検査するのは整合性であり、二つの文書が揃って誤っていることはありうるからです。捕まえたのは、新しい眼を持ち、マスターの前提に利害を持たない第二の読者でした。下流の祐筆は、マスターが自給できない検証層です。 引き渡し文書は、このエコシステム最良の設計レビューは間違っていたレビューだったという理由で、食い違いの提出を求めて締めていました。プロファイルはその招待を文字通り受け取り、マスターはそれによって良くなりました。

往復はLayer 2推論軌跡としてリポジトリに双方向で保管されています——返信と、プロファイルからの一つの補足（同プロファイルのStay値レジスタは、こちらのインターフェース依頼INT-R1の最初の実装として引用可、ただし凍結はプロファイル側に住む;マスターはいま、凍結値をどちら側が保持するかを実装の自由、観測可能規則を法として記録しています）を含めて。プロファイルのオラクル拡張は安定次第、上流へ。フォークではなく継承。

数字はまだありません。まだ規則により。最初の数字は、シリコンからの、改訂に釘付けされた実測になります。