Commit Graph

  • d3495476f4 kill: purge old-paradigm dist/platform binaries from tree main will 2026-08-19 19:46:15 -05:00
  • cce4fcca05 lang: rebuild the bootstrap compiler so it carries the runtime seam emission bigmerge 2026-08-19 15:25:11 -05:00
  • 8f1b6d1b47 Merge pull request 'promote stage → main: measurement-defect log' (#172) from stage into main will.anderson 2026-08-17 16:15:44 +00:00
  • 6df362f84d Merge pull request 'promote dev → stage: measurement-defect log' (#171) from dev into stage stage will.anderson 2026-08-17 16:15:02 +00:00
  • 0032e8f8c4 Merge pull request 'log the fifth measurement defect: a count that was not counting' (#170) from chore/log-fifth-measurement-defect into dev dev will.anderson 2026-08-17 16:14:15 +00:00
  • daad2fa2a0 log the fifth measurement defect: a count that was not counting bigmerge 2026-08-17 11:10:22 -05:00
  • 9e4160f279 Merge pull request 'promote stage → main: chain-of-custody repair' (#169) from stage into main will.anderson 2026-08-17 16:06:01 +00:00
  • 4aadd9300e Merge pull request 'promote dev → stage: chain-of-custody repair' (#168) from dev into stage will.anderson 2026-08-17 16:05:31 +00:00
  • 44e2e17973 Merge pull request 'repair a broken chain link: rerun cycle 18 rather than reconstruct it' (#167) from experiment/async-future-replication into dev will.anderson 2026-08-17 16:05:02 +00:00
  • 511db25230 rerun cycle 18 rather than reconstruct it bigmerge 2026-08-17 11:03:59 -05:00
  • e9eac46be1 Merge pull request 'promote stage → main: iteration-1 (the compiler stops adjudicating)' (#166) from stage into main will.anderson 2026-08-17 15:57:06 +00:00
  • aa570b6899 Merge pull request 'promote dev → stage: iteration-1 (the compiler stops adjudicating) + accumulated dev' (#165) from dev into stage will.anderson 2026-08-17 15:56:24 +00:00
  • 98da70f650 Merge pull request 'iteration-1: the compiler stops adjudicating' (#164) from iteration-1 into dev will.anderson 2026-08-17 15:55:20 +00:00
  • d1489a2568 Merge remote-tracking branch 'origin/dev' into iteration-1 bigmerge 2026-08-17 10:54:00 -05:00
  • 923f6a4bed land annotation checking: the declared type is finally verified bigmerge 2026-08-17 10:53:01 -05:00
  • f1a7e224a7 verify the annotation against what it annotates bigmerge 2026-08-17 10:53:01 -05:00
  • c6ba0677f0 log v1 experiments: nineteen cycles, organised by the method that produced them bigmerge 2026-08-17 10:52:17 -05:00
  • 3049a70837 make the guard a gate: sha256_hex(50000) no longer segfaults bigmerge 2026-08-17 10:49:49 -05:00
  • 9a6c161ba9 a slot must be validated before it is dereferenced bigmerge 2026-08-17 10:49:49 -05:00
  • cb7289f065 thread provenance end to end: a diagnostic can finally name a place bigmerge 2026-08-17 10:07:27 -05:00
  • 6c975b1d50 thread provenance through resolve_imports bigmerge 2026-08-17 10:07:27 -05:00
  • 1086ac9658 record the module answer: the partition is a path, not a neighbourhood bigmerge 2026-08-17 09:54:39 -05:00
  • f23cb2b948 answer the module question: the partition is a path, and there is no namespacing bigmerge 2026-08-17 09:54:23 -05:00
  • 79f6cb7985 ANSWER: if the partition is a neighbourhood, does linking survive? bigmerge 2026-08-17 09:54:23 -05:00
  • bb040ad2c8 record the numeric literals answer: a bare number has no axis bigmerge 2026-08-17 09:50:06 -05:00
  • 97f741e9c2 answer the numeric literals question: a bare number is a magnitude with no axis bigmerge 2026-08-17 09:49:51 -05:00
  • c48db6c2a8 ANSWER: is 3 a position, or a convention we agreed on? bigmerge 2026-08-17 09:49:50 -05:00
  • 93aa96cfaf record the parsing answer: a grammar is a basis, and the should gate refused the obvious move bigmerge 2026-08-17 09:44:14 -05:00
  • 067dd40317 answer the parsing question: a grammar is a basis, and five keywords reserved nothing bigmerge 2026-08-17 09:43:58 -05:00
  • 0143cc458a ANSWER: is a grammar a convention, or a region? bigmerge 2026-08-17 09:43:58 -05:00
  • 15d4352bac make the capability table match its own status note bigmerge 2026-08-17 09:37:35 -05:00
  • 2fcc1c287c correct the architecture docs against what was measured bigmerge 2026-08-17 09:37:13 -05:00
  • 505e5e74d9 land int signatures, and repair a silent miscompilation they exposed bigmerge 2026-08-17 09:32:13 -05:00
  • cbef1c1ebb EXPERIMENT: Int return types as data — and the bug that fell out bigmerge 2026-08-17 09:32:13 -05:00
  • 50425f375d land temporal adjudication as a query: the emitter records, the rules are data bigmerge 2026-08-17 09:27:42 -05:00
  • e8e25a07b4 EXPERIMENT: temporal adjudication moves out; the placeholder stays bigmerge 2026-08-17 09:27:42 -05:00
  • e01e079bda land temporal signatures as data: the type table leaves, the dispatch stays bigmerge 2026-08-17 09:25:18 -05:00
  • d2d89fcb60 EXPERIMENT: temporal types as data — and the pass that GREW the compiler bigmerge 2026-08-17 09:25:18 -05:00
  • d9e301be6d land arity-from-header: the runtime declares its own surface bigmerge 2026-08-17 09:21:10 -05:00
  • 9cc6040df2 EXPERIMENT: derive arity from the runtime's own declarations bigmerge 2026-08-17 09:21:10 -05:00
  • 29f78f9f67 land capability-as-policy: eighteen literals become a data file bigmerge 2026-08-17 09:16:36 -05:00
  • c2d9596e76 EXPERIMENT: the capability tier becomes shipped policy plus a query bigmerge 2026-08-17 09:16:36 -05:00
  • 60c07ad784 land prohibition-as-query: the emitter records, it no longer adjudicates bigmerge 2026-08-17 09:11:48 -05:00
  • c741cfe928 EXPERIMENT: prohibition becomes a query over emitted relations bigmerge 2026-08-17 09:11:48 -05:00
  • c04d68f9ce land runtime invocation control: only prohibition remains compiled bigmerge 2026-08-17 09:06:16 -05:00
  • bc2f26ddfc EXPERIMENT: invocation control resolves at runtime bigmerge 2026-08-17 09:06:05 -05:00
  • b40754f07b land unconditional wrapper: exit crossings resolve at runtime bigmerge 2026-08-17 09:01:55 -05:00
  • 285166c25c EXPERIMENT: emit the wrapper unconditionally, so exit binds at runtime too bigmerge 2026-08-17 09:01:55 -05:00
  • 24f7fb5143 land the runtime seam: resolve the crossing at execution bigmerge 2026-08-17 08:56:41 -05:00
  • 8bbb750c2c control the claim that cannot be unit tested bigmerge 2026-08-17 08:48:57 -05:00
  • 28d19da7f1 strip the compile-time machinery the seam replaces bigmerge 2026-08-17 08:43:57 -05:00
  • 886626a64e seam refusal + control tests: a runtime binding can short-circuit bigmerge 2026-08-17 08:40:10 -05:00
  • 82e998273b self-review 2026-08-17: bound the off-graph ISE log — moving telemetry off-graph moved the leak, it did not close it bigmerge 2026-08-17 08:39:48 -05:00
  • 35b07bade2 EXPERIMENT: resolve the crossing at execution, not at emission bigmerge 2026-08-17 08:37:47 -05:00
  • 1b324a071f let a construct declare what may not cross it bigmerge 2026-08-17 08:15:27 -05:00
  • 7d01608a9d land wraps_body: a construct controls invocation bigmerge 2026-08-17 08:12:16 -05:00
  • 2bed8483f7 EXPERIMENT: hand the construct the body as a real closure bigmerge 2026-08-17 08:08:37 -05:00
  • 4f7568b07f give a construct its after-crossing face, and let constructs compose bigmerge 2026-08-17 07:56:28 -05:00
  • 60737b0305 let a construct refuse, not only observe bigmerge 2026-08-17 07:53:10 -05:00
  • 5718943f2e let a construct declare its own meaning instead of the emitter knowing it bigmerge 2026-08-17 07:50:56 -05:00
  • dcaa77d77b make boundary crossings attributable to the construct that caused them bigmerge 2026-08-17 04:53:40 -05:00
  • 409bf57341 track the architecture docs bigmerge 2026-08-17 04:34:32 -05:00
  • b212e9443c Merge pull request 'runtime: land the growth ratchet and engram_text extraction on dev' (#163) from fix/runtime-stack-on-dev into dev will.anderson 2026-08-17 01:00:54 +00:00
  • addd51209f runtime: extract engram_text.c, and repair 10 harnesses that could not link fix/runtime-stack-on-dev bigmerge 2026-08-16 16:58:18 -05:00
  • 9a13547fe2 runtime: put el_runtime.c on a ratchet, and actually run the guards bigmerge 2026-08-16 16:48:04 -05:00
  • 481badf1d1 Merge pull request 'organ: el speaks — the peripheral becomes a capability of the language' (#159) from feat/el-speaks into dev will.anderson 2026-08-17 00:58:20 +00:00
  • b92ec92c48 Merge pull request 'engram: intake realizes a signal into a manifold, it does not assume a node' (#158) from wire/write-realizes-signal into dev will.anderson 2026-08-17 00:58:04 +00:00
  • e1bc6fe944 Merge pull request 'singleton: guard the state, not the program's name' (#157) from fix/singleton-guards-the-state into dev will.anderson 2026-08-17 00:57:49 +00:00
  • 858e9ccd2d Merge pull request 'runtime: extract engram_text.c, and repair 10 harnesses that could not link' (#162) from fix/runtime-extract-text into fix/runtime-growth-guard fix/runtime-growth-guard will.anderson 2026-08-17 00:57:00 +00:00
  • d99dd17f74 Merge pull request 'runtime: put el_runtime.c on a ratchet, and actually run the guards' (#161) from fix/runtime-growth-guard into fix/runtime-shim-retire fix/runtime-shim-retire will.anderson 2026-08-17 00:56:44 +00:00
  • eb13dace9c Merge pull request 'runtime: the link set is multi-file — name it once, ship all of it' (#160) from fix/runtime-shim-retire into dev will.anderson 2026-08-17 00:56:23 +00:00
  • 678dac5efc runtime: extract engram_text.c, and repair 10 harnesses that could not link fix/runtime-extract-text bigmerge 2026-08-16 16:58:18 -05:00
  • fe634c4582 runtime: put el_runtime.c on a ratchet, and actually run the guards bigmerge 2026-08-16 16:48:04 -05:00
  • 8c2406ff6b runtime: the link set is multi-file — name it once, ship all of it bigmerge 2026-08-16 16:44:26 -05:00
  • c26b6aac82 organ: the rest of the peripheral moves into El feat/el-speaks Neuron 2026-08-16 16:42:41 -05:00
  • 99ef855b98 engram: intake realizes a signal into a manifold, it does not assume a node wire/write-realizes-signal bigmerge 2026-08-16 16:34:36 -05:00
  • 5503e1d9a4 organ: el gets a speaker, and fetches the voice from the engram Neuron 2026-08-16 16:27:30 -05:00
  • 45325f7391 singleton: guard the state, not the program's name fix/singleton-guards-the-state bigmerge 2026-08-16 16:08:40 -05:00
  • 95a05109d1 Merge pull request 'runtime: transduction decomposes a signal into components and relations, it does not convert it to a point' (#155) from fix/transduce-decomposition into dev will.anderson 2026-08-16 20:51:54 +00:00
  • 21746bb71a Merge pull request 'spec: correspondence, grounding, and the provenance of decisions' (#149) from design/correspondence-and-censorship into dev will.anderson 2026-08-16 20:50:40 +00:00
  • 78adcd5649 Merge pull request 'docs: carry the correspondence corrections, because a stale doc builds the wrong thing' (#152) from docs/correspondence-and-ownership-2026-08-16 into dev will.anderson 2026-08-16 20:50:20 +00:00
  • 688f24b4c1 ingest: name the inversion, and correct the worked example to decomposition fix/transduce-decomposition Neuron 2026-08-16 15:11:01 -05:00
  • d777936ee4 runtime: transduction decomposes a signal, it does not convert it Neuron 2026-08-16 15:05:32 -05:00
  • 3ef4a94062 spec: thirteen values, and love is the origin — not a member of the set design/correspondence-and-censorship Neuron 2026-08-16 13:56:43 -05:00
  • 285a7a50b3 spec: corrections — eight values not thirteen, eleven consolidators not seven Neuron 2026-08-16 13:36:39 -05:00
  • 6b61bb7224 geometry: disagreement belongs on the edge, not averaged into the region Neuron 2026-08-16 13:15:05 -05:00
  • 8d34b33bce spec: wonder is the boundary; curiosity is wonder crystallized Neuron 2026-08-16 13:05:52 -05:00
  • d6b7f5dbdd spec: dreaming is ambient, not scheduled — a brain has no cron job Neuron 2026-08-16 12:52:06 -05:00
  • 9a24803917 spec: grounding is a two-axis gradient, and decisions carry their provenance Neuron 2026-08-16 12:34:50 -05:00
  • a6611dc19e spec: correspondence and censorship — the root beneath the day's defects Neuron 2026-08-16 12:20:22 -05:00
  • caa1206af5 docs: the nine-op surface shipped, and two of its primitives are the wrong shape docs/correspondence-and-ownership-2026-08-16 bigmerge 2026-08-16 13:33:00 -05:00
  • 914bab11d2 docs: mark GeoEdge.discord as design-branch-only, not on dev bigmerge 2026-08-16 13:31:24 -05:00
  • e239f2894c docs: carry the correspondence corrections, because a stale doc builds the wrong thing bigmerge 2026-08-16 13:29:47 -05:00
  • 4a57b4faa8 Merge pull request 'docs: the builtin recipe never required a test' (#154) from docs/builtin-recipe-gate into dev will.anderson 2026-08-16 20:49:21 +00:00
  • 0ee82d9e91 Merge pull request 'Grounding is the edge's weight, and the weight is a vector' (#150) from feat/grounding-gradient into dev will.anderson 2026-08-16 20:49:12 +00:00
  • 9526bda507 Merge pull request 'engram: expose the geometry so the frame can be verified' (#156) from fix/geometry-readable into dev will.anderson 2026-08-16 20:49:07 +00:00
  • 0389bf9363 engram: expose the geometry so the frame can be verified fix/geometry-readable Neuron 2026-08-16 15:37:22 -05:00
  • fe820928b0 docs: the builtin recipe never required a test docs/builtin-recipe-gate Neuron 2026-08-16 13:53:08 -05:00
  • 385c18442d runtime: a disconnecting client must not kill the server (#151) will.anderson 2026-08-16 18:33:50 +00:00
  • cace6a5ebf runtime: a disconnecting client must not kill the server fix/sigpipe Neuron 2026-08-16 13:25:14 -05:00