Expose causal entity occurrences and substrate allocation - #838

Open

flyingrobots wants to merge 56 commits into

mainfrom

feat/entity-capture-intent

Commits on Aug 1, 2026

feat: add entity.add for dependency-pure entity capture
flyingrobots
committed
778acb0

Commits on Aug 2, 2026

fix: make entity capture prove what it claims
flyingrobots
committed
8309c7c
docs: target 20.0.0 for the entity capture union widening
flyingrobots
committed
d85e1c6
docs: correct entity capture uniqueness to what the lane path keeps
flyingrobots
committed
6ee206a

Commits on Aug 3, 2026

feat: expose causal entity occurrences
flyingrobots
committed
d2affdf
docs: refresh causal occurrence reference
flyingrobots
committed
f303500
Fix: preserve allocated subjects through settlement
flyingrobots
committed
2ce87ef
Fix: scope entity occurrences to worldlines
flyingrobots
committed
46de620
Fix: reject unsafe causal counters
flyingrobots
committed
7dd52ec
Fix: guard entity writes after commit
flyingrobots
committed
a1f4565
Fix: restore PatchBuilder source budget
flyingrobots
committed
28e7332
Fix: reject forged entity occurrences
flyingrobots
committed
1d15989
Fix: remove entity domain type assertions
flyingrobots
committed
87dfd84
Fix: distinguish occurrence receipt surfaces
flyingrobots
committed
25f6057
Fix: validate published entity captures
flyingrobots
committed
778b998
Fix: exclude conflict entity occurrences
flyingrobots
committed
0211145
Fix: reject non-record entity payloads
flyingrobots
committed
0f3ae02
Fix: ignore undefined entity identities
flyingrobots
committed
9bdc545
Fix: describe safe Dot counters
flyingrobots
committed
896de8a
Fix: isolate CLI documentation checks
flyingrobots
committed
2592eec
Fix: align Dot codec diagnostic
flyingrobots
committed
5fc6ea0

Commits on Aug 4, 2026

Fix: reject non-record Intent payloads
flyingrobots
committed
91872a2
Fix: bind published entity payloads
flyingrobots
committed
70ee640
Fix: bind occurrences to write receipts
flyingrobots
committed
5280442
Fix: enforce assertion-free entity tests
flyingrobots
committed
481a729
Fix: separate receipt and causal writers
flyingrobots
committed
46efde4
Fix: cover entity payload comparison branches
flyingrobots
committed
affbef1
Fix: preserve publication coordinates in tests
flyingrobots
committed
45a2c01
Fix: bind occurrences to canonical evidence
flyingrobots
committed
1a0a383
Fix: ratchet payload comparison sources
flyingrobots
committed
62d26d2
Fix: cover canonical evidence normalization
flyingrobots
committed
776d0b4
Fix: bind allocated publication subjects
flyingrobots
committed
dc66709
Fix: move occurrence authority into the domain object
flyingrobots
committed
d4147d5
Fix: derive evidence canonicality from structure
flyingrobots
committed
781b0f1
Fix: distinguish declared and semantic dependencies
flyingrobots
committed
4889004
Fix: reject noncanonical Dot encodings
flyingrobots
committed
3162c64
Fix: preserve prototype-named vector writers
flyingrobots
committed
79a112e
Fix: access serialized vector keys explicitly
flyingrobots
committed
9b89f5c
Fix: remove entity payload completeness claims
flyingrobots
committed
51c75fe
Fix: split PatchBuilder property operations
flyingrobots
committed
d37bf01
Fix: format entity capture changes
flyingrobots
committed
a78b91f
Fix: keep occurrence issuance out of public surface
flyingrobots
committed
0b26f2e
Fix: remove unknown from PatchBuilder values
flyingrobots
committed
989c56f
Fix: restore generated reference formatting
flyingrobots
committed
605f221
Fix: stabilize oversized migration coverage proof
flyingrobots
committed
c6ad3d2
Fix: remove vacuous occurrence subject check
flyingrobots
committed
f8536fb
Fix: validate canonical retention evidence
flyingrobots
committed
5cc4897
Test: reject entity capture without identity
flyingrobots
committed
de598b1
Fix: fence staged content after commit
flyingrobots
committed
e2d4ec9
Fix: install Wesley from crates.io
flyingrobots
committed
006a045
Fix: reject machine-local path leaks
flyingrobots
committed
4063ff9
Fix: detect case-variant Windows home paths
flyingrobots
committed
5f24b62
Fix: scan exact staged content for path leaks
flyingrobots
committed
cc9f85e
Fix: inspect binary blobs for path leaks
flyingrobots
committed
9e654c6
Fix: block outgoing Git object path leaks
flyingrobots
committed
181cad1
Fix: require exact-tree path hygiene in CI
flyingrobots
committed
c1efd1d