Repository navigation
enhancement: raw log writer for building a fresh graph from explicit (tx, asserted, valid-time) records #431
Description
Motivation
The load half of project-minigraf/temporal_reasoning#378: after streaming and transforming facts out of a read-only source, a migration must wr
8000
ite them into a new graph file with their original transaction numbers, assertion flags and valid-time windows intact. The public transact/retract path cannot do this: it assigns the next tx, stamps valid_from with now, and applies schema validation meant for live writes.
Proposal
A write-side API that produces a normal, openable graph file:
pub struct LogWriter { ... }
impl LogWriter {
pub fn create(path, opts: OpenOptions) -> Result<Self>;
pub fn append(&mut self, rec: &FactRecord) -> Result<()>; // explicit tx, asserted, valid_from/valid_to
pub fn copy_pages(&mut self, src: &Minigraf, range: PageRange) -> Result<()>; // fast path for untouched ranges, if the format permits
pub fn finish(self) -> Result<()>; // builds indexes, writes header (format version, last_checkpointed_tx_count), checkpoints
}txvalues must be non-decreasing acrossappend; gaps are allowed (a purged transaction leaves a hole) so:as-of Nstays stable for untouched facts. Whether a hole is represented as an empty transaction or simply absent is the implementer's call, but:as-ofon a hole must resolve to the preceding state.- No schema validation beyond structural integrity; the caller owns semantics (a migration verifies afterwards with the audit).
finishmust leave the file indistinguishable from one produced by normal writes plus a checkpoint, including the EAVT/AEVT indexes (bug: after a kill during an active run the EAVT index silently loses most entities' entries while AEVT stays intact — entity-bound lookups return [] and no rebuild path exists #370 is the failure mode to test against).- Exposed through the FFI so the tool can live in the temporal_reasoning Python package.
With the read-only open and the fact-log iterator this completes the extract, transform, load triple; purge is then "do not append".
Activity
Merge pull request #466 from project-minigraf/feat/431-log-writer
adityamukho commentedon Oct 7, 2026
Done. Core:
LogWriter(create/append/advance_tx_count/finish) in #466, built at<path>.partialand renamed byfinish, holes keep:as-of, new STG-043/API-015/API-016. Bindings: every binding via #467.copy_pageswas not provided, since v8 pages share one dictionary and are not self-contained (see CHANGELOG anddocs/superpowers/specs/2026-10-07-log-writer-design.md). With #429 and #430 this completes extract–transform–load for temporal_reasoning#378. Ships in v3.0.0.fix(log_writer): keep the write rules in every built file (#477)