Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• fcc3fb6b39
  P13-S16 amendment 1, review round 1: two documents still described the old state main 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
• 35e34d948e Contract for P13-S18, tracked as DRAFT before dispatch Levi Neuwirth 2026-07-31 14:51:10 -0400
• f33673deef Merge editor-t4-packet2b: the T4 spike's Round 2 text packet Levi Neuwirth 2026-07-30 21:49:44 -0400
• e2979dfccd Packet 2B: both candidates consume the frozen text apparatus Levi Neuwirth 2026-07-30 21:42:05 -0400
• cc49533c76 P13-S22: the fragment count follows the inventory it describes Levi Neuwirth 2026-07-30 21:38:15 -0400
• 6f790bca65 P13-S22: Registered = 16, and why the numbered tag rows do not count Levi Neuwirth 2026-07-30 21:36:43 -0400
• 02eb3aa32f P13-S15 ledger repair, and P13-S22 filed against the tag space Levi Neuwirth 2026-07-30 21:32:12 -0400
• dcb28f0c25 P13-S15: the golden lock catches up with ten appended kinds Levi Neuwirth 2026-07-30 21:17:49 -0400
• 4f141ce197 P13-S21: the two precondition reasons the wire spec never named Levi Neuwirth 2026-07-30 20:57:59 -0400
• d58eee8063 G3b packet 3b: the documentation half, and the ladder closes Levi Neuwirth 2026-07-30 20:45:27 -0400
• ad4f6ed4f3 Pin-13 schema amendment 3: the provider invariant moves into the type Levi Neuwirth 2026-07-30 20:39:32 -0400
• 775d7baced Pin-13 schema amendment 2: an inherited provider must actually name something Levi Neuwirth 2026-07-30 19:02:46 -0400
• d76287cd68 Pin-13 schema amendment: adapter rows carry typed integration ownership Levi Neuwirth 2026-07-30 18:46:52 -0400
• acd7a7690f G3b packet 3a: the seven inbound surfaces a measure undo can strand Levi Neuwirth 2026-07-30 18:43:53 -0400
• 694d135bfc Packet 2B apparatus: the neutral candidatekit and the check-5 oracle Levi Neuwirth 2026-07-30 15:49:07 -0400
• 314cd7a80d G3b packet 2: graph invariant 20, and the operations that must preserve it Levi Neuwirth 2026-07-30 15:13:07 -0400
• b622498c19 G3b packet 1 repair 2: the real-write grid tie, on a fixture that cannot pass vacuously Levi Neuwirth 2026-07-30 13:49:39 -0400
• b92023a032 G3b packet 1 repair: three defects the white-box tests could not see Levi Neuwirth 2026-07-30 13:12:04 -0400
• e64a4b7103 G3b packet 1: CreateMeasure reaches the wire, the mint, and the grid oracle Levi Neuwirth 2026-07-30 12:19:32 -0400
• 93deb18ed6 Record the check-5 asymmetry, and refuse to guess its size Levi Neuwirth 2026-07-29 19:18:52 -0400