Skip to content

Instantly share code, notes, and snippets.

View zmanian's full-sized avatar

Zaki Manian zmanian

523 followers · 311 following
View GitHub Profile
@zmanian
zmanian / zebra-req-trace.log
Created May 30, 2026 18:09
Zebra #5709 — request-trace: 206/899 requests hang past the 90s bound, never emit any further event
# Zebra #5709 — request-trace capture (exp/5709-instrument-request)
#
# Config: download_concurrency_limit=50, stall_restart_timeout=0s (stall detector OFF)
# Build: zmanian/zebra@exp/5709-instrument-request (full fix stack + REQUEST-entry logging)
# State at capture: verified_height=1,732,187, continuous_height=1,732,187, next_height=1,732,190 (gap=3)
#
# Stuck blocks (per blockchair canonical):
# 1,732,188 hash=000000000192c57103c7f8d821b000e8637870b7408af3ae9b624483095a05a7
# 1,732,189 hash=000000000109efac976b4cca733d50b222aa6eca5eef5f1555f2f6c519ffb037
#
@zmanian
zmanian / zebra-dbg5709-frontier-with-header.log
Created May 30, 2026 16:43
Zebra #5709 — dbg5709 lifecycle capture, block 1,732,117 never appears in any event (request-side gap)
# Zebra issue #5709 — instrumented binary capture
#
# Build: zmanian/zebra@exp/5709-instrument-lifecycle (info-level dbg5709 lifecycle)
# Host: GCP c4-standard-24, mainnet, network_upgrade=Nu5 (sandblasting era)
# State at capture: verified_height=1732115, continuous_height=1732116, processing_next=1732115
#
# Critical finding: block 1,732,117 NEVER appears in any dbg5709 event
# - Not in: downloaded
# - Not in: queue_block (neither accepted nor rejected)
# - Not in: verifier
@zmanian
zmanian / zebra-frontier-watch.log
Created May 30, 2026 16:31
Zebra issue #5709 — 30-min frontier-vs-download watch on exp/5709-no-poison-on-transient-error, stuck at verified=1732115
16:20:25 cont=1732124 verified=1732115 next=1732115 max=1733509 slots=845 waiting=1247 inflight=272 downloaded=1247 | dropped: alreadyq=9 noheight= minh= maxh= cancelV=1005
16:20:55 cont=1732124 verified=1732115 next=1732115 max=1733509 slots=891 waiting=1418 inflight=369 downloaded=1418 | dropped: alreadyq=9 noheight= minh= maxh= cancelV=1005
16:21:25 cont=1732124 verified=1732115 next=1732115 max=1733509 slots=891 waiting=1418 inflight=369 downloaded=1418 | dropped: alreadyq=9 noheight= minh= maxh= cancelV=1005
16:21:55 cont=1732124 verified=1732115 next=1732115 max=1733509 slots=891 waiting=1418 inflight=261 downloaded=1418 | dropped: alreadyq=11 noheight= minh= maxh= cancelV=1005
16:22:25 cont=1732124 verified=1732115 next=1732115 max=1733509 slots=891 waiting=1418 inflight=261 downloaded=1418 | dropped: alreadyq=11 noheight= minh= maxh= cancelV=1005
16:22:55 cont=1732124 verified=1732115 next=1732115 max=1733509 slots=891 waiting=1418 inflight=261 downloaded=1418 | dropped: alreadyq=11 noheight= minh= ma
@zmanian
zmanian / zebra-sync-stall-gist.md
Created May 30, 2026 04:43
Getting zebrad off a wedged initial sync — symptoms, mis-diagnoses, and the checkpoint_verify_concurrency_limit fix (May 2026)

Getting zebrad off a wedged initial sync — a 2026-05-29 field report

This is a write-up of debugging a zebrad mainnet initial sync that wedged repeatedly at ~42% on otherwise perfectly-spec'd hardware. The summary up front: it's a real upstream bug ([ZcashFoundation/zebra#5709][issue]) and the ZEBRA_SYNC__CHECKPOINT_VERIFY_CONCURRENCY_LIMIT knob (NOT the two knobs the name implies you'd reach for) is the fix that actually moves the needle.

If you're hitting the same symptom, scroll to "What actually worked." If you want the diagnostic walk, read on.

@zmanian
zmanian / CrosslinkBaseline.qnt
Last active May 20, 2026 04:41
Crosslink Quint specs for nil-precommit resampling, fork finality, dynamic sigma, telemetry, and accountability witnesses
// -*- mode: Bluespec; -*-
module CrosslinkBaselineStableModel {
/*
Baseline Crosslink fixes the current/sticky Tenderlink behavior:
- sigma is fixed outside this focused model;
- proposals sample the current PoW stream;
- a nil-precommit quorum advances the round but does not resample or unlock
same-round Tendermint state.
@zmanian
zmanian / SKILL.md
Created April 2, 2026 18:00
Claude Code skill: Generate Notion activity reports for git repos

name: notion-repo-report description: Generate a Notion activity report for a git repo covering a time period (default 24h). Includes a human-friendly summary, detailed workstream breakdown with GitHub links, open PR activity, and stats. Optionally publish under a specified Notion parent page. triggers:

  • notion report
  • repo report
  • activity report
  • what happened in the repo
  • daily report
  • generate report
@zmanian
zmanian / index.html
Created March 25, 2026 16:14
Cosmos Hub Economic Primitives: Pool Minimalism (v4 - AI threat, formal verification)
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Pool Minimalism &mdash; A New Security Architecture for Cosmos Hub DeFi</title>
<meta name="description" content="How ATOM Intents evolves into a complete economic primitives stack for Cosmos Hub using pool-minimal architecture.">
<link rel="preconnect" href="https://fonts.googleapis.com">
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
<link href="https://fonts.googleapis.com/css2?family=DM+Serif+Display:ital@0;1&family=IBM+Plex+Mono:wght@400;500;600&family=Source+Sans+3:ital,wght@0,300;0,400;0,600;0,700;1,400&display=swap" rel="stylesheet">
@zmanian
zmanian / index.html
Created March 25, 2026 16:11
Cosmos Hub Economic Primitives: Pool Minimalism (v3 - fixed/variable rates)
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Pool Minimalism &mdash; A New Security Architecture for Cosmos Hub DeFi</title>
<meta name="description" content="How ATOM Intents evolves into a complete economic primitives stack for Cosmos Hub using pool-minimal architecture.">
<link rel="preconnect" href="https://fonts.googleapis.com">
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
<link href="https://fonts.googleapis.com/css2?family=DM+Serif+Display:ital@0;1&family=IBM+Plex+Mono:wght@400;500;600&family=Source+Sans+3:ital,wght@0,300;0,400;0,600;0,700;1,400&display=swap" rel="stylesheet">
@zmanian
zmanian / index.html
Created March 25, 2026 15:24
Cosmos Hub Economic Primitives: Pool Minimalism (v2)
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Pool Minimalism &mdash; A New Security Architecture for Cosmos Hub DeFi</title>
<meta name="description" content="How ATOM Intents evolves into a complete economic primitives stack for Cosmos Hub using pool-minimal architecture.">
<link rel="preconnect" href="https://fonts.googleapis.com">
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
<link href="https://fonts.googleapis.com/css2?family=DM+Serif+Display:ital@0;1&family=IBM+Plex+Mono:wght@400;500;600&family=Source+Sans+3:ital,wght@0,300;0,400;0,600;0,700;1,400&display=swap" rel="stylesheet">
@zmanian
zmanian / index.html
Created March 25, 2026 15:21
Cosmos Hub Economic Primitives: Pool Minimalism
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Pool Minimalism &mdash; A New Security Architecture for Cosmos Hub DeFi</title>
<meta name="description" content="How ATOM Intents evolves into a complete economic primitives stack for Cosmos Hub using pool-minimal architecture.">
<link rel="preconnect" href="https://fonts.googleapis.com">
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
<link href="https://fonts.googleapis.com/css2?family=DM+Serif+Display:ital@0;1&family=IBM+Plex+Mono:wght@400;500;600&family=Source+Sans+3:ital,wght@0,300;0,400;0,600;0,700;1,400&display=swap" rel="stylesheet">