Add specs/memory/tmem: Trinity Memory contracts as sealed .t27 specs - #3562
Merged
gHashTag merged 1 commit intoSep 12, 2026
Merged
Conversation
Six sealed specs (types, Bridge, TensorPack, Stream Compute, Conformance Lab, Edge Demo) with conformance vectors, copied from dmitrii-f-t27/trinity-memory v0.3.0; published test-block pin follows the corpus (12542 + 51 = 12593). Closes gHashTag#3561 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Collaborator
Author
|
CI note: every check that reads this change is green (spec-guards, seal coverage, corpus ratchet, schema validation, now-sync, conflict markers, secret scan, withdrawn-live, verilog widths, orphan modules, documented commands, harness scratch, phi-loop, pr-dashboard). The two red checks fail on
Both are noted as pre-existing in |
This was referenced Sep 12, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #3561
What
specs/memory/tmem/adds six sealed.t27specs from dmitrii-f-t27/trinity-memory (v0.3.0, epic #3 there), with their conformance vectors and seals:types.t27TrinityMemoryTypesTMS_ERR_*,Evidencebridge.t27TrinityMemoryBridgeSpectensorpack.t27TrinityMemoryTensorPackSpecstream_compute.t27TrinityMemoryStreamComputeSpecconformance.t27TrinityMemoryConformanceLabSpectrinity.conformance.v1, plan counts, corruption positions, lab report sectionsedge_demo.t27TrinityMemoryEdgeDemoSpectrinity.edge-report.v1specs/memory/*.t27except for the path line in each header.specs/memory/tmem/OWNERS.mdrecords the conventions and the two pinned-compiler pitfalls the files avoid (a non-constantinvariantis emitted as a comment; anassertwhose expression begins with(is folded into a call)..trinity/seals/tmem_TrinityMemory*.jsonwere produced byt27c seal --saveatbff21b85(masterat the time of writing) from thespecs/memory/tmem/paths.t27c ci --repo-root .reports the six files with no issue;t27c validate-conformance --repo-root .acceptsconformance/tmem_*.json.tools/published_figures.py: the pinnedtest blockspopulation follows the corpus, 12542 -> 12593 (the 51 test blocks of these specs), with the movement written next to the pin.docs/now/2026-09-11-trinity-memory-contracts-as-t27-specs.mdadded.Verified locally on this branch (bff21b8 + this commit)
published_figures.py --check,check_assertionless_spec_tests.py,check_duplicate_declarations.py,check_json_parses.py,check_now_entry_shape.py(with PR env),check_fix_carries_source.py,check_conflict_markers.py,check_devhome_paths.py,check_withdrawn_live.py,check_seal_coverage.py(1324 seals, 1230 hold, 94 known-broken unchanged),check_seal_currency.py,check_specs_parse.py,check_verilog_widths.py --require,check_specs_generate.py,check_damage_negatives.py --require,tri mods orphan --gate,check_documented_commands_exist.py,tri harness scratch --gate: all exit 0.Every constant, layout and cycle-level rule in the specs is checked against the implementation in the memory repository (differential C harnesses, Icarus trace testbenches, TCP/WASM replays,
tools/generate-spec-vectors.py --check, all undertools/check-specs.sh); none of that is copied here.Not claimed
The memory protocol and TTPK are experimental contracts of the memory repository, not an approved ABI of
trinity-nodeortrinity-sdk(the Bridge spec pins the revisions it was checked against). No FPGA number. No existing spec, seal, conformance file or generated file is touched.🤖 Generated with Claude Code