OperativePin class
One pinned operative line: content-keyed, provenance-tagged (E3: a line declared by two skills is ONE pin with dual provenance and a single content key; E10: keys are exact bytes — lookalike lines are distinct pins, no fuzzy merging).
Constructors
-
OperativePin({required String line, required List<
PinProvenance> provenance}) -
const
Properties
- contentKey → String
-
Content key: SHA-256 over the exact UTF-8 bytes of line (E10).
no setter
- hashCode → int
-
The hash code for this object.
no setterinherited
- line → String
-
The verbatim declared line — byte-identical to the frontmatter
string in every rendered context (P3).
final
-
provenance
→ List<
PinProvenance> -
Ordered, deduped provenance (first-declared skill first).
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
ownedBy(
String skillName) → bool -
Whether
skillNameis one of the owning skills. -
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited