Notation falsifier pre-registration: session record and category derivation bundle

meta/sessions/2026-09-03-notation-falsifier-prereg/arrived-inputs.md

@@ -0,0 +1,103 @@
+# Arrived inputs — notation falsifier pre-registration
+
+Every input is filed with its sha256 before use, byte-identical to the delivered bundle
+(`notation-falsifier-bundle.zip`, sha256 `64c70ab5b698da8b2f7d1e8bfb8ba124dcfbfa69177ecc8fd84b75b787979985`).
+Hashes are of the filed copy. Line counts are measured, not stated.
+
+**Filing an input is not placement.** These copies are session records — provenance for what
+this session was given. Nothing here is canon, and filing here creates no claim ID and no
+canonical location. The four artefacts this session produces are its own; the inputs are what it
+worked from.
+
+---
+
+## 1. The instruction set and the design
+
+| # | File | sha256 | Lines | Status |
+|---|---|---|---|---|
+| 1 | `prompt.md` (`session-notation-falsifier-prereg.md`; also attached separately to the invocation, byte-identical) | `1dd3cee41275a7c608d92628858136c60ec990267457da8d82a87c0269553f72` | 140 | the instruction set; filed in the arrival commit |
+| 2 | `inputs/prereg-notation-inference-load.md` (also attached separately, byte-identical) | `9d29b2fdaa3c740d8975e86910fd865fd674d03d4862f6ed20df66b83c221a34` | 125 | `[PROPOSED]` by its own header; **the design this session works from.** Matches the hash the invocation names (`9d29b2fd…`) |
+| 3 | `inputs/prereg-residual-declaration-mechanism.md` | `36c5b767e34ed73790a7666f268c9165711dc8b047a3e3933b0435b600001d40` | 119 | `[PROPOSED]` by its own header; the **layer** pre-registration, included for contrast, **not work to do**. Matches the hash the invocation names (`36c5b767…`). Cites two rulings, `CG-R-17` and `CG-R-18`, that do not exist in the register at the ref read — see Gate 0 report, I-1 |
+
+## 2. The binding under test
+
+`inputs/domain-state-change-binding/`, sixteen files. The schema is what arm R will be written
+against; the examples, tools and manifest are context.
+
+| File | sha256 | Lines |
+|---|---|---|
+| `README.md` | `86079e9c64f4f40a77259d1c9b200e9cb79395d537217030f1cc6d1879ac63ae` | 117 |
+| `schema/determination.schema.json` | `4df4db09cf11d9a0cc02b4fee762fb9b71c3194dd1cb59691ccb6cba52fc67c6` | 255 |
+| `conformance/manifest.yaml` | `4bc78fb6e751735c50678dd8de00f074551867bc16e7ab55df3952af868b315a` | 165 |
+| `examples/ordering.eventmodel.yaml` | `06d32bfa002ee0d69a22a15c09b767c80d085908bfd374936095c506c8bc87bb` | 74 |
+| `examples/place-order.determinations.yaml` | `81ca01cbbdf0e7cd8dcac869467ba7a082cbf7deafbaee0bca333e7a490156dc` | 246 |
+| `examples/fulfilment.eventmodel.yaml` | `f01036d2ffe3bca6e860c3d091e06cbbc44e781153d413681f15f61b14fc1216` | 27 |
+| `examples/fulfilment.determinations.yaml` | `e57e51f2f2b3db9aca36f10fad81c032d0dea6eebbf986933df96c934eb20081` | 69 |
+| `examples/broken.eventmodel.yaml` | `8acd9d7728cbfc5b0b50d674a2bdce5f51e9816ad384db74afd2447b5443a1ad` | 50 |
+| `examples/seam-defect/fulfilment.eventmodel.yaml` | `ab9f2245b96c045688867f1169e583f2ec250a0784549220b948199861c0d209` | 30 |
+| `examples/seam-defect/fulfilment.determinations.yaml` | `5b5255ca270a75e11537d09c0d6b462d47d2f32bdecd93b377e560f5841f6c41` | 76 |
+| `tools/run_all.sh` | `8ea152050f55a081f2c3039edb6760858de7ebdabdf5e021c58585b8e9c8ef9f` | 24 |
+| `tools/validate.py` | `829b37163797ae342488c2b0b18ccccee401254233c743f08dbec0cfef4563ef` | 29 |
+| `tools/prove_prohibitions.py` | `22e59b0596b592110971fb2cc373637b205a606c338079b01a2131f9f59bef11` | 55 |
+| `tools/check_resolution.py` | `47264f487c48e187b27bd74ca744afcf37bf8bd843e14112488a23f3e8e7254e` | 157 |
+| `tools/check_composition.py` | `3726c9e3efdcd5e5ee634e752447d5207f14eb47e158df4c97f45bf8e441b376` | 166 |
+| `tools/check_conformance.py` | `41d74d5a8457a2e4ce3da3d602ababdc7e86f1946b580088ea33143fcd4d9327` | 164 |
+
+**The binding's checks were run, not taken on the README's word.** Outcome and two defects in
+the runner are in the Gate 0 report, §3.
+
+## 3. Verification against independent copies
+
+Nothing in this bundle has an independent copy reachable from this session. The binding's schema
+`$id` points at `Hafeok/specification-languages`, which this repository's README records as not
+yet created, and nothing in `specification-foundation` or `canon-governance` carries any of these
+files. The hashes are on the record so that a later cross-check — when the binding is filed at
+its home, or when the pre-registration is committed for execution — can establish what this
+session cannot: that these are the states the executing session works from.
+
+---
+
+## Addendum, 2026-09-03 — the Gate 0 rulings arrived
+
+Appended, not rewritten (`CG-rule-02`).
+
+| File | sha256 | Lines | Status |
+|---|---|---|---|
+| `inputs/rulings-cg-r-20-28.md` | `dfd5b58f8bc6091b5aebfd9aba42ca2bd33278e8d238c85a6bbc13be818900fc` | 105 | **rulings, issued** — `CG-R-20` … `CG-R-28`, by Emil, ratifying Gate 0. Filed byte-identical; quoted with consequences in `rulings-gate0.md`. Not yet rows in the `canon-governance` register, by the issuer's own statement |
+
+## Addendum, 2026-09-03 — the Gate 1 rulings arrived
+
+| File | sha256 | Lines | Status |
+|---|---|---|---|
+| `inputs/rulings-cg-r-29-34.md` | `d86e1294b6c99f277e5fb4c12fab1dded722c48e91d11efc7c2076005a197d5c` | 74 | **rulings, issued** — `CG-R-29` … `CG-R-34`, by Emil, ratifying Gate 1 as provisional. Filed byte-identical; quoted with consequences in `rulings-gate1.md`. Not yet register rows |
+
+## Addendum, 2026-09-04 — the Gate 2 rulings arrived
+
+| File | sha256 | Lines | Status |
+|---|---|---|---|
+| `inputs/rulings-cg-r-35-38.md` | `d6b8f4e1aa1b8cbaab210da9db173a22099eddc94df7e67033654c5ed7168b4f` | 64 | **rulings, issued** — `CG-R-35` … `CG-R-38`, by Emil, 2026-09-03, holding Gate 2 pending blind re-derivation. Filed byte-identical; quoted with consequences in `rulings-gate2.md`. Not yet register rows |
+
+## Addendum, 2026-09-04 — rulings on the re-derivation bundle arrived
+
+| File | sha256 | Lines | Status |
+|---|---|---|---|
+| `inputs/rulings-cg-r-39-40.md` | `e85c32509831353a9d06e10956c414c1b957bc59abca497dda408a1b08ddfa0d` | 47 | **rulings, issued** — `CG-R-39`, `CG-R-40`, by Emil, 2026-09-03, accepting the bundle and the reconciliation rule. Filed byte-identical; quoted with consequences in `rulings-rederivation.md`. Not yet register rows |
+
+## Addendum, 2026-09-04 — the scrub task arrived
+
+| File | sha256 | Lines | Status |
+|---|---|---|---|
+| `inputs/task-scrub-and-package-bundle.md` | `7784cadc977f0c61fe98fcb9b4df56aded5f7ad2cfbd62a1810b28a2fc526b98` | 83 | **task**, issued by Emil — a bounded task inside the `CG-R-35` hold; recorded in `task-scrub-bundle.md` before the first act |
+
+## Addendum, 2026-09-07 — Gate A rulings and the receiving session's invocation arrived
+
+| File | sha256 | Lines | Status |
+|---|---|---|---|
+| `inputs/rulings-cg-r-41-44.md` | `00402d71bf94218e1e74fbf7b0d87f95c90e203db00d1f631ab89f75c6de84a5` | 61 | **rulings, issued** — `CG-R-41` … `CG-R-44`, by Emil, 2026-09-03, ratifying the leak audit. Quoted with consequences in `rulings-gateA.md`. Not yet register rows |
+| `inputs/invocation-category-derivation.md` | `424e53963e2fce9eb55e7b6b5858a3d3480ef3ae34f53b48c8fbdf1084af977d` | 35 | the receiving session's invocation, Emil's; filed into the bundle byte-identical as `INVOCATION.md` per `CG-R-44`, unscrubbed |
+
+## Addendum, 2026-09-07 — Gate B rulings arrived
+
+| File | sha256 | Lines | Status |
+|---|---|---|---|
+| `inputs/rulings-cg-r-45-47.md` | `75f24bc235a799c6a5bedd932bd79503403b33c55078ff6147645b852dd0fa43` | 47 | **rulings, issued** — `CG-R-45` … `CG-R-47`, by Emil, 2026-09-03, ratifying Gate B. Quoted with consequences in `rulings-gateB.md`. Not yet register rows |

meta/sessions/2026-09-03-notation-falsifier-prereg/bootstrap.md

@@ -0,0 +1,76 @@
+# Bootstrap — notation falsifier pre-registration
+
+**Session:** `2026-09-03-notation-falsifier-prereg`
+**Session kind:** proposal only. Four pre-registration artefacts are proposed for ratification —
+the act and its determination set, the category list, quantities and thresholds, the
+classification rubric. **No arm is authored, no harness is built, nothing is run.**
+**Principal:** Emil. The session proposes; Emil ratifies. Every gate holds until an explicit
+ratification message.
+**Commit identity:** `Claude <noreply@anthropic.com>` — session-neutral, per the prompt and the
+invocation.
+
+---
+
+## Charter documents
+
+The session prompt is filed verbatim as `prompt.md`
+(`session-notation-falsifier-prereg.md` in the delivered bundle, and separately attached to the
+invocation; both copies sha256
+`1dd3cee41275a7c608d92628858136c60ec990267457da8d82a87c0269553f72`, 140 lines).
+
+The invocation message is filed verbatim as `invocation.md`.
+
+The design this session works from is `prereg-notation-inference-load.md`
+(sha256 `9d29b2fdaa3c740d8975e86910fd865fd674d03d4862f6ed20df66b83c221a34`, 125 lines), filed with
+the other arrived inputs in the next commit, with hashes in `arrived-inputs.md`.
+
+## Parameters
+
+| Parameter | Value |
+|---|---|
+| Repository | `Hafeok/specification-foundation` |
+| Branch | `claude/notation-falsifier-prereg-b590ym` |
+| Base commit | `ecd4974ab8b33e38475420ae393ee1ec9ebd7c3b` — head of `claude/seed-specification-foundation-g6a2y0`, the repository's default branch ("Gate 4: execute Part B — file the falsifier material; close the session"); no `main` exists |
+| Gates | Gate 0 orientation · Gate 1 act and determination set · Gate 2 category list · Gate 3 quantities, thresholds, floor · Gate 4 classification rubric · Gate 5 assembly |
+| Gate discipline | Hold at every gate. No gate is passed on the session's own assessment; each requires an explicit ratification message from the principal |
+| Register discipline | Rulings in force · `[PROPOSED]` · `[OPEN]`, kept distinct in every gate output (`CG-rule-01`) |
+| Claim under test | The **notation** claim only. Not the layer claim (`prereg-residual-declaration-mechanism.md`, included for contrast), not the accrual claim |
+| Delivered bundle | `notation-falsifier-bundle.zip`, sha256 `64c70ab5b698da8b2f7d1e8bfb8ba124dcfbfa69177ecc8fd84b75b787979985`, upload path `/root/.claude/uploads/bbf511ec-785e-5336-8780-ce1fc035428c/d6efba8f-notationfalsifierbundle.zip` |
+
+## Governing repository read (not modified)
+
+| Repository | Ref read | Role |
+|---|---|---|
+| `Hafeok/canon-governance` | **`c5383be06e5b181dc79307554a35cddeacbcd3e8`** — head of `claude/seed-canon-governance-ntf524`, the repository's default branch, dated 2026-09-02 ("registry: append CG-R-10..16, issued during the specification-foundation seed") | holds the ten rules in force here; `rules/` read in full |
+
+**Why this ref.** The invocation's `<REF>` placeholder arrived unfilled. The session read the
+default-branch head and records it here as the ref actually read, per the invocation's own
+instruction to record what was read.
+
+**Relation to the pin this repository carries.** `README.md` and `meta/canon-governance-ref.yaml`
+pin `ad6d1b0b861306561364cc8d3a3e554cfb92d90c`. Diffed: between that ref and the one read, **the
+only change is `registry/rulings.yaml`** (the seven rows CG-R-10 … CG-R-16 appended, 106 lines);
+`rules/` is byte-identical. The ten rules complied with here are therefore the ten the pin records.
+Per `CG-R-10` the pin is not advanced by this session: advancing it is a deliberate act stating
+what changed, and what changed does not touch the rules. This record cites the ref read; the
+governance-pin validator scans `README.md` only, so the citation here is outside its scope by
+design and is stated so nobody wonders.
+
+**The ten rules.** `CG-rule-01` … `CG-rule-10`, read at the ref above. Eight carry
+`grade: established`. **`CG-rule-08` and `CG-rule-10` carry `grade: provisional`** in their own
+records, matching the invocation: applied here as in force, not cited as established anywhere in
+this session's output. Both bear directly on this session — `CG-rule-08` (pre-registration
+precedes execution; categories and thresholds fixed at commit, no re-roll) is the discipline the
+four artefacts exist to satisfy, and this session is a candidate independent instance of it only
+if the falsifier later executes without a re-roll; `CG-rule-10` (prose describes what is in force
+and implemented; anything designed but not built carries a date and a marker) governs how every
+artefact here describes the harness and arms that do not yet exist.
+
+**The register.** `registry/rulings.yaml` at the ref read ends at `CG-R-16`. This is checked
+against the arrived inputs at Gate 0.
+
+## Session-record convention
+
+This record is made under `CG-rule-06`, inherited from `canon-governance` at the ref above. Its
+first-commit requirement is met by this commit: prompt, invocation and bootstrap, ahead of any
+other act. Arrived inputs are filed with their hashes in the next commit, before use.

meta/sessions/2026-09-03-notation-falsifier-prereg/command-slice-categories/INVOCATION.md

@@ -0,0 +1,35 @@
+# Invocation — command-slice category derivation
+
+**Paste the text below the line, with the bundle attached. Nothing else.**
+
+Read the pre-flight note first. Do not paste any part of it.
+
+---
+
+Derive the consequential-property categories for a **command slice**.
+
+Attached is a bundle containing the brief, the constructs the categories are drawn from, and a manifest with hashes. Read the brief first; it is the instruction set and it carries the derivation grid, the admission conditions, the naming rules and the output form. Where anything below conflicts with the brief, the brief wins and you say so.
+
+**Work from the bundle only.** Do not clone or read any repository, and do not search the web. Everything the derivation needs is in the bundle; anything not in it is out of scope by design.
+
+**What to produce.** One file: the category list, in the output form the brief specifies, with each row citing the grid cell it came from. Alongside it, a rejection register — every candidate the grid produced that you did not admit, with the admission condition it failed. The rejection register is not optional and is not a summary: it is how the pruning gets checked rather than trusted.
+
+**Standing rules.**
+
+- You propose. You do not ratify your own output, and nothing you produce is settled by your having produced it.
+- Keep three registers distinct in your output: what is settled, what is `[PROPOSED]`, what is `[OPEN]`.
+- British spelling.
+- Errors are corrected by an appended note, never by amendment. A wrong figure stays visible with its correction beside it.
+- Report defects honestly, including in the brief and in your own earlier reasoning.
+- Name the weakest point of what you produce, rather than leaving it for a reader to find.
+- Prose describes what you have actually done. Anything you considered and did not do is marked as such.
+
+**Two rules on the derivation itself.**
+
+Apply the grid exhaustively before pruning. Produce every candidate the grid yields, then admit or reject each against the conditions. A candidate never generated cannot be rejected on the record, and the register is the only evidence the pruning was disciplined.
+
+Each row must stand as a decision point for a command slice **about anything** — any domain, any system. A row that only makes sense for a particular kind of command is out of scope for this list, and saying so is a finding rather than a failure.
+
+**Do not ask what this is for.** The brief contains what you need. If the brief is insufficient, say precisely what is missing and stop; do not fill the gap by inference about intent.
+
+Produce the file, state your weakest point, and stop.

meta/sessions/2026-09-03-notation-falsifier-prereg/command-slice-categories/MANIFEST.md

@@ -0,0 +1,13 @@
+# Manifest — command-slice categories bundle
+
+sha256 of every file in this bundle as filed on 2026-09-07. The receiving session checks these
+before starting and records what it checked; a bundle that does not match was not this one.
+
+| File | sha256 | Lines |
+|---|---|---|
+| `README.md` | `41aa14480d5d65be31395f66f4606650149fddb3eeeedf1084eb93c16c2989b9` | 147 |
+| `INVOCATION.md` | `424e53963e2fce9eb55e7b6b5858a3d3480ef3ae34f53b48c8fbdf1084af977d` | 35 |
+| `foundation.md` | `3d9a52546fc35b05fffb2b0de2a97faa656b813e61c3c893ab2a093571219510` | 142 |
+| `supersession-extract.md` | `ffd2b368ee5c4c5c867f97855f1d70edf0a1fab0091717ebdf58b1f5c8c68a7f` | 69 |
+| `resolution-condition.md` | `802fc286cfcbb308b178066386bc1da6bceb4d006d33dbdc62fb2b40264b0055` | 58 |
+| `boundary-declarations.md` | `0690cb5577d24e7b27077141c06f4572451797de406c41bfb8d6cdf05fcb131e` | 79 |