Notebook session ended
This session ended after eight hours.
Sign in again to continue from where you left off.
Notebook gate offline
The sign-in service is not responding right now.
Wait a minute and try again, or read what is already public from the hub.
Cards that explain how messages, frames, and contracts move on the wire. Read when you need the exact shape, not the metaphor.
Use when: interpreting a History row's status pill; wiring a CI exit-code policy; deciding whether flake_retries should escalate
Use when: naming a brand-new event subject; writing a NATS subscription filter; reviewing a PR that introduces an event
Use when: rendering job status in the UI; writing an assertion in a job-related test; deciding which states are terminal for log retention
Use when: choosing the correct code for a new failure path; writing client logic that branches on error semantics; auditing whether upstream errors are correctly classified
Use when: debugging packet corruption; adding a new envelope field; explaining wire format to someone
Use when: wiring a new consumer to the right stream; deciding which event domain a new proto belongs in; naming a stream for a new factory-equipment service
Use when: writing a pre-send validator that aborts bad inputs; writing a post-send checker that drives the verified counter; debugging why kick aborted before sending
Use when: tuning meta.description so the right queries auto-load the skill; adding negative examples to eval.yml.triggering; diagnosing a should_match failure
Use when: writing an import statement and getting an FM-02 error; designing a new domain or unit slug; parsing unit references in tooling
Use when: designing gate conditions; debugging unexpected vetoes; understanding fail-open vs fail-closed behaviour
Use when: understanding cross-system identity mapping; implementing namespace resolution; debugging mapping conflicts
Use when: subscribing a new client to live cache events; deciding whether to invalidate a TanStack Query cache on an event; debugging why the dashboard never refreshes after a compress
Use when: writing a client retry loop for `POST /api/jobs`; investigating why a 'duplicate' job actually returned the same id; tuning the idempotency cache TTL
Use when: verifying a unit hasn't been tampered with; extracting the SPUH prefix for routing; diagnosing a `blake3:` prefix mismatch
Use when: designing a new AEGIS commitment for a previously untracked attribute; debugging a commitment verification mismatch in CommitmentManager; understanding why a nonce is generated with blake3 rather than a CSPRNG
Use when: wiring an analytics consumer to onboarding signals; adding a new step to the onboarding flow; distinguishing skipped from abandoned in the dashboard
Use when: adding a new slash command to the editor palette; debugging a smartblock that didn't fan out to webhooks; deciding whether a new editor action needs its own NATS event
Use when: debugging AUTH_REQUIRED errors on the relay; adding a new privileged message type; wiring a new identity provider
Use when: adding a new privileged WS handler; debugging clients that never receive broadcasts; tracing why a connection was dropped
Use when: promoting a prompt from draft to tested; promoting a prompt from tested to ready; diagnosing why eva promote refuses to bump status
Use when: debugging why a {{var}} did not substitute; deciding between --var, --var-file, and --case; writing a guard.sh that overlays variables
Use when: validating sprite/council/chain definitions; understanding schema structure and $defs; extending the IRIS schema
Use when: tuning max_ralph_iters for a flaky node; diagnosing flake_retries counts; writing a new done_when command
Use when: wiring a new client to the Engine; adding a new operation endpoint; auditing which routes require auth vs are open
Use when: adding a new achievement definition; debugging why an achievement did not unlock; writing a unit test for criteria evaluation
Use when: investigating a stuck build that never reached a worker; deciding which queue a new event type should go on; tuning publisher confirms or retry backoff
Use when: wiring a new live event type into the dashboard; debugging missed updates on the build stream; estimating fan-out cost of a broadcast
Use when: learning STRATT for the first time; explaining the protocol to a new team member; understanding the big picture before diving into details
Use when: naming a new event so consumers can subscribe to it correctly; auditing which services consume a given producer's events
Use when: choosing a MergeStrategy when implementing a merge endpoint; diagnosing why merge returns a Manual error in a non-interactive context; computing which nodes a branch adds beyond the canonical set
Use when: registering a new MCP tool; deciding which tool to expose to Claude vs HTTP-only; auditing the tool catalogue
Use when: reading verification counters after a batch signature check to determine failure rate; choosing between verify_signature and verify_signature_proof when handling an AuditSignature vs a SignatureProof; diagnosing why verify_proof_path returns Err while verify_merkle_proof returns Valid for the same proof
Use when: diagnosing why verify_zk_proof returns Ok(false) for a proof that appears structurally valid; measuring verification throughput from VerificationStats; understanding the commitment-component relationship checked during verification
Use when: debugging a site stuck mid-provision; extending the saga with a new state; extracting the orchestrator into choco-forge
Use when: implementing a new timeline UI control; debugging timeline_snapshot returning the wrong content; tuning timeline bucket size for chatty edits
Use when: adding a new case to eval.yml; choosing between assertions and a rubric judge; debugging a failing eva eval run
Use when: adding a choco:// import to a STRATT unit; debugging an FM-02 broken-import on a foreign URI; wiring up the HTTP-mode resolver for production
Use when: designing a gated chain step; explaining why a chain has been parked for hours; deciding whether a change needs a major version bump
Use when: submitting a RALPH run from the console UI; debugging an SSE stream that stalls mid-run; moving the worker between in-process and sidecar transport
Use when: implementing a new HEARTH driver (Kustomize, DevarnoCloud, or beyond); writing a contract test against FakeDriver; tracing why a Status call returned tier_torn_down
Use when: adding a new event subject; diagnosing missed events or slow consumers; sizing storage for a new tenant
Use when: wiring a new Polar webhook event; diagnosing why a tier upgrade did not apply; writing an HMAC verification test
Use when: implementing the streaming log viewer in the UI; diagnosing reconnect/replay gaps in a long job; deciding how long to retain log lines after terminal state
Use when: debugging a stuck build; tuning the build context timeout; tracing how a BuildJob becomes a recorded build row
Use when: investigating a tier upgrade that did not propagate to the JWT; wiring a new Polar product or webhook event
Use when: diagnosing why a user appears online after their socket dropped; broadcasting a notification to a single user across all their tabs
Use when: implementing a 'view document at point-in-time' feature; computing the diff between two temporal snapshots of a timeline; building a breadcrumb UI trail of historical state changes
Use when: uploading a new CSV requirement set; debugging a stuck `running` job; extending the ingestion validators
Use when: understanding why add_state_proof returns Err when a StateProof has operation_count == 0; computing the cumulative size of a timeline's proof chain before serialising for export; verifying a sealed timeline by walking its StateProof chain
Use when: exporting a document timeline as court-admissible evidence after all operations are complete; choosing a SealReason value when closing a timeline due to regulatory retention completion; verifying a SealedTimeline received from an external auditor by checking witness seals
Use when: diagnosing why a peer keeps falling back to WebRTC when BLE should be available; tuning the EMA alpha or initial latency priors for a new deployment environment; understanding how Transport.preferred is chosen and when it is reselected
Use when: diagnosing why Theorem 1 (≤8 ms delivery) is breached in a specific deployment; choosing between WeaveConfig.clock_tolerance_ms values for a new environment; understanding the difference between ClockStatus variants and what triggers each
Use when: understanding how deletions work in FNP; implementing delete operations; understanding soft deletes and tombstones
Use when: implementing or debugging fingerprint computation; cross-system identity verification; understanding the STRATT-compatible hash pipeline
Use when: tracing a slow timeline analysis; adding a new analysis algorithm; investigating missing XP after analysis
Use when: reproducing a fingerprint mismatch across languages; porting STRATT verification to a new runtime; writing a new test vector for canonicalisation
Use when: verifying that a specific operation is included in the audit log without replaying the full log; computing the root hash from a leaf after receiving a ProofPath over the wire; debugging why MerkleProof::verify returns false for a newly created proof
Use when: validating that a Roughtime timestamp meets the ±100ms legal precision target from SRS SEAL-NF-003; debugging a TimestampProof that passed threshold but has a radius_us outside acceptable bounds; selecting between RoughtimeProof, RFC3161Proof, and BlockchainProof for a given compliance requirement
Use when: debugging why a message is stuck in the DAG and never delivered to the application; tracing a causal ordering violation in a test replay; reviewing Algorithm 1 correctness under concurrent message arrivals
Use when: understanding the end-to-end insert operation; implementing insert operations; debugging insertion issues
Use when: implementing a non-JS GRACE verifier (Rust, Go, Python); investigating a fingerprint mismatch between two machines; diffing a unit's wire-form against its source YAML
Use when: designing chain execution logic; debugging vetoed or failed chains; understanding the synchronous execution model
Use when: debugging encoding errors; optimizing packet size; implementing a new encoder
Use when: debugging why the broadcast root keeps changing unexpectedly under topology churn; evaluating whether the Prim's-algorithm rebuild every 200 ms is creating a latency spike; tracing the broadcast path for a message originating from a non-root peer