JosephFerano/flan
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • a84026736e One request paints every open buffer, so the toggle has to ask about all of them Joseph Ferano 2026-09-20 12:02:43 +07:00
  • 0b4f5e139e defvar keeps its value across re-run; the form is the contract Joseph Ferano 2026-09-20 12:01:50 +07:00
  • d7d6d72877 check.ml's four verbatim copies become helpers Joseph Ferano 2026-09-20 12:00:10 +07:00
  • 5b0062219e Ask which lines allocate, and believe the runtime over the enumeration Joseph Ferano 2026-09-20 11:58:47 +07:00
  • e441d62874 Eight emitters were four renderings, and the escape table was three copies Joseph Ferano 2026-09-20 11:53:04 +07:00
  • 76270eac0d The test directory had been copying its own plumbing, file by file Joseph Ferano 2026-09-20 11:50:34 +07:00
  • 1c49b8c610 The monotonic origin bound measures the clock, not the machine Joseph Ferano 2026-09-20 11:53:37 +07:00
  • 001f17b8bf Four copies in the checker become four callers Joseph Ferano 2026-09-20 11:50:19 +07:00
  • 7db5ec1885 Float % on x86 is a libcall, and the parity ruling is written down Joseph Ferano 2026-09-20 11:33:26 +07:00
  • da40dc2de2 The rule a re-run follows is written down, and a test fails without it Joseph Ferano 2026-09-20 11:30:58 +07:00
  • 9611fce108 Arithmetic does not fork across the spaces; the tiebreaker stops at semantics Joseph Ferano 2026-09-20 11:29:20 +07:00
  • 6896128407 Say what the objdump actually showed, and where it showed nothing Joseph Ferano 2026-09-20 11:25:49 +07:00
  • 4f060d07db The park's root reset stops at the globals' watermark Joseph Ferano 2026-09-20 11:24:46 +07:00
  • 58d5ccda94 Typed float % on x86: the same fmod LLVM calls Joseph Ferano 2026-09-20 11:21:25 +07:00
  • eec9efc94c M2 item 3: typed containers cross into dyn as views of permanent storage Joseph Ferano 2026-09-20 11:18:18 +07:00
  • 931cf860c3 A defvar's initialiser runs once, so its value survives a re-run Joseph Ferano 2026-09-20 11:16:37 +07:00
  • e6af2d3f77 The park kept the frames' roots off and the globals' on Joseph Ferano 2026-09-20 10:51:50 +07:00
  • c765aad70f A slice level after the first index was invisible to the lifetime rule Joseph Ferano 2026-09-20 10:49:10 +07:00
  • 3a9088604e and hands back its deciding operand too, and both forms point refusals at the operand Joseph Ferano 2026-09-20 10:45:16 +07:00
  • bddc8fc5dd and hands back its deciding operand too, and both locs get sharper Joseph Ferano 2026-09-20 10:36:05 +07:00
  • 633a7b2025 A global slice's element is not permanent, and four comments that were not true Joseph Ferano 2026-09-20 10:32:55 +07:00
  • 3f7c42257f Review found the hazard relocation-safety missed: a view can outlive its frame Joseph Ferano 2026-09-20 10:10:52 +07:00
  • f61f83f796 M2 item 7: dyn if tests truthiness, and or hands back its deciding operand Joseph Ferano 2026-09-20 10:08:44 +07:00
  • b5f17826fe The queue records item 7's review pass: the or fix, and two things left alone Joseph Ferano 2026-09-20 09:56:53 +07:00
  • ad0f1fbd6a or hands back its deciding operand instead of a bare bool, review pass on item 7 Joseph Ferano 2026-09-20 09:56:34 +07:00
  • 29a9441f12 Typed containers into dyn as views — M2 item 3 Joseph Ferano 2026-09-20 07:23:05 +07:00
  • d7070501e4 The queue marks item 7 landed, and names the or asymmetry it turned up Joseph Ferano 2026-09-20 07:20:53 +07:00
  • 264765a6a5 Dyn if tests truthiness — M2 queue item 7 Joseph Ferano 2026-09-20 07:20:32 +07:00
  • 221df5af1c Three review findings on M2 item 4, none blocking Joseph Ferano 2026-09-20 07:41:55 +07:00
  • c71ae8020c M2 item 4 landed at 3c1fb1b Joseph Ferano 2026-09-20 07:20:45 +07:00
  • 3c1fb1b31e nil <-> None at (Option T) boundaries, and (Some nil) unconstructible — M2 queue item 4 Joseph Ferano 2026-09-20 07:20:27 +07:00
  • ba7f31e99f Merge branch 'worktree-agent-a0b464fd2273c74d2' into dev-loop Joseph Ferano 2026-09-20 00:27:40 +07:00
  • 31b0f2175f Four holes review found in the compile pool, closed one at a time Joseph Ferano 2026-09-20 00:26:37 +07:00
  • 70f87d90b2 A visited set crossed a question it was never asked Joseph Ferano 2026-09-20 00:25:49 +07:00
  • a1111f7b3c The foreign boundary is about ownership, and it was reading shape Joseph Ferano 2026-09-19 23:02:26 +07:00
  • 27b672a3d2 Five back from review, and the first one was the mangle eating a type Joseph Ferano 2026-09-19 22:12:16 +07:00
  • f6ab3b62fc A struct's dyn fields become markable, so the refusal comes off Joseph Ferano 2026-09-19 21:28:17 +07:00
  • 7b3773c344 A worker pool for the 112 clang calls test_acceptance was making one at a time Joseph Ferano 2026-09-19 22:22:29 +07:00
  • 7c1a818001 The defer counter costs something on the warm path, and the valgrind row rests on one half Joseph Ferano 2026-09-19 21:59:11 +07:00
  • 4c667cf062 A defer the text never reached is not cleanup the unwind owes Joseph Ferano 2026-09-19 21:40:23 +07:00
  • c3e0703642 Five more, and the pattern held: the messages were right, the prose wasn't Joseph Ferano 2026-09-19 21:51:31 +07:00
  • 87aeb7b0da Six defects back from review, fixed rather than reworded around Joseph Ferano 2026-09-19 21:35:08 +07:00
  • c76a507d3b The batch from two reviews plus the acceptance exit code, item by item Joseph Ferano 2026-09-19 21:05:54 +07:00
  • f360531918 Merge branch 'worktree-agent-a5df4c0409bf9d7c4' into dev-loop Joseph Ferano 2026-09-19 21:13:29 +07:00
  • e3565b30e8 The survey was counting the defers, not watching them Joseph Ferano 2026-09-19 21:13:03 +07:00
  • ec1a5358b1 Merge branch 'worktree-agent-a47ac6844d7e0f8a9' into dev-loop Joseph Ferano 2026-09-19 21:06:22 +07:00
  • 624b595869 The two models get named, and the gap handler-case fills gets written down Joseph Ferano 2026-09-19 20:54:11 +07:00
  • a251dca67f handler-case is a handler-bind plus a transfer, and nothing more Joseph Ferano 2026-09-19 20:48:52 +07:00
  • 5adc1e2b03 The orphan-grace scenario's wait no longer proves patience Joseph Ferano 2026-09-19 20:24:19 +07:00
  • b77b4f3a1f Merge branch 'worktree-agent-a22794807b6ae26e1' into dev-loop Joseph Ferano 2026-09-19 20:17:26 +07:00
  • 9b4337f9e5 Merge branch 'worktree-agent-a3009901a950e8daa' into dev-loop Joseph Ferano 2026-09-19 20:17:23 +07:00
  • d3a9c790f0 The queue learns what today decided: descriptors, sweeps, and a parked JS hole Joseph Ferano 2026-09-19 20:17:18 +07:00
  • daed039331 Typed = and != grow strings — M2 queue item 5 Joseph Ferano 2026-09-19 19:56:36 +07:00
  • ab82e46119 Dyn maps, keywords and nil land: milestone 2's first item Joseph Ferano 2026-09-19 19:44:56 +07:00
  • 73ab213134 Merge branch 'worktree-agent-af0dbd9d75a1c8bee' into dev-loop Joseph Ferano 2026-09-19 16:02:39 +07:00
  • 92fae67fb3 The collector's Flan-side roots go under the sanitizers Joseph Ferano 2026-09-19 16:01:26 +07:00
  • 5f55c177ba The M2 queue, decided item by item Joseph Ferano 2026-09-19 15:46:19 +07:00
  • d722b267e6 Two dyn rows had been asserting the stub's output, not the runtime's Joseph Ferano 2026-09-19 15:06:50 +07:00
  • 01e60fa5b7 A struct cannot hold a dyn field the collector would never find Joseph Ferano 2026-09-19 14:30:46 +07:00
  • 477ec2226e The duplicity audit: where the two sides meet, and where they already leak Joseph Ferano 2026-09-19 14:27:11 +07:00
  • 5bd533c64e Merge: the inspector writes, against the stop it rendered under Joseph Ferano 2026-09-19 14:25:13 +07:00
  • 6d87c02584 Both backends are asked whether they store where the render said they do Joseph Ferano 2026-09-19 14:24:10 +07:00
  • c2d378957e The x86 backend and dyn finally meet, which is where the dev loop is Joseph Ferano 2026-09-19 14:22:55 +07:00
  • 5bd25b61df Where the session stopped, and what is still in the air Joseph Ferano 2026-09-19 10:59:29 +07:00
  • 18b834275c The inference spike's report, which the dyn decision was made against Joseph Ferano 2026-09-19 10:59:00 +07:00
  • d43c372efe A listing drawn after a commit is a listing again Joseph Ferano 2026-09-19 10:38:02 +07:00
  • 416ce10ee7 The inspector buffer is the value, and a commit is a diff Joseph Ferano 2026-09-19 10:30:56 +07:00
  • 37f8f77380 The inspector can store, and a write names the stop it was addressed to Joseph Ferano 2026-09-19 10:16:03 +07:00
  • 2ec12c064d handler-bind has a value, and both backends now say the same one Joseph Ferano 2026-09-19 10:14:07 +07:00
  • 1d74a4f694 Merge: a macro reads the file, and the struct is the file's shape Joseph Ferano 2026-09-19 09:58:25 +07:00
  • 55543747d3 The dyn expectations follow the typed printer, which the stub did not Joseph Ferano 2026-09-19 09:58:04 +07:00
  • 889fdc30d9 A file that does not parse says so, and the provider is written down Joseph Ferano 2026-09-19 06:59:22 +07:00
  • f885e1abfa Merge: unannotated means dyn, and the typed world pays nothing Joseph Ferano 2026-09-19 06:52:39 +07:00
  • dc34c62ce0 defjson, which shares the design and not a line of the code Joseph Ferano 2026-09-19 06:41:57 +07:00
  • bd981ff87a Four dyn values in a defer the collector had never been told about Joseph Ferano 2026-09-19 06:40:53 +07:00
  • 4aa24c0e33 The zero-root question is the integrator's, and the handoff says which asks are open Joseph Ferano 2026-09-19 06:36:23 +07:00
  • 7c7586ebc6 --no-gc is a pass, not a flag the emitter can see Joseph Ferano 2026-09-19 06:33:28 +07:00
  • 76f23fc68b C-c C-m over a provider, and what it has to show Joseph Ferano 2026-09-19 06:26:33 +07:00
  • 9f2f0b1635 Roots, pushed where the addresses are stable and popped where the frame leaves Joseph Ferano 2026-09-19 06:12:41 +07:00
  • de792fe141 A container holding an integer, a float, a string and a boolean at once Joseph Ferano 2026-09-19 06:06:44 +07:00
  • a5a77867f9 The provider, checked against the reader that was written by hand Joseph Ferano 2026-09-19 06:00:54 +07:00
  • ca192f1691 Merge: a tagged value, and a collector that only runs when asked for memory Joseph Ferano 2026-09-19 05:59:42 +07:00
  • 090054bee1 The collector is not dropped by the linker, and a literal is where dyn is sharper Joseph Ferano 2026-09-19 05:58:52 +07:00
  • c8091bdbf9 One unannotated add, answering 5 to the integers and 3.75 to the floats Joseph Ferano 2026-09-19 05:55:48 +07:00
  • 1422d4faf3 defedn: the struct a data file implies, and a reader for it Joseph Ferano 2026-09-19 05:55:00 +07:00
  • 7d4bec521e A value carries its own type, and the heap under it collects Joseph Ferano 2026-09-19 05:52:47 +07:00
  • 3e68089cde A parameter with no type is dyn, decided where the type names are all known Joseph Ferano 2026-09-19 05:47:49 +07:00
  • a2004ae7a6 One macro call, several declarations, and a refusal that carries a sentence Joseph Ferano 2026-09-19 05:43:51 +07:00
  • 32ff350001 A macro may call its package, and may read a file at the call site's path Joseph Ferano 2026-09-19 05:39:06 +07:00
  • 4a8a78caac Byte-compiled files do not belong in the tree Joseph Ferano 2026-09-19 05:23:11 +07:00
  • 95d3da0712 Merge: the bang leaves the names; mutation was never optional Joseph Ferano 2026-09-19 05:22:15 +07:00
  • a0f37e72a2 The ! suffix retires: a mutator is named for what it does, not marked Joseph Ferano 2026-09-19 05:21:02 +07:00
  • 69c033e946 Merge: the dev daemon compiles with its own backend unless asked not to Joseph Ferano 2026-09-19 04:47:30 +07:00
  • 6055e9c247 Merge: an x86 dev build pushes the frames the inspector reads Joseph Ferano 2026-09-19 04:47:30 +07:00
  • 2133ac6f18 Merge: an Option opens without a match, and a file reads in one call Joseph Ferano 2026-09-19 04:32:33 +07:00
  • a7e1208ee4 A stopped x86 program says where it is, and what its frames hold Joseph Ferano 2026-09-19 04:32:15 +07:00
  • f35af50f51 or-else is Java's, not Rust's, and the None it is tested against is reached Joseph Ferano 2026-09-19 04:30:57 +07:00
  • 617440aee6 Merge: a global's initialiser may compute, and main runs it first Joseph Ferano 2026-09-19 04:25:54 +07:00
  • 495629f5f3 A global's initialiser may be computed, and both backends run it the same way Joseph Ferano 2026-09-19 04:22:39 +07:00
  • 7a0b2b7803 An Option opens without a match, and a reader takes a path Joseph Ferano 2026-09-19 04:16:37 +07:00