docs: company visibility classes (Ruling 4b amendment, contracts 1+3) #1461

Merged
fred merged 4 commits from docs/ruling-4b-company-visibility into next 2026-08-28 20:17:36 +00:00
4 Commits
Author SHA1 Message Date
fred 146304d1b0 docs(ruling-4b): round-4 review fixes — rollback state predicate, join flow deferred
ci/woodpecker/pr/ci Pipeline was successful
- §6.4 rollback witness now requires no state effect on rollback (create
  leaves no row; rename/transfer/visibility change leave prior values;
  delete/revoke leave the row present) alongside no event and no outbox
  record — all three REQ-AUD-001 legs; §6.9 cross-ref mirrors it.
- §2.8 no longer authorizes a join-request runtime surface: the
  see-and-ask-to-join flow (Ruling 4b decision 5) is deferred in its
  entirety to its follow-up contract, with §2.8's invariants pre-binding
  it; A2 §9.2 gains the matching express exclusion (that contract must
  amend A2's enumeration before any join-request surface exists).
2026-08-28 14:58:35 -05:00
fred 9819666b9d docs(ruling-4b): round-3 review fixes — SOT Amendment A2, §6.4 outbox predicate
ci/woodpecker/pr/ci Pipeline was canceled
- native-kanban-sot.md gains §9 Amendment A2: expressly extends A1 §8.1.2
  (class data admits companies.visibility) and A1 §8.1.3 (company directory
  as an express, narrow read-only disclosure function; sole existence-oracle
  carve-out to §8.3), grounded on Ruling 4b. §9.2 pins what stays unchanged.
- hierarchy-schema.md §1.1 and the Amendment 1 note now cite A2 instead of
  reinterpreting A1; §6.7 acceptance cites A2 §9.1.2.
- §6.4 gains the explicit outbox predicate (state/event/outbox one
  transaction, rollback leaves neither event nor outbox record, REQ-AUD-001);
  §6.9's cross-reference corrected to match.
- §2.8: 'Ruling 4 §5.2' reference corrected to contract 3 §5.2.
2026-08-28 14:47:53 -05:00
fred df1e65abc2 docs: address terra round-1 findings on 4b amendment (class-data classification, visibility audit witness, ruled request annotation)
ci/woodpecker/pr/ci Pipeline is running
2026-08-28 14:31:37 -05:00
fred 4e643e0d0f docs: company visibility classes (Ruling 4b amendment, contracts 1+3)
ci/woodpecker/pr/ci Pipeline was canceled
2026-08-28 14:16:17 -05:00