uk.gdeo.learn.card

mlldaniel.bsky.social

Documentation

복습 카드. ADR-0002: 콘텐츠만 담고 학습자 상태를 담지 않는다. ADR-0004: derivedFrom과 rightsClass는 필수이며 rightsClass는 계산값이다.

main record

복습 카드. ADR-0002: 콘텐츠만 담고 학습자 상태를 담지 않는다. ADR-0004: derivedFrom과 rightsClass는 필수이며 rightsClass는 계산값이다.

Record Key tid Timestamp-based ID

Properties

back string Required

No description available.

maxLength: 3000 bytesmaxGraphemes: 1000 graphemes
citation string Optional

ADR-0012: 이 문자열이 상류 청크에 실제로 존재하는지 기계 대조한다. 불일치는 게이트 탈락.

maxLength: 2000 bytes
createdAt string datetime Optional

An RFC 3339 formatted timestamp.

derivedFrom array of string Required

ADR-0004: 비어 있으면 컴파일 실패. 상류 없는 산출물은 생성 경로가 없다.

maxLength: 64 itemsminLength: 1 items
front string Required

No description available.

maxLength: 3000 bytesmaxGraphemes: 1000 graphemes
gate ref #gateResult Required

No description available.

rightsClass ref uk.gdeo.learn.app#rightsAxes Required

계산값. 상류 전체의 가장 제한적인 등급을 상속한다. 저자가 손으로 낮출 수 없다.

View raw schema 
{
  "description": "복습 카드. ADR-0002: 콘텐츠만 담고 학습자 상태를 담지 않는다. ADR-0004: derivedFrom과 rightsClass는 필수이며 rightsClass는 계산값이다.",
  "key": "tid",
  "record": {
    "properties": {
      "back": {
        "maxGraphemes": 1000,
        "maxLength": 3000,
        "type": "string"
      },
      "citation": {
        "description": "ADR-0012: 이 문자열이 상류 청크에 실제로 존재하는지 기계 대조한다. 불일치는 게이트 탈락.",
        "maxLength": 2000,
        "type": "string"
      },
      "createdAt": {
        "format": "datetime",
        "type": "string"
      },
      "derivedFrom": {
        "description": "ADR-0004: 비어 있으면 컴파일 실패. 상류 없는 산출물은 생성 경로가 없다.",
        "items": {
          "maxLength": 300,
          "type": "string"
        },
        "maxLength": 64,
        "minLength": 1,
        "type": "array"
      },
      "front": {
        "maxGraphemes": 1000,
        "maxLength": 3000,
        "type": "string"
      },
      "gate": {
        "ref": "#gateResult",
        "type": "ref"
      },
      "rightsClass": {
        "description": "계산값. 상류 전체의 가장 제한적인 등급을 상속한다. 저자가 손으로 낮출 수 없다.",
        "ref": "uk.gdeo.learn.app#rightsAxes",
        "type": "ref"
      }
    },
    "required": [
      "front",
      "back",
      "derivedFrom",
      "rightsClass",
      "gate"
    ],
    "type": "object"
  },
  "type": "record"
}
gateResult object

ADR-0012: 품질 게이트 결과. 탈락 카드도 사유와 함께 보존한다.

Properties

humanSampled boolean Optional

No description available.

judgeId string Optional

자격 검사를 통과한 판정기(모델+프롬프트) 식별자.

maxLength: 200 bytes
llmChecks array of string Optional

No description available.

maxLength: 8 items
machineChecks array of string Optional

통과한 기계 검사 목록. 기계 탈락은 LLM을 호출하지 않는다.

maxLength: 8 items
rejectedBy string Optional

No description available.

status string Required

No description available.

View raw schema 
{
  "description": "ADR-0012: 품질 게이트 결과. 탈락 카드도 사유와 함께 보존한다.",
  "properties": {
    "humanSampled": {
      "type": "boolean"
    },
    "judgeId": {
      "description": "자격 검사를 통과한 판정기(모델+프롬프트) 식별자.",
      "maxLength": 200,
      "type": "string"
    },
    "llmChecks": {
      "items": {
        "enum": [
          "atomicity",
          "self_containment"
        ],
        "type": "string"
      },
      "maxLength": 8,
      "type": "array"
    },
    "machineChecks": {
      "description": "통과한 기계 검사 목록. 기계 탈락은 LLM을 호출하지 않는다.",
      "items": {
        "enum": [
          "source_grounding",
          "answer_uniqueness",
          "atomicity_prefilter"
        ],
        "type": "string"
      },
      "maxLength": 8,
      "type": "array"
    },
    "rejectedBy": {
      "enum": [
        "source_grounding",
        "answer_uniqueness",
        "atomicity_prefilter",
        "atomicity",
        "self_containment",
        "judge_disagreement",
        "human_sample"
      ],
      "type": "string"
    },
    "status": {
      "enum": [
        "passed",
        "rejected",
        "held"
      ],
      "type": "string"
    }
  },
  "required": [
    "status"
  ],
  "type": "object"
}

Lexicon Garden

@