Repository navigation
t27c v0.5.2
What's Changed
- verified: ternary_link sealed by the t27c 0.5.1 tag build; die A's 0.5.0 receipt moves to its own directory (Refs #7669) by @dmitrii-f-t27 in #7787
- verified: R3-3 receipt from die B (0389c0c2d85e85c), key 71c5670c1011b42c, t27c 0.5.1 by @dmitrii-f-t27 in #7759
- policy: owner-approved exception for the AX7203 Ethernet beacon wrapper and XDC (Closes #7792) by @gHashTag in #7794
- t27b: module vars that hold a string or start undefined (Closes #7448) by @gHashTag in #7470
- specs(basics): the 27 t27-basics course lessons, upstreamed from trinity's vendored copy (Closes #7793) by @gHashTag in #7799
- fpga: the bench board is an ALINX AX7203, and a t27 Ethernet beacon for it (Closes #7788) by @gHashTag in #7802
- verified: R3-3 receipt from die A under t27c 0.5.1 (Closes #7815) by @gHashTag in #7816
- spec(queen): the event log as a bus, a cursor that loses nothing (Closes #7789) by @gHashTag in #7800
- t27b: which calls lower as the .len field, decided by lencall.t27 (Closes #7524) by @gHashTag in #7530
- spec(queen): how the game draws the swarm (Closes #7820) by @gHashTag in #7821
- t27b: .{} takes its result type, and a store of the fn's own frame address is refused, from t27 plans (Closes #7735) by @gHashTag in #7743
- spec(numeric,math): the GoldenFloat lesson specs compile clean and say only true things by @gHashTag in #7496
- spec(queen): what the board says about the swarm (Closes #7826) by @gHashTag in #7827
- spec(automation): 999 bot tabs named after their agents; a pressed menu leaves (Closes #7824) by @gHashTag in #7825
- spec(memory/graph): records and time rules of a privacy-first graph memory (Closes #7829) by @gHashTag in #7830
- fpga: four specs parse to the end -- gherkin constructs the parser discards, rewritten in-file (Refs #2474, Refs gHashTag/trinity#1484) by @gHashTag in #7659
- t27b: a write through an array literal printed @constcast(&[_]E{ ... }) is refused by name, not encoded, from a t27 plan (Closes #7765) by @gHashTag in #7786
- Port gHashTag/trios:crates/trinity_loss/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trinity_loss/src/lib.t by @gHashTag in #7760
- Port gHashTag/trinity:src/tri/gen_geo_hash2d.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_geo_hash2d.t27 by @gHashTag in #7832
- t27b: undefined as an argument the callee never reads is passed, as in the reference, and refused by name where it is read (Closes #7796) by @gHashTag in #7801
- spec(automation): 999 bot streams an answer with a stop button; events land in their agent's tab (Closes #7836) by @gHashTag in #7837
- queen(app): t27-bees as a CI/CD gate -- check runs, re-run, CI triage, merge queue (Closes #7834) by @gHashTag in #7835
- spec(queen): finished work stops shutting other bees out of its files (Closes #7838) by @gHashTag in #7839
- spec(queen): the reviewer runs on its own clock, several reviews at a time (Closes #7840) by @gHashTag in #7841
- fpga(coverage): line, toggle and FSM coverage as a t27 spec (Closes #7578) by @gHashTag in #7579
- spec(automation): 999 bot tabs are never doubled (bot-topic-tabs v4, Closes #7849) by @gHashTag in #7850
- t27b: @bitcast between an integer and a float of one size, @intFromBool, and std.math.nan / isNan / isPositiveInf / isNegativeInf, from t27 plans (Closes #7791) by @gHashTag in #7818
- t27b: a test local named for a module var (Closes #7668) by @gHashTag in #7447
- specs(port compiler): unify AssembledInstr, LinkSection, LinkedSymbol, HirBoardResources; rename AsmSection, HwType (Closes #7485) by @gHashTag in #7490
- bot-agent-team v1 + agent-spec-bank v1: a team of agents with every tool and every spec by @gHashTag in #7855
- fpga(cdc): mmcm, reset_sync and mtbf as t27 specs (Closes #7585) by @gHashTag in #7586
- bot-agent-team v2: every member answers, as itself; the money is the Treasurer's by @gHashTag in #7861
- t27b: @divTrunc and a @Panic statement as the reference runs them, from builtin_plan.t27 (Closes #7790) by @gHashTag in #7808
- Port gHashTag/trinity:fpga/openxc7-synth/singularity_d6_top.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-syn by @gHashTag in #7858
- specs(port trios, browseros): unify LockGuard; rename 11 port-only types (Closes #7486) by @gHashTag in #7491
- t27c gen-c: size_t range counter, refuse an integer switch without else (Closes #7307, Closes #7308) by @gHashTag in #7331
- tools: ledger the three LinkSection constructor copies (Refs #7490) by @gHashTag in #7864
- docs(agents): actors, not threads -- the owner's rule; the fork holds the extension only (Closes #7852) by @gHashTag in #7869
- t27b: ?*anyopaque and @ptrFromInt to an optional pointer lower from a t27 plan (Closes #7737) by @gHashTag in #7744
- tools: ledger the trios tasks port's three stub replies (Refs #7491) by @gHashTag in #7887
- t27core: for over one range and switch as a value, byte-identical to gen-c (Closes #7429) by @gHashTag in #7436
- spec(queen): bit 63 of the control lane holds under gen-c (Closes #7865) by @gHashTag in #7866
- fix(gen-c): a local nested array is declared as a C matrix (Closes #7441) by @gHashTag in #7495
- ci: test only the specs a change can affect -- t27c use-edges feeds specs/ci/affected.t27 (Closes #7565) by @gHashTag in #7566
- bot-neuro-office v1: live people and the team of agents in one group by @gHashTag in #7884
- feat(spec): bot-topic-tabs v5 -- a tab's emoji is its icon, not the first character of its name by @gHashTag in #7889
- t27b: @floor, @ceil, @round, @trunc and @Rem of an f32 call t27 ports of compiler_rt (Closes #7819) by @gHashTag in #7863
- spec(queen): a row that keeps answering wait is visited less and less (Closes #7898) by @gHashTag in #7899
- verified: R3-3 receipt from die C 050a5824d85e85c, key 3d7ba020ec48adc6, t27c 0.5.1 (Refs #7669) by @dmitrii-f-t27 in #7906
- spec(queen): preemption (slices + isolates) and nodes - actors.t27 sections 8 and 9 (Closes #7900) by @gHashTag in #7907
- fix(specs-generate): record #7436's three switch refuse fixtures (Closes #7914) by @gHashTag in #7916
- t27b: @floatFromInt of a comptime_int rounds to nearest, as Zig does, from coerce_plan.t27 (Closes #7803) by @gHashTag in #7870
- fixtures(core_selfhost/genc): build the _ => arm again, as gen-c now lowers it as the catch-all (Closes #7879) by @gHashTag in #7880
- port: scripts/gen_w638.py as specs/port/scripts/gen_w638.t27 (Closes #7220) by @dmitrii-f-t27 in #7919
- feat(spec): bot-neuro-office v2 -- the agent hears the room and knows who said what by @gHashTag in #7922
- spec(memory/graph): scope and crypt of the privacy-first graph memory (Closes #7881, Closes #7882) by @dmitrii-f-t27 in #7885
- t27b: _ = e; with e not a bare name is deleted where the reference deletes it and run everywhere else (Closes #7810) by @gHashTag in #7853
- t27core: local arrays, separators in dimensions, numeric ** refused (Closes #7929) by @gHashTag in #7931
- feat(spec): bot-neuro-office v3 -- /catchup in the office by @gHashTag in #7933
- t27b: an optional enum compared with a variant is equal only when it holds that tag, as in the reference (Closes #7811) by @gHashTag in #7934
- feat(spec): bot-neuro-office v4 -- one member hands a task to another by @gHashTag in #7949
- t27core: use between modules, byte-identical to gen-c's splice (Closes #7935) by @gHashTag in #7950
- feat(spec): bot-neuro-office v5 -- the office keeps its tasks by @gHashTag in #7954
- specs(tools/tri): real tests for 11 tool cards, gen to merging (Closes #7903) by @gHashTag in #7904
- t27b lab: only a master run moves /ddc/latest.receipt.json (Closes #7955) by @gHashTag in #7956
- t27b: anytype and [*]T in the signature of a fn no test reaches, from a t27 plan (Closes #7857) by @gHashTag in #7875
- feat(spec): bot-neuro-office v6 -- /catchup shows the open tasks by @gHashTag in #7964
- chore(release): t27c 0.5.2 -- the first release the swarm makes (Closes #7965) by @gHashTag in #7966
- fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) by @gHashTag in #7626
- fix(t27b): the ledger stores no total over its entries -- counts are derived, as steward.t27 decides (Closes #7859) by @gHashTag in #7862
- port: scripts/gen_w639.py as specs/port/scripts/gen_w639.t27 (Closes #7250) by @dmitrii-f-t27 in #7971
- port: scripts/gen_w640.py as specs/port/scripts/gen_w640.t27 (Closes #7326) by @dmitrii-f-t27 in #7972
- port: scripts/gen_w641.py as specs/port/scripts/gen_w641.t27 (Closes #7338) by @dmitrii-f-t27 in #7980
- port: scripts/gen_w642.py as specs/port/scripts/gen_w642.t27 (Closes #7543) by @dmitrii-f-t27 in #7981
Full Changelog: t27c-v0.5.1...t27c-v0.5.2