Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 8073282803
  CLAUDE.md: P13-S26's amendment 3 is landed, and there were four main Levi Neuwirth 2026-08-12 17:09:18 +0200
• 552aacac2c
  CLAUDE.md: drop a live count and disambiguate the citation-gate rule Levi Neuwirth 2026-08-12 17:00:30 +0200
• df5da3512c
  CLAUDE.md: the recurring citation-gate collision becomes a standing rule Levi Neuwirth 2026-08-12 16:58:14 +0200
• f87554786a
  P13-S29 amendment 2 LANDED: the S29 ledger row carries its date correction Levi Neuwirth 2026-08-12 16:56:45 +0200
• 9cc2913fab
  P13-S29 amendment 2 RATIFIED: pin 13's append date, administrative Levi Neuwirth 2026-08-12 16:55:46 +0200
• 85990298c4
  Reconcile CLAUDE.md's green baseline after P13-S29 Levi Neuwirth 2026-08-12 16:35:25 +0200
• 52fcf3739a
  P13-S29 LANDED: the violation tag stops multiplexing Levi Neuwirth 2026-08-12 16:34:38 +0200
• e7bd12c19e
  P13-S29 amendment 1 executed: edits 1, 2 and 4; A1-A5 pass; mutations resume at M2 Levi Neuwirth 2026-08-12 13:49:54 +0200
• 29ef3af69c
  P13-S29 amendment 1 RATIFIED: M1·C6/C7 radii, with the pre-amendment annex as its oracle Levi Neuwirth 2026-08-12 13:47:41 +0200
• cea21cd8f9
  P13-S29 RATIFIED; pins frozen, dispatched Levi Neuwirth 2026-08-12 00:05:32 +0200
• 3fda93bc6b
  P13-S26 amendment 4 EXECUTED: section 8.4's M27 sentence corrected Levi Neuwirth 2026-08-11 20:52:34 +0200
• a347a03c16
  P13-S26 amendment 4 RATIFIED; one sentence in section 8.4 to be replaced Levi Neuwirth 2026-08-11 20:48:53 +0200
• bff7be0f9d
  P13-S26 amendment 3 EXECUTED: test 3 selects the normative clause Levi Neuwirth 2026-08-11 20:39:41 +0200
• 7c8a30d282
  P13-S26 amendment 3 RATIFIED; test 3 to be clause-scoped Levi Neuwirth 2026-08-11 20:14:27 +0200
• 96f6ede268
  P13-S26 post-acceptance reconciliation: the two documents held back Levi Neuwirth 2026-08-11 19:31:35 +0200
• eddf6e9c6d
  P13-S26 EXECUTED: invariant 10 names its derived reference surface Levi Neuwirth 2026-08-11 18:11:25 +0200
• 86bf7c65b9
  P13-S26 amendment 2: amendment 1's lifecycle statements Levi Neuwirth 2026-08-11 15:05:59 +0200
• f9170b0ed9
  P13-S26 amendment 1 RATIFIED; pins 3, 6 and 11 amended Levi Neuwirth 2026-08-11 14:59:08 +0200
• 01c621d64e
  P13-S26 RATIFIED; pins frozen, not dispatched Levi Neuwirth 2026-08-11 13:19:26 +0200
• fcc3fb6b39
  P13-S16 amendment 1, review round 1: two documents still described the old state Levi Neuwirth 2026-08-10 17:50:42 +0200
• a65d79d752
  P13-S16 amendment 1: post-landing corrections, consolidated Levi Neuwirth 2026-08-10 17:42:18 +0200
• 3328b2c0e2
  P13-S16 post-acceptance reconciliation: the three documents §4a held back Levi Neuwirth 2026-08-10 17:30:27 +0200
• aee4ff92b7
  P13-S16 EXECUTED: StaffGroup.members becomes a maintained projection Levi Neuwirth 2026-08-10 17:18:20 +0200
• 34232dc1a6
  P13-S16 RATIFIED after twelve independent rounds; pins frozen, not dispatched Levi Neuwirth 2026-08-09 20:55:00 +0200
• 25b492575e
  S16: ratification round 11 -- rederive m40 locators Levi Neuwirth 2026-08-09 20:47:46 +0200
• 63a2dc8ce7
  S16: ratification round 10 -- remove the tally from item 1's own explanation Levi Neuwirth 2026-08-09 20:42:36 +0200
• a5f3013044
  S16: ratification round 9 -- harden the locator, not only the assertion Levi Neuwirth 2026-08-09 20:32:43 +0200
• 942f261094
  S16: ratification round 8 -- make the expected-outcome table evidential Levi Neuwirth 2026-08-09 20:28:36 +0200
• 2a445d16be
  S16: ratification round 7 -- the contract owns the expected-outcome table Levi Neuwirth 2026-08-09 20:23:07 +0200
• 80be47ca13
  S16: ratification round 6 -- derive a mutation's blast radius, don't recall it Levi Neuwirth 2026-08-09 20:16:29 +0200
• 85429d6243
  S16: ratification round 5 -- the assert macro is part of the channel Levi Neuwirth 2026-08-09 19:08:59 +0200
• e48bb8d0b4
  S16: ratification round 4 -- "the resulting value" is not a value when there are two reductions Levi Neuwirth 2026-08-09 18:57:18 +0200
• 3e0a4d38c1
  S16: ratification round 3 -- a failing test has exactly one output channel Levi Neuwirth 2026-08-09 18:46:19 +0200
• e43cd3410b
  S16: ratification round 2 -- the status block stops describing the review Levi Neuwirth 2026-08-09 18:38:27 +0200
• 5ec2ce0bbd
  S16: ratification round 1 -- pin 5 gains a permanent regression test Levi Neuwirth 2026-08-09 18:32:22 +0200
• 253249ec0b
  S16 draft amendment 1 rev J: a correction that explains a count must not restate it Levi Neuwirth 2026-08-09 18:19:02 +0200
• 9e43994def
  S16 draft amendment 1 rev I: where a pin defines the artifact, the gate cites it Levi Neuwirth 2026-08-09 18:14:49 +0200
• 5d2db937e9
  S16 draft amendment 1 rev H: where a gate must establish a mapping, it cannot count Levi Neuwirth 2026-08-09 18:09:08 +0200
• 09d8439c93
  S16 draft amendment 1 rev G: pin the structure a mutation deletes Levi Neuwirth 2026-08-09 17:59:30 +0200
• 2818ced229
  S16 draft amendment 1 rev F: a transformation's output needs its input's guarantees Levi Neuwirth 2026-08-09 17:51:21 +0200
• abe2c359f7
  S16 draft amendment 1 rev E: a gate must name evidence its artifact produces Levi Neuwirth 2026-08-09 17:42:22 +0200
• cae1d32794
  S16 draft amendment 1 rev D: a requirement no assertion can fail is not a requirement Levi Neuwirth 2026-08-09 17:22:31 +0200
• 25473a1bc5
  S16 draft amendment 1 rev C: a mutation is a test's signature, not its substitute Levi Neuwirth 2026-08-09 17:15:33 +0200
• 0a5b93688b
  S16 draft amendment 1 rev B: a correction propagates one hop and stops Levi Neuwirth 2026-08-09 16:45:50 +0200
• 3096c54d09
  S16 draft amendment 1 rev A: stop importing S27 conclusions unre-derived Levi Neuwirth 2026-08-09 16:39:12 +0200
• d06e2f7266
  S16 draft amendment 1: fourteen findings from ratification reconnaissance Levi Neuwirth 2026-08-09 16:26:12 +0200
• d2e43b4204
  S16: separate enforcement from detection in the pin-0 supersession Levi Neuwirth 2026-08-09 15:46:53 +0200
• af378d2d0f
  Handoff: make the POST-S27 block genuinely the sole source Levi Neuwirth 2026-08-09 15:43:09 +0200
• 9153623aa1
  Post-S27 docs: scope the supersessions properly in handoff and S16 contract Levi Neuwirth 2026-08-09 15:39:50 +0200
• 8df798d907
  Post-S27 doc reconciliation: CLAUDE, handoff, S16 contract, both ledger cells Levi Neuwirth 2026-08-09 15:24:21 +0200
• 4df8e257f3
  P13-S27: accept reduction authority implementation Levi Neuwirth 2026-08-09 15:05:58 +0200
• 83df0a01be
  P13-S27: record execution review 8 (CLEAN) and the invariant's terminating case Levi Neuwirth 2026-08-09 14:40:49 +0200
• 480a299438
  P13-S27 amendment 7: a single source is created by deleting the others Levi Neuwirth 2026-08-09 14:35:21 +0200
• 3354e10bd9
  P13-S27 amendment 6: which figures are allowed to look stale Levi Neuwirth 2026-08-09 14:20:27 +0200
• c07a18000b
  P13-S27 amendment 5: every fix that held was a deletion Levi Neuwirth 2026-08-09 14:08:47 +0200
• 1c0a6f02dc
  P13-S27 amendment 4: an inferred gate result is not a gate result Levi Neuwirth 2026-08-09 14:02:41 +0200
• 727f9393a2
  P13-S27 amendment 3: one omission, five sites, three amendments Levi Neuwirth 2026-08-09 13:52:59 +0200
• 28cd991502
  P13-S27 amendment 2: a touch table and an absence rule are one allowlist Levi Neuwirth 2026-08-09 13:25:52 +0200
• faea317d4a
  P13-S27 amendment 1: §0.4 missed a third constructor; four files had no touch row Levi Neuwirth 2026-08-09 11:57:04 +0200
• 6b17023a51
  P13-S27 RATIFIED after nineteen review rounds; pins frozen, dispatched Levi Neuwirth 2026-08-08 22:18:46 +0200
• 1316300196
  P13-S27 rounds 17-19: the §3/§5 sweep, its two defects, and the first clean round Levi Neuwirth 2026-08-08 21:52:08 +0200
• fa5716ef49
  P13-S27 round 16: four mutations still took a broken assertion as evidence Levi Neuwirth 2026-08-08 17:54:54 +0200
• a230c6fe38
  P13-S27 round 15: a mutation owes the behaviour it changed, not the assertion it broke Levi Neuwirth 2026-08-08 17:17:14 +0200
• fa483cfbc9
  P13-S27 round 14: the permissive sentence read earlier than the restrictive one Levi Neuwirth 2026-08-08 17:03:01 +0200
• f579172143
  P13-S27 round 13: M7 could have passed by deleting the check it observes Levi Neuwirth 2026-08-08 16:41:05 +0200
• bff9c9aab8
  P13-S27 round 12: two requirements that named a constraint but not its value Levi Neuwirth 2026-08-08 16:27:54 +0200
• 74dc994bf2
  P13-S27 round 11: M7 gets a normalized reference and a narrower claim Levi Neuwirth 2026-08-08 14:57:18 +0200
• 39f261774a
  P13-S27 probe result: the round trip needs a fixed point, and round 10 had none Levi Neuwirth 2026-08-08 13:33:49 +0200
• 5aed861e31
  P13-S27: grant one narrow, explicit exception to "no execution work" Levi Neuwirth 2026-08-08 13:06:48 +0200
• 0202eecf57
  P13-S27 round 10: derive the alignment instead of enumerating it Levi Neuwirth 2026-08-08 12:56:57 +0200
• 0efd543b97
  P13-S27 round 9: M7's comparator had the wrong artifact and the wrong method Levi Neuwirth 2026-08-08 12:31:05 +0200
• 01e76d1022
  P13-S27 round 8: M7 was unrunnable and had been since round 1 Levi Neuwirth 2026-08-08 10:49:10 +0200
• 9829ae38df
  P13-S27 round 7: the defect is duplication, so the fix is deletion Levi Neuwirth 2026-08-08 10:42:16 +0200
• c0d896c64d
  P13-S27 round 6: three findings, all blocking, all in round 5's text Levi Neuwirth 2026-08-08 10:25:26 +0200
• 03c85ddb2c
  P13-S27 round 5: the tally went stale in the block edited every round Levi Neuwirth 2026-08-08 01:50:38 +0200
• df9e528e99
  P13-S27 round 4: the M5 pair was defective a third time Levi Neuwirth 2026-08-07 23:41:15 +0200
• 53292f6ddb
  P13-S27 round 3: three mutations were unrunnable in three different ways Levi Neuwirth 2026-08-07 23:31:00 +0200
• b741e487e8
  P13-S27: ratification withdrawn, held for independent round 3 Levi Neuwirth 2026-08-07 23:20:41 +0200
• b842975919
  P13-S27 review round 2: six findings, four blocking, two self-inflicted Levi Neuwirth 2026-08-07 23:10:33 +0200
• 39287f8f43
  P13-S27 ratified: review round 1, nine findings, four blocking Levi Neuwirth 2026-08-07 22:55:26 +0200
• 96b40b2d96
  P13-S27 amended pre-dispatch: pin 10's escape clause was unsatisfiable Levi Neuwirth 2026-08-07 22:25:27 +0200
• 49b512b314 CLAUDE.md: the entry point an agent actually reads Levi Neuwirth 2026-08-07 13:40:48 -0400
• 263f40d9a3 Handoff §2: the editor track read from its sources, not inferred Levi Neuwirth 2026-08-07 13:38:10 -0400
• 7909cf09cc Handoff §0: the transfer manifest, and what git will not carry Levi Neuwirth 2026-08-07 13:33:06 -0400
• ada751cc9f Handoff for the machine move, and two stale ledger openers Levi Neuwirth 2026-08-07 13:20:52 -0400
• be244df6a0 Pin 3b's projection refusal was asymmetric: close the reachable half Levi Neuwirth 2026-08-07 13:06:40 -0400
• bc06706e41 Container major 1: the format epoch carries base provenance Levi Neuwirth 2026-08-07 12:51:14 -0400
• 973297e1a1 Format epoch amended: pin 3c bounds the interval's conformance cost Levi Neuwirth 2026-08-07 11:41:51 -0400
• 8bb917d7c3 Format epoch ratified: container major 1 owns the provenance boundary Levi Neuwirth 2026-07-31 21:46:56 -0400
• 818a16f1ef Pass 13 ledger: P13-S28 filed as the critical path Levi Neuwirth 2026-07-31 21:04:22 -0400
• 79a2507d47 Contract for P13-S27, tracked as DRAFT and blocked Levi Neuwirth 2026-07-31 21:03:29 -0400
• 381c49849e P13-S16 scoped and blocked; P13-S27 filed Levi Neuwirth 2026-07-31 20:27:43 -0400
• f876836454 G3a contract: ten source locators, corrected forward Levi Neuwirth 2026-07-31 19:47:43 -0400
• f90a5b1c29 Pass 13 ledger: two rows corrected against the tree, two filed Levi Neuwirth 2026-07-31 19:44:41 -0400
• a4d78471bb P13-S22 contract: M2's whole-test alternative was false Levi Neuwirth 2026-07-31 19:30:21 -0400
• 6e4e45587f P13-S22: the tag space gets a second witness Levi Neuwirth 2026-07-31 19:28:28 -0400
• 3397c0573e Contract for P13-S22, tracked as DRAFT before dispatch Levi Neuwirth 2026-07-31 19:11:33 -0400
• 17c1d67561 P13-S19: what a partial measure actually costs Levi Neuwirth 2026-07-31 18:13:44 -0400
• ab430ec52d Contract for P13-S19, tracked as DRAFT before dispatch Levi Neuwirth 2026-07-31 17:50:02 -0400
• 339269b3cf P13-S18: the invariant-20 outcome matrix, and what the residue actually is Levi Neuwirth 2026-07-31 17:00:54 -0400