wave6: retire dead ctor entries (ALLOWLIST_DISCIPLINE §495, shared-diff fold) - #73

Open

mjerris wants to merge 121 commits into

mainfrom

wave6/ctor-dunder-fold

Commits on Jul 27, 2026

wave6: retire dead ledger entries (logger idiom fold)

mjerris
and
claude
committed
25e89d6
wave6: retire dead ctor entries (ALLOWLIST_DISCIPLINE §495, shared-diff fold)

mjerris
and
claude
committed
14021bc
Merge remote-tracking branch 'origin/wave6/ledger-burndown' into HEAD
mjerris
committed
0953d19
wave6: expose the derived caller-observable attrs (SWMLService TLS + SpiderSkill.remove_xpaths)

mjerris
and
claude
committed
45408a8
wave6: regenerate port_surface.json against the lockstep oracle (porting-sdk 387667e)

mjerris
and
claude
committed
44425bf
fix(test+web): env-port reuse guard + reserve-until-spawn; NOT the port-reuse race I briefed
mjerris
committed
79b4b32
wave6: teach both enumerators to see the inherited resource-tree accessors
mjerris
committed
5c00d71
fix(security): insecure SWAIG tools got an UNAUTHENTICATED per-tool web_hook_url
mjerris
committed
25246d1

Commits on Jul 28, 2026

Commits on Jul 29, 2026

chore(gate): re-baseline the TYPE-EROSION ratchet onto the corrected differ

mjerris
and
claude
committed
b8aa292
fix(logging): put the control-char scrub ON the emission path

mjerris
and
claude
committed
6ad80da
fix: correct the RegisterRoutingCallback doc snippet and delete its two false omissions

mjerris
and
claude
committed
656114e
fix(tests): scope the port-reservation assertion to SIMULTANEOUS ownership

mjerris
and
claude
committed
a3e7e5d
fix(ledger): delete 13 omissions that suppress nothing — the last slice of the fleet sweep

mjerris
and
claude
committed
44d91bb
fix(datamap): upper-case the webhook method on the wire, matching the reference

mjerris
and
claude
committed
00ccd7f
docs(surface): document the last 13 public types and pin DOC-SURFACE at 100%

mjerris
and
claude
committed
863fc11
fix(swml): SwmlRenderer emitted a fatal bare-string prompt and a nonexistent play.text

mjerris
and
claude
committed
e56bbc5
ci(doc-surface): wire the DOC-SURFACE gate — the pinned floor protected nothing

mjerris
and
claude
committed
0ca944a

Commits on Jul 30, 2026

fix(data-map): hard-delete DataMap.body and stop the serverless DataSphere search emitting its payload under it

mjerris
and
claude
committed
816b3d8
fix(swml): route every emitter through the validating entry point; delete the invented `say` verb and the invented play.say_text

mjerris
and
claude
committed
9ae9f54
fix(agent): nest contexts under ai.prompt -- the top-level ai.context_switch it emitted is not an ai key at all

mjerris
and
claude
committed
0cb7d47
chore(surface): regenerate the signature/surface artifacts for the DataMap.body and play.say_text removals

mjerris
and
claude
committed
1c78403
ci(root-hygiene): declare .doc_surface_floor in the root allowlist

mjerris
and
claude
committed
f21d28f
docs: stop leaking "parity" into shipped public XML doc comments

mjerris
and
claude
committed
f3054b9
chore(surface): refresh the generated_from stamp on both surface artifacts
mjerris
committed
a4f5e3b
fix(swaig): enforce the secure=true __token contract on every transport
mjerris
committed
e63d875
fix(swml): honour the open-valued-field marker so the validator stops
mjerris
committed
dce7b46
ci(signatures-fresh): guard port_signatures.json against staleness
mjerris
committed
5abbb75
test(swml): correct the assertion that pinned the over-strict hangup.reason
mjerris
committed
e99c044
docs: stop framing the public API in terms of another language's SDK
mjerris
committed
95def92
test(relay): stop the reconnect-teardown guard blaming other classes' faults
mjerris
committed
5298bbd
build(lint): add a ruff config holding this repo's Python to the SDK bar

Michael Jerris
and
claude
committed
8d8f9ef
fix(surface): stop the enumerator silently swallowing unreadable source files

Michael Jerris
and
claude
committed
7e3d40c
build(lint): lint and format EVERY project, not just the shipped library

Michael Jerris
and
claude
committed
ae8ba46
style(scripts): burn the Python lint+format findings to zero (80 -> 0)

Michael Jerris
and
claude
committed
e0d9403
style(examples): apply the widened formatter to the previously-unformatted examples

Michael Jerris
and
claude
committed
f92f46a
fix(tools): dispose the capturing RELAY client in the wire-corpus dump (CA2000)

Michael Jerris
and
claude
committed
95c40b2
fix(tools): burn DumpCorpus to zero (34 findings), fixing five real resource leaks

Michael Jerris
and
claude
committed
832e15c
docs(ledger): record the four owner-approved rule-level exceptions

Michael Jerris
and
claude
committed
a85bd88
fix(scripts): give SignatureDump's string comparisons an explicit ordinal

Michael Jerris
and
claude
committed
c59e151
fix(examples): burn the four audit harnesses to zero (88 findings)

Michael Jerris
and
claude
committed
79118a8
fix(lint): keep gitignored scratch out of the project enumeration

Michael Jerris
and
claude
committed
5fc02a8
fix(tools): burn the remaining seven tool projects to zero (51 findings)

Michael Jerris
and
claude
committed
ed050c4
fix(scripts,tests): burn the signature-golden fixtures and their dumper to zero

Michael Jerris
and
claude
committed
80fb575
fix(tests): give the genuine string comparisons an explicit ordinal

Michael Jerris
and
claude
committed
0b38ac6
chore(gates): keep ROOT-HYGIENE and DOC-AUDIT green under the widened scope

Michael Jerris
and
claude
committed
c97bdcd
chore: restamp the surface artifact's provenance sha

Michael Jerris
and
claude
committed
229e474
chore(lint): grant CA1307/CA1310 for tests/, scoped to xUnit's own assertions

Michael Jerris
and
claude
committed
71aed32
fix(tests): dispose the objects tests genuinely own (CA2000, 120 -> 69)

Michael Jerris
and
claude
committed
f36c361
perf(tests): hoist the reused literal arrays to shared statics (CA1861, 92 -> 42)

Michael Jerris
and
claude
committed
2ce606b
refactor(tests): seal the xUnit test classes (CA1063 + CA1816 + CA1852 -> 0)

Michael Jerris
and
claude
committed
cf0a6df
style(tests): ConfigureAwait(false) on the flagged awaits (CA2007, 53 -> 8)

Michael Jerris
and
claude
committed
c274ef4
fix(tests): Uri overloads and the remaining hoisted arrays (CA2234 -> 0, CA1861 -> 1)

Michael Jerris
and
claude
committed
f8e857d
fix(tests): seal nested helpers, drop dead code, fix culture-sensitive lowering

Michael Jerris
and
claude
committed
f5e3845
style: stage the FMT gate's indentation correction + surface sha restamp

Michael Jerris
and
claude
committed
6310b4c
chore(lint): grant CA1515 for tests/ — it contradicts xUnit outright

Michael Jerris
and
claude
committed
b672145
fix(tests): narrow the bare catch blocks to what they actually mean (CA1031, 44 -> 28)

Michael Jerris
and
claude
committed
fda50b0
fix(tests): async the tests that hold an IAsyncDisposable client (CA2000, 69 -> 44)

Michael Jerris
and
claude
committed
b63d730
style(tests): ConfigureAwait on the await-using scopes (CA2007, 33 -> 6)

Michael Jerris
and
claude
committed
a662e73
fix(tests): make the mock fixture own the REST clients it hands out (CA2000, 44 -> 16)

Michael Jerris
and
claude
committed
544487a
fix(tests): invariant numeric formatting, generic Enum overload, static members

Michael Jerris
and
claude
committed
0883e9f
refactor(tests): route the skip diagnostics through one helper (CA1303 -> 0)

Michael Jerris
and
claude
committed
7328aac
fix(tests): narrow the remaining teardown catches (CA1031, 28 -> 10)

Michael Jerris
and
claude
committed
aa14240
refactor(tests): un-publish the nested test helpers (CA1034 -> 0)

Michael Jerris
and
claude
committed
9f9dea9
perf(tests): async stream writes and TryGetValue lookups (CA1835/CA1849/CA1854)

Michael Jerris
and
claude
committed
2d2ea76
fix(tests): dispose the control-plane content, and record why Harness is not IDisposable

Michael Jerris
and
claude
committed
32c3fd3
fix(tests): namespace the collection definition, upper-case the case-folded asserts

Michael Jerris
and
claude
committed
ee97398
fix(tests): async cancellation and static helpers (CA1849/CA1822/CA1852)

Michael Jerris
and
claude
committed
f77b335
fix(tests): mark the mock-harness ownership transfers (CA2000/CA2025, -10)

Michael Jerris
and
claude
committed
3c3a119
fix(tests): mark the wire-signature and loopback-TLS sites (CA5350/CA5399/CA5400)

Michael Jerris
and
claude
committed
d8542ce
fix(tests): dispose owned CTS/service fields, narrow the last probe catches

Michael Jerris
and
claude
committed
9996d00
fix(tests): await instead of Task.Result, invariant int.Parse, async-foreach ConfigureAwait

Michael Jerris
and
claude
committed
0db071f
chore: restamp the surface artifact provenance sha

Michael Jerris
and
claude
committed
a17d6aa
style: stage the FMT gate's pragma de-indent + surface sha restamp

Michael Jerris
and
claude
committed
4e067ab
chore(lint): grant CA2000 for tests/, with the cost written down

Michael Jerris
and
claude
committed
041969d
fix(tools): emit List<object?> in generated REST test literals (CS8620 x6)

Michael Jerris
and
claude
committed
07a0b14
fix(tests): widen the fixture dictionaries to match the SDK's nullable value type (CS8620 -> 0)

Michael Jerris
and
claude
committed
3423cfb
fix(tests): clear the last compiler diagnostics (CS -> 0)

Michael Jerris
and
claude
committed
bc1abab
fix(tests): burn the last CA findings; xUnit's own analyzers surface a new conflict

Michael Jerris
and
claude
committed
6deee9f
docs(ledger): correct the line number the CA1303 entry keys on

Michael Jerris
and
claude
committed
9643639
chore: restamp the surface artifact provenance sha

Michael Jerris
and
claude
committed
6ddac70
style: stage the FMT gate's pragma de-indent (third occurrence)

Michael Jerris
and
claude
committed
3e0864c
chore: restamp the surface artifact provenance sha

Michael Jerris
and
claude
committed
4777b28
chore(lint): grant CA2007 for tests/ — it contradicts xUnit1030 outright

Michael Jerris
and
claude
committed
dacb307
chore: restamp the surface artifact provenance sha

Michael Jerris
and
claude
committed
d9c9e5e
fix(lint): serialize the MSBuild nodes so LINT reports code, not build races

Michael Jerris
and
claude
committed
a551261
chore: restamp port_surface_native provenance to a551261
mjerris
committed
c647ed8
enumerate_signatures: make --strict the DEFAULT (it was dead code)

mjerris
and
claude
committed
fe99a0f
chore: restamp port_surface_native provenance to fe99a0f

mjerris
and
claude
committed
da8230b
fix(enumerate_signatures): fold the skill lifecycle idiom the oracle can now see

mjerris
and
claude
committed
2f65211
test(tls): wire-level regression cover for the transport-security contract (#90)

mjerris
and
claude
committed
9d9be92
chore: restamp port_surface_native provenance to 9d9be92

mjerris
and
claude
committed
c11e64e
fix(enumerate_*): oracle-gate the skill lifecycle projection on BOTH axes

mjerris
and
claude
committed
91f7058

Commits on Jul 31, 2026

fix(examples): repair 16 examples that did not compile against the current SDK

mjerris
and
claude
committed
175ad01
fix(swml): bind fallback used an already-disposed HttpListener

mjerris
and
claude
committed
b46f682
feat(examples): give every example a project + gate it, and fix rest/relay examples

mjerris
and
claude
committed
90c4612
fix(rest): pick http:// for a loopback space, matching the reference

mjerris
and
claude
committed
12ef47a
fix(server): AgentServer.Run had the same disposed-listener bind bug

mjerris
and
claude
committed
ce35750
docs(run-ci): correct the EXAMPLES-PROJECTS scope comment to the measured counts

mjerris
and
claude
committed
9e8ce6d

Commits on Aug 4, 2026

chore(gen): regenerate the SWAIG payload types the two spec re-vendors staled

mjerris
and
claude
committed
316ebad
fix(doc-audit,enumerate_surface): pass the native sidecar; stop dropping cross-file $ref members

mjerris
and
claude
committed
2e78d71
ci: pin AnalysisLevel + add global.json — stop the analyzer set self-updating

mjerris
and
claude
committed
a97e930
fix(windows): LF-only POM output + classify the Winsock lost-bind

mjerris
and
claude
committed
e7674b2
fix(ci): clear 3 of 4 run-ci reds; correct 2e78d71's false fleet finding

mjerris
and
claude
committed
b452965
chore(surface): re-stamp port_surface_native.json provenance to b452965

mjerris
and
claude
committed
d850268
gen(swaig): emit the SwaigAction/SwaigResponse envelopes the oracle records

mjerris
and
claude
committed
9eed32d
chore(surface): re-stamp port_surface_native.json provenance to 9eed32d

mjerris
and
claude
committed
88e5a3b

Commits on Aug 5, 2026

gen(swaig): regenerate the two payload files psdk d8e5787 staled

mjerris
and
claude
committed
8ba5e43

Commits on Aug 7, 2026