One row per dated note under docs/. The commit is the one that added the
file (git log --diff-filter=A). The status column records what the
2026-09-02 review found: which notes the
Shardborough storage specification has
absorbed, which pairs cover one topic, and which notes are current inputs to
work. A new note gets a row here in the same commit.
Status values: current (an input to open work), absorbed (its content is in the specification section named), record (a landed worknote, kept as the record of a decision or a measurement), historical (pre-dates the Lean tree or the Shardborough family), moved (its subject left this repository).
| Date | Note | Commit | Status |
|---|---|---|---|
| 2026-04-20 | SPARQL demo review | 7d5c00ed9 | historical |
| 2026-04-21 | Large Turtle stack overflow fix sketch | c29698f98 | historical |
| 2026-08 | Factoidal verified RDF block engine | 27f9308f4 | current: design, part 1 |
| 2026-08 | Block engine, part 2 | 27f9308f4 | current: design, part 2 |
| 2026-08 | Block engine, part 3: symbolic plans, dataflow, portable execution | 27f9308f4 | current: design, part 3 |
| 2026-08-29 | Block engine repository baseline | 27f9308f4 | current |
| 2026-08-29 | Block engine MVP: executable in-memory scan | 27f9308f4 | record |
| 2026-08-30 | Block engine corpus ladder | b49bd0bf5 | absorbed: superseded by the 2026-09-01 catalogue |
| 2026-08-30 | Host adapter audit | 83a7d153d | record |
| 2026-08-30 | PostgreSQL opaque-byte vertical | 265f8bdb9 | record |
| 2026-08-30 | Symbolic-plan input | 27f9308f4 | record |
| 2026-08-30 | Persisted file to SPARQL | b9c46f066 | record |
| 2026-08-30 | BLK0 byte boundary | 27f9308f4 | absorbed: spec section 6 |
| 2026-08-30 | Hub demos and the block-engine boundary | c601be059 | record |
| 2026-08-30 | Hub SPARQL result components | 1640032d5 | record |
| 2026-08-30 | IBK2 ingest scale gate | 487e857de | record |
| 2026-08-30 | Indexed-block differential gate | 39e3ce548 | record |
| 2026-08-30 | Dictionary-backed indexed block | 802ff6f85 | record |
| 2026-08-30 | Direct ID-block bytes (IBK1) | 07f200d79 | absorbed: spec section 6 |
| 2026-08-30 | Query observability | d3033fd14 | current |
| 2026-08-30 | Segmented IBK design decision | a9c560dc5 | record |
| 2026-08-30 | Web corpus working sets and derived RDF blocks | 4f2031862 | current |
| 2026-08-31 | Concurrent-agent handoff protocol | c02e7e20b | record: same topic as epoch-safe compaction |
| 2026-08-31 | Delta-log proof port | 9ab3a3e40 | record |
| 2026-08-31 | Direct streaming Turtle to IBK3 publication | bf0904765 | record |
| 2026-08-31 | Durable SPARQL Update slice | 4613e922a | record |
| 2026-08-31 | Epoch-safe Shardborough compaction | c02e7e20b | record: same topic as the handoff protocol |
| 2026-08-31 | Foafmixer loopback MIX pilot | 5bcd015c1 | moved: foafmixer-mix repository |
| 2026-08-31 | Gene shard scale baseline | 1d1eb77c7 | record |
| 2026-08-31 | IBK2 native byte slicing | d6028eb6a | absorbed: spec section 6 |
| 2026-08-31 | IBK2 gene.ttl ingest gate | ee6457157 | record |
| 2026-08-31 | IBK3 decode hot path | a4787d633 | current: spec section 11 links it |
| 2026-08-31 | IBK3 Merkle-verified paged scan | 884794bb9 | record |
| 2026-08-31 | IBK2 to IBK3 migration publisher | 725cafa03 | absorbed: spec section 6 |
| 2026-08-31 | IBK3: predicate-local rows with a pageable dictionary | b85e156ea | absorbed: spec section 6 |
| 2026-08-31 | Parsed SPARQL over direct IBK3 storage | d0de192f2 | record |
| 2026-08-31 | IBK3 parsed-query host packaging boundary | 58e03b392 | record |
| 2026-08-31 | Immutable generation activation | bd4ae512f | record |
| 2026-08-31 | Lean 4 full-corpus gate | 009f2ab53 | record |
| 2026-08-31 | Lean Lake working-directory invariant | 4f069d346 | record: rule now in CLAUDE.md |
| 2026-08-31 | Native verified-range slicing | 88ab42197 | absorbed: spec section 6 |
| 2026-08-31 | Packed IBK2 selective reader | cf1d6c5f6 | absorbed: spec section 6 |
| 2026-08-31 | Pageable term dictionary prototype (PTD1) | 7e62bf8a4 | absorbed: spec section 6 |
| 2026-08-31 | Podman machine audit | 4058d19d6 | moved: foafmixer-mix repository |
| 2026-08-31 | Repository review | d3033fd14 | current: review |
| 2026-08-31 | SRI2: paged Subject Row Index | ddb403c10 | absorbed: spec section 6 |
| 2026-08-31 | TLI1: Term-to-Local-ID Index | 4030f837f | absorbed: spec section 6 |
| 2026-08-31 | Agent collaboration: local MIX pilot | c02e7e20b | moved: foafmixer-mix repository |
| 2026-09-01 | Block engine Tuesday OKRs | 9b6f60d9f | current |
| 2026-09-01 | Shardborough corpus ladder: catalogue and rules | 3091fb475 | current |
| 2026-09-01 | Deterministic heterogeneous Shardborough fixture | 6866c9ea3 | current |
| 2026-09-01 | IBK3 worker and browser SPARQL milestone | 144bff3d8 | current |
| 2026-09-01 | Persisted-path W3C executability census | 6ed315b52 | current |
| 2026-09-01 | Persisted SPARQL language-tag index safety | 5028e0545 | record: five topics in one file |
| 2026-09-02 | Fresh-eyes repository review | d3033fd14 | current: review; section 7 is the open hygiene list |
| 2026-09-02 | Persisted query ladder | 3b3a14bb6 | current: measurement record for the 2026-09-02 owner goal; milestone table and rung 2.5 |
| 2026-09-02 | Quad-aware block layout | 4c037dd68 | current: proposal for spec gate 4; owner decisions pending |
| 2026-09-03 | RDF parsing strategy: layers, entry points, proofs, costs | 4c037dd68 | current: the record of how Turtle and the other syntaxes are parsed |
| 2026-08-23 | Specification coverage ledger | 71db0d505 | record: structure current, scores are 2026-08-22 |
| 2026-09-03 | A browser reads a Shardborough generation: the three WASM store operations | b68bec8e5 | current: the record of the WASM store ABI, its blob transport and its caps |
| 2026-09-03 | Internal test inventory and the internal-tests.sh runner | 5b3036bc5 | current: the one-runner catalogue for non-W3C project-internal suites |
| 2026-09-05 | Wire version 10: the format that scales past the source | 11373102a | current: the ceilings, term codec v2, PTD2, IBK5, SBM10 zone maps and blob table, LGI2, publication every batch; tracking https://github.com/danbri/factoidal/issues/658 |
| 2026-09-05 | The packer publishes every batch | 43351dbfd | current: the publication policy of wire version 10, what it proves, the memory ladder and gate 2 |