Triple

T17560404
Position Surface form Disambiguated ID Type / Status
Subject Capsicum capability framework E427681 entity
Predicate notablePaper P4 FINISHED
Object Capsicum: practical capabilities for UNIX (USENIX Security 2010) — NE NERFINISHED

How this triple was built (2 steps)

Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.

NER Named-entity recognition gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Capsicum: practical capabilities for UNIX (USENIX Security 2010) | Statement: [Capsicum capability framework, notablePaper, Capsicum: practical capabilities for UNIX (USENIX Security 2010)]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Capsicum: practical capabilities for UNIX (USENIX Security 2010)
Context triple: [Capsicum capability framework, notablePaper, Capsicum: practical capabilities for UNIX (USENIX Security 2010)]
  • A. Capsicum capability framework chosen
    The Capsicum capability framework is a security model and API for fine-grained sandboxing and privilege separation in Unix-like operating systems.
  • B. “seL4: Formal Verification of an OS Kernel”
    “seL4: Formal Verification of an OS Kernel” is a landmark research paper that presents the first formally verified, general-purpose microkernel, demonstrating end-to-end mathematical proofs of its functional correctness and security properties.
  • C. USENIX Security
    USENIX Security is a leading annual academic conference focused on cutting-edge research in computer security and privacy.
  • D. Butler Lampson security model
    The Butler Lampson security model is a foundational computer security framework that formalizes access control using capabilities and protection domains to manage and restrict how programs and users interact with system resources.
  • E. Address Space Layout Randomization (ASLR)
    Address Space Layout Randomization (ASLR) is a security technique that randomly arranges the memory addresses used by key data areas of a process to make it harder for attackers to predict and exploit them.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (2 batches)

The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.

Step Stage Batch ID Status When
creating Elicitation batch_69d889e0385081908a04b66f4dd4bd0d completed April 10, 2026, 5:25 a.m.
NER Named-entity recognition batch_69e456267e208190a1238fbe1a535bb0 completed April 19, 2026, 4:12 a.m.
Created at: April 10, 2026, 5:50 a.m.