nx_research_journal.nx

nx_research_journal.nx -- RES-R6: a CRASH-RESUMABLE research session journal. module: nishi-core.research.journal capability: CORE_COMPUTE (a durable, replay-able research progress log) WHAT this builds (one capability): a research session records each phase (FETCH / EXTRACT / VERIFY / SYNTH) and per-source progress as ATOMIC FRAMED LINES. On restart after a crash, the journal is REPLAYED: the highest phase that has a DONE record becomes the resume high-water mark, and every phase at or below it is SKIPPED -- the completed FETCH/EXTRACT work is NOT re-done. WHY it is correct under crash: every journal line is written by the WMS-R0 primitive fa_append (nx_framed_append.nx) -- the whole record is assembled in ONE buffer and emitted as EXACTLY ONE sys_write() to an O_APPEND fd, so a crash can never produce a half-written record that interleaves with another. A crash CAN leave the very last record absent (it was never reached) or, on other channels, torn; the replay therefore credits a phase DONE ONLY when it reads a WELL-FORMED line ("RJ " head + " END" tail + matching sid + ev=DONE). A torn / truncated last line is ignored -> replay can never SKIP work that did not actually complete (proven by the gate's torn-line tamper row). REUSE / lineage (rule 15 DRY, check-registries): this organ adds NO new write primitive. It COMPOSES fa_append / fa_cat / fa_catn from nx_framed_append.nx (the WMS-R0 floor) for writing, and the count_torn-style line+token byte-walk idiom from nx_framed_append_gate.nx for replay parsing. Sovereign: only nx_syscalls + nx_framed_append. license_tier: ORIGINAL