sscoble/speckl
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • 264318c9ed lagrangia v1.1: real Z3 wiring via shell-out to z3 -smt2 lagrangia-v1.1 tef-engine 2026-07-19 01:35:04 -07:00
  • 9e4ac1b120 ifblock-fix: real if/else codegen + parser require-continuation fix ifblock-fix tef-engine 2026-07-19 01:28:00 -07:00
  • 8f78ceac28 fix(rust): replace now() TODO stub with real SystemTime::now() call now-fix tef-engine 2026-07-19 01:26:26 -07:00
  • d5489234e1 feat(lagrangia): action functional + ToggleSwitch stationary-point test tef-engine 2026-07-18 22:10:09 -07:00
  • 313be7997e feat(lagrangia): action functional + ToggleSwitch stationary-point test lagrangia-score tef-engine 2026-07-18 22:10:09 -07:00
  • 5b2fdc7d59 wip: working copy state at jj git init tef-engine 2026-07-18 22:08:57 -07:00
  • 857fa6ceb4 fix: test path resolution — use __dirname instead of process.cwd() (cycle 74) Scott Scoble 2026-06-29 19:09:47 -07:00
  • fa6f5bcf21 test: add 12 regression tests for Z3/TS/Rust expression translation Scott Scoble 2026-06-29 17:46:17 -07:00
  • 37cdc59180 fix(ts,rust): real constraint/verify expressions, dedup fix, implies translation Scott Scoble 2026-06-29 17:39:06 -07:00
  • 3ca5a8d21a fix(z3): preserve implies args, multi-level field access, len(), nil, distinct operator Scott Scoble 2026-06-29 17:31:31 -07:00
  • 7ce0b7fecc fix(speckl): TS generator — emit interface record types (cycle 73) Scott Scoble 2026-06-29 17:16:11 -07:00
  • 84b8962d22 fix(speckl): Rust generator — Date type, record structs, event enum (cycle 73) Scott Scoble 2026-06-29 17:14:12 -07:00
  • e5ee3fe1c0 refactor(speckl): replace static-field hack with local-object pattern (cycle 73) Scott Scoble 2026-06-29 14:29:30 -07:00
  • 121ac7de33 fix(speckl): error on unrecognized lines in service blocks (D3, cycle 73) Scott Scoble 2026-06-29 14:01:58 -07:00
  • 5ae89e943c test(speckl): lock in List<T> in interface record fields (cycle 73) Scott Scoble 2026-06-29 12:15:47 -07:00
  • 04fa9844f4 fix(speckl): protobuf generator — List<T> in interfaces, enum prefix, transition type field, Date in interfaces (cycle 73) Scott Scoble 2026-06-29 12:12:40 -07:00
  • 7beaf6f3cc fix(speckl): strip default-value syntax from event field types (cycle 65) Scott Scoble 2026-06-28 22:36:36 -07:00
  • f37c0ccc57 feat(speckl): emit TransitionNode and OneofNode in proto generator (cycle 64) Scott Scoble 2026-06-28 22:31:24 -07:00
  • 4d95a2b975 fix(speckl): dispatch 'state as <Name>' to parseStateBlockMultiline (cycle 63) Scott Scoble 2026-06-28 22:29:28 -07:00
  • 0e03aa4e04 fix(speckl): strip inline // comments from event/interface field types (cycle 62) Scott Scoble 2026-06-28 22:26:06 -07:00
  • a6bdbce915 feat(speckl): event_suffix directive + static-field reset (cycle 61) Scott Scoble 2026-06-28 22:02:12 -07:00
  • ec0f213448 test(speckl): lock in enum interface classification (cycle 60) Scott Scoble 2026-06-28 21:57:06 -07:00
  • 0ab3174314 feat(speckl): state as <Name> message override (cycle 59) Scott Scoble 2026-06-28 21:55:54 -07:00
  • b65bf0e206 feat(speckl): transition envelope (cycle 58) Scott Scoble 2026-06-28 21:53:38 -07:00
  • 0e42961525 feat(speckl): oneof syntax for proto wire-format discriminated unions (cycle 57) Scott Scoble 2026-06-28 21:49:26 -07:00
  • adc5b75bff feat(protobuf): honor speck.protoPackage and speck.goPackage overrides Scott Scoble 2026-06-28 21:49:19 -07:00
  • 69f668db7c feat(speckl): protobuf backend + service block + record interface fields hermes 2026-06-28 01:25:54 -07:00
  • e6f95ddf0b fix(parser): parse multi-line input/output blocks as record types (speckl#57) fix/speckl-55-ltl-inner-identifier-scope Scott Scoble 2026-06-09 13:53:02 -07:00
  • d5eea7e7c7 fix(parser): multi-line verify: bodies — join depth-aware lines into temporalExpr (speckl#54) agent-engineering 2026-06-03 12:09:19 -07:00
  • 82c8bdc49b fix(speckl-48): implement verifyN() with LTL inner-expression translator (Z3 call-out, runtime-side) agent-engineering 2026-06-03 10:31:46 -07:00
  • 39823c425e Add SEO attribution: author meta tag, JSON-LD structured data, 'Created by Scott Scoble' branding main Scott Scoble 2026-05-23 18:14:32 -07:00
  • 02a61f1d33 feat: add PromptOptimizer spec and functional runtime Scott Scoble 2026-05-13 21:14:55 -07:00
  • 35583630cb fix: SQL optimizer runtime — predicate pushdown, FROM/JOIN dedup, cost model Scott Scoble 2026-05-13 18:06:30 -07:00
  • a910f07377 feat: add SQL query optimizer with functional runtime Scott Scoble 2026-05-13 17:00:46 -07:00
  • 06232494ed feat: add SQL query optimizer spec (SQLOptimizer.speckdl) Scott Scoble 2026-05-13 16:51:01 -07:00
  • d16df7581a fix: resolve all TypeScript codegen bugs for zero tsc --noEmit errors Scott Scoble 2026-05-13 14:34:51 -07:00
  • dbde01ccb5 Iterative ternary if/else rewrite, Raft partial fix Scott Scoble 2026-05-11 21:30:38 -07:00
  • 52be7b1c6d Fix SQLitePager, improve and/or rewrite, add emptySet Scott Scoble 2026-05-11 21:27:36 -07:00
  • 832feb47b3 Fix SQLiteWAL: Map literals, nested bracket access, and/or, comments Scott Scoble 2026-05-11 21:24:50 -07:00
  • 7f417d37e0 Add not->! rewrite, Integer/Boolean types, ToggleSwitch 0 errors Scott Scoble 2026-05-11 21:17:06 -07:00
  • a1efbadbd1 Preserve statement order, fix notIn with object literals, Paxos now 0 errors Scott Scoble 2026-05-11 20:54:39 -07:00
  • 71de0c1d35 Add ifblock parsing, fix blank-line separation, add ternary expr rewrite Scott Scoble 2026-05-11 20:25:05 -07:00
  • a392163630 Fix multiline type/object parsing, Map inline records, set-diff for Maps Scott Scoble 2026-05-11 18:42:59 -07:00
  • 8b520284cb TS generator: fix #12 (5 expression patterns) + #11 (opaque record types) Scott Scoble 2026-05-11 10:16:15 -07:00
  • 29d4c83d76 feat: SQLite WAL concurrency model spec (speckl#36) Engineering (agent-engineering) 2026-05-10 01:05:14 -07:00
  • 0cefe0f694 fix(z3): robust = conversion + SQLite pager spec (DB.2) Marcus (agent-cos) 2026-05-10 01:02:00 -07:00
  • c12f40ee7d feat: SQLite pager state machine spec (speckl#35) Engineering (agent-engineering) 2026-05-10 00:52:22 -07:00
  • 45d82e2ea0 docs: SQLite research + blog post for Prove SQLite project Marcus (agent-cos) 2026-05-10 00:49:15 -07:00
  • 07dfdfbda0 docs: Prove SQLite project plan — pager, WAL, VDBE, B-Tree Marcus (agent-cos) 2026-05-10 00:45:13 -07:00
  • 34b8de549f docs: GP architecture — SIR schema, extraction protocol, validation engine, compilation layer Marcus (agent-cos) 2026-05-09 23:46:57 -07:00
  • f62bdc33f5 feat(rust): Rust codegen backend (speckl#24) Marcus (agent-cos) 2026-05-09 23:24:40 -07:00
  • e86af21cc7 landing: update for Z3 backend, KRaft spec, remove WAT WASM generator Scott Scoble 2026-05-09 23:10:55 -07:00
  • 506c192b77 docs: update plan with M0.3 completion and M1.2 status Marcus (agent-cos) 2026-05-09 23:10:31 -07:00
  • 40eef36a10 feat(z3): zero-error SMT-LIB2 output + BMC verify blocks for KRaft Marcus (agent-cos) 2026-05-09 23:07:56 -07:00
  • 7e5a8fe2cb Merge branch 'feature/z3-backend' Marcus (agent-cos) 2026-05-09 22:38:54 -07:00
  • 25fbdfc7a9 fix(z3): clean SMT-LIB2 output — Z3 returns sat with model (zero sort errors) Marcus (agent-cos) 2026-05-09 22:38:47 -07:00
  • c5ca757e80 Merge branch 'feature/z3-backend' (Z3 backend + KRaft spec) Scott Scoble 2026-05-09 22:34:40 -07:00
  • 534f13734c Merge branch 'fix/ts-generator-bugs' Scott Scoble 2026-05-09 22:28:57 -07:00
  • 6c6daaf90f feat(compiler): Z3 SMT-LIB2 verification backend (speckl#21) Marcus (agent-cos) 2026-05-09 22:28:39 -07:00
  • 582ef92586 feat: KRaft consensus protocol spec (speckl#23) Marcus (agent-cos) 2026-05-09 22:19:32 -07:00
  • 6ea0aef76b docs: update PROVE-KAFKA-PLAN with milestone completions Marcus (agent-cos) 2026-05-09 22:09:27 -07:00
  • 1cbad9d756 fix(compiler): translate Map/Set expression patterns to JavaScript (#18) Marcus (agent-cos) 2026-05-09 22:07:32 -07:00
  • 00dd745ef2 refactor: remove WAT/WASM generator (superseded by IR→Rust→WASM path) Marcus (agent-cos) 2026-05-09 22:03:06 -07:00
  • 03de892259 docs: comprehensive KRaft protocol reference for speckl#22 Scott Scoble 2026-05-09 21:54:09 -07:00
  • 14cd892e8a feat: OAuth 2.0 authorization code flow with PKCE spec Engineering (agent-engineering) 2026-05-09 21:51:51 -07:00
  • 1d536136b8 docs: KRaft protocol reference for M1.1 spec writing Marcus (agent-cos) 2026-05-09 21:51:35 -07:00
  • 6e770de885 =docs: add issue tracking table (#18-#32), close epic #17 Marcus (agent-cos) 2026-05-09 21:43:18 -07:00
  • 7928c2b1da docs: Prove Kafka project plan (4 phases, 12 milestones, dependency graph only) Marcus (agent-cos) 2026-05-09 21:40:21 -07:00
  • 898e2e53ae fix(compiler): protect object literal identifiers from this. prefix in rewriteExpr fix/parser-precondition-postcondition Scott Scoble 2026-05-09 20:06:36 -07:00
  • c3ade18feb fix(parser): parse parenthetical type syntax Map(K,V), Set(T), List(T) Scott Scoble 2026-05-09 18:09:31 -07:00
  • e92f430fb3 fix(compiler): translate 5 SpeckDL expression patterns to JavaScript Scott Scoble 2026-05-09 16:08:46 -07:00
  • 9de0a5ca0f feat(compiler): parse precondition/postcondition in action blocks Scott Scoble 2026-05-09 09:12:15 -07:00
  • bc067d239c docs: Show HN demo script — 2-min terminal recording walkthrough for launch day Scott Scoble 2026-05-09 07:11:50 -07:00
  • 31fcbce425 docs: Show HN launch day operations checklist — minute-by-minute runbook for May 12-13 Scott Scoble 2026-05-09 02:09:22 -07:00
  • ea8392f7db docs: Show HN comment response playbook — 14 pre-written replies for launch day Scott Scoble 2026-05-09 01:08:36 -07:00
  • 45ee6fc1bc docs: sync Phase 2 content pipeline — all 5 blog posts + publishing toolkit Scott Scoble 2026-05-09 00:11:29 -07:00
  • e23c16fa1e Rewrite demo page for current product + add demo link to landing page Scott Scoble 2026-05-08 17:09:31 -07:00
  • d571d40fd5 tools: add validate-all.sh — CI-style batch compiler validation Scott Scoble 2026-05-08 11:12:25 -07:00
  • d6e8bf906a landing: rewrite to match current Speckl reality Scott Scoble 2026-05-08 09:11:48 -07:00
  • 65546fa6ba docs: modernize README — state machine compiler, TLA+ examples, whitepaper v2 links Scott Scoble 2026-05-08 02:07:55 -07:00
  • 44a8406855 docs: distribution strategy — prioritized roadmap from Show HN to consulting Scott Scoble 2026-05-07 21:06:35 -07:00
  • 6121fd6a8f Whitepaper v2 Section 8: Future Work & Roadmap (~2,900 words) Scott Scoble 2026-05-07 01:14:24 -07:00
  • 940b959efb Whitepaper v2 Section 7: Related Work (~2,500 words) Scott Scoble 2026-05-07 00:18:59 -07:00
  • 627c46235c whitepaper: Section 6 — Compliance & Supply Chain Security (~2,800 words) Scott Scoble 2026-05-06 22:07:06 -07:00
  • 2ede8445e4 whitepaper v2: Section 5 - Consensus Protocols in SpeckDL (~2,800 words) Scott Scoble 2026-05-06 21:14:57 -07:00
  • 322d54781a whitepaper v2: Section 4 — Embedded Provenance (~2,000 words) Scott Scoble 2026-05-06 20:08:18 -07:00
  • fa896dec77 whitepaper v2: Section 3 - Compiler Architecture (~2,500 words) Scott Scoble 2026-05-06 19:07:12 -07:00
  • 66ecdd69b9 whitepaper v2: Section 2 - SpeckDL language specification Scott Scoble 2026-05-06 18:07:53 -07:00
  • 2ed6c13026 whitepaper v2: Section 1 (The Spec-Code Gap) with executable specs framing Scott Scoble 2026-05-06 17:07:50 -07:00
  • d03b5b41a6 docs: add Show HN announcement post draft Scott Scoble 2026-05-06 16:06:46 -07:00
  • bba95b70af docs: Speckl by Example tutorial — guided tour from ToggleSwitch to Raft Scott Scoble 2026-05-06 15:07:22 -07:00
  • acb464f957 fix(wasm): remove spurious i32.const from uncompiled assignment placeholders Scott Scoble 2026-05-06 05:14:33 -07:00
  • ade3fe2177 fix: correct enum value rewriting and parser quoted-string handling fix/compiler-enum-rewrite-parser-quotes Engineering (agent-engineering) 2026-05-05 21:50:49 -07:00
  • a2f7b7b2e9 fix: add dist-check guard + List<T> type parsing + state machine examples Scott Scoble 2026-05-05 03:11:53 -07:00
  • 7230650628 feat(compiler): self-hosting spec + generator multi-enum support Scott Scoble 2026-05-03 14:42:03 -07:00
  • 39436b4382 WASM E2E test: Speckl specs compile to runnable WebAssembly Scott Scoble 2026-05-03 13:13:55 -07:00
  • 7ffd65f6b3 speckl: TypeScript state machine generator + Forgejo issue workflow spec Scott Scoble 2026-05-03 12:23:33 -07:00
  • cbee677a11 fix: support hyphenated speck names + provenance block parsing (v0.3.1) Scott Scoble 2026-05-02 23:12:27 -07:00
  • a009bacef9 Add Speckl demo page — live pipeline showcase (RetryHandler end-to-end) Scott Scoble 2026-05-02 20:08:08 -07:00
  • 8facd5c6c7 Wire up compiler generators + fix parser for SpeckDL edge cases Scott Scoble 2026-05-02 15:14:31 -07:00