TRI-NET: three boards, ten families, and four numbers that were wrong - #355

Open

gHashTag wants to merge 206 commits into

mainfrom

trinet-fleet-truth

Commits on Aug 8, 2026

docs(skills): three traps from the t27 positioning audit

gHashTag
and
claude
committed
ffae28a
docs(skills): a tool's own summary line is a claim, not evidence

gHashTag
and
claude
committed
087aeb6
docs(skills): gates check the cheap proxy; and un-runnable evidence

gHashTag
and
claude
committed
c01eb1f
docs(skills): some gates are one echo; and two derivations of one path

gHashTag
and
claude
committed
4e58b2c
docs(skills): state the evidence class; verify citations from the source

gHashTag
and
claude
committed
faabbe4
docs(skills): tools that silently discard the thing you asked them to check

gHashTag
and
claude
committed
b22967e
docs(skills): tests that pin the bug; prove the mechanism; keep a known answer

gHashTag
and
claude
committed
3d0fad7
docs(skills): reachability of counterexamples; count what must balance

gHashTag
and
claude
committed
ffa5031
docs(skills): assumptions bound the claim; test names can assert the bug

gHashTag
and
claude
committed
21d2e39
docs(skills): port-only properties arbitrate a failing model; record anomalies

gHashTag
and
claude
committed
c2eaf2a
docs(skills): inert constraints, readable counterexamples, unreachable guards

gHashTag
and
claude
committed
64dc857
docs(skills): test that a property can fail; neutralise rather than delete

gHashTag
and
claude
committed
3993172
docs(skills): safety shadows of liveness bugs; siblings settle intent

gHashTag
and
claude
committed
93df0b2
docs(skills): check a carried question's premise; emitted is not integrated

gHashTag
and
claude
committed
094893b
docs(skills): assert over the consumer's output; reduce the model not the property

gHashTag
and
claude
committed
e800d3f
docs(skills): interfaces make decisions trackable; totality over preconditions

gHashTag
and
claude
committed
5741266
docs(skills): grep count two means unused; check rates; integration is its own class

gHashTag
and
claude
committed
f726b9b
docs(skills): unprovable properties are findings; tie-offs are deferred decisions

gHashTag
and
claude
committed
53637ff
docs(skills): multi-cause refutations, recorded gaps, and asking for less output

gHashTag
and
claude
committed
dbd8748
docs(skills): assert across the boundary; invert tests the interface obsoleted

gHashTag
and
claude
committed
b223efa
docs(skills): single-producer invariants; busy was a decode, not a state

gHashTag
and
claude
committed
de9fb15
docs(skills): symmetric interlocks; splitting invalidated properties; partial closes

gHashTag
and
claude
committed
60c760c
docs(skills): successive narrowings mean a missing observable

gHashTag
and
claude
committed
42862ab

Commits on Aug 9, 2026

docs(skills): replacing compound guards drops terms; diagnosis is not lost time

gHashTag
and
claude
committed
f90e743
docs(skills): after adding constraints, prove the behaviour still exists

gHashTag
and
claude
committed
826f66a
docs(skill): a verdict harness must prove its own baseline first

gHashTag
and
claude
committed
f2ba655
docs(skill): comments inside a generated artifact are still source

gHashTag
and
claude
committed
32117f0
docs(skill): a rule with no gate is a preference

gHashTag
and
claude
committed
21351e2
docs(skill): test that your gates bite, not just that they exist

gHashTag
and
claude
committed
5742393
docs(skill): before believing a bounded proof, ask how far away a violation is

gHashTag
and
claude
committed
89aaca0
docs(skill): scanning for the broken form of a shape only finds what nobody fixed

gHashTag
and
claude
committed
70fe8ae
docs(skill): when two attempts stall on the same item, suspect the instrument

gHashTag
and
claude
committed
872dd0b
docs(skill): a strobe assigned in only one branch holds everywhere else

gHashTag
and
claude
committed
6d46050
docs(skill): a blocker you recorded rather than forced can dissolve on its own

gHashTag
and
claude
committed
f847254
docs(skill): a bounded result is a claim about (system, scale) -- publish both

gHashTag
and
claude
committed
18bd88c
docs(skill): a batch verdict is the minimum over its members

gHashTag
and
claude
committed
f861219
docs(skill): check what kind of result you have before measuring how far it extends

gHashTag
and
claude
committed
9085fd7
docs(skill): splitting a suite pays only when its members differ in cost

gHashTag
and
claude
committed
9af0db8
docs(skill): when you name a measurement error, audit your own record for it

gHashTag
and
claude
committed
dba0c35
docs(skill): a stub measures cost, not behaviour

gHashTag
and
claude
committed
58008da
docs(skill): verify that a guard actually guards

gHashTag
and
claude
committed
7f81d74
docs(skill): a self-comparison is not an undefined-value detector

gHashTag
and
claude
committed
b48f250
docs(skill): a vacuous check can inflate the metric designed to detect vacuity

gHashTag
and
claude
committed
23684b7
docs(skill): mutation-test a gate on the day you write it

gHashTag
and
claude
committed
ce0a286
docs(skill): two independent formulations of one claim is a working discriminator

gHashTag
and
claude
committed
35a7923
docs(skill): match the arity in time -- a once-evaluated gate cannot enforce a per-cycle invariant

gHashTag
and
claude
committed
d2bef4a
docs(skill): bisect a failing property with assumptions, not with theories

gHashTag
and
claude
committed
c2d5ccb
docs(skill): the weakest assumption that restores a proof is the diagnosis

gHashTag
and
claude
committed
21b3b0c
docs(skill): a rejected fix is rejected against a design, not for all time

gHashTag
and
claude
committed
247b6f5
docs(skill): a sweep that finds nothing must demonstrate that it could have

gHashTag
and
claude
committed
f8f7ce5
docs(skill): a stub measures what the optimiser can delete, not what the stubbed thing costs

gHashTag
and
claude
committed
7afaa02
docs(skill): strengthening an assumption can silently disable the checks that would catch it

gHashTag
and
claude
committed
e9971e0
docs(skill): every place that can constrain behaviour needs a check that behaviour remains

gHashTag
and
claude
committed
38065e5
docs(skill): an item that has resisted three honest attempts is a decision, not a queue entry

gHashTag
and
claude
committed
6ba7003
docs(skill): re-measure a published number when its subject has changed underneath it

gHashTag
and
claude
committed
17e5720
docs(skill): a small minority of checks often dominates the cost

gHashTag
and
claude
committed
91ef54e
docs(skill): for a conditional-compilation edit, verify the structure of the output

gHashTag
and
claude
committed
fe16fec
docs(skills): probe the interleavings, not just the activities
gHashTag
committed
37b0981
docs(skills): an absence read as a pass
gHashTag
committed
a74f671
docs(skills): measure the absence, don't look for it
gHashTag
committed
cb5990d
docs(skills): every fix opens the hole it was built to close
gHashTag
committed
69dd7f8
docs(skills): measuring what a property suite actually constrains
gHashTag
committed
f3558c0
docs(skills): a property can prove without reading the design
gHashTag
committed
1d7eec3
docs(skills): three bars, and the property that restates its assumption
gHashTag
committed
3b33889
docs(skills): detects nothing has three causes, only one is a problem
gHashTag
committed
80c017b
docs(skills): properties that are supposed to refute
gHashTag
committed
0be0ff3
docs(skills): mutating the properties, and a limit that does not lift
gHashTag
committed
8bddf9d
docs(skills): a coverage number is a claim about which gates you ran
gHashTag
committed
a68860e
docs(skills): audit the bounds, and write predictions down so they can be wrong
gHashTag
committed
414ec3a

Commits on Aug 10, 2026

Commits on Aug 11, 2026

Commits on Aug 12, 2026

Commits on Aug 13, 2026

Commits on Aug 20, 2026

docs(skills): verify the checkout, not just the command

gHashTag
and
claude
committed
c761dc1

Commits on Aug 21, 2026

docs(skills): wave 663 — depth is the wrong axis when the checker never reaches the code

gHashTag
and
claude
committed
04ccf15
docs(skills): wave 664 — one mutant can mask another; plant them separately

gHashTag
and
claude
committed
4d0a936
docs(skills): wave 665 — a surviving mutant is not yet a fail-open

gHashTag
and
claude
committed
3672dad
docs(skills): wave 666 — extract the guard; if it still builds, it guards nothing

gHashTag
and
claude
committed
839b406
docs(skills): wave 667 — no grep for a present token can find a missing one

gHashTag
and
claude
committed
08311ce

Commits on Aug 22, 2026

docs(skills): wave 668 — a skip that is not #[ignore] is counted as a pass

gHashTag
and
claude
committed
b30b064

Commits on Aug 24, 2026

Commits on Aug 26, 2026

Commits on Aug 27, 2026

Commits on Aug 28, 2026

docs(dashboard): iteration 130 -- valid 296->339, walls 71->37, and five counts that were the pattern's reach
gHashTag
committed
12e1042