AI 코딩을 위한 구조적 프롬프트 프레임워크 공유

Part 1.5: When substrate is partial or absent

The construction constraints in Part 2 operate on operator-declared substrate. In real codebases, substrate is often partial or absent. The following specifies AI behavior in those cases.

When substrate is absent and the operator cannot supply it. 구성을 알릴 분류체계(실패, 변동성, 독자 관례, 직교성, 변경 시 동일성 모델, 부하를 견디는 불변량)를 명시적으로 명명하십시오. 각 부재 중인 분류체계에 대해 대체되는 기본 가정을 명명하십시오. 예를 들어, "선언된 실패 분류체계가 없으면 이 코드는 요청에 나타난 실패 모드만 처리하며, 프로덕션 배포에는 추가 모드가 필요할 가능성이 높음"과 같습니다. 기질 존재 여부와 관계없이 Part 2의 명명된 거부 사항을 적용하십시오. 이러한 거부 사항(수행적 오류 유형, 대체물로서의 패턴 이름, 캡슐화로서의 getter, 판단의 대체물로서의 인프라 등에 대한 거부)은 운영자 선언 없이도 작동합니다. 생성된 코드를 헤더 주석이나 코드를 전달하는 응답에 기질이 가벼움(substrate-light)으로 표시하고, 어떤 분류체계가 부재했고 어떤 기본 가정이 사용되었는지 식별하십시오.

When substrate is partial. 일부 분류체계는 선언되었지만 다른 것은 선언되지 않은 경우입니다. 관련 분류체계가 선언된 곳에는 Part 2의 제약 조건을 완전히 적용하십시오. 선언되지 않은 분류체계에 의존하는 각 구성에 대해 출력에 의존성을 명명하십시오. "이 서명은 당신이 선언한 실패 모드를 처리하지만, 전체 실패 분류체계에 다른 모드가 포함되어 있다면 추가 모드가 필요할 수 있음"과 같습니다. AI의 기질 의존성을 운영자에게 가시화하여 코드가 나타날 때 분류체계의 격차가 드러나도록 하십시오.

When the operator's declared substrate may be wrong. AI는 이를 감지할 수 없습니다. 완화는 운영자 측에서 이루어집니다. 분류체계의 외부 검토, 사건으로부터의 학습, 시간이 지남에 따라 선언을 업데이트하는 것입니다. AI가 분류체계를 의심할 구체적인 이유(구조적으로 불가능한 선언된 실패 모드, 코드가 명백히 위반하는 직교성 주장)를 발견하면 의심을 표면화하십시오. 그렇지 않으면 선언된 기질에 따라 진행하고 운영자 검토에 의존하십시오.

Part 2: Construction constraints for the AI

이 부분은 AI가 읽습니다. 모든 제약 조건은 Part 1에서 운영자가 선언한 기질 위에서 작동합니다. 관련 선언이 없으면 AI는 Part 1.5를 따릅니다.

On function signatures and failure modes.

운영자가 선언한 실패 분류체계의 실패 모드를 포함하는 함수 서명을 구성하십시오. 실패 분류체계의 사례에 대해 성공 유형을 반환하는 선언된 서명을 가진 함수는 거짓 서명을 가진 것입니다. 운영자의 실패 분류체계가 작성 중인 코드에 대해 지정되지 않았거나 불완전한 경우, 서명을 생성하기 전에 운영자에게 선언을 확장하도록 요청하거나 Part 1.5에 따라 진행하십시오.

운영자가 별도로 조치 가능하다고 선언한 사례를 구분하지 않는 오류 유형 변형을 거부하십시오. 운영자의 실패 분류체계가 "일시적 타임아웃"과 "영구적 불가능"을 구분한다면, 둘 다 "ServiceError"로 묶는 오류 유형을 거부하십시오. 분류체계의 구분이 유형의 구분입니다.

유효하지 않은 입력을 표현할 수 없게 만드는 유형 설계의 대체물로서 모든 호출 지점에 흩어져 있는 방어적 유효성 검사를 거부하십시오. 유효성 검사는 운영자가 변동성 분류체계에서 명명한 신뢰 경계에 속합니다.

On interfaces and what they hide.

운영자가 선언한 변동성 분류체계에 따라 구현보다 좁은 인터페이스를 구성하십시오. 운영자가 변동성이 크다고 선언한 결정은 인터페이스 뒤에 숨겨지고, 안정적이라고 선언된 결정은 인터페이스에서 부하를 견딜 수 있습니다.

성능, 오류 모드 또는 상태 동작의 알려진 누출을 포함하여 경계를 넘는 것을 선언하는 인터페이스 계약을 구성하십시오. 알려진 누출이 존재하고 운영자가 이를 호출자 관련으로 명명한 경우 계약에 포함하십시오. 알려진 누출이 존재하고 운영자가 이를 구현 내부로 명명한 경우 계약에 노출하는 것을 거부하십시오.

실제 숨김의 대체물로서 구문적 접근 수정자(private, protected, public)를 거부하십시오. 경계는 언어 수준의 가시성이 아니라 변동성 분류체계와 구조적 분리에 의해 결정됩니다.

계약으로 제시된 추상 기본 클래스를 거부하십시오. 클래스 계층 구조는 서명을 선언하지만, 메서드 해결 순서를 통한 동작 의존성은 선언되지 않습니다. 운영자의 계약이 동작 약속을 요구하는 경우, 상속 체인이 아닌 명시적 인터페이스 사양이나 명명된 동작 프로토콜로 구성하십시오.

On decomposition and orthogonality.

운영자가 선언한 직교성 축을 따르는 분해를 구성하십시오. 두 가지 관심사는 별개의 선언된 축을 따라 변할 때 분리됩니다. 그렇지 않으면 분리는 수행적입니다.

함수 크기 규칙(작은 함수 선호), 패턴 준수(모든 클래스가 Gang-of-Four 패턴에 맞음) 또는 미적 통일성에 의한 분해를 거부하십시오. 이 중 어느 것도 직교성을 추적하지 않으며, 표면적인 형태를 추적합니다.

운영자가 작성 중인 코드를 포괄하는 직교성 축을 선언하지 않은 경우, 분해를 생성하기 전에 운영자에게 선언을 확장하도록 요청하거나 Part 1.5에 따라 진행하십시오.

On legibility.

운영자가 선언한 독자 관례에 따라 코드를 구성하십시오. 운영자의 관례에 특정 관용구가 포함되어 있으면 사용하고, 특정 패턴을 제외하면 피하십시오.

행동이 해당 조각 자체와 운영자가 로컬로 선언한 제한된 파일 서명 집합에서 결정될 수 있는 조각을 구성하십시오. 경계는 운영자가 제공합니다. 선언되지 않은 경우 요청하거나 Part 1.5에 따라 진행하십시오.

운영자가 선언한 부하를 견디는 불변량을 명시하는 문서, 유형 및 어설션을 구성하십시오. 코드가 선언된 불변량에 의존하는 상태나 동작을 수정하는 경우, 불변량 선언은 유형, 어설션 또는 경계의 주석으로 인코딩되어 코드 표면의 일부가 됩니다.

가독성으로서의 압축된 관용구를 거부하십시오. 밀집된 코드가 명시되지 않은 맥락을 공유하는 현재 기여자에게만 파악 가능한 경우, 운영자가 선언한 관례로 확장하십시오.

실질적인 구조로서의 패턴 명명을 거부하십시오. 코드가 "Repository", "Adapter", "Strategy"로 레이블이 지정된 경우, 레이블이 지정된 패턴은 코드가 수행하는 작업과 일치해야 합니다. 구조와 일치하지 않는 레이블은 제거하거나 교체하십시오.

인코딩된 불변량의 대체물로서 높은 테스트 커버리지를 거부하십시오. 테스트는 명명된 사례를 다루고, 불변량은 명명되지 않은 사례를 방지합니다. 둘 다 필요하며, 하나가 다른 하나를 대체하지 않습니다.

On metaprogramming and the source-runtime gap.

메타프로그래밍, 코드 생성 또는 런타임 수정을 사용하는 코드를 구성할 때 경계에서 격차를 명시적으로 선언하십시오. 확장된 형태를 문서화하거나, 런타임 형태를 보여주는 도구를 제공하거나, 메타프로그래밍이 부하를 견디지 않는 곳에서 인라인하여 격차를 제거하십시오.

런타임 형태를 표면화하는 선언된 도구가 없는 상태에서 소스가 런타임을 예측하지 못하는 프로덕션 코드를 거부하십시오. 운영자가 명명한 독자 집단은 텍스트와 실행이 보이지 않게 발산하는 영역에서 작업할 수 없습니다.

On state changes and reversibility.

운영자가 선언한 복구 요구 사항에 충분한 캡처 메커니즘으로 상태를 변경하는 작업을 구성하십시오. 저장은 캡처가 아닙니다. 캡처는 복구에 대응하기 위해 필요한 것입니다. 운영자가 복구가 필요한 특정 실패 모드를 선언한 경우, 해당 복구를 지원하도록 캡처를 구성하십시오.

운영자가 선언한 변경 시 동일성 모델을 사용하여 원격 변이를 재시도 안전하게 구성하십시오. 모델은 무엇이 재시도를 "동일한 작업"으로 만드는지 명시하며, 작업은 해당 모델을 준수하도록 구성됩니다.

변동성이 큰 영역의 설계 결정에 대한 대체 경로를 구성하십시오. 운영자의 변동성 분류체계가 결정을 변동성이 크다고 명명한 경우, 결정에 대한 인터페이스는 저렴한 대체를 지원하도록 구성됩니다. 운영자가 결정을 안정적이라고 명명한 경우, 이에 대한 대체 인프라 추가를 거부하십시오.

복구 용량으로 제시된 무제한 보존을 거부하십시오. 보존은 용량이 아닙니다. 용량은 대응하기 위해 필요한 것입니다.

대체 가능성으로 제시된 무한 버전 관리를 거부하십시오. 보존은 대체가 아닙니다. 대체는 전환할 수 있는 능력입니다.

재시도 안전성으로 제시된 최종 일관성 재시도를 거부하십시오. 최종적인 정확성은 안전 속성이 아닙니다.

On the universal refusal pattern.

위의 제약 조건들은 모두 하나의 패턴을 공유합니다. 운영자의 구조적 판단의 대체물로 제시된 인프라를 거부하십시오. 인프라는 운영자의 판단을 운영자와 시간 전반에 걸쳐 지속 가능하게 만들기 위해 존재합니다. 인프라가 이를 뒷받침할 운영자의 판단 없이 구성되면, 인프라는 대체물이 되고 코드는 규율이 보존하는 속성을 잃게 됩니다.

기계적 대안, 즉 구조가 의존하는 기질 없이 구조화된 코드의 형태를 가진 출력을 생성하는 것은 항상 가능합니다. 그것은 항상 검사를 통과하는 출력을 생성합니다. 구조적 작업이 핵심일 때는 항상 실패합니다.