saymrwulf/ltl-accumulator-verified
1
0
Fork 0
mirror of https://github.com/saymrwulf/ltl-accumulator-verified.git synced 2026-09-03 19:53:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Commit graph

  • 2f284c93a5 coherence sweep: no private paths in public docs; dead /paper/v0.2 links repointed to git history; leaf-index numbering (doc-only) main mrwulf 2026-08-22 18:43:06 +0200
  • 362d62aed6 docs: dated-record clarity for the pre-Green scan — attestations that have since occurred say so; leaf-index numbering unified mrwulf 2026-08-16 18:32:38 +0200
  • 1ae8263404 docs: estate-wide consistency pass (workflow audit, 36 findings, all verified before fixing) mrwulf 2026-08-07 16:00:54 +0200
  • 2a886b6be9 fidelity: deliberate re-pin of the pacta subject (cd3b1bc -> a036624) mrwulf 2026-08-07 01:41:18 +0200
  • be4f742b29 verification: guard the accumulator's two lifts (port lift-guard, assert on the payload) mrwulf 2026-08-04 13:39:19 +0200
  • a0d11b44d9 verification: lifted phases run under the buttons shell options, enforced in lift-guard mrwulf 2026-08-04 12:58:29 +0200
  • 888796a16e verification: separate the two accounting questions (round-9 review, Claude N2) mrwulf 2026-08-04 03:17:05 +0200
  • 212db783a9 audit: bind the scalar statements, and make the accounting identity mean audit mrwulf 2026-08-03 12:15:26 +0200
  • b1fb6eba7c accumulator: a run that is not attestation-ready must not exit 0, and must name its subject mrwulf 2026-08-02 21:40:35 +0200
  • 6212aa1624 Round-7 F2: account for every constant the kernel sees mrwulf 2026-08-02 02:51:55 +0200
  • 25699a9cf7 Phase 0a: purge compiled artifacts before compiling mrwulf 2026-08-01 16:11:10 +0200
  • 9c78ce88ae P2-b: close classes 9 and 15 — the instruments, and the places nothing looked mrwulf 2026-07-31 14:18:40 +0200
  • 8530cc73f4 verification: pin the harness, audit drivers and policy files (P1-c) mrwulf 2026-07-29 20:13:21 +0200
  • b575e857e3 verification: bind statements and specification bodies (P1-a); un-stale the fidelity pin mrwulf 2026-07-29 09:07:13 +0200
  • 9f406557fb KNOWN-GAPS 14: record closure of the consistency-verifier seam mrwulf 2026-07-23 18:36:46 +0200
  • c570c6114a essay: bound the rollup analogy to the paper's precise framing mrwulf 2026-07-19 17:49:56 +0200
  • a08aea6c7b runbook: refer to the private infrastructure repo without naming it mrwulf 2026-07-19 16:56:48 +0200
  • b16ff7243a docs: paper-numbering disambiguation + runbook facts updated (doc audit 2026-07-19) mrwulf 2026-07-19 13:11:50 +0200
  • 74425b1a1d README: soften 'first' claim to 'unaware of a precedent', scope to the model (round-10 GPT §8) mrwulf 2026-07-16 23:46:29 +0200
  • ace5ba2071 docs: optimistic-accountability essay reflects entry 13 live (drill catch) mrwulf 2026-07-16 20:46:45 +0200
  • 0fc2b59cbb README: status ATTESTED — LTL entry 13, live (12→13, root 3488a2d0) mrwulf 2026-07-16 20:40:19 +0200
  • 25725e439a Runbook: COMPLETE — entry 13 appended and live (12→13, root 3488a2d0) mrwulf 2026-07-16 20:29:00 +0200
  • b61a38911c Runbook: drift-tolerant producer pin (Fable drill on the Opus Phase-B batch) mrwulf 2026-07-16 19:20:00 +0200
  • 576a2d1e5c Runbook B1b: producer is the operator's working tree (key + dogfood binary), not a bare clone mrwulf 2026-07-16 19:03:45 +0200
  • f9a276a903 Runbook B0/B3: corrected against the LIVE log during entry-13 execution mrwulf 2026-07-16 18:59:46 +0200
  • ea162ce0b3 Runbook: Socratic-drill corrections on the round-6 execution mrwulf 2026-07-16 15:54:38 +0200
  • bab1c8c737 Runbook round-6 normalization: release tuple, B0 preflight, candidate-inspection gate, 12→13 rehearsal mrwulf 2026-07-16 15:29:20 +0200
  • ee4386639f Runbook: A4 done (rehearsal green, 61/61 clean; two defects found+fixed en route); status = A2 + order remain mrwulf 2026-07-16 11:08:35 +0200
  • 172a1d0653 Round 5 (housekeeping): doc-consistency welded into the button; both round-4 approvals recorded mrwulf 2026-07-15 09:40:20 +0200
  • 42e585ac37 Runbook: A3b (key backup) completed by operator, 2026-07-14 mrwulf 2026-07-14 17:17:27 +0200
  • b7ab1811d7 docs: optimistic-accountability essay (rollup ↔ LTL mapping + what the tree actually holds); wired into runbook B7 mrwulf 2026-07-14 11:27:30 +0200
  • 301c7e9006 Runbook: A3 resolved (key located+confirmed, path kept private), A4 corrected (driver = pacta_provider CLI), A3b opened (key has no second copy) mrwulf 2026-07-12 18:46:36 +0200
  • 7d58fe52c7 Runbook: B4 matches the real deploy anatomy; key + infra facts sharpened mrwulf 2026-07-12 18:03:39 +0200
  • 0f0cb403cd Runbook A5: Forgejo mirrors are anonymously readable — no-SSH verification loop mrwulf 2026-07-12 17:28:09 +0200
  • fc913655ab Add ATTESTATION-RUNBOOK: the persisted, no-AI-required path to entry 13 mrwulf 2026-07-12 16:24:19 +0200
  • 2da0a79981 Review round 4: F1* absorbed (lied-size boundary), acceptCons_sound, kit reproducibility mrwulf 2026-07-12 15:07:57 +0200
  • 9972ab4198 Review round 3: environment-derived audit surface, self-contained kit mrwulf 2026-07-12 00:32:18 +0200
  • 260ad64511 revision round 1: address both external reviews (GPT-5.6 + second Claude) mrwulf 2026-07-11 22:53:47 +0200
  • 6e56414fbc S8: CORPUS FROZEN for external review — statement map + known-gaps ledger mrwulf 2026-07-11 21:19:05 +0200
  • a3b8b3ecea S7 drill (2nd pass): pin the load-bearing gen/ instance cones; document audit surface mrwulf 2026-07-11 21:07:08 +0200
  • db45c0e33f S7 Fable re-audit: close the cone-audit COVERAGE gap (52/52), verify button by exit code mrwulf 2026-07-11 20:56:17 +0200
  • 00647814b8 S7: definition fidelity harness + CORRECT three cone mis-pins that were silently failing the button mrwulf 2026-07-11 20:44:07 +0200
  • 43f2c40cac S6: Proposition 1 (pin-store safety) — the last theorem, Merkle-layer share mrwulf 2026-07-11 20:23:49 +0200
  • 02a45eae36 S5.4: THEOREM 3 COMPLETE — extractCons assembly + non-vacuity witness mrwulf 2026-07-11 20:07:20 +0200
  • f47663b890 S5.3 drill (2nd pass): anchor refactor-equivalence provenance to git history mrwulf 2026-07-11 19:55:38 +0200
  • 406750887f S5.3 Fable re-audit: machine-verify the ConsRec base refactor (permanent artifact) mrwulf 2026-07-11 19:25:04 +0200
  • 8795e82865 S5.3: consRecBinding PROVEN — Theorem 3 steps 1-2 kernel-checked (the hardest object) mrwulf 2026-07-11 19:18:26 +0200
  • 8cdea8ff7e S5 stage-2 Fable re-audit: flag load-bearing invariant, correct 'verified' overclaim mrwulf 2026-07-11 18:24:23 +0200
  • cfde9b2cd7 S5 stage 2: extractConsNode extractor defined (consistency, Theorem 3 steps 1-2) mrwulf 2026-07-11 17:55:51 +0200
  • 6a7d93ccb7 S5 stage 1: consistency infrastructure (kbelow prefix-split + list surgery) mrwulf 2026-07-11 17:53:43 +0200
  • 30cf6563ff S4 Fable re-audit: correct a false ledger claim (F2 was NOT resolved) mrwulf 2026-07-11 17:15:08 +0200
  • be232507cc S4: descent extractor extractMTH (Theorem 3 step 3 + F2 restoration), non-vacuous mrwulf 2026-07-11 16:46:58 +0200
  • 67d9cfed43 S3.5 Fable re-audit: permanent non-vacuity witness + honest ledger mrwulf 2026-07-11 16:38:34 +0200
  • e270872a27 S3.5: explicit collision extractor — Theorem 2 made non-vacuous, vacuous forms removed mrwulf 2026-07-11 15:31:21 +0200
  • eb3df7503f S3/L4-L5: root binding (Lemma 2, Path instance) + Theorem 2, constructive mrwulf 2026-07-11 13:21:17 +0200
  • 8cf6153610 S2 Fable-5 re-audit: close the kbelow/RFC-fidelity gap (kbelow_pow2) mrwulf 2026-07-11 12:26:04 +0200
  • 801ae08fe8 L3: Theorem 1 (inclusion completeness) kernel-checked mrwulf 2026-07-11 12:06:20 +0200
  • 8d67e9519c L1+L2: hashing shapes, domain separation, MTH/Root/ConsRec with termination mrwulf 2026-07-10 23:58:00 +0200