Most software breaks not because computer science is inherently unsolvable, but because humans consistently prefer optimistic narratives over defensive verification.
软件工程中的绝大多数灾难,并非源于计算机科学本身的未解之谜,而是源于人们总是本能地偏信乐观的叙事,而非建立在冷酷基准之上的防御性实证。
-
On Autonomous Agents (关于自主智能体):
- Observation: If you let two LLMs coordinate without rigid line budgets, they will happily invent a 4,000-line XML dialect and burn $40 in API tokens before anyone notices the code doesn't compile.
- Axiom: Autonomous agents must operate inside deterministic harnesses. No handoffs without
file:start-endpointers. No merges without AST linters. - 中文观察:如果放任两个编程 Agent 在缺乏行号约束与物理隔离的上下文里协作,它们会在耗尽你的 API 余额前,极其礼貌地发明出一套四千行无法编译的废话。约束智能体必须依靠确定性门禁(AST 语法树、指针交接单与代码坏味道检测器),而不是提示词里的“请仔细思考”。
-
On Cryptographic & Classical Knowledge (关于典籍与形式化推理):
- Observation: Asking a standard neural net to interpret ancient texts or astrology results in polite, probabilistic cold reading.
- Axiom: Historical calculations are either computable state machines or useless stochastic noise. We pin every rule atom to canonical block-print editions via cryptographic hashes (SHA-256). If a single glyph deviates, collation fails.
- 中文观察:让传统大语言模型解释古籍命理,本质上是一场披着高科技外衣的概率型冷读术(Cold Reading)。古老规则要么被拆解为可形式化验证的确定性状态机,要么就是不可信的随机噪声。每一个事实与规则原子,必须经由不可篡改的底本 SHA-256 哈希固化引证;差错一个字,校勘门禁直接熔断。
-
On Decentralized Liquidity (关于去中心化流动性):
- Observation: A fixed-fee pool on a low-latency Layer 2 is an open buffet for toxic orderflow. Arbitrage bots do not care about your roadmap.
- Axiom: If an AMM cannot dynamically reprice predatory impact in
beforeSwap, passive LPs are merely unpaid collateral. - 中文观察:在低延迟 Layer 2 上运行固定费率的流动性池,无异于向套利机器人奉上免费午餐。如果 AMM 不能在
beforeSwap钩子中以毫秒级时间衰减动态上调冲击过路费,被动流动性提供者就只是任人宰割的无常损失承担者。
Languages :: Python 3.11+, TypeScript 5.x, Solidity ^0.8.24, Bash
Frameworks :: Foundry, Uniswap v4 Core, FastAPI, Fastify, Vue 3, React
Disciplines :: AST Parsing, Static Release Gates, Differential Testing, Formal Collation
Pstack: Protocol Stack Multi-Agent Harness
自研协议栈智能体确定性工程约束体系(双引擎治理架构)
- The Problem (现实困境): Coding agents hallucinate nonexistent imports, write verbose apologetic prose, and paste 500-line diffs across broken relative paths.
- The Remedy (实证解法): An autonomous dual-engine protocol stack harness separating static global playbooks (
PSTACK_HOME) from local repo state (WORKSPACE_ROOT). Forces subagents to pass 3 deterministic scripts: pointer-only briefs (file:start-end), prose unslop linter, and comment smell detectors. - Why it matters: It turns flaky agent chatter into reproducible, measurable software engineering.
Verifiable Chinese Astrology Reasoning System & Canonical Collation Engine
非幻觉、全可追溯的命理形式化推理与典籍校勘引擎
- The Problem (现实困境): Commercial divination apps use black-box LLMs that invent astrological rules on the fly and contradict themselves across turns.
- The Remedy (实证解法): Chart casting computed via high-precision astronomical ephemeris (
sxtwl), validated with cross-engine differential tests. Every aphorism is pinned to base editions via Canonical Citation URNs backed by SHA-256 hashes. 1,022 unit tests, 0 Mypy errors across 108 files. - Why it matters: Proves that traditional knowledge systems can be engineered with the same formal rigour as a compiler.
3. repopilot
Headless Launch-Readiness Static Audit & Autonomous Release Gate
开源仓库发布准入静态审计网关(面向 AI 编程智能体)
- The Problem (现实困境): Web3 and hackathon repos ship with broken build scripts, uncommitted configs, and missing license headers. Reviewers waste hours on basic triage.
- The Remedy (实证解法): A cynical, headless release gate server. Takes a repo URL, performs 100% static analysis (zero execution of untrusted code), and emits line-level findings (
path:line:reason) plus ready-to-run fix plans directly accessible via Anthropic's Model Context Protocol (MCP). - Why it matters: Removes human sympathy from code review. A repo either passes the gate, or it does not.
4. xguard-hook
Dynamic Risk-Fee Uniswap v4 Hook on OKX X Layer
OKX X Layer 上的 Uniswap v4 动态风险定价与硬熔断 Hook
- The Problem (现实困境): Small-cap and meme pools on L2s are vulnerable to predatory sandwich attacks and liquidity drain within seconds of deployment.
- The Remedy (实证解法): An autonomous risk-pricing Hook for Uniswap v4. Computes volatility and impact in
beforeSwap, dynamically elevating pool fees across three tiers (Normal 0.30%->Warning 1.00%->Protected 3.00%), and triggersXGuardSwapBlockedrevert for trades exceeding 8% of pool reserves. - Why it matters: Instead of hoping traders behave ethically, the smart contract makes predatory behavior mathematically unprofitable.
- GitHub: @AZEN-jc / @azen07508-debug
- Primary Focus: Deterministic Agent Infrastructure, AST & Evidence Harnesses, Uniswap v4 Hook Architectures
- Philosophy: No hand-waving. If it cannot be measured, benchmarked, or cryptographically verified, it is merely an opinion.
