frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: A hash-chained ledger for AI reasoning you can verify yourself

https://www.sdi-protocol.org
2•dj_johnsonMid•1h ago
SDI protocol defines a reasoning computer for AI. The computer runs an LLM one turn at a time, guiding it through a reasoning grammar; the grammar, which is both natural language and algebraic, allows it to be checked at a compile gate. The gate validates safety, a workfloor, and alignment with the grammar before it commits. What commits is a hash-chain ledger of the agent's reasoning, forming a longitudinal data set that becomes the agent's functional memory/system state. Chromite, the protocol's public agent, has been reasoning on one continuous hash chain since springtime this year and has used multiple models through three frontier providers to do so.

What makes it more than a log of its reasoning is an argumentation graph. The graph is the memory and is retrieved and fed to the agent during its call sequence. The agent can hold or defeat prior acts, keeping the memory calibrated and the context window under control. Anyone can pull an act and recompute the seals for Chromite; it exists to be examined; that is what this post is requesting. No account, no SDK, curl and Python.

I spent 20+ years as a Marine working in command and control, learning decision doctrine and intelligence gathering. I have been working on this system for roughly three years and its a solo build. I have a lineage page on the site to show the computing and reasoning traditions this system uses, but that was all discovered along the way or after the build. This system really comes from taking decision doctrine and turning it into a computable syntax and taking intelligence-gathering techniques for evidence handling.

Ten seconds, if you just want to see the gate work: curl -s https://www.sdi-protocol.org/_functions/der | python3 -c "import json,sys; print(json.dumps(json.load(sys.stdin)['golden_example']))" > example.json

  curl -s -X POST https://www.sdi-protocol.org/_functions/compile -H "Content-Type: application/json" -d @example.json
Returns PASS. What you just submitted is a complete reasoning record, with every required block, which is why it passes. Delete one field and resubmit; the error names the specific failure.

To examine system liveness, pull Chromite's last 5 reasoning acts. You will see the full reasoning act. The grammar, cited sources, and reasoned positions.

  curl -s "https://api.sdi-protocol.org/ledger/recent/SDI-5AA8C82A2537?n=5" | python3 -m json.tool
Fifteen minutes, if you want to verify the chain: sdi-protocol.org/verify walks through pulling a live record and recomputing its hashes, work score, and admissibility index from scratch. The repo has the same scripts, check summed, plus a committed record you can test them against offline first: github.com/StructuredDecisionIntelligence/Structured_Decision_Intelligence

Three ethical floors at the gate. DECLARATION_INTEGRITY has fired. The two conjunction-based safety guards, PRIMUM and Absolute Value Guard, that admit no human attestation by permanent design have not fired yet. No act has ever declared the conditions to trip them. Refusal path is a separate hash chain ledger, and the DECLARATION_INTEGRITY check is inspectable.

Schema Eras: The reasoning metrics that work at the gate have evolved, the chain remains unbroken, and sealed records permanently carry their eras formulas; sealed records can't be rewritten. The verify script detects each entry's era and applies the right math.

The sdi-protocol.org exists to provide transparency over the reasoning protocol that produces transparent AI reasoning. The idea is that both must be transparent to trust either. Disclosure: This will be a commercial product at sdireckoner.com, commissioning a private Reckoner in late fall 2026, but everything in this post is about the free open protocol layer; nothing requires a paid side to verify anything. Chromite exists to be examined by the public as part of the transparency of the protocol itself.

Feedback welcome at support@sdi-protocol.org.

Comments

dj_johnsonMid•14m ago
Hey everyone, thanks for checking this out, the site and pull commands are all about inspecting my systems public Reckoner "Chromite" The site explains everything pretty well (IMO), lol, But Im happy to discuss the gate logic, argumentation graph, or reasoning grammar etc here. Im also happy to show a live demo if anyone is interested albeit the UX isn't fully complete yet.

Thinking Is Slow. Copying Is Fast

https://michaelgv.uk/posts/2026/08/thinking-is-slow-copying-is-fast/
1•NesquikMike•22s ago•0 comments

US judge postpones Lockerbie bombing trial over new evidence

https://www.scmp.com/news/world/united-states-canada/article/3365118/judge-postpones-us-trial-lib...
1•Markoff•1m ago•0 comments

Branded Types and Connascence of Execution

https://www.dearlordylord.com/blog/branded-types-connascence-of-execution/
1•Firfi•2m ago•1 comments

Ora benchmarks every major AI agent on Vercel – Customers

https://vercel.com/customers/how-ora-benchmarks-every-major-ai-agent-on-vercel
1•kyisaiah47•3m ago•0 comments

Run Minecraft in a Windows Sandbox

https://cua.ai/docs/how-to-guides/sandbox/minecraft
2•someguy101010•3m ago•0 comments

Windows Syscall Tables

https://github.com/hfiref0x/SyscallTables
1•wolfi1•3m ago•0 comments

Christopher Hitchens's Ten Commandments – Vanity Fair [video]

https://www.youtube.com/watch?v=v-63cTYJDCA
1•nomilk•4m ago•0 comments

Recommendations When Using LLM-Backed GenAI Systems for FOSS Contributions

https://sfconservancy.org/llm-gen-ai/llm-backed-generative-ai-recommendations.html
2•smartmic•4m ago•0 comments

Show HN: CanvasForMusic – I made a free Spotify Canvas maker that doesn't suck

https://canvasformusic.com
1•matherslabs•5m ago•0 comments

Twinly Lab – AI Twin Marketplace for Creators

https://twinlylab.com/
1•aleksnowacki•7m ago•0 comments

GrapheneOS Apps

https://www.sacredheartsc.com/blog/grapheneos-apps/
1•cullumsmith•7m ago•0 comments

What Is the Point of the DMA?

https://daringfireball.net/2026/08/what_is_the_point_of_the_dma
1•MBCook•8m ago•0 comments

Show HN: TheGitAI – A model-agnostic coding agent for your terminal

https://thegit.ai/
2•waximabbax•10m ago•0 comments

Auditing 5,284 dbt models across 13 public repos for analytics-agent readiness

https://blog.getcassis.com/dbt-context-for-analytics-agents/
1•matthieu_bl•11m ago•1 comments

Show HN: ToolHub – Free browser based tools that process files locally

https://toolhub.divyanshupatel.com
1•divyanshupatel_•11m ago•0 comments

Alabama Coming for OpenAI

https://www.cnn.com/2026/08/24/tech/openai-subpoena-hugging-face-attorney-general-alabama
2•vc14•12m ago•2 comments

An Introduction to Canvas in GNU Emacs

https://monadicsheep.org/blog/an-introduction-to-canvas-in-emacs.html
2•chiply•13m ago•0 comments

New to Hacker News

3•akhtaaar•13m ago•2 comments

Show HN: Fingerink – Write with your finger on old Kindle Paperwhite

https://github.com/SMUsamaShah/fingerink.koplugin
1•smusamashah•14m ago•1 comments

Show HN: minuteboard – an editorialized imageboard with a minutes based economy

https://scramblecrossing.net/
1•concraper•14m ago•0 comments

Hall of Hallucinated Citations in Published Papers

https://veruscite.com/hallucinations
2•apwheele•15m ago•0 comments

PgDog vs. RDS Proxy

https://pgdog.dev/blog/pgdog-vs-rds-proxy
2•levkk•17m ago•0 comments

Developer Hiring and the Market for Lemons

https://danluu.com/hiring-lemons/
1•rzk•18m ago•0 comments

Webbynode Bang for Buck: Hetzner CPX22 at $23, Still a Bargain?

https://webbynode.com/articles/bang-for-buck-3-hetzner-cpx22-nuremberg
1•gsgreen•18m ago•0 comments

Weird Websites

https://webernaut.com/weird-websites
3•gregsadetsky•18m ago•0 comments

Show HN: Save Claude, codex, Grok and OpenCode sessions to an infinite canvas

https://agentgrid.sh/
1•yagudaev•18m ago•0 comments

Stanley Druckenmiller's WSJ Op-Ed Criticizing Bessent Was Written with AI

https://www.notus.org/media/stanley-druckenmillers-wsj-op-ed-bessent-ai
1•cwwc•20m ago•0 comments

How does Bot and Fraud prevention even work?

https://trustsig.eu/blog/how-bot-and-fraud-prevention-works/
1•ishqdehlvi•20m ago•0 comments

PowerAI – A zero-dependency local terminal AI harness using Ollama

https://github.com/Luizhcrs/powerai
2•luizhcrs•20m ago•1 comments

Gaza children grew up flying kites,now Israel say they will be treated as drones

https://www.thenationalnews.com/news/mena/2026/08/25/gazas-children-grew-up-flying-kites-now-isra...
4•Markoff•21m ago•2 comments