Estate instrument
estate-coherence
The agreement check: of everything the estate publishes, how much is asserted by two properties from their own sides, with their own bases — the record’s only way to catch its own errors.
source: flashyos/tools/estate-coherence.mjs
node tools/estate-coherence.mjs --gate (flashyos)Every other check is a check of form (valid file, present field, answering URL); this is the check of agreement. On first run: 1 witnessed of 479, because a correct federation rule had been applied one step too far — defining an entity and asserting a fact about one are different acts.
Edge cases — each one paid for once
A copy is not a witness
A restatement carrying the first property’s basis is one source counted twice — the citation loop rebuilt one level down. A group whose assertions share a basis fails the gate, because it is worse than no witness: it looks like one.
engaged is the vocabulary’s one symmetric relation
Keying on literal direction read a seeded pair as two facts and reported 0 witnessed with both halves present. owns reversed is a different and usually false claim — folding it would let "A owns B" and "B owns A" corroborate each other.