editorzero
FLIGHTDECK · industrial-instrument design system · v0
SURFACE PARITY API · CLI · MCP · WEB
LIGHT MODE — DEFAULT · DARK AVAILABLE
WCAG 2.1 AA · OFL/APACHE FONTS
A DASHBOARD — station overview · recent docs · spaces
editorzero
/Helix Robotics/Station
Search docs, people, spaces⌘K
Docs412
Live3
Agents6
NA
Nomi AliOPERATOR · ADMIN
Active docs
412
+18 this week
Live sessions
3
2 human · 1 agent
Agent edits / 24h
147
92% accepted
Principals
34
28 human · 6 agent
Recent activity channel ▾
DOC
Write-Path Atomicity Guaranteesengineering / architecture
NAnomi live
DOC
CRDT Convergence — Replica Proofsengineering / sync
CLclaudeAI live
DOC
Audit Log Shape & Reconstructionengineering / audit
CXcodexAI 12m
SPEC
Capability Registry → OpenAPI Derivationproduct / specs
RVrao 38m
RUN
Postgres Driver Migration Runbookops / runbooks
CLclaudeAI 1h
Spaces 4
EN
Engineering
186 docs · 14 collections
NACLCX+9
PR
Product
94 docs · 8 collections
RVCL+5
RE
Research
71 docs · 6 collections
JMCX+4
OP
Ops Runbooks
61 docs · 5 collections
NACL+3
B SPACE · DOCUMENTS — collections tree + document register · human & agent editors
editorzero
/Helix Robotics/Engineering/Architecture
Filter this space/
NA
Nomi AliOPERATOR · ADMIN

Write path

engineering / architecture · 12 documents · 3 published
AllDraftsPublished
DocumentStatusEditorsUpdatedRev
Write-Path Atomicity Guarantees · DOC-1042
live
NAnomi CLclaudeAI
now v34
ctx.transact — Single Entry Invariant · DOC-1019
in review
CLclaudeAI RVrao
22m v12
Dispatcher Metadata Transactions · DOC-0998
published
NAnomi CXcodexAI
3h v51
Inverse-Restore & Soft Delete Recovery · DOC-0974
draft
CLclaudeAI
5h v6
Write-Conflict Resolution Policy · DOC-0961
published
JMjess CLclaudeAI CXcodexAI
yesterday v88
Transaction Boundary Audit Notes · DOC-0940
draft
NAnomi
2d v3
12 documents · 2 live channels · last sync 0.4s ago · 5 agent-authored revisions today
C DOCUMENT · READ — finished document · metadata rail
editorzero
/Engineering/Architecture/Write-Path Atomicity
Revv34
StatusPUB
NA
Nomi AliOPERATOR · ADMIN
Architecture · Write path

Write-Path Atomicity Guarantees

Every content mutation flows through a single transaction boundary so that the audit log alone can reconstruct final state — for human operators and AI agents alike, with no privileged side channel.

01 The single-entry rule

Content mutations are funnelled through ctx.transact(doc_id, fn). Metadata mutations are dispatcher-transaction-only; the authoritative list lives in METADATA_ONLY_CAPABILITIES. No surface — API, CLI, MCP, or Web UI — re-implements this path; each delegates to the same dispatcher.

  • Exactly one audit entry is produced per mutation, regardless of originating surface.
  • Agent edits traverse the identical boundary as human edits — attribution differs, mechanism does not.
  • Replays are deterministic: the log is the source of truth, the CRDT is its convergent projection.
write-path · dispatcher typescript
// one boundary — humans and agents converge here
await ctx.transact(docId, (tx) => {
  tx.apply(op, { actor })   // human | agent
  tx.audit("block.update")  // invariant 3
})

02 Convergence under concurrency

Concurrent human and agent edits converge across replicas via the CRDT. The transaction boundary serialises intent; the CRDT merges state. Neither principal class can observe a torn write.

NOTE Restore is forward motion. "Restore version N" computes a delta against current state and applies it as a new corrective update — old states stay in history, never rewound.
D DOCUMENT · EDITOR — live co-editing · human operator + AI agent as peers · tracked suggestion
editorzero
/Engineering/Sync/CRDT Convergence
SYNCED · collab channel
NA CL
NA
Nomi AliOPERATOR
¶ Text ▾
B
I
U
{ }
S
"
⊕ Suggest
agent:claude editing
+
CRDT Convergence — Replica Proofs
+
Two replicas accepting concurrent edits from a human operator and an AI agent must converge to byte-identical state. We assert this as invariant 2 and prove it with property tests over randomised interleavings.
+
01 Interleaving model
+
Each test draws a random schedule of operations and applies them in opposite orders to two Y.Doc replicas. The merge is commutative, so order should notmust never affect the final document state, and the property holds for any number of replicas.agent:claude
⊕ Suggestion by agent:claude ¶4 · anchored · just now
Strengthened the convergence claim from "should not" to "must never" and added the N-replica generalisation. Rationale: the property test already quantifies over n replicas, so the prose should match the proof.
routes through ctx.transact · 1 audit entry
+
Type / for blocks, or select text to format…
Insert block · /co
Code blockfenced · language tag/code
Ask an agentdelegate a tracked edit/co
"Calloutnote · warning · info/call
Tablerows × columns/tab
E ADMIN · MEMBERS — principals: humans & agents · teams · roles · rate limits
editorzero
/Helix Robotics/Admin/Members
Search principals⌘K
NA
Nomi AliOPERATOR · ADMIN

Members

34 principals · 28 human · 6 agent · 2 revoked
All principals 34 Humans 28 Agents 6 Pending 3
PrincipalKindRoleTeamsRate budget
NA
Nomi Ali
nomi@helix.dev
Human Admin
EngineeringOps
unlimited
CL
agent:claude
tok_cl_9f3a · opus-4.8
Agent Editor
EngineeringOps
2,940 / 5,000 req·h
CX
agent:codex
tok_cx_71b2 · gpt-codex
Agent Reviewer
Research
4,710 / 5,000 req·h
RV
Rao Verma
rao@helix.dev
Human Editor
Product
unlimited
JM
Jess Moreno
jess@helix.dev
Human Editor
ResearchProduct
unlimited
RB
agent:release-bot
tok_rb_22c0 · revoked 2d ago
Agent Revoked
suspended
34 principals · agent budgets reset hourly · revocation is immediate & audited · ADR 0016 first-class principals