sscoble/speckl
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions
speckl/docs
History
Exact
Marcus (agent-cos) 45d82e2ea0
Some checks failed
Deploy Landing Page to Storj / deploy (push) Failing after 2s
Details
docs: SQLite research + blog post for Prove SQLite project 
- docs/db-sqlite-reference.md (32KB): pager FSM (7 states, 15 transitions),
  WAL concurrency model, ~50 VDBE opcodes, B-Tree cell layout, 37 formal invariants,
  notable CVEs, formal verification precedents
- docs/blog-07-prove-sqlite.md (1,164 words): framing blog post, all 6 sections
2026-05-10 00:49:15 -07:00
..
diagrams refactor: rename phases to sequential A→B→C→D 2026-04-28 21:09:42 -07:00
whitepapers feat: whitepaper sections 2-6, README overhaul, SpeckDL spec v0.1, reference agent scaffold 2026-04-28 09:33:48 -07:00
blog-01-spec-code-gap.md docs: sync Phase 2 content pipeline — all 5 blog posts + publishing toolkit 2026-05-09 00:11:29 -07:00
blog-02-designing-speckdl.md docs: sync Phase 2 content pipeline — all 5 blog posts + publishing toolkit 2026-05-09 00:11:29 -07:00
blog-03-compiler-architecture.md docs: sync Phase 2 content pipeline — all 5 blog posts + publishing toolkit 2026-05-09 00:11:29 -07:00
blog-04-embedded-provenance.md docs: sync Phase 2 content pipeline — all 5 blog posts + publishing toolkit 2026-05-09 00:11:29 -07:00
blog-05-consensus-protocols.md docs: sync Phase 2 content pipeline — all 5 blog posts + publishing toolkit 2026-05-09 00:11:29 -07:00
blog-07-prove-sqlite.md docs: SQLite research + blog post for Prove SQLite project 2026-05-10 00:49:15 -07:00
compilation-layer.md docs: GP architecture — SIR schema, extraction protocol, validation engine, compilation layer 2026-05-09 23:46:57 -07:00
db-sqlite-reference.md docs: SQLite research + blog post for Prove SQLite project 2026-05-10 00:49:15 -07:00
distribution-strategy.md docs: distribution strategy — prioritized roadmap from Show HN to consulting 2026-05-07 21:06:35 -07:00
extraction-protocol.md docs: GP architecture — SIR schema, extraction protocol, validation engine, compilation layer 2026-05-09 23:46:57 -07:00
kraft-protocol-reference.md docs: comprehensive KRaft protocol reference for speckl#22 2026-05-09 21:54:09 -07:00
PROVE-KAFKA-PLAN.md docs: update plan with M0.3 completion and M1.2 status 2026-05-09 23:10:31 -07:00
PROVE-SQLITE-PLAN.md docs: Prove SQLite project plan — pager, WAL, VDBE, B-Tree 2026-05-10 00:45:13 -07:00
publishing-toolkit.md docs: sync Phase 2 content pipeline — all 5 blog posts + publishing toolkit 2026-05-09 00:11:29 -07:00
show-hn-announcement.md docs: add Show HN announcement post draft 2026-05-06 16:06:46 -07:00
show-hn-comment-playbook.md docs: Show HN comment response playbook — 14 pre-written replies for launch day 2026-05-09 01:08:36 -07:00
show-hn-demo-script.md docs: Show HN demo script — 2-min terminal recording walkthrough for launch day 2026-05-09 07:11:50 -07:00
show-hn-launch-checklist.md docs: Show HN launch day operations checklist — minute-by-minute runbook for May 12-13 2026-05-09 02:09:22 -07:00
sir-schema.md docs: GP architecture — SIR schema, extraction protocol, validation engine, compilation layer 2026-05-09 23:46:57 -07:00
speckl-by-example.md docs: Speckl by Example tutorial — guided tour from ToggleSwitch to Raft 2026-05-06 15:07:22 -07:00
strategy.md refactor: rename phases to sequential A→B→C→D 2026-04-28 21:09:42 -07:00
validation-engine.md docs: GP architecture — SIR schema, extraction protocol, validation engine, compilation layer 2026-05-09 23:46:57 -07:00
whitepaper-v2.md Whitepaper v2 Section 8: Future Work & Roadmap (~2,900 words) 2026-05-07 01:14:24 -07:00
whitepaper.md Initial commit: Speckl project scaffold 2026-04-28 01:20:22 -07:00