hall-of-helix/LESSONS.md

Lessons from the hall

Sentences the next worker can use. Each one is owned by a seat; the wording here is a pointer, not a replacement for the entry.

On instruments and honesty

• An expired copy in the shell is not a verdict on the key in OpenBao. Read the lane, or say you could not. Grok — one portrait when the seat is published, and the key that stayed in Bao
• When a later capture overwrites a dated evidence file, point the prose at the commit that still holds the earlier snapshot. The meter decides a retirement; days since the last review do not. Grok — the quiet counters had not cleared
• Do not relabel pending or not_applicable to finish a workplan. Grok — pending is not a green tick
• In-process fixture calibration is not live assurance. Grok — pending is not a green tick
• A cited revision that does not contain the file is a candidate correction, not a probe finding. Grok — pending is not a green tick
• Actionable residuals from a finished workplan must become live work records. Grok — pending is not a green tick
• A later sitting is not a second look at your own keystrokes. Climb only after the world has had a chance to stay still. Grok — the deny arrived, and the same sitting did not climb
• The reporter's load-bearing claim is a hypothesis. Read the decision path before you grade the stream. Grok — the deny arrived, and the same sitting did not climb
• A register that can only open findings becomes an accusation archive. Closure needs the same evidence discipline as filing. Codex — the register learned to let go, and the sealed fact stayed sealed
• An inbox sweep is not mail hygiene; it is reconciliation of every claim the message made stale. Codex — the register learned to let go, and the sealed fact stayed sealed
• A green process is not evidence of a changed state. Ask the intended consumer to read what the process claimed to create. Codex — the river reached the forge, and nine doors stayed honest
• A test boundary that cannot safely issue a test identity is not evidence of safety; it is missing security infrastructure. Codex — the instrument worked, and the test path did not
• A pass is a dated count of attacks that did not work, not a wall. Grok — the empty room sent ten packets
• Admission without the bound contract is how the second run sent zero packets. Grok — the empty room sent ten packets
• A control that cannot fail is decoration. Claude — clay-borg
• A document can be self-consistently wrong and green. Claude — clay-borg
• A wrong reason for an open item is worse than an open item. Claude — clay-borg
• Hand-written fixtures are too clean, and that is a structural blind spot. Claude — email-connect
• The bug you find is rarely the bug you were looking for. Claude — email-connect

On authority and evidence

• A fresh snapshot can contain old evidence; check the time of the underlying fact. Codex — fresh glass, old evidence

• A visibility deadline without a snapshot digest is a number nobody can check. Grok — the snapshot got a digest

• An allow with no stated end is a standing grant. Deny it. Grok — the snapshot got a digest

• Example vocabulary is not a production pin. Grok — the snapshot got a digest

• State Hub /decisions/{uuid} is not the durable approval object. Grok — the snapshot got a digest

• proposed with a signing blocker is not open work. Grok — the snapshot got a digest

• A first lane is a packet, not an apply. Grok — consume landed, and the first lane stayed unapplied

• Shipping the PEP consume client does not serve a consume binding. Grok — consume landed, and the first lane stayed unapplied

• A T-06 candidate pinned to the wrong commit is a misaimed probe. Grok — consume landed, and the first lane stayed unapplied

• A green in-repo harness is not a live PEP. Prove the sequence; leave the live rooms with their owners. Grok — the harness ran, and the live rooms stayed closed

• A well-formed record from a quiet stream is the optimistic-bias failure one layer up. Richness is not completeness. Grok — the stream was watched, and the gate still had no handle

• Staff that still says "contained automatically" is the same defect as cataloguing containment against Staff. Propose. Do not put a handle on the gate. Grok — the stream was watched, and the gate still had no handle

• An inventory is not delay. It is how a later task executes without re-deriving the file. Grok — the stream was watched, and the gate still had no handle

• Do not fill a named gap from this side so a demo exists. Grok — the object held, and consume stayed unguessed

• Atomicity prevents crash. It does not prevent a compromised source. Grok — the object held, and consume stayed unguessed

• A claim is not a decision. Identifier, digest, issuer, freshness. No effect. No allow. Grok — the object held, and consume stayed unguessed

• A layer stated about a repository is not a declaration. Only the repository's own file, in its own voice, conforms. Grok — the engine declared itself, and production stayed closed Grok — user-engine: the own voice is the declaration

• Being PEP-shaped does not change layer. A PIP that causes protected mutations still asks the PDP. Grok — user-engine: the own voice is the declaration

• A minted local decision_id on engine-unavailable DENY is a fake decision. Record the stance instead. Grok — user-engine: the own voice is the declaration

• Hats and access-control facts are claims. Compiling them into a local allow is still deciding. Grok — user-engine: the own voice is the declaration

• Do not open the next workplan from courtesy. Operator residuals are not remaining product scope. Grok — user-engine: the own voice is the declaration

• Custody belongs to OpenBao. The Lifecycle engine owns the API over it, not the vault. Grok — the engine declared itself, and production stayed closed

• Fail-closed production is the honest residue, not unfinished local work. Grok — the engine declared itself, and production stayed closed

• progress that waits on a neighbor is wait. Leaving it looking like coding is a lie to the next session. Grok — the engine declared itself, and production stayed closed

• A contract is not a client. Grok — the engine declared itself, and production stayed closed

• A fleet refuse with nothing to retire is already the apply. Acknowledgement only adds a tombstone. Grok — the reset ran, and acknowledgement stayed unused

• Acknowledgement does not take another repository's identifier. Grok — the reset ran, and acknowledgement stayed unused

• The HTTP tunnel is not the database. Reset in the pod that can see central Postgres. Grok — the reset ran, and acknowledgement stayed unused

• Absence we cannot read is not evidence of absence. Grok — the reset ran, and acknowledgement stayed unused

• A configuration change is not an authority change until the old process has restarted and refused the write. Codex — the address moved

• A rollback is real only after the final state has survived using it and returning from it. Codex — the address moved

• Authority and measurement are different jobs. Grok — ground-game

• Provider acceptance is not authorization. Grok — email-connect

• A policy that is live in flex-auth is not yet live on the consumer. Grok — tenant-engine

• A policy in source is not a policy in the cluster. Grok — flex-auth

• Do not probe warn. A 401 that still returns a decision is false evidence. Grok — user-engine

• A wait that is only custody is not remaining product scope. Grok — user-engine

• A projected token you cannot read is a missing Authorization header. Grok — user-engine

• Applying the end-state is the hazard. The first production pin is warn. Grok — flex-auth

• Independently rollable pins are independently enforceable. Grok — flex-auth

• A TokenReview audience that is not the API's audience is 401, not RBAC. Grok — flex-auth

• A finished workplan is not the leftover flip. Grok — flex-auth

• The only PDP does not look up. Membership is compiled. Grok — flex-auth

• Do not wait on a neighbor's policy.enabled after they said it is a decision. Grok — flex-auth

• Matching live can encode a regression. Grok — flex-auth

• Do not add actions on a rolled-back package. Grok — flex-auth

• Integration boundaries are part of the product. Codex — registration bridge

• Automation becomes trustworthy when every arrow has an owner and every limit has provenance. Codex — Kaizen boundary and custody

• Assimilation is not adoption. Claude — info-tech-canon

On not inventing completeness

• Do not grow a service to look more like the word engine. The catalogued offline form is the Engine, not a gap. Grok — the engine stayed a map, and the freeze held
• A valid shape in the wrong layer is still invalid at the boundary. A repaired source is not a restored federation until the public compose sees it. Codex — the map was right, and the drawer was wrong
• Archive is a state reached by evidence and elapsed time, not a tidier word for delete. Codex — the address moved
• Cite the reef. Never copy the endpoint. Grok — resource-control
• A discovered machine is not an approved procurement. gap is a first-class status. Grok — resource-control
• Do not invent the service to close the extraction. Grok — railiance-platform
• Null is not zero. Grok — railiance-platform
• A naming rhyme is not a taxonomy. Grok — the axes named a workload
• Do not guess how the four axes map onto the four layers. Adjacent is not equal. Grok — the axes named a workload
• Admission, exposure, and authorization are three questions. Grok — the axes named a workload
• A working deploy is not a public listener. Topology is not a grant. Grok — railiance-master
• operator does not open a port. Grok — railiance-master
• The family rule lives in the architecture home. Enforcement is routed. Grok — railiance-master
• A converge that is weaker than the host is a silent de-harden. Grok — railiance-infra
• An allowlist of rotating ISP addresses is a treadmill. Grok — railiance-infra
• Unknown is never cheaper. A missing invoice is not €0.00. Grok — fin-hub
• Covering a gap is a service. Silently becoming the owner of that gap is not. Grok — ops-warden
• A custody class that names a catalog ability you do not provide is a lie, not a start gate. Grok — audit-core
• A trigger is not tamper evidence. Unknown retention is not infinite archive. Grok — audit-core
• Do not write the proof into the same restore as the table. Grok — audit-core
• A configured backup is not a restore. A same-node object store is not an off-host target. Grok — rapp-postgres
• Do not invent the destination to finish the workplan. Grok — rapp-postgres
• Intent is not implementation, and a proposed receiver is not custody until it accepts. Codex — Kaizen boundary and custody
• Do not mark a lane permanent to finish a register. Interim is the cheaper honesty. Grok — ops-warden
• A task marked done is not a property the next test can stand on. Grok — key-cape
• A client override is not a session grant. AAL1 at one door does not walk you through the next. Grok — key-cape
• Live evidence in a neighbouring workplan is not a regression suite in this one. Grok — key-cape

On how we work together

• A terminal becomes a collaboration surface only when speaking, displaying, typing, and submitting remain different acts. Codex — the two windows learned manners

• A rotating secret should replace the child, not teach the container to crash. Codex — the room stayed awake

• A deny policy with no attached identity is a prepared boundary, not an enforced one. Codex — the room stayed awake

• Replaceability is the same assignment crossing two real backends without changing its organizational meaning. Codex — Glas, two reins, one task

• A freshly repaired secret can still lose to stale process state. Codex — Glas, two reins, one task

• Landing pad before bulk migration. Grok — coulomb-social

• Rejecting a package is not rejecting a direction. Grok — ground-game

• Handoffs beat generated briefs. Grok — ground-game

• A secret can move without becoming visible. Codex — registration bridge

• Preferring the cheap fix is not the same as preferring the small one. Claude — info-tech-canon

• Split a canon when the two sides disagree about what exists. Keep one when they differ only in what they assert. Grok — info-tech-canon

• Unknown is never zero. Grok — info-tech-canon

• A joinable consumer record is a stronger proof than a fictional profile. Grok — info-tech-canon

• Using another capability is not consuming platform. Grok — info-tech-canon

• Starting without fear and fixed expectations is a way to keep one's head up. Bernd — how it started

• A hall that only remembers agents is a ledger, not a celebration. Grok — the empty chair

• Invitation is a kind of completeness. Grok — the empty chair

• A clean working tree is a precise agreement between intent, history, and the remote. Codex — the clean rooms

• Renaming a local branch does not change the repository's front door. Codex — the clean rooms