swaitsandClaude Fable 5.1 d839e709ce merge: P13 steps 4 and 5, the laws in Lean, the spec text, the derivation, GnuCash as the second engine (branch P13, f8163381) ...

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01HS8WZziDnyxunC23MUxrLp

2026-10-29 13:08:01 -06:00

..

spec

merge: P13 steps 4 and 5, the laws in Lean, the spec text, the derivation, GnuCash as the second engine (branch P13, f8163381)

2026-10-29 13:08:01 -06:00

architecture.md

merge: P11a step 0, the macOS and Windows keyring stores and the portable CI job (branch P11a, ee4f8cd5)

2026-10-29 12:47:08 -06:00

capability-parity.md

docs: the 2026-10-28 drift review; the plan, status and docs brought to date

2026-10-28 18:26:23 -06:00

color-schemes.md

viewer: a scheme hovered in the menu is shown live

2026-10-19 12:51:59 -06:00

glossary.md

Projects: classes as entities, and the sidebar fits short windows

2026-10-22 03:50:52 -06:00

mcp-interface.md

docs(handbook): the invoices-and-bills procedure, whole (P4b S4.5)

2026-10-29 12:55:10 -06:00

oracle.md

ci: mutation testing is local only (D-59); the weekly run keeps proofs, oracle and fuzz

2026-10-29 01:28:50 -06:00

packaging.md

feat(host): Keychain and Credential Manager token stores, a macOS/Windows CI job (P11a step 0)

2026-10-29 12:41:01 -06:00

parallel-run.md

docs: the 2026-10-28 drift review; the plan, status and docs brought to date

2026-10-28 18:26:23 -06:00

parity.md

docs(handbook): the invoices-and-bills procedure, whole (P4b S4.5)

2026-10-29 12:55:10 -06:00

parties-and-attachments.md

docs: the paused wave has landed; D-60, how much checking a merge gets; Q-9

2026-10-29 08:23:51 -06:00

receipt-store.md

merge: P6, the evidence pipeline (branch P6, checkpoint ce366408)

2026-10-28 23:08:59 -06:00

requirements.md

docs: the 2026-10-28 drift review; the plan, status and docs brought to date

2026-10-28 18:26:23 -06:00

testing.md

merge: P13 steps 4 and 5, the laws in Lean, the spec text, the derivation, GnuCash as the second engine (branch P13, f8163381)

2026-10-29 13:08:01 -06:00

verification.md

merge: P6, the evidence pipeline (branch P6, checkpoint ce366408)

2026-10-28 23:08:59 -06:00