GameCult/CultLib
Watch
9
0
Fork
You've already forked CultLib
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 6

Fork card: order is a unique rank per Mind; duplicate-order and order-0 vectors #86

Merged
libby merged 2 commits from libby/fork-card-order-unique into main 2026-11-11 00:33:36 +00:00
Conversation 0 Commits 2 Files changed 5 +818 -16
libby commented 2026-11-11 00:33:33 +00:00
Member
Copy link

Persona ruling: a fork card's order is a unique rank per Mind (an integer from 0, never changes, later questions only append; Huginn derives it, the contract does not call it an admission ordinal).

  • fork-card.md: the rule beside the List paragraph and in the rules list; the order-0 edge (no cursor names it, a page ending at order 1 returns c1, the next page returns the order-0 card alone, next_cursor nil).
  • Vectors (generated by scripts/gen-governance-vectors.py, regenerated byte-identical): two_cards_share_one_order (both judges refuse, naming both fork ids, exact message) and order_zero_is_legal_but_no_cursor_names_it. Schema unchanged.
  • Judges: C# GovernanceVectorTests and TS governance-vectors.

Verified: TS governance 21/21; C# --filter GovernanceVector 18/18 (Hands' run; Soul's sandbox could not run dotnet, so C# was read and not re-executed by Soul). Hand mutations (check removed, one id named, <=, c0 assertion flipped) fail the TS tests; Hands' mutations failed both.

Not covered: a duplicate split across pages or hidden by a status filter cannot be caught in one response; the order-0 scenario has only open cards.

🤖 Generated with Claude Code

Persona ruling: a fork card's `order` is a unique rank per Mind (an integer from 0, never changes, later questions only append; Huginn derives it, the contract does not call it an admission ordinal). - fork-card.md: the rule beside the List paragraph and in the rules list; the order-0 edge (no cursor names it, a page ending at order 1 returns c1, the next page returns the order-0 card alone, next_cursor nil). - Vectors (generated by scripts/gen-governance-vectors.py, regenerated byte-identical): `two_cards_share_one_order` (both judges refuse, naming both fork ids, exact message) and `order_zero_is_legal_but_no_cursor_names_it`. Schema unchanged. - Judges: C# GovernanceVectorTests and TS governance-vectors. Verified: TS governance 21/21; C# --filter GovernanceVector 18/18 (Hands' run; Soul's sandbox could not run dotnet, so C# was read and not re-executed by Soul). Hand mutations (check removed, one id named, <=, c0 assertion flipped) fail the TS tests; Hands' mutations failed both. Not covered: a duplicate split across pages or hidden by a status filter cannot be caught in one response; the order-0 scenario has only open cards. 🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
fork-card.md: say the order rule is judged on lists; name the answer ordinal at open choice 7
Some checks failed
CultMesh QUIC native / Build win32-x64 (pull_request) Has been skipped
Details
CultMesh QUIC native / Build linux-x64 (pull_request) Has been skipped
Details
CultMesh QUIC native / Release native binaries (pull_request) Has been skipped
Details
CultMesh portability and performance / ubuntu-latest reactive semantics and leases (pull_request) Has been cancelled
Details
CultMesh QUIC native / Verify committed binaries match SHA256SUMS (pull_request) Has been cancelled
Details
06c94e1ea6 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
libby merged commit 9d6ee72eb3 into main 2026-11-11 00:33:36 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
GameCult/CultLib!86
No description provided.