职业分类
软件开发工程师
描述
Compile an XROS methodology spec through an oracle-first interview. Classifies the problem into verification tier A/B/C before anything else, then fills and validates a schema-valid JSON spec.
原文语言：英语
更新
- 最近记录的来源活动
- SkillsMP 收录数据更新
- 已收集 skills
- 4
- GitHub 星标
- 9
- GitHub Forks
- 1
这个仓库中的 skills
2 个职业分类 · 已分类 100%
已展示 4 / 4 个已收集 Skill。
skill
职业分类
描述
更新
职业分类
软件开发工程师
描述
The Tier-C path — structured, adversarial reasoning for a claim that has NO mechanical check. Decomposes the claim into premises and verifies the checkable ones, runs a pre-mortem, and emits dated tripwires. Never runs the CDC engine, never claims a verified…
原文语言：英语
更新
职业分类
软件开发工程师
描述
Execute an XROS methodology spec — run a CDC-style search (diverse independent routes, blocked-route state, adversarial refutation, counterexample-fed loop-until-dry), then authoritatively verify the winning candidate by running its oracle command and gating…
原文语言：英语
更新
职业分类
市场调研分析师与营销专员
描述
Orient a newcomer in an unfamiliar field, sharpen a vague question into a falsifiable claim, then discover the currently best-available way to check it. First maps the field's minimal vocabulary (the nouns you can ask about, the verbs you can do), then…
原文语言：英语
更新
已展示 4 / 4 个已收集 Skill。