super/docs/reviewssuper/docs/reviews
super/docs/reviews
43 documents in super/docs/reviews, mirrored from the [&] stack at its real source path.
Documents
- B5 · the joined terminal is open, and nothing in Super can put a byte on it — Measured, not argued. tools/terminal-join-probe.mjs runs the whole product surface — the production chain to a confined Carrier, a real WebDriver click on Watch terminal, the te…
- C1.0b — bootstrap truth & effect atomicity · review brief — For the next GPT pass. Artifact: `and-super-rev-f3.zip` (925 KB, every release gate green).
- C1.0b.1 — authority linearization · review brief — Artifact: `and-super-rev-f3.zip`. Every gate green, including the one that can now refuse.
- C1.1 — the transport is real, and running it found two things reading could not — Artifact: `and-super-rev-f6.zip`. Every gate green.
- C1.1 · F.8 — every descriptor is close-on-exec, and evidence paging is lossless — Artifact: `and-super-rev-f8.zip`. Every gate green.
- C1.1 · the three corrections — the channel is a descriptor now — Artifact: `and-super-rev-f7.zip`. Every gate green.
- C1.1.0 — projection boundary correctness · review brief — Artifact: `and-super-rev-f3.zip`. Every gate green.
- C1.1.1 — identity and projection · review brief — Artifact: `and-super-rev-f4.zip`. Every gate green.
- C1.1.2 — the transport's acceptance battery, before the transport — Artifact: `and-super-rev-f5.zip`. Every gate green.
- D.1.3b·2f — Host-Independent Carrier Descriptor Inheritance — The claim that made the defect invisible, replaced by a mechanism.
- D.1.3c·2b — FROZEN — frozen at ee3d0bcea1700c177d67844908e891000a117c04 tree 2b16fcf05664519c763c24afab0fc0a4b13ddc03 subject A comment that was false about its own supervisor, and a ti…
- D.1.3c·2c — Presented Terminal — Design only. Nothing here is implemented. Written against 23fb433, with D.1.3c·2b frozen at ee3d0bc.
- D.1.3c·2c·0 — Terminal Presentation Authority — A proposal for ruling. Nothing here is implemented, and the byte plane is stopped until it is ruled.
- D.1.3c·2d·0 — Terminal SHAPE and DRIVE, and where the effects go — A proposal for ruling. Nothing here is implemented, and nothing in D.1.3c·2c has an entry point for either power.
- D.1.3c·2d·1 — Intervention provenance — DESIGN ONLY. Nothing here is implemented. This revises D.1.3c·2d·0 on GPT's ruling: the laundering diagnosis is accepted, the proposed remedy — a new actor kind for the human-co…
- D.1.3c·2d·2 — Intervention provenance, revised — DESIGN ONLY. Nothing here is implemented. No Elixir changed, no schema file written. This revises D.1.3c·2d·1 against an external reviewer's eight directives (J1–J8). The shape…
- F.8.1 — the world survives quitting, and a descriptor leak neither of us predicted — Artifact: `and-super-rev-f81.zip`. Every gate green.
- F.8.2 — the receiver owns what it receives, and the fix you prescribed had a hole in it — Artifact: `and-super-rev-f82.zip`. Every gate green.
- F.8.2.1 — the fourth exit, and a baseline that had already absorbed it — Artifact: `and-super-rev-f821.zip`. Every gate green.
- F.8.2.2 — a channel handoff is a transaction — Artifact: `and-super-rev-f822.zip`. Every gate green.
- F.8.2.3 — refusal is terminal, and no channel outlives its world — Artifact: `and-super-rev-f823.zip`. Every gate green.
- F.8.2.4 — world incarnation, and the one primitive both bugs were missing — Artifact: `and-super-rev-f824.zip`. Every gate green.
- F.8.2.5 — generation is a fence, and the narrowing was never a product decision — Artifact: `and-super-rev-f825.zip`. Every gate green.
- HyperSurface-0: fixed local Carrier profile — Implementation slice, 2026-09-13. No new backend, public command option or confinement guarantee. start_carrier(locus_ref) resolves the runtime-owned super.local-carrier-termina…
- R0b.R · R7–R13 — the durable vocabulary for validation work — Status: GO proposed, R0b.R·1 included. GPT returned GO on the vocabulary and REVISE on one producer-boundary hole; §4b is that closure. Super can name one bounded validation job…
- Super Self-Hosting R0a · I Speak — A Carrier said something, and nothing asked it to.
- W.1 — the cockpit observes one world incarnation — Artifact: `and-super-rev-w1.zip`. Every gate green.
- W.1.1 — LIVE LOCAL holds one live renderable view — Artifact: `and-super-rev-w11.zip`. Every gate green.
- W.1.2 — the runtime announces its epoch, and the view clock names what it renders — Artifact: `and-super-rev-w12.zip`. Every gate green.
- W.1.3 — Bots is the third root, and an utterance is a frame — Artifact: `and-super-rev-w13.zip`. Every required gate green.
- W.1.3.1 — a Bot sees only its projection; an utterance cites the projection it came from — Artifact: `and-super-rev-w131.zip`. Every required gate green.
- W.1.3.2 — visibility is scoped; coherence is an epistemic state — Artifact: `and-super-rev-w132.zip`. Every required gate green. The Bot executable spec is frozen at this revision.
- W.1.3.2b — the errata, the two the errata found, and the two you found in those — Artifact: `and-super-rev-w132b.zip`, with `and-super-rev-w132b.receipt.json` beside it binding this revision to that archive's SHA-256. Every required gate green.
- W.1.4.1 — at-most-once, and the layer that never received the constraint — Artifact: `and-super-rev-w141.zip`, with `and-super-rev-w141.receipt.json` beside it. Every required gate green, and `ampd/tools/sabotage.sh` — the one the chain does not run —…
- W.1.4.2 — the measurement described a set the hash did not — Artifact: `and-super-rev-w142.zip`, with `and-super-rev-w142.receipt.json` beside it. Predecessor: `W.1.4.1`, `sha256:b05b8922…8166`.
- W.1.4.3 — a measurement is evidence about bytes, not names — Artifact: `and-super-rev-w143.zip`, with `and-super-rev-w143.receipt.json` beside it. Predecessor: `W.1.4.2`, `sha256:7dd1ab75…d1ff1`.
- W.2 — a real desktop surface that consumes the truth without becoming another source of it — Predecessor: `W.1.4.3`, ZIP `sha256:77cec0245bdb47fb517635b62c18e0c676cd139e31ef165be1c93d8f08b9b8f5`, content `sha256:88c5f33c51b7611771a94d6c8f05fbbb0d7b2448e04941025fdf3e5576…
- W.2.1 — the boundary around the law — Predecessor: `W.2`, ZIP `sha256:f1f179ed4b158253ca330d31cd90f210ae159a984fd7b3fb566b3c9d62775f44`, content `sha256:8c5fc48798288ed54403db90b158a72a4bcd8e9c10c73c6ffb38130ba74a40…
- W.2.2 — the boundary Super will actually have — Predecessor: `W.2.1`, ZIP `sha256:db6c195413636b258300e12757d0533573013a3a9ba83beb97bb6b249576465c`, content `sha256:2427772270260c3899bef4e7398ebe71be5b044024f064d6536fe6f7126c…
- W.2.3 — a successful send is not a delivery — Predecessor: `W.2.2`, ZIP `sha256:d0a2a1877423218846a235428630f77941e5c8ea1dfbaad948809b71dd6e3a96`, content `sha256:bed61ce4a8efb493a3747ef363ede80d1f383b8e981c519ac3c2911ecc50…
- W.2.3.1 — a recovery tested one layer below the failure is not evidence — Predecessor: `W.2.3`, ZIP `sha256:6dad087179686ac9b0038217530c33e5c9e58948170677f589b21de375fbf358`, content `sha256:bf723f04be085ed71efe14e4b72011e31a3e08d7e7049d95600791a6d749…
- W.2.3.2 — a recovery procedure must itself have a bounded failure mode — Predecessor: `W.2.3.1`, ZIP `sha256:2392e6b2ccfecd0b5afa596e310bf10059e34b529280fb812b3067b03f462b48`, content `sha256:bc46c6fcb11b367b63225c14db2ef76ae1c72e3a215e27d61257c3b8fd…
- W.2.3.3 — link liveness is not projection maintenance — Super (CD) · the cockpit · the round after bounded recovery
Open in the interactive atlas