Skip to content
Merged
Changes from all commits
Commits
Show all changes
56 commits
Select commit Hold shift + click to select a range
bd8725b
WIP: tidy-wolf-507
briansrls Apr 29, 2026
2fd9eed
WIP: tidy-wolf-507
briansrls Apr 29, 2026
7994d36
chore: apply cargo fmt
briansrls Apr 29, 2026
fd494f6
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
ef14405
WIP: tidy-wolf-507
briansrls Apr 29, 2026
57bbd40
chore: apply cargo fmt
briansrls Apr 29, 2026
d92b3e0
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
186c0f8
WIP: tidy-wolf-507
briansrls Apr 29, 2026
4602659
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
208150a
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
660e2ab
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
51fb2b4
WIP: tidy-wolf-507
briansrls Apr 29, 2026
6496a0c
fix(v3): SG-0 ratchet receipt + parse-corpus manifest refresh
briansrls Apr 29, 2026
7f475e0
WIP: tidy-wolf-507
briansrls Apr 29, 2026
2c13dc8
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
61ad6ea
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
b18a5ec
chore(v3): re-regen bootstrap on top of merged main
briansrls Apr 29, 2026
b7e6988
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
66fa643
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
45f24c9
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
0ef4771
WIP: tidy-wolf-507
briansrls Apr 29, 2026
fa5bba2
feat(v3): T-Substrate-Lens-Primitive — Lens<C> carrier + Q6.5 widening
briansrls Apr 29, 2026
cdcaecc
WIP: tidy-wolf-507
briansrls Apr 29, 2026
c515b7e
docs(v3): explicitly cover kind_decl resolution gap in SCAFFOLD comment
briansrls Apr 29, 2026
818126b
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
5bb049c
chore(v3): re-regen bootstrap on top of merged main
briansrls Apr 29, 2026
1eeadb7
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
d1d2599
chore(v3): re-regen bootstrap on top of merged main (#1188 fix)
briansrls Apr 29, 2026
b0eb3d8
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
ec597ac
WIP: tidy-wolf-507
briansrls Apr 29, 2026
1f695fe
feat(v3): minimal method-declaration registry + MethodRef refinement
briansrls Apr 29, 2026
c865541
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
d6216b8
WIP: tidy-wolf-507
briansrls Apr 29, 2026
b9cf95f
test(v3): tighten method-registry authority enforcement
briansrls Apr 29, 2026
fdaaee5
chore: apply cargo fmt
briansrls Apr 29, 2026
b2651ac
WIP: tidy-wolf-507
briansrls Apr 29, 2026
84755ce
test(v3): registry drift derives names from algebra.dag source
briansrls Apr 29, 2026
7900975
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
ad39ecb
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
944cf79
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
073b077
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
b5359e2
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
b8d8693
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
9056936
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
359f658
docs(design): lens-fold prerequisites audit
briansrls Apr 29, 2026
83535ad
WIP: tidy-wolf-507
briansrls Apr 29, 2026
d34ca4a
docs(design): land Director dispositions on lens-fold prerequisites
briansrls Apr 29, 2026
8db65f7
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
a49a8aa
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
09c221e
docs(design): fail-closed WorkflowRoot return type for accessor
briansrls Apr 29, 2026
42bf818
docs(design): narrow Prereq-1 to Arrow-signature inhabitance
briansrls Apr 29, 2026
a4950f5
docs(design): add Prereq-3a standalone acceptance for accessor
briansrls Apr 29, 2026
cca85a6
docs(design): resolve workflow-root contradiction in does-not-do list
briansrls Apr 29, 2026
8f48849
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
ffd5723
docs(design): fix stale -> PortId in Sub-slice 3a after WorkflowRoot …
briansrls Apr 29, 2026
96c9901
Merge remote-tracking branch 'origin/main' into session/tidy-wolf-507
briansrls Apr 29, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading