{"kind":"repository","status":200,"org":"cloud-itonami","repo":"cloud-itonami-isic-7110","org-entry":{"org":"cloud-itonami","host":"cloud-itonami.itonami.cloud","status":"live","title":"cloud-itonami","description":"行政・公共制度をソフトウェアとして実装する事業群。ここはその公開サイト面。","files":["index.html"]},"site":{"org":"cloud-itonami","repo":"cloud-itonami-isic-7110","title":"建築設計・エンジニアリング — 受託・法域評価・設計検証・認証納品（営み OS）","description":"設計の営み。4211（建築）の上流にあたり、受託記録を受け、法域の建築基準・専門技術者免許の要件を評価し、設計が基準・範囲に収まっているかを検証し、押印済み・認証済みの成果物を納品する。日本 建築基準法（国土交通省・都道府県）と建築士法 第20条、米国 International Building Code（ICC の model code。連邦法ではなく州・自治体が採択する）と州の Professional Engineering Practice Act（NCEES Model Law）、英国 Building Regulations 2010 / Building Safety Act 2022（Building Safety Regulator）と Architects Act 1997（ARB）、独 Musterbauordnung（各 Land が実装）と各州の Architekten-/Ingenieurgesetz を根拠に持ち、建築基準の枠組みと専門技術者の押印権限を別々の引用として持っている —— 基準に適合した設計を免許の切れた者が押印することも、免許のある者が基準外の設計に押印することも、どちらも別々に起きうるためである。現実の行為は 2 つあり、設計検証（技術者として設計が基準の範囲に収まっていることを確認する）と認証納品（押印済みの成果物を施主や行政に引き渡す）で、どちらもどの phase の auto にも入らず、governor も独立に high-stakes として常に escalate する。実測した穴も面に出している: 受託記録の受理は助言者の patch を丸ごと受託記録へ merge し、しかも phase 3 で人を通らずに確定するので、7 つの HARD 検査のうち 6 つが人を 1 人も通さずに外れた。とくに押印権限の検査は、押印を要する成果物を権限確認が済んでいない者が納品しようとしていないかを見る検査で、その入力（seal-authority-verified?）を actor 自身が true に書ける —— 建築士法第 20 条が存在する理由そのものが、規制を受ける側の 1 op で満たされる。報酬合計の独立再計算も工数を書き換えれば一致し、基準範囲外の設計も within-code-scope? を書き換えれば通り、二重検証・二重納品の防止も verified? / delivered? を false に戻せば外れる。証拠充足の検査だけは読む先が別の store 経路（assessments）で受理からは書けないが、それでも外れる: 必要書類の照合がリストの内容で行われ、USA と GBR の required-evidence がバイト単位で同一なので、USA として 1 回だけ人が評価を承認したあと法域を GBR に書き換えると、GBR 向けの書類を 1 枚も出していないのに充足が通る —— writer は検査の入力を書く必要がなく、検査がどの入力を読むかを書ければ足りる、というこの class の新しい形である。連携は 4211（建築）の現場受理へ 1 本、人が運ぶ carry。境界は両端とも空なので invoke は宣言できてしまうが、実測すると hold ではなく commit し、しかも 4211 の現場レコードは運ばれない patch の中の id で採番されるので、主体名 nil の空の現場が 1 件生えて mint した名前はstore に届かない —— 面は現場が受理されたと描き、台帳には名前の無い記録が残る。落ちる辺より通る辺の方が悪い。","source":"https://github.com/cloud-itonami/cloud-itonami-isic-7110","files":["index.html"]},"app-url":"https://cloud-itonami.itonami.cloud/cloud-itonami-isic-7110/","repository-url":"https://itonami.cloud/cloud-itonami/cloud-itonami-isic-7110/"}