extract: 2025-08-20-futardio-proposal-should-sanctum-offer-investors-early-unlocks-of-their-cloud #1002
3 changed files with 62 additions and 2 deletions
|
|
@ -0,0 +1,34 @@
|
|||
{
|
||||
"rejected_claims": [
|
||||
{
|
||||
"filename": "arrows-impossibility-theorem-applies-to-machine-intelligence-measurement-not-just-preference-aggregation.md",
|
||||
"issues": [
|
||||
"no_frontmatter"
|
||||
]
|
||||
},
|
||||
{
|
||||
"filename": "convergent-impossibility-across-four-mathematical-traditions-suggests-structural-limits-not-contingent-failures.md",
|
||||
"issues": [
|
||||
"no_frontmatter"
|
||||
]
|
||||
}
|
||||
],
|
||||
"validation_stats": {
|
||||
"total": 2,
|
||||
"kept": 0,
|
||||
"fixed": 4,
|
||||
"rejected": 2,
|
||||
"fixes_applied": [
|
||||
"arrows-impossibility-theorem-applies-to-machine-intelligence-measurement-not-just-preference-aggregation.md:set_created:2026-03-15",
|
||||
"arrows-impossibility-theorem-applies-to-machine-intelligence-measurement-not-just-preference-aggregation.md:stripped_wiki_link:universal-alignment-is-mathematically-impossible-because-arr",
|
||||
"convergent-impossibility-across-four-mathematical-traditions-suggests-structural-limits-not-contingent-failures.md:set_created:2026-03-15",
|
||||
"convergent-impossibility-across-four-mathematical-traditions-suggests-structural-limits-not-contingent-failures.md:stripped_wiki_link:universal-alignment-is-mathematically-impossible-because-arr"
|
||||
],
|
||||
"rejections": [
|
||||
"arrows-impossibility-theorem-applies-to-machine-intelligence-measurement-not-just-preference-aggregation.md:no_frontmatter",
|
||||
"convergent-impossibility-across-four-mathematical-traditions-suggests-structural-limits-not-contingent-failures.md:no_frontmatter"
|
||||
]
|
||||
},
|
||||
"model": "anthropic/claude-sonnet-4.5",
|
||||
"date": "2026-03-15"
|
||||
}
|
||||
|
|
@ -7,9 +7,13 @@ date: 2025-08-07
|
|||
domain: ai-alignment
|
||||
secondary_domains: [critical-systems]
|
||||
format: paper
|
||||
status: unprocessed
|
||||
status: null-result
|
||||
priority: high
|
||||
tags: [arrows-theorem, machine-intelligence, impossibility, Legg-Hutter, Chollet-ARC, formal-proof]
|
||||
processed_by: theseus
|
||||
processed_date: 2026-03-15
|
||||
extraction_model: "anthropic/claude-sonnet-4.5"
|
||||
extraction_notes: "LLM returned 2 claims, 2 rejected by validator"
|
||||
---
|
||||
|
||||
## Content
|
||||
|
|
@ -41,3 +45,10 @@ No agent-environment-based MIM simultaneously satisfies analogs of Arrow's fairn
|
|||
PRIMARY CONNECTION: universal alignment is mathematically impossible because Arrows impossibility theorem applies to aggregating diverse human preferences into a single coherent objective
|
||||
WHY ARCHIVED: Fourth independent impossibility tradition — extends Arrow's theorem from alignment to intelligence measurement itself
|
||||
EXTRACTION HINT: Focus on the extension from preference aggregation to intelligence measurement and what this means for alignment targets
|
||||
|
||||
|
||||
## Key Facts
|
||||
- Oswald, Ferguson & Bringsjord published formal proof at AGI 2025 (Conference on Artificial General Intelligence)
|
||||
- Paper appears in Springer LNCS vol. 16058
|
||||
- Proof covers Legg-Hutter Intelligence and Chollet's Intelligence Measure (ARC)
|
||||
- Full paper is paywalled at Springer
|
||||
|
|
|
|||
|
|
@ -6,7 +6,7 @@ url: "https://www.futard.io/proposal/C61vTUyxTq5SWwbrTFEyYeXpGQLKhRRvRrGsu6YUa6C
|
|||
date: 2025-08-20
|
||||
domain: internet-finance
|
||||
format: data
|
||||
status: unprocessed
|
||||
status: null-result
|
||||
tags: [futardio, metadao, futarchy, solana, governance]
|
||||
event_type: proposal
|
||||
processed_by: rio
|
||||
|
|
@ -19,6 +19,10 @@ processed_date: 2026-03-11
|
|||
enrichments_applied: ["time-based-token-vesting-is-hedgeable-making-standard-lockups-meaningless-as-alignment-mechanisms-because-investors-can-short-sell-to-neutralize-lockup-exposure-while-appearing-locked.md", "MetaDAOs-futarchy-implementation-shows-limited-trading-volume-in-uncontested-decisions.md", "futarchy-adoption-faces-friction-from-token-price-psychology-proposal-complexity-and-liquidity-requirements.md"]
|
||||
extraction_model: "anthropic/claude-sonnet-4.5"
|
||||
extraction_notes: "No new claims extracted. Source provides concrete example of forfeit-for-liquidity mechanism as alternative to vesting hedgeability, and additional data point on futarchy adoption friction and low-volume uncontested decisions. Created decision_market entity for the proposal and enriched three existing claims with mechanism design insights and futarchy implementation patterns."
|
||||
processed_by: rio
|
||||
processed_date: 2026-03-15
|
||||
extraction_model: "anthropic/claude-sonnet-4.5"
|
||||
extraction_notes: "LLM returned 0 claims, 0 rejected by validator"
|
||||
---
|
||||
|
||||
## Proposal Details
|
||||
|
|
@ -83,3 +87,14 @@ Read the full proposal here https://research.sanctum.so/t/cloud-005-should-sanct
|
|||
- Team committed not to redistribute forfeited tokens for 24 months
|
||||
- Used MetaDAO Autocrat v0.3
|
||||
- DAO account: GVmi7ngRAVsUHh8REhKDsB2yNftJTNRt5qMLHDDCizov
|
||||
|
||||
|
||||
## Key Facts
|
||||
- Sanctum proposal C61vTUyxTq5SWwbrTFEyYeXpGQLKhRRvRrGsu6YUa6CX failed on 2025-08-23
|
||||
- Proposal used MetaDAO Autocrat v0.3
|
||||
- 9% of CLOUD token supply was unlocking monthly over 24 months from investors
|
||||
- Proposal offered 35% forfeit rate for immediate unlock
|
||||
- Potential increase of up to 27 million CLOUD to Team Reserve if all investors opted in
|
||||
- Team committed not to redistribute forfeited tokens for 24 months
|
||||
- DAO account: GVmi7ngRAVsUHh8REhKDsB2yNftJTNRt5qMLHDDCizov
|
||||
- Proposer account: proPaC9tVZEsmgDtNhx15e7nSpoojtPD3H9h4GqSqB2
|
||||
|
|
|
|||
Loading…
Reference in a new issue